0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665524-1276375261.opb>
11.08/11.14 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
11.08/11.14 c problem read
11.08/11.14 c presolving settings loaded
13.99/14.04 c presolving:
25.88/25.94 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
31.38/31.42 c (17.9s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
31.38/31.42 c (17.9s) probing aborted: 100/100 successive totally useless probings
31.38/31.42 c presolving (2 rounds):
31.38/31.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
31.38/31.42 c 1313400 implications, 0 cliques
31.38/31.42 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
31.38/31.42 c 656900 constraints of type <logicor>
31.38/31.42 c transformed objective value is always integral (scale: 1)
31.38/31.42 c Presolving Time: 15.99
31.38/31.42 c - non default parameters ----------------------------------------------------------------------
31.38/31.42 c # SCIP version 1.2.1.2
31.38/31.42 c
31.38/31.42 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
31.38/31.42 c # [type: int, range: [-1,2147483647], default: -1]
31.38/31.42 c conflict/interconss = 0
31.38/31.42 c
31.38/31.42 c # should binary conflicts be preferred?
31.38/31.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.38/31.42 c conflict/preferbinary = TRUE
31.38/31.42 c
31.38/31.42 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
31.38/31.42 c # [type: int, range: [-1,2147483647], default: 0]
31.38/31.42 c constraints/agelimit = 1
31.38/31.42 c
31.38/31.42 c # should enforcement of pseudo solution be disabled?
31.38/31.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.38/31.42 c constraints/disableenfops = TRUE
31.38/31.42 c
31.38/31.42 c # frequency for displaying node information lines
31.38/31.42 c # [type: int, range: [-1,2147483647], default: 100]
31.38/31.42 c display/freq = 10000
31.38/31.42 c
31.38/31.42 c # maximal time in seconds to run
31.38/31.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.38/31.42 c limits/time = 1788.88
31.38/31.42 c
31.38/31.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
31.38/31.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.38/31.42 c limits/memory = 1620
31.38/31.42 c
31.38/31.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
31.38/31.42 c # [type: int, range: [-1,2147483647], default: 1]
31.38/31.42 c lp/solvefreq = 0
31.38/31.42 c
31.38/31.42 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
31.38/31.42 c # [type: char, range: {lafpsqd}, default: l]
31.38/31.42 c lp/pricing = a
31.38/31.42 c
31.38/31.42 c # should presolving try to simplify inequalities
31.38/31.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.38/31.42 c constraints/linear/simplifyinequalities = TRUE
31.38/31.42 c
31.38/31.42 c # should presolving try to simplify knapsacks
31.38/31.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.38/31.42 c constraints/knapsack/simplifyinequalities = TRUE
31.38/31.42 c
31.38/31.42 c # priority of node selection rule <dfs> in standard mode
31.38/31.42 c # [type: int, range: [-536870912,536870911], default: 0]
31.38/31.42 c nodeselection/dfs/stdpriority = 1000000
31.38/31.42 c
31.38/31.42 c -----------------------------------------------------------------------------------------------
31.38/31.42 c start solving
31.38/31.47 c
50.88/50.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.88/50.94 c 36.8s| 1 | 0 | 700 | - | 735M| 0 | 270 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.659250e+02 | -- | Inf
175.33/175.42 c 159s| 1 | 0 | 1210 | - | 743M| 0 | 284 | 10k| 656k| 10k| 656k| 10 | 0 | 0 | 1.740308e+02 | -- | Inf
335.79/335.95 c 319s| 1 | 0 | 1595 | - | 756M| 0 | 285 | 10k| 656k| 10k| 656k| 20 | 0 | 0 | 1.779929e+02 | -- | Inf
471.45/471.64 c 455s| 1 | 0 | 2030 | - | 774M| 0 | 290 | 10k| 656k| 10k| 656k| 30 | 0 | 0 | 1.825622e+02 | -- | Inf
906.61/906.98 c 889s| 1 | 0 | 2523 | - | 774M| 0 | 287 | 10k| 656k| 10k| 656k| 37 | 0 | 0 | 1.880256e+02 | -- | Inf
1084.26/1084.66 c 1066s| 1 | 0 | 3008 | - | 774M| 0 | 291 | 10k| 656k| 10k| 656k| 45 | 0 | 0 | 1.933134e+02 | -- | 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-2665524-1276375261/watcher-2665524-1276375261 -o /tmp/evaluation-result-2665524-1276375261/solver-2665524-1276375261 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665524-1276375261.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: 0.93 0.99 0.99 3/106 13140
/proc/meminfo: memFree=1798052/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=8260 CPUtime=0
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 13129933 8458240 931 1992294400 4194304 9819077 140734842452464 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 2065 931 366 1374 0 686 0
[startup+0.058105 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 13140
/proc/meminfo: memFree=1798052/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=18892 CPUtime=0.05
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 3681 0 0 0 4 1 0 0 20 0 1 0 13129933 19345408 3597 1992294400 4194304 9819077 140734842452464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 4723 3597 390 1374 0 3344 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18892
[startup+0.10111 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 13140
/proc/meminfo: memFree=1798052/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=20244 CPUtime=0.09
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 4004 0 0 0 8 1 0 0 20 0 1 0 13129933 20729856 3918 1992294400 4194304 9819077 140734842452464 18446744073709551615 4214035 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 5061 3918 388 1374 0 3682 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20244
[startup+0.301131 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 13140
/proc/meminfo: memFree=1798052/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=24132 CPUtime=0.29
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 4996 0 0 0 27 2 0 0 20 0 1 0 13129933 24711168 4910 1992294400 4194304 9819077 140734842452464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 6033 4910 388 1374 0 4654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24132
[startup+0.701176 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 13140
/proc/meminfo: memFree=1798052/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=32972 CPUtime=0.69
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 7196 0 0 0 66 3 0 0 21 0 1 0 13129933 33763328 7110 1992294400 4194304 9819077 140734842452464 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 8243 7110 388 1374 0 6864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32972
[startup+1.50126 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 13141
/proc/meminfo: memFree=1765308/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=48536 CPUtime=1.49
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 11085 0 0 0 144 5 0 0 22 0 1 0 13129933 49700864 10999 1992294400 4194304 9819077 140734842452464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 12134 10999 388 1374 0 10755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48536
[startup+3.10044 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 13141
/proc/meminfo: memFree=1742864/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=80784 CPUtime=3.09
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 19134 0 0 0 301 8 0 0 25 0 1 0 13129933 82722816 19048 1992294400 4194304 9819077 140734842452464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 20196 19048 388 1374 0 18817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80784
[startup+6.3008 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 13141
/proc/meminfo: memFree=1675780/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=145924 CPUtime=6.29
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 35384 0 0 0 614 15 0 0 25 0 1 0 13129933 149426176 35298 1992294400 4194304 9819077 140734842452464 18446744073709551615 5647827 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13140/statm: 36481 35298 388 1374 0 35102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145924
[startup+12.7005 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 13141
/proc/meminfo: memFree=1367764/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=555268 CPUtime=12.69
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 138249 0 0 0 1216 53 0 0 25 0 1 0 13129933 568594432 137118 1992294400 4194304 9819077 140734842452464 18446744073709551615 4409092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 138817 137118 438 1374 0 137438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 555268
[startup+25.5009 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 13141
/proc/meminfo: memFree=1202720/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=666636 CPUtime=25.48
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 236570 0 0 0 2327 221 0 0 25 0 1 0 13129933 682635264 163922 1992294400 4194304 9819077 140734842452464 18446744073709551615 4672128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 166659 163922 490 1374 0 165280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 666636
[startup+51.1018 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13143
/proc/meminfo: memFree=639884/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1445528 CPUtime=51.08
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 451637 0 0 0 4783 325 0 0 25 0 1 0 13129933 1480220672 290138 1992294400 4194304 9819077 140734842452464 18446744073709551615 5432772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 361382 290138 636 1374 0 360003 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1445528
[startup+102.308 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 13143
/proc/meminfo: memFree=596236/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1504524 CPUtime=102.26
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 708393 0 0 0 9799 427 0 0 25 0 1 0 13129933 1540632576 300429 1992294400 4194304 9819077 140734842452464 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 376131 300429 659 1374 0 374752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1504524
[startup+162.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 13145
/proc/meminfo: memFree=580488/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1526932 CPUtime=162.24
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 773006 0 0 0 15726 498 0 0 25 0 1 0 13129933 1563578368 304443 1992294400 4194304 9819077 140734842452464 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 381733 304443 675 1374 0 380354 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1526932
[startup+222.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 13147
/proc/meminfo: memFree=579124/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1527084 CPUtime=222.21
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 797555 0 0 0 21708 513 0 0 25 0 1 0 13129933 1563734016 304531 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 381771 304531 675 1374 0 380392 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1527084
[startup+282.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 13149
/proc/meminfo: memFree=503856/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1603848 CPUtime=282.2
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 817161 0 0 0 27700 520 0 0 25 0 1 0 13129933 1642340352 323495 1992294400 4194304 9819077 140734842452464 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 400962 323495 675 1374 0 399583 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1603848
[startup+342.301 s]
/proc/loadavg: 1.21 1.10 1.02 2/107 13151
/proc/meminfo: memFree=511172/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1593428 CPUtime=342.18
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 915597 0 0 0 33661 557 0 0 25 0 1 0 13129933 1631670272 321497 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 398357 321497 677 1374 0 396978 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1593428
[startup+402.302 s]
/proc/loadavg: 1.20 1.11 1.03 2/107 13151
/proc/meminfo: memFree=492572/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1614008 CPUtime=402.16
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 921014 0 0 0 39653 563 0 0 25 0 1 0 13129933 1652744192 326272 1992294400 4194304 9819077 140734842452464 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403502 326272 677 1374 0 402123 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1614008
[startup+462.301 s]
/proc/loadavg: 1.07 1.09 1.02 2/107 13153
/proc/meminfo: memFree=498276/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1611384 CPUtime=462.14
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 974854 0 0 0 45630 584 0 0 25 0 1 0 13129933 1650057216 324889 1992294400 4194304 9819077 140734842452464 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 402846 324889 677 1374 0 401467 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1611384
[startup+522.301 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 13155
/proc/meminfo: memFree=494184/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1611576 CPUtime=522.12
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1019656 0 0 0 51602 610 0 0 25 0 1 0 13129933 1650253824 325702 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 402894 325702 677 1374 0 401515 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1611576
[startup+582.302 s]
/proc/loadavg: 1.01 1.05 1.01 2/107 13157
/proc/meminfo: memFree=494184/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1611576 CPUtime=582.11
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1019656 0 0 0 57593 618 0 0 25 0 1 0 13129933 1650253824 325702 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 402894 325702 677 1374 0 401515 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1611576
[startup+642.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 13159
/proc/meminfo: memFree=494184/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1611576 CPUtime=642.1
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1019656 0 0 0 63583 627 0 0 25 0 1 0 13129933 1650253824 325702 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 402894 325702 677 1374 0 401515 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1611576
[startup+702.301 s]
################
# More data... #
################
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1140555 0 0 0 105486 711 0 0 25 0 1 0 13129933 1652187136 326791 1992294400 4194304 9819077 140734842452464 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403366 326791 677 1374 0 401987 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1613464
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13171
/proc/meminfo: memFree=490712/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1121.94
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1259894 0 0 0 111432 762 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1612168
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13173
/proc/meminfo: memFree=490588/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1181.93
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1259894 0 0 0 117422 771 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1612168
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13184
/proc/meminfo: memFree=489968/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1241.89
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1259894 0 0 0 123408 781 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1612168
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13184
/proc/meminfo: memFree=489968/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1301.88
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1259894 0 0 0 129399 789 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1612168
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13186
/proc/meminfo: memFree=490092/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1361.86
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1259894 0 0 0 135389 797 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1612168
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13188
/proc/meminfo: memFree=490092/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1421.85
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 141379 806 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1612168
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13190
/proc/meminfo: memFree=490092/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1481.81
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 147368 813 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1612168
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13192
/proc/meminfo: memFree=490216/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1541.79
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 153357 822 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1612168
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13192
/proc/meminfo: memFree=490340/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1601.78
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 159346 832 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1612168
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13194
/proc/meminfo: memFree=490340/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1661.76
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 165337 839 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1612168
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13196
/proc/meminfo: memFree=490340/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1721.74
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 171327 847 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1612168
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13198
/proc/meminfo: memFree=490092/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1612168 CPUtime=1781.72
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1260536 0 0 0 177325 847 0 0 25 0 1 0 13129933 1650860032 326485 1992294400 4194304 9819077 140734842452464 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403042 326485 677 1374 0 401663 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1612168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13198
/proc/meminfo: memFree=492448/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1613572 CPUtime=1800.03
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1315264 0 0 0 179134 869 0 0 25 0 1 0 13129933 1652297728 326055 1992294400 4194304 9819077 140734842452464 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403393 326055 677 1374 0 402014 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1613572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13140
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 13198
/proc/meminfo: memFree=492448/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1613572 CPUtime=1800.82
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1315327 0 0 0 179213 869 0 0 25 0 1 0 13129933 1652297728 326118 1992294400 4194304 9819077 140734842452464 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403393 326118 677 1374 0 402014 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1613572
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13199
/proc/meminfo: memFree=492068/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1613572 CPUtime=1801.62
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1315388 0 0 0 179293 869 0 0 25 0 1 0 13129933 1652297728 326179 1992294400 4194304 9819077 140734842452464 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403393 326179 677 1374 0 402014 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1613572
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13199
/proc/meminfo: memFree=492068/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=1613572 CPUtime=1802.02
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4202496 1315420 0 0 0 179333 869 0 0 25 0 1 0 13129933 1652297728 326211 1992294400 4194304 9819077 140734842452464 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13140/statm: 403393 326211 677 1374 0 402014 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1613572
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13199
/proc/meminfo: memFree=492068/2059040 swapFree=4192956/4192956
[pid=13140] ppid=13138 vsize=0 CPUtime=1802.12
/proc/13140/stat : 13140 (pbscip.linux.x8) R 13138 13140 13115 0 -1 4203524 1315421 0 0 0 179334 878 0 0 25 0 1 0 13129933 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.17
CPU user time (s): 1793.35
CPU system time (s): 8.82366
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1618600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 8.82366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315421
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= 13691
runsolver used 3.09253 second user time and 8.40772 second system time
The end