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-2664813-1276685836.opb>
0.39/0.49 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29788 constraints
0.39/0.49 c problem read
0.39/0.49 c presolving settings loaded
0.49/0.60 o 0
0.49/0.60 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.60 c presolving:
0.69/0.74 c (round 1) 589 del vars, 589 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.89/0.98 c (round 2) 589 del vars, 5032 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24756 upgd conss, 2340 impls, 0 clqs
0.99/1.07 c (0.5s) probing: 101/1436 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.07 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.99/1.07 c presolving (3 rounds):
0.99/1.07 c 589 deleted vars, 5032 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.07 c 2340 implications, 0 cliques
0.99/1.07 c presolved problem has 1436 variables (1436 bin, 0 int, 0 impl, 0 cont) and 24756 constraints
0.99/1.07 c 24756 constraints of type <logicor>
0.99/1.07 c transformed objective value is always integral (scale: 1)
0.99/1.07 c Presolving Time: 0.39
0.99/1.07 c - non default parameters ----------------------------------------------------------------------
0.99/1.07 c # SCIP version 1.2.1.2
0.99/1.07 c
0.99/1.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.07 c conflict/interconss = 0
0.99/1.07 c
0.99/1.07 c # should binary conflicts be preferred?
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c conflict/preferbinary = TRUE
0.99/1.07 c
0.99/1.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c constraints/agelimit = 1
0.99/1.07 c
0.99/1.07 c # should enforcement of pseudo solution be disabled?
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/disableenfops = TRUE
0.99/1.07 c
0.99/1.07 c # frequency for displaying node information lines
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.07 c display/freq = 10000
0.99/1.07 c
0.99/1.07 c # maximal time in seconds to run
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.07 c limits/time = 1799.51
0.99/1.07 c
0.99/1.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.07 c limits/memory = 1620
0.99/1.07 c
0.99/1.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c lp/solvefreq = 0
0.99/1.07 c
0.99/1.07 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.99/1.07 c # [type: char, range: {lafpsqd}, default: l]
0.99/1.07 c lp/pricing = a
0.99/1.07 c
0.99/1.07 c # should presolving try to simplify inequalities
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/linear/simplifyinequalities = TRUE
0.99/1.07 c
0.99/1.07 c # should presolving try to simplify knapsacks
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.07 c
0.99/1.07 c # priority of node selection rule <dfs> in standard mode
0.99/1.07 c # [type: int, range: [-536870912,536870911], default: 0]
0.99/1.07 c nodeselection/dfs/stdpriority = 1000000
0.99/1.07 c
0.99/1.07 c -----------------------------------------------------------------------------------------------
0.99/1.07 c start solving
0.99/1.07 c
60.97/61.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.97/61.05 c t60.0s| 1 | 0 | 13636 | - | 33M| 0 |1436 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 | 0.000000e+00 | 100.00%
61.07/61.12 o -1
61.07/61.12 c R60.0s| 1 | 0 | 13636 | - | 33M| 0 |1436 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-1.000000e-00 | 99.57%
228.81/228.96 c 227s| 1 | 0 | 42726 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 11 | 0 | 0 |-2.250492e+02 |-1.000000e-00 | 99.56%
228.81/228.97 o -12
228.81/228.97 c b 227s| 1 | 0 | 42726 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 11 | 0 | 0 |-2.250492e+02 |-1.200000e+01 | 94.67%
380.86/381.04 c 378s| 1 | 0 | 69576 | - | 41M| 0 |1436 |1436 | 24k|1436 | 24k| 22 | 0 | 0 |-2.224933e+02 |-1.200000e+01 | 94.61%
380.86/381.09 o -17
380.86/381.09 c b 378s| 1 | 0 | 69576 | - | 41M| 0 |1436 |1436 | 24k|1436 | 24k| 22 | 0 | 0 |-2.224933e+02 |-1.700000e+01 | 92.36%
639.89/640.19 c 636s| 1 | 0 |113273 | - | 46M| 0 |1436 |1436 | 24k|1436 | 24k| 32 | 0 | 0 |-2.204447e+02 |-1.700000e+01 | 92.29%
813.13/813.46 c 808s| 1 | 0 |142137 | - | 51M| 0 |1432 |1436 | 24k|1436 | 24k| 64 | 0 | 0 |-2.184035e+02 |-1.700000e+01 | 92.22%
1006.48/1006.80 c 1000s| 1 | 0 |173885 | - | 55M| 0 |1431 |1436 | 24k|1436 | 24k| 94 | 0 | 0 |-2.171913e+02 |-1.700000e+01 | 92.17%
1184.02/1184.41 c 1176s| 1 | 0 |201943 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 101 | 0 | 0 |-2.150632e+02 |-1.700000e+01 | 92.10%
1311.48/1311.98 c 1303s| 1 | 0 |221742 | - | 67M| 0 |1430 |1436 | 24k|1436 | 24k| 105 | 0 | 0 |-2.148466e+02 |-1.700000e+01 | 92.09%
1410.77/1411.21 c 1402s| 1 | 0 |234770 | - | 71M| 0 |1432 |1436 | 24k|1436 | 24k| 109 | 0 | 0 |-2.147990e+02 |-1.700000e+01 | 92.09%
1636.99/1637.56 c 1627s| 1 | 0 |270581 | - | 76M| 0 |1431 |1436 | 24k|1436 | 24k| 111 | 0 | 0 |-2.147486e+02 |-1.700000e+01 | 92.08%
1800.06/1800.61 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-2664813-1276685836/watcher-2664813-1276685836 -o /tmp/evaluation-result-2664813-1276685836/solver-2664813-1276685836 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664813-1276685836.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.06 1.06 1.00 3/105 19122
/proc/meminfo: memFree=1768300/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=9288 CPUtime=0
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1149 0 0 0 0 0 0 0 25 0 1 0 9877119 9510912 1070 1992294400 4194304 9819077 140733713279024 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19122/statm: 2322 1078 371 1374 0 943 0
[startup+0.0595759 s]
/proc/loadavg: 1.06 1.06 1.00 3/105 19122
/proc/meminfo: memFree=1768300/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=14104 CPUtime=0.05
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 2465 0 0 0 5 0 0 0 25 0 1 0 9877119 14442496 2385 1992294400 4194304 9819077 140733713279024 18446744073709551615 8586530 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19122/statm: 3526 2385 388 1374 0 2147 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14104
[startup+0.10058 s]
/proc/loadavg: 1.06 1.06 1.00 3/105 19122
/proc/meminfo: memFree=1768300/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=15788 CPUtime=0.09
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 2874 0 0 0 8 1 0 0 25 0 1 0 9877119 16166912 2794 1992294400 4194304 9819077 140733713279024 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19122/statm: 3947 2794 388 1374 0 2568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15788
[startup+0.300602 s]
/proc/loadavg: 1.06 1.06 1.00 3/105 19122
/proc/meminfo: memFree=1768300/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=20416 CPUtime=0.29
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 4050 0 0 0 28 1 0 0 25 0 1 0 9877119 20905984 3970 1992294400 4194304 9819077 140733713279024 18446744073709551615 8668083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19122/statm: 5104 3970 388 1374 0 3725 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20416
[startup+0.700643 s]
/proc/loadavg: 1.06 1.06 1.00 3/105 19122
/proc/meminfo: memFree=1768300/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=48480 CPUtime=0.69
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 11239 0 0 0 63 6 0 0 25 0 1 0 9877119 49643520 10783 1992294400 4194304 9819077 140733713279024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 12120 10783 492 1374 0 10741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48480
[startup+1.50073 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 19123
/proc/meminfo: memFree=1721668/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=94332 CPUtime=1.49
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 24578 0 0 0 132 17 0 0 25 0 1 0 9877119 96595968 18851 1992294400 4194304 9819077 140733713279024 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 23583 18851 638 1374 0 22204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94332
[startup+3.1009 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 19123
/proc/meminfo: memFree=1695008/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=100272 CPUtime=3.09
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 27983 0 0 0 290 19 0 0 25 0 1 0 9877119 102678528 19012 1992294400 4194304 9819077 140733713279024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 25068 19012 640 1374 0 23689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100272
[startup+6.30123 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 19123
/proc/meminfo: memFree=1693768/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=101260 CPUtime=6.29
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 31552 0 0 0 609 20 0 0 25 0 1 0 9877119 103690240 19575 1992294400 4194304 9819077 140733713279024 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 25315 19575 640 1374 0 23936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101260
[startup+12.7009 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 19123
/proc/meminfo: memFree=1691908/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=101848 CPUtime=12.69
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 38573 0 0 0 1243 26 0 0 25 0 1 0 9877119 104292352 19680 1992294400 4194304 9819077 140733713279024 18446744073709551615 7312689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 25462 19680 640 1374 0 24083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101848
[startup+25.5002 s]
/proc/loadavg: 1.10 1.07 1.00 2/106 19123
/proc/meminfo: memFree=1692900/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=101940 CPUtime=25.49
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 52499 0 0 0 2513 36 0 0 25 0 1 0 9877119 104386560 19552 1992294400 4194304 9819077 140733713279024 18446744073709551615 7304830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 25485 19552 640 1374 0 24106 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101940
[startup+51.1019 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 19125
/proc/meminfo: memFree=1693768/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=102032 CPUtime=51.08
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 77215 0 0 0 5056 52 0 0 25 0 1 0 9877119 104480768 19415 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 25508 19415 640 1374 0 24129 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102032
[startup+102.309 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 19125
/proc/meminfo: memFree=1686452/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=107224 CPUtime=102.27
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 118275 0 0 0 10146 81 0 0 25 0 1 0 9877119 109797376 20963 1992294400 4194304 9819077 140733713279024 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 26806 20963 684 1374 0 25427 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107224
[startup+162.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 19127
/proc/meminfo: memFree=1688684/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=107284 CPUtime=162.24
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 161438 0 0 0 16108 116 0 0 25 0 1 0 9877119 109858816 20823 1992294400 4194304 9819077 140733713279024 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 26821 20823 684 1374 0 25442 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107284
[startup+222.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 19129
/proc/meminfo: memFree=1686824/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=107316 CPUtime=222.23
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 203993 0 0 0 22071 152 0 0 25 0 1 0 9877119 109891584 20871 1992294400 4194304 9819077 140733713279024 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 26829 20871 684 1374 0 25450 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107316
[startup+282.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 19140
/proc/meminfo: memFree=1679756/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=114364 CPUtime=282.19
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 248250 0 0 0 28036 183 0 0 25 0 1 0 9877119 117108736 22167 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 28591 22167 684 1374 0 27212 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 114364
[startup+342.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 19140
/proc/meminfo: memFree=1681740/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=115496 CPUtime=342.17
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 291312 0 0 0 34000 217 0 0 25 0 1 0 9877119 118267904 22366 1992294400 4194304 9819077 140733713279024 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 28874 22366 684 1374 0 27495 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 115496
[startup+402.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/106 19142
/proc/meminfo: memFree=1674796/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=122216 CPUtime=402.15
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 328195 0 0 0 39966 249 0 0 25 0 1 0 9877119 125149184 24441 1992294400 4194304 9819077 140733713279024 18446744073709551615 6192300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 30554 24441 679 1374 0 29175 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 122216
[startup+462.301 s]
/proc/loadavg: 1.18 1.09 1.01 2/106 19144
/proc/meminfo: memFree=1673308/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=122152 CPUtime=462.14
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 376871 0 0 0 45929 285 0 0 25 0 1 0 9877119 125083648 24392 1992294400 4194304 9819077 140733713279024 18446744073709551615 7304812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 30538 24392 679 1374 0 29159 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 122152
[startup+522.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/106 19146
/proc/meminfo: memFree=1672564/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=122216 CPUtime=522.12
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 424643 0 0 0 51892 320 0 0 25 0 1 0 9877119 125149184 23805 1992294400 4194304 9819077 140733713279024 18446744073709551615 6199024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 30554 23805 679 1374 0 29175 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 122216
[startup+582.301 s]
/proc/loadavg: 1.18 1.10 1.01 2/106 19148
/proc/meminfo: memFree=1675788/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=122180 CPUtime=582.11
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 472680 0 0 0 57850 361 0 0 25 0 1 0 9877119 125112320 23797 1992294400 4194304 9819077 140733713279024 18446744073709551615 6191149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 30545 23797 679 1374 0 29166 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 122180
[startup+642.301 s]
/proc/loadavg: 1.12 1.09 1.01 2/106 19150
/proc/meminfo: memFree=1675540/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=122220 CPUtime=642.09
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 519603 0 0 0 63812 397 0 0 25 0 1 0 9877119 125153280 23536 1992294400 4194304 9819077 140733713279024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 30555 23536 679 1374 0 29176 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 122220
[startup+702.3 s]
################
# More data... #
################
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 808906 0 0 0 99583 614 0 0 25 0 1 0 9877119 133586944 26090 1992294400 4194304 9819077 140733713279024 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 32614 26090 681 1374 0 31235 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 130456
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 19160
/proc/meminfo: memFree=1659668/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=134736 CPUtime=1061.96
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 848219 0 0 0 105547 649 0 0 25 0 1 0 9877119 137969664 26854 1992294400 4194304 9819077 140733713279024 18446744073709551615 7304794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 33684 26854 681 1374 0 32305 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 134736
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 19162
/proc/meminfo: memFree=1659916/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=134736 CPUtime=1121.94
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 898913 0 0 0 111511 683 0 0 25 0 1 0 9877119 137969664 27487 1992294400 4194304 9819077 140733713279024 18446744073709551615 7309089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 33684 27487 681 1374 0 32305 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 134736
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19164
/proc/meminfo: memFree=1660660/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=134740 CPUtime=1181.92
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 951379 0 0 0 117473 719 0 0 25 0 1 0 9877119 137973760 26693 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 33685 26693 681 1374 0 32306 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 134740
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19164
/proc/meminfo: memFree=1651236/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=144316 CPUtime=1241.91
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 992720 0 0 0 123439 752 0 0 25 0 1 0 9877119 147779584 29647 1992294400 4194304 9819077 140733713279024 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 36079 29647 682 1374 0 34700 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 144316
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19166
/proc/meminfo: memFree=1651484/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=144352 CPUtime=1301.9
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1047323 0 0 0 129404 786 0 0 25 0 1 0 9877119 147816448 29446 1992294400 4194304 9819077 140733713279024 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 36088 29446 682 1374 0 34709 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 144352
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19168
/proc/meminfo: memFree=1643052/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=151476 CPUtime=1361.87
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1080002 0 0 0 135373 814 0 0 25 0 1 0 9877119 155111424 30728 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 37869 30728 682 1374 0 36490 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 151476
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19170
/proc/meminfo: memFree=1646896/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=151476 CPUtime=1421.86
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1121839 0 0 0 141338 848 0 0 25 0 1 0 9877119 155111424 30547 1992294400 4194304 9819077 140733713279024 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 37869 30547 682 1374 0 36490 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 151476
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19172
/proc/meminfo: memFree=1642184/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=153640 CPUtime=1481.84
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1168996 0 0 0 147302 882 0 0 25 0 1 0 9877119 157327360 32090 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 38410 32090 682 1374 0 37031 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 153640
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19172
/proc/meminfo: memFree=1640696/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=153640 CPUtime=1541.82
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1221266 0 0 0 153264 918 0 0 25 0 1 0 9877119 157327360 32108 1992294400 4194304 9819077 140733713279024 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 38410 32108 682 1374 0 37031 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 153640
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19174
/proc/meminfo: memFree=1643176/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=153664 CPUtime=1601.8
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1273153 0 0 0 159228 952 0 0 25 0 1 0 9877119 157351936 31983 1992294400 4194304 9819077 140733713279024 18446744073709551615 7309259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 38416 31983 682 1374 0 37037 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 153664
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19176
/proc/meminfo: memFree=1637596/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=160832 CPUtime=1661.78
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1305795 0 0 0 165194 984 0 0 25 0 1 0 9877119 164691968 32852 1992294400 4194304 9819077 140733713279024 18446744073709551615 5744328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40208 32852 682 1374 0 38829 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 160832
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19178
/proc/meminfo: memFree=1636976/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=160976 CPUtime=1721.76
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1360067 0 0 0 171155 1021 0 0 25 0 1 0 9877119 164839424 33728 1992294400 4194304 9819077 140733713279024 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40244 33728 682 1374 0 38865 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 160976
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19180
/proc/meminfo: memFree=1637348/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=161004 CPUtime=1781.75
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1412130 0 0 0 177118 1057 0 0 25 0 1 0 9877119 164868096 33133 1992294400 4194304 9819077 140733713279024 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40251 33133 682 1374 0 38872 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 161004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19180
/proc/meminfo: memFree=1636232/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=161004 CPUtime=1800.06
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1427941 0 0 0 178937 1069 0 0 25 0 1 0 9877119 164868096 33104 1992294400 4194304 9819077 140733713279024 18446744073709551615 7293330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40251 33104 682 1374 0 38872 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 161004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19122
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19180
/proc/meminfo: memFree=1636232/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=161004 CPUtime=1800.84
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1428543 0 0 0 179015 1069 0 0 25 0 1 0 9877119 164868096 33706 1992294400 4194304 9819077 140733713279024 18446744073709551615 7293496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40251 33706 682 1374 0 38872 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 161004
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19181
/proc/meminfo: memFree=1633620/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=161004 CPUtime=1801.65
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1428737 0 0 0 179095 1070 0 0 25 0 1 0 9877119 164868096 33598 1992294400 4194304 9819077 140733713279024 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 38655 33598 682 1374 0 37276 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 161004
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19181
/proc/meminfo: memFree=1633620/2059040 swapFree=4148288/4192956
[pid=19122] ppid=19120 vsize=161004 CPUtime=1802.04
/proc/19122/stat : 19122 (pbscip.linux.x8) R 19120 19122 18933 0 -1 4202496 1429705 0 0 0 179134 1070 0 0 25 0 1 0 9877119 164868096 33105 1992294400 4194304 9819077 140733713279024 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19122/statm: 40251 33105 682 1374 0 38872 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 161004
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.09
CPU user time (s): 1791.36
CPU system time (s): 10.7224
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 161004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.36
system time used= 10.7224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1429718
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= 4082
runsolver used 2.84057 second user time and 8.64869 second system time
The end