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-2703685-1278556922.opb>
1.69/1.70 c original problem has 155000 variables (155000 bin, 0 int, 0 impl, 0 cont) and 5150 constraints
1.69/1.70 c problem read
1.69/1.70 c presolving settings loaded
3.20/3.24 c presolving:
3.89/3.96 c (round 1) 59024 del vars, 0 del conss, 59024 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
4.40/4.45 c (round 2) 59024 del vars, 0 del conss, 59024 chg bounds, 0 chg sides, 0 chg coeffs, 5000 upgd conss, 0 impls, 0 clqs
4.89/4.90 c (round 3) 59024 del vars, 0 del conss, 59024 chg bounds, 0 chg sides, 3221 chg coeffs, 5000 upgd conss, 64178 impls, 9383 clqs
5.19/5.27 c (round 4) 59024 del vars, 167 del conss, 59024 chg bounds, 9383 chg sides, 31370 chg coeffs, 5000 upgd conss, 64178 impls, 9383 clqs
19.38/19.44 c (17.7s) probing: 235/95976 (0.2%) - 0 fixings, 0 aggregations, 108686 implications, 0 bound changes
19.38/19.44 c (17.7s) probing aborted: 100/100 successive totally useless probings
19.38/19.46 c presolving (5 rounds):
19.38/19.46 c 59024 deleted vars, 167 deleted constraints, 59024 tightened bounds, 0 added holes, 9383 changed sides, 31370 changed coefficients
19.38/19.46 c 281550 implications, 9383 cliques
19.38/19.46 c presolved problem has 95976 variables (95976 bin, 0 int, 0 impl, 0 cont) and 14366 constraints
19.38/19.46 c 4833 constraints of type <knapsack>
19.38/19.46 c 9383 constraints of type <setppc>
19.38/19.46 c 150 constraints of type <linear>
19.38/19.46 c transformed objective value is always integral (scale: 1)
19.38/19.46 c Presolving Time: 17.10
19.38/19.46 c - non default parameters ----------------------------------------------------------------------
19.38/19.46 c # SCIP version 1.2.1.3
19.38/19.46 c
19.38/19.46 c # frequency for displaying node information lines
19.38/19.46 c # [type: int, range: [-1,2147483647], default: 100]
19.38/19.46 c display/freq = 10000
19.38/19.46 c
19.38/19.46 c # maximal time in seconds to run
19.38/19.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.38/19.46 c limits/time = 1788.3
19.38/19.46 c
19.38/19.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.38/19.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.38/19.46 c limits/memory = 1620
19.38/19.46 c
19.38/19.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
19.38/19.46 c # [type: int, range: [1,2], default: 1]
19.38/19.46 c timing/clocktype = 2
19.38/19.46 c
19.38/19.46 c # should presolving try to simplify inequalities
19.38/19.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.38/19.46 c constraints/linear/simplifyinequalities = TRUE
19.38/19.46 c
19.38/19.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
19.38/19.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.38/19.46 c constraints/indicator/addCouplingCons = TRUE
19.38/19.46 c
19.38/19.46 c # should presolving try to simplify knapsacks
19.38/19.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.38/19.46 c constraints/knapsack/simplifyinequalities = TRUE
19.38/19.46 c
19.38/19.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
19.38/19.46 c # [type: int, range: [-1,2147483647], default: -1]
19.38/19.46 c separating/rapidlearning/freq = 0
19.38/19.46 c
19.38/19.46 c -----------------------------------------------------------------------------------------------
19.38/19.46 c start solving
19.48/19.58 c
117.24/117.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.24/117.33 c 116s| 1 | 0 | 24249 | - | 404M| 0 | 247 | 95k| 14k| 95k| 14k| 0 | 0 | 0 | 9.848464e+08 | -- | Inf
310.88/311.06 c 309s| 1 | 0 | 64758 | - | 418M| 0 | 460 | 95k| 14k| 95k| 14k| 298 | 0 | 0 | 9.851250e+08 | -- | Inf
439.24/439.42 c 438s| 1 | 0 | 67959 | - | 425M| 0 | 630 | 95k| 14k| 95k| 14k| 569 | 0 | 0 | 9.863270e+08 | -- | Inf
614.39/614.63 c 613s| 1 | 0 | 75993 | - | 431M| 0 | 911 | 95k| 14k| 95k| 15k| 910 | 0 | 0 | 9.874525e+08 | -- | Inf
792.93/793.23 c 792s| 1 | 0 | 83030 | - | 433M| 0 |1101 | 95k| 14k| 95k| 15k|1203 | 0 | 0 | 9.882880e+08 | -- | Inf
949.78/950.14 c 948s| 1 | 0 | 88039 | - | 435M| 0 |1204 | 95k| 14k| 95k| 15k|1434 | 0 | 0 | 9.888121e+08 | -- | Inf
1079.94/1080.39 c 1079s| 1 | 0 | 90365 | - | 436M| 0 |1426 | 95k| 14k| 95k| 16k|1649 | 0 | 0 | 9.890651e+08 | -- | Inf
1212.80/1213.20 c 1211s| 1 | 0 | 92468 | - | 437M| 0 |1561 | 95k| 14k| 95k| 16k|1835 | 0 | 0 | 9.891599e+08 | -- | Inf
1341.06/1341.56 c 1340s| 1 | 0 | 94325 | - | 438M| 0 |1644 | 95k| 14k| 95k| 16k|2044 | 0 | 0 | 9.894951e+08 | -- | Inf
1539.89/1540.40 c 1539s| 1 | 0 |101715 | - | 439M| 0 |1709 | 95k| 14k| 95k| 16k|2185 | 0 | 0 | 9.896550e+08 | -- | Inf
1665.74/1666.39 c 1665s| 1 | 0 |103435 | - | 440M| 0 |1765 | 95k| 14k| 95k| 16k|2343 | 0 | 0 | 9.897546e+08 | -- | Inf
1783.82/1784.40 c 1783s| 1 | 0 |104923 | - | 441M| 0 |1801 | 95k| 14k| 95k| 16k|2457 | 0 | 0 | 9.898328e+08 | -- | Inf
1800.03/1800.61 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-2703685-1278556922/watcher-2703685-1278556922 -o /tmp/evaluation-result-2703685-1278556922/solver-2703685-1278556922 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703685-1278556922.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 1.00 3/106 28370
/proc/meminfo: memFree=1698132/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=7904 CPUtime=0
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 1071 0 0 0 0 0 0 0 18 0 1 0 23899703 8093696 982 1992294400 4194304 8395647 140736477652944 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 1976 990 365 1026 0 946 0
[startup+0.0586871 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28370
/proc/meminfo: memFree=1698132/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=19656 CPUtime=0.05
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 4214 0 0 0 4 1 0 0 20 0 1 0 23899703 20127744 4121 1992294400 4194304 8395647 140736477652944 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 4914 4121 389 1026 0 3884 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19656
[startup+0.101691 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28370
/proc/meminfo: memFree=1698132/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=28400 CPUtime=0.1
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 6404 0 0 0 8 2 0 0 20 0 1 0 23899703 29081600 6311 1992294400 4194304 8395647 140736477652944 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 7100 6311 389 1026 0 6070 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28400
[startup+0.300714 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28370
/proc/meminfo: memFree=1698132/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=68772 CPUtime=0.29
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 16242 0 0 0 24 5 0 0 20 0 1 0 23899703 70422528 16149 1992294400 4194304 8395647 140736477652944 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 17193 16149 389 1026 0 16163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68772
[startup+0.700757 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28370
/proc/meminfo: memFree=1698132/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=123172 CPUtime=0.69
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 29369 0 0 0 59 10 0 0 20 0 1 0 23899703 126128128 29274 1992294400 4194304 8395647 140736477652944 18446744073709551615 7301326 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 30793 29274 394 1026 0 29763 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123172
[startup+1.50085 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28371
/proc/meminfo: memFree=1580200/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=130240 CPUtime=1.49
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 31200 0 0 0 137 12 0 0 23 0 1 0 23899703 133365760 31105 1992294400 4194304 8395647 140736477652944 18446744073709551615 6765598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28370/statm: 32560 31105 394 1026 0 31530 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130240
[startup+3.10102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28371
/proc/meminfo: memFree=1443056/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=315736 CPUtime=3.09
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 77357 0 0 0 282 27 0 0 25 0 1 0 23899703 323313664 76908 1992294400 4194304 8395647 140736477652944 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 78934 76908 442 1026 0 77904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 315736
[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28371
/proc/meminfo: memFree=1297728/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=416280 CPUtime=6.29
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 102518 0 0 0 594 35 0 0 25 0 1 0 23899703 426270720 101244 1992294400 4194304 8395647 140736477652944 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 104070 101244 501 1026 0 103040 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 416280
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28371
/proc/meminfo: memFree=1288056/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=423064 CPUtime=12.68
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 104077 0 0 0 1233 35 0 0 25 0 1 0 23899703 433217536 102803 1992294400 4194304 8395647 140736477652944 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 105766 102803 501 1026 0 104736 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 423064
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28371
/proc/meminfo: memFree=1206588/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=514620 CPUtime=25.48
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 125080 0 0 0 2504 44 0 0 25 0 1 0 23899703 526970880 123148 1992294400 4194304 8395647 140736477652944 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 128655 123148 605 1026 0 127625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 514620
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28373
/proc/meminfo: memFree=1204232/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=514620 CPUtime=51.06
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 125635 0 0 0 5056 50 0 0 25 0 1 0 23899703 526970880 123703 1992294400 4194304 8395647 140736477652944 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 128655 123703 605 1026 0 127625 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 514620
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28373
/proc/meminfo: memFree=1197412/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=520096 CPUtime=102.25
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 127340 0 0 0 10164 61 0 0 25 0 1 0 23899703 532578304 125390 1992294400 4194304 8395647 140736477652944 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 130024 125390 600 1026 0 128994 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 520096
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28375
/proc/meminfo: memFree=1186624/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=532484 CPUtime=162.22
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 130033 0 0 0 16144 78 0 0 25 0 1 0 23899703 545263616 128083 1992294400 4194304 8395647 140736477652944 18446744073709551615 6670322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 133121 128083 606 1026 0 132091 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 532484
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28377
/proc/meminfo: memFree=1186500/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=532484 CPUtime=222.21
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 130046 0 0 0 22123 98 0 0 25 0 1 0 23899703 545263616 128096 1992294400 4194304 8395647 140736477652944 18446744073709551615 6700514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 133121 128096 606 1026 0 132091 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 532484
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28379
/proc/meminfo: memFree=1180176/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=537784 CPUtime=282.18
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 131680 0 0 0 28116 102 0 0 25 0 1 0 23899703 550690816 129730 1992294400 4194304 8395647 140736477652944 18446744073709551615 4935582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 134446 129730 614 1026 0 133416 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 537784
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28381
/proc/meminfo: memFree=1122144/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=603632 CPUtime=342.17
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 147425 0 0 0 34107 110 0 0 25 0 1 0 23899703 618119168 144206 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 150908 144206 641 1026 0 149878 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 603632
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28381
/proc/meminfo: memFree=1121896/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=603632 CPUtime=402.15
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 147499 0 0 0 40105 110 0 0 25 0 1 0 23899703 618119168 144280 1992294400 4194304 8395647 140736477652944 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 150908 144280 641 1026 0 149878 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 603632
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28383
/proc/meminfo: memFree=1100940/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=631408 CPUtime=462.13
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 152921 0 0 0 46098 115 0 0 25 0 1 0 23899703 646561792 149679 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 157852 149679 811 1026 0 156822 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 631408
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28385
/proc/meminfo: memFree=1100816/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=631408 CPUtime=522.11
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 152945 0 0 0 52096 115 0 0 25 0 1 0 23899703 646561792 149703 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 157852 149703 811 1026 0 156822 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 631408
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28387
/proc/meminfo: memFree=1088788/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=644872 CPUtime=582.1
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 155960 0 0 0 58088 122 0 0 25 0 1 0 23899703 660348928 152554 1992294400 4194304 8395647 140736477652944 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 161218 152554 673 1026 0 160188 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 644872
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28389
/proc/meminfo: memFree=1088788/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=644872 CPUtime=642.09
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 155961 0 0 0 64082 127 0 0 25 0 1 0 23899703 660348928 152555 1992294400 4194304 8395647 140736477652944 18446744073709551615 4904075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 161218 152555 674 1026 0 160188 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 644872
[startup+702.301 s]
################
# More data... #
################
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 160351 0 0 0 100052 144 0 0 25 0 1 0 23899703 683659264 156656 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 166909 156656 635 1026 0 165879 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 667636
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28399
/proc/meminfo: memFree=1065352/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=670680 CPUtime=1061.95
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 162062 0 0 0 106048 147 0 0 25 0 1 0 23899703 686776320 158367 1992294400 4194304 8395647 140736477652944 18446744073709551615 6663833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 167670 158367 635 1026 0 166640 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 670680
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28401
/proc/meminfo: memFree=1065352/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=670680 CPUtime=1121.93
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 162064 0 0 0 112044 149 0 0 25 0 1 0 23899703 686776320 158369 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 167670 158369 635 1026 0 166640 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 670680
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28412
/proc/meminfo: memFree=1064236/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=670680 CPUtime=1181.9
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 162064 0 0 0 118039 151 0 0 25 0 1 0 23899703 686776320 158369 1992294400 4194304 8395647 140736477652944 18446744073709551615 6440602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 167670 158369 635 1026 0 166640 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 670680
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28414
/proc/meminfo: memFree=1049852/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=694168 CPUtime=1241.89
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 165798 0 0 0 124032 157 0 0 25 0 1 0 23899703 710828032 162103 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 173542 162103 647 1026 0 172512 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 694168
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28414
/proc/meminfo: memFree=1049852/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=694168 CPUtime=1301.87
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 165798 0 0 0 130030 157 0 0 25 0 1 0 23899703 710828032 162103 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 173542 162103 647 1026 0 172512 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 694168
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28416
/proc/meminfo: memFree=1051960/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=686580 CPUtime=1361.85
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 170827 0 0 0 136023 162 0 0 25 0 1 0 23899703 703057920 161605 1992294400 4194304 8395647 140736477652944 18446744073709551615 4299093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 171645 161605 648 1026 0 170615 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 686580
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28418
/proc/meminfo: memFree=1051960/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=686580 CPUtime=1421.84
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 170827 0 0 0 142022 162 0 0 25 0 1 0 23899703 703057920 161605 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 171645 161605 648 1026 0 170615 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 686580
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28420
/proc/meminfo: memFree=1043528/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=690080 CPUtime=1481.81
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 172915 0 0 0 148013 168 0 0 25 0 1 0 23899703 706641920 163684 1992294400 4194304 8395647 140736477652944 18446744073709551615 6698030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 172520 163684 639 1026 0 171490 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 690080
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28422
/proc/meminfo: memFree=1043528/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=690080 CPUtime=1541.79
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 172915 0 0 0 154003 176 0 0 25 0 1 0 23899703 706641920 163684 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 172520 163684 639 1026 0 171490 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 690080
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28422
/proc/meminfo: memFree=1043528/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=690080 CPUtime=1601.77
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 172915 0 0 0 160001 176 0 0 25 0 1 0 23899703 706641920 163684 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 172520 163684 639 1026 0 171490 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 690080
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28424
/proc/meminfo: memFree=1039064/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=700488 CPUtime=1661.75
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 174052 0 0 0 165995 180 0 0 25 0 1 0 23899703 717299712 164821 1992294400 4194304 8395647 140736477652944 18446744073709551615 6663860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 175122 164821 639 1026 0 174092 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 700488
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28426
/proc/meminfo: memFree=1039064/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=700488 CPUtime=1721.73
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 174052 0 0 0 171993 180 0 0 25 0 1 0 23899703 717299712 164821 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 175122 164821 639 1026 0 174092 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 700488
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28428
/proc/meminfo: memFree=1033856/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=712148 CPUtime=1781.71
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 175309 0 0 0 177986 185 0 0 25 0 1 0 23899703 729239552 166074 1992294400 4194304 8395647 140736477652944 18446744073709551615 6652551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 178037 166074 635 1026 0 177007 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 712148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28428
/proc/meminfo: memFree=1033856/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=712148 CPUtime=1800.03
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 175309 0 0 0 179817 186 0 0 25 0 1 0 23899703 729239552 166074 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 178037 166074 635 1026 0 177007 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 712148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28370
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28428
/proc/meminfo: memFree=1033856/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=712148 CPUtime=1800.81
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 175309 0 0 0 179895 186 0 0 25 0 1 0 23899703 729239552 166074 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 178037 166074 635 1026 0 177007 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 712148
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 28429
/proc/meminfo: memFree=1033848/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=712148 CPUtime=1801.61
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 175309 0 0 0 179975 186 0 0 25 0 1 0 23899703 729239552 166074 1992294400 4194304 8395647 140736477652944 18446744073709551615 4299141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 178037 166074 635 1026 0 177007 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 712148
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 28429
/proc/meminfo: memFree=1033848/2059040 swapFree=4139756/4192956
[pid=28370] ppid=28368 vsize=712148 CPUtime=1802.01
/proc/28370/stat : 28370 (pbscip.linux.x8) R 28368 28370 26473 0 -1 4202496 175309 0 0 0 180015 186 0 0 25 0 1 0 23899703 729239552 166074 1992294400 4194304 8395647 140736477652944 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28370/statm: 178037 166074 635 1026 0 177007 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 712148
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.68
CPU time (s): 1802.1
CPU user time (s): 1800.17
CPU system time (s): 1.92371
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 712148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.17
system time used= 1.92371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175309
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= 4743
runsolver used 3.13352 second user time and 8.35773 second system time
The end