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-2667041-1276400356.opb>
1.00/1.07 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
1.00/1.07 c problem read
1.00/1.07 c presolving settings loaded
1.19/1.27 c presolving:
1.99/2.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
3.89/3.97 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
18.98/19.02 c (17.6s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
25.08/25.12 c (23.7s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
25.08/25.12 c (23.7s) probing aborted: 100/100 successive totally useless probings
25.08/25.12 c presolving (3 rounds):
25.08/25.12 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
25.08/25.12 c 37080 implications, 630 cliques
25.08/25.12 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
25.08/25.12 c 21770 constraints of type <knapsack>
25.08/25.12 c 630 constraints of type <setppc>
25.08/25.12 c 20220 constraints of type <logicor>
25.08/25.12 c transformed objective value is always integral (scale: 1)
25.08/25.12 c Presolving Time: 23.55
25.08/25.12 c - non default parameters ----------------------------------------------------------------------
25.08/25.12 c # SCIP version 1.2.1.2
25.08/25.12 c
25.08/25.12 c # frequency for displaying node information lines
25.08/25.12 c # [type: int, range: [-1,2147483647], default: 100]
25.08/25.12 c display/freq = 10000
25.08/25.12 c
25.08/25.12 c # maximal time in seconds to run
25.08/25.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.08/25.12 c limits/time = 1798.94
25.08/25.12 c
25.08/25.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.08/25.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.08/25.12 c limits/memory = 1620
25.08/25.12 c
25.08/25.12 c # should presolving try to simplify inequalities
25.08/25.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.08/25.12 c constraints/linear/simplifyinequalities = TRUE
25.08/25.12 c
25.08/25.12 c # should presolving try to simplify knapsacks
25.08/25.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.08/25.12 c constraints/knapsack/simplifyinequalities = TRUE
25.08/25.12 c
25.08/25.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.08/25.12 c # [type: int, range: [-1,2147483647], default: -1]
25.08/25.12 c separating/rapidlearning/freq = 0
25.08/25.12 c
25.08/25.12 c -----------------------------------------------------------------------------------------------
25.08/25.12 c start solving
25.08/25.13 c
63.07/63.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.07/63.12 c 61.4s| 1 | 0 | 4937 | - | 96M| 0 | 701 |2700 | 42k|2700 | 42k| 0 | 0 | 0 | 4.026400e+04 | -- | Inf
353.98/354.11 c 337s| 1 | 0 | 17744 | - | 96M| 0 | 693 |2700 | 42k|2700 | 42k| 6 | 0 | 0 | 4.026400e+04 | -- | Inf
438.44/438.69 c 407s| 1 | 0 | 19406 | - | 96M| 0 | 705 |2700 | 42k|2700 | 42k| 17 | 0 | 0 | 4.026400e+04 | -- | Inf
541.51/541.72 c 493s| 1 | 0 | 21991 | - | 96M| 0 | 699 |2700 | 42k|2700 | 42k| 24 | 0 | 0 | 4.026400e+04 | -- | Inf
634.78/635.04 c 570s| 1 | 0 | 23478 | - | 96M| 0 | 733 |2700 | 42k|2700 | 42k| 29 | 0 | 0 | 4.026400e+04 | -- | Inf
732.55/732.81 c 650s| 1 | 0 | 25161 | - | 96M| 0 | 709 |2700 | 42k|2700 | 42k| 36 | 0 | 0 | 4.026400e+04 | -- | Inf
838.41/838.76 c 739s| 1 | 0 | 27725 | - | 96M| 0 | 715 |2700 | 42k|2700 | 42k| 42 | 0 | 0 | 4.026400e+04 | -- | Inf
1043.84/1044.23 c 942s| 1 | 2 | 27725 | - | 96M| 0 | 715 |2700 | 42k|2700 | 42k| 42 | 0 | 21 | 4.026400e+04 | -- | Inf
1800.10/1800.71 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-2667041-1276400356/watcher-2667041-1276400356 -o /tmp/evaluation-result-2667041-1276400356/solver-2667041-1276400356 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667041-1276400356.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: 2.06 1.92 1.60 3/106 21738
/proc/meminfo: memFree=1826556/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=7724 CPUtime=0
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 1002 0 0 0 0 0 0 0 18 0 1 0 15637131 7909376 921 1992294400 4194304 8223781 140734856973664 18446744073709551615 7236399 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21738/statm: 1931 931 348 984 0 944 0
[startup+0.079415 s]
/proc/loadavg: 2.06 1.92 1.60 3/106 21738
/proc/meminfo: memFree=1826556/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=13324 CPUtime=0.07
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 2648 0 0 0 6 1 0 0 18 0 1 0 15637131 13643776 2567 1992294400 4194304 8223781 140734856973664 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21738/statm: 3331 2567 365 984 0 2344 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13324
[startup+0.101418 s]
/proc/loadavg: 2.06 1.92 1.60 3/106 21738
/proc/meminfo: memFree=1826556/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=13484 CPUtime=0.09
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 2687 0 0 0 8 1 0 0 18 0 1 0 15637131 13807616 2606 1992294400 4194304 8223781 140734856973664 18446744073709551615 7184652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21738/statm: 3371 2606 365 984 0 2384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13484
[startup+0.301454 s]
/proc/loadavg: 2.06 1.92 1.60 3/106 21738
/proc/meminfo: memFree=1826556/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=17764 CPUtime=0.29
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 3755 0 0 0 28 1 0 0 18 0 1 0 15637131 18190336 3674 1992294400 4194304 8223781 140734856973664 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21738/statm: 4441 3674 365 984 0 3454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17764
[startup+0.701526 s]
/proc/loadavg: 2.06 1.92 1.60 3/106 21738
/proc/meminfo: memFree=1826556/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=25048 CPUtime=0.69
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 5581 0 0 0 67 2 0 0 18 0 1 0 15637131 25649152 5500 1992294400 4194304 8223781 140734856973664 18446744073709551615 7256375 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21738/statm: 6262 5500 365 984 0 5275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25048
[startup+1.50167 s]
/proc/loadavg: 1.98 1.90 1.60 2/107 21739
/proc/meminfo: memFree=1799268/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=85416 CPUtime=1.49
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 20700 0 0 0 137 12 0 0 19 0 1 0 15637131 87465984 20226 1992294400 4194304 8223781 140734856973664 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 21354 20226 438 984 0 20367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85416
[startup+3.10096 s]
/proc/loadavg: 1.98 1.90 1.60 2/107 21739
/proc/meminfo: memFree=1712344/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=121456 CPUtime=3.09
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 34972 0 0 0 285 24 0 0 24 0 1 0 15637131 124370944 29261 1992294400 4194304 8223781 140734856973664 18446744073709551615 4890361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 30364 29261 458 984 0 29377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121456
[startup+6.30153 s]
/proc/loadavg: 1.98 1.90 1.60 2/107 21739
/proc/meminfo: memFree=1709988/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=123776 CPUtime=6.29
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 39550 0 0 0 598 31 0 0 25 0 1 0 15637131 126746624 29876 1992294400 4194304 8223781 140734856973664 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 30944 29876 472 984 0 29957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123776
[startup+12.7007 s]
/proc/loadavg: 1.83 1.87 1.59 2/107 21741
/proc/meminfo: memFree=1707632/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=124292 CPUtime=12.68
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 39678 0 0 0 1235 33 0 0 25 0 1 0 15637131 127275008 30004 1992294400 4194304 8223781 140734856973664 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 31073 30004 472 984 0 30086 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 124292
[startup+25.501 s]
/proc/loadavg: 1.70 1.84 1.59 2/107 21741
/proc/meminfo: memFree=1697960/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=192660 CPUtime=25.48
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 57079 0 0 0 2505 43 0 0 25 0 1 0 15637131 197283840 44809 1992294400 4194304 8223781 140734856973664 18446744073709551615 6446961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 48165 44809 548 984 0 47178 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 192660
[startup+51.1015 s]
/proc/loadavg: 1.46 1.77 1.57 2/107 21741
/proc/meminfo: memFree=1635216/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=210764 CPUtime=51.08
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 85526 0 0 0 5046 62 0 0 25 0 1 0 15637131 215822336 48086 1992294400 4194304 8223781 140734856973664 18446744073709551615 6569910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 52691 48086 543 984 0 51704 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 210764
[startup+102.309 s]
/proc/loadavg: 1.18 1.64 1.53 2/107 21743
/proc/meminfo: memFree=1634596/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=212952 CPUtime=102.27
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 106468 0 0 0 10149 78 0 0 25 0 1 0 15637131 218062848 48311 1992294400 4194304 8223781 140734856973664 18446744073709551615 6569811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53238 48311 549 984 0 52251 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212952
[startup+162.301 s]
/proc/loadavg: 1.06 1.52 1.50 2/107 21745
/proc/meminfo: memFree=1633604/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=216284 CPUtime=162.23
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 125126 0 0 0 16129 94 0 0 25 0 1 0 15637131 221474816 48576 1992294400 4194304 8223781 140734856973664 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54071 48576 561 984 0 53084 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 216284
[startup+222.301 s]
/proc/loadavg: 1.02 1.42 1.46 2/107 21745
/proc/meminfo: memFree=1633852/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=216284 CPUtime=222.22
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 144767 0 0 0 22112 110 0 0 25 0 1 0 15637131 221474816 48515 1992294400 4194304 8223781 140734856973664 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54071 48515 561 984 0 53084 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 216284
[startup+282.301 s]
/proc/loadavg: 1.01 1.34 1.43 2/107 21747
/proc/meminfo: memFree=1642160/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=206900 CPUtime=282.2
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 218123 0 0 0 28077 143 0 0 25 0 1 0 15637131 211865600 46055 1992294400 4194304 8223781 140734856973664 18446744073709551615 6043696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 51725 46055 563 984 0 50738 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 206900
[startup+342.301 s]
/proc/loadavg: 1.00 1.28 1.40 2/107 21749
/proc/meminfo: memFree=1641664/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=208508 CPUtime=342.18
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 4394753 0 0 0 32711 1507 0 0 25 0 1 0 15637131 213512192 46457 1992294400 4194304 8223781 140734856973664 18446744073709551615 6054226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 52127 46457 564 984 0 51140 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 208508
[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.37 2/107 21751
/proc/meminfo: memFree=1634720/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=213024 CPUtime=402.16
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 7843476 0 0 0 37608 2608 0 0 25 0 1 0 15637131 218136576 48272 1992294400 4194304 8223781 140734856973664 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53256 48272 580 984 0 52269 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 213024
[startup+462.301 s]
/proc/loadavg: 1.00 1.18 1.35 2/107 21753
/proc/meminfo: memFree=1634100/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=214356 CPUtime=462.14
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 10740334 0 0 0 42669 3545 0 0 25 0 1 0 15637131 219500544 48375 1992294400 4194304 8223781 140734856973664 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53589 48388 580 984 0 52602 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 214356
[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.32 2/107 21753
/proc/meminfo: memFree=1634224/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=215080 CPUtime=522.12
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 14256290 0 0 0 47516 4696 0 0 25 0 1 0 15637131 220241920 48422 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53770 48422 580 984 0 52783 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 215080
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.30 2/107 21755
/proc/meminfo: memFree=1633852/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=215832 CPUtime=582.09
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 16939018 0 0 0 52610 5599 0 0 25 0 1 0 15637131 221011968 48436 1992294400 4194304 8223781 140734856973664 18446744073709551615 6300067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53958 48436 580 984 0 52971 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 215832
[startup+642.3 s]
/proc/loadavg: 1.00 1.09 1.28 2/107 21757
/proc/meminfo: memFree=1633356/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=215748 CPUtime=642.09
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 19826791 0 0 0 57640 6569 0 0 25 0 1 0 15637131 220925952 48574 1992294400 4194304 8223781 140734856973664 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 53853 48490 580 984 0 52866 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 215748
[startup+702.301 s]
################
# More data... #
################
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 29993760 0 0 0 96125 10069 0 0 25 0 1 0 15637131 228929536 49109 1992294400 4194304 8223781 140734856973664 18446744073709551615 6590020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 55891 49109 594 984 0 54904 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 223564
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 21769
/proc/meminfo: memFree=1632364/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218360 CPUtime=1121.92
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30068894 0 0 0 102075 10117 0 0 25 0 1 0 15637131 223600640 48819 1992294400 4194304 8223781 140734856973664 18446744073709551615 6359593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54590 48819 594 984 0 53603 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 218360
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 21771
/proc/meminfo: memFree=1632116/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218204 CPUtime=1181.9
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30142621 0 0 0 108028 10162 0 0 25 0 1 0 15637131 223440896 48835 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54551 48835 594 984 0 53564 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 218204
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 21773
/proc/meminfo: memFree=1630876/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217012 CPUtime=1241.88
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30217830 0 0 0 113979 10209 0 0 25 0 1 0 15637131 222220288 47552 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54253 47552 594 984 0 53266 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 217012
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 21775
/proc/meminfo: memFree=1632364/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217012 CPUtime=1301.87
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30294267 0 0 0 119932 10255 0 0 25 0 1 0 15637131 222220288 48666 1992294400 4194304 8223781 140734856973664 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54253 48666 594 984 0 53266 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 217012
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 21786
/proc/meminfo: memFree=1632860/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217864 CPUtime=1361.83
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30361770 0 0 0 125885 10298 0 0 25 0 1 0 15637131 223092736 48449 1992294400 4194304 8223781 140734856973664 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54466 48449 594 984 0 53479 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 217864
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 21786
/proc/meminfo: memFree=1631124/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218296 CPUtime=1421.82
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30439490 0 0 0 131835 10347 0 0 25 0 1 0 15637131 223535104 48871 1992294400 4194304 8223781 140734856973664 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54574 48871 594 984 0 53587 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 218296
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 21788
/proc/meminfo: memFree=1636332/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217168 CPUtime=1481.79
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30516208 0 0 0 137787 10392 0 0 25 0 1 0 15637131 222380032 47986 1992294400 4194304 8223781 140734856973664 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54292 47986 594 984 0 53305 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 217168
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 21790
/proc/meminfo: memFree=1631744/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218180 CPUtime=1541.77
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30594087 0 0 0 143738 10439 0 0 25 0 1 0 15637131 223416320 48753 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54545 48753 594 984 0 53558 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 218180
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21792
/proc/meminfo: memFree=1631124/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218548 CPUtime=1601.75
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30667164 0 0 0 149689 10486 0 0 25 0 1 0 15637131 223793152 48898 1992294400 4194304 8223781 140734856973664 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54637 48898 594 984 0 53650 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 218548
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21794
/proc/meminfo: memFree=1631496/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217940 CPUtime=1661.73
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30731638 0 0 0 155647 10526 0 0 25 0 1 0 15637131 223170560 48816 1992294400 4194304 8223781 140734856973664 18446744073709551615 6599090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54485 48816 594 984 0 53498 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 217940
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21794
/proc/meminfo: memFree=1632612/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218244 CPUtime=1721.71
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30805123 0 0 0 161597 10574 0 0 25 0 1 0 15637131 223481856 48574 1992294400 4194304 8223781 140734856973664 18446744073709551615 6569855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54561 48574 594 984 0 53574 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 218244
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21796
/proc/meminfo: memFree=1633728/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217088 CPUtime=1781.69
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30886274 0 0 0 167547 10622 0 0 25 0 1 0 15637131 222298112 48563 1992294400 4194304 8223781 140734856973664 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54272 48563 594 984 0 53285 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 217088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 21796
/proc/meminfo: memFree=1634596/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217088 CPUtime=1800.1
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30910229 0 0 0 169373 10637 0 0 25 0 1 0 15637131 222298112 48053 1992294400 4194304 8223781 140734856973664 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54272 48053 594 984 0 53285 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 217088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21738
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 21796
/proc/meminfo: memFree=1634596/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=217088 CPUtime=1800.78
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30910691 0 0 0 169441 10637 0 0 25 0 1 0 15637131 222298112 48515 1992294400 4194304 8223781 140734856973664 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54272 48515 594 984 0 53285 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 217088
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 21797
/proc/meminfo: memFree=1632108/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218260 CPUtime=1801.58
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30912529 0 0 0 169520 10638 0 0 25 0 1 0 15637131 223498240 48670 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54565 48670 594 984 0 53578 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 218260
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 21797
/proc/meminfo: memFree=1632108/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218260 CPUtime=1801.98
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30912544 0 0 0 169560 10638 0 0 25 0 1 0 15637131 223498240 48685 1992294400 4194304 8223781 140734856973664 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54565 48685 594 984 0 53578 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 218260
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 21797
/proc/meminfo: memFree=1632108/2059040 swapFree=4136696/4192956
[pid=21738] ppid=21736 vsize=218260 CPUtime=1802.08
/proc/21738/stat : 21738 (pbscip.linux.x8) R 21736 21738 21622 0 -1 4202496 30912548 0 0 0 169570 10638 0 0 25 0 1 0 15637131 223498240 48689 1992294400 4194304 8223781 140734856973664 18446744073709551615 6571358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21738/statm: 54565 48689 594 984 0 53578 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 218260
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.13
CPU user time (s): 1695.73
CPU system time (s): 106.405
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 302440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.73
system time used= 106.405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30912550
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= 3474
runsolver used 3.00354 second user time and 8.49371 second system time
The end