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-2666241-1276685630.opb>
0.49/0.51 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29069 constraints
0.49/0.51 c problem read
0.49/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.77 c (round 1) 587 del vars, 587 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.03 c (round 2) 587 del vars, 4987 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24082 upgd conss, 2340 impls, 0 clqs
1.10/1.12 c (0.5s) probing: 101/1438 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.12 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.12 c presolving (3 rounds):
1.10/1.12 c 587 deleted vars, 4987 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.12 c 2340 implications, 0 cliques
1.10/1.12 c presolved problem has 1438 variables (1438 bin, 0 int, 0 impl, 0 cont) and 24082 constraints
1.10/1.12 c 24082 constraints of type <logicor>
1.10/1.12 c transformed objective value is always integral (scale: 1)
1.10/1.12 c Presolving Time: 0.42
1.10/1.12 c - non default parameters ----------------------------------------------------------------------
1.10/1.12 c # SCIP version 1.2.1.2
1.10/1.12 c
1.10/1.12 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.12 c conflict/interconss = 0
1.10/1.12 c
1.10/1.12 c # should binary conflicts be preferred?
1.10/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12 c conflict/preferbinary = TRUE
1.10/1.12 c
1.10/1.12 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c constraints/agelimit = 1
1.10/1.12 c
1.10/1.12 c # should enforcement of pseudo solution be disabled?
1.10/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12 c constraints/disableenfops = TRUE
1.10/1.12 c
1.10/1.12 c # frequency for displaying node information lines
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.12 c display/freq = 10000
1.10/1.12 c
1.10/1.12 c # maximal time in seconds to run
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.12 c limits/time = 1799.5
1.10/1.12 c
1.10/1.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.12 c limits/memory = 1620
1.10/1.12 c
1.10/1.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c lp/solvefreq = 0
1.10/1.12 c
1.10/1.12 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.12 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.12 c lp/pricing = a
1.10/1.12 c
1.10/1.12 c # should presolving try to simplify inequalities
1.10/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12 c constraints/linear/simplifyinequalities = TRUE
1.10/1.12 c
1.10/1.12 c # should presolving try to simplify knapsacks
1.10/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.12 c
1.10/1.12 c # priority of node selection rule <dfs> in standard mode
1.10/1.12 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.12 c nodeselection/dfs/stdpriority = 1000000
1.10/1.12 c
1.10/1.12 c -----------------------------------------------------------------------------------------------
1.10/1.12 c start solving
1.10/1.12 c
9.80/9.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.80 c t 9.1s| 1 | 0 | 3782 | - | 32M| 0 |1407 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 | 0.000000e+00 | 100.00%
9.90/9.94 o -2
9.90/9.94 c R 9.2s| 1 | 0 | 3782 | - | 32M| 0 |1407 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-2.000000e+00 | 99.18%
10.09/10.10 o -4
10.09/10.10 c s 9.4s| 1 | 0 | 3782 | - | 32M| 0 |1407 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-4.000000e+00 | 98.36%
44.57/44.61 c 43.5s| 1 | 0 | 11556 | - | 33M| 0 |1433 |1438 | 24k|1438 | 24k| 18 | 0 | 0 |-2.350586e+02 |-4.000000e+00 | 98.30%
44.57/44.62 o -8
44.57/44.62 c b43.5s| 1 | 0 | 11556 | - | 33M| 0 |1433 |1438 | 24k|1438 | 24k| 18 | 0 | 0 |-2.350586e+02 |-8.000000e+00 | 96.60%
141.75/141.84 c 140s| 1 | 0 | 27764 | - | 34M| 0 |1433 |1438 | 24k|1438 | 24k| 38 | 0 | 0 |-2.274574e+02 |-8.000000e+00 | 96.48%
141.85/141.91 o -12
141.85/141.91 c b 140s| 1 | 0 | 27764 | - | 34M| 0 |1433 |1438 | 24k|1438 | 24k| 38 | 0 | 0 |-2.274574e+02 |-1.200000e+01 | 94.72%
320.59/320.70 c 315s| 1 | 0 | 50471 | - | 34M| 0 |1434 |1438 | 24k|1438 | 24k| 46 | 0 | 0 |-2.241496e+02 |-1.200000e+01 | 94.65%
533.01/533.20 c 522s| 1 | 0 | 78101 | - | 40M| 0 |1432 |1438 | 24k|1438 | 24k| 112 | 0 | 0 |-2.176645e+02 |-1.200000e+01 | 94.49%
755.65/755.91 c 740s| 1 | 0 |105979 | - | 47M| 0 |1430 |1438 | 24k|1438 | 24k| 126 | 0 | 0 |-2.120208e+02 |-1.200000e+01 | 94.34%
1001.48/1001.87 c 981s| 1 | 0 |136407 | - | 53M| 0 |1425 |1438 | 24k|1438 | 24k| 154 | 0 | 0 |-2.087655e+02 |-1.200000e+01 | 94.25%
1343.47/1343.93 c 1317s| 1 | 0 |178581 | - | 57M| 0 |1429 |1438 | 24k|1438 | 24k| 167 | 0 | 0 |-2.065673e+02 |-1.200000e+01 | 94.19%
1566.51/1567.02 c 1536s| 1 | 0 |205243 | - | 64M| 0 |1428 |1438 | 24k|1438 | 24k| 174 | 0 | 0 |-2.054817e+02 |-1.200000e+01 | 94.16%
1800.05/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-2666241-1276685630/watcher-2666241-1276685630 -o /tmp/evaluation-result-2666241-1276685630/solver-2666241-1276685630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666241-1276685630.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.14 1.03 1.01 3/106 10216
/proc/meminfo: memFree=1708684/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=7724 CPUtime=0
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 44149464 7909376 932 1992294400 4194304 8223781 140736502703728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10216/statm: 1931 942 348 984 0 944 0
[startup+0.095231 s]
/proc/loadavg: 1.14 1.03 1.01 3/106 10216
/proc/meminfo: memFree=1708684/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=13256 CPUtime=0.08
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2610 0 0 0 8 0 0 0 20 0 1 0 44149464 13574144 2530 1992294400 4194304 8223781 140736502703728 18446744073709551615 5647787 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10216/statm: 3314 2530 365 984 0 2327 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13256
[startup+0.101232 s]
/proc/loadavg: 1.14 1.03 1.01 3/106 10216
/proc/meminfo: memFree=1708684/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=13256 CPUtime=0.09
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2611 0 0 0 9 0 0 0 20 0 1 0 44149464 13574144 2531 1992294400 4194304 8223781 140736502703728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10216/statm: 3314 2531 365 984 0 2327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13256
[startup+0.301252 s]
/proc/loadavg: 1.14 1.03 1.01 3/106 10216
/proc/meminfo: memFree=1708684/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=18012 CPUtime=0.29
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 3818 0 0 0 28 1 0 0 20 0 1 0 44149464 18444288 3738 1992294400 4194304 8223781 140736502703728 18446744073709551615 5649699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10216/statm: 4503 3738 365 984 0 3516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18012
[startup+0.701292 s]
/proc/loadavg: 1.14 1.03 1.01 3/106 10216
/proc/meminfo: memFree=1708684/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=46760 CPUtime=0.69
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 11061 0 0 0 64 5 0 0 21 0 1 0 44149464 47882240 10610 1992294400 4194304 8223781 140736502703728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 11690 10610 446 984 0 10703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46760
[startup+1.50137 s]
/proc/loadavg: 1.14 1.03 1.01 2/107 10217
/proc/meminfo: memFree=1662672/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=80564 CPUtime=1.49
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 22890 0 0 0 134 15 0 0 23 0 1 0 44149464 82497536 18174 1992294400 4194304 8223781 140736502703728 18446744073709551615 6589067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 20141 18174 536 984 0 19154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80564
[startup+3.10153 s]
/proc/loadavg: 1.14 1.03 1.01 2/107 10217
/proc/meminfo: memFree=1635516/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=87236 CPUtime=3.09
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 24325 0 0 0 293 16 0 0 25 0 1 0 44149464 89329664 18845 1992294400 4194304 8223781 140736502703728 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 21809 18845 544 984 0 20822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87236
[startup+6.30085 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 10217
/proc/meminfo: memFree=1634648/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=88292 CPUtime=6.29
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 25925 0 0 0 611 18 0 0 25 0 1 0 44149464 90411008 18888 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 22073 18888 544 984 0 21086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88292
[startup+12.7005 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 10217
/proc/meminfo: memFree=1632168/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=93472 CPUtime=12.69
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 114926 0 0 0 1222 47 0 0 25 0 1 0 44149464 95715328 19999 1992294400 4194304 8223781 140736502703728 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 23368 19999 579 984 0 22381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93472
[startup+25.5008 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 10219
/proc/meminfo: memFree=1629564/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=93756 CPUtime=25.48
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 120784 0 0 0 2496 52 0 0 25 0 1 0 44149464 96006144 20152 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 23439 20152 579 984 0 22452 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93756
[startup+51.1013 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10219
/proc/meminfo: memFree=1625596/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=96024 CPUtime=51.07
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 244724 0 0 0 5011 96 0 0 25 0 1 0 44149464 98328576 21132 1992294400 4194304 8223781 140736502703728 18446744073709551615 6555159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24006 21132 580 984 0 23019 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 96024
[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10221
/proc/meminfo: memFree=1625472/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=96024 CPUtime=102.26
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 267095 0 0 0 10109 117 0 0 25 0 1 0 44149464 98328576 21151 1992294400 4194304 8223781 140736502703728 18446744073709551615 6359580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24006 21151 580 984 0 23019 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 96024
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10221
/proc/meminfo: memFree=1624976/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=96468 CPUtime=162.23
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 1171582 0 0 0 15795 428 0 0 25 0 1 0 44149464 98783232 21264 1992294400 4194304 8223781 140736502703728 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24117 21264 566 984 0 23130 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 96468
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10223
/proc/meminfo: memFree=1622496/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=97280 CPUtime=222.22
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 1424308 0 0 0 21702 520 0 0 25 0 1 0 44149464 99614720 21890 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24320 21890 566 984 0 23333 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 97280
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10225
/proc/meminfo: memFree=1622496/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=97280 CPUtime=282.2
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 1449681 0 0 0 27679 541 0 0 25 0 1 0 44149464 99614720 21893 1992294400 4194304 8223781 140736502703728 18446744073709551615 6562450 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24320 21893 566 984 0 23333 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 97280
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1622248/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=97652 CPUtime=342.18
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2235556 0 0 0 33392 826 0 0 25 0 1 0 44149464 99995648 21917 1992294400 4194304 8223781 140736502703728 18446744073709551615 6299976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 24413 21917 566 984 0 23426 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 97652
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10229
/proc/meminfo: memFree=1616544/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=104244 CPUtime=402.16
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2594365 0 0 0 39249 967 0 0 25 0 1 0 44149464 106745856 23353 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 26061 23353 566 984 0 25074 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 104244
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10238
/proc/meminfo: memFree=1615676/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=104244 CPUtime=462.13
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2621149 0 0 0 45224 989 0 0 25 0 1 0 44149464 106745856 23420 1992294400 4194304 8223781 140736502703728 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 26061 23420 566 984 0 25074 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 104244
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10240
/proc/meminfo: memFree=1615552/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=104244 CPUtime=522.11
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 2647057 0 0 0 51200 1011 0 0 25 0 1 0 44149464 106745856 23432 1992294400 4194304 8223781 140736502703728 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 26061 23432 566 984 0 25074 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 104244
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10242
/proc/meminfo: memFree=1608484/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=111364 CPUtime=582.1
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 3809867 0 0 0 56772 1438 0 0 25 0 1 0 44149464 114036736 25222 1992294400 4194304 8223781 140736502703728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 27841 25222 566 984 0 26854 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 111364
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10244
/proc/meminfo: memFree=1608484/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=111364 CPUtime=642.09
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 3836750 0 0 0 62748 1461 0 0 25 0 1 0 44149464 114036736 25202 1992294400 4194304 8223781 140736502703728 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 27841 25202 566 984 0 26854 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 111364
[startup+702.302 s]
################
# More data... #
################
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 5238280 0 0 0 98176 2022 0 0 25 0 1 0 44149464 122281984 26981 1992294400 4194304 8223781 140736502703728 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 29854 26981 568 984 0 28867 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 119416
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10254
/proc/meminfo: memFree=1595712/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123668 CPUtime=1061.96
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 6435621 0 0 0 103733 2463 0 0 25 0 1 0 44149464 126636032 28362 1992294400 4194304 8223781 140736502703728 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30917 28362 568 984 0 29930 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 123668
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10256
/proc/meminfo: memFree=1595712/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123668 CPUtime=1121.94
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 6462501 0 0 0 109709 2485 0 0 25 0 1 0 44149464 126636032 28339 1992294400 4194304 8223781 140736502703728 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30917 28339 568 984 0 29930 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 123668
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10258
/proc/meminfo: memFree=1595712/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123668 CPUtime=1181.92
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 6489124 0 0 0 115685 2507 0 0 25 0 1 0 44149464 126636032 28341 1992294400 4194304 8223781 140736502703728 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30917 28341 568 984 0 29930 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 123668
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10260
/proc/meminfo: memFree=1595712/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123668 CPUtime=1241.91
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 6515673 0 0 0 121662 2529 0 0 25 0 1 0 44149464 126636032 28368 1992294400 4194304 8223781 140736502703728 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30917 28368 568 984 0 29930 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 123668
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10262
/proc/meminfo: memFree=1595588/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123880 CPUtime=1301.9
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 6541033 0 0 0 127641 2549 0 0 25 0 1 0 44149464 126853120 28337 1992294400 4194304 8223781 140736502703728 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30970 28337 568 984 0 29983 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 123880
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10265
/proc/meminfo: memFree=1595092/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=123968 CPUtime=1361.87
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 7143120 0 0 0 133413 2774 0 0 25 0 1 0 44149464 126943232 28379 1992294400 4194304 8223781 140736502703728 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 30992 28379 568 984 0 30005 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 123968
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10267
/proc/meminfo: memFree=1589264/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=130528 CPUtime=1421.86
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 7722817 0 0 0 139204 2982 0 0 25 0 1 0 44149464 133660672 29837 1992294400 4194304 8223781 140736502703728 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 32632 29837 568 984 0 31645 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 130528
[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 10269
/proc/meminfo: memFree=1589140/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=130528 CPUtime=1481.83
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 7749129 0 0 0 145179 3004 0 0 25 0 1 0 44149464 133660672 29865 1992294400 4194304 8223781 140736502703728 18446744073709551615 6562478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 32632 29865 568 984 0 31645 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 130528
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10271
/proc/meminfo: memFree=1589388/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=130528 CPUtime=1541.82
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 7774042 0 0 0 151158 3024 0 0 25 0 1 0 44149464 133660672 29854 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 32632 29854 568 984 0 31645 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 130528
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10273
/proc/meminfo: memFree=1587652/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=131928 CPUtime=1601.8
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 8984126 0 0 0 156708 3472 0 0 25 0 1 0 44149464 135094272 30232 1992294400 4194304 8223781 140736502703728 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 32982 30232 568 984 0 31995 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 131928
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10273
/proc/meminfo: memFree=1584180/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1661.79
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9668231 0 0 0 162454 3725 0 0 25 0 1 0 44149464 138448896 31120 1992294400 4194304 8223781 140736502703728 18446744073709551615 6250676 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31120 568 984 0 32814 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 135204
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10275
/proc/meminfo: memFree=1584304/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1721.77
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9693602 0 0 0 168431 3746 0 0 25 0 1 0 44149464 138448896 31101 1992294400 4194304 8223781 140736502703728 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31101 568 984 0 32814 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 135204
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10277
/proc/meminfo: memFree=1584180/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1781.74
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9718680 0 0 0 174408 3766 0 0 25 0 1 0 44149464 138448896 31122 1992294400 4194304 8223781 140736502703728 18446744073709551615 6564842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31122 568 984 0 32814 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 135204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10277
/proc/meminfo: memFree=1584304/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1800.05
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9727750 0 0 0 176233 3772 0 0 25 0 1 0 44149464 138448896 31099 1992294400 4194304 8223781 140736502703728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31099 568 984 0 32814 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 135204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10216
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 10277
/proc/meminfo: memFree=1584304/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1800.84
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9727762 0 0 0 176311 3773 0 0 25 0 1 0 44149464 138448896 31111 1992294400 4194304 8223781 140736502703728 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31111 568 984 0 32814 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 135204
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10278
/proc/meminfo: memFree=1584172/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1801.64
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9728376 0 0 0 176391 3773 0 0 25 0 1 0 44149464 138448896 31096 1992294400 4194304 8223781 140736502703728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31096 568 984 0 32814 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 135204
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10278
/proc/meminfo: memFree=1584172/2059040 swapFree=4134608/4192956
[pid=10216] ppid=10214 vsize=135204 CPUtime=1802.03
/proc/10216/stat : 10216 (pbscip.linux.x8) R 10214 10216 8798 0 -1 4202496 9728381 0 0 0 176430 3773 0 0 25 0 1 0 44149464 138448896 31101 1992294400 4194304 8223781 140736502703728 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10216/statm: 33801 31101 568 984 0 32814 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 135204
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.08
CPU user time (s): 1764.33
CPU system time (s): 37.7513
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 138228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.33
system time used= 37.7513
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9728381
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= 5872
runsolver used 2.95855 second user time and 8.5357 second system time
The end