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-2666244-1276685946.opb>
1.09/1.11 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63877 constraints
1.09/1.11 c problem read
1.09/1.11 c presolving settings loaded
1.29/1.33 o 0
1.29/1.33 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.33 c presolving:
1.59/1.61 c (round 1) 186 del vars, 186 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.18 c (round 2) 186 del vars, 835 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63042 upgd conss, 2340 impls, 0 clqs
2.38/2.40 c (1.0s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.38/2.40 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.38/2.40 c presolving (3 rounds):
2.38/2.40 c 186 deleted vars, 835 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.38/2.40 c 2340 implications, 0 cliques
2.38/2.40 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 63042 constraints
2.38/2.40 c 63042 constraints of type <logicor>
2.38/2.40 c transformed objective value is always integral (scale: 1)
2.38/2.40 c Presolving Time: 0.88
2.38/2.40 c - non default parameters ----------------------------------------------------------------------
2.38/2.40 c # SCIP version 1.2.1.2
2.38/2.40 c
2.38/2.40 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.38/2.40 c # [type: int, range: [-1,2147483647], default: -1]
2.38/2.40 c conflict/interconss = 0
2.38/2.40 c
2.38/2.40 c # should binary conflicts be preferred?
2.38/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.40 c conflict/preferbinary = TRUE
2.38/2.40 c
2.38/2.40 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.38/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.38/2.40 c constraints/agelimit = 1
2.38/2.40 c
2.38/2.40 c # should enforcement of pseudo solution be disabled?
2.38/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.40 c constraints/disableenfops = TRUE
2.38/2.40 c
2.38/2.40 c # frequency for displaying node information lines
2.38/2.40 c # [type: int, range: [-1,2147483647], default: 100]
2.38/2.40 c display/freq = 10000
2.38/2.40 c
2.38/2.40 c # maximal time in seconds to run
2.38/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.38/2.40 c limits/time = 1798.89
2.38/2.40 c
2.38/2.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.38/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.38/2.40 c limits/memory = 1620
2.38/2.40 c
2.38/2.40 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.38/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.38/2.40 c lp/solvefreq = 0
2.38/2.40 c
2.38/2.40 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.38/2.40 c # [type: char, range: {lafpsqd}, default: l]
2.38/2.40 c lp/pricing = a
2.38/2.40 c
2.38/2.40 c # should presolving try to simplify inequalities
2.38/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.40 c constraints/linear/simplifyinequalities = TRUE
2.38/2.40 c
2.38/2.40 c # should presolving try to simplify knapsacks
2.38/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.38/2.40 c constraints/knapsack/simplifyinequalities = TRUE
2.38/2.40 c
2.38/2.40 c # priority of node selection rule <dfs> in standard mode
2.38/2.40 c # [type: int, range: [-536870912,536870911], default: 0]
2.38/2.40 c nodeselection/dfs/stdpriority = 1000000
2.38/2.40 c
2.38/2.40 c -----------------------------------------------------------------------------------------------
2.38/2.40 c start solving
2.38/2.40 c
36.68/36.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.68/36.79 c t35.2s| 1 | 0 | 5766 | - | 73M| 0 |1726 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 | 0.000000e+00 | 100.00%
36.98/37.00 o -8
36.98/37.00 c R35.4s| 1 | 0 | 5766 | - | 73M| 0 |1726 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-8.000000e+00 | 97.02%
37.18/37.24 o -9
37.18/37.24 c s35.6s| 1 | 0 | 5766 | - | 73M| 0 |1726 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-9.000000e+00 | 96.65%
433.31/433.53 c 430s| 1 | 0 | 33787 | - | 74M| 0 |1827 |1839 | 63k|1839 | 63k| 6 | 0 | 0 |-2.658764e+02 |-9.000000e+00 | 96.61%
433.31/433.55 o -32
433.31/433.55 c b 430s| 1 | 0 | 33787 | - | 74M| 0 |1827 |1839 | 63k|1839 | 63k| 6 | 0 | 0 |-2.658764e+02 |-3.200000e+01 | 87.96%
1078.86/1079.33 c 1072s| 1 | 0 | 73792 | - | 77M| 0 |1819 |1839 | 63k|1839 | 63k| 11 | 0 | 0 |-2.647839e+02 |-3.200000e+01 | 87.91%
1078.96/1079.48 o -47
1078.96/1079.48 c b1072s| 1 | 0 | 73792 | - | 77M| 0 |1819 |1839 | 63k|1839 | 63k| 11 | 0 | 0 |-2.647839e+02 |-4.700000e+01 | 82.25%
1800.09/1800.80 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-2666244-1276685946/watcher-2666244-1276685946 -o /tmp/evaluation-result-2666244-1276685946/solver-2666244-1276685946 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666244-1276685946.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.14 1.04 1.09 3/106 12947
/proc/meminfo: memFree=1740420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=7724 CPUtime=0
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 1007 0 0 0 0 0 0 0 15 0 1 0 44196170 7909376 926 1992294400 4194304 8223781 140734454852960 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12947/statm: 1931 935 348 984 0 944 0
[startup+0.072472 s]
/proc/loadavg: 1.14 1.04 1.09 3/106 12947
/proc/meminfo: memFree=1740420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=12528 CPUtime=0.06
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 2452 0 0 0 5 1 0 0 18 0 1 0 44196170 12828672 2371 1992294400 4194304 8223781 140734454852960 18446744073709551615 7246941 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12947/statm: 3132 2371 365 984 0 2145 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12528
[startup+0.101476 s]
/proc/loadavg: 1.14 1.04 1.09 3/106 12947
/proc/meminfo: memFree=1740420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=14220 CPUtime=0.09
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 2641 0 0 0 8 1 0 0 18 0 1 0 44196170 14561280 2561 1992294400 4194304 8223781 140734454852960 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12947/statm: 3555 2573 365 984 0 2568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14220
[startup+0.301511 s]
/proc/loadavg: 1.14 1.04 1.09 3/106 12947
/proc/meminfo: memFree=1740420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=18012 CPUtime=0.29
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 3819 0 0 0 27 2 0 0 18 0 1 0 44196170 18444288 3738 1992294400 4194304 8223781 140734454852960 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12947/statm: 4503 3738 365 984 0 3516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18012
[startup+0.701581 s]
/proc/loadavg: 1.14 1.04 1.09 3/106 12947
/proc/meminfo: memFree=1740420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=26208 CPUtime=0.69
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 5845 0 0 0 67 2 0 0 18 0 1 0 44196170 26836992 5764 1992294400 4194304 8223781 140734454852960 18446744073709551615 4240576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12947/statm: 6552 5764 365 984 0 5565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26208
[startup+1.50072 s]
/proc/loadavg: 1.29 1.07 1.10 2/107 12948
/proc/meminfo: memFree=1712636/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=80768 CPUtime=1.49
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 19609 0 0 0 138 11 0 0 19 0 1 0 44196170 82706432 19135 1992294400 4194304 8223781 140734454852960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 20192 19135 446 984 0 19205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80768
[startup+3.10101 s]
/proc/loadavg: 1.29 1.07 1.10 2/107 12948
/proc/meminfo: memFree=1656464/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=161632 CPUtime=3.09
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 48324 0 0 0 273 36 0 0 24 0 1 0 44196170 165511168 36885 1992294400 4194304 8223781 140734454852960 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 40408 36885 527 984 0 39421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161632
[startup+6.30058 s]
/proc/loadavg: 1.27 1.07 1.10 2/107 12948
/proc/meminfo: memFree=1588760/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=177752 CPUtime=6.29
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 52335 0 0 0 590 39 0 0 25 0 1 0 44196170 182018048 38355 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 44438 38355 531 984 0 43451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 177752
[startup+12.7007 s]
/proc/loadavg: 1.25 1.07 1.10 2/107 12948
/proc/meminfo: memFree=1587520/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=181884 CPUtime=12.68
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 55156 0 0 0 1227 41 0 0 25 0 1 0 44196170 186249216 38609 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 45471 38609 531 984 0 44484 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 181884
[startup+25.501 s]
/proc/loadavg: 1.21 1.07 1.10 2/107 12948
/proc/meminfo: memFree=1586900/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=184276 CPUtime=25.48
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 61903 0 0 0 2501 47 0 0 25 0 1 0 44196170 188698624 38747 1992294400 4194304 8223781 140734454852960 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 46069 38747 531 984 0 45082 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 184276
[startup+51.1016 s]
/proc/loadavg: 1.12 1.06 1.09 2/107 12948
/proc/meminfo: memFree=1585412/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=189020 CPUtime=51.07
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 223223 0 0 0 4994 113 0 0 25 0 1 0 44196170 193556480 39124 1992294400 4194304 8223781 140734454852960 18446744073709551615 6618059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47255 39124 561 984 0 46268 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 189020
[startup+102.309 s]
/proc/loadavg: 1.05 1.05 1.09 2/107 12950
/proc/meminfo: memFree=1584420/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=189740 CPUtime=102.26
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 248761 0 0 0 10093 133 0 0 25 0 1 0 44196170 194293760 39317 1992294400 4194304 8223781 140734454852960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47435 39317 561 984 0 46448 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 189740
[startup+162.301 s]
/proc/loadavg: 1.02 1.04 1.08 2/107 12961
/proc/meminfo: memFree=1583056/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=190100 CPUtime=162.22
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 274407 0 0 0 16068 154 0 0 25 0 1 0 44196170 194662400 39644 1992294400 4194304 8223781 140734454852960 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47525 39644 561 984 0 46538 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 190100
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.07 2/107 12963
/proc/meminfo: memFree=1582684/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=190124 CPUtime=222.2
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 300466 0 0 0 22048 172 0 0 25 0 1 0 44196170 194686976 39723 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47531 39723 561 984 0 46544 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 190124
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/107 12963
/proc/meminfo: memFree=1582064/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=190164 CPUtime=282.17
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 323474 0 0 0 28028 189 0 0 25 0 1 0 44196170 194727936 39869 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47541 39869 561 984 0 46554 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 190164
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12965
/proc/meminfo: memFree=1582064/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=190244 CPUtime=342.15
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 348225 0 0 0 34008 207 0 0 25 0 1 0 44196170 194809856 39823 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47561 39823 561 984 0 46574 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 190244
[startup+402.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 12967
/proc/meminfo: memFree=1582188/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=190260 CPUtime=402.12
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 369844 0 0 0 39989 223 0 0 25 0 1 0 44196170 194826240 39839 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 47565 39839 561 984 0 46578 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 190260
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 12969
/proc/meminfo: memFree=1578344/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194520 CPUtime=462.11
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 901927 0 0 0 45792 419 0 0 25 0 1 0 44196170 199188480 40775 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48630 40775 564 984 0 47643 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 194520
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 12971
/proc/meminfo: memFree=1577972/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194520 CPUtime=522.07
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 928444 0 0 0 51768 439 0 0 25 0 1 0 44196170 199188480 40874 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48630 40874 564 984 0 47643 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 194520
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 12971
/proc/meminfo: memFree=1577476/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194520 CPUtime=582.05
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 952847 0 0 0 57750 455 0 0 25 0 1 0 44196170 199188480 40998 1992294400 4194304 8223781 140734454852960 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48630 40998 564 984 0 47643 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 194520
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 12973
/proc/meminfo: memFree=1577228/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194520 CPUtime=642.03
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 978001 0 0 0 63730 473 0 0 25 0 1 0 44196170 199188480 41018 1992294400 4194304 8223781 140734454852960 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48630 41018 564 984 0 47643 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 194520
[startup+702.301 s]
################
# More data... #
################
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 1136799 0 0 0 105600 586 0 0 25 0 1 0 44196170 199237632 41134 1992294400 4194304 8223781 140734454852960 18446744073709551615 6251356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48642 41134 564 984 0 47655 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 194568
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12990
/proc/meminfo: memFree=1574004/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194768 CPUtime=1121.85
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 3323425 0 0 0 110813 1372 0 0 25 0 1 0 44196170 199442432 41615 1992294400 4194304 8223781 140734454852960 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48692 41615 564 984 0 47705 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 194768
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12990
/proc/meminfo: memFree=1574004/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194272 CPUtime=1181.82
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 6368121 0 0 0 115704 2478 0 0 25 0 1 0 44196170 198934528 41491 1992294400 4194304 8223781 140734454852960 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48568 41491 564 984 0 47581 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 194272
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12992
/proc/meminfo: memFree=1574004/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194272 CPUtime=1241.8
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 9425713 0 0 0 120598 3582 0 0 25 0 1 0 44196170 198934528 41491 1992294400 4194304 8223781 140734454852960 18446744073709551615 6055274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48568 41491 564 984 0 47581 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 194272
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12994
/proc/meminfo: memFree=1574004/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194768 CPUtime=1301.77
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 12509097 0 0 0 125474 4703 0 0 25 0 1 0 44196170 199442432 41615 1992294400 4194304 8223781 140734454852960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48692 41615 564 984 0 47705 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 194768
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12996
/proc/meminfo: memFree=1574004/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=194272 CPUtime=1361.75
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15577973 0 0 0 130361 5814 0 0 25 0 1 0 44196170 198934528 41491 1992294400 4194304 8223781 140734454852960 18446744073709551615 6054233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48568 41491 564 984 0 47581 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 194272
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12998
/proc/meminfo: memFree=1577104/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195212 CPUtime=1421.73
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15902182 0 0 0 136233 5940 0 0 25 0 1 0 44196170 199897088 40837 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48803 40837 564 984 0 47816 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 195212
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12998
/proc/meminfo: memFree=1576608/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195212 CPUtime=1481.71
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15927236 0 0 0 142215 5956 0 0 25 0 1 0 44196170 199897088 40942 1992294400 4194304 8223781 140734454852960 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48803 40942 564 984 0 47816 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 195212
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13000
/proc/meminfo: memFree=1576732/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195212 CPUtime=1541.69
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15949613 0 0 0 148197 5972 0 0 25 0 1 0 44196170 199897088 40928 1992294400 4194304 8223781 140734454852960 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48803 40928 564 984 0 47816 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 195212
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13002
/proc/meminfo: memFree=1576484/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195212 CPUtime=1601.66
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15972671 0 0 0 154174 5992 0 0 25 0 1 0 44196170 199897088 40992 1992294400 4194304 8223781 140734454852960 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48803 40992 564 984 0 47816 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 195212
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13004
/proc/meminfo: memFree=1576236/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195228 CPUtime=1661.64
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 15996577 0 0 0 160158 6006 0 0 25 0 1 0 44196170 199913472 41019 1992294400 4194304 8223781 140734454852960 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48807 41019 564 984 0 47820 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 195228
[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13006
/proc/meminfo: memFree=1576236/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195300 CPUtime=1721.62
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16017988 0 0 0 166141 6021 0 0 25 0 1 0 44196170 199987200 41068 1992294400 4194304 8223781 140734454852960 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48825 41068 564 984 0 47838 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 195300
[startup+1782.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13006
/proc/meminfo: memFree=1576236/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1781.59
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16040360 0 0 0 172122 6037 0 0 25 0 1 0 44196170 199995392 41037 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 41037 564 984 0 47840 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 195308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 13008
/proc/meminfo: memFree=1576112/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1800.09
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16047241 0 0 0 173966 6043 0 0 25 0 1 0 44196170 199995392 41045 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 41045 564 984 0 47840 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 195308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12947
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 13008
/proc/meminfo: memFree=1576112/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1800.68
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16048326 0 0 0 174024 6044 0 0 25 0 1 0 44196170 199995392 40999 1992294400 4194304 8223781 140734454852960 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 40999 564 984 0 47840 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 195308
[startup+1802.2 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 13009
/proc/meminfo: memFree=1576352/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1801.48
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16048329 0 0 0 174104 6044 0 0 25 0 1 0 44196170 199995392 41002 1992294400 4194304 8223781 140734454852960 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 41002 564 984 0 47840 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 195308
[startup+1802.6 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 13009
/proc/meminfo: memFree=1576352/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1801.88
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16048332 0 0 0 174144 6044 0 0 25 0 1 0 44196170 199995392 41005 1992294400 4194304 8223781 140734454852960 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 41005 564 984 0 47840 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 195308
[startup+1802.8 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 13009
/proc/meminfo: memFree=1576228/2059040 swapFree=4136756/4192956
[pid=12947] ppid=12945 vsize=195308 CPUtime=1802.09
/proc/12947/stat : 12947 (pbscip.linux.x8) R 12945 12947 12563 0 -1 4202496 16048333 0 0 0 174165 6044 0 0 25 0 1 0 44196170 199995392 41006 1992294400 4194304 8223781 140734454852960 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12947/statm: 48827 41006 564 984 0 47840 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 195308
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.83
CPU time (s): 1802.12
CPU user time (s): 1741.65
CPU system time (s): 60.4678
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 203196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.65
system time used= 60.4678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16048333
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= 2
involuntary context switches= 21986
runsolver used 3.04454 second user time and 8.45172 second system time
The end