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-2666982-1276621444.opb>
1.69/1.79 c original problem has 13478 variables (13478 bin, 0 int, 0 impl, 0 cont) and 26620 constraints
1.69/1.79 c problem read
1.69/1.79 c presolving settings loaded
2.29/2.35 c presolving:
2.79/2.81 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.99/3.04 c (round 2) 1 del vars, 12355 del conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 965 upgd conss, 0 impls, 0 clqs
3.30/3.33 c (round 3) 1 del vars, 12355 del conss, 1 chg bounds, 292 chg sides, 2291 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
3.39/3.43 c (round 4) 1 del vars, 12355 del conss, 1 chg bounds, 409 chg sides, 2471 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
9.18/9.28 c (7.2s) probing: 122/13477 (0.9%) - 0 fixings, 0 aggregations, 86 implications, 0 bound changes
9.18/9.28 c (7.2s) probing aborted: 100/100 successive totally useless probings
9.18/9.29 c presolving (5 rounds):
9.18/9.29 c 1 deleted vars, 12355 deleted constraints, 1 tightened bounds, 0 added holes, 409 changed sides, 2482 changed coefficients
9.18/9.29 c 1020 implications, 12 cliques
9.18/9.29 c presolved problem has 13477 variables (13477 bin, 0 int, 0 impl, 0 cont) and 14266 constraints
9.18/9.29 c 1911 constraints of type <knapsack>
9.18/9.29 c 1 constraints of type <setppc>
9.18/9.29 c 12354 constraints of type <linear>
9.18/9.29 c transformed objective value is always integral (scale: 1)
9.18/9.29 c Presolving Time: 6.93
9.18/9.29 c - non default parameters ----------------------------------------------------------------------
9.18/9.29 c # SCIP version 1.2.1.2
9.18/9.29 c
9.18/9.29 c # frequency for displaying node information lines
9.18/9.29 c # [type: int, range: [-1,2147483647], default: 100]
9.18/9.29 c display/freq = 10000
9.18/9.29 c
9.18/9.29 c # maximal time in seconds to run
9.18/9.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.18/9.29 c limits/time = 1798.21
9.18/9.29 c
9.18/9.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.18/9.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.18/9.29 c limits/memory = 1620
9.18/9.29 c
9.18/9.29 c # should presolving try to simplify inequalities
9.18/9.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.18/9.29 c constraints/linear/simplifyinequalities = TRUE
9.18/9.29 c
9.18/9.29 c # should presolving try to simplify knapsacks
9.18/9.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.18/9.29 c constraints/knapsack/simplifyinequalities = TRUE
9.18/9.29 c
9.18/9.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.18/9.29 c # [type: int, range: [-1,2147483647], default: -1]
9.18/9.29 c separating/rapidlearning/freq = 0
9.18/9.29 c
9.18/9.29 c -----------------------------------------------------------------------------------------------
9.18/9.29 c start solving
9.29/9.30 c
15.68/15.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.68/15.79 c 13.6s| 1 | 0 | 6065 | - | 123M| 0 |4822 | 13k| 14k| 13k| 14k| 0 | 0 | 0 | 1.900000e+02 | -- | Inf
104.73/104.81 c 102s| 1 | 0 | 31457 | - | 124M| 0 |8231 | 13k| 14k| 13k| 14k| 125 | 0 | 0 | 1.900000e+02 | -- | Inf
155.02/155.18 c 152s| 1 | 0 | 41853 | - | 125M| 0 |9002 | 13k| 14k| 13k| 14k| 242 | 0 | 0 | 1.900000e+02 | -- | Inf
210.29/210.47 c 207s| 1 | 0 | 51981 | - | 125M| 0 |8975 | 13k| 14k| 13k| 14k| 379 | 0 | 0 | 1.900000e+02 | -- | Inf
276.57/276.70 c 273s| 1 | 0 | 64018 | - | 126M| 0 |8532 | 13k| 14k| 13k| 14k| 558 | 0 | 0 | 1.900000e+02 | -- | Inf
361.04/361.28 c 357s| 1 | 0 | 77414 | - | 126M| 0 |8709 | 13k| 14k| 13k| 14k| 699 | 0 | 0 | 1.900000e+02 | -- | Inf
430.20/430.45 c 426s| 1 | 0 | 87295 | - | 127M| 0 |9377 | 13k| 14k| 13k| 15k| 845 | 0 | 0 | 1.900000e+02 | -- | Inf
573.05/573.34 c 567s| 1 | 2 | 87295 | - | 127M| 0 |9377 | 13k| 14k| 13k| 15k| 845 | 0 | 21 | 1.900000e+02 | -- | Inf
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-2666982-1276621444/watcher-2666982-1276621444 -o /tmp/evaluation-result-2666982-1276621444/solver-2666982-1276621444 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666982-1276621444.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 7103
/proc/meminfo: memFree=1769396/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=7724 CPUtime=0
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 1082 0 0 0 0 0 0 0 18 0 1 0 37746032 7909376 1002 1992294400 4194304 8223781 140735328759520 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 1931 1012 348 984 0 944 0
[startup+0.0981379 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 7103
/proc/meminfo: memFree=1769396/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=11176 CPUtime=0.08
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2082 0 0 0 8 0 0 0 18 0 1 0 37746032 11444224 2002 1992294400 4194304 8223781 140735328759520 18446744073709551615 7164376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 2794 2002 365 984 0 1807 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11176
[startup+0.10114 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 7103
/proc/meminfo: memFree=1769396/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=11420 CPUtime=0.09
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2142 0 0 0 9 0 0 0 18 0 1 0 37746032 11694080 2062 1992294400 4194304 8223781 140735328759520 18446744073709551615 7189599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 2855 2062 365 984 0 1868 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11420
[startup+0.301175 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 7103
/proc/meminfo: memFree=1769396/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=16840 CPUtime=0.29
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 3495 0 0 0 28 1 0 0 18 0 1 0 37746032 17244160 3415 1992294400 4194304 8223781 140735328759520 18446744073709551615 5648492 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 4210 3415 365 984 0 3223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16840
[startup+0.700247 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 7103
/proc/meminfo: memFree=1769396/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=25288 CPUtime=0.69
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 5606 0 0 0 67 2 0 0 18 0 1 0 37746032 25894912 5526 1992294400 4194304 8223781 140735328759520 18446744073709551615 7189731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 6322 5526 365 984 0 5335 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25288
[startup+1.50039 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1743348/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=40216 CPUtime=1.49
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 9366 0 0 0 145 4 0 0 19 0 1 0 37746032 41181184 9286 1992294400 4194304 8223781 140735328759520 18446744073709551615 6207502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7103/statm: 10054 9286 365 984 0 9067 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40216
[startup+3.10067 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1624308/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=204052 CPUtime=3.09
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 56613 0 0 0 283 26 0 0 23 0 1 0 37746032 208949248 48382 1992294400 4194304 8223781 140735328759520 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 51013 48382 507 984 0 50026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204052
[startup+6.30025 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1574584/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=205568 CPUtime=6.28
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 59291 0 0 0 599 29 0 0 25 0 1 0 37746032 210501632 48872 1992294400 4194304 8223781 140735328759520 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 51392 48872 470 984 0 50405 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 205568
[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1507996/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=286384 CPUtime=12.68
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 80893 0 0 0 1230 38 0 0 25 0 1 0 37746032 293257216 65555 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7103/statm: 71596 65555 542 984 0 70609 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 286384
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1507500/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=287280 CPUtime=25.47
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 84307 0 0 0 2506 41 0 0 25 0 1 0 37746032 294174720 65767 1992294400 4194304 8223781 140735328759520 18446744073709551615 6563487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 71820 65767 550 984 0 70833 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 287280
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 7104
/proc/meminfo: memFree=1505888/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=288608 CPUtime=51.06
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 91499 0 0 0 5055 51 0 0 25 0 1 0 37746032 295534592 66283 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 72152 66283 550 984 0 71165 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 288608
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 7106
/proc/meminfo: memFree=1492496/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=312228 CPUtime=102.24
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 132057 0 0 0 10138 86 0 0 25 0 1 0 37746032 319721472 69539 1992294400 4194304 8223781 140735328759520 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 78057 69539 577 984 0 77070 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 312228
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7108
/proc/meminfo: memFree=1480592/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=329124 CPUtime=162.21
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 181634 0 0 0 16097 124 0 0 25 0 1 0 37746032 337022976 72491 1992294400 4194304 8223781 140735328759520 18446744073709551615 6054136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 82281 72491 577 984 0 81294 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 329124
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7110
/proc/meminfo: memFree=1465960/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=344480 CPUtime=222.19
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 239984 0 0 0 22057 162 0 0 25 0 1 0 37746032 352747520 76329 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 86120 76329 576 984 0 85133 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 344480
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7112
/proc/meminfo: memFree=1459388/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=359992 CPUtime=282.16
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 302586 0 0 0 28017 199 0 0 25 0 1 0 37746032 368631808 77730 1992294400 4194304 8223781 140735328759520 18446744073709551615 6055456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 89998 77730 576 984 0 89011 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 359992
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7112
/proc/meminfo: memFree=1450956/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=375052 CPUtime=342.14
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 366304 0 0 0 33978 236 0 0 25 0 1 0 37746032 384053248 79879 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 93763 79879 576 984 0 92776 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 375052
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7114
/proc/meminfo: memFree=1446368/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=371804 CPUtime=402.13
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 423364 0 0 0 39939 274 0 0 25 0 1 0 37746032 380727296 80925 1992294400 4194304 8223781 140735328759520 18446744073709551615 6567540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 92951 80925 576 984 0 91964 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 371804
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7116
/proc/meminfo: memFree=1453684/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=358372 CPUtime=462.1
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 527496 0 0 0 45881 329 0 0 25 0 1 0 37746032 366972928 80360 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 89593 80360 585 984 0 88606 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 358372
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7118
/proc/meminfo: memFree=1447980/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=358372 CPUtime=522.07
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 657943 0 0 0 51814 393 0 0 25 0 1 0 37746032 366972928 79678 1992294400 4194304 8223781 140735328759520 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 89593 79678 585 984 0 88606 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 358372
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 7120
/proc/meminfo: memFree=1451948/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362264 CPUtime=582.05
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 779408 0 0 0 57747 458 0 0 25 0 1 0 37746032 370958336 79524 1992294400 4194304 8223781 140735328759520 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90566 79524 585 984 0 89579 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 362264
[startup+642.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 7123
/proc/meminfo: memFree=1455668/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=359060 CPUtime=642.03
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 891833 0 0 0 63687 516 0 0 25 0 1 0 37746032 367677440 78477 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 89765 78477 585 984 0 88778 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 359060
[startup+702.301 s]
################
# More data... #
################
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 1818285 0 0 0 105179 1007 0 0 25 0 1 0 37746032 366174208 78211 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 89398 78211 585 984 0 88411 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 357592
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7137
/proc/meminfo: memFree=1453064/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=361324 CPUtime=1121.84
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 1899124 0 0 0 111131 1053 0 0 25 0 1 0 37746032 369995776 79216 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90331 79216 585 984 0 89344 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 361324
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7139
/proc/meminfo: memFree=1452196/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=361572 CPUtime=1181.82
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 1968475 0 0 0 117084 1098 0 0 25 0 1 0 37746032 370249728 79379 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90393 79379 590 984 0 89406 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 361572
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7139
/proc/meminfo: memFree=1451576/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=361572 CPUtime=1241.8
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2031917 0 0 0 123037 1143 0 0 25 0 1 0 37746032 370249728 79508 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90393 79508 590 984 0 89406 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 361572
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7141
/proc/meminfo: memFree=1451452/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=361572 CPUtime=1301.77
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2091360 0 0 0 128991 1186 0 0 25 0 1 0 37746032 370249728 79520 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90393 79520 590 984 0 89406 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 361572
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7143
/proc/meminfo: memFree=1450832/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1361.75
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2153796 0 0 0 134944 1231 0 0 25 0 1 0 37746032 370700288 79683 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79683 590 984 0 89516 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 362012
[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 7145
/proc/meminfo: memFree=1451080/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1421.73
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2216126 0 0 0 140898 1275 0 0 25 0 1 0 37746032 370700288 79635 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79635 590 984 0 89516 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 362012
[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 7147
/proc/meminfo: memFree=1450956/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1481.7
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2276749 0 0 0 146854 1316 0 0 25 0 1 0 37746032 370700288 79659 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79659 590 984 0 89516 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 362012
[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 7147
/proc/meminfo: memFree=1451204/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1541.67
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2335144 0 0 0 152810 1357 0 0 25 0 1 0 37746032 370700288 79575 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79575 590 984 0 89516 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 362012
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7149
/proc/meminfo: memFree=1451080/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1601.65
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2395572 0 0 0 158763 1402 0 0 25 0 1 0 37746032 370700288 79604 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79604 590 984 0 89516 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 362012
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7151
/proc/meminfo: memFree=1451328/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1661.62
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2449630 0 0 0 164717 1445 0 0 25 0 1 0 37746032 370700288 79693 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79693 590 984 0 89516 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 362012
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7153
/proc/meminfo: memFree=1451204/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1721.6
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2504802 0 0 0 170672 1488 0 0 25 0 1 0 37746032 370700288 79591 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79591 590 984 0 89516 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 362012
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7155
/proc/meminfo: memFree=1450832/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1781.57
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2559813 0 0 0 176628 1529 0 0 25 0 1 0 37746032 370700288 79603 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79603 590 984 0 89516 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 362012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7155
/proc/meminfo: memFree=1450460/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1800.07
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2579062 0 0 0 178465 1542 0 0 25 0 1 0 37746032 370700288 79706 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79706 590 984 0 89516 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 362012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7103
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 7155
/proc/meminfo: memFree=1450460/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1800.67
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2579233 0 0 0 178525 1542 0 0 25 0 1 0 37746032 370700288 79877 1992294400 4194304 8223781 140735328759520 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79877 590 984 0 89516 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 362012
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7156
/proc/meminfo: memFree=1450204/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1801.47
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2579861 0 0 0 178604 1543 0 0 25 0 1 0 37746032 370700288 79866 1992294400 4194304 8223781 140735328759520 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79866 590 984 0 89516 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 362012
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7156
/proc/meminfo: memFree=1450204/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1801.87
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2580686 0 0 0 178644 1543 0 0 25 0 1 0 37746032 370700288 79659 1992294400 4194304 8223781 140735328759520 18446744073709551615 6568118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79659 590 984 0 89516 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 362012
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7156
/proc/meminfo: memFree=1450576/2059040 swapFree=4136752/4192956
[pid=7103] ppid=7101 vsize=362012 CPUtime=1802.07
/proc/7103/stat : 7103 (pbscip.linux.x8) R 7101 7103 6557 0 -1 4202496 2580718 0 0 0 178664 1543 0 0 25 0 1 0 37746032 370700288 79691 1992294400 4194304 8223781 140735328759520 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7103/statm: 90503 79691 590 984 0 89516 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 362012
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.84
CPU time (s): 1802.12
CPU user time (s): 1786.65
CPU system time (s): 15.4706
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 382184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.65
system time used= 15.4706
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2580718
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= 3854
runsolver used 2.95555 second user time and 8.5447 second system time
The end