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-2666817-1276639506.opb>
0.29/0.39 c original problem has 6076 variables (6076 bin, 0 int, 0 impl, 0 cont) and 21401 constraints
0.29/0.39 c problem read
0.29/0.39 c presolving settings loaded
0.49/0.50 c presolving:
0.69/0.72 c (round 1) 605 del vars, 1197 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 164610 impls, 0 clqs
0.69/0.75 c (round 2) 605 del vars, 1209 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 164610 impls, 0 clqs
0.89/0.99 c (round 3) 605 del vars, 1213 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 164610 impls, 0 clqs
1.89/1.92 c (1.4s) probing: 410/5471 (7.5%) - 0 fixings, 1 aggregations, 2603 implications, 0 bound changes
1.89/1.92 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.89/1.93 c (round 4) 606 del vars, 1213 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 169628 impls, 0 clqs
1.89/1.99 c (1.4s) probing: 420/5471 (7.7%) - 0 fixings, 1 aggregations, 2603 implications, 0 bound changes
1.89/1.99 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.89/1.99 c presolving (5 rounds):
1.89/1.99 c 606 deleted vars, 1213 deleted constraints, 5 tightened bounds, 0 added holes, 4 changed sides, 8 changed coefficients
1.89/1.99 c 169628 implications, 0 cliques
1.89/1.99 c presolved problem has 5470 variables (5470 bin, 0 int, 0 impl, 0 cont) and 20188 constraints
1.89/1.99 c 1 constraints of type <knapsack>
1.89/1.99 c 20187 constraints of type <logicor>
1.89/1.99 c transformed objective value is always integral (scale: 1)
1.89/1.99 c Presolving Time: 1.41
1.89/1.99 c - non default parameters ----------------------------------------------------------------------
1.89/1.99 c # SCIP version 1.2.1.2
1.89/1.99 c
1.89/1.99 c # frequency for displaying node information lines
1.89/1.99 c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.99 c display/freq = 10000
1.89/1.99 c
1.89/1.99 c # maximal time in seconds to run
1.89/1.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.99 c limits/time = 1799.62
1.89/1.99 c
1.89/1.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.99 c limits/memory = 1620
1.89/1.99 c
1.89/1.99 c # should presolving try to simplify inequalities
1.89/1.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.99 c constraints/linear/simplifyinequalities = TRUE
1.89/1.99 c
1.89/1.99 c # should presolving try to simplify knapsacks
1.89/1.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.99 c constraints/knapsack/simplifyinequalities = TRUE
1.89/1.99 c
1.89/1.99 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.89/1.99 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.99 c separating/rapidlearning/freq = 0
1.89/1.99 c
1.89/1.99 c -----------------------------------------------------------------------------------------------
1.89/1.99 c start solving
1.99/2.00 c
9.49/9.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.58 c 9.0s| 1 | 0 | 4582 | - | 42M| 0 |2018 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | -- | Inf
129.86/129.96 o 28
129.86/129.96 c E 127s| 1 | 0 | 11858 | - | 43M| 0 |2018 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | 2.800000e+01 | 163.90%
129.95/130.03 c 127s| 1 | 0 | 11858 | - | 43M| 0 |2018 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | 2.800000e+01 | 163.90%
228.44/228.52 c 225s| 1 | 2 | 11858 | - | 43M| 0 |2018 |5470 | 20k|5470 | 20k| 0 | 0 | 24 | 1.061016e+01 | 2.800000e+01 | 163.90%
1800.03/1800.50 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-2666817-1276639506/watcher-2666817-1276639506 -o /tmp/evaluation-result-2666817-1276639506/solver-2666817-1276639506 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666817-1276639506.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.02 1.00 3/106 11386
/proc/meminfo: memFree=1815688/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=6696 CPUtime=0
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 5242779 6856704 916 1992294400 4194304 8223781 140735748358720 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11386/statm: 1931 925 348 984 0 944 0
[startup+0.0736279 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 11386
/proc/meminfo: memFree=1815688/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=13272 CPUtime=0.07
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 2624 0 0 0 6 1 0 0 20 0 1 0 5242779 13590528 2544 1992294400 4194304 8223781 140735748358720 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11386/statm: 3318 2544 365 984 0 2331 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13272
[startup+0.10163 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 11386
/proc/meminfo: memFree=1815688/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=13876 CPUtime=0.09
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 2782 0 0 0 8 1 0 0 20 0 1 0 5242779 14209024 2702 1992294400 4194304 8223781 140735748358720 18446744073709551615 7189738 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11386/statm: 3469 2702 365 984 0 2482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13876
[startup+0.30165 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 11386
/proc/meminfo: memFree=1815688/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=20720 CPUtime=0.29
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 4500 0 0 0 28 1 0 0 20 0 1 0 5242779 21217280 4420 1992294400 4194304 8223781 140735748358720 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11386/statm: 5180 4420 365 984 0 4193 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20720
[startup+0.701692 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 11386
/proc/meminfo: memFree=1815688/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=51900 CPUtime=0.69
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 12292 0 0 0 63 6 0 0 20 0 1 0 5242779 53145600 11848 1992294400 4194304 8223781 140735748358720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 12975 11848 445 984 0 11988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51900
[startup+1.50177 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11387
/proc/meminfo: memFree=1761864/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=61556 CPUtime=1.49
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 18269 0 0 0 135 14 0 0 23 0 1 0 5242779 63033344 14369 1992294400 4194304 8223781 140735748358720 18446744073709551615 4221380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 15389 14369 474 984 0 14402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61556
[startup+3.10194 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11387
/proc/meminfo: memFree=1737808/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=90236 CPUtime=3.09
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 27676 0 0 0 289 20 0 0 25 0 1 0 5242779 92401664 20875 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 22559 20875 547 984 0 21572 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90236
[startup+6.30127 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11387
/proc/meminfo: memFree=1733220/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=91576 CPUtime=6.29
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 29882 0 0 0 607 22 0 0 25 0 1 0 5242779 93773824 20957 1992294400 4194304 8223781 140735748358720 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 22894 20957 547 984 0 21907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91576
[startup+12.7009 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11387
/proc/meminfo: memFree=1731608/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=92348 CPUtime=12.68
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 33250 0 0 0 1243 25 0 0 25 0 1 0 5242779 94564352 21334 1992294400 4194304 8223781 140735748358720 18446744073709551615 6504594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 23087 21334 551 984 0 22100 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92348
[startup+25.5012 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11387
/proc/meminfo: memFree=1731608/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=92348 CPUtime=25.48
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 37396 0 0 0 2520 28 0 0 25 0 1 0 5242779 94564352 21408 1992294400 4194304 8223781 140735748358720 18446744073709551615 6504556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 23087 21408 551 984 0 22100 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92348
[startup+51.1009 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11389
/proc/meminfo: memFree=1731112/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=92684 CPUtime=51.08
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 46774 0 0 0 5072 36 0 0 25 0 1 0 5242779 94908416 21497 1992294400 4194304 8223781 140735748358720 18446744073709551615 6563052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 23171 21497 557 984 0 22184 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92684
[startup+102.308 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 11389
/proc/meminfo: memFree=1676800/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=151412 CPUtime=102.27
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 468029 0 0 0 9994 233 0 0 25 0 1 0 5242779 155045888 34999 1992294400 4194304 8223781 140735748358720 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 37853 34999 597 984 0 36866 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151412
[startup+162.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 11391
/proc/meminfo: memFree=1716356/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=162.25
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504646 0 0 0 15938 287 0 0 25 0 1 0 5242779 108269568 25118 1992294400 4194304 8223781 140735748358720 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25118 594 984 0 25446 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 105732
[startup+222.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 11393
/proc/meminfo: memFree=1716232/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=222.23
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504646 0 0 0 21921 302 0 0 25 0 1 0 5242779 108269568 25118 1992294400 4194304 8223781 140735748358720 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25118 594 984 0 25446 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105732
[startup+282.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 11395
/proc/meminfo: memFree=1716232/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=282.22
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504664 0 0 0 27906 316 0 0 25 0 1 0 5242779 108269568 25135 1992294400 4194304 8223781 140735748358720 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25135 601 984 0 25446 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 105732
[startup+342.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 11397
/proc/meminfo: memFree=1716232/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=342.21
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504674 0 0 0 33891 330 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 597 984 0 25446 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 105732
[startup+402.301 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 11397
/proc/meminfo: memFree=1716108/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=402.19
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504674 0 0 0 39873 346 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 597 984 0 25446 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 105732
[startup+462.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 11399
/proc/meminfo: memFree=1716108/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=462.17
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 45856 361 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6251384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 105732
[startup+522.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 11401
/proc/meminfo: memFree=1715984/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=522.16
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 51839 377 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 105732
[startup+582.301 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 11403
/proc/meminfo: memFree=1715860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=582.14
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 57820 394 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 105732
[startup+642.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 11405
/proc/meminfo: memFree=1715860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=642.14
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 63805 409 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 105732
[startup+702.301 s]
################
# More data... #
################
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 105687 515 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 105732
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11417
/proc/meminfo: memFree=1715488/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1122
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 111671 529 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6612708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 105732
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11419
/proc/meminfo: memFree=1715488/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1181.99
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504675 0 0 0 117653 546 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 596 984 0 25446 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 105732
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11421
/proc/meminfo: memFree=1715364/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1241.97
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504677 0 0 0 123635 562 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 594 984 0 25446 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 105732
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11421
/proc/meminfo: memFree=1715240/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1301.96
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504677 0 0 0 129619 577 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 594 984 0 25446 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 105732
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11423
/proc/meminfo: memFree=1715240/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1361.94
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504677 0 0 0 135601 593 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 594 984 0 25446 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 105732
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11425
/proc/meminfo: memFree=1715240/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1421.93
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504677 0 0 0 141586 607 0 0 25 0 1 0 5242779 108269568 25141 1992294400 4194304 8223781 140735748358720 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25141 594 984 0 25446 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 105732
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11427
/proc/meminfo: memFree=1715364/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1481.91
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 147567 624 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 105732
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11429
/proc/meminfo: memFree=1715240/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1541.9
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 153548 642 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 105732
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11429
/proc/meminfo: memFree=1715240/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1601.88
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 159531 657 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 105732
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11434
/proc/meminfo: memFree=1714744/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1661.86
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 165513 673 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 105732
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11436
/proc/meminfo: memFree=1714868/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1721.85
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 171496 689 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 105732
[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11438
/proc/meminfo: memFree=1714868/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1781.83
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 177477 706 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 105732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11438
/proc/meminfo: memFree=1714868/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1800.03
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 179292 711 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 105732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11386
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 11439
/proc/meminfo: memFree=1714860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1800.93
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 179382 711 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 105732
[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 11439
/proc/meminfo: memFree=1714860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1801.73
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 179462 711 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 105732
[startup+1802.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 11439
/proc/meminfo: memFree=1714860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1801.93
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 179482 711 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 105732
[startup+1802.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 11439
/proc/meminfo: memFree=1714860/2059040 swapFree=4192956/4192956
[pid=11386] ppid=11384 vsize=105732 CPUtime=1802.03
/proc/11386/stat : 11386 (pbscip.linux.x8) R 11384 11386 10829 0 -1 4202496 504678 0 0 0 179492 711 0 0 25 0 1 0 5242779 108269568 25142 1992294400 4194304 8223781 140735748358720 18446744073709551615 6502724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11386/statm: 26433 25142 595 984 0 25446 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 105732
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.06
CPU user time (s): 1794.93
CPU system time (s): 7.12892
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 152928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 7.12892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504678
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= 2
involuntary context switches= 3244
runsolver used 3.08253 second user time and 8.40872 second system time
The end