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-2666867-1276588083.opb>
1.69/1.72 c original problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 26619 constraints
1.69/1.72 c problem read
1.69/1.72 c presolving settings loaded
2.20/2.25 c presolving:
2.59/2.68 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.79/2.89 c (round 2) 0 del vars, 13110 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 209 upgd conss, 0 impls, 0 clqs
3.09/3.11 c (round 3) 0 del vars, 13110 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 399 upgd conss, 1792 impls, 0 clqs
10.99/11.08 c (9.2s) probing: 119/13480 (0.9%) - 0 fixings, 0 aggregations, 7776 implications, 0 bound changes
10.99/11.08 c (9.2s) probing aborted: 100/100 successive totally useless probings
10.99/11.08 c presolving (4 rounds):
10.99/11.08 c 0 deleted vars, 13110 deleted constraints, 0 tightened bounds, 0 added holes, 380 changed sides, 380 changed coefficients
10.99/11.08 c 26980 implications, 0 cliques
10.99/11.08 c presolved problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 13509 constraints
10.99/11.08 c 399 constraints of type <knapsack>
10.99/11.08 c 13110 constraints of type <linear>
10.99/11.08 c transformed objective value is always integral (scale: 1)
10.99/11.08 c Presolving Time: 8.84
10.99/11.08 c - non default parameters ----------------------------------------------------------------------
10.99/11.08 c # SCIP version 1.2.1.2
10.99/11.08 c
10.99/11.08 c # frequency for displaying node information lines
10.99/11.08 c # [type: int, range: [-1,2147483647], default: 100]
10.99/11.08 c display/freq = 10000
10.99/11.08 c
10.99/11.08 c # maximal time in seconds to run
10.99/11.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.99/11.08 c limits/time = 1798.29
10.99/11.08 c
10.99/11.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.99/11.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.99/11.08 c limits/memory = 1620
10.99/11.08 c
10.99/11.08 c # should presolving try to simplify inequalities
10.99/11.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.99/11.08 c constraints/linear/simplifyinequalities = TRUE
10.99/11.08 c
10.99/11.08 c # should presolving try to simplify knapsacks
10.99/11.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.99/11.08 c constraints/knapsack/simplifyinequalities = TRUE
10.99/11.08 c
10.99/11.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.99/11.08 c # [type: int, range: [-1,2147483647], default: -1]
10.99/11.08 c separating/rapidlearning/freq = 0
10.99/11.08 c
10.99/11.08 c -----------------------------------------------------------------------------------------------
10.99/11.08 c start solving
11.09/11.10 c
25.58/25.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.58/25.63 c 23.6s| 1 | 0 | 14572 | - | 122M| 0 |7514 | 13k| 13k| 13k| 13k| 0 | 0 | 0 | 1.900000e+01 | -- | Inf
73.57/73.62 c 71.3s| 1 | 0 | 27739 | - | 123M| 0 |7529 | 13k| 13k| 13k| 13k| 56 | 0 | 0 | 1.900000e+01 | -- | Inf
77.47/77.55 c 75.2s| 1 | 0 | 27849 | - | 124M| 0 |7551 | 13k| 13k| 13k| 13k| 170 | 0 | 0 | 1.900000e+01 | -- | Inf
84.06/84.16 c 81.8s| 1 | 0 | 28472 | - | 125M| 0 |7560 | 13k| 13k| 13k| 13k| 309 | 0 | 0 | 1.900167e+01 | -- | Inf
90.96/91.06 c 88.6s| 1 | 0 | 28939 | - | 125M| 0 |7552 | 13k| 13k| 13k| 13k| 407 | 0 | 0 | 1.916667e+01 | -- | Inf
99.36/99.43 c 96.9s| 1 | 0 | 29588 | - | 126M| 0 |7545 | 13k| 13k| 13k| 14k| 514 | 0 | 0 | 1.916667e+01 | -- | Inf
108.46/108.54 c 106s| 1 | 0 | 30264 | - | 126M| 0 |7553 | 13k| 13k| 13k| 14k| 629 | 0 | 0 | 1.916667e+01 | -- | Inf
119.65/119.73 c 117s| 1 | 0 | 31226 | - | 127M| 0 |7552 | 13k| 13k| 13k| 14k| 745 | 0 | 0 | 1.916667e+01 | -- | Inf
132.64/132.74 c 130s| 1 | 0 | 32319 | - | 127M| 0 |7383 | 13k| 13k| 13k| 14k| 853 | 0 | 0 | 2.000000e+01 | -- | Inf
150.74/150.82 c 148s| 1 | 0 | 33976 | - | 128M| 0 |7374 | 13k| 13k| 13k| 14k| 969 | 0 | 0 | 2.000000e+01 | -- | Inf
166.53/166.68 c 164s| 1 | 0 | 35108 | - | 128M| 0 |7378 | 13k| 13k| 13k| 14k|1087 | 0 | 0 | 2.000000e+01 | -- | Inf
176.73/176.86 c 174s| 1 | 0 | 36242 | - | 128M| 0 |7379 | 13k| 13k| 13k| 14k|1116 | 0 | 0 | 2.000000e+01 | -- | Inf
188.13/188.21 c 185s| 1 | 0 | 37571 | - | 128M| 0 |7372 | 13k| 13k| 13k| 14k|1137 | 0 | 0 | 2.000000e+01 | -- | Inf
197.43/197.51 c 194s| 1 | 0 | 38621 | - | 128M| 0 |7373 | 13k| 13k| 13k| 14k|1169 | 0 | 0 | 2.000000e+01 | -- | Inf
677.67/677.90 c 670s| 1 | 2 | 38621 | - | 128M| 0 |7373 | 13k| 13k| 13k| 14k|1169 | 0 | 59 | 2.000000e+01 | -- | Inf
1800.02/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-2666867-1276588083/watcher-2666867-1276588083 -o /tmp/evaluation-result-2666867-1276588083/solver-2666867-1276588083 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666867-1276588083.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.14 0.06 0.10 3/106 2358
/proc/meminfo: memFree=1687392/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=7724 CPUtime=0
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 1154 0 0 0 0 0 0 0 22 0 1 0 102147 7909376 1074 1992294400 4194304 8223781 140734263560624 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 1931 1083 348 984 0 944 0
[startup+0.051949 s]
/proc/loadavg: 0.14 0.06 0.10 3/106 2358
/proc/meminfo: memFree=1687392/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=10152 CPUtime=0.04
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 1828 0 0 0 4 0 0 0 22 0 1 0 102147 10395648 1748 1992294400 4194304 8223781 140734263560624 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 2538 1748 365 984 0 1551 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10152
[startup+0.100948 s]
/proc/loadavg: 0.14 0.06 0.10 3/106 2358
/proc/meminfo: memFree=1687392/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=11560 CPUtime=0.09
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2177 0 0 0 8 1 0 0 22 0 1 0 102147 11837440 2097 1992294400 4194304 8223781 140734263560624 18446744073709551615 7164384 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 2890 2097 365 984 0 1903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11560
[startup+0.300949 s]
/proc/loadavg: 0.14 0.06 0.10 3/106 2358
/proc/meminfo: memFree=1687392/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=16476 CPUtime=0.29
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3415 0 0 0 28 1 0 0 22 0 1 0 102147 16871424 3335 1992294400 4194304 8223781 140734263560624 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 4119 3335 365 984 0 3132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16476
[startup+0.700951 s]
/proc/loadavg: 0.14 0.06 0.10 3/106 2358
/proc/meminfo: memFree=1687392/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=25664 CPUtime=0.69
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 5702 0 0 0 66 3 0 0 25 0 1 0 102147 26279936 5622 1992294400 4194304 8223781 140734263560624 18446744073709551615 6640255 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 6416 5622 365 984 0 5429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25664
[startup+1.50095 s]
/proc/loadavg: 0.14 0.06 0.10 2/107 2359
/proc/meminfo: memFree=1661840/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=40228 CPUtime=1.49
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 9366 0 0 0 145 4 0 0 25 0 1 0 102147 41193472 9286 1992294400 4194304 8223781 140734263560624 18446744073709551615 5649136 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 10057 9286 365 984 0 9070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40228
[startup+3.10096 s]
/proc/loadavg: 0.14 0.06 0.10 2/107 2359
/proc/meminfo: memFree=1517256/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=201472 CPUtime=3.09
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 56048 0 0 0 284 25 0 0 25 0 1 0 102147 206307328 47700 1992294400 4194304 8223781 140734263560624 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 50368 47700 482 984 0 49381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201472
[startup+6.30098 s]
/proc/loadavg: 0.29 0.10 0.11 2/107 2359
/proc/meminfo: memFree=1494316/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=204088 CPUtime=6.29
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 57452 0 0 0 603 26 0 0 25 0 1 0 102147 208986112 48413 1992294400 4194304 8223781 140734263560624 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 51022 48413 465 984 0 50035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 204088
[startup+12.701 s]
/proc/loadavg: 0.34 0.11 0.12 2/107 2359
/proc/meminfo: memFree=1427232/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=285764 CPUtime=12.69
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 77614 0 0 0 1235 34 0 0 20 0 1 0 102147 292622336 65360 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 71441 65360 559 984 0 70454 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285764
[startup+25.501 s]
/proc/loadavg: 0.49 0.15 0.13 2/107 2361
/proc/meminfo: memFree=1426116/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=286104 CPUtime=25.48
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 86183 0 0 0 2507 41 0 0 25 0 1 0 102147 292970496 65515 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 71526 65515 559 984 0 70539 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 286104
[startup+51.1011 s]
/proc/loadavg: 0.66 0.22 0.15 2/107 2361
/proc/meminfo: memFree=1424876/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=287720 CPUtime=51.08
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 91658 0 0 0 5060 48 0 0 25 0 1 0 102147 294625280 65865 1992294400 4194304 8223781 140734263560624 18446744073709551615 6503374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 71930 65865 545 984 0 70943 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 287720
[startup+102.308 s]
/proc/loadavg: 0.85 0.34 0.20 2/107 2363
/proc/meminfo: memFree=1373044/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=360528 CPUtime=102.26
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 131041 0 0 0 10144 82 0 0 25 0 1 0 102147 369180672 78937 1992294400 4194304 8223781 140734263560624 18446744073709551615 5716623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90132 78937 584 984 0 89145 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 360528
[startup+162.301 s]
/proc/loadavg: 0.94 0.46 0.24 2/107 2363
/proc/meminfo: memFree=1359032/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=381424 CPUtime=162.24
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 185625 0 0 0 16105 119 0 0 25 0 1 0 102147 390578176 82255 1992294400 4194304 8223781 140734263560624 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 95356 82255 584 984 0 94369 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 381424
[startup+222.301 s]
/proc/loadavg: 0.98 0.55 0.29 2/107 2365
/proc/meminfo: memFree=1359032/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=381928 CPUtime=222.22
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 268629 0 0 0 22056 166 0 0 25 0 1 0 102147 391094272 82453 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 95482 82453 596 984 0 94495 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 381928
[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.33 2/107 2367
/proc/meminfo: memFree=1364860/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=378876 CPUtime=282.2
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 377590 0 0 0 27999 221 0 0 25 0 1 0 102147 387969024 81352 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 94719 81352 596 984 0 93732 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 378876
[startup+342.301 s]
/proc/loadavg: 0.99 0.70 0.37 2/107 2369
/proc/meminfo: memFree=1375896/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=363736 CPUtime=342.18
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 486794 0 0 0 33941 277 0 0 25 0 1 0 102147 372465664 79553 1992294400 4194304 8223781 140734263560624 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90934 79553 596 984 0 89947 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 363736
[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.40 2/107 2371
/proc/meminfo: memFree=1363992/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=384232 CPUtime=402.16
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 596797 0 0 0 39887 329 0 0 25 0 1 0 102147 393453568 82512 1992294400 4194304 8223781 140734263560624 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 96058 82512 596 984 0 95071 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 384232
[startup+462.301 s]
/proc/loadavg: 0.99 0.79 0.44 2/107 2371
/proc/meminfo: memFree=1365976/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=363736 CPUtime=462.13
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 706463 0 0 0 45831 382 0 0 25 0 1 0 102147 372465664 81004 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90934 81004 596 984 0 89947 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 363736
[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.47 2/107 2373
/proc/meminfo: memFree=1358040/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=363736 CPUtime=522.11
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 816905 0 0 0 51774 437 0 0 25 0 1 0 102147 372465664 80720 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90934 80720 596 984 0 89947 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 363736
[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.50 2/107 2375
/proc/meminfo: memFree=1359652/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=380916 CPUtime=582.09
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 924938 0 0 0 57718 491 0 0 25 0 1 0 102147 390057984 82284 1992294400 4194304 8223781 140734263560624 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 95229 82284 596 984 0 94242 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 380916
[startup+642.301 s]
/proc/loadavg: 1.03 0.89 0.54 2/107 2377
/proc/meminfo: memFree=1371432/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=363736 CPUtime=642.08
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 1037328 0 0 0 63663 545 0 0 25 0 1 0 102147 372465664 79270 1992294400 4194304 8223781 140734263560624 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90934 79270 596 984 0 89947 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 363736
[startup+702.301 s]
################
# More data... #
################
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 1877822 0 0 0 99219 976 0 0 25 0 1 0 102147 368971776 78927 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90081 78927 596 984 0 89094 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 360324
[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.69 2/107 2396
/proc/meminfo: memFree=1369268/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=364660 CPUtime=1061.93
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2027977 0 0 0 105140 1053 0 0 25 0 1 0 102147 373411840 80032 1992294400 4194304 8223781 140734263560624 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 91165 80032 596 984 0 90178 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 364660
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/107 2398
/proc/meminfo: memFree=1369268/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=358732 CPUtime=1121.91
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2159201 0 0 0 111066 1125 0 0 25 0 1 0 102147 367341568 79064 1992294400 4194304 8223781 140734263560624 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89683 79067 596 984 0 88696 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 358732
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/107 2400
/proc/meminfo: memFree=1367904/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=365336 CPUtime=1181.89
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2310450 0 0 0 116989 1200 0 0 25 0 1 0 102147 374104064 80405 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 91334 80405 596 984 0 90347 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 365336
[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/107 2402
/proc/meminfo: memFree=1373732/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=362256 CPUtime=1241.88
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2449822 0 0 0 122914 1274 0 0 25 0 1 0 102147 370950144 79261 1992294400 4194304 8223781 140734263560624 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90564 79261 596 984 0 89577 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 362256
[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/107 2404
/proc/meminfo: memFree=1370012/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=362612 CPUtime=1301.86
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2572146 0 0 0 128846 1340 0 0 25 0 1 0 102147 371314688 79364 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90653 79364 596 984 0 89666 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 362612
[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 2404
/proc/meminfo: memFree=1366168/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=364980 CPUtime=1361.84
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2681642 0 0 0 134785 1399 0 0 25 0 1 0 102147 373739520 80212 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 91245 80212 596 984 0 90258 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 364980
[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 2406
/proc/meminfo: memFree=1365424/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=366652 CPUtime=1421.83
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2805787 0 0 0 140719 1464 0 0 25 0 1 0 102147 375451648 80576 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 91663 80576 596 984 0 90676 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 366652
[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/107 2408
/proc/meminfo: memFree=1365424/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=366652 CPUtime=1481.8
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2860619 0 0 0 146678 1502 0 0 25 0 1 0 102147 375451648 80505 1992294400 4194304 8223781 140734263560624 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 91663 80505 596 984 0 90676 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 366652
[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/107 2410
/proc/meminfo: memFree=1371004/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=358824 CPUtime=1541.79
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 2965633 0 0 0 152619 1560 0 0 25 0 1 0 102147 367435776 79177 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89706 79177 596 984 0 88719 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 358824
[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 2412
/proc/meminfo: memFree=1375220/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=347536 CPUtime=1601.77
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3032449 0 0 0 158568 1609 0 0 25 0 1 0 102147 355876864 78076 1992294400 4194304 8223781 140734263560624 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 86884 78076 596 984 0 85897 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 347536
[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 2412
/proc/meminfo: memFree=1372368/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=353484 CPUtime=1661.75
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3083596 0 0 0 164529 1646 0 0 25 0 1 0 102147 361967616 78809 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 88371 78809 601 984 0 87384 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 353484
[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 2414
/proc/meminfo: memFree=1368400/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1721.73
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3137076 0 0 0 170485 1688 0 0 25 0 1 0 102147 365334528 79521 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79521 601 984 0 88206 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 356772
[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 2416
/proc/meminfo: memFree=1369144/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1781.71
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3190257 0 0 0 176439 1732 0 0 25 0 1 0 102147 365334528 79530 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79530 601 984 0 88206 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 356772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 0.97 0.83 3/107 2416
/proc/meminfo: memFree=1368648/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1800.02
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3205541 0 0 0 178258 1744 0 0 25 0 1 0 102147 365334528 79650 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79650 601 984 0 88206 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 356772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2358
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.97 0.83 3/107 2416
/proc/meminfo: memFree=1368648/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1800.81
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3206053 0 0 0 178336 1745 0 0 25 0 1 0 102147 365334528 79755 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79755 601 984 0 88206 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 356772
[startup+1802.2 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 2417
/proc/meminfo: memFree=1368764/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1801.61
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3206862 0 0 0 178415 1746 0 0 25 0 1 0 102147 365334528 79547 1992294400 4194304 8223781 140734263560624 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79547 601 984 0 88206 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 356772
[startup+1802.6 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 2417
/proc/meminfo: memFree=1368764/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=356772 CPUtime=1802.01
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2306 0 -1 4202496 3207098 0 0 0 178455 1746 0 0 25 0 1 0 102147 365334528 79559 1992294400 4194304 8223781 140734263560624 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89193 79559 601 984 0 88206 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 356772
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.07
CPU user time (s): 1784.57
CPU system time (s): 17.4953
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 389056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.57
system time used= 17.4953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3207098
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= 3808
runsolver used 2.93555 second user time and 8.5587 second system time
The end