0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664809-1276685247.opb>
1.00/1.06 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63250 constraints
1.00/1.06 c problem read
1.00/1.06 c presolving settings loaded
1.19/1.27 o 0
1.19/1.27 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.19/1.27 c presolving:
1.49/1.52 c (round 1) 193 del vars, 193 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.99/2.05 c (round 2) 193 del vars, 879 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62371 upgd conss, 2340 impls, 0 clqs
2.19/2.26 c (1.0s) probing: 101/1832 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.19/2.26 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.19/2.26 c presolving (3 rounds):
2.19/2.26 c 193 deleted vars, 879 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.19/2.26 c 2340 implications, 0 cliques
2.19/2.26 c presolved problem has 1832 variables (1832 bin, 0 int, 0 impl, 0 cont) and 62371 constraints
2.19/2.26 c 62371 constraints of type <logicor>
2.19/2.26 c transformed objective value is always integral (scale: 1)
2.19/2.26 c Presolving Time: 0.83
2.19/2.26 c - non default parameters ----------------------------------------------------------------------
2.19/2.26 c # SCIP version 1.2.1.2
2.19/2.26 c
2.19/2.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.19/2.26 c # [type: int, range: [-1,2147483647], default: -1]
2.19/2.26 c conflict/interconss = 0
2.19/2.26 c
2.19/2.26 c # should binary conflicts be preferred?
2.19/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.26 c conflict/preferbinary = TRUE
2.19/2.26 c
2.19/2.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.19/2.26 c # [type: int, range: [-1,2147483647], default: 0]
2.19/2.26 c constraints/agelimit = 1
2.19/2.26 c
2.19/2.26 c # should enforcement of pseudo solution be disabled?
2.19/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.26 c constraints/disableenfops = TRUE
2.19/2.26 c
2.19/2.26 c # frequency for displaying node information lines
2.19/2.26 c # [type: int, range: [-1,2147483647], default: 100]
2.19/2.26 c display/freq = 10000
2.19/2.26 c
2.19/2.26 c # maximal time in seconds to run
2.19/2.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.26 c limits/time = 1798.95
2.19/2.26 c
2.19/2.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.19/2.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.26 c limits/memory = 1620
2.19/2.26 c
2.19/2.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.19/2.26 c # [type: int, range: [-1,2147483647], default: 1]
2.19/2.26 c lp/solvefreq = 0
2.19/2.26 c
2.19/2.26 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)
2.19/2.26 c # [type: char, range: {lafpsqd}, default: l]
2.19/2.26 c lp/pricing = a
2.19/2.26 c
2.19/2.26 c # should presolving try to simplify inequalities
2.19/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.26 c constraints/linear/simplifyinequalities = TRUE
2.19/2.26 c
2.19/2.26 c # should presolving try to simplify knapsacks
2.19/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.26 c constraints/knapsack/simplifyinequalities = TRUE
2.19/2.26 c
2.19/2.26 c # priority of node selection rule <dfs> in standard mode
2.19/2.26 c # [type: int, range: [-536870912,536870911], default: 0]
2.19/2.26 c nodeselection/dfs/stdpriority = 1000000
2.19/2.26 c
2.19/2.26 c -----------------------------------------------------------------------------------------------
2.19/2.26 c start solving
2.19/2.27 c
575.83/576.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.83/576.09 c t 572s| 1 | 0 | 50440 | - | 72M| 0 |1829 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 | 0.000000e+00 | 100.00%
576.04/576.22 o -7
576.04/576.22 c R 572s| 1 | 0 | 50440 | - | 72M| 0 |1829 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-7.000000e+00 | 97.17%
576.14/576.40 o -9
576.14/576.40 c s 572s| 1 | 0 | 50440 | - | 72M| 0 |1829 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-9.000000e+00 | 96.36%
1277.13/1277.50 c 1270s| 1 | 0 |102393 | - | 76M| 0 |1830 |1832 | 62k|1832 | 62k| 5 | 0 | 0 |-2.433542e+02 |-9.000000e+00 | 96.30%
1277.13/1277.52 o -39
1277.13/1277.52 c b1270s| 1 | 0 |102393 | - | 76M| 0 |1830 |1832 | 62k|1832 | 62k| 5 | 0 | 0 |-2.433542e+02 |-3.900000e+01 | 83.97%
1800.10/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-2664809-1276685247/watcher-2664809-1276685247 -o /tmp/evaluation-result-2664809-1276685247/solver-2664809-1276685247 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664809-1276685247.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.07 1.12 1.09 3/105 18347
/proc/meminfo: memFree=1770688/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=10316 CPUtime=0
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1445 0 0 0 0 0 0 0 25 0 1 0 9817842 10563584 1365 1992294400 4194304 9819077 140733459102000 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18347/statm: 2579 1377 371 1374 0 1200 0
[startup+0.099172 s]
/proc/loadavg: 1.07 1.12 1.09 3/105 18347
/proc/meminfo: memFree=1770688/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=15792 CPUtime=0.09
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 2876 0 0 0 8 1 0 0 25 0 1 0 9817842 16171008 2796 1992294400 4194304 9819077 140733459102000 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18347/statm: 3948 2796 388 1374 0 2569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15792
[startup+0.101172 s]
/proc/loadavg: 1.07 1.12 1.09 3/105 18347
/proc/meminfo: memFree=1770688/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=15792 CPUtime=0.09
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 2877 0 0 0 8 1 0 0 25 0 1 0 9817842 16171008 2797 1992294400 4194304 9819077 140733459102000 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18347/statm: 3948 2797 388 1374 0 2569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15792
[startup+0.301195 s]
/proc/loadavg: 1.07 1.12 1.09 3/105 18347
/proc/meminfo: memFree=1770688/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=20420 CPUtime=0.29
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 4053 0 0 0 28 1 0 0 25 0 1 0 9817842 20910080 3973 1992294400 4194304 9819077 140733459102000 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18347/statm: 5105 3973 388 1374 0 3726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20420
[startup+0.701244 s]
/proc/loadavg: 1.07 1.12 1.09 3/105 18347
/proc/meminfo: memFree=1770688/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=27784 CPUtime=0.69
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 5872 0 0 0 67 2 0 0 25 0 1 0 9817842 28450816 5792 1992294400 4194304 9819077 140733459102000 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18347/statm: 6946 5792 388 1374 0 5567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27784
[startup+1.50134 s]
/proc/loadavg: 1.07 1.12 1.09 2/106 18348
/proc/meminfo: memFree=1741292/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=81948 CPUtime=1.49
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 19685 0 0 0 139 10 0 0 25 0 1 0 9817842 83914752 19149 1992294400 4194304 9819077 140733459102000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 20487 19149 492 1374 0 19108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81948
[startup+3.10154 s]
/proc/loadavg: 1.07 1.12 1.09 2/106 18348
/proc/meminfo: memFree=1687600/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=181220 CPUtime=3.09
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 48194 0 0 0 278 31 0 0 25 0 1 0 9817842 185569280 35792 1992294400 4194304 9819077 140733459102000 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 45305 35792 630 1374 0 43926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181220
[startup+6.30093 s]
/proc/loadavg: 1.06 1.12 1.09 2/106 18348
/proc/meminfo: memFree=1627088/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=195452 CPUtime=6.29
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 54220 0 0 0 594 35 0 0 25 0 1 0 9817842 200142848 35836 1992294400 4194304 9819077 140733459102000 18446744073709551615 7289226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 48863 35836 632 1374 0 47484 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195452
[startup+12.7007 s]
/proc/loadavg: 1.06 1.11 1.09 2/106 18348
/proc/meminfo: memFree=1622996/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=197604 CPUtime=12.69
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 59384 0 0 0 1232 37 0 0 25 0 1 0 9817842 202346496 37565 1992294400 4194304 9819077 140733459102000 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 49401 37565 632 1374 0 48022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 197604
[startup+25.5013 s]
/proc/loadavg: 1.04 1.11 1.08 2/106 18348
/proc/meminfo: memFree=1626840/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=200508 CPUtime=25.48
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 72095 0 0 0 2502 46 0 0 25 0 1 0 9817842 205320192 36536 1992294400 4194304 9819077 140733459102000 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 50127 36536 632 1374 0 48748 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 200508
[startup+51.1014 s]
/proc/loadavg: 1.03 1.10 1.08 2/106 18350
/proc/meminfo: memFree=1621012/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=203236 CPUtime=51.08
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 92858 0 0 0 5049 59 0 0 25 0 1 0 9817842 208113664 37945 1992294400 4194304 9819077 140733459102000 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 50809 37945 632 1374 0 49430 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 203236
[startup+102.309 s]
/proc/loadavg: 1.01 1.08 1.08 2/106 18350
/proc/meminfo: memFree=1619896/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=204320 CPUtime=102.27
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 132795 0 0 0 10143 84 0 0 25 0 1 0 9817842 209223680 38151 1992294400 4194304 9819077 140733459102000 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51080 38151 632 1374 0 49701 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 204320
[startup+162.301 s]
/proc/loadavg: 1.00 1.06 1.07 2/106 18352
/proc/meminfo: memFree=1627088/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=204224 CPUtime=162.25
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 180955 0 0 0 16111 114 0 0 25 0 1 0 9817842 209125376 36617 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51056 36617 632 1374 0 49677 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204224
[startup+222.301 s]
/proc/loadavg: 1.00 1.05 1.07 2/106 18354
/proc/meminfo: memFree=1627212/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=204992 CPUtime=222.23
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 229747 0 0 0 22082 141 0 0 25 0 1 0 9817842 209911808 36345 1992294400 4194304 9819077 140733459102000 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51248 36345 632 1374 0 49869 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 204992
[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/106 18356
/proc/meminfo: memFree=1621012/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=205184 CPUtime=282.21
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 276283 0 0 0 28053 168 0 0 25 0 1 0 9817842 210108416 37921 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51296 37921 633 1374 0 49917 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 205184
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.05 2/106 18358
/proc/meminfo: memFree=1619524/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=205220 CPUtime=342.2
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 321680 0 0 0 34025 195 0 0 25 0 1 0 9817842 210145280 38230 1992294400 4194304 9819077 140733459102000 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51305 38230 633 1374 0 49926 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 205220
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/106 18358
/proc/meminfo: memFree=1625848/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=205408 CPUtime=402.18
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 370423 0 0 0 39993 225 0 0 25 0 1 0 9817842 210337792 37202 1992294400 4194304 9819077 140733459102000 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51352 37202 633 1374 0 49973 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 205408
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/106 18360
/proc/meminfo: memFree=1620516/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=205568 CPUtime=462.16
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 416104 0 0 0 45963 253 0 0 25 0 1 0 9817842 210501632 38002 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51392 38002 633 1374 0 50013 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 205568
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/106 18362
/proc/meminfo: memFree=1620640/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=205732 CPUtime=522.15
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 461125 0 0 0 51935 280 0 0 25 0 1 0 9817842 210669568 38039 1992294400 4194304 9819077 140733459102000 18446744073709551615 6192272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 51433 38039 633 1374 0 50054 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 205732
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 18364
/proc/meminfo: memFree=1622872/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=211952 CPUtime=582.13
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 507187 0 0 0 57907 306 0 0 25 0 1 0 9817842 217038848 37364 1992294400 4194304 9819077 140733459102000 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 52988 37364 654 1374 0 51609 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 211952
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 18366
/proc/meminfo: memFree=1613696/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=214420 CPUtime=642.12
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 553855 0 0 0 63882 330 0 0 25 0 1 0 9817842 219566080 39649 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53605 39649 668 1374 0 52226 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 214420
[startup+702.301 s]
################
# More data... #
################
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 811162 0 0 0 99721 479 0 0 25 0 1 0 9817842 219561984 39628 1992294400 4194304 9819077 140733459102000 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53604 39628 668 1374 0 52225 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 214416
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18385
/proc/meminfo: memFree=1612456/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=214452 CPUtime=1061.99
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 853325 0 0 0 105696 503 0 0 25 0 1 0 9817842 219598848 40027 1992294400 4194304 9819077 140733459102000 18446744073709551615 7296202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53613 40027 668 1374 0 52234 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 214452
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18387
/proc/meminfo: memFree=1613200/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=214420 CPUtime=1121.97
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 899667 0 0 0 111666 531 0 0 25 0 1 0 9817842 219566080 39748 1992294400 4194304 9819077 140733459102000 18446744073709551615 7293496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53605 39748 668 1374 0 52226 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 214420
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18389
/proc/meminfo: memFree=1613200/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=214516 CPUtime=1181.96
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 945320 0 0 0 117638 558 0 0 25 0 1 0 9817842 219664384 39797 1992294400 4194304 9819077 140733459102000 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53629 39797 668 1374 0 52250 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 214516
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18391
/proc/meminfo: memFree=1619648/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=214544 CPUtime=1241.93
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 993832 0 0 0 123609 584 0 0 25 0 1 0 9817842 219693056 38195 1992294400 4194304 9819077 140733459102000 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 53636 38195 668 1374 0 52257 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 214544
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18391
/proc/meminfo: memFree=1607496/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=218112 CPUtime=1301.92
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1039594 0 0 0 129583 609 0 0 25 0 1 0 9817842 223346688 41027 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54528 41027 668 1374 0 53149 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 218112
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18393
/proc/meminfo: memFree=1607868/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=218048 CPUtime=1361.9
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1083335 0 0 0 135555 635 0 0 25 0 1 0 9817842 223281152 41022 1992294400 4194304 9819077 140733459102000 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54512 41022 668 1374 0 53133 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 218048
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18395
/proc/meminfo: memFree=1611216/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=218048 CPUtime=1421.89
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1126786 0 0 0 141530 659 0 0 25 0 1 0 9817842 223281152 40217 1992294400 4194304 9819077 140733459102000 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54512 40217 668 1374 0 53133 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 218048
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18397
/proc/meminfo: memFree=1607372/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217984 CPUtime=1481.87
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1166234 0 0 0 147504 683 0 0 25 0 1 0 9817842 223215616 41146 1992294400 4194304 9819077 140733459102000 18446744073709551615 7312742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54496 41146 668 1374 0 53117 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 217984
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18399
/proc/meminfo: memFree=1608116/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217984 CPUtime=1541.85
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1209817 0 0 0 153476 709 0 0 25 0 1 0 9817842 223215616 40869 1992294400 4194304 9819077 140733459102000 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54496 40869 668 1374 0 53117 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 217984
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18399
/proc/meminfo: memFree=1608736/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217888 CPUtime=1601.84
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1252962 0 0 0 159451 733 0 0 25 0 1 0 9817842 223117312 40798 1992294400 4194304 9819077 140733459102000 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54472 40798 668 1374 0 53093 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 217888
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18401
/proc/meminfo: memFree=1607372/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217856 CPUtime=1661.82
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1295667 0 0 0 165425 757 0 0 25 0 1 0 9817842 223084544 41055 1992294400 4194304 9819077 140733459102000 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54464 41055 668 1374 0 53085 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 217856
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18403
/proc/meminfo: memFree=1614440/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217820 CPUtime=1721.8
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1342056 0 0 0 171397 783 0 0 25 0 1 0 9817842 223047680 39851 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54455 39851 668 1374 0 53076 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 217820
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18405
/proc/meminfo: memFree=1608488/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217924 CPUtime=1781.78
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1385004 0 0 0 177371 807 0 0 25 0 1 0 9817842 223154176 40734 1992294400 4194304 9819077 140733459102000 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54481 40734 668 1374 0 53102 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 217924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18405
/proc/meminfo: memFree=1613324/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217948 CPUtime=1800.1
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1399462 0 0 0 179194 816 0 0 25 0 1 0 9817842 223178752 39454 1992294400 4194304 9819077 140733459102000 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54487 39454 668 1374 0 53108 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 217948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18347
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18405
/proc/meminfo: memFree=1613324/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217948 CPUtime=1800.88
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1400172 0 0 0 179272 816 0 0 25 0 1 0 9817842 223178752 40164 1992294400 4194304 9819077 140733459102000 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54487 40164 668 1374 0 53108 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 217948
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18406
/proc/meminfo: memFree=1609224/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217948 CPUtime=1801.68
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1400547 0 0 0 179352 816 0 0 25 0 1 0 9817842 223178752 40539 1992294400 4194304 9819077 140733459102000 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54487 40539 668 1374 0 53108 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 217948
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18406
/proc/meminfo: memFree=1609224/2059040 swapFree=4164956/4192956
[pid=18347] ppid=18345 vsize=217948 CPUtime=1802.08
/proc/18347/stat : 18347 (pbscip.linux.x8) R 18345 18347 17894 0 -1 4202496 1400592 0 0 0 179392 816 0 0 25 0 1 0 9817842 223178752 40584 1992294400 4194304 9819077 140733459102000 18446744073709551615 6191108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18347/statm: 54487 40584 668 1374 0 53108 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 217948
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.12
CPU user time (s): 1793.94
CPU system time (s): 8.18575
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 218112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 8.18576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1400595
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= 21736
runsolver used 2.87456 second user time and 8.61469 second system time
The end