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-2666254-1276687450.opb>
0.99/1.10 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62145 constraints
0.99/1.10 c problem read
0.99/1.10 c presolving settings loaded
1.29/1.31 o 0
1.29/1.31 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.31 c presolving:
1.49/1.58 c (round 1) 202 del vars, 202 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.13 c (round 2) 202 del vars, 960 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61185 upgd conss, 2340 impls, 0 clqs
2.29/2.35 c (1.0s) probing: 101/1823 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.35 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.35 c presolving (3 rounds):
2.29/2.35 c 202 deleted vars, 960 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.35 c 2340 implications, 0 cliques
2.29/2.35 c presolved problem has 1823 variables (1823 bin, 0 int, 0 impl, 0 cont) and 61185 constraints
2.29/2.35 c 61185 constraints of type <logicor>
2.29/2.35 c transformed objective value is always integral (scale: 1)
2.29/2.35 c Presolving Time: 0.84
2.29/2.35 c - non default parameters ----------------------------------------------------------------------
2.29/2.35 c # SCIP version 1.2.1.2
2.29/2.35 c
2.29/2.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.35 c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.35 c conflict/interconss = 0
2.29/2.35 c
2.29/2.35 c # should binary conflicts be preferred?
2.29/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.35 c conflict/preferbinary = TRUE
2.29/2.35 c
2.29/2.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.35 c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.35 c constraints/agelimit = 1
2.29/2.35 c
2.29/2.35 c # should enforcement of pseudo solution be disabled?
2.29/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.35 c constraints/disableenfops = TRUE
2.29/2.35 c
2.29/2.35 c # frequency for displaying node information lines
2.29/2.35 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.35 c display/freq = 10000
2.29/2.35 c
2.29/2.35 c # maximal time in seconds to run
2.29/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.35 c limits/time = 1798.91
2.29/2.35 c
2.29/2.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.35 c limits/memory = 1620
2.29/2.35 c
2.29/2.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.35 c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.35 c lp/solvefreq = 0
2.29/2.35 c
2.29/2.35 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.35 c # [type: char, range: {lafpsqd}, default: l]
2.29/2.35 c lp/pricing = a
2.29/2.35 c
2.29/2.35 c # should presolving try to simplify inequalities
2.29/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.35 c constraints/linear/simplifyinequalities = TRUE
2.29/2.35 c
2.29/2.35 c # should presolving try to simplify knapsacks
2.29/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.35 c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.35 c
2.29/2.35 c # priority of node selection rule <dfs> in standard mode
2.29/2.35 c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.35 c nodeselection/dfs/stdpriority = 1000000
2.29/2.35 c
2.29/2.35 c -----------------------------------------------------------------------------------------------
2.29/2.35 c start solving
2.29/2.35 c
58.06/58.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.06/58.14 c t56.5s| 1 | 0 | 8615 | - | 71M| 0 |1782 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 | 0.000000e+00 | 100.00%
58.27/58.32 o -21
58.27/58.32 c R56.6s| 1 | 0 | 8615 | - | 71M| 0 |1782 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.100000e+01 | 92.33%
58.46/58.55 o -23
58.46/58.55 c s56.9s| 1 | 0 | 8615 | - | 71M| 0 |1782 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.300000e+01 | 91.60%
873.55/873.92 c 869s| 1 | 0 | 62493 | - | 72M| 0 |1814 |1823 | 61k|1823 | 61k| 7 | 0 | 0 |-2.657764e+02 |-2.300000e+01 | 91.35%
873.55/873.95 o -47
873.55/873.95 c b 869s| 1 | 0 | 62493 | - | 72M| 0 |1814 |1823 | 61k|1823 | 61k| 7 | 0 | 0 |-2.657764e+02 |-4.700000e+01 | 82.32%
1439.83/1440.49 c 1425s| 1 | 0 | 95022 | - | 75M| 0 |1817 |1823 | 61k|1823 | 61k| 13 | 0 | 0 |-2.629322e+02 |-4.700000e+01 | 82.12%
1440.03/1440.63 o -51
1440.03/1440.63 c b1425s| 1 | 0 | 95022 | - | 75M| 0 |1817 |1823 | 61k|1823 | 61k| 13 | 0 | 0 |-2.629322e+02 |-5.100000e+01 | 80.60%
1800.01/1800.71 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-2666254-1276687450/watcher-2666254-1276687450 -o /tmp/evaluation-result-2666254-1276687450/solver-2666254-1276687450 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666254-1276687450.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.55 1.13 1.04 3/106 11739
/proc/meminfo: memFree=1762344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=7724 CPUtime=0
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 1020 0 0 0 0 0 0 0 23 0 1 0 44348494 7909376 939 1992294400 4194304 8223781 140736272876608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 1931 949 348 984 0 944 0
[startup+0.0538621 s]
/proc/loadavg: 1.55 1.13 1.04 3/106 11739
/proc/meminfo: memFree=1762344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=12060 CPUtime=0.04
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 2311 0 0 0 4 0 0 0 25 0 1 0 44348494 12349440 2230 1992294400 4194304 8223781 140736272876608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 3015 2230 365 984 0 2028 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12060
[startup+0.10087 s]
/proc/loadavg: 1.55 1.13 1.04 3/106 11739
/proc/meminfo: memFree=1762344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=13268 CPUtime=0.09
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 2614 0 0 0 9 0 0 0 25 0 1 0 44348494 13586432 2533 1992294400 4194304 8223781 140736272876608 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 3317 2533 365 984 0 2330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268
[startup+0.300907 s]
/proc/loadavg: 1.55 1.13 1.04 3/106 11739
/proc/meminfo: memFree=1762344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=18024 CPUtime=0.29
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3822 0 0 0 28 1 0 0 25 0 1 0 44348494 18456576 3741 1992294400 4194304 8223781 140736272876608 18446744073709551615 7246881 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 4506 3741 365 984 0 3519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18024
[startup+0.70098 s]
/proc/loadavg: 1.55 1.13 1.04 3/106 11739
/proc/meminfo: memFree=1762344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=26224 CPUtime=0.69
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 5847 0 0 0 67 2 0 0 25 0 1 0 44348494 26853376 5766 1992294400 4194304 8223781 140736272876608 18446744073709551615 7163723 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 6556 5766 365 984 0 5569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26224
[startup+1.50113 s]
/proc/loadavg: 1.55 1.13 1.04 2/107 11740
/proc/meminfo: memFree=1734808/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=80540 CPUtime=1.49
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 19597 0 0 0 139 10 0 0 25 0 1 0 44348494 82472960 19022 1992294400 4194304 8223781 140736272876608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 20135 19022 446 984 0 19148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80540
[startup+3.10142 s]
/proc/loadavg: 1.55 1.13 1.04 2/107 11740
/proc/meminfo: memFree=1675412/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=158400 CPUtime=3.09
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 47838 0 0 0 275 34 0 0 25 0 1 0 44348494 162201600 36206 1992294400 4194304 8223781 140736272876608 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 39600 36206 530 984 0 38613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158400
[startup+6.30102 s]
/proc/loadavg: 1.50 1.12 1.04 2/107 11740
/proc/meminfo: memFree=1613536/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=173848 CPUtime=6.28
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 51681 0 0 0 592 36 0 0 25 0 1 0 44348494 178020352 37591 1992294400 4194304 8223781 140736272876608 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 43462 37591 534 984 0 42475 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 173848
[startup+12.7012 s]
/proc/loadavg: 1.46 1.12 1.04 2/107 11740
/proc/meminfo: memFree=1612172/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=177696 CPUtime=12.69
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 54517 0 0 0 1230 39 0 0 25 0 1 0 44348494 181960704 37841 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 44424 37841 534 984 0 43437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 177696
[startup+25.5006 s]
/proc/loadavg: 1.36 1.12 1.04 2/107 11740
/proc/meminfo: memFree=1611428/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=180112 CPUtime=25.48
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 61564 0 0 0 2504 44 0 0 25 0 1 0 44348494 184434688 38028 1992294400 4194304 8223781 140736272876608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 45028 38028 534 984 0 44041 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 180112
[startup+51.1013 s]
/proc/loadavg: 1.24 1.11 1.04 3/107 11740
/proc/meminfo: memFree=1611180/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=181500 CPUtime=51.07
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 76015 0 0 0 5051 56 0 0 25 0 1 0 44348494 185856000 38050 1992294400 4194304 8223781 140736272876608 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 45375 38050 534 984 0 44388 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181500
[startup+102.309 s]
/proc/loadavg: 1.10 1.09 1.03 2/107 11742
/proc/meminfo: memFree=1607460/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187728 CPUtime=102.25
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 231296 0 0 0 10109 116 0 0 25 0 1 0 44348494 192233472 39020 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46932 39020 562 984 0 45945 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 187728
[startup+162.301 s]
/proc/loadavg: 1.04 1.07 1.03 2/107 11744
/proc/meminfo: memFree=1606716/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187728 CPUtime=162.22
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 257518 0 0 0 16089 133 0 0 25 0 1 0 44348494 192233472 39131 1992294400 4194304 8223781 140736272876608 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46932 39131 562 984 0 45945 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 187728
[startup+222.302 s]
/proc/loadavg: 1.01 1.05 1.02 2/107 11746
/proc/meminfo: memFree=1606468/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187848 CPUtime=222.2
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 281423 0 0 0 22069 151 0 0 25 0 1 0 44348494 192356352 39251 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46962 39251 562 984 0 45975 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 187848
[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 11746
/proc/meminfo: memFree=1606592/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187864 CPUtime=282.17
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 305362 0 0 0 28050 167 0 0 25 0 1 0 44348494 192372736 39256 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46966 39256 562 984 0 45979 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 187864
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 11748
/proc/meminfo: memFree=1606344/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187864 CPUtime=342.15
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 329563 0 0 0 34031 184 0 0 25 0 1 0 44348494 192372736 39298 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46966 39298 562 984 0 45979 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 187864
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11750
/proc/meminfo: memFree=1606096/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187912 CPUtime=402.13
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 353555 0 0 0 40012 201 0 0 25 0 1 0 44348494 192421888 39376 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46978 39376 562 984 0 45991 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 187912
[startup+462.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11752
/proc/meminfo: memFree=1605848/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187912 CPUtime=462.11
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 376853 0 0 0 45995 216 0 0 25 0 1 0 44348494 192421888 39417 1992294400 4194304 8223781 140736272876608 18446744073709551615 6564585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46978 39417 562 984 0 45991 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 187912
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11754
/proc/meminfo: memFree=1605600/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187912 CPUtime=522.08
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 399113 0 0 0 51976 232 0 0 25 0 1 0 44348494 192421888 39458 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46978 39458 562 984 0 45991 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 187912
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11754
/proc/meminfo: memFree=1605600/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187912 CPUtime=582.06
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 422156 0 0 0 57958 248 0 0 25 0 1 0 44348494 192421888 39449 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46978 39449 562 984 0 45991 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 187912
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11756
/proc/meminfo: memFree=1606964/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=187912 CPUtime=642.05
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 444419 0 0 0 63941 264 0 0 25 0 1 0 44348494 192421888 39408 1992294400 4194304 8223781 140736272876608 18446744073709551615 6591296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 46978 39408 562 984 0 45991 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 187912
[startup+702.301 s]
################
# More data... #
################
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3166822 0 0 0 104864 1324 0 0 25 0 1 0 44348494 197771264 40725 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48284 40725 562 984 0 47297 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 193136
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11770
/proc/meminfo: memFree=1600020/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193136 CPUtime=1121.85
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3196310 0 0 0 110841 1344 0 0 25 0 1 0 44348494 197771264 40748 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48284 40748 562 984 0 47297 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 193136
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11770
/proc/meminfo: memFree=1599896/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193136 CPUtime=1181.83
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3224785 0 0 0 116822 1361 0 0 25 0 1 0 44348494 197771264 40815 1992294400 4194304 8223781 140736272876608 18446744073709551615 6250718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48284 40815 562 984 0 47297 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 193136
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11772
/proc/meminfo: memFree=1599400/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193136 CPUtime=1241.8
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3249398 0 0 0 122802 1378 0 0 25 0 1 0 44348494 197771264 40889 1992294400 4194304 8223781 140736272876608 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48284 40889 562 984 0 47297 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 193136
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11774
/proc/meminfo: memFree=1599400/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193600 CPUtime=1301.8
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3277056 0 0 0 128785 1395 0 0 25 0 1 0 44348494 198246400 40855 1992294400 4194304 8223781 140736272876608 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48400 40855 562 984 0 47413 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 193600
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11776
/proc/meminfo: memFree=1599648/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193600 CPUtime=1361.76
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3301228 0 0 0 134765 1411 0 0 25 0 1 0 44348494 198246400 40789 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48400 40789 562 984 0 47413 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 193600
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11778
/proc/meminfo: memFree=1599524/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193616 CPUtime=1421.75
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 3324211 0 0 0 140749 1426 0 0 25 0 1 0 44348494 198262784 40793 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48404 40793 562 984 0 47417 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 193616
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11778
/proc/meminfo: memFree=1599524/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193808 CPUtime=1481.72
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 5401207 0 0 0 145961 2211 0 0 25 0 1 0 44348494 198459392 40806 1992294400 4194304 8223781 140736272876608 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48452 40806 561 984 0 47465 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 193808
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11780
/proc/meminfo: memFree=1599400/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193328 CPUtime=1541.69
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 8360047 0 0 0 150862 3307 0 0 25 0 1 0 44348494 197967872 40686 1992294400 4194304 8223781 140736272876608 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48332 40686 561 984 0 47345 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 193328
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11782
/proc/meminfo: memFree=1598904/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=193824 CPUtime=1601.67
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 11358857 0 0 0 155718 4449 0 0 25 0 1 0 44348494 198475776 40816 1992294400 4194304 8223781 140736272876608 18446744073709551615 6054226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48456 40816 561 984 0 47469 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 193824
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11784
/proc/meminfo: memFree=1597416/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=195716 CPUtime=1661.65
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 14378407 0 0 0 160612 5553 0 0 25 0 1 0 44348494 200413184 41286 1992294400 4194304 8223781 140736272876608 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48929 41286 561 984 0 47942 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 195716
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11786
/proc/meminfo: memFree=1597292/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=195400 CPUtime=1721.62
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17231322 0 0 0 165563 6599 0 0 25 0 1 0 44348494 200089600 41201 1992294400 4194304 8223781 140736272876608 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 48850 41201 561 984 0 47863 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 195400
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11786
/proc/meminfo: memFree=1597292/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1781.61
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17259661 0 0 0 171542 6619 0 0 25 0 1 0 44348494 200806400 41305 1992294400 4194304 8223781 140736272876608 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41305 563 984 0 48038 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 196100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1597292/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1800.01
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17266793 0 0 0 173377 6624 0 0 25 0 1 0 44348494 200806400 41304 1992294400 4194304 8223781 140736272876608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41304 563 984 0 48038 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 196100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11739
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1597292/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1800.7
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17267964 0 0 0 173445 6625 0 0 25 0 1 0 44348494 200806400 41295 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41295 563 984 0 48038 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 196100
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11789
/proc/meminfo: memFree=1597284/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1801.5
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17267968 0 0 0 173525 6625 0 0 25 0 1 0 44348494 200806400 41299 1992294400 4194304 8223781 140736272876608 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41299 563 984 0 48038 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 196100
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11789
/proc/meminfo: memFree=1597284/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1801.9
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17267970 0 0 0 173565 6625 0 0 25 0 1 0 44348494 200806400 41301 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41301 563 984 0 48038 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 196100
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11789
/proc/meminfo: memFree=1597284/2059040 swapFree=4140132/4192956
[pid=11739] ppid=11737 vsize=196100 CPUtime=1802
/proc/11739/stat : 11739 (pbscip.linux.x8) R 11737 11739 11136 0 -1 4202496 17267971 0 0 0 173575 6625 0 0 25 0 1 0 44348494 200806400 41302 1992294400 4194304 8223781 140736272876608 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11739/statm: 49025 41302 563 984 0 48038 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 196100
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.04
CPU user time (s): 1735.77
CPU system time (s): 66.2769
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 203764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.77
system time used= 66.2769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17267972
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= 1604
runsolver used 2.98055 second user time and 8.5217 second system time
The end