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-2664826-1276687672.opb>
0.50/0.51 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30912 constraints
0.50/0.51 c problem read
0.50/0.51 c presolving settings loaded
0.59/0.62 o 0
0.59/0.62 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.62 c presolving:
0.69/0.76 c (round 1) 568 del vars, 568 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.99/1.01 c (round 2) 568 del vars, 4820 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26092 upgd conss, 2340 impls, 0 clqs
1.10/1.11 c (0.5s) probing: 101/1457 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.11 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.11 c presolving (3 rounds):
1.10/1.11 c 568 deleted vars, 4820 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.11 c 2340 implications, 0 cliques
1.10/1.11 c presolved problem has 1457 variables (1457 bin, 0 int, 0 impl, 0 cont) and 26092 constraints
1.10/1.11 c 26092 constraints of type <logicor>
1.10/1.11 c transformed objective value is always integral (scale: 1)
1.10/1.11 c Presolving Time: 0.41
1.10/1.11 c - non default parameters ----------------------------------------------------------------------
1.10/1.11 c # SCIP version 1.2.1.2
1.10/1.11 c
1.10/1.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11 c conflict/interconss = 0
1.10/1.11 c
1.10/1.11 c # should binary conflicts be preferred?
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c conflict/preferbinary = TRUE
1.10/1.11 c
1.10/1.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11 c constraints/agelimit = 1
1.10/1.11 c
1.10/1.11 c # should enforcement of pseudo solution be disabled?
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/disableenfops = TRUE
1.10/1.11 c
1.10/1.11 c # frequency for displaying node information lines
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11 c display/freq = 10000
1.10/1.11 c
1.10/1.11 c # maximal time in seconds to run
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/time = 1799.49
1.10/1.11 c
1.10/1.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/memory = 1620
1.10/1.11 c
1.10/1.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11 c lp/solvefreq = 0
1.10/1.11 c
1.10/1.11 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)
1.10/1.11 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.11 c lp/pricing = a
1.10/1.11 c
1.10/1.11 c # should presolving try to simplify inequalities
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/linear/simplifyinequalities = TRUE
1.10/1.11 c
1.10/1.11 c # should presolving try to simplify knapsacks
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11 c
1.10/1.11 c # priority of node selection rule <dfs> in standard mode
1.10/1.11 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.11 c nodeselection/dfs/stdpriority = 1000000
1.10/1.11 c
1.10/1.11 c -----------------------------------------------------------------------------------------------
1.10/1.11 c start solving
1.10/1.11 c
79.87/79.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.87/79.92 c t78.7s| 1 | 0 | 16830 | - | 34M| 0 |1455 |1457 | 26k|1457 | 26k| 0 | 0 | 0 |-2.287375e+02 | 0.000000e+00 | 100.00%
79.87/79.99 o -4
79.87/79.99 c R78.8s| 1 | 0 | 16830 | - | 34M| 0 |1455 |1457 | 26k|1457 | 26k| 0 | 0 | 0 |-2.287375e+02 |-4.000000e+00 | 98.25%
79.97/80.09 o -6
79.97/80.09 c s78.9s| 1 | 0 | 16830 | - | 34M| 0 |1455 |1457 | 26k|1457 | 26k| 0 | 0 | 0 |-2.287375e+02 |-6.000000e+00 | 97.38%
265.01/265.16 c 263s| 1 | 0 | 48812 | - | 38M| 0 |1457 |1457 | 26k|1457 | 26k| 10 | 0 | 0 |-2.218119e+02 |-6.000000e+00 | 97.30%
265.01/265.17 o -15
265.01/265.17 c b 263s| 1 | 0 | 48812 | - | 38M| 0 |1457 |1457 | 26k|1457 | 26k| 10 | 0 | 0 |-2.218119e+02 |-1.500000e+01 | 93.24%
515.84/516.06 c 512s| 1 | 0 | 91868 | - | 42M| 0 |1451 |1457 | 26k|1457 | 26k| 60 | 0 | 0 |-2.164689e+02 |-1.500000e+01 | 93.07%
515.93/516.11 o -19
515.93/516.11 c b 512s| 1 | 0 | 91868 | - | 42M| 0 |1451 |1457 | 26k|1457 | 26k| 60 | 0 | 0 |-2.164689e+02 |-1.900000e+01 | 91.22%
698.28/698.58 c 694s| 1 | 0 |121902 | - | 43M| 0 |1455 |1457 | 26k|1457 | 26k| 66 | 0 | 0 |-2.153461e+02 |-1.900000e+01 | 91.18%
907.42/907.70 c 901s| 1 | 0 |154747 | - | 48M| 0 |1451 |1457 | 26k|1457 | 26k| 72 | 0 | 0 |-2.138747e+02 |-1.900000e+01 | 91.12%
1059.77/1060.17 c 1053s| 1 | 0 |175517 | - | 49M| 0 |1446 |1457 | 26k|1457 | 26k| 89 | 0 | 0 |-2.129585e+02 |-1.900000e+01 | 91.08%
1226.72/1227.14 c 1219s| 1 | 0 |203591 | - | 49M| 0 |1450 |1457 | 26k|1457 | 26k| 93 | 0 | 0 |-2.116747e+02 |-1.900000e+01 | 91.02%
1455.45/1455.94 c 1446s| 1 | 0 |238344 | - | 50M| 0 |1450 |1457 | 26k|1457 | 26k| 98 | 0 | 0 |-2.107277e+02 |-1.900000e+01 | 90.98%
1632.80/1633.35 c 1623s| 1 | 0 |263273 | - | 50M| 0 |1452 |1457 | 26k|1457 | 26k| 101 | 0 | 0 |-2.096708e+02 |-1.900000e+01 | 90.94%
1800.06/1800.60 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-2664826-1276687672/watcher-2664826-1276687672 -o /tmp/evaluation-result-2664826-1276687672/solver-2664826-1276687672 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664826-1276687672.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.00 3/105 19234
/proc/meminfo: memFree=1766444/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=9288 CPUtime=0
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1091 0 0 0 0 0 0 0 25 0 1 0 10060724 9510912 1013 1992294400 4194304 9819077 140735114817792 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19234/statm: 2322 1023 371 1374 0 943 0
[startup+0.110153 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19234
/proc/meminfo: memFree=1766444/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=15792 CPUtime=0.1
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 2876 0 0 0 9 1 0 0 25 0 1 0 10060724 16171008 2797 1992294400 4194304 9819077 140735114817792 18446744073709551615 5650537 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19234/statm: 3948 2797 388 1374 0 2569 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15792
[startup+0.201163 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19234
/proc/meminfo: memFree=1766444/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=18216 CPUtime=0.19
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 3479 0 0 0 18 1 0 0 25 0 1 0 10060724 18653184 3400 1992294400 4194304 9819077 140735114817792 18446744073709551615 4466600 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19234/statm: 4554 3400 388 1374 0 3175 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18216
[startup+0.301173 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19234
/proc/meminfo: memFree=1766444/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=20420 CPUtime=0.29
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 4051 0 0 0 28 1 0 0 25 0 1 0 10060724 20910080 3972 1992294400 4194304 9819077 140735114817792 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19234/statm: 5105 3972 388 1374 0 3726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20420
[startup+0.701214 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19234
/proc/meminfo: memFree=1766444/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=48508 CPUtime=0.69
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 11247 0 0 0 63 6 0 0 25 0 1 0 10060724 49672192 10814 1992294400 4194304 9819077 140735114817792 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 12127 10814 492 1374 0 10748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48508
[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19235
/proc/meminfo: memFree=1720556/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=95324 CPUtime=1.49
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 24977 0 0 0 132 17 0 0 25 0 1 0 10060724 97611776 18949 1992294400 4194304 9819077 140735114817792 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 23831 18949 635 1374 0 22452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95324
[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19235
/proc/meminfo: memFree=1692780/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=101196 CPUtime=3.09
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 28430 0 0 0 291 18 0 0 25 0 1 0 10060724 103624704 19021 1992294400 4194304 9819077 140735114817792 18446744073709551615 7293513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 25299 19021 637 1374 0 23920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101196
[startup+6.3008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19235
/proc/meminfo: memFree=1691788/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=102156 CPUtime=6.29
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 32225 0 0 0 608 21 0 0 25 0 1 0 10060724 104607744 19595 1992294400 4194304 9819077 140735114817792 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 25539 19595 637 1374 0 24160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102156
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19237
/proc/meminfo: memFree=1690920/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=103112 CPUtime=12.68
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 39442 0 0 0 1243 25 0 0 25 0 1 0 10060724 105586688 19689 1992294400 4194304 9819077 140735114817792 18446744073709551615 7293502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 25778 19689 637 1374 0 24399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 103112
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19237
/proc/meminfo: memFree=1689680/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=103260 CPUtime=25.49
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 52425 0 0 0 2514 35 0 0 25 0 1 0 10060724 105738240 19696 1992294400 4194304 9819077 140735114817792 18446744073709551615 7294712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 25815 19696 637 1374 0 24436 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103260
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19237
/proc/meminfo: memFree=1689184/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=103324 CPUtime=51.08
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 77749 0 0 0 5057 51 0 0 25 0 1 0 10060724 105803776 19209 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 25831 19209 637 1374 0 24452 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103324
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19239
/proc/meminfo: memFree=1683728/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=109364 CPUtime=102.26
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 123919 0 0 0 10144 82 0 0 25 0 1 0 10060724 111988736 21164 1992294400 4194304 9819077 140735114817792 18446744073709551615 6698762 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 27341 21164 672 1374 0 25962 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 109364
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19241
/proc/meminfo: memFree=1684224/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=109396 CPUtime=162.24
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 165058 0 0 0 16111 113 0 0 25 0 1 0 10060724 112021504 21193 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 27349 21193 672 1374 0 25970 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 109396
[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19241
/proc/meminfo: memFree=1683852/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=109424 CPUtime=222.23
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 206906 0 0 0 22074 149 0 0 25 0 1 0 10060724 112050176 21114 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 27356 21114 672 1374 0 25977 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 109424
[startup+282.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 19246
/proc/meminfo: memFree=1678520/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=114984 CPUtime=282.2
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 251530 0 0 0 28033 187 0 0 25 0 1 0 10060724 117743616 22576 1992294400 4194304 9819077 140735114817792 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 28746 22576 676 1374 0 27367 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 114984
[startup+342.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 19248
/proc/meminfo: memFree=1677528/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=114956 CPUtime=342.18
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 293993 0 0 0 33996 222 0 0 25 0 1 0 10060724 117714944 22596 1992294400 4194304 9819077 140735114817792 18446744073709551615 7312697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 28739 22596 676 1374 0 27360 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 114956
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19250
/proc/meminfo: memFree=1677652/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=106992 CPUtime=402.17
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 337239 0 0 0 39962 255 0 0 25 0 1 0 10060724 109559808 21864 1992294400 4194304 9819077 140735114817792 18446744073709551615 7228840 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 26748 21864 676 1374 0 25369 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 106992
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19252
/proc/meminfo: memFree=1679760/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=114988 CPUtime=462.15
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 379690 0 0 0 45923 292 0 0 25 0 1 0 10060724 117747712 22161 1992294400 4194304 9819077 140735114817792 18446744073709551615 7297883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 28747 22161 676 1374 0 27368 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 114988
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19252
/proc/meminfo: memFree=1679884/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=115452 CPUtime=522.12
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 418785 0 0 0 51886 326 0 0 25 0 1 0 10060724 118222848 21961 1992294400 4194304 9819077 140735114817792 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 28863 21961 676 1374 0 27484 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 115452
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19254
/proc/meminfo: memFree=1674676/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=117844 CPUtime=582.11
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 460621 0 0 0 57851 360 0 0 25 0 1 0 10060724 120672256 23339 1992294400 4194304 9819077 140735114817792 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 29461 23339 676 1374 0 28082 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 117844
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19256
/proc/meminfo: memFree=1674552/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=117876 CPUtime=642.1
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 503583 0 0 0 63815 395 0 0 25 0 1 0 10060724 120705024 22928 1992294400 4194304 9819077 140735114817792 18446744073709551615 7296198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 29469 22928 676 1374 0 28090 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 117876
[startup+702.301 s]
################
# More data... #
################
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 779991 0 0 0 105566 631 0 0 25 0 1 0 10060724 131428352 24874 1992294400 4194304 9819077 140735114817792 18446744073709551615 6044105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32087 24874 676 1374 0 30708 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 128348
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19268
/proc/meminfo: memFree=1664508/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128212 CPUtime=1121.95
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 826122 0 0 0 111529 666 0 0 25 0 1 0 10060724 131289088 25886 1992294400 4194304 9819077 140735114817792 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32053 25886 676 1374 0 30674 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 128212
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19270
/proc/meminfo: memFree=1667732/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128240 CPUtime=1181.93
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 874015 0 0 0 117492 701 0 0 25 0 1 0 10060724 131317760 25684 1992294400 4194304 9819077 140735114817792 18446744073709551615 7289479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32060 25684 676 1374 0 30681 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 128240
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19272
/proc/meminfo: memFree=1668228/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=127696 CPUtime=1241.91
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 911189 0 0 0 123458 733 0 0 25 0 1 0 10060724 130760704 24729 1992294400 4194304 9819077 140735114817792 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 31924 24729 676 1374 0 30545 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 127696
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19274
/proc/meminfo: memFree=1667360/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128812 CPUtime=1301.9
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 950879 0 0 0 129422 768 0 0 25 0 1 0 10060724 131903488 25728 1992294400 4194304 9819077 140735114817792 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32203 25728 676 1374 0 30824 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 128812
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19276
/proc/meminfo: memFree=1663888/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128884 CPUtime=1361.88
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 997597 0 0 0 135385 803 0 0 25 0 1 0 10060724 131977216 24986 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32221 24986 676 1374 0 30842 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 128884
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19276
/proc/meminfo: memFree=1664136/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128844 CPUtime=1421.87
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1043756 0 0 0 141348 839 0 0 25 0 1 0 10060724 131936256 25784 1992294400 4194304 9819077 140735114817792 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32211 25784 676 1374 0 30832 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 128844
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19278
/proc/meminfo: memFree=1667484/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=128872 CPUtime=1481.84
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1070448 0 0 0 147312 872 0 0 25 0 1 0 10060724 131964928 24897 1992294400 4194304 9819077 140735114817792 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32218 24897 676 1374 0 30839 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 128872
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19280
/proc/meminfo: memFree=1662400/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=130364 CPUtime=1541.83
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1113554 0 0 0 153280 903 0 0 25 0 1 0 10060724 133492736 26266 1992294400 4194304 9819077 140735114817792 18446744073709551615 7296202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32591 26266 676 1374 0 31212 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 130364
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19282
/proc/meminfo: memFree=1663764/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=130424 CPUtime=1601.81
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1160345 0 0 0 159240 941 0 0 25 0 1 0 10060724 133554176 26201 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 32606 26201 676 1374 0 31227 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 130424
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19284
/proc/meminfo: memFree=1661780/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1661.79
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1196401 0 0 0 165205 974 0 0 25 0 1 0 10060724 137953280 26438 1992294400 4194304 9819077 140735114817792 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 26438 676 1374 0 32301 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 134720
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19284
/proc/meminfo: memFree=1661532/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134692 CPUtime=1721.77
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1245809 0 0 0 171168 1009 0 0 25 0 1 0 10060724 137924608 27106 1992294400 4194304 9819077 140735114817792 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33673 27106 676 1374 0 32294 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 134692
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19286
/proc/meminfo: memFree=1658556/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134696 CPUtime=1781.76
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1293808 0 0 0 177129 1047 0 0 25 0 1 0 10060724 137928704 27137 1992294400 4194304 9819077 140735114817792 18446744073709551615 7295917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33674 27137 676 1374 0 32295 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 134696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19286
/proc/meminfo: memFree=1658556/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1800.06
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1308499 0 0 0 178948 1058 0 0 25 0 1 0 10060724 137953280 27105 1992294400 4194304 9819077 140735114817792 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 27105 676 1374 0 32301 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 134720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19234
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19287
/proc/meminfo: memFree=1658424/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1800.95
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1309335 0 0 0 179036 1059 0 0 25 0 1 0 10060724 137953280 26318 1992294400 4194304 9819077 140735114817792 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 26318 676 1374 0 32301 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 134720
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19287
/proc/meminfo: memFree=1661152/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1801.75
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1309886 0 0 0 179116 1059 0 0 25 0 1 0 10060724 137953280 26869 1992294400 4194304 9819077 140735114817792 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 26869 676 1374 0 32301 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 134720
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19287
/proc/meminfo: memFree=1661152/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1801.95
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1310085 0 0 0 179136 1059 0 0 25 0 1 0 10060724 137953280 27068 1992294400 4194304 9819077 140735114817792 18446744073709551615 7290912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 27068 676 1374 0 32301 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 134720
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19287
/proc/meminfo: memFree=1661152/2059040 swapFree=4148288/4192956
[pid=19234] ppid=19232 vsize=134720 CPUtime=1802.05
/proc/19234/stat : 19234 (pbscip.linux.x8) R 19232 19234 18933 0 -1 4202496 1310109 0 0 0 179146 1059 0 0 25 0 1 0 10060724 137953280 27092 1992294400 4194304 9819077 140735114817792 18446744073709551615 7295923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19234/statm: 33680 27092 676 1374 0 32301 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 134720
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.08
CPU user time (s): 1791.47
CPU system time (s): 10.6064
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 134724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.47
system time used= 10.6064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1310109
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= 5527
runsolver used 2.95655 second user time and 8.5327 second system time
The end