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-2667060-1276480804.opb>
0.19/0.29 c original problem has 10772 variables (10772 bin, 0 int, 0 impl, 0 cont) and 12051 constraints
0.19/0.29 c problem read
0.19/0.29 c presolving settings loaded
0.39/0.45 o 20274
0.39/0.45 c feasible solution found by trivial heuristic, objective value 2.027400e+04
0.39/0.45 c presolving:
0.49/0.54 c (round 1) 6 del vars, 6 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50216 impls, 50 clqs
0.69/0.75 c (round 2) 7 del vars, 8 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.79/0.85 c (round 3) 8 del vars, 12 del conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.79/0.88 c (round 4) 9 del vars, 14 del conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.90/0.92 c (round 5) 9 del vars, 14 del conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 12040 upgd conss, 50216 impls, 50 clqs
1.69/1.71 c (1.3s) probing: 296/10763 (2.8%) - 0 fixings, 0 aggregations, 134 implications, 0 bound changes
1.69/1.71 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.69/1.72 c presolving (6 rounds):
1.69/1.72 c 9 deleted vars, 14 deleted constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 5 changed coefficients
1.69/1.72 c 50484 implications, 50 cliques
1.69/1.72 c presolved problem has 10763 variables (10763 bin, 0 int, 0 impl, 0 cont) and 12038 constraints
1.69/1.72 c 1752 constraints of type <knapsack>
1.69/1.72 c 49 constraints of type <setppc>
1.69/1.72 c 10237 constraints of type <logicor>
1.69/1.72 c transformed objective value is always integral (scale: 1)
1.69/1.72 c Presolving Time: 1.23
1.69/1.72 c - non default parameters ----------------------------------------------------------------------
1.69/1.72 c # SCIP version 1.2.1.2
1.69/1.72 c
1.69/1.72 c # frequency for displaying node information lines
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.72 c display/freq = 10000
1.69/1.72 c
1.69/1.72 c # maximal time in seconds to run
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/time = 1799.71
1.69/1.72 c
1.69/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/memory = 1620
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify inequalities
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/linear/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify knapsacks
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c separating/rapidlearning/freq = 0
1.69/1.72 c
1.69/1.72 c -----------------------------------------------------------------------------------------------
1.69/1.72 c start solving
1.69/1.73 c
1.69/1.75 o 20265
1.69/1.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.75 c t 1.3s| 1 | 0 | 0 | - | 40M| 0 | - | 10k| 12k| 0 | 0 | 0 | 0 | 0 | -- | 2.026500e+04 | Inf
1.79/1.88 o 10405
1.79/1.88 c b 1.4s| 1 | 0 | 0 | - | 49M| 0 | - | 10k| 12k| 10k| 12k| 0 | 0 | 0 | -- | 1.040500e+04 | Inf
97.35/97.41 c 96.4s| 1 | 0 | 20311 | - | 48M| 0 |4214 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 1.040500e+04 | Large
100.06/100.14 o 5854
100.06/100.14 c R99.2s| 1 | 0 | 20311 | - | 49M| 0 |4214 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 5.854000e+03 | Large
102.75/102.87 o 5853
102.75/102.87 c s 102s| 1 | 0 | 20311 | - | 49M| 0 |4214 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 5.853000e+03 | Large
102.75/102.89 o 1967
102.75/102.89 c b 102s| 1 | 0 | 20311 | - | 49M| 0 |4214 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 1.967000e+03 | Large
129.94/130.38 c 129s| 1 | 0 | 22482 | - | 49M| 0 |4066 | 10k| 12k| 10k| 12k| 2 | 0 | 0 | 8.500000e+00 | 1.967000e+03 | Large
133.44/133.82 o 755
133.44/133.82 c b 132s| 1 | 0 | 22482 | - | 50M| 0 |4066 | 10k| 12k| 10k| 12k| 2 | 0 | 0 | 8.500000e+00 | 7.550000e+02 |8782.35%
162.54/162.96 c 161s| 1 | 0 | 25248 | - | 49M| 0 |4052 | 10k| 12k| 10k| 12k| 3 | 0 | 0 | 8.500000e+00 | 7.550000e+02 |8782.35%
165.43/165.82 o 455
165.43/165.82 c b 164s| 1 | 0 | 25248 | - | 50M| 0 |4052 | 10k| 12k| 10k| 12k| 3 | 0 | 0 | 8.500000e+00 | 4.550000e+02 |5252.94%
186.33/186.77 c 185s| 1 | 0 | 26515 | - | 50M| 0 |4050 | 10k| 12k| 10k| 12k| 5 | 0 | 0 | 8.600000e+00 | 4.550000e+02 |5190.70%
189.03/189.49 o 398
189.03/189.49 c b 188s| 1 | 0 | 26515 | - | 50M| 0 |4050 | 10k| 12k| 10k| 12k| 5 | 0 | 0 | 8.600000e+00 | 3.980000e+02 |4527.91%
208.92/209.38 c 208s| 1 | 0 | 27556 | - | 50M| 0 |4011 | 10k| 12k| 10k| 12k| 6 | 0 | 0 | 9.000000e+00 | 3.980000e+02 |4322.22%
211.63/212.03 o 397
211.63/212.03 c b 210s| 1 | 0 | 27556 | - | 50M| 0 |4011 | 10k| 12k| 10k| 12k| 6 | 0 | 0 | 9.000000e+00 | 3.970000e+02 |4311.11%
477.76/478.25 c 474s| 1 | 2 | 27556 | - | 50M| 0 |4011 | 10k| 12k| 10k| 12k| 6 | 0 | 19 | 9.000000e+00 | 3.970000e+02 |4311.11%
1800.07/1800.80 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-2667060-1276480804/watcher-2667060-1276480804 -o /tmp/evaluation-result-2667060-1276480804/solver-2667060-1276480804 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667060-1276480804.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: 0.92 0.98 0.99 3/106 25935
/proc/meminfo: memFree=1825260/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=6696 CPUtime=0
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 23684340 6856704 905 1992294400 4194304 8223781 140734368671888 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25935/statm: 1674 906 343 984 0 687 0
[startup+0.0791671 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25935
/proc/meminfo: memFree=1825260/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=17908 CPUtime=0.07
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 3812 0 0 0 6 1 0 0 22 0 1 0 23684340 18337792 3728 1992294400 4194304 8223781 140734368671888 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25935/statm: 4477 3728 366 984 0 3490 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17908
[startup+0.101169 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25935
/proc/meminfo: memFree=1825260/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=18760 CPUtime=0.09
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 4026 0 0 0 8 1 0 0 22 0 1 0 23684340 19210240 3941 1992294400 4194304 8223781 140734368671888 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25935/statm: 4690 3941 365 984 0 3703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18760
[startup+0.301187 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25935
/proc/meminfo: memFree=1825260/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=23744 CPUtime=0.3
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 5329 0 0 0 28 2 0 0 22 0 1 0 23684340 24313856 4880 1992294400 4194304 8223781 140734368671888 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 5936 4890 376 984 0 4949 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23744
[startup+0.701218 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25935
/proc/meminfo: memFree=1825260/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=66148 CPUtime=0.69
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 16443 0 0 0 60 9 0 0 23 0 1 0 23684340 67735552 15384 1992294400 4194304 8223781 140734368671888 18446744073709551615 4903884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 16537 15384 461 984 0 15550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66148
[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25936
/proc/meminfo: memFree=1764616/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=68816 CPUtime=1.49
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 21410 0 0 0 134 15 0 0 25 0 1 0 23684340 70467584 16047 1992294400 4194304 8223781 140734368671888 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 17204 16047 489 984 0 16217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68816
[startup+3.10141 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25936
/proc/meminfo: memFree=1743536/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=91400 CPUtime=3.09
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 28176 0 0 0 291 18 0 0 25 0 1 0 23684340 93593600 21239 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 22850 21239 553 984 0 21863 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91400
[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25936
/proc/meminfo: memFree=1740684/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=92384 CPUtime=6.29
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 32169 0 0 0 608 21 0 0 25 0 1 0 23684340 94601216 21435 1992294400 4194304 8223781 140734368671888 18446744073709551615 6446847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 23096 21435 546 984 0 22109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92384
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25936
/proc/meminfo: memFree=1740312/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=92716 CPUtime=12.69
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 36875 0 0 0 1244 25 0 0 25 0 1 0 23684340 94941184 21550 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 23179 21550 546 984 0 22192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92716
[startup+25.5002 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 25938
/proc/meminfo: memFree=1739816/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=93128 CPUtime=25.48
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 45149 0 0 0 2518 30 0 0 25 0 1 0 23684340 95363072 21679 1992294400 4194304 8223781 140734368671888 18446744073709551615 6559376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 23282 21679 546 984 0 22295 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93128
[startup+51.1003 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 25938
/proc/meminfo: memFree=1739196/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=94240 CPUtime=51.08
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 58788 0 0 0 5067 41 0 0 25 0 1 0 23684340 96501760 21893 1992294400 4194304 8223781 140734368671888 18446744073709551615 6614633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 23560 21893 546 984 0 22573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94240
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 25949
/proc/meminfo: memFree=1738080/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=95268 CPUtime=102.26
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 91089 0 0 0 10160 66 0 0 25 0 1 0 23684340 97554432 22121 1992294400 4194304 8223781 140734368671888 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 23817 22121 553 984 0 22830 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95268
[startup+162.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 26423
/proc/meminfo: memFree=1722960/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99224 CPUtime=161.94
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 114039 0 0 0 16095 99 0 0 25 0 1 0 23684340 101605376 22951 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24806 22951 584 984 0 23819 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 99224
[startup+222.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 26425
/proc/meminfo: memFree=1722464/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99292 CPUtime=221.92
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 128289 0 0 0 22068 124 0 0 25 0 1 0 23684340 101675008 23090 1992294400 4194304 8223781 140734368671888 18446744073709551615 6300067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24823 23090 584 984 0 23836 0
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (KiB) 99292
[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 26427
/proc/meminfo: memFree=1663564/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=160012 CPUtime=281.91
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 269473 0 0 0 27984 207 0 0 25 0 1 0 23684340 163852288 37735 1992294400 4194304 8223781 140734368671888 18446744073709551615 6446786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 40003 37735 590 984 0 39016 0
Current children cumulated CPU time (s) 281.91
Current children cumulated vsize (KiB) 160012
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26429
/proc/meminfo: memFree=1662572/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=160928 CPUtime=341.9
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 352122 0 0 0 33936 254 0 0 25 0 1 0 23684340 164790272 37954 1992294400 4194304 8223781 140734368671888 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 40232 37954 590 984 0 39245 0
Current children cumulated CPU time (s) 341.9
Current children cumulated vsize (KiB) 160928
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26431
/proc/meminfo: memFree=1722464/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99408 CPUtime=401.88
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 427566 0 0 0 39881 307 0 0 25 0 1 0 23684340 101793792 23157 1992294400 4194304 8223781 140734368671888 18446744073709551615 6520907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24852 23157 596 984 0 23865 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 99408
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26431
/proc/meminfo: memFree=1723960/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99464 CPUtime=461.86
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 484976 0 0 0 45843 343 0 0 25 0 1 0 23684340 101851136 23094 1992294400 4194304 8223781 140734368671888 18446744073709551615 6559628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24866 23094 596 984 0 23879 0
Current children cumulated CPU time (s) 461.86
Current children cumulated vsize (KiB) 99464
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26433
/proc/meminfo: memFree=1722348/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99636 CPUtime=521.86
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 540319 0 0 0 51808 378 0 0 25 0 1 0 23684340 102027264 23230 1992294400 4194304 8223781 140734368671888 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24909 23230 596 984 0 23922 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 99636
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26435
/proc/meminfo: memFree=1722348/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=100560 CPUtime=581.84
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 606052 0 0 0 57766 418 0 0 25 0 1 0 23684340 102973440 22919 1992294400 4194304 8223781 140734368671888 18446744073709551615 6596652 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25140 22920 596 984 0 24153 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 100560
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26437
/proc/meminfo: memFree=1723712/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99632 CPUtime=641.83
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 670253 0 0 0 63728 455 0 0 25 0 1 0 23684340 102023168 22868 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24908 22868 596 984 0 23921 0
Current children cumulated CPU time (s) 641.83
Current children cumulated vsize (KiB) 99632
[startup+702.301 s]
################
# More data... #
################
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1124690 0 0 0 105434 739 0 0 25 0 1 0 23684340 102019072 23177 1992294400 4194304 8223781 140734368671888 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24907 23177 596 984 0 23920 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 99628
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26452
/proc/meminfo: memFree=1721604/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99636 CPUtime=1121.71
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1183267 0 0 0 111394 777 0 0 25 0 1 0 23684340 102027264 23198 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24909 23198 596 984 0 23922 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 99636
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26454
/proc/meminfo: memFree=1721604/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99776 CPUtime=1181.7
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1248413 0 0 0 117354 816 0 0 25 0 1 0 23684340 102170624 23228 1992294400 4194304 8223781 140734368671888 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24944 23228 596 984 0 23957 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 99776
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26456
/proc/meminfo: memFree=1721728/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99712 CPUtime=1241.68
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1310731 0 0 0 123312 856 0 0 25 0 1 0 23684340 102105088 23208 1992294400 4194304 8223781 140734368671888 18446744073709551615 6358919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24928 23208 596 984 0 23941 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 99712
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26458
/proc/meminfo: memFree=1721480/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99708 CPUtime=1301.67
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1371185 0 0 0 129275 892 0 0 25 0 1 0 23684340 102100992 23255 1992294400 4194304 8223781 140734368671888 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24927 23255 596 984 0 23940 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 99708
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26458
/proc/meminfo: memFree=1721604/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99600 CPUtime=1361.65
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1405536 0 0 0 135250 915 0 0 25 0 1 0 23684340 101990400 23215 1992294400 4194304 8223781 140734368671888 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24900 23215 596 984 0 23913 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 99600
[startup+1422.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26460
/proc/meminfo: memFree=1721480/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99752 CPUtime=1421.65
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1436241 0 0 0 141227 938 0 0 25 0 1 0 23684340 102146048 23307 1992294400 4194304 8223781 140734368671888 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24938 23307 596 984 0 23951 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 99752
[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 26462
/proc/meminfo: memFree=1721232/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=99932 CPUtime=1481.63
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1467892 0 0 0 147202 961 0 0 25 0 1 0 23684340 102330368 23315 1992294400 4194304 8223781 140734368671888 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 24983 23315 596 984 0 23996 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 99932
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26464
/proc/meminfo: memFree=1719992/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=101172 CPUtime=1541.62
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1597157 0 0 0 153139 1023 0 0 25 0 1 0 23684340 103600128 23644 1992294400 4194304 8223781 140734368671888 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25293 23644 596 984 0 24306 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 101172
[startup+1602.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26466
/proc/meminfo: memFree=1717388/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=104156 CPUtime=1601.6
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1732640 0 0 0 159071 1089 0 0 25 0 1 0 23684340 106655744 24271 1992294400 4194304 8223781 140734368671888 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 26039 24271 596 984 0 25052 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 104156
[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26466
/proc/meminfo: memFree=1717760/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103432 CPUtime=1661.59
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1792305 0 0 0 165031 1128 0 0 25 0 1 0 23684340 105914368 24207 1992294400 4194304 8223781 140734368671888 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25858 24207 596 984 0 24871 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 103432
[startup+1722.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 26468
/proc/meminfo: memFree=1717388/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1721.58
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1847111 0 0 0 170994 1164 0 0 25 0 1 0 23684340 106119168 24240 1992294400 4194304 8223781 140734368671888 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24240 596 984 0 24921 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 103632
[startup+1782.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 26470
/proc/meminfo: memFree=1717140/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1781.56
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1883828 0 0 0 176969 1187 0 0 25 0 1 0 23684340 106119168 24272 1992294400 4194304 8223781 140734368671888 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24272 596 984 0 24921 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 103632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 26470
/proc/meminfo: memFree=1717140/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1800.07
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1895723 0 0 0 178813 1194 0 0 25 0 1 0 23684340 106119168 24276 1992294400 4194304 8223781 140734368671888 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24276 596 984 0 24921 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 103632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25935
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 26470
/proc/meminfo: memFree=1717140/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1800.66
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1896142 0 0 0 178872 1194 0 0 25 0 1 0 23684340 106119168 24244 1992294400 4194304 8223781 140734368671888 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24244 596 984 0 24921 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 103632
[startup+1802.2 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 26471
/proc/meminfo: memFree=1717132/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1801.46
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1897738 0 0 0 178951 1195 0 0 25 0 1 0 23684340 106119168 24217 1992294400 4194304 8223781 140734368671888 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24217 596 984 0 24921 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 103632
[startup+1802.6 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 26471
/proc/meminfo: memFree=1717132/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1801.86
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1897738 0 0 0 178991 1195 0 0 25 0 1 0 23684340 106119168 24217 1992294400 4194304 8223781 140734368671888 18446744073709551615 4656239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24217 596 984 0 24921 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 103632
[startup+1802.8 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 26471
/proc/meminfo: memFree=1717256/2059040 swapFree=4140200/4192956
[pid=25935] ppid=25933 vsize=103632 CPUtime=1802.07
/proc/25935/stat : 25935 (pbscip.linux.x8) R 25933 25935 25834 0 -1 4202496 1897738 0 0 0 179012 1195 0 0 25 0 1 0 23684340 106119168 24217 1992294400 4194304 8223781 140734368671888 18446744073709551615 4414514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25935/statm: 25908 24217 596 984 0 24921 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 103632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1802.09
CPU user time (s): 1790.12
CPU system time (s): 11.9622
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 161428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.12
system time used= 11.9622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1897738
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= 5682
runsolver used 2.97055 second user time and 8.5427 second system time
The end