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-2665394-1276641611.opb>
1.29/1.38 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
1.29/1.38 c problem read
1.29/1.38 c presolving settings loaded
1.69/1.77 c presolving:
2.69/2.73 c (round 1) 1339 del vars, 2653 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
2.80/2.81 c (round 2) 1339 del vars, 2683 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
3.49/3.58 c (round 3) 1339 del vars, 2684 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
8.89/8.91 c (7.1s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
8.89/8.91 c (7.1s) probing aborted: 100/100 successive totally useless probings
8.89/8.91 c presolving (4 rounds):
8.89/8.91 c 1339 deleted vars, 2684 deleted constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
8.89/8.91 c 738758 implications, 0 cliques
8.89/8.91 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
8.89/8.91 c 1 constraints of type <knapsack>
8.89/8.91 c 77061 constraints of type <logicor>
8.89/8.91 c transformed objective value is always integral (scale: 1)
8.89/8.91 c Presolving Time: 6.89
8.89/8.91 c - non default parameters ----------------------------------------------------------------------
8.89/8.91 c # SCIP version 1.2.1.2
8.89/8.91 c
8.89/8.91 c # frequency for displaying node information lines
8.89/8.91 c # [type: int, range: [-1,2147483647], default: 100]
8.89/8.91 c display/freq = 10000
8.89/8.91 c
8.89/8.91 c # maximal time in seconds to run
8.89/8.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.89/8.91 c limits/time = 1798.63
8.89/8.91 c
8.89/8.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.89/8.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.89/8.91 c limits/memory = 1620
8.89/8.91 c
8.89/8.91 c # should presolving try to simplify inequalities
8.89/8.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.89/8.91 c constraints/linear/simplifyinequalities = TRUE
8.89/8.91 c
8.89/8.91 c # should presolving try to simplify knapsacks
8.89/8.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.89/8.91 c constraints/knapsack/simplifyinequalities = TRUE
8.89/8.91 c
8.89/8.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.89/8.91 c # [type: int, range: [-1,2147483647], default: -1]
8.89/8.91 c separating/rapidlearning/freq = 0
8.89/8.91 c
8.89/8.91 c -----------------------------------------------------------------------------------------------
8.89/8.91 c start solving
8.89/8.94 c
63.87/63.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.87/63.91 c 61.6s| 1 | 0 | 13148 | - | 161M| 0 |6267 | 19k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | -- | Inf
255.91/256.08 o 34
255.91/256.08 c E 250s| 1 | 0 | 13148 | - | 162M| 0 |6267 | 19k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | 3.400000e+01 | 220.47%
256.22/256.37 c 251s| 1 | 0 | 13148 | - | 162M| 0 |6267 | 19k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | 3.400000e+01 | 220.47%
497.33/497.54 c 490s| 1 | 2 | 13148 | - | 162M| 0 |6267 | 19k| 77k| 19k| 77k| 0 | 0 | 18 | 1.060954e+01 | 3.400000e+01 | 220.47%
1800.01/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-2665394-1276641611/watcher-2665394-1276641611 -o /tmp/evaluation-result-2665394-1276641611/solver-2665394-1276641611 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665394-1276641611.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.74 1.95 1.64 3/106 6149
/proc/meminfo: memFree=1799004/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=9288 CPUtime=0
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1045 0 0 0 0 0 0 0 18 0 1 0 39762549 9510912 965 1992294400 4194304 9819077 140734027282880 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6149/statm: 2322 974 371 1374 0 943 0
[startup+0.0231249 s]
/proc/loadavg: 1.74 1.95 1.64 3/106 6149
/proc/meminfo: memFree=1799004/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=12152 CPUtime=0.01
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1960 0 0 0 1 0 0 0 20 0 1 0 39762549 12443648 1880 1992294400 4194304 9819077 140734027282880 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6149/statm: 3038 1880 388 1374 0 1659 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12152
[startup+0.101138 s]
/proc/loadavg: 1.74 1.95 1.64 3/106 6149
/proc/meminfo: memFree=1799004/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=16684 CPUtime=0.09
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 3091 0 0 0 9 0 0 0 20 0 1 0 39762549 17084416 3011 1992294400 4194304 9819077 140734027282880 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6149/statm: 4171 3011 388 1374 0 2792 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16684
[startup+0.301173 s]
/proc/loadavg: 1.74 1.95 1.64 3/106 6149
/proc/meminfo: memFree=1799004/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=22324 CPUtime=0.29
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 4528 0 0 0 28 1 0 0 20 0 1 0 39762549 22859776 4448 1992294400 4194304 9819077 140734027282880 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6149/statm: 5581 4448 388 1374 0 4202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22324
[startup+0.701241 s]
/proc/loadavg: 1.74 1.95 1.64 3/106 6149
/proc/meminfo: memFree=1799004/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=34680 CPUtime=0.7
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 7582 0 0 0 67 3 0 0 20 0 1 0 39762549 35512320 7502 1992294400 4194304 9819077 140734027282880 18446744073709551615 8080981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6149/statm: 8670 7502 388 1374 0 7291 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 34680
[startup+1.50138 s]
/proc/loadavg: 1.74 1.95 1.64 2/107 6150
/proc/meminfo: memFree=1761300/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=93404 CPUtime=1.49
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 22576 0 0 0 140 9 0 0 23 0 1 0 39762549 95645696 22109 1992294400 4194304 9819077 140734027282880 18446744073709551615 6181182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 23351 22109 429 1374 0 21972 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93404
[startup+3.10165 s]
/proc/loadavg: 1.74 1.95 1.64 2/107 6150
/proc/meminfo: memFree=1671772/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=169836 CPUtime=3.09
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 42848 0 0 0 274 35 0 0 25 0 1 0 39762549 173912064 40519 1992294400 4194304 9819077 140734027282880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 42459 40519 501 1374 0 41080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 169836
[startup+6.3012 s]
/proc/loadavg: 1.68 1.93 1.64 2/107 6150
/proc/meminfo: memFree=1616716/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=191440 CPUtime=6.29
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 53148 0 0 0 579 50 0 0 25 0 1 0 39762549 196034560 46013 1992294400 4194304 9819077 140734027282880 18446744073709551615 4223074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 47860 46013 532 1374 0 46481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191440
[startup+12.7013 s]
/proc/loadavg: 1.62 1.92 1.63 2/107 6150
/proc/meminfo: memFree=1537480/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=308376 CPUtime=12.68
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 92982 0 0 0 1202 66 0 0 25 0 1 0 39762549 315777024 65791 1992294400 4194304 9819077 140734027282880 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 77094 65791 646 1374 0 75715 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 308376
[startup+25.5005 s]
/proc/loadavg: 1.48 1.87 1.62 2/107 6150
/proc/meminfo: memFree=1536116/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=318396 CPUtime=25.49
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 111855 0 0 0 2471 78 0 0 25 0 1 0 39762549 326037504 66178 1992294400 4194304 9819077 140734027282880 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 79599 66178 646 1374 0 78220 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 318396
[startup+51.1009 s]
/proc/loadavg: 1.32 1.80 1.61 2/107 6150
/proc/meminfo: memFree=1531652/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=324348 CPUtime=51.07
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 134046 0 0 0 5016 91 0 0 25 0 1 0 39762549 332132352 66364 1992294400 4194304 9819077 140734027282880 18446744073709551615 7311116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 81087 66364 646 1374 0 79708 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 324348
[startup+102.309 s]
/proc/loadavg: 1.14 1.67 1.57 2/107 6152
/proc/meminfo: memFree=1532148/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=328292 CPUtime=102.27
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 182355 0 0 0 10104 123 0 0 25 0 1 0 39762549 336171008 67037 1992294400 4194304 9819077 140734027282880 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 82073 67037 671 1374 0 80694 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 328292
[startup+162.301 s]
/proc/loadavg: 1.05 1.55 1.53 2/107 6154
/proc/meminfo: memFree=1352720/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=536084 CPUtime=162.24
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 268358 0 0 0 15985 239 0 0 25 0 1 0 39762549 548950016 112006 1992294400 4194304 9819077 140734027282880 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 134021 112006 692 1374 0 132642 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 536084
[startup+222.3 s]
/proc/loadavg: 1.02 1.45 1.50 2/107 6156
/proc/meminfo: memFree=1352224/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=519028 CPUtime=222.22
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 480871 0 0 0 21869 353 0 0 25 0 1 0 39762549 531484672 112038 1992294400 4194304 9819077 140734027282880 18446744073709551615 6668692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 129757 112038 714 1374 0 128378 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 519028
[startup+282.302 s]
/proc/loadavg: 1.00 1.36 1.46 2/107 6156
/proc/meminfo: memFree=1502760/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=360024 CPUtime=282.2
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 630170 0 0 0 27782 438 0 0 25 0 1 0 39762549 368664576 74355 1992294400 4194304 9819077 140734027282880 18446744073709551615 7311860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 90006 74355 725 1374 0 88627 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 360024
[startup+342.301 s]
/proc/loadavg: 1.00 1.29 1.43 2/107 6158
/proc/meminfo: memFree=1503752/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=397096 CPUtime=342.18
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 649998 0 0 0 33756 462 0 0 25 0 1 0 39762549 406626304 74272 1992294400 4194304 9819077 140734027282880 18446744073709551615 7289202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99274 74272 731 1374 0 97895 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 397096
[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.40 2/107 6160
/proc/meminfo: memFree=1505488/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=396688 CPUtime=402.16
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 729200 0 0 0 39716 500 0 0 25 0 1 0 39762549 406208512 74315 1992294400 4194304 9819077 140734027282880 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99172 74315 731 1374 0 97793 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 396688
[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.37 2/107 6162
/proc/meminfo: memFree=1506108/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=396456 CPUtime=462.15
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 818576 0 0 0 45673 542 0 0 25 0 1 0 39762549 405970944 73652 1992294400 4194304 9819077 140734027282880 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99114 73652 731 1374 0 97735 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 396456
[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.35 2/107 6164
/proc/meminfo: memFree=1513796/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334760 CPUtime=522.13
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 880581 0 0 0 51640 573 0 0 25 0 1 0 39762549 342794240 71395 1992294400 4194304 9819077 140734027282880 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83690 71395 731 1374 0 82311 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 334760
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.32 2/107 6164
/proc/meminfo: memFree=1514168/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335000 CPUtime=582.1
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 917497 0 0 0 57614 596 0 0 25 0 1 0 39762549 343040000 71644 1992294400 4194304 9819077 140734027282880 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83750 71644 731 1374 0 82371 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 335000
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.30 2/107 6166
/proc/meminfo: memFree=1514540/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335124 CPUtime=642.09
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 959317 0 0 0 63587 622 0 0 25 0 1 0 39762549 343166976 71510 1992294400 4194304 9819077 140734027282880 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83781 71510 731 1374 0 82402 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 335124
[startup+702.301 s]
################
# More data... #
################
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1254122 0 0 0 99416 780 0 0 25 0 1 0 39762549 408653824 74548 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99769 74548 731 1374 0 98390 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 399076
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/107 6178
/proc/meminfo: memFree=1513796/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335028 CPUtime=1061.95
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1314891 0 0 0 105383 812 0 0 25 0 1 0 39762549 343068672 71727 1992294400 4194304 9819077 140734027282880 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83757 71727 731 1374 0 82378 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 335028
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 6180
/proc/meminfo: memFree=1513548/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335240 CPUtime=1121.93
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1351346 0 0 0 111359 834 0 0 25 0 1 0 39762549 343285760 71708 1992294400 4194304 9819077 140734027282880 18446744073709551615 7293662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83810 71708 731 1374 0 82431 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 335240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 6180
/proc/meminfo: memFree=1513796/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335336 CPUtime=1181.91
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1390900 0 0 0 117332 859 0 0 25 0 1 0 39762549 343384064 71696 1992294400 4194304 9819077 140734027282880 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83834 71696 731 1374 0 82455 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 335336
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 6182
/proc/meminfo: memFree=1498420/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=399320 CPUtime=1241.89
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1428767 0 0 0 123310 879 0 0 25 0 1 0 39762549 408903680 74023 1992294400 4194304 9819077 140734027282880 18446744073709551615 7311824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99830 74023 731 1374 0 98451 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 399320
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 6193
/proc/meminfo: memFree=1501892/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=399508 CPUtime=1301.86
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1491133 0 0 0 129278 908 0 0 25 0 1 0 39762549 409096192 74469 1992294400 4194304 9819077 140734027282880 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99877 74469 731 1374 0 98498 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 399508
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 6195
/proc/meminfo: memFree=1502760/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=399220 CPUtime=1361.83
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1560359 0 0 0 135243 940 0 0 25 0 1 0 39762549 408801280 74299 1992294400 4194304 9819077 140734027282880 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99805 74299 731 1374 0 98426 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 399220
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 6197
/proc/meminfo: memFree=1503008/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=399012 CPUtime=1421.82
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1618152 0 0 0 141212 970 0 0 25 0 1 0 39762549 408588288 74224 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99753 74224 731 1374 0 98374 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 399012
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 6197
/proc/meminfo: memFree=1513300/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335048 CPUtime=1481.79
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1662117 0 0 0 147185 994 0 0 25 0 1 0 39762549 343089152 71688 1992294400 4194304 9819077 140734027282880 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83762 71688 731 1374 0 82383 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 335048
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 6199
/proc/meminfo: memFree=1513796/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=335096 CPUtime=1541.78
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1711419 0 0 0 153155 1023 0 0 25 0 1 0 39762549 343138304 71541 1992294400 4194304 9819077 140734027282880 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83774 71541 731 1374 0 82395 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 335096
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 6201
/proc/meminfo: memFree=1503628/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=398068 CPUtime=1601.76
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1770855 0 0 0 159122 1054 0 0 25 0 1 0 39762549 407621632 74095 1992294400 4194304 9819077 140734027282880 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99517 74095 731 1374 0 98138 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 398068
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 6203
/proc/meminfo: memFree=1503256/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=398276 CPUtime=1661.74
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1848328 0 0 0 165082 1092 0 0 25 0 1 0 39762549 407834624 74146 1992294400 4194304 9819077 140734027282880 18446744073709551615 7300423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99569 74146 731 1374 0 98190 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 398276
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 6205
/proc/meminfo: memFree=1503008/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=398068 CPUtime=1721.72
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1907614 0 0 0 171049 1123 0 0 25 0 1 0 39762549 407621632 74263 1992294400 4194304 9819077 140734027282880 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 99517 74263 731 1374 0 98138 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 398068
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 6205
/proc/meminfo: memFree=1513052/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334644 CPUtime=1781.7
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1952358 0 0 0 177021 1149 0 0 25 0 1 0 39762549 342675456 71727 1992294400 4194304 9819077 140734027282880 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83661 71727 731 1374 0 82282 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 334644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 6207
/proc/meminfo: memFree=1512556/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334596 CPUtime=1800.01
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1963864 0 0 0 178844 1157 0 0 25 0 1 0 39762549 342626304 71777 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83649 71777 731 1374 0 82270 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 334596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6149
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 6207
/proc/meminfo: memFree=1512556/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334596 CPUtime=1800.8
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1963932 0 0 0 178923 1157 0 0 25 0 1 0 39762549 342626304 71845 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83649 71845 731 1374 0 82270 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 334596
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 6208
/proc/meminfo: memFree=1514036/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334692 CPUtime=1801.59
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1966391 0 0 0 179001 1158 0 0 25 0 1 0 39762549 342724608 71445 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83673 71445 731 1374 0 82294 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 334692
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 6208
/proc/meminfo: memFree=1514036/2059040 swapFree=4136120/4192956
[pid=6149] ppid=6147 vsize=334692 CPUtime=1801.99
/proc/6149/stat : 6149 (pbscip.linux.x8) R 6147 6149 6124 0 -1 4202496 1966429 0 0 0 179041 1158 0 0 25 0 1 0 39762549 342724608 71483 1992294400 4194304 9819077 140734027282880 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6149/statm: 83673 71483 731 1374 0 82294 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 334692
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.05
CPU user time (s): 1790.43
CPU system time (s): 11.6182
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 538340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.43
system time used= 11.6182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1966430
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= 6078
runsolver used 3.02754 second user time and 8.45871 second system time
The end