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-2666826-1276642181.opb>
0.29/0.35 c original problem has 5499 variables (5499 bin, 0 int, 0 impl, 0 cont) and 19319 constraints
0.29/0.35 c problem read
0.29/0.35 c presolving settings loaded
0.39/0.45 c presolving:
0.59/0.65 c (round 1) 553 del vars, 1089 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 144116 impls, 0 clqs
0.59/0.67 c (round 2) 553 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 144116 impls, 0 clqs
0.79/0.89 c (round 3) 553 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 144116 impls, 0 clqs
1.59/1.66 c (1.2s) probing: 380/4946 (7.7%) - 0 fixings, 2 aggregations, 1907 implications, 0 bound changes
1.59/1.66 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.59/1.66 c (round 4) 555 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 147822 impls, 0 clqs
1.69/1.72 c (1.2s) probing: 390/4946 (7.9%) - 0 fixings, 2 aggregations, 1907 implications, 0 bound changes
1.69/1.72 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.69/1.72 c presolving (5 rounds):
1.69/1.72 c 555 deleted vars, 1107 deleted constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
1.69/1.72 c 147822 implications, 0 cliques
1.69/1.72 c presolved problem has 4944 variables (4944 bin, 0 int, 0 impl, 0 cont) and 18212 constraints
1.69/1.72 c 1 constraints of type <knapsack>
1.69/1.72 c 18211 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.20
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.66
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
8.79/8.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.83 c 8.3s| 1 | 0 | 4421 | - | 38M| 0 |2249 |4944 | 18k|4944 | 18k| 0 | 0 | 0 | 1.062209e+01 | -- | Inf
180.44/180.59 o 28
180.44/180.59 c E 177s| 1 | 0 | 15429 | - | 38M| 0 |2249 |4944 | 18k|4944 | 18k| 0 | 0 | 0 | 1.062209e+01 | 2.800000e+01 | 163.60%
180.54/180.66 c 177s| 1 | 0 | 15429 | - | 38M| 0 |2249 |4944 | 18k|4944 | 18k| 0 | 0 | 0 | 1.062209e+01 | 2.800000e+01 | 163.60%
269.31/269.43 c 266s| 1 | 2 | 15429 | - | 38M| 0 |2249 |4944 | 18k|4944 | 18k| 0 | 0 | 24 | 1.062209e+01 | 2.800000e+01 | 163.60%
1800.04/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-2666826-1276642181/watcher-2666826-1276642181 -o /tmp/evaluation-result-2666826-1276642181/solver-2666826-1276642181 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666826-1276642181.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11995
/proc/meminfo: memFree=1789488/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=7724 CPUtime=0
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 1020 0 0 0 0 0 0 0 17 0 1 0 5513265 7909376 939 1992294400 4194304 8223781 140736298318752 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11995/statm: 1931 949 348 984 0 944 0
[startup+0.073422 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11995
/proc/meminfo: memFree=1789488/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=12536 CPUtime=0.06
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 2439 0 0 0 6 0 0 0 17 0 1 0 5513265 12836864 2358 1992294400 4194304 8223781 140736298318752 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11995/statm: 3134 2358 365 984 0 2147 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12536
[startup+0.101425 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11995
/proc/meminfo: memFree=1789488/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=13896 CPUtime=0.09
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 2782 0 0 0 9 0 0 0 17 0 1 0 5513265 14229504 2701 1992294400 4194304 8223781 140736298318752 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11995/statm: 3474 2701 365 984 0 2487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13896
[startup+0.301448 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11995
/proc/meminfo: memFree=1789488/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=20728 CPUtime=0.29
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 4502 0 0 0 28 1 0 0 17 0 1 0 5513265 21225472 4421 1992294400 4194304 8223781 140736298318752 18446744073709551615 5648443 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11995/statm: 5182 4421 365 984 0 4195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20728
[startup+0.701495 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11995
/proc/meminfo: memFree=1789488/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=51120 CPUtime=0.69
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 12345 0 0 0 62 7 0 0 17 0 1 0 5513265 52346880 11643 1992294400 4194304 8223781 140736298318752 18446744073709551615 4333573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 12780 11643 448 984 0 11793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51120
[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11996
/proc/meminfo: memFree=1739880/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=59016 CPUtime=1.49
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 17287 0 0 0 137 12 0 0 18 0 1 0 5513265 60432384 13643 1992294400 4194304 8223781 140736298318752 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 14754 13643 474 984 0 13767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59016
[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11996
/proc/meminfo: memFree=1714832/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=84520 CPUtime=3.09
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 26446 0 0 0 291 18 0 0 21 0 1 0 5513265 86548480 19433 1992294400 4194304 8223781 140736298318752 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 21130 19433 558 984 0 20143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84520
[startup+6.30115 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 11996
/proc/meminfo: memFree=1712724/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=85648 CPUtime=6.29
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 28884 0 0 0 608 21 0 0 25 0 1 0 5513265 87703552 19731 1992294400 4194304 8223781 140736298318752 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 21412 19731 553 984 0 20425 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85648
[startup+12.7009 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11996
/proc/meminfo: memFree=1711360/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=86088 CPUtime=12.69
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 32592 0 0 0 1245 24 0 0 25 0 1 0 5513265 88154112 19908 1992294400 4194304 8223781 140736298318752 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 21522 19908 558 984 0 20535 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86088
[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 11996
/proc/meminfo: memFree=1711360/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=86088 CPUtime=25.48
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 37266 0 0 0 2520 28 0 0 25 0 1 0 5513265 88154112 19970 1992294400 4194304 8223781 140736298318752 18446744073709551615 6565104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 21522 19970 558 984 0 20535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86088
[startup+51.1014 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11996
/proc/meminfo: memFree=1710864/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=86340 CPUtime=51.07
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 48264 0 0 0 5071 36 0 0 25 0 1 0 5513265 88412160 19979 1992294400 4194304 8223781 140736298318752 18446744073709551615 6563479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 21585 19979 557 984 0 20598 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86340
[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11998
/proc/meminfo: memFree=1651220/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=150960 CPUtime=102.27
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 429986 0 0 0 10008 219 0 0 25 0 1 0 5513265 154583040 34902 1992294400 4194304 8223781 140736298318752 18446744073709551615 6562882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 37740 34902 596 984 0 36753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150960
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12000
/proc/meminfo: memFree=1650848/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=150452 CPUtime=162.24
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 475241 0 0 0 15959 265 0 0 25 0 1 0 5513265 154062848 34932 1992294400 4194304 8223781 140736298318752 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 37613 34932 601 984 0 36626 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150452
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12002
/proc/meminfo: memFree=1694248/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=222.23
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 21909 314 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101496
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12002
/proc/meminfo: memFree=1694248/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=282.2
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 27890 330 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 101496
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12004
/proc/meminfo: memFree=1694124/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=342.18
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 33870 348 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 101496
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12006
/proc/meminfo: memFree=1694124/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=402.17
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 39850 367 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 101496
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12008
/proc/meminfo: memFree=1694000/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=462.14
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 45829 385 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6359730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 101496
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12010
/proc/meminfo: memFree=1693876/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=522.13
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 51810 403 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 101496
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12010
/proc/meminfo: memFree=1694000/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=582.11
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 57792 419 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 6555618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 101496
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12012
/proc/meminfo: memFree=1693876/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=642.1
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504897 0 0 0 63773 437 0 0 25 0 1 0 5513265 103931904 24082 1992294400 4194304 8223781 140736298318752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24082 608 984 0 24387 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 101496
[startup+702.302 s]
################
# More data... #
################
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 99655 541 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 6564572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 101496
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12033
/proc/meminfo: memFree=1693628/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1061.94
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 105636 558 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 101496
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12035
/proc/meminfo: memFree=1693628/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1121.92
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 111618 574 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 6612705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 101496
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12035
/proc/meminfo: memFree=1693628/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1181.91
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 117601 590 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 101496
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12037
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1241.89
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 123580 609 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 101496
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 12039
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1301.88
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 129565 623 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 101496
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12041
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1361.86
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504898 0 0 0 135547 639 0 0 25 0 1 0 5513265 103931904 24083 1992294400 4194304 8223781 140736298318752 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24083 609 984 0 24387 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 101496
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12043
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1421.85
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504900 0 0 0 141529 656 0 0 25 0 1 0 5513265 103931904 24085 1992294400 4194304 8223781 140736298318752 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24085 609 984 0 24387 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 101496
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12043
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1481.82
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504920 0 0 0 147509 673 0 0 25 0 1 0 5513265 103931904 24105 1992294400 4194304 8223781 140736298318752 18446744073709551615 6539235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24105 609 984 0 24387 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 101496
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12045
/proc/meminfo: memFree=1693256/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1541.8
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504920 0 0 0 153489 691 0 0 25 0 1 0 5513265 103931904 24105 1992294400 4194304 8223781 140736298318752 18446744073709551615 6564854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24105 609 984 0 24387 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 101496
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12047
/proc/meminfo: memFree=1693256/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1601.79
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504920 0 0 0 159470 709 0 0 25 0 1 0 5513265 103931904 24105 1992294400 4194304 8223781 140736298318752 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24105 609 984 0 24387 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 101496
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12049
/proc/meminfo: memFree=1693380/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1661.76
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504920 0 0 0 165450 726 0 0 25 0 1 0 5513265 103931904 24105 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24105 609 984 0 24387 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 101496
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12051
/proc/meminfo: memFree=1693256/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1721.75
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504920 0 0 0 171432 743 0 0 25 0 1 0 5513265 103931904 24105 1992294400 4194304 8223781 140736298318752 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24105 609 984 0 24387 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 101496
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12051
/proc/meminfo: memFree=1693008/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1781.73
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504928 0 0 0 177412 761 0 0 25 0 1 0 5513265 103931904 24113 1992294400 4194304 8223781 140736298318752 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24113 609 984 0 24387 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 101496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12053
/proc/meminfo: memFree=1693008/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1800.04
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504928 0 0 0 179237 767 0 0 25 0 1 0 5513265 103931904 24113 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24113 609 984 0 24387 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 101496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11995
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 12053
/proc/meminfo: memFree=1693008/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1800.82
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504928 0 0 0 179315 767 0 0 25 0 1 0 5513265 103931904 24113 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24113 609 984 0 24387 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 101496
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12054
/proc/meminfo: memFree=1692876/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1801.62
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504928 0 0 0 179395 767 0 0 25 0 1 0 5513265 103931904 24113 1992294400 4194304 8223781 140736298318752 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24113 609 984 0 24387 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 101496
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12054
/proc/meminfo: memFree=1692876/2059040 swapFree=4192956/4192956
[pid=11995] ppid=11993 vsize=101496 CPUtime=1802.02
/proc/11995/stat : 11995 (pbscip.linux.x8) R 11993 11995 11111 0 -1 4202496 504928 0 0 0 179435 767 0 0 25 0 1 0 5513265 103931904 24113 1992294400 4194304 8223781 140736298318752 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11995/statm: 25374 24113 609 984 0 24387 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 101496
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.06
CPU user time (s): 1794.37
CPU system time (s): 7.68783
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 153992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.37
system time used= 7.68783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504928
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= 3411
runsolver used 3.03854 second user time and 8.44772 second system time
The end