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-2703329-1278574675.opb>
0.39/0.42 c original problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38959 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.89/0.93 o 0
0.89/0.93 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.93 c presolving:
2.09/2.11 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 299412 impls, 1000 clqs
4.19/4.29 c (3.9s) probing: 101/38458 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.19/4.29 c (3.9s) probing aborted: 100/100 successive totally useless probings
4.19/4.29 c presolving (2 rounds):
4.19/4.29 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.19/4.29 c 299412 implications, 1000 cliques
4.19/4.29 c presolved problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38959 constraints
4.19/4.29 c 1500 constraints of type <setppc>
4.19/4.29 c 37458 constraints of type <and>
4.19/4.29 c 1 constraints of type <linear>
4.19/4.29 c transformed objective value is always integral (scale: 1)
4.19/4.29 c Presolving Time: 3.63
4.19/4.29 c - non default parameters ----------------------------------------------------------------------
4.19/4.29 c # SCIP version 1.2.1.3
4.19/4.29 c
4.19/4.29 c # frequency for displaying node information lines
4.19/4.29 c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.29 c display/freq = 10000
4.19/4.29 c
4.19/4.29 c # maximal time in seconds to run
4.19/4.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.29 c limits/time = 1789.58
4.19/4.29 c
4.19/4.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.29 c limits/memory = 1620
4.19/4.29 c
4.19/4.29 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.19/4.29 c # [type: int, range: [1,2], default: 1]
4.19/4.29 c timing/clocktype = 2
4.19/4.29 c
4.19/4.29 c # should presolving try to simplify inequalities
4.19/4.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.29 c constraints/linear/simplifyinequalities = TRUE
4.19/4.29 c
4.19/4.29 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.19/4.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.29 c constraints/indicator/addCouplingCons = TRUE
4.19/4.29 c
4.19/4.29 c # should presolving try to simplify knapsacks
4.19/4.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.29 c constraints/knapsack/simplifyinequalities = TRUE
4.19/4.29 c
4.19/4.29 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.19/4.29 c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.29 c heuristics/undercover/freq = 0
4.19/4.29 c
4.19/4.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.19/4.29 c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.29 c separating/rapidlearning/freq = 0
4.19/4.29 c
4.19/4.29 c -----------------------------------------------------------------------------------------------
4.19/4.29 c start solving
4.30/4.33 c
792.09/792.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.09/792.37 c t 792s| 1 | 0 | 31168 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
792.39/792.66 o -8
792.39/792.66 c s 792s| 1 | 0 | 31168 | - | 177M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
928.56/928.84 c 928s| 1 | 0 | 33537 | - | 185M| 0 | 19k| 38k| 38k| 38k| 76k| 79 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1054.53/1054.80 c 1054s| 1 | 0 | 36016 | - | 186M| 0 | 19k| 38k| 38k| 38k| 76k| 91 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1147.31/1147.68 c 1147s| 1 | 0 | 37428 | - | 187M| 0 | 19k| 38k| 38k| 38k| 76k| 103 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1276.97/1277.33 c 1277s| 1 | 0 | 39985 | - | 187M| 0 | 19k| 38k| 38k| 38k| 76k| 114 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1445.71/1446.14 c 1446s| 1 | 0 | 43677 | - | 188M| 0 | 19k| 38k| 38k| 38k| 76k| 126 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1574.69/1575.18 c 1575s| 1 | 0 | 46148 | - | 188M| 0 | 19k| 38k| 38k| 38k| 76k| 147 | 1 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703329-1278574675/watcher-2703329-1278574675 -o /tmp/evaluation-result-2703329-1278574675/solver-2703329-1278574675 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703329-1278574675.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 28291
/proc/meminfo: memFree=1649248/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=7904 CPUtime=0
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 1142 0 0 0 0 0 0 0 25 0 1 0 25675809 8093696 1053 1992294400 4194304 8395647 140734573731424 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28291/statm: 1976 1062 365 1026 0 946 0
[startup+0.071424 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 28291
/proc/meminfo: memFree=1649248/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=20380 CPUtime=0.06
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 4316 0 0 0 5 1 0 0 25 0 1 0 25675809 20869120 4227 1992294400 4194304 8395647 140734573731424 18446744073709551615 4281268 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28291/statm: 5095 4227 393 1026 0 4065 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20380
[startup+0.100426 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 28291
/proc/meminfo: memFree=1649248/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=25340 CPUtime=0.09
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 5565 0 0 0 7 2 0 0 25 0 1 0 25675809 25948160 5476 1992294400 4194304 8395647 140734573731424 18446744073709551615 5755767 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28291/statm: 6335 5476 393 1026 0 5305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25340
[startup+0.300446 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 28291
/proc/meminfo: memFree=1649248/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=45192 CPUtime=0.29
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 10570 0 0 0 25 4 0 0 25 0 1 0 25675809 46276608 10481 1992294400 4194304 8395647 140734573731424 18446744073709551615 4327539 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28291/statm: 11298 10481 393 1026 0 10268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45192
[startup+0.700485 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 28291
/proc/meminfo: memFree=1649248/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=106236 CPUtime=0.69
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 26163 0 0 0 60 9 0 0 25 0 1 0 25675809 108785664 25646 1992294400 4194304 8395647 140734573731424 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 26559 25646 430 1026 0 25529 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106236
[startup+1.50056 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 28292
/proc/meminfo: memFree=1541980/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=123644 CPUtime=1.49
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 30293 0 0 0 139 10 0 0 25 0 1 0 25675809 126611456 29776 1992294400 4194304 8395647 140734573731424 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 30911 29776 461 1026 0 29881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123644
[startup+3.10072 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 28292
/proc/meminfo: memFree=1514080/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=144728 CPUtime=3.09
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 36475 0 0 0 297 12 0 0 25 0 1 0 25675809 148201472 35188 1992294400 4194304 8395647 140734573731424 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 36182 35188 586 1026 0 35152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144728
[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 28292
/proc/meminfo: memFree=1382268/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=293632 CPUtime=6.29
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 71406 0 0 0 606 23 0 0 25 0 1 0 25675809 300679168 67931 1992294400 4194304 8395647 140734573731424 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 73408 67931 635 1026 0 72378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 293632
[startup+12.7017 s]
/proc/loadavg: 1.15 1.03 0.92 2/106 28292
/proc/meminfo: memFree=1358584/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=314084 CPUtime=12.69
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 77564 0 0 0 1241 28 0 0 25 0 1 0 25675809 321622016 73607 1992294400 4194304 8395647 140734573731424 18446744073709551615 6752916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 78521 73607 939 1026 0 77491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 314084
[startup+25.5009 s]
/proc/loadavg: 1.12 1.03 0.92 2/106 28294
/proc/meminfo: memFree=1346432/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=317048 CPUtime=25.48
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 80478 0 0 0 2516 32 0 0 25 0 1 0 25675809 324657152 76073 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 79262 76073 687 1026 0 78232 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 317048
[startup+51.1004 s]
/proc/loadavg: 1.08 1.03 0.92 2/106 28294
/proc/meminfo: memFree=1336512/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=326628 CPUtime=51.07
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83106 0 0 0 5072 35 0 0 25 0 1 0 25675809 334467072 78494 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 81657 78494 619 1026 0 80627 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 326628
[startup+102.308 s]
/proc/loadavg: 1.03 1.02 0.92 2/106 28296
/proc/meminfo: memFree=1336264/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=102.27
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83189 0 0 0 10188 39 0 0 25 0 1 0 25675809 341405696 78577 1992294400 4194304 8395647 140734573731424 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78577 619 1026 0 82321 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 333404
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.92 2/106 28296
/proc/meminfo: memFree=1336016/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=162.25
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83249 0 0 0 16182 43 0 0 25 0 1 0 25675809 341405696 78604 1992294400 4194304 8395647 140734573731424 18446744073709551615 6667497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78604 586 1026 0 82321 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 333404
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.92 2/106 28298
/proc/meminfo: memFree=1335892/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=222.24
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83264 0 0 0 22176 48 0 0 25 0 1 0 25675809 341405696 78619 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78619 586 1026 0 82321 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 333404
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28300
/proc/meminfo: memFree=1335644/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=282.22
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83341 0 0 0 28171 51 0 0 25 0 1 0 25675809 341405696 78696 1992294400 4194304 8395647 140734573731424 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78696 586 1026 0 82321 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 333404
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28302
/proc/meminfo: memFree=1335520/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=342.2
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83354 0 0 0 34166 54 0 0 25 0 1 0 25675809 341405696 78709 1992294400 4194304 8395647 140734573731424 18446744073709551615 6693026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78709 586 1026 0 82321 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 333404
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28304
/proc/meminfo: memFree=1335396/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=333404 CPUtime=402.19
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 83368 0 0 0 40160 59 0 0 25 0 1 0 25675809 341405696 78723 1992294400 4194304 8395647 140734573731424 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 83351 78723 586 1026 0 82321 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 333404
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28304
/proc/meminfo: memFree=1326344/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=337660 CPUtime=462.18
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 85837 0 0 0 46155 63 0 0 25 0 1 0 25675809 345763840 81099 1992294400 4194304 8395647 140734573731424 18446744073709551615 6696307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 84415 81099 714 1026 0 83385 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 337660
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28306
/proc/meminfo: memFree=1325972/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=337660 CPUtime=522.16
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 85931 0 0 0 52150 66 0 0 25 0 1 0 25675809 345763840 81111 1992294400 4194304 8395647 140734573731424 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 84415 81111 632 1026 0 83385 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 337660
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28308
/proc/meminfo: memFree=1325724/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=337660 CPUtime=582.15
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 85998 0 0 0 58145 70 0 0 25 0 1 0 25675809 345763840 81122 1992294400 4194304 8395647 140734573731424 18446744073709551615 6702080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 84415 81122 576 1026 0 83385 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 337660
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28310
/proc/meminfo: memFree=1325724/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=337660 CPUtime=642.13
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 86008 0 0 0 64141 72 0 0 25 0 1 0 25675809 345763840 81132 1992294400 4194304 8395647 140734573731424 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 84415 81132 576 1026 0 83385 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 337660
[startup+702.301 s]
################
# More data... #
################
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133002 0 0 0 106082 121 0 0 25 0 1 0 25675809 500453376 118473 1992294400 4194304 8395647 140734573731424 18446744073709551615 6197339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118473 636 1026 0 121151 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 488724
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28322
/proc/meminfo: memFree=1175932/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1122.01
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133004 0 0 0 112077 124 0 0 25 0 1 0 25675809 500453376 118475 1992294400 4194304 8395647 140734573731424 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118475 636 1026 0 121151 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 488724
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28324
/proc/meminfo: memFree=1175808/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1182
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133004 0 0 0 118072 128 0 0 25 0 1 0 25675809 500453376 118475 1992294400 4194304 8395647 140734573731424 18446744073709551615 5849644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118475 636 1026 0 121151 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 488724
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28326
/proc/meminfo: memFree=1175684/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1241.98
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133007 0 0 0 124068 130 0 0 25 0 1 0 25675809 500453376 118478 1992294400 4194304 8395647 140734573731424 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118478 636 1026 0 121151 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 488724
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28328
/proc/meminfo: memFree=1175560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1301.98
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133007 0 0 0 130063 135 0 0 25 0 1 0 25675809 500453376 118478 1992294400 4194304 8395647 140734573731424 18446744073709551615 5827855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118478 636 1026 0 121151 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 488724
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28328
/proc/meminfo: memFree=1175560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1361.95
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133009 0 0 0 136058 137 0 0 25 0 1 0 25675809 500453376 118480 1992294400 4194304 8395647 140734573731424 18446744073709551615 6503069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118480 636 1026 0 121151 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 488724
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28339
/proc/meminfo: memFree=1174568/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1421.93
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133009 0 0 0 142054 139 0 0 25 0 1 0 25675809 500453376 118480 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118480 636 1026 0 121151 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 488724
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28341
/proc/meminfo: memFree=1174568/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1481.9
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133009 0 0 0 148048 142 0 0 25 0 1 0 25675809 500453376 118480 1992294400 4194304 8395647 140734573731424 18446744073709551615 5797313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118480 636 1026 0 121151 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 488724
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28343
/proc/meminfo: memFree=1174692/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1541.89
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133012 0 0 0 154045 144 0 0 25 0 1 0 25675809 500453376 118483 1992294400 4194304 8395647 140734573731424 18446744073709551615 6701805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118483 636 1026 0 121151 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 488724
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28345
/proc/meminfo: memFree=1174692/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1601.87
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 160040 147 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 488724
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28345
/proc/meminfo: memFree=1174692/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1661.86
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 166035 151 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6503038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 488724
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28347
/proc/meminfo: memFree=1174692/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1721.84
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 172031 153 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 488724
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28349
/proc/meminfo: memFree=1174568/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1781.83
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 178026 157 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6502760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 488724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28349
/proc/meminfo: memFree=1174568/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1800.03
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 179845 158 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6503822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 488724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28291
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28350
/proc/meminfo: memFree=1174560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1800.93
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 179935 158 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6741175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 488724
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28350
/proc/meminfo: memFree=1174560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1801.73
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 180015 158 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6752903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 488724
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28350
/proc/meminfo: memFree=1174560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1801.93
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 180035 158 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6693785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 488724
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28350
/proc/meminfo: memFree=1174560/2059040 swapFree=4143936/4192956
[pid=28291] ppid=28289 vsize=488724 CPUtime=1802.03
/proc/28291/stat : 28291 (pbscip.linux.x8) R 28289 28291 28188 0 -1 4202496 133014 0 0 0 180045 158 0 0 25 0 1 0 25675809 500453376 118485 1992294400 4194304 8395647 140734573731424 18446744073709551615 6697966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28291/statm: 122181 118485 638 1026 0 121151 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 488724
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.09
CPU user time (s): 1800.46
CPU system time (s): 1.62875
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 528516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.46
system time used= 1.62875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133014
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= 1
involuntary context switches= 3535
runsolver used 2.91256 second user time and 8.57869 second system time
The end