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-2666971-1276476850.opb>
0.19/0.25 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.29/0.40 o 10000
0.29/0.40 c feasible solution found by trivial heuristic, objective value 1.000000e+04
0.29/0.40 c presolving:
0.49/0.55 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10000 upgd conss, 0 impls, 0 clqs
0.69/0.73 c (0.4s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.73 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.69/0.73 c presolving (2 rounds):
0.69/0.73 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.73 c 0 implications, 0 cliques
0.69/0.73 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.69/0.73 c 10000 constraints of type <logicor>
0.69/0.73 c transformed objective value is always integral (scale: 1)
0.69/0.73 c Presolving Time: 0.38
0.69/0.73 c - non default parameters ----------------------------------------------------------------------
0.69/0.73 c # SCIP version 1.2.1.2
0.69/0.73 c
0.69/0.73 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73 c conflict/interconss = 0
0.69/0.73 c
0.69/0.73 c # should binary conflicts be preferred?
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c conflict/preferbinary = TRUE
0.69/0.73 c
0.69/0.73 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c constraints/agelimit = 1
0.69/0.73 c
0.69/0.73 c # should enforcement of pseudo solution be disabled?
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/disableenfops = TRUE
0.69/0.73 c
0.69/0.73 c # frequency for displaying node information lines
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.73 c display/freq = 10000
0.69/0.73 c
0.69/0.73 c # maximal time in seconds to run
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73 c limits/time = 1799.76
0.69/0.73 c
0.69/0.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.73 c limits/memory = 1620
0.69/0.73 c
0.69/0.73 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c lp/solvefreq = 0
0.69/0.73 c
0.69/0.73 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)
0.69/0.73 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.73 c lp/pricing = a
0.69/0.73 c
0.69/0.73 c # should presolving try to simplify inequalities
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/linear/simplifyinequalities = TRUE
0.69/0.73 c
0.69/0.73 c # should presolving try to simplify knapsacks
0.69/0.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.73 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.73 c
0.69/0.73 c # priority of node selection rule <dfs> in standard mode
0.69/0.73 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.73 c nodeselection/dfs/stdpriority = 1000000
0.69/0.73 c
0.69/0.73 c -----------------------------------------------------------------------------------------------
0.69/0.73 c start solving
0.69/0.75 c
915.84/916.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.84/916.17 c t 913s| 1 | 0 | 55534 | - | 31M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 1.000000e+04 | 394.49%
915.84/916.18 o 9996
915.84/916.18 c r 913s| 1 | 0 | 55534 | - | 31M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 9.996000e+03 | 394.29%
938.24/938.50 o 9995
938.24/938.50 c R 936s| 1 | 0 | 55534 | - | 32M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 9.995000e+03 | 394.24%
960.73/961.09 o 9994
960.73/961.09 c s 958s| 1 | 0 | 55534 | - | 32M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 9.994000e+03 | 394.19%
1137.78/1138.12 o 9892
1137.78/1138.12 c z1135s| 1 | 0 | 55534 | - | 32M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 9.892000e+03 | 389.15%
1137.78/1138.17 c 1135s| 1 | 0 | 55534 | - | 32M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 9.892000e+03 | 389.15%
1137.78/1138.19 o 3319
1137.78/1138.19 c b1135s| 1 | 0 | 55534 | - | 32M| 0 |9996 | 10k| 10k| 10k| 10k| 0 | 0 | 0 | 2.022298e+03 | 3.319000e+03 | 64.12%
1800.02/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-2666971-1276476850/watcher-2666971-1276476850 -o /tmp/evaluation-result-2666971-1276476850/solver-2666971-1276476850 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666971-1276476850.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.10 3/106 29630
/proc/meminfo: memFree=1851764/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=6696 CPUtime=0
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 989 0 0 0 0 0 0 0 18 0 1 0 23288948 6856704 908 1992294400 4194304 8223781 140736334633536 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29630/statm: 1674 908 343 984 0 687 0
[startup+0.010335 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 29630
/proc/meminfo: memFree=1851764/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=6696 CPUtime=0
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 996 0 0 0 0 0 0 0 18 0 1 0 23288948 6856704 915 1992294400 4194304 8223781 140736334633536 18446744073709551615 6640021 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29630/statm: 1674 916 343 984 0 687 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6696
[startup+0.10133 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 29630
/proc/meminfo: memFree=1851764/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=18836 CPUtime=0.09
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 4006 0 0 0 8 1 0 0 20 0 1 0 23288948 19288064 3920 1992294400 4194304 8223781 140736334633536 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29630/statm: 4709 3933 365 984 0 3722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18836
[startup+0.30135 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 29630
/proc/meminfo: memFree=1851764/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=37088 CPUtime=0.29
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 8892 0 0 0 26 3 0 0 20 0 1 0 23288948 37978112 8442 1992294400 4194304 8223781 140736334633536 18446744073709551615 6207769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 9272 8442 381 984 0 8285 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37088
[startup+0.70139 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 29630
/proc/meminfo: memFree=1851764/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=47108 CPUtime=0.69
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 12428 0 0 0 62 7 0 0 20 0 1 0 23288948 48238592 10636 1992294400 4194304 8223781 140736334633536 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 11777 10636 490 984 0 10790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47108
[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29631
/proc/meminfo: memFree=1792360/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=68252 CPUtime=1.49
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 18266 0 0 0 140 9 0 0 23 0 1 0 23288948 69890048 15706 1992294400 4194304 8223781 140736334633536 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 17063 15706 533 984 0 16076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68252
[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29631
/proc/meminfo: memFree=1789756/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=70168 CPUtime=3.09
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 21439 0 0 0 297 12 0 0 25 0 1 0 23288948 71852032 16170 1992294400 4194304 8223781 140736334633536 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 17542 16170 533 984 0 16555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70168
[startup+6.30096 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29631
/proc/meminfo: memFree=1787028/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=73596 CPUtime=6.29
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 26688 0 0 0 614 15 0 0 25 0 1 0 23288948 75362304 16475 1992294400 4194304 8223781 140736334633536 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 18399 16475 526 984 0 17412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73596
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29633
/proc/meminfo: memFree=1787152/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=73748 CPUtime=12.69
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 31409 0 0 0 1251 18 0 0 25 0 1 0 23288948 75517952 16551 1992294400 4194304 8223781 140736334633536 18446744073709551615 6569367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 18437 16551 525 984 0 17450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73748
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.10 3/107 29633
/proc/meminfo: memFree=1787028/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=73748 CPUtime=25.49
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 38446 0 0 0 2525 24 0 0 25 0 1 0 23288948 75517952 16524 1992294400 4194304 8223781 140736334633536 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 18437 16524 525 984 0 17450 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73748
[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 29633
/proc/meminfo: memFree=1785912/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=74052 CPUtime=51.08
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 51705 0 0 0 5075 33 0 0 25 0 1 0 23288948 75829248 16771 1992294400 4194304 8223781 140736334633536 18446744073709551615 6503936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 18513 16771 523 984 0 17526 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74052
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 29635
/proc/meminfo: memFree=1785168/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=75604 CPUtime=102.27
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 75831 0 0 0 10173 54 0 0 25 0 1 0 23288948 77418496 16975 1992294400 4194304 8223781 140736334633536 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 18901 16975 523 984 0 17914 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75604
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 29637
/proc/meminfo: memFree=1781696/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=78992 CPUtime=162.25
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 99180 0 0 0 16152 73 0 0 25 0 1 0 23288948 80887808 17865 1992294400 4194304 8223781 140736334633536 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 19748 17865 523 984 0 18761 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 78992
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 29637
/proc/meminfo: memFree=1777976/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=84880 CPUtime=222.24
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 123255 0 0 0 22132 92 0 0 25 0 1 0 23288948 86917120 18798 1992294400 4194304 8223781 140736334633536 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 21220 18798 523 984 0 20233 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 84880
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 29639
/proc/meminfo: memFree=1774752/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=89316 CPUtime=282.22
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 145206 0 0 0 28115 107 0 0 25 0 1 0 23288948 91459584 19623 1992294400 4194304 8223781 140736334633536 18446744073709551615 6614327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 22329 19623 523 984 0 21342 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 89316
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 29641
/proc/meminfo: memFree=1772396/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=91328 CPUtime=342.2
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 165990 0 0 0 34099 121 0 0 25 0 1 0 23288948 93519872 20165 1992294400 4194304 8223781 140736334633536 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 22832 20165 523 984 0 21845 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 91328
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 29643
/proc/meminfo: memFree=1768304/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=97772 CPUtime=402.19
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 186685 0 0 0 40084 135 0 0 25 0 1 0 23288948 100118528 21213 1992294400 4194304 8223781 140736334633536 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 24443 21213 523 984 0 23456 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97772
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29654
/proc/meminfo: memFree=1765328/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=100336 CPUtime=462.15
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 207379 0 0 0 46068 147 0 0 25 0 1 0 23288948 102744064 21805 1992294400 4194304 8223781 140736334633536 18446744073709551615 6562466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 25084 21805 523 984 0 24097 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 100336
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 29654
/proc/meminfo: memFree=1761980/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=105456 CPUtime=522.14
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 226759 0 0 0 52057 157 0 0 25 0 1 0 23288948 107986944 22675 1992294400 4194304 8223781 140736334633536 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 26364 22675 523 984 0 25377 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 105456
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 29656
/proc/meminfo: memFree=1759128/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=109616 CPUtime=582.13
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 245533 0 0 0 58046 167 0 0 25 0 1 0 23288948 112246784 23361 1992294400 4194304 8223781 140736334633536 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 27404 23361 523 984 0 26417 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 109616
[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.04 2/107 29658
/proc/meminfo: memFree=1755904/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=110940 CPUtime=642.12
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 262731 0 0 0 64036 176 0 0 25 0 1 0 23288948 113602560 24150 1992294400 4194304 8223781 140736334633536 18446744073709551615 6590163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 27735 24150 523 984 0 26748 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 110940
[startup+702.301 s]
################
# More data... #
################
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 343138 0 0 0 105971 229 0 0 25 0 1 0 23288948 140328960 28819 1992294400 4194304 8223781 140736334633536 18446744073709551615 6300063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 34260 28819 532 984 0 33273 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 137040
[startup+1122.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 29670
/proc/meminfo: memFree=1737056/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=137040 CPUtime=1121.99
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 343138 0 0 0 111964 235 0 0 25 0 1 0 23288948 140328960 28819 1992294400 4194304 8223781 140736334633536 18446744073709551615 6300079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 34260 28819 532 984 0 33273 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 137040
[startup+1182.3 s]
/proc/loadavg: 1.16 1.05 1.01 2/107 29675
/proc/meminfo: memFree=1734144/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=139292 CPUtime=1181.97
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 346459 0 0 0 117957 240 0 0 25 0 1 0 23288948 142635008 29353 1992294400 4194304 8223781 140736334633536 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 34823 29353 562 984 0 33836 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 139292
[startup+1242.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 29677
/proc/meminfo: memFree=1734144/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=139292 CPUtime=1241.96
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 346459 0 0 0 123949 247 0 0 25 0 1 0 23288948 142635008 29353 1992294400 4194304 8223781 140736334633536 18446744073709551615 6299713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 34823 29353 562 984 0 33836 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 139292
[startup+1302.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 29679
/proc/meminfo: memFree=1734144/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=139292 CPUtime=1301.95
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 346459 0 0 0 129943 252 0 0 25 0 1 0 23288948 142635008 29353 1992294400 4194304 8223781 140736334633536 18446744073709551615 6299699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 34823 29353 562 984 0 33836 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 139292
[startup+1362.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 29681
/proc/meminfo: memFree=1748032/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=88312 CPUtime=1361.93
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 376111 0 0 0 135923 270 0 0 25 0 1 0 23288948 90431488 19144 1992294400 4194304 8223781 140736334633536 18446744073709551615 6588734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 22078 19144 564 984 0 21091 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 88312
[startup+1422.31 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 29681
/proc/meminfo: memFree=1739724/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=125012 CPUtime=1421.92
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 413467 0 0 0 141901 291 0 0 25 0 1 0 23288948 128012288 28039 1992294400 4194304 8223781 140736334633536 18446744073709551615 6590360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 31253 28039 564 984 0 30266 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 125012
[startup+1482.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 29683
/proc/meminfo: memFree=1745676/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=118040 CPUtime=1481.9
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 456342 0 0 0 147873 317 0 0 25 0 1 0 23288948 120872960 26570 1992294400 4194304 8223781 140736334633536 18446744073709551615 6590666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 29510 26570 564 984 0 28523 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 118040
[startup+1542.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 29685
/proc/meminfo: memFree=1747784/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=116932 CPUtime=1541.88
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 500853 0 0 0 153848 340 0 0 25 0 1 0 23288948 119738368 26048 1992294400 4194304 8223781 140736334633536 18446744073709551615 6587929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 29233 26048 564 984 0 28246 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 116932
[startup+1602.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 29687
/proc/meminfo: memFree=1747784/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=118160 CPUtime=1601.86
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 543177 0 0 0 159823 363 0 0 25 0 1 0 23288948 120995840 26068 1992294400 4194304 8223781 140736334633536 18446744073709551615 6584497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 29540 26068 564 984 0 28553 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 118160
[startup+1662.3 s]
/proc/loadavg: 1.02 1.06 1.01 2/107 29689
/proc/meminfo: memFree=1743568/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=119692 CPUtime=1661.85
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 586021 0 0 0 165798 387 0 0 25 0 1 0 23288948 122564608 26248 1992294400 4194304 8223781 140736334633536 18446744073709551615 6589964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 29923 26248 564 984 0 28936 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 119692
[startup+1722.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 29689
/proc/meminfo: memFree=1749520/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=116736 CPUtime=1721.83
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 627329 0 0 0 171773 410 0 0 25 0 1 0 23288948 119537664 25668 1992294400 4194304 8223781 140736334633536 18446744073709551615 6584418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 29184 25668 564 984 0 28197 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 116736
[startup+1782.3 s]
/proc/loadavg: 1.03 1.06 1.00 3/107 29691
/proc/meminfo: memFree=1749520/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=115368 CPUtime=1781.82
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 670573 0 0 0 177749 433 0 0 25 0 1 0 23288948 118136832 25579 1992294400 4194304 8223781 140736334633536 18446744073709551615 6589964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28842 25579 564 984 0 27855 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 115368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 29691
/proc/meminfo: memFree=1752744/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=112248 CPUtime=1800.02
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 685143 0 0 0 179561 441 0 0 25 0 1 0 23288948 114941952 24765 1992294400 4194304 8223781 140736334633536 18446744073709551615 6590233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28062 24765 564 984 0 27075 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 112248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29630
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 29692
/proc/meminfo: memFree=1752736/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=112248 CPUtime=1800.91
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 685143 0 0 0 179650 441 0 0 25 0 1 0 23288948 114941952 24765 1992294400 4194304 8223781 140736334633536 18446744073709551615 6596627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28062 24765 564 984 0 27075 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 112248
[startup+1802.2 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 29692
/proc/meminfo: memFree=1752736/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=113400 CPUtime=1801.72
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 688030 0 0 0 179729 443 0 0 25 0 1 0 23288948 116121600 25031 1992294400 4194304 8223781 140736334633536 18446744073709551615 6560115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28350 25031 564 984 0 27363 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 113400
[startup+1802.4 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 29692
/proc/meminfo: memFree=1752736/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=113400 CPUtime=1801.92
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 688050 0 0 0 179749 443 0 0 25 0 1 0 23288948 116121600 25051 1992294400 4194304 8223781 140736334633536 18446744073709551615 6614966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28350 25051 564 984 0 27363 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 113400
[startup+1802.5 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 29692
/proc/meminfo: memFree=1752736/2059040 swapFree=4135652/4192956
[pid=29630] ppid=29628 vsize=113400 CPUtime=1802.02
/proc/29630/stat : 29630 (pbscip.linux.x8) R 29628 29630 29366 0 -1 4202496 688062 0 0 0 179759 443 0 0 25 0 1 0 23288948 116121600 25063 1992294400 4194304 8223781 140736334633536 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29630/statm: 28350 25063 564 984 0 27363 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 113400
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.04
CPU user time (s): 1797.6
CPU system time (s): 4.44232
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 140556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 4.44232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688062
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= 4
involuntary context switches= 4260
runsolver used 2.91256 second user time and 8.5767 second system time
The end