0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743531-1338786290.opb>
0.39/0.41 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.58/0.64 c presolving:
0.69/0.79 c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.79/0.85 c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.89/0.90 c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.89/0.94 c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.89/0.99 c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.99/1.04 c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.99/1.08 c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
1.09/1.12 c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
1.09/1.16 c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.09/1.19 c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
150.25/150.31 c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9478650 impls, 551 clqs
150.45/150.53 c (round 12) 3720 del vars, 4153 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9478820 impls, 551 clqs
191.54/191.67 c (191.3s) probing: 1000/37282 (2.7%) - 63 fixings, 9 aggregations, 1318806 implications, 0 bound changes
244.14/244.23 c (243.8s) probing: 2000/37282 (5.4%) - 64 fixings, 31 aggregations, 3773638 implications, 0 bound changes
308.62/308.74 c (308.3s) probing: 3000/37282 (8.0%) - 68 fixings, 39 aggregations, 6511906 implications, 0 bound changes
366.22/366.30 c (round 13) 3770 del vars, 4153 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31412780 impls, 551 clqs
366.31/366.48 c (round 14) 3770 del vars, 4203 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 31412780 impls, 551 clqs
392.52/392.63 c (392.2s) probing: 4000/37282 (10.7%) - 69 fixings, 46 aggregations, 8656518 implications, 0 bound changes
499.49/499.60 c (499.2s) probing: 5000/37282 (13.4%) - 70 fixings, 49 aggregations, 12465707 implications, 0 bound changes
621.86/622.00 c (621.6s) probing: 6000/37282 (16.1%) - 73 fixings, 57 aggregations, 16429187 implications, 0 bound changes
771.24/771.46 c (771.0s) probing: 7000/37282 (18.8%) - 74 fixings, 64 aggregations, 21036690 implications, 0 bound changes
921.71/921.97 c (921.6s) probing: 8000/37282 (21.5%) - 76 fixings, 71 aggregations, 25290110 implications, 0 bound changes
1068.49/1068.72 c (1068.3s) probing: 9000/37282 (24.1%) - 77 fixings, 76 aggregations, 29319464 implications, 0 bound changes
1227.96/1228.20 c (1227.8s) probing: 10000/37282 (26.8%) - 79 fixings, 85 aggregations, 33574654 implications, 0 bound changes
1251.15/1251.47 c (round 15) 3820 del vars, 4203 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86691896 impls, 551 clqs
1251.36/1251.68 c (round 16) 3820 del vars, 4253 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86691896 impls, 551 clqs
1367.74/1368.05 c (1367.6s) probing: 11000/37282 (29.5%) - 81 fixings, 91 aggregations, 37114851 implications, 0 bound changes
1524.02/1524.32 c (1523.9s) probing: 12000/37282 (32.2%) - 83 fixings, 97 aggregations, 41306518 implications, 0 bound changes
1677.59/1677.92 c (1677.5s) probing: 13000/37282 (34.9%) - 84 fixings, 105 aggregations, 45214146 implications, 0 bound changes
1789.67/1790.08 c (1789.7s) probing: 13724/37282 (36.8%) - 85 fixings, 109 aggregations, 48241039 implications, 0 bound changes
1789.67/1790.08 c (1789.7s) probing aborted: solving stopped
1789.67/1790.08 c (round 17) 3849 del vars, 4253 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 116733782 impls, 551 clqs
1789.67/1790.08 c presolving (17 rounds):
1789.67/1790.08 c 3849 deleted vars, 4253 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.67/1790.08 c 116733782 implications, 551 cliques
1789.67/1790.08 c presolving was interrupted.
1789.67/1790.08 c Presolving Time: 1789.53
1789.67/1790.08 c - non default parameters ----------------------------------------------------------------------
1789.67/1790.08 c # SCIP version 1.2.1.3
1789.67/1790.08 c
1789.67/1790.08 c # frequency for displaying node information lines
1789.67/1790.08 c # [type: int, range: [-1,2147483647], default: 100]
1789.67/1790.08 c display/freq = 10000
1789.67/1790.08 c
1789.67/1790.08 c # maximal time in seconds to run
1789.67/1790.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.67/1790.08 c limits/time = 1789.6
1789.67/1790.08 c
1789.67/1790.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.67/1790.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.67/1790.08 c limits/memory = 13950
1789.67/1790.08 c
1789.67/1790.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.67/1790.08 c # [type: int, range: [1,2], default: 1]
1789.67/1790.08 c timing/clocktype = 2
1789.67/1790.08 c
1789.67/1790.08 c # should presolving try to simplify inequalities
1789.67/1790.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.08 c constraints/linear/simplifyinequalities = TRUE
1789.67/1790.08 c
1789.67/1790.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.67/1790.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.08 c constraints/indicator/addCouplingCons = TRUE
1789.67/1790.08 c
1789.67/1790.08 c # should presolving try to simplify knapsacks
1789.67/1790.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.08 c constraints/knapsack/simplifyinequalities = TRUE
1789.67/1790.08 c
1789.67/1790.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.67/1790.08 c # [type: int, range: [-1,2147483647], default: -1]
1789.67/1790.08 c separating/rapidlearning/freq = 0
1789.67/1790.08 c
1789.67/1790.08 c -----------------------------------------------------------------------------------------------
1789.67/1790.08 c start solving
1789.77/1790.10 c presolving:
1789.77/1790.10 c presolving (17 rounds):
1789.77/1790.10 c 3849 deleted vars, 4253 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.77/1790.10 c 116733782 implications, 551 cliques
1789.77/1790.10 c presolving was interrupted.
1789.77/1790.10 c Presolving Time: 1789.55
1789.77/1790.10 c
1789.77/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.77/1790.10 c Solving Time (sec) : 1789.69
1789.77/1790.10 c Solving Nodes : 0
1789.77/1790.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.77/1790.10 s UNKNOWN
1789.77/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.77/1790.10 c Solving Time : 1789.69
1789.77/1790.10 c Original Problem :
1789.77/1790.10 c Problem name : HOME/instance-3743531-1338786290.opb
1789.77/1790.10 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.77/1790.10 c Constraints : 41436 initial, 41436 maximal
1789.77/1790.10 c Presolved Problem :
1789.77/1790.10 c Problem name : t_HOME/instance-3743531-1338786290.opb
1789.77/1790.10 c Variables : 37088 (37088 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.77/1790.10 c Constraints : 37183 initial, 37183 maximal
1789.77/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.77/1790.10 c trivial : 0.04 123 0 0 0 0 0 0 0
1789.77/1790.10 c dualfix : 0.03 0 0 0 0 0 0 0 0
1789.77/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.77/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.77/1790.10 c implics : 0.04 0 1 0 0 0 0 0 0
1789.77/1790.10 c probing : 1787.82 85 109 0 0 0 0 0 0
1789.77/1790.10 c knapsack : 0.43 0 0 0 0 0 0 0 0
1789.77/1790.10 c setppc : 0.05 0 0 0 0 0 95 0 0
1789.77/1790.10 c linear : 0.73 3531 0 0 3531 0 4088 0 0
1789.77/1790.10 c logicor : 0.20 0 0 0 0 0 70 0 0
1789.77/1790.10 c root node : - 0 - - 0 - - - -
1789.77/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.77/1790.10 c integral : 0 0 0 0 0 0 0 0 0 0
1789.77/1790.10 c knapsack : 0+ 0 191612 0 0 0 0 0 0 0
1789.77/1790.10 c setppc : 0+ 0 191610 0 0 24 0 0 0 0
1789.77/1790.10 c linear : 0+ 0 2277 0 0 0 0 0 0 0
1789.77/1790.10 c logicor : 0+ 0 177367 0 0 3 0 0 0 0
1789.77/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.77/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.77/1790.10 c integral : 0.00 0.00 0.00 0.00 0.00
1789.77/1790.10 c knapsack : 278.50 0.00 278.50 0.00 0.00
1789.77/1790.10 c setppc : 25.69 0.00 25.69 0.00 0.00
1789.77/1790.10 c linear : 3.48 0.00 3.48 0.00 0.00
1789.77/1790.10 c logicor : 101.40 0.00 101.40 0.00 0.00
1789.77/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.77/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.77/1790.10 c vbounds : 0.15 1 0 0
1789.77/1790.10 c rootredcost : 0.12 0 0 0
1789.77/1790.10 c pseudoobj : 0.13 0 0 0
1789.77/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.77/1790.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.77/1790.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.77/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.77/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.77/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.77/1790.10 c applied globally : - - - 0 0.0 - - -
1789.77/1790.10 c applied locally : - - - 0 0.0 - - -
1789.97/1790.36 c Time complete: 1790.03.
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-3743531-1338786290/watcher-3743531-1338786290 -o /tmp/evaluation-result-3743531-1338786290/solver-3743531-1338786290 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743531-1338786290.opb -t 1800 -m 15500
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.05 2.01 2.00 3/178 13027
/proc/meminfo: memFree=26466976/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 1525 0 0 0 0 0 0 0 20 0 1 0 344754402 10211328 1471 33554432000 4194304 8395647 140733643736304 140733637634776 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 2493 1472 374 1026 0 1463 0
[startup+0.0871521 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13027
/proc/meminfo: memFree=26466976/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=21280 CPUtime=0.07 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 4559 0 0 0 7 0 0 0 20 0 1 0 344754402 21790720 4505 33554432000 4194304 8395647 140733643736304 140733637634776 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 5320 4505 393 1026 0 4290 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21280
[startup+0.100315 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13027
/proc/meminfo: memFree=26466976/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=23668 CPUtime=0.09 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 5158 0 0 0 9 0 0 0 20 0 1 0 344754402 24236032 5104 33554432000 4194304 8395647 140733643736304 140733637634776 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 5917 5104 393 1026 0 4887 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23668
[startup+0.300282 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13027
/proc/meminfo: memFree=26466976/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=50464 CPUtime=0.29 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 11850 0 0 0 27 2 0 0 20 0 1 0 344754402 51675136 11796 33554432000 4194304 8395647 140733643736304 140733637634776 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 12616 11796 393 1026 0 11586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50464
[startup+0.700327 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13027
/proc/meminfo: memFree=26466976/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=134212 CPUtime=0.69 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 32741 0 0 0 64 5 0 0 20 0 1 0 344754402 137433088 32328 33554432000 4194304 8395647 140733643736304 140733643732104 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 33553 32328 471 1026 0 32523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134212
[startup+1.50028 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13028
/proc/meminfo: memFree=26331776/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=173572 CPUtime=1.48 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 43371 0 0 0 142 6 0 0 20 0 1 0 344754402 177737728 42121 33554432000 4194304 8395647 140733643736304 140733643732104 4230879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 43393 42121 495 1026 0 42363 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 173572
[startup+3.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13028
/proc/meminfo: memFree=26275728/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=311248 CPUtime=3.09 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 76346 0 0 0 295 14 0 0 20 0 1 0 344754402 318717952 75096 33554432000 4194304 8395647 140733643736304 140733643732168 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 77812 75096 498 1026 0 76782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 311248
[startup+6.30034 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13028
/proc/meminfo: memFree=26127176/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=356484 CPUtime=6.29 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 87138 0 0 0 613 16 0 0 20 0 1 0 344754402 365039616 85888 33554432000 4194304 8395647 140733643736304 140733643732168 7385740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 89121 85888 498 1026 0 88091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356484
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13028
/proc/meminfo: memFree=26071772/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=411460 CPUtime=12.68 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 100123 0 0 0 1250 18 0 0 20 0 1 0 344754402 421335040 98873 33554432000 4194304 8395647 140733643736304 140733643732168 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 102865 98873 498 1026 0 101835 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 411460
[startup+25.5005 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13066
/proc/meminfo: memFree=27317936/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=451480 CPUtime=25.48 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 110052 0 0 0 2527 21 0 0 20 0 1 0 344754402 462315520 108895 33554432000 4194304 8395647 140733643736304 140733643732168 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 112870 108895 498 1026 0 111840 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 451480
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13066
/proc/meminfo: memFree=27099556/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=496156 CPUtime=51.08 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 121331 0 0 0 5084 24 0 0 20 0 1 0 344754402 508063744 120176 33554432000 4194304 8395647 140733643736304 140733643732168 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 124039 120176 498 1026 0 123009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 496156
[startup+102.308 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13067
/proc/meminfo: memFree=26922636/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=603612 CPUtime=102.27 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 147896 0 0 0 10198 29 0 0 20 0 1 0 344754402 618098688 147132 33554432000 4194304 8395647 140733643736304 140733643731848 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 150903 147132 498 1026 0 149873 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 603612
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13067
/proc/meminfo: memFree=26733332/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=778824 CPUtime=162.25 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 190606 0 0 0 16189 36 0 0 20 0 1 0 344754402 797515776 191035 33554432000 4194304 8395647 140733643736304 140733643732328 4706422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 194706 191035 507 1026 0 193676 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 778824
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13067
/proc/meminfo: memFree=26394700/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1034432 CPUtime=222.23 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 253199 0 0 0 22176 47 0 0 20 0 1 0 344754402 1059258368 254229 33554432000 4194304 8395647 140733643736304 140733643732376 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 258608 254229 513 1026 0 257578 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1034432
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13067
/proc/meminfo: memFree=26100244/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1266224 CPUtime=282.23 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 310725 0 0 0 28164 59 0 0 20 0 1 0 344754402 1296613376 312220 33554432000 4194304 8395647 140733643736304 140733643732168 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 316556 312220 513 1026 0 315526 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1266224
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 13070
/proc/meminfo: memFree=25885604/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1440804 CPUtime=342.21 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 354188 0 0 0 34155 66 0 0 20 0 1 0 344754402 1475383296 356171 33554432000 4194304 8395647 140733643736304 140733643732376 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 360201 356171 513 1026 0 359171 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1440804
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13071
/proc/meminfo: memFree=25829360/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1494012 CPUtime=402.2 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 367315 0 0 0 40151 69 0 0 20 0 1 0 344754402 1529868288 369610 33554432000 4194304 8395647 140733643736304 140733643732376 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 373503 369610 513 1026 0 372473 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1494012
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13071
/proc/meminfo: memFree=25694228/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1583620 CPUtime=462.2 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 390057 0 0 0 46147 73 0 0 20 0 1 0 344754402 1621626880 392876 33554432000 4194304 8395647 140733643736304 140733643732376 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 395905 392876 513 1026 0 394875 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1583620
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13071
/proc/meminfo: memFree=25577572/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1659176 CPUtime=522.17 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 409271 0 0 0 52140 77 0 0 20 0 1 0 344754402 1698996224 412101 33554432000 4194304 8395647 140733643736304 140733643732376 7385792 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 414794 412101 513 1026 0 413764 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1659176
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13071
/proc/meminfo: memFree=25424708/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=1768292 CPUtime=582.17 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 435039 0 0 0 58135 82 0 0 20 0 1 0 344754402 1810731008 437881 33554432000 4194304 8395647 140733643736304 140733643732376 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 442073 437881 513 1026 0 441043 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1768292
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24454232/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2507312 CPUtime=1002.1 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 615678 0 0 0 100095 115 0 0 20 0 1 0 344754402 2567487488 619707 33554432000 4194304 8395647 140733643736304 140733643732376 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 626828 619707 513 1026 0 625798 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 2507312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13076
/proc/meminfo: memFree=24320960/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2600092 CPUtime=1062.08 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 638395 0 0 0 106090 118 0 0 20 0 1 0 344754402 2662494208 642913 33554432000 4194304 8395647 140733643736304 140733643732376 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 650023 642913 513 1026 0 648993 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2600092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13076
/proc/meminfo: memFree=24188804/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2693888 CPUtime=1122.08 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 661126 0 0 0 112085 123 0 0 20 0 1 0 344754402 2758541312 666261 33554432000 4194304 8395647 140733643736304 140733643732376 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 673472 666261 513 1026 0 672442 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2693888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13076
/proc/meminfo: memFree=24079092/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2780828 CPUtime=1182.06 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 682184 0 0 0 118078 128 0 0 20 0 1 0 344754402 2847567872 687670 33554432000 4194304 8395647 140733643736304 140733643732376 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 695207 687670 513 1026 0 694177 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2780828
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13076
/proc/meminfo: memFree=23967644/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2862012 CPUtime=1242.06 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 702250 0 0 0 124073 133 0 0 20 0 1 0 344754402 2930700288 708421 33554432000 4194304 8395647 140733643736304 140733643732376 4247653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 715503 708421 513 1026 0 714473 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2862012
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13077
/proc/meminfo: memFree=23851980/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=2943076 CPUtime=1302.05 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 722104 0 0 0 130069 136 0 0 20 0 1 0 344754402 3013709824 728848 33554432000 4194304 8395647 140733643736304 140733643732376 6068924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 735769 728848 513 1026 0 734739 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2943076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13077
/proc/meminfo: memFree=23740284/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3030444 CPUtime=1362.04 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 743022 0 0 0 136063 141 0 0 20 0 1 0 344754402 3103174656 750422 33554432000 4194304 8395647 140733643736304 140733643732376 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 757611 750422 513 1026 0 756581 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3030444
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13077
/proc/meminfo: memFree=23629704/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3111672 CPUtime=1422.04 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 763137 0 0 0 142060 144 0 0 20 0 1 0 344754402 3186352128 771337 33554432000 4194304 8395647 140733643736304 140733643732376 4706426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 777918 771337 513 1026 0 776888 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3111672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13077
/proc/meminfo: memFree=23516148/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3204044 CPUtime=1482.02 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 784559 0 0 0 148055 147 0 0 20 0 1 0 344754402 3280941056 793350 33554432000 4194304 8395647 140733643736304 140733643732376 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 801011 793350 513 1026 0 799981 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3204044
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13080
/proc/meminfo: memFree=23407792/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3282452 CPUtime=1542.01 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 804300 0 0 0 154049 152 0 0 20 0 1 0 344754402 3361230848 813698 33554432000 4194304 8395647 140733643736304 140733643732168 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 820613 813698 513 1026 0 819583 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3282452
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13081
/proc/meminfo: memFree=23289160/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3368428 CPUtime=1602.01 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 825251 0 0 0 160045 156 0 0 20 0 1 0 344754402 3449270272 835245 33554432000 4194304 8395647 140733643736304 140733643732168 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 842107 835245 513 1026 0 841077 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3368428
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13081
/proc/meminfo: memFree=23177960/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3455316 CPUtime=1661.99 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 846245 0 0 0 166039 160 0 0 20 0 1 0 344754402 3538243584 856849 33554432000 4194304 8395647 140733643736304 140733643732376 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 863829 856849 513 1026 0 862799 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 3455316
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 13081
/proc/meminfo: memFree=23070604/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3533624 CPUtime=1721.98 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 865685 0 0 0 172034 164 0 0 20 0 1 0 344754402 3618430976 877030 33554432000 4194304 8395647 140733643736304 140733643731992 4706201 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 883406 877030 513 1026 0 882376 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3533624
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22955808/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3620632 CPUtime=1781.97 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 886534 0 0 0 178029 168 0 0 20 0 1 0 344754402 3707527168 898496 33554432000 4194304 8395647 140733643736304 140733643732376 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 905158 898496 513 1026 0 904128 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3620632
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22942276/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3631396 CPUtime=1785.17 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 888987 0 0 0 178349 168 0 0 20 0 1 0 344754402 3718549504 901055 33554432000 4194304 8395647 140733643736304 140733643732376 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 907849 901055 513 1026 0 906819 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 3631396
[startup+1788.7 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22936820/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3635260 CPUtime=1788.37 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 890002 0 0 0 178669 168 0 0 20 0 1 0 344754402 3722506240 902070 33554432000 4194304 8395647 140733643736304 140733643732376 4715374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 908815 902070 513 1026 0 907785 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 3635260
[startup+1789.5 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22936820/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3635260 CPUtime=1789.17 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 890050 0 0 0 178749 168 0 0 20 0 1 0 344754402 3722506240 902118 33554432000 4194304 8395647 140733643736304 140733643732376 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 908815 902118 513 1026 0 907785 0
Current children cumulated CPU time (s) 1789.17
Current children cumulated vsize (KiB) 3635260
[startup+1789.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22936324/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3635260 CPUtime=1789.57 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 890054 0 0 0 178789 168 0 0 20 0 1 0 344754402 3722506240 902122 33554432000 4194304 8395647 140733643736304 140733643732376 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 908815 902122 513 1026 0 907785 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (KiB) 3635260
[startup+1790.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 13081
/proc/meminfo: memFree=22936324/32873844 swapFree=7124/7124
[pid=13027] ppid=13025 vsize=3629444 CPUtime=1789.97 cores=1,3,5,7
/proc/13027/stat : 13027 (pbscip.linux.x8) R 13025 13027 12290 0 -1 4202496 890318 0 0 0 178826 171 0 0 20 0 1 0 344754402 3716550656 806633 33554432000 4194304 8395647 140733643736304 140733643732376 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 907361 806576 521 1026 0 906331 0
Current children cumulated CPU time (s) 1789.97
Current children cumulated vsize (KiB) 3629444
Child status: 0
Real time (s): 1790.36
CPU time (s): 1790.04
CPU user time (s): 1788.29
CPU system time (s): 1.75073
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 3636284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.29
system time used= 1.75073
maximum resident set size= 3609540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890331
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= 68
involuntary context switches= 1830
runsolver used 2.84157 second user time and 9.41457 second system time
The end