0.39/0.40 c SCIP version 1.1.0.7
0.39/0.40 c LP-Solver SoPlex 1.4.1
0.39/0.40 c user parameter file <scip.set> not found - using default parameters
0.39/0.40 c read problem <HOME/instance-3742992-1338800623.opb>
0.39/0.40 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.59/0.62 c start presolving problem
0.59/0.62 c presolving:
0.69/0.78 c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13044 impls, 504 clqs
0.79/0.82 c (round 2) 4448 del vars, 4378 del conss, 1156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13720 impls, 503 clqs
0.79/0.87 c (round 3) 5051 del vars, 4981 del conss, 1759 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14752 impls, 503 clqs
0.88/0.92 c (round 4) 5472 del vars, 5402 del conss, 2180 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16372 impls, 503 clqs
0.88/0.97 c (round 5) 5806 del vars, 5736 del conss, 2514 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18070 impls, 503 clqs
0.99/1.01 c (round 6) 6077 del vars, 6007 del conss, 2785 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18746 impls, 503 clqs
0.99/1.05 c (round 7) 6295 del vars, 6225 del conss, 3003 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20392 impls, 503 clqs
0.99/1.09 c (round 8) 6496 del vars, 6426 del conss, 3204 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21316 impls, 503 clqs
1.10/1.12 c (round 9) 6518 del vars, 6448 del conss, 3226 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21902 impls, 503 clqs
1.10/1.15 c (round 10) 6579 del vars, 6509 del conss, 3287 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22600 impls, 503 clqs
135.97/136.02 c (round 11) 6641 del vars, 6575 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34310 upgd conss, 8531474 impls, 503 clqs
136.67/136.71 c (round 12) 6641 del vars, 6631 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 8531570 impls, 503 clqs
171.47/171.57 c (170.6s) probing: 1000/33871 (3.0%) - 58 fixings, 12 aggregations, 1437043 implications, 0 bound changes
221.26/221.31 c (220.2s) probing: 2000/33871 (5.9%) - 59 fixings, 31 aggregations, 3744171 implications, 0 bound changes
286.35/286.40 c (285.2s) probing: 3000/33871 (8.9%) - 63 fixings, 43 aggregations, 6392971 implications, 0 bound changes
318.54/318.69 c (round 13) 6691 del vars, 6631 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 27669564 impls, 503 clqs
319.24/319.37 c (round 14) 6691 del vars, 6639 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 27669564 impls, 503 clqs
346.84/346.93 c (345.6s) probing: 4000/33871 (11.8%) - 64 fixings, 48 aggregations, 8026724 implications, 0 bound changes
447.02/447.12 c (445.6s) probing: 5000/33871 (14.8%) - 65 fixings, 53 aggregations, 11765615 implications, 0 bound changes
558.11/558.28 c (556.6s) probing: 6000/33871 (17.7%) - 69 fixings, 61 aggregations, 15552716 implications, 0 bound changes
681.80/681.97 c (680.1s) probing: 7000/33871 (20.7%) - 71 fixings, 70 aggregations, 19240026 implications, 0 bound changes
809.07/809.28 c (807.3s) probing: 8000/33871 (23.6%) - 72 fixings, 75 aggregations, 23210482 implications, 0 bound changes
933.85/934.03 c (931.9s) probing: 9000/33871 (26.6%) - 73 fixings, 84 aggregations, 26868484 implications, 0 bound changes
982.04/982.26 c (round 15) 6741 del vars, 6639 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 72635366 impls, 503 clqs
982.74/982.93 c (round 16) 6741 del vars, 6649 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 72635366 impls, 503 clqs
1049.43/1049.62 c (1047.3s) probing: 10000/33871 (29.5%) - 75 fixings, 90 aggregations, 30278384 implications, 0 bound changes
1172.11/1172.34 c (1169.9s) probing: 11000/33871 (32.5%) - 78 fixings, 97 aggregations, 33978987 implications, 0 bound changes
1304.49/1304.79 c (1302.2s) probing: 12000/33871 (35.4%) - 79 fixings, 105 aggregations, 38001228 implications, 0 bound changes
1430.57/1430.83 c (1428.1s) probing: 13000/33871 (38.4%) - 81 fixings, 110 aggregations, 41896788 implications, 0 bound changes
1550.76/1551.09 c (1548.2s) probing: 14000/33871 (41.3%) - 82 fixings, 120 aggregations, 45343943 implications, 0 bound changes
1669.14/1669.44 c (1666.4s) probing: 15000/33871 (44.3%) - 84 fixings, 125 aggregations, 48919421 implications, 0 bound changes
1677.53/1677.88 c (round 17) 6791 del vars, 6649 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 117875438 impls, 503 clqs
1678.24/1678.56 c (round 18) 6791 del vars, 6659 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 117875438 impls, 503 clqs
1781.12/1781.43 c (1778.2s) probing: 16000/33871 (47.2%) - 87 fixings, 133 aggregations, 52328489 implications, 0 bound changes
1794.01/1794.32 c (1791.1s) probing: 16106/33871 (47.6%) - 87 fixings, 134 aggregations, 52700307 implications, 0 bound changes
1794.01/1794.32 c (1791.1s) probing aborted: solving stopped
1794.01/1794.32 c (round 19) 6801 del vars, 6659 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 125290652 impls, 503 clqs
1794.01/1794.32 c presolving (19 rounds):
1794.01/1794.32 c 6801 deleted vars, 6659 deleted constraints, 3288 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1794.01/1794.32 c 125290652 implications, 503 cliques
1794.01/1794.32 c presolving was interrupted.
1794.01/1794.32 c Presolving Time: 1790.99
1794.01/1794.32 c OPT-LIN
1794.01/1794.32 c -----------------------------------------------------------------------------------------------
1794.01/1794.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1794.01/1794.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.01/1794.32 c limits/memory = c 13950
1794.01/1794.32 c # maximal time in seconds to run
1794.01/1794.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.01/1794.32 c limits/time = c 1791
1794.01/1794.32 c # frequency for displaying node information lines
1794.01/1794.32 c # [type: int, range: [-1,2147483647], default: 100]
1794.01/1794.32 c display/freq = c 10000
1794.01/1794.32 c -----------------------------------------------------------------------------------------------
1794.01/1794.32 c start solving problem
1794.01/1794.32 c presolving:
1794.01/1794.32 c presolving (19 rounds):
1794.01/1794.32 c 6801 deleted vars, 6659 deleted constraints, 3288 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1794.01/1794.32 c 125290652 implications, 503 cliques
1794.01/1794.32 c presolving was interrupted.
1794.01/1794.32 c Presolving Time: 1790.99
1794.01/1794.32 c
1794.01/1794.32 c SCIP Status : solving was interrupted [time limit reached]
1794.01/1794.32 c Solving Time (sec) : 1791.10
1794.01/1794.32 c Solving Nodes : 0
1794.01/1794.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.01/1794.32 c NODE 0
1794.01/1794.32 c DUAL BOUND -1e+20
1794.01/1794.32 c PRIMAL BOUND 1e+20
1794.01/1794.32 c GAP 1e+20
1794.01/1794.32 s UNKNOWN
1794.01/1794.32 c SCIP Status : solving was interrupted [time limit reached]
1794.01/1794.32 c Solving Time : 1791.10
1794.01/1794.32 c Original Problem :
1794.01/1794.32 c Problem name : HOME/instance-3742992-1338800623.opb
1794.01/1794.32 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.01/1794.32 c Constraints : 40950 initial, 40950 maximal
1794.01/1794.32 c Presolved Problem :
1794.01/1794.32 c Problem name : t_HOME/instance-3742992-1338800623.opb
1794.01/1794.32 c Variables : 33650 (33650 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.01/1794.32 c Constraints : 34291 initial, 34291 maximal
1794.01/1794.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.01/1794.32 c trivial : 0.05 123 0 0 0 0 0 0 0
1794.01/1794.32 c dualfix : 0.04 3168 0 0 0 0 0 0 0
1794.01/1794.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.01/1794.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.01/1794.32 c implics : 0.12 0 1 0 0 0 0 0 0
1794.01/1794.32 c probing : 1786.39 87 134 0 0 0 0 0 0
1794.01/1794.32 c knapsack : 2.57 0 0 0 0 0 0 0 0
1794.01/1794.32 c setppc : 0.00 0 0 0 0 0 0 0 0
1794.01/1794.32 c linear : 1.50 3288 0 0 3288 0 6575 0 0
1794.01/1794.32 c logicor : 0.15 0 0 0 0 0 84 0 0
1794.01/1794.32 c root node : - 0 - - 0 - - - -
1794.01/1794.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.01/1794.32 c integral : 0 0 0 0 0 0 0 0 0 0
1794.01/1794.32 c knapsack : 0+ 0 225546 0 0 0 0 0 0 0
1794.01/1794.32 c setppc : 0+ 0 225544 0 0 31 0 0 0 0
1794.01/1794.32 c linear : 0+ 0 3048 0 0 0 0 0 0 0
1794.01/1794.32 c logicor : 0+ 0 211784 0 0 3 0 0 0 0
1794.01/1794.32 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.01/1794.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.01/1794.32 c integral : 0.00 0.00 0.00 0.00 0.00
1794.01/1794.32 c knapsack : 0.03 0.00 0.03 0.00 0.00
1794.01/1794.32 c setppc : 2.64 0.00 2.64 0.00 0.00
1794.01/1794.32 c linear : 0.35 0.00 0.35 0.00 0.00
1794.01/1794.32 c logicor : 160.39 0.00 160.39 0.00 0.00
1794.01/1794.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.01/1794.32 c Propagators : Time Calls Cutoffs DomReds
1794.01/1794.32 c rootredcost : 0.04 0 0 0
1794.01/1794.32 c pseudoobj : 0.03 0 0 0
1794.01/1794.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.01/1794.32 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.01/1794.32 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.01/1794.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.01/1794.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.01/1794.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.01/1794.32 c applied globally : - - - 0 0.0 - - -
1794.01/1794.32 c applied locally : - - - 0 0.0 - - -
1794.52/1794.80 c Time complete: 1794.53.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742992-1338800623/watcher-3742992-1338800623 -o /tmp/evaluation-result-3742992-1338800623/solver-3742992-1338800623 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742992-1338800623.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31561
/proc/meminfo: memFree=27723100/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=6124 CPUtime=0 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 1 0 346186822 6270976 874 33554432000 4194304 7823515 140734452186720 140735794699656 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 1531 874 330 887 0 641 0
[startup+0.0122881 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31561
/proc/meminfo: memFree=27723100/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=10960 CPUtime=0 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 2056 0 0 0 0 0 0 0 20 0 1 0 346186822 11223040 2008 33554432000 4194304 7823515 140734452186720 140735794699656 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 2740 2031 349 887 0 1850 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10960
[startup+0.100312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31561
/proc/meminfo: memFree=27723100/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=36564 CPUtime=0.08 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 8490 0 0 0 8 0 0 0 20 0 1 0 346186822 37441536 8438 33554432000 4194304 7823515 140734452186720 140735794699656 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 9141 8439 354 887 0 8251 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36564
[startup+0.300315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31561
/proc/meminfo: memFree=27723100/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=50332 CPUtime=0.29 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 11952 0 0 0 27 2 0 0 20 0 1 0 346186822 51539968 11900 33554432000 4194304 7823515 140734452186720 140735794699656 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 12583 11900 354 887 0 11693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50332
[startup+0.700379 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31561
/proc/meminfo: memFree=27723100/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=126884 CPUtime=0.69 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 30938 0 0 0 63 6 0 0 20 0 1 0 346186822 129929216 30532 33554432000 4194304 7823515 140734452186720 140734452182824 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 31721 30532 428 887 0 30831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126884
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27594876/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=131260 CPUtime=1.49 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 32369 0 0 0 136 13 0 0 20 0 1 0 346186822 134410240 31647 33554432000 4194304 7823515 140734452186720 140734452183656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 32815 31647 433 887 0 31925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131260
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27568952/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=207984 CPUtime=3.08 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 51064 0 0 0 292 16 0 0 20 0 1 0 346186822 212975616 50343 33554432000 4194304 7823515 140734452186720 140734452182840 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 51996 50377 452 887 0 51106 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 207984
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27386096/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=282252 CPUtime=6.28 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 68212 0 0 0 608 20 0 0 20 0 1 0 346186822 289026048 67490 33554432000 4194304 7823515 140734452186720 140734452182584 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 70563 67490 452 887 0 69673 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 282252
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27341844/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=305360 CPUtime=12.69 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 74104 0 0 0 1247 22 0 0 20 0 1 0 346186822 312688640 73382 33554432000 4194304 7823515 140734452186720 140734452182584 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 76340 73382 452 887 0 75450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 305360
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27227368/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=363072 CPUtime=25.49 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 87974 0 0 0 2524 25 0 0 20 0 1 0 346186822 371785728 87252 33554432000 4194304 7823515 140734452186720 140734452182584 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 90768 87252 452 887 0 89878 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 363072
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=27066260/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=488648 CPUtime=51.08 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 117979 0 0 0 5075 33 0 0 20 0 1 0 346186822 500375552 117257 33554432000 4194304 7823515 140734452186720 140734452183416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 122162 117257 452 887 0 121272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 488648
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=26837772/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=621072 CPUtime=102.28 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 150001 0 0 0 10185 43 0 0 20 0 1 0 346186822 635977728 149279 33554432000 4194304 7823515 140734452186720 140734452183400 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 155268 149279 452 887 0 154378 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 621072
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31562
/proc/meminfo: memFree=26595380/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=763152 CPUtime=162.26 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 185929 0 0 0 16175 51 0 0 20 0 1 0 346186822 781467648 185207 33554432000 4194304 7823515 140734452186720 140734452182776 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 190788 185207 461 887 0 189898 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 763152
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31562
/proc/meminfo: memFree=26258128/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1045540 CPUtime=222.26 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 255926 0 0 0 22158 68 0 0 20 0 1 0 346186822 1070632960 255204 33554432000 4194304 7823515 140734452186720 140734452183416 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 261385 255204 466 887 0 260495 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1045540
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=25999308/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1252864 CPUtime=282.25 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 307699 0 0 0 28145 80 0 0 20 0 1 0 346186822 1282932736 306977 33554432000 4194304 7823515 140734452186720 140734452183416 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 313216 306977 466 887 0 312326 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1252864
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31563
/proc/meminfo: memFree=25755560/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1358080 CPUtime=342.24 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 334310 0 0 0 34135 89 0 0 20 0 1 0 346186822 1390673920 333588 33554432000 4194304 7823515 140734452186720 140734452183416 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 339520 333588 466 887 0 338630 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1358080
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31566
/proc/meminfo: memFree=25528288/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1457448 CPUtime=402.23 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 359091 0 0 0 40126 97 0 0 20 0 1 0 346186822 1492426752 358369 33554432000 4194304 7823515 140734452186720 140734452183416 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 364362 358369 466 887 0 363472 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1457448
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31566
/proc/meminfo: memFree=25264576/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1558312 CPUtime=462.22 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 384466 0 0 0 46118 104 0 0 20 0 1 0 346186822 1595711488 383744 33554432000 4194304 7823515 140734452186720 140734452183416 4817494 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 389578 383744 466 887 0 388688 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1558312
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31566
/proc/meminfo: memFree=24952000/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1701364 CPUtime=522.21 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 419347 0 0 0 52108 113 0 0 20 0 1 0 346186822 1742196736 418625 33554432000 4194304 7823515 140734452186720 140734452183416 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 425341 418625 466 887 0 424451 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1701364
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31566
/proc/meminfo: memFree=24680344/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=1799772 CPUtime=582.2 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 444123 0 0 0 58102 118 0 0 20 0 1 0 346186822 1842966528 443401 33554432000 4194304 7823515 140734452186720 140734452183416 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 449943 443401 466 887 0 449053 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1799772
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22651712/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=2745040 CPUtime=1122.11 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 675461 0 0 0 112030 181 0 0 20 0 1 0 346186822 2810920960 674739 33554432000 4194304 7823515 140734452186720 140734452183416 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 686260 674739 466 887 0 685370 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2745040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31571
/proc/meminfo: memFree=22441188/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=2833948 CPUtime=1182.11 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 696806 0 0 0 118024 187 0 0 20 0 1 0 346186822 2901962752 696084 33554432000 4194304 7823515 140734452186720 140734452183416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 708487 696084 466 887 0 707597 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2833948
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31572
/proc/meminfo: memFree=22228308/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=2924016 CPUtime=1242.1 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 718756 0 0 0 124016 194 0 0 20 0 1 0 346186822 2994192384 718034 33554432000 4194304 7823515 140734452186720 140734452183416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 731004 718034 466 887 0 730114 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2924016
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31572
/proc/meminfo: memFree=22104460/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3017092 CPUtime=1302.1 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 741378 0 0 0 130011 199 0 0 20 0 1 0 346186822 3089502208 740656 33554432000 4194304 7823515 140734452186720 140734452183416 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 754273 740656 466 887 0 753383 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3017092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31572
/proc/meminfo: memFree=21950356/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3104112 CPUtime=1362.08 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 762678 0 0 0 136003 205 0 0 20 0 1 0 346186822 3178610688 761956 33554432000 4194304 7823515 140734452186720 140734452183416 4787339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 776028 761956 466 887 0 775138 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3104112
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31572
/proc/meminfo: memFree=21752968/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3206944 CPUtime=1422.08 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 787173 0 0 0 141996 212 0 0 20 0 1 0 346186822 3283910656 786451 33554432000 4194304 7823515 140734452186720 140734452183416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 801736 786451 466 887 0 800846 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3206944
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31572
/proc/meminfo: memFree=21659624/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3301436 CPUtime=1482.06 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 810524 0 0 0 147989 217 0 0 20 0 1 0 346186822 3380670464 809802 33554432000 4194304 7823515 140734452186720 140734452183416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 825359 809802 466 887 0 824469 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3301436
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31573
/proc/meminfo: memFree=21563924/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3396028 CPUtime=1542.05 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 834108 0 0 0 153981 224 0 0 20 0 1 0 346186822 3477532672 833386 33554432000 4194304 7823515 140734452186720 140734452183416 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 849007 833386 466 887 0 848117 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3396028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31576
/proc/meminfo: memFree=21460900/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3505444 CPUtime=1602.05 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 859877 0 0 0 159974 231 0 0 20 0 1 0 346186822 3589574656 859155 33554432000 4194304 7823515 140734452186720 140734452183416 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 876361 859155 466 887 0 875471 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3505444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21366324/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3602976 CPUtime=1662.04 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 883601 0 0 0 165966 238 0 0 20 0 1 0 346186822 3689447424 882879 33554432000 4194304 7823515 140734452186720 140734452183416 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 900744 882879 466 887 0 899854 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3602976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21267276/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3703920 CPUtime=1722.02 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 908403 0 0 0 171954 248 0 0 20 0 1 0 346186822 3792814080 907681 33554432000 4194304 7823515 140734452186720 140734452183416 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 925980 907681 466 887 0 925090 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3703920
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21159548/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3811444 CPUtime=1782.02 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 934469 0 0 0 177947 255 0 0 20 0 1 0 346186822 3902918656 933747 33554432000 4194304 7823515 140734452186720 140734452183416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 952861 933747 466 887 0 951971 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3811444
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21152356/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3821232 CPUtime=1785.21 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 936392 0 0 0 178266 255 0 0 20 0 1 0 346186822 3912941568 935670 33554432000 4194304 7823515 140734452186720 140734452183416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 955308 935670 466 887 0 954418 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 3821232
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21145644/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3825096 CPUtime=1788.42 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 937702 0 0 0 178586 256 0 0 20 0 1 0 346186822 3916898304 936980 33554432000 4194304 7823515 140734452186720 140734452183416 4800444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 956274 936980 466 887 0 955384 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (KiB) 3825096
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21134172/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3829968 CPUtime=1791.62 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 939152 0 0 0 178906 256 0 0 20 0 1 0 346186822 3921887232 938430 33554432000 4194304 7823515 140734452186720 140734452183416 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 957492 938430 466 887 0 956602 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 3829968
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21126292/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3832884 CPUtime=1793.21 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 939573 0 0 0 179065 256 0 0 20 0 1 0 346186822 3924873216 938851 33554432000 4194304 7823515 140734452186720 140734452183416 4243040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 958221 938851 466 887 0 957331 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 3832884
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21118728/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3833844 CPUtime=1794.01 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 939912 0 0 0 179145 256 0 0 20 0 1 0 346186822 3925856256 939190 33554432000 4194304 7823515 140734452186720 140734452183416 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 958461 939190 466 887 0 957571 0
Current children cumulated CPU time (s) 1794.01
Current children cumulated vsize (KiB) 3833844
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21118728/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=3710708 CPUtime=1794.42 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 940180 0 0 0 179167 275 0 0 20 0 1 0 346186822 3799764992 290362 33554432000 4194304 7823515 140734452186720 140734452182232 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 927677 290128 478 887 0 926787 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 3710708
[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31576
/proc/meminfo: memFree=21118728/32873844 swapFree=7108/7108
[pid=31561] ppid=31559 vsize=131104 CPUtime=1794.52 cores=1,3,5,7
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 30579 0 -1 4202496 940185 0 0 0 179169 283 0 0 20 0 1 0 346186822 134250496 25979 33554432000 4194304 7823515 140734452186720 140734452182232 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 32776 25746 483 887 0 31886 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 131104
Child status: 0
Real time (s): 1794.81
CPU time (s): 1794.54
CPU user time (s): 1791.69
CPU system time (s): 2.84257
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 3834868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.69
system time used= 2.84257
maximum resident set size= 3757824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1854
runsolver used 3.47147 second user time and 9.64153 second system time
The end