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-2664817-1276686599.opb>
1.10/1.12 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 61821 constraints
1.10/1.12 c problem read
1.10/1.12 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.49/1.60 c (round 1) 206 del vars, 206 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.09/2.15 c (round 2) 206 del vars, 980 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60841 upgd conss, 2340 impls, 0 clqs
2.29/2.36 c (1.0s) probing: 101/1819 (5.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.36 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.36 c presolving (3 rounds):
2.29/2.36 c 206 deleted vars, 980 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.36 c 2340 implications, 0 cliques
2.29/2.36 c presolved problem has 1819 variables (1819 bin, 0 int, 0 impl, 0 cont) and 60841 constraints
2.29/2.36 c 60841 constraints of type <logicor>
2.29/2.36 c transformed objective value is always integral (scale: 1)
2.29/2.36 c Presolving Time: 0.86
2.29/2.36 c - non default parameters ----------------------------------------------------------------------
2.29/2.36 c # SCIP version 1.2.1.2
2.29/2.36 c
2.29/2.36 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.36 c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.36 c conflict/interconss = 0
2.29/2.36 c
2.29/2.36 c # should binary conflicts be preferred?
2.29/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.36 c conflict/preferbinary = TRUE
2.29/2.36 c
2.29/2.36 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.36 c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.36 c constraints/agelimit = 1
2.29/2.36 c
2.29/2.36 c # should enforcement of pseudo solution be disabled?
2.29/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.36 c constraints/disableenfops = TRUE
2.29/2.36 c
2.29/2.36 c # frequency for displaying node information lines
2.29/2.36 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.36 c display/freq = 10000
2.29/2.36 c
2.29/2.36 c # maximal time in seconds to run
2.29/2.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.36 c limits/time = 1798.89
2.29/2.36 c
2.29/2.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.36 c limits/memory = 1620
2.29/2.36 c
2.29/2.36 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.36 c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.36 c lp/solvefreq = 0
2.29/2.36 c
2.29/2.36 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.29/2.36 c # [type: char, range: {lafpsqd}, default: l]
2.29/2.36 c lp/pricing = a
2.29/2.36 c
2.29/2.36 c # should presolving try to simplify inequalities
2.29/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.36 c constraints/linear/simplifyinequalities = TRUE
2.29/2.36 c
2.29/2.36 c # should presolving try to simplify knapsacks
2.29/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.36 c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.36 c
2.29/2.36 c # priority of node selection rule <dfs> in standard mode
2.29/2.36 c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.36 c nodeselection/dfs/stdpriority = 1000000
2.29/2.36 c
2.29/2.36 c -----------------------------------------------------------------------------------------------
2.29/2.36 c start solving
2.29/2.37 c
419.47/419.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.47/419.62 c t 416s| 1 | 0 | 36456 | - | 70M| 0 |1804 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 | 0.000000e+00 | 100.00%
419.57/419.75 o -8
419.57/419.75 c R 416s| 1 | 0 | 36456 | - | 70M| 0 |1804 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-8.000000e+00 | 96.87%
419.77/419.92 o -9
419.77/419.92 c s 416s| 1 | 0 | 36456 | - | 70M| 0 |1804 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-9.000000e+00 | 96.48%
1085.01/1085.37 c 1079s| 1 | 0 | 85242 | - | 74M| 0 |1804 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.523567e+02 |-9.000000e+00 | 96.43%
1085.01/1085.39 o -31
1085.01/1085.39 c b1079s| 1 | 0 | 85242 | - | 74M| 0 |1804 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.523567e+02 |-3.100000e+01 | 87.72%
1085.21/1085.52 o -33
1085.21/1085.52 c R1079s| 1 | 0 | 85242 | - | 74M| 0 |1804 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.523567e+02 |-3.300000e+01 | 86.92%
1800.03/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-2664817-1276686599/watcher-2664817-1276686599 -o /tmp/evaluation-result-2664817-1276686599/solver-2664817-1276686599 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664817-1276686599.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.51 1.12 1.04 3/106 17665
/proc/meminfo: memFree=1800256/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=9288 CPUtime=0
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 9950897 9510912 992 1992294400 4194304 9819077 140733952410768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17665/statm: 2322 1001 371 1374 0 943 0
[startup+0.0242191 s]
/proc/loadavg: 1.51 1.12 1.04 3/106 17665
/proc/meminfo: memFree=1800256/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=11900 CPUtime=0.01
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1865 0 0 0 1 0 0 0 20 0 1 0 9950897 12185600 1785 1992294400 4194304 9819077 140733952410768 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17665/statm: 2975 1798 388 1374 0 1596 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11900
[startup+0.101226 s]
/proc/loadavg: 1.51 1.12 1.04 3/106 17665
/proc/meminfo: memFree=1800256/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=14848 CPUtime=0.09
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 2638 0 0 0 8 1 0 0 20 0 1 0 9950897 15204352 2558 1992294400 4194304 9819077 140733952410768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17665/statm: 3712 2558 388 1374 0 2333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14848
[startup+0.301245 s]
/proc/loadavg: 1.51 1.12 1.04 3/106 17665
/proc/meminfo: memFree=1800256/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=19604 CPUtime=0.29
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 3844 0 0 0 28 1 0 0 20 0 1 0 9950897 20074496 3764 1992294400 4194304 9819077 140733952410768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17665/statm: 4901 3764 388 1374 0 3522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19604
[startup+0.701284 s]
/proc/loadavg: 1.51 1.12 1.04 3/106 17665
/proc/meminfo: memFree=1800256/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=27604 CPUtime=0.69
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 5803 0 0 0 67 2 0 0 20 0 1 0 9950897 28266496 5723 1992294400 4194304 9819077 140733952410768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17665/statm: 6901 5723 388 1374 0 5522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27604
[startup+1.50136 s]
/proc/loadavg: 1.51 1.12 1.04 2/107 17666
/proc/meminfo: memFree=1772720/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=81396 CPUtime=1.49
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 19474 0 0 0 139 10 0 0 23 0 1 0 9950897 83349504 18960 1992294400 4194304 9819077 140733952410768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 20349 18960 492 1374 0 18970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81396
[startup+3.10152 s]
/proc/loadavg: 1.51 1.12 1.04 2/107 17666
/proc/meminfo: memFree=1712580/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=178192 CPUtime=3.09
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 47532 0 0 0 277 32 0 0 25 0 1 0 9950897 182468608 35293 1992294400 4194304 9819077 140733952410768 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 44548 35293 630 1374 0 43169 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178192
[startup+6.30083 s]
/proc/loadavg: 1.47 1.12 1.04 2/107 17666
/proc/meminfo: memFree=1659384/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=192172 CPUtime=6.29
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 53184 0 0 0 595 34 0 0 25 0 1 0 9950897 196784128 35418 1992294400 4194304 9819077 140733952410768 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 48043 35418 630 1374 0 46664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192172
[startup+12.7014 s]
/proc/loadavg: 1.43 1.12 1.04 2/107 17666
/proc/meminfo: memFree=1659632/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=195628 CPUtime=12.69
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 60122 0 0 0 1230 39 0 0 25 0 1 0 9950897 200323072 35875 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 48907 35875 632 1374 0 47528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195628
[startup+25.5007 s]
/proc/loadavg: 1.33 1.11 1.04 2/107 17666
/proc/meminfo: memFree=1659880/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=197968 CPUtime=25.49
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 73369 0 0 0 2501 48 0 0 25 0 1 0 9950897 202719232 35640 1992294400 4194304 9819077 140733952410768 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 49492 35640 632 1374 0 48113 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 197968
[startup+51.1012 s]
/proc/loadavg: 1.22 1.10 1.04 2/107 17666
/proc/meminfo: memFree=1653432/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=199724 CPUtime=51.06
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 94046 0 0 0 5047 59 0 0 25 0 1 0 9950897 204517376 37251 1992294400 4194304 9819077 140733952410768 18446744073709551615 6198310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 49931 37251 632 1374 0 48552 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 199724
[startup+102.308 s]
/proc/loadavg: 1.09 1.08 1.03 2/107 17668
/proc/meminfo: memFree=1652068/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=201104 CPUtime=102.26
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 133283 0 0 0 10144 82 0 0 25 0 1 0 9950897 205930496 37494 1992294400 4194304 9819077 140733952410768 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50276 37494 632 1374 0 48897 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 201104
[startup+162.301 s]
/proc/loadavg: 1.03 1.07 1.02 2/107 17670
/proc/meminfo: memFree=1652688/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=201328 CPUtime=162.23
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 177892 0 0 0 16114 109 0 0 25 0 1 0 9950897 206159872 37411 1992294400 4194304 9819077 140733952410768 18446744073709551615 7306903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50332 37411 632 1374 0 48953 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 201328
[startup+222.301 s]
/proc/loadavg: 1.01 1.05 1.02 2/107 17672
/proc/meminfo: memFree=1652316/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=201452 CPUtime=222.23
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 222184 0 0 0 22085 138 0 0 25 0 1 0 9950897 206286848 37440 1992294400 4194304 9819077 140733952410768 18446744073709551615 7308951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50363 37440 632 1374 0 48984 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 201452
[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 17672
/proc/meminfo: memFree=1652688/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=201812 CPUtime=282.2
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 266558 0 0 0 28057 163 0 0 25 0 1 0 9950897 206655488 37408 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50453 37408 632 1374 0 49074 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 201812
[startup+342.3 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 17674
/proc/meminfo: memFree=1651944/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=201940 CPUtime=342.2
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 310775 0 0 0 34027 193 0 0 25 0 1 0 9950897 206786560 37519 1992294400 4194304 9819077 140733952410768 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50485 37519 632 1374 0 49106 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 201940
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17676
/proc/meminfo: memFree=1659136/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=202028 CPUtime=402.18
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 357166 0 0 0 39997 221 0 0 25 0 1 0 9950897 206876672 35780 1992294400 4194304 9819077 140733952410768 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 50507 35780 632 1374 0 49128 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 202028
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17678
/proc/meminfo: memFree=1645124/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=210260 CPUtime=462.16
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 394389 0 0 0 45971 245 0 0 25 0 1 0 9950897 215306240 39228 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 52565 39228 668 1374 0 51186 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 210260
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17680
/proc/meminfo: memFree=1644876/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=210200 CPUtime=522.15
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 435900 0 0 0 51944 271 0 0 25 0 1 0 9950897 215244800 39395 1992294400 4194304 9819077 140733952410768 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 52550 39395 668 1374 0 51171 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 210200
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17680
/proc/meminfo: memFree=1645000/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=210164 CPUtime=582.13
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 477385 0 0 0 57917 296 0 0 25 0 1 0 9950897 215207936 39258 1992294400 4194304 9819077 140733952410768 18446744073709551615 7309256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 52541 39258 668 1374 0 51162 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 210164
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17682
/proc/meminfo: memFree=1643884/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=210160 CPUtime=642.12
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 518904 0 0 0 63890 322 0 0 25 0 1 0 9950897 215203840 39467 1992294400 4194304 9819077 140733952410768 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 52540 39467 668 1374 0 51161 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 210160
[startup+702.301 s]
################
# More data... #
################
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 826752 0 0 0 105697 504 0 0 25 0 1 0 9950897 215244800 37857 1992294400 4194304 9819077 140733952410768 18446744073709551615 6656789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 52550 37857 668 1374 0 51171 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 210200
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17696
/proc/meminfo: memFree=1641652/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212744 CPUtime=1122
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 872022 0 0 0 111671 529 0 0 25 0 1 0 9950897 217849856 40020 1992294400 4194304 9819077 140733952410768 18446744073709551615 7295954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53186 40020 668 1374 0 51807 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 212744
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17696
/proc/meminfo: memFree=1648348/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212776 CPUtime=1181.98
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 917358 0 0 0 117643 555 0 0 25 0 1 0 9950897 217882624 38889 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53194 38889 668 1374 0 51815 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 212776
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17698
/proc/meminfo: memFree=1647728/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212712 CPUtime=1241.97
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 958918 0 0 0 123618 579 0 0 25 0 1 0 9950897 217817088 38684 1992294400 4194304 9819077 140733952410768 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53178 38684 668 1374 0 51799 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 212712
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17700
/proc/meminfo: memFree=1645868/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212708 CPUtime=1301.96
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1000374 0 0 0 129594 602 0 0 25 0 1 0 9950897 217812992 38821 1992294400 4194304 9819077 140733952410768 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53177 38821 668 1374 0 51798 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 212708
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17705
/proc/meminfo: memFree=1642272/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212708 CPUtime=1361.94
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1042152 0 0 0 135567 627 0 0 25 0 1 0 9950897 217812992 39660 1992294400 4194304 9819077 140733952410768 18446744073709551615 7324867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53177 39660 668 1374 0 51798 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 212708
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17707
/proc/meminfo: memFree=1648968/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212712 CPUtime=1421.93
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1085865 0 0 0 141539 654 0 0 25 0 1 0 9950897 217817088 37934 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53178 37934 668 1374 0 51799 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 212712
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17707
/proc/meminfo: memFree=1642024/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212644 CPUtime=1481.91
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1127888 0 0 0 147509 682 0 0 25 0 1 0 9950897 217747456 39727 1992294400 4194304 9819077 140733952410768 18446744073709551615 7294760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53161 39727 668 1374 0 51782 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 212644
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17709
/proc/meminfo: memFree=1643512/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212364 CPUtime=1541.89
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1172750 0 0 0 153482 707 0 0 25 0 1 0 9950897 217460736 39493 1992294400 4194304 9819077 140733952410768 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53091 39493 668 1374 0 51712 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 212364
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17711
/proc/meminfo: memFree=1642272/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212456 CPUtime=1601.88
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1217285 0 0 0 159454 734 0 0 25 0 1 0 9950897 217554944 39676 1992294400 4194304 9819077 140733952410768 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53114 39676 668 1374 0 51735 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 212456
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17713
/proc/meminfo: memFree=1648348/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212616 CPUtime=1661.86
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1264577 0 0 0 165426 760 0 0 25 0 1 0 9950897 217718784 38140 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53154 38140 668 1374 0 51775 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 212616
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17715
/proc/meminfo: memFree=1647976/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212744 CPUtime=1721.85
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1309287 0 0 0 171395 790 0 0 25 0 1 0 9950897 217849856 38613 1992294400 4194304 9819077 140733952410768 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53186 38613 668 1374 0 51807 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 212744
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17715
/proc/meminfo: memFree=1642272/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212744 CPUtime=1781.84
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1354077 0 0 0 177366 818 0 0 25 0 1 0 9950897 217849856 39670 1992294400 4194304 9819077 140733952410768 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53186 39670 668 1374 0 51807 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 212744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17717
/proc/meminfo: memFree=1642644/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212748 CPUtime=1800.03
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1368478 0 0 0 179177 826 0 0 25 0 1 0 9950897 217853952 39525 1992294400 4194304 9819077 140733952410768 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53187 39525 668 1374 0 51808 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 212748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17665
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17718
/proc/meminfo: memFree=1642512/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212748 CPUtime=1800.93
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1368586 0 0 0 179267 826 0 0 25 0 1 0 9950897 217853952 39633 1992294400 4194304 9819077 140733952410768 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53187 39633 668 1374 0 51808 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 212748
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17718
/proc/meminfo: memFree=1642016/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212748 CPUtime=1801.73
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1368680 0 0 0 179347 826 0 0 25 0 1 0 9950897 217853952 39727 1992294400 4194304 9819077 140733952410768 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53187 39727 668 1374 0 51808 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 212748
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17718
/proc/meminfo: memFree=1642016/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212748 CPUtime=1801.92
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1368708 0 0 0 179366 826 0 0 25 0 1 0 9950897 217853952 39755 1992294400 4194304 9819077 140733952410768 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53187 39755 668 1374 0 51808 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 212748
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17718
/proc/meminfo: memFree=1642016/2059040 swapFree=4163504/4192956
[pid=17665] ppid=17663 vsize=212748 CPUtime=1802.02
/proc/17665/stat : 17665 (pbscip.linux.x8) R 17663 17665 17502 0 -1 4202496 1368718 0 0 0 179376 826 0 0 25 0 1 0 9950897 217853952 39765 1992294400 4194304 9819077 140733952410768 18446744073709551615 7295923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17665/statm: 53187 39765 668 1374 0 51808 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 212748
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.06
CPU user time (s): 1793.78
CPU system time (s): 8.28474
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 212808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 8.28474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1368718
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= 4131
runsolver used 2.94055 second user time and 8.5527 second system time
The end