0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665391-1276640725.opb>
0.89/0.90 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.89/0.90 c problem read
0.89/0.90 c presolving settings loaded
1.09/1.15 c presolving:
1.69/1.73 c (round 1) 972 del vars, 1925 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
1.69/1.78 c (round 2) 972 del vars, 1946 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
2.20/2.27 c (round 3) 972 del vars, 1948 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 435372 impls, 0 clqs
6.99/7.03 c (5.8s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
6.99/7.03 c (5.8s) probing aborted: 100/100 successive totally useless probings
6.99/7.03 c (round 4) 974 del vars, 1948 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
7.99/8.03 c (6.8s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
7.99/8.05 c (6.8s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
7.99/8.05 c (6.8s) probing aborted: 100/100 successive totally useless probings
7.99/8.05 c presolving (5 rounds):
7.99/8.05 c 974 deleted vars, 1948 deleted constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
7.99/8.05 c 489082 implications, 0 cliques
7.99/8.05 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51299 constraints
7.99/8.05 c 1 constraints of type <knapsack>
7.99/8.05 c 51298 constraints of type <logicor>
7.99/8.05 c transformed objective value is always integral (scale: 1)
7.99/8.05 c Presolving Time: 6.73
7.99/8.05 c - non default parameters ----------------------------------------------------------------------
7.99/8.05 c # SCIP version 1.2.1.2
7.99/8.05 c
7.99/8.05 c # frequency for displaying node information lines
7.99/8.05 c # [type: int, range: [-1,2147483647], default: 100]
7.99/8.05 c display/freq = 10000
7.99/8.05 c
7.99/8.05 c # maximal time in seconds to run
7.99/8.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.05 c limits/time = 1799.1
7.99/8.05 c
7.99/8.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.05 c limits/memory = 1620
7.99/8.05 c
7.99/8.05 c # should presolving try to simplify inequalities
7.99/8.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.05 c constraints/linear/simplifyinequalities = TRUE
7.99/8.05 c
7.99/8.05 c # should presolving try to simplify knapsacks
7.99/8.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.05 c constraints/knapsack/simplifyinequalities = TRUE
7.99/8.05 c
7.99/8.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.99/8.05 c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.05 c separating/rapidlearning/freq = 0
7.99/8.05 c
7.99/8.05 c -----------------------------------------------------------------------------------------------
7.99/8.05 c start solving
7.99/8.06 c
24.19/24.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.19/24.24 c 22.8s| 1 | 0 | 7403 | - | 108M| 0 |1999 | 13k| 51k| 13k| 51k| 0 | 0 | 0 | 1.059100e+01 | -- | Inf
61.47/61.53 o 28
61.47/61.53 c E59.1s| 1 | 0 | 7403 | - | 108M| 0 |1999 | 13k| 51k| 13k| 51k| 0 | 0 | 0 | 1.059100e+01 | 2.800000e+01 | 164.38%
61.57/61.63 c 59.2s| 1 | 0 | 7403 | - | 108M| 0 |1999 | 13k| 51k| 13k| 51k| 0 | 0 | 0 | 1.059100e+01 | 2.800000e+01 | 164.38%
178.94/179.02 c 176s| 1 | 2 | 7403 | - | 108M| 0 |1999 | 13k| 51k| 13k| 51k| 0 | 0 | 18 | 1.059100e+01 | 2.800000e+01 | 164.38%
1800.01/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-2665391-1276640725/watcher-2665391-1276640725 -o /tmp/evaluation-result-2665391-1276640725/solver-2665391-1276640725 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665391-1276640725.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13534
/proc/meminfo: memFree=1818176/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=9288 CPUtime=0
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1154 0 0 0 0 0 0 0 21 0 1 0 5366032 9510912 1075 1992294400 4194304 9819077 140733387030160 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13534/statm: 2322 1084 371 1374 0 943 0
[startup+0.101248 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13534
/proc/meminfo: memFree=1818176/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=16608 CPUtime=0.09
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 3072 0 0 0 9 0 0 0 23 0 1 0 5366032 17006592 2994 1992294400 4194304 9819077 140733387030160 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13534/statm: 4152 3007 388 1374 0 2773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16608
[startup+0.201259 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13534
/proc/meminfo: memFree=1818176/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=21076 CPUtime=0.19
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 4187 0 0 0 18 1 0 0 23 0 1 0 5366032 21581824 4108 1992294400 4194304 9819077 140733387030160 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13534/statm: 5269 4108 388 1374 0 3890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21076
[startup+0.30127 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13534
/proc/meminfo: memFree=1818176/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=22236 CPUtime=0.29
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 4489 0 0 0 28 1 0 0 23 0 1 0 5366032 22769664 4410 1992294400 4194304 9819077 140733387030160 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13534/statm: 5559 4410 388 1374 0 4180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22236
[startup+0.701314 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13534
/proc/meminfo: memFree=1818176/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=34552 CPUtime=0.69
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 7575 0 0 0 67 2 0 0 25 0 1 0 5366032 35381248 7496 1992294400 4194304 9819077 140733387030160 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13534/statm: 8638 7496 388 1374 0 7259 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34552
[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1738560/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=102036 CPUtime=1.49
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 24372 0 0 0 138 11 0 0 25 0 1 0 5366032 104484864 23939 1992294400 4194304 9819077 140733387030160 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 25509 23939 491 1374 0 24130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102036
[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1698384/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=130036 CPUtime=3.09
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 37836 0 0 0 281 28 0 0 25 0 1 0 5366032 133156864 30973 1992294400 4194304 9819077 140733387030160 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 32509 30973 522 1374 0 31130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 130036
[startup+6.30093 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1692184/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=134184 CPUtime=6.29
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 38877 0 0 0 599 30 0 0 25 0 1 0 5366032 137404416 32014 1992294400 4194304 9819077 140733387030160 18446744073709551615 5992863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 33546 32014 522 1374 0 32167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134184
[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1641468/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=212356 CPUtime=12.69
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 69359 0 0 0 1223 46 0 0 25 0 1 0 5366032 217452544 44860 1992294400 4194304 9819077 140733387030160 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 53089 44860 645 1374 0 51710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 212356
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1638864/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=220228 CPUtime=25.49
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 110945 0 0 0 2485 64 0 0 25 0 1 0 5366032 225513472 45242 1992294400 4194304 9819077 140733387030160 18446744073709551615 7311663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 55057 45242 668 1374 0 53678 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 220228
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13535
/proc/meminfo: memFree=1544500/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=319088 CPUtime=51.06
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 145935 0 0 0 4980 126 0 0 25 0 1 0 5366032 326746112 68768 1992294400 4194304 9819077 140733387030160 18446744073709551615 7816463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 79772 68768 723 1374 0 78393 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 319088
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13537
/proc/meminfo: memFree=1619644/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=262736 CPUtime=102.26
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 221490 0 0 0 10046 180 0 0 25 0 1 0 5366032 269041664 50137 1992294400 4194304 9819077 140733387030160 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 65684 50137 741 1374 0 64305 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 262736
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13539
/proc/meminfo: memFree=1619892/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=262736 CPUtime=162.24
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 320657 0 0 0 15996 228 0 0 25 0 1 0 5366032 269041664 50166 1992294400 4194304 9819077 140733387030160 18446744073709551615 7292219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 65684 50166 741 1374 0 64305 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 262736
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13541
/proc/meminfo: memFree=1625596/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=224616 CPUtime=222.23
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 392557 0 0 0 21955 268 0 0 25 0 1 0 5366032 230006784 48630 1992294400 4194304 9819077 140733387030160 18446744073709551615 7294735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 56154 48630 741 1374 0 54775 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 224616
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13541
/proc/meminfo: memFree=1618900/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=265960 CPUtime=282.2
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 474522 0 0 0 27907 313 0 0 25 0 1 0 5366032 272343040 50369 1992294400 4194304 9819077 140733387030160 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66490 50369 741 1374 0 65111 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 265960
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13543
/proc/meminfo: memFree=1618280/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=265960 CPUtime=342.19
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 560640 0 0 0 33865 354 0 0 25 0 1 0 5366032 272343040 50468 1992294400 4194304 9819077 140733387030160 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66490 50468 741 1374 0 65111 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 265960
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13545
/proc/meminfo: memFree=1618280/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=255320 CPUtime=402.18
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 652874 0 0 0 39818 400 0 0 25 0 1 0 5366032 261447680 50255 1992294400 4194304 9819077 140733387030160 18446744073709551615 7228067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 63830 50255 741 1374 0 62451 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 255320
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13550
/proc/meminfo: memFree=1618032/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=265960 CPUtime=462.16
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 742524 0 0 0 45770 446 0 0 25 0 1 0 5366032 272343040 50403 1992294400 4194304 9819077 140733387030160 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66490 50403 741 1374 0 65111 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 265960
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13552
/proc/meminfo: memFree=1617784/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=265960 CPUtime=522.14
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 837627 0 0 0 51720 494 0 0 25 0 1 0 5366032 272343040 50299 1992294400 4194304 9819077 140733387030160 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66490 50299 741 1374 0 65111 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 265960
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13552
/proc/meminfo: memFree=1617784/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=266548 CPUtime=582.12
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 904517 0 0 0 57679 533 0 0 25 0 1 0 5366032 272945152 50473 1992294400 4194304 9819077 140733387030160 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66637 50475 741 1374 0 65258 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 266548
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13554
/proc/meminfo: memFree=1617412/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=266548 CPUtime=642.11
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1003628 0 0 0 63629 582 0 0 25 0 1 0 5366032 272945152 50308 1992294400 4194304 9819077 140733387030160 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 66637 50308 741 1374 0 65258 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 266548
[startup+702.301 s]
################
# More data... #
################
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1455480 0 0 0 99378 823 0 0 25 0 1 0 5366032 276058112 51077 1992294400 4194304 9819077 140733387030160 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 67397 51077 746 1374 0 66018 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 269588
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13566
/proc/meminfo: memFree=1615552/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=269484 CPUtime=1062
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1547657 0 0 0 105335 865 0 0 25 0 1 0 5366032 275951616 50926 1992294400 4194304 9819077 140733387030160 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 67371 50926 746 1374 0 65992 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 269484
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13568
/proc/meminfo: memFree=1622124/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=228812 CPUtime=1121.98
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1615676 0 0 0 111293 905 0 0 25 0 1 0 5366032 234303488 49420 1992294400 4194304 9819077 140733387030160 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57203 49420 746 1374 0 55824 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 228812
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13568
/proc/meminfo: memFree=1624356/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=229888 CPUtime=1181.97
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1661595 0 0 0 117265 932 0 0 25 0 1 0 5366032 235405312 48959 1992294400 4194304 9819077 140733387030160 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57472 48959 746 1374 0 56093 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 229888
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13570
/proc/meminfo: memFree=1616668/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=272060 CPUtime=1241.96
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1730891 0 0 0 123225 971 0 0 25 0 1 0 5366032 278589440 50707 1992294400 4194304 9819077 140733387030160 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 68015 50707 746 1374 0 66636 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 272060
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13572
/proc/meminfo: memFree=1623984/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=229476 CPUtime=1301.93
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1797399 0 0 0 129186 1007 0 0 25 0 1 0 5366032 234983424 48948 1992294400 4194304 9819077 140733387030160 18446744073709551615 7311248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57369 48948 746 1374 0 55990 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 229476
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13574
/proc/meminfo: memFree=1616916/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=272088 CPUtime=1361.92
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1854726 0 0 0 135151 1041 0 0 25 0 1 0 5366032 278618112 50632 1992294400 4194304 9819077 140733387030160 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 68022 50632 746 1374 0 66643 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 272088
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13576
/proc/meminfo: memFree=1616172/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=272088 CPUtime=1421.92
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1925592 0 0 0 141112 1080 0 0 25 0 1 0 5366032 278618112 50786 1992294400 4194304 9819077 140733387030160 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 68022 50786 746 1374 0 66643 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 272088
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13576
/proc/meminfo: memFree=1622496/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=229612 CPUtime=1481.89
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 1994299 0 0 0 147069 1120 0 0 25 0 1 0 5366032 235122688 48862 1992294400 4194304 9819077 140733387030160 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57403 48862 746 1374 0 56024 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 229612
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13578
/proc/meminfo: memFree=1622496/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=230140 CPUtime=1541.89
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2050771 0 0 0 153029 1160 0 0 25 0 1 0 5366032 235663360 49222 1992294400 4194304 9819077 140733387030160 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57535 49222 746 1374 0 56156 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 230140
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13580
/proc/meminfo: memFree=1622620/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=230140 CPUtime=1601.86
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2111994 0 0 0 158987 1199 0 0 25 0 1 0 5366032 235663360 48950 1992294400 4194304 9819077 140733387030160 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57535 48950 746 1374 0 56156 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 230140
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13582
/proc/meminfo: memFree=1623612/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=230236 CPUtime=1661.84
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2171997 0 0 0 164946 1238 0 0 25 0 1 0 5366032 235761664 48975 1992294400 4194304 9819077 140733387030160 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57559 48975 746 1374 0 56180 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 230236
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13584
/proc/meminfo: memFree=1622372/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=231136 CPUtime=1721.83
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2242331 0 0 0 170902 1281 0 0 25 0 1 0 5366032 236683264 49257 1992294400 4194304 9819077 140733387030160 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57784 49257 746 1374 0 56405 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 231136
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13584
/proc/meminfo: memFree=1621008/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=231060 CPUtime=1781.81
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2305302 0 0 0 176860 1321 0 0 25 0 1 0 5366032 236605440 49174 1992294400 4194304 9819077 140733387030160 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57765 49174 746 1374 0 56386 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 231060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13586
/proc/meminfo: memFree=1620016/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=232020 CPUtime=1800.01
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2326248 0 0 0 178667 1334 0 0 25 0 1 0 5366032 237588480 49755 1992294400 4194304 9819077 140733387030160 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 58005 49755 746 1374 0 56626 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 232020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13534
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1619760/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=231972 CPUtime=1801.01
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2327745 0 0 0 178766 1335 0 0 25 0 1 0 5366032 237539328 49558 1992294400 4194304 9819077 140733387030160 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57993 49558 746 1374 0 56614 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 231972
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1620256/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=231972 CPUtime=1801.81
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2327982 0 0 0 178846 1335 0 0 25 0 1 0 5366032 237539328 49795 1992294400 4194304 9819077 140733387030160 18446744073709551615 7300432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57993 49795 746 1374 0 56614 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 231972
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1620256/2059040 swapFree=4164960/4192956
[pid=13534] ppid=13532 vsize=231972 CPUtime=1802.01
/proc/13534/stat : 13534 (pbscip.linux.x8) R 13532 13534 12967 0 -1 4202496 2328040 0 0 0 178866 1335 0 0 25 0 1 0 5366032 237539328 49853 1992294400 4194304 9819077 140733387030160 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13534/statm: 57993 49853 746 1374 0 56614 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 231972
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.04
CPU user time (s): 1788.67
CPU system time (s): 13.375
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 322336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.67
system time used= 13.375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2328040
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= 2504
runsolver used 2.91956 second user time and 8.5667 second system time
The end