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-2666237-1276684950.opb>
0.49/0.54 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30390 constraints
0.49/0.54 c problem read
0.49/0.54 c presolving settings loaded
0.59/0.66 o 0
0.59/0.66 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.66 c presolving:
0.79/0.81 c (round 1) 578 del vars, 578 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.99/1.08 c (round 2) 578 del vars, 4935 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25455 upgd conss, 2340 impls, 0 clqs
1.10/1.18 c (0.5s) probing: 101/1447 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.18 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.18 c presolving (3 rounds):
1.10/1.18 c 578 deleted vars, 4935 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.18 c 2340 implications, 0 cliques
1.10/1.18 c presolved problem has 1447 variables (1447 bin, 0 int, 0 impl, 0 cont) and 25455 constraints
1.10/1.18 c 25455 constraints of type <logicor>
1.10/1.18 c transformed objective value is always integral (scale: 1)
1.10/1.18 c Presolving Time: 0.43
1.10/1.18 c - non default parameters ----------------------------------------------------------------------
1.10/1.18 c # SCIP version 1.2.1.2
1.10/1.18 c
1.10/1.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c conflict/interconss = 0
1.10/1.18 c
1.10/1.18 c # should binary conflicts be preferred?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c conflict/preferbinary = TRUE
1.10/1.18 c
1.10/1.18 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c constraints/agelimit = 1
1.10/1.18 c
1.10/1.18 c # should enforcement of pseudo solution be disabled?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/disableenfops = TRUE
1.10/1.18 c
1.10/1.18 c # frequency for displaying node information lines
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.18 c display/freq = 10000
1.10/1.18 c
1.10/1.18 c # maximal time in seconds to run
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/time = 1799.46
1.10/1.18 c
1.10/1.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/memory = 1620
1.10/1.18 c
1.10/1.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c lp/solvefreq = 0
1.10/1.18 c
1.10/1.18 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.18 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.18 c lp/pricing = a
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify inequalities
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/linear/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify knapsacks
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # priority of node selection rule <dfs> in standard mode
1.10/1.18 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.18 c nodeselection/dfs/stdpriority = 1000000
1.10/1.18 c
1.10/1.18 c -----------------------------------------------------------------------------------------------
1.10/1.18 c start solving
1.10/1.18 c
10.19/10.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.19/10.27 c t 9.5s| 1 | 0 | 3830 | - | 33M| 0 |1420 |1447 | 25k|1447 | 25k| 0 | 0 | 0 |-2.278000e+02 | 0.000000e+00 | 100.00%
10.39/10.41 o -4
10.39/10.41 c R 9.7s| 1 | 0 | 3830 | - | 34M| 0 |1420 |1447 | 25k|1447 | 25k| 0 | 0 | 0 |-2.278000e+02 |-4.000000e+00 | 98.24%
10.49/10.57 o -7
10.49/10.57 c s 9.8s| 1 | 0 | 3830 | - | 34M| 0 |1420 |1447 | 25k|1447 | 25k| 0 | 0 | 0 |-2.278000e+02 |-7.000000e+00 | 96.93%
65.07/65.11 c 64.0s| 1 | 0 | 15226 | - | 34M| 0 |1439 |1447 | 25k|1447 | 25k| 7 | 0 | 0 |-2.220750e+02 |-7.000000e+00 | 96.85%
65.07/65.12 o -21
65.07/65.12 c b64.0s| 1 | 0 | 15226 | - | 34M| 0 |1439 |1447 | 25k|1447 | 25k| 7 | 0 | 0 |-2.220750e+02 |-2.100000e+01 | 90.54%
231.72/231.80 c 230s| 1 | 0 | 41422 | - | 38M| 0 |1443 |1447 | 25k|1447 | 25k| 16 | 0 | 0 |-2.197783e+02 |-2.100000e+01 | 90.44%
231.72/231.85 o -25
231.72/231.85 c b 230s| 1 | 0 | 41422 | - | 39M| 0 |1443 |1447 | 25k|1447 | 25k| 16 | 0 | 0 |-2.197783e+02 |-2.500000e+01 | 88.62%
388.47/388.69 c 384s| 1 | 0 | 63338 | - | 40M| 0 |1446 |1447 | 25k|1447 | 25k| 25 | 0 | 0 |-2.184697e+02 |-2.500000e+01 | 88.56%
579.13/579.35 c 566s| 1 | 0 | 83222 | - | 40M| 0 |1443 |1447 | 25k|1447 | 25k| 74 | 0 | 0 |-2.122287e+02 |-2.500000e+01 | 88.22%
710.99/711.25 c 690s| 1 | 0 | 94909 | - | 40M| 0 |1445 |1447 | 25k|1447 | 25k| 76 | 0 | 0 |-2.119126e+02 |-2.500000e+01 | 88.20%
998.31/998.62 c 973s| 1 | 0 |132565 | - | 44M| 0 |1443 |1447 | 25k|1447 | 25k| 83 | 0 | 0 |-2.101058e+02 |-2.500000e+01 | 88.10%
1215.34/1215.77 c 1181s| 1 | 0 |155962 | - | 44M| 0 |1442 |1447 | 25k|1447 | 25k| 106 | 0 | 0 |-2.076913e+02 |-2.500000e+01 | 87.96%
1332.92/1333.36 c 1290s| 1 | 0 |165585 | - | 44M| 0 |1442 |1447 | 25k|1447 | 25k| 107 | 0 | 0 |-2.072506e+02 |-2.500000e+01 | 87.94%
1472.87/1473.35 c 1422s| 1 | 0 |178156 | - | 44M| 0 |1444 |1447 | 25k|1447 | 25k| 110 | 0 | 0 |-2.066229e+02 |-2.500000e+01 | 87.90%
1569.95/1570.42 c 1511s| 1 | 0 |184109 | - | 44M| 0 |1443 |1447 | 25k|1447 | 25k| 111 | 0 | 0 |-2.066047e+02 |-2.500000e+01 | 87.90%
1669.91/1670.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.91/1670.44 c 1603s| 1 | 0 |190903 | - | 44M| 0 |1443 |1447 | 25k|1447 | 25k| 112 | 0 | 0 |-2.066047e+02 |-2.500000e+01 | 87.90%
1800.09/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-2666237-1276684950/watcher-2666237-1276684950 -o /tmp/evaluation-result-2666237-1276684950/solver-2666237-1276684950 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666237-1276684950.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.05 1.07 1.00 3/106 13295
/proc/meminfo: memFree=1763896/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=6696 CPUtime=0
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 44099073 6856704 903 1992294400 4194304 8223781 140737484913200 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13295/statm: 1674 903 343 984 0 687 0
[startup+0.104074 s]
/proc/loadavg: 1.05 1.07 1.00 3/106 13295
/proc/meminfo: memFree=1763896/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=13276 CPUtime=0.09
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 2617 0 0 0 9 0 0 0 20 0 1 0 44099073 13594624 2536 1992294400 4194304 8223781 140737484913200 18446744073709551615 7164286 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13295/statm: 3319 2536 365 984 0 2332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13276
[startup+0.201085 s]
/proc/loadavg: 1.05 1.07 1.00 3/106 13295
/proc/meminfo: memFree=1763896/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=16468 CPUtime=0.19
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 3411 0 0 0 18 1 0 0 20 0 1 0 44099073 16863232 3330 1992294400 4194304 8223781 140737484913200 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13295/statm: 4117 3330 365 984 0 3130 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16468
[startup+0.301096 s]
/proc/loadavg: 1.05 1.07 1.00 3/106 13295
/proc/meminfo: memFree=1763896/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=18032 CPUtime=0.29
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 3822 0 0 0 28 1 0 0 20 0 1 0 44099073 18464768 3741 1992294400 4194304 8223781 140737484913200 18446744073709551615 4907694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13295/statm: 4508 3741 365 984 0 3521 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18032
[startup+0.701144 s]
/proc/loadavg: 1.05 1.07 1.00 3/106 13295
/proc/meminfo: memFree=1763896/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=46748 CPUtime=0.69
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 11058 0 0 0 64 5 0 0 20 0 1 0 44099073 47869952 10613 1992294400 4194304 8223781 140737484913200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 11687 10613 446 984 0 10700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46748
[startup+1.50124 s]
/proc/loadavg: 1.05 1.07 1.00 2/107 13296
/proc/meminfo: memFree=1718008/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=82332 CPUtime=1.49
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 23979 0 0 0 133 16 0 0 22 0 1 0 44099073 84307968 18758 1992294400 4194304 8223781 140737484913200 18446744073709551615 6612629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 20583 18758 536 984 0 19596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82332
[startup+3.10043 s]
/proc/loadavg: 1.05 1.07 1.00 2/107 13296
/proc/meminfo: memFree=1688124/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=89952 CPUtime=3.09
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 25571 0 0 0 291 18 0 0 25 0 1 0 44099073 92110848 19426 1992294400 4194304 8223781 140737484913200 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 22488 19426 538 984 0 21501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89952
[startup+6.3008 s]
/proc/loadavg: 1.04 1.06 1.00 2/107 13296
/proc/meminfo: memFree=1687380/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=91564 CPUtime=6.29
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 26993 0 0 0 610 19 0 0 25 0 1 0 44099073 93761536 19508 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 22891 19508 538 984 0 21904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91564
[startup+12.7006 s]
/proc/loadavg: 1.04 1.06 1.00 2/107 13296
/proc/meminfo: memFree=1686388/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=93568 CPUtime=12.69
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 81795 0 0 0 1232 37 0 0 25 0 1 0 44099073 95813632 19852 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 23392 19852 573 984 0 22405 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93568
[startup+25.5011 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 13296
/proc/meminfo: memFree=1685520/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=93756 CPUtime=25.49
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 87484 0 0 0 2506 43 0 0 25 0 1 0 44099073 96006144 19997 1992294400 4194304 8223781 140737484913200 18446744073709551615 6599074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 23439 19997 573 984 0 22452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93756
[startup+51.1011 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 13298
/proc/meminfo: memFree=1684900/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=93812 CPUtime=51.07
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 98926 0 0 0 5053 54 0 0 25 0 1 0 44099073 96063488 20129 1992294400 4194304 8223781 140737484913200 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 23453 20129 573 984 0 22466 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93812
[startup+102.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 13298
/proc/meminfo: memFree=1677956/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=100188 CPUtime=102.26
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 196169 0 0 0 10129 97 0 0 25 0 1 0 44099073 102592512 21842 1992294400 4194304 8223781 140737484913200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25047 21842 574 984 0 24060 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100188
[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 13300
/proc/meminfo: memFree=1677460/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=100188 CPUtime=162.24
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 221566 0 0 0 16106 118 0 0 25 0 1 0 44099073 102592512 22003 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25047 22003 574 984 0 24060 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 100188
[startup+222.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13302
/proc/meminfo: memFree=1677212/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=100376 CPUtime=222.23
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 246334 0 0 0 22082 141 0 0 25 0 1 0 44099073 102785024 22039 1992294400 4194304 8223781 140737484913200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25094 22039 574 984 0 24107 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 100376
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13304
/proc/meminfo: memFree=1675104/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=102764 CPUtime=282.21
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 905725 0 0 0 27864 357 0 0 25 0 1 0 44099073 105230336 22569 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25691 22569 575 984 0 24704 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 102764
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13304
/proc/meminfo: memFree=1674856/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=102968 CPUtime=342.19
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 931139 0 0 0 33840 379 0 0 25 0 1 0 44099073 105439232 22617 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25742 22617 575 984 0 24755 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 102968
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13306
/proc/meminfo: memFree=1673988/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=103168 CPUtime=402.17
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 1503943 0 0 0 39631 586 0 0 25 0 1 0 44099073 105644032 22769 1992294400 4194304 8223781 140737484913200 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 25792 22782 575 984 0 24805 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 103168
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13308
/proc/meminfo: memFree=1671012/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=106884 CPUtime=462.16
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 3207825 0 0 0 45025 1191 0 0 25 0 1 0 44099073 109449216 23553 1992294400 4194304 8223781 140737484913200 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 26721 23553 575 984 0 25734 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 106884
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 13310
/proc/meminfo: memFree=1670640/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=106884 CPUtime=522.15
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 3233422 0 0 0 51000 1215 0 0 25 0 1 0 44099073 109449216 23676 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 26721 23676 575 984 0 25734 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 106884
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13312
/proc/meminfo: memFree=1670392/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=107084 CPUtime=582.13
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 3373093 0 0 0 56939 1274 0 0 25 0 1 0 44099073 109654016 23650 1992294400 4194304 8223781 140737484913200 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 26771 23663 575 984 0 25784 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 107084
[startup+642.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 13312
/proc/meminfo: memFree=1671508/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=107220 CPUtime=642.11
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 5505645 0 0 0 62168 2043 0 0 25 0 1 0 44099073 109793280 23397 1992294400 4194304 8223781 140737484913200 18446744073709551615 6567523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 26805 23397 575 984 0 25818 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 107220
[startup+702.302 s]
################
# More data... #
################
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 8792844 0 0 0 102891 3308 0 0 25 0 1 0 44099073 117207040 25588 1992294400 4194304 8223781 140737484913200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28615 25588 577 984 0 27628 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 114460
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13335
/proc/meminfo: memFree=1662084/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114460 CPUtime=1121.97
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 8818755 0 0 0 108865 3332 0 0 25 0 1 0 44099073 117207040 25626 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28615 25626 577 984 0 27628 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 114460
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13337
/proc/meminfo: memFree=1661960/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114460 CPUtime=1181.95
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 8843211 0 0 0 114843 3352 0 0 25 0 1 0 44099073 117207040 25628 1992294400 4194304 8223781 140737484913200 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28615 25628 577 984 0 27628 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 114460
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13337
/proc/meminfo: memFree=1661712/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114660 CPUtime=1241.93
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 9870491 0 0 0 120466 3727 0 0 25 0 1 0 44099073 117411840 25673 1992294400 4194304 8223781 140737484913200 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28665 25682 577 984 0 27678 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 114660
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13339
/proc/meminfo: memFree=1661712/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114460 CPUtime=1301.91
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 11166217 0 0 0 126004 4187 0 0 25 0 1 0 44099073 117207040 25668 1992294400 4194304 8223781 140737484913200 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28615 25668 577 984 0 27628 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 114460
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13341
/proc/meminfo: memFree=1661588/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114648 CPUtime=1361.89
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 12293316 0 0 0 131601 4588 0 0 25 0 1 0 44099073 117399552 25648 1992294400 4194304 8223781 140737484913200 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28662 25648 577 984 0 27675 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 114648
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13343
/proc/meminfo: memFree=1662456/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114656 CPUtime=1421.89
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 13526497 0 0 0 137167 5022 0 0 25 0 1 0 44099073 117407744 25478 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28664 25478 577 984 0 27677 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 114656
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13345
/proc/meminfo: memFree=1662084/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114672 CPUtime=1481.87
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 13859763 0 0 0 143037 5150 0 0 25 0 1 0 44099073 117424128 25521 1992294400 4194304 8223781 140737484913200 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28668 25521 577 984 0 27681 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 114672
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13345
/proc/meminfo: memFree=1662580/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114492 CPUtime=1541.86
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 15765851 0 0 0 148365 5821 0 0 25 0 1 0 44099073 117239808 25443 1992294400 4194304 8223781 140737484913200 18446744073709551615 6564825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28623 25443 577 984 0 27636 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 114492
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13347
/proc/meminfo: memFree=1662332/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=114492 CPUtime=1601.83
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 16933330 0 0 0 153928 6255 0 0 25 0 1 0 44099073 117239808 25433 1992294400 4194304 8223781 140737484913200 18446744073709551615 6059682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28623 25433 577 984 0 27636 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 114492
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13349
/proc/meminfo: memFree=1662208/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115452 CPUtime=1661.81
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 17934260 0 0 0 159553 6628 0 0 25 0 1 0 44099073 118222848 25527 1992294400 4194304 8223781 140737484913200 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28863 25527 577 984 0 27876 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 115452
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13351
/proc/meminfo: memFree=1664068/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115128 CPUtime=1721.8
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 19508982 0 0 0 164956 7224 0 0 25 0 1 0 44099073 117891072 24998 1992294400 4194304 8223781 140737484913200 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28782 24998 577 984 0 27795 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 115128
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13353
/proc/meminfo: memFree=1662704/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1781.78
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20097271 0 0 0 170720 7458 0 0 25 0 1 0 44099073 117997568 25730 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 25730 587 984 0 27821 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 115232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13353
/proc/meminfo: memFree=1659480/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1800.09
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20112829 0 0 0 172539 7470 0 0 25 0 1 0 44099073 117997568 26195 1992294400 4194304 8223781 140737484913200 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 26195 587 984 0 27821 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 115232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13295
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13354
/proc/meminfo: memFree=1659472/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1800.97
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20114301 0 0 0 172627 7470 0 0 25 0 1 0 44099073 117997568 25038 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 25038 587 984 0 27821 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 115232
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13354
/proc/meminfo: memFree=1663812/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1801.78
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20114652 0 0 0 172707 7471 0 0 25 0 1 0 44099073 117997568 25389 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 25389 587 984 0 27821 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 115232
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13354
/proc/meminfo: memFree=1663812/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1801.98
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20114759 0 0 0 172727 7471 0 0 25 0 1 0 44099073 117997568 25496 1992294400 4194304 8223781 140737484913200 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 25496 587 984 0 27821 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 115232
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13354
/proc/meminfo: memFree=1663812/2059040 swapFree=4136508/4192956
[pid=13295] ppid=13293 vsize=115232 CPUtime=1802.08
/proc/13295/stat : 13295 (pbscip.linux.x8) R 13293 13295 12600 0 -1 4202496 20114811 0 0 0 172737 7471 0 0 25 0 1 0 44099073 117997568 25548 1992294400 4194304 8223781 140737484913200 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13295/statm: 28808 25548 587 984 0 27821 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 115232
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.11
CPU user time (s): 1727.38
CPU system time (s): 74.7266
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 118652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.38
system time used= 74.7266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20114821
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= 4
involuntary context switches= 4182
runsolver used 3.13152 second user time and 8.35973 second system time
The end