0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666823-1276641309.opb>
0.49/0.57 c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.49/0.57 c problem read
0.49/0.57 c presolving settings loaded
0.69/0.74 c presolving:
1.10/1.11 c (round 1) 752 del vars, 1465 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
1.10/1.14 c (round 2) 752 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
1.39/1.49 c (round 3) 752 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 276476 impls, 0 clqs
3.49/3.57 c (2.8s) probing: 487/8149 (6.0%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
3.49/3.57 c (2.8s) probing aborted: 100/100 successive totally useless probings
3.49/3.57 c (round 4) 757 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 301898 impls, 0 clqs
3.59/3.67 c (2.9s) probing: 497/8149 (6.1%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
3.59/3.67 c (2.9s) probing aborted: 100/100 successive totally useless probings
3.59/3.67 c presolving (5 rounds):
3.59/3.67 c 757 deleted vars, 1516 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 17 changed coefficients
3.59/3.67 c 301898 implications, 0 cliques
3.59/3.67 c presolved problem has 8144 variables (8144 bin, 0 int, 0 impl, 0 cont) and 30782 constraints
3.59/3.67 c 1 constraints of type <knapsack>
3.59/3.67 c 30781 constraints of type <logicor>
3.59/3.67 c transformed objective value is always integral (scale: 1)
3.59/3.67 c Presolving Time: 2.81
3.59/3.67 c - non default parameters ----------------------------------------------------------------------
3.59/3.67 c # SCIP version 1.2.1.2
3.59/3.67 c
3.59/3.67 c # frequency for displaying node information lines
3.59/3.67 c # [type: int, range: [-1,2147483647], default: 100]
3.59/3.67 c display/freq = 10000
3.59/3.67 c
3.59/3.67 c # maximal time in seconds to run
3.59/3.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.67 c limits/time = 1799.44
3.59/3.67 c
3.59/3.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.59/3.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.67 c limits/memory = 1620
3.59/3.67 c
3.59/3.67 c # should presolving try to simplify inequalities
3.59/3.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.67 c constraints/linear/simplifyinequalities = TRUE
3.59/3.67 c
3.59/3.67 c # should presolving try to simplify knapsacks
3.59/3.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.67 c constraints/knapsack/simplifyinequalities = TRUE
3.59/3.67 c
3.59/3.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.59/3.67 c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.67 c separating/rapidlearning/freq = 0
3.59/3.67 c
3.59/3.67 c -----------------------------------------------------------------------------------------------
3.59/3.67 c start solving
3.59/3.68 c
15.99/16.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.09 c 15.2s| 1 | 0 | 5326 | - | 65M| 0 |1646 |8144 | 30k|8144 | 30k| 0 | 0 | 0 | 1.059795e+01 | -- | Inf
217.44/217.58 c 213s| 1 | 0 | 18565 | - | 65M| 0 |1642 |8144 | 30k|8144 | 30k| 1 | 0 | 0 | 1.139795e+01 | -- | Inf
281.61/281.71 o 26
281.61/281.71 c E 273s| 1 | 0 | 18565 | - | 65M| 0 |1642 |8144 | 30k|8144 | 30k| 1 | 0 | 0 | 1.139795e+01 | 2.600000e+01 | 128.11%
281.61/281.78 c 273s| 1 | 0 | 18565 | - | 65M| 0 |1642 |8144 | 30k|8144 | 30k| 1 | 0 | 0 | 1.139795e+01 | 2.600000e+01 | 128.11%
501.77/501.98 c 493s| 1 | 2 | 18565 | - | 65M| 0 |1642 |8144 | 30k|8144 | 30k| 1 | 0 | 37 | 1.139795e+01 | 2.600000e+01 | 128.11%
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-2666823-1276641309/watcher-2666823-1276641309 -o /tmp/evaluation-result-2666823-1276641309/solver-2666823-1276641309 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666823-1276641309.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.02 1.01 1.00 3/106 11465
/proc/meminfo: memFree=1813896/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=6696 CPUtime=0
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1002 0 0 0 0 0 0 0 18 0 1 0 5423079 6856704 921 1992294400 4194304 8223781 140734819288352 18446744073709551615 5960099 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11465/statm: 1931 930 348 984 0 944 0
[startup+0.070751 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 11465
/proc/meminfo: memFree=1813896/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=13308 CPUtime=0.06
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 2625 0 0 0 6 0 0 0 21 0 1 0 5423079 13627392 2544 1992294400 4194304 8223781 140734819288352 18446744073709551615 7189534 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11465/statm: 3327 2544 365 984 0 2340 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13308
[startup+0.100752 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 11465
/proc/meminfo: memFree=1813896/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=13912 CPUtime=0.09
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 2791 0 0 0 8 1 0 0 21 0 1 0 5423079 14245888 2710 1992294400 4194304 8223781 140734819288352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11465/statm: 3478 2710 365 984 0 2491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13912
[startup+0.300773 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 11465
/proc/meminfo: memFree=1813896/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=20752 CPUtime=0.29
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 4508 0 0 0 28 1 0 0 21 0 1 0 5423079 21250048 4427 1992294400 4194304 8223781 140734819288352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11465/statm: 5188 4427 365 984 0 4201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20752
[startup+0.700814 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 11465
/proc/meminfo: memFree=1813896/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=57836 CPUtime=0.69
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 14048 0 0 0 64 5 0 0 22 0 1 0 5423079 59224064 13560 1992294400 4194304 8223781 140734819288352 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 14459 13560 402 984 0 13472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57836
[startup+1.5009 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11466
/proc/meminfo: memFree=1750276/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=82260 CPUtime=1.49
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 22503 0 0 0 130 19 0 0 25 0 1 0 5423079 84234240 19313 1992294400 4194304 8223781 140734819288352 18446744073709551615 5970370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 20565 19313 460 984 0 19578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82260
[startup+3.10106 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11466
/proc/meminfo: memFree=1734652/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=87476 CPUtime=3.09
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 24873 0 0 0 287 22 0 0 25 0 1 0 5423079 89575424 20672 1992294400 4194304 8223781 140734819288352 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 21869 20672 474 984 0 20882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87476
[startup+6.30038 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11466
/proc/meminfo: memFree=1693856/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=130640 CPUtime=6.29
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 39297 0 0 0 598 31 0 0 25 0 1 0 5423079 133775360 30591 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 32660 30591 544 984 0 31673 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 130640
[startup+12.701 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11466
/proc/meminfo: memFree=1692740/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=132492 CPUtime=12.69
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 44412 0 0 0 1233 36 0 0 25 0 1 0 5423079 135671808 30655 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 33123 30655 544 984 0 32136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132492
[startup+25.5013 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11466
/proc/meminfo: memFree=1691624/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=133840 CPUtime=25.48
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 49536 0 0 0 2507 41 0 0 25 0 1 0 5423079 137052160 30943 1992294400 4194304 8223781 140734819288352 18446744073709551615 6504488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 33460 30943 551 984 0 32473 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 133840
[startup+51.101 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11468
/proc/meminfo: memFree=1691252/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=134032 CPUtime=51.08
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 57367 0 0 0 5059 49 0 0 25 0 1 0 5423079 137248768 30962 1992294400 4194304 8223781 140734819288352 18446744073709551615 6360411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 33508 30962 551 984 0 32521 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134032
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11468
/proc/meminfo: memFree=1690632/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=134656 CPUtime=102.27
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 72051 0 0 0 10167 60 0 0 25 0 1 0 5423079 137887744 31150 1992294400 4194304 8223781 140734819288352 18446744073709551615 6563111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 33664 31150 551 984 0 32677 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 134656
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11470
/proc/meminfo: memFree=1690508/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=134616 CPUtime=162.25
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 91168 0 0 0 16152 73 0 0 25 0 1 0 5423079 137846784 31079 1992294400 4194304 8223781 140734819288352 18446744073709551615 6358928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 33654 31079 551 984 0 32667 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 134616
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11472
/proc/meminfo: memFree=1692244/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=136216 CPUtime=222.23
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1059522 0 0 0 21750 473 0 0 25 0 1 0 5423079 139485184 30735 1992294400 4194304 8223781 140734819288352 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 34054 30735 617 984 0 33067 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 136216
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11474
/proc/meminfo: memFree=1628384/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=153124 CPUtime=282.22
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853285 0 0 0 27415 807 0 0 25 0 1 0 5423079 156798976 34886 1992294400 4194304 8223781 140734819288352 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 38281 34886 603 984 0 37294 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 153124
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11476
/proc/meminfo: memFree=1676620/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=342.2
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853397 0 0 0 33393 827 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 606 984 0 35585 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 146288
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11476
/proc/meminfo: memFree=1676496/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=402.19
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 39376 843 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 146288
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11478
/proc/meminfo: memFree=1676496/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=462.18
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 45360 858 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 146288
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11480
/proc/meminfo: memFree=1676372/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=522.16
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 51343 873 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 146288
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11482
/proc/meminfo: memFree=1676372/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=582.15
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 57326 889 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 146288
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11484
/proc/meminfo: memFree=1676248/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=642.13
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 63311 902 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6539235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 146288
[startup+702.302 s]
################
# More data... #
################
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 105183 1019 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 146288
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11496
/proc/meminfo: memFree=1675752/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1122
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 111169 1031 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6567106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 146288
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11498
/proc/meminfo: memFree=1675628/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1181.99
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 117153 1046 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 146288
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11500
/proc/meminfo: memFree=1675628/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1241.98
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 123135 1063 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 146288
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11500
/proc/meminfo: memFree=1675504/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1301.96
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 129118 1078 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 146288
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11502
/proc/meminfo: memFree=1675504/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1361.94
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 135097 1097 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 146288
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11504
/proc/meminfo: memFree=1675504/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1421.93
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 141080 1113 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 146288
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11506
/proc/meminfo: memFree=1675504/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1481.91
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 147062 1129 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 146288
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11508
/proc/meminfo: memFree=1675504/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1541.9
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 153045 1145 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 146288
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11517
/proc/meminfo: memFree=1675132/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=146288 CPUtime=1601.87
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853399 0 0 0 159028 1159 0 0 25 0 1 0 5423079 149798912 34609 1992294400 4194304 8223781 140734819288352 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 36572 34609 604 984 0 35585 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 146288
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11519
/proc/meminfo: memFree=1673396/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148680 CPUtime=1661.86
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 165011 1175 0 0 25 0 1 0 5423079 152248320 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37170 35203 604 984 0 36183 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 148680
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11521
/proc/meminfo: memFree=1673396/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148680 CPUtime=1721.84
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 170995 1189 0 0 25 0 1 0 5423079 152248320 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37170 35203 604 984 0 36183 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 148680
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11523
/proc/meminfo: memFree=1673396/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148712 CPUtime=1781.83
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 176980 1203 0 0 25 0 1 0 5423079 152281088 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37178 35203 604 984 0 36191 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 148712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11523
/proc/meminfo: memFree=1673396/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148732 CPUtime=1800.03
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 178796 1207 0 0 25 0 1 0 5423079 152301568 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37183 35203 604 984 0 36196 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 148732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11465
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11524
/proc/meminfo: memFree=1673388/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148732 CPUtime=1800.92
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 178885 1207 0 0 25 0 1 0 5423079 152301568 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6564854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37183 35203 604 984 0 36196 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 148732
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11524
/proc/meminfo: memFree=1673264/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148732 CPUtime=1801.72
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 178965 1207 0 0 25 0 1 0 5423079 152301568 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37183 35203 604 984 0 36196 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 148732
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11524
/proc/meminfo: memFree=1673264/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148732 CPUtime=1801.92
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 178985 1207 0 0 25 0 1 0 5423079 152301568 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6564570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37183 35203 604 984 0 36196 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 148732
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11524
/proc/meminfo: memFree=1673264/2059040 swapFree=4192956/4192956
[pid=11465] ppid=11463 vsize=148732 CPUtime=1802.02
/proc/11465/stat : 11465 (pbscip.linux.x8) R 11463 11465 10829 0 -1 4202496 1853993 0 0 0 178995 1207 0 0 25 0 1 0 5423079 152301568 35203 1992294400 4194304 8223781 140734819288352 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11465/statm: 37183 35203 604 984 0 36196 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 148732
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.05
CPU user time (s): 1789.96
CPU system time (s): 12.0902
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 202084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.96
system time used= 12.0902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1853993
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= 2953
runsolver used 3.04854 second user time and 8.44072 second system time
The end