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-2665387-1276639476.opb>
0.29/0.38 c original problem has 6076 variables (6076 bin, 0 int, 0 impl, 0 cont) and 21401 constraints
0.29/0.38 c problem read
0.29/0.38 c presolving settings loaded
0.39/0.49 c presolving:
0.69/0.71 c (round 1) 605 del vars, 1197 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 164610 impls, 0 clqs
0.69/0.74 c (round 2) 605 del vars, 1209 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 164610 impls, 0 clqs
0.89/0.96 c (round 3) 605 del vars, 1213 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 164610 impls, 0 clqs
1.79/1.89 c (1.4s) probing: 410/5471 (7.5%) - 0 fixings, 1 aggregations, 2603 implications, 0 bound changes
1.79/1.89 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.79/1.89 c (round 4) 606 del vars, 1213 del conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 169628 impls, 0 clqs
1.89/1.96 c (1.4s) probing: 420/5471 (7.7%) - 0 fixings, 1 aggregations, 2603 implications, 0 bound changes
1.89/1.96 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.89/1.96 c presolving (5 rounds):
1.89/1.96 c 606 deleted vars, 1213 deleted constraints, 5 tightened bounds, 0 added holes, 4 changed sides, 8 changed coefficients
1.89/1.96 c 169628 implications, 0 cliques
1.89/1.96 c presolved problem has 5470 variables (5470 bin, 0 int, 0 impl, 0 cont) and 20188 constraints
1.89/1.96 c 1 constraints of type <knapsack>
1.89/1.96 c 20187 constraints of type <logicor>
1.89/1.96 c transformed objective value is always integral (scale: 1)
1.89/1.96 c Presolving Time: 1.39
1.89/1.96 c - non default parameters ----------------------------------------------------------------------
1.89/1.96 c # SCIP version 1.2.1.2
1.89/1.96 c
1.89/1.96 c # frequency for displaying node information lines
1.89/1.96 c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.96 c display/freq = 10000
1.89/1.96 c
1.89/1.96 c # maximal time in seconds to run
1.89/1.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.96 c limits/time = 1799.63
1.89/1.96 c
1.89/1.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.96 c limits/memory = 1620
1.89/1.96 c
1.89/1.96 c # should presolving try to simplify inequalities
1.89/1.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.96 c constraints/linear/simplifyinequalities = TRUE
1.89/1.96 c
1.89/1.96 c # should presolving try to simplify knapsacks
1.89/1.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.96 c constraints/knapsack/simplifyinequalities = TRUE
1.89/1.96 c
1.89/1.96 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.89/1.96 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.96 c separating/rapidlearning/freq = 0
1.89/1.96 c
1.89/1.96 c -----------------------------------------------------------------------------------------------
1.89/1.96 c start solving
1.89/1.97 c
6.79/6.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.86 c 6.2s| 1 | 0 | 4622 | - | 42M| 0 |1998 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | -- | Inf
40.08/40.16 o 28
40.08/40.16 c E38.6s| 1 | 0 | 4622 | - | 43M| 0 |1998 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | 2.800000e+01 | 163.90%
40.18/40.24 c 38.7s| 1 | 0 | 4622 | - | 43M| 0 |1998 |5470 | 20k|5470 | 20k| 0 | 0 | 0 | 1.061016e+01 | 2.800000e+01 | 163.90%
113.96/114.05 c 112s| 1 | 2 | 4622 | - | 43M| 0 |1998 |5470 | 20k|5470 | 20k| 0 | 0 | 24 | 1.061016e+01 | 2.800000e+01 | 163.90%
1793.36/1793.89 o 27
1793.36/1793.89 c l1776s| 104 | 105 |626097 |6033.7 | 45M| 25 | - |5470 | 20k|5470 | 20k| 0 | 210 | 257 | 1.090046e+01 | 2.700000e+01 | 147.70%
1800.06/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-2665387-1276639476/watcher-2665387-1276639476 -o /tmp/evaluation-result-2665387-1276639476/solver-2665387-1276639476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665387-1276639476.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/106 11581
/proc/meminfo: memFree=1850068/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=8260 CPUtime=0
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1006 0 0 0 0 0 0 0 18 0 1 0 5239194 8458240 927 1992294400 4194304 9819077 140737406688272 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11581/statm: 2065 928 366 1374 0 686 0
[startup+0.0427029 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11581
/proc/meminfo: memFree=1850068/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=12716 CPUtime=0.03
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2119 0 0 0 3 0 0 0 20 0 1 0 5239194 13021184 2040 1992294400 4194304 9819077 140737406688272 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11581/statm: 3179 2040 388 1374 0 1800 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12716
[startup+0.100708 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11581
/proc/meminfo: memFree=1850068/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=15436 CPUtime=0.09
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2802 0 0 0 8 1 0 0 20 0 1 0 5239194 15806464 2723 1992294400 4194304 9819077 140737406688272 18446744073709551615 8667862 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11581/statm: 3859 2723 388 1374 0 2480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15436
[startup+0.300725 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11581
/proc/meminfo: memFree=1850068/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=22280 CPUtime=0.29
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 4519 0 0 0 28 1 0 0 20 0 1 0 5239194 22814720 4440 1992294400 4194304 9819077 140737406688272 18446744073709551615 4907728 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11581/statm: 5570 4440 388 1374 0 4191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22280
[startup+0.70076 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11581
/proc/meminfo: memFree=1850068/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=53140 CPUtime=0.69
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 12324 0 0 0 63 6 0 0 20 0 1 0 5239194 54415360 11891 1992294400 4194304 9819077 140737406688272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 13285 11891 491 1374 0 11906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53140
[startup+1.50083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11582
/proc/meminfo: memFree=1796368/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=62796 CPUtime=1.49
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 18304 0 0 0 135 14 0 0 23 0 1 0 5239194 64303104 14416 1992294400 4194304 9819077 140737406688272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 15699 14416 520 1374 0 14320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62796
[startup+3.10097 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11582
/proc/meminfo: memFree=1773676/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=92736 CPUtime=3.09
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 30095 0 0 0 289 20 0 0 25 0 1 0 5239194 94961664 19955 1992294400 4194304 9819077 140737406688272 18446744073709551615 7226134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 23184 19955 645 1374 0 21805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92736
[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11582
/proc/meminfo: memFree=1770948/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=99104 CPUtime=6.29
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 34488 0 0 0 606 23 0 0 25 0 1 0 5239194 101482496 20291 1992294400 4194304 9819077 140737406688272 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 24776 20291 645 1374 0 23397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99104
[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11582
/proc/meminfo: memFree=1770328/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=100092 CPUtime=12.69
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 45502 0 0 0 1239 30 0 0 25 0 1 0 5239194 102494208 20433 1992294400 4194304 9819077 140737406688272 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25023 20433 677 1374 0 23644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100092
[startup+25.5009 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 11584
/proc/meminfo: memFree=1715768/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=158088 CPUtime=25.49
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 74329 0 0 0 2485 64 0 0 25 0 1 0 5239194 161882112 34014 1992294400 4194304 9819077 140737406688272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 39522 34014 714 1374 0 38143 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 158088
[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11584
/proc/meminfo: memFree=1764128/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=105888 CPUtime=51.08
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 152286 0 0 0 4990 118 0 0 25 0 1 0 5239194 108429312 21882 1992294400 4194304 9819077 140737406688272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26472 21882 725 1374 0 25093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105888
[startup+102.309 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11586
/proc/meminfo: memFree=1764128/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=119248 CPUtime=102.27
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 205169 0 0 0 10069 158 0 0 25 0 1 0 5239194 122109952 22047 1992294400 4194304 9819077 140737406688272 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 29812 22047 731 1374 0 28433 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119248
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11586
/proc/meminfo: memFree=1765120/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=119812 CPUtime=162.26
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 262654 0 0 0 16024 202 0 0 25 0 1 0 5239194 122687488 21855 1992294400 4194304 9819077 140737406688272 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 29953 21855 731 1374 0 28574 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 119812
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11588
/proc/meminfo: memFree=1764872/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=119996 CPUtime=222.24
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 319602 0 0 0 21977 247 0 0 25 0 1 0 5239194 122875904 21833 1992294400 4194304 9819077 140737406688272 18446744073709551615 7291863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 29999 21833 731 1374 0 28620 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 119996
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11590
/proc/meminfo: memFree=1767104/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=101692 CPUtime=282.22
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 375099 0 0 0 27930 292 0 0 25 0 1 0 5239194 104132608 21291 1992294400 4194304 9819077 140737406688272 18446744073709551615 6656802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25423 21291 731 1374 0 24044 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 101692
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11592
/proc/meminfo: memFree=1764500/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=119816 CPUtime=342.21
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 432009 0 0 0 33886 335 0 0 25 0 1 0 5239194 122691584 21688 1992294400 4194304 9819077 140737406688272 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 29954 21688 731 1374 0 28575 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 119816
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1766856/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=101564 CPUtime=402.2
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 487168 0 0 0 39844 376 0 0 25 0 1 0 5239194 104001536 21330 1992294400 4194304 9819077 140737406688272 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25391 21331 731 1374 0 24012 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 101564
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1766732/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=101716 CPUtime=462.18
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 542006 0 0 0 45799 419 0 0 25 0 1 0 5239194 104157184 21304 1992294400 4194304 9819077 140737406688272 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25429 21304 731 1374 0 24050 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 101716
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11596
/proc/meminfo: memFree=1766484/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=101544 CPUtime=522.17
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 619552 0 0 0 51745 472 0 0 25 0 1 0 5239194 103981056 21290 1992294400 4194304 9819077 140737406688272 18446744073709551615 7816368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25386 21290 731 1374 0 24007 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 101544
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11598
/proc/meminfo: memFree=1764748/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=104256 CPUtime=582.15
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 696518 0 0 0 57686 529 0 0 25 0 1 0 5239194 106758144 21663 1992294400 4194304 9819077 140737406688272 18446744073709551615 6192329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26064 21663 731 1374 0 24685 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 104256
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11600
/proc/meminfo: memFree=1765864/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=102176 CPUtime=642.14
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 749550 0 0 0 63642 572 0 0 25 0 1 0 5239194 104628224 21514 1992294400 4194304 9819077 140737406688272 18446744073709551615 7292216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25544 21514 731 1374 0 24165 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 102176
[startup+702.301 s]
################
# More data... #
################
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1264141 0 0 0 105269 935 0 0 25 0 1 0 5239194 108392448 21783 1992294400 4194304 9819077 140737406688272 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26463 21783 734 1374 0 25084 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 105852
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11612
/proc/meminfo: memFree=1764624/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=105784 CPUtime=1122.02
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1356233 0 0 0 111213 989 0 0 25 0 1 0 5239194 108322816 21870 1992294400 4194304 9819077 140737406688272 18446744073709551615 7311902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26446 21870 734 1374 0 25067 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 105784
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11614
/proc/meminfo: memFree=1764376/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=105276 CPUtime=1182
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1424189 0 0 0 117161 1039 0 0 25 0 1 0 5239194 107802624 21729 1992294400 4194304 9819077 140737406688272 18446744073709551615 7295825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26319 21729 734 1374 0 24940 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 105276
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11616
/proc/meminfo: memFree=1764624/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=105240 CPUtime=1241.99
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1513416 0 0 0 123099 1100 0 0 25 0 1 0 5239194 107765760 21741 1992294400 4194304 9819077 140737406688272 18446744073709551615 7289382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26310 21741 734 1374 0 24931 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 105240
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11618
/proc/meminfo: memFree=1764748/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=104492 CPUtime=1301.98
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1659454 0 0 0 129017 1181 0 0 25 0 1 0 5239194 106999808 21647 1992294400 4194304 9819077 140737406688272 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26123 21647 734 1374 0 24744 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 104492
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11618
/proc/meminfo: memFree=1764376/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=101368 CPUtime=1361.96
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1794907 0 0 0 134935 1261 0 0 25 0 1 0 5239194 103800832 21718 1992294400 4194304 9819077 140737406688272 18446744073709551615 7220009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25342 21718 734 1374 0 23963 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 101368
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11620
/proc/meminfo: memFree=1763632/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=106672 CPUtime=1421.95
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 1905715 0 0 0 140866 1329 0 0 25 0 1 0 5239194 109232128 22000 1992294400 4194304 9819077 140737406688272 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26668 22000 734 1374 0 25289 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 106672
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11622
/proc/meminfo: memFree=1764128/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=100984 CPUtime=1481.93
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2036192 0 0 0 146792 1401 0 0 25 0 1 0 5239194 103407616 21768 1992294400 4194304 9819077 140737406688272 18446744073709551615 7221471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25246 21769 734 1374 0 23867 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 100984
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11624
/proc/meminfo: memFree=1762640/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107800 CPUtime=1541.92
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2170446 0 0 0 152715 1477 0 0 25 0 1 0 5239194 110387200 22267 1992294400 4194304 9819077 140737406688272 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26950 22267 734 1374 0 25571 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 107800
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11626
/proc/meminfo: memFree=1760160/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=126144 CPUtime=1601.91
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2285959 0 0 0 158645 1546 0 0 25 0 1 0 5239194 129171456 22825 1992294400 4194304 9819077 140737406688272 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 31536 22825 734 1374 0 30157 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 126144
[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 11628
/proc/meminfo: memFree=1762268/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107800 CPUtime=1661.89
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2353742 0 0 0 164593 1596 0 0 25 0 1 0 5239194 110387200 22163 1992294400 4194304 9819077 140737406688272 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26950 22163 734 1374 0 25571 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 107800
[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11631
/proc/meminfo: memFree=1759292/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=126288 CPUtime=1721.87
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2431978 0 0 0 170532 1655 0 0 25 0 1 0 5239194 129318912 22918 1992294400 4194304 9819077 140737406688272 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 31572 22918 734 1374 0 30193 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 126288
[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11633
/proc/meminfo: memFree=1762144/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107700 CPUtime=1781.86
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2499599 0 0 0 176482 1704 0 0 25 0 1 0 5239194 110284800 22174 1992294400 4194304 9819077 140737406688272 18446744073709551615 7292033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26925 22174 734 1374 0 25546 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 107700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11633
/proc/meminfo: memFree=1762144/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107960 CPUtime=1800.06
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2544545 0 0 0 178276 1730 0 0 25 0 1 0 5239194 110551040 22213 1992294400 4194304 9819077 140737406688272 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26990 22213 734 1374 0 25611 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 107960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11581
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11634
/proc/meminfo: memFree=1762136/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107956 CPUtime=1800.95
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2545310 0 0 0 178365 1730 0 0 25 0 1 0 5239194 110546944 22261 1992294400 4194304 9819077 140737406688272 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26989 22261 734 1374 0 25610 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 107956
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11634
/proc/meminfo: memFree=1761516/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107956 CPUtime=1801.76
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2546083 0 0 0 178445 1731 0 0 25 0 1 0 5239194 110546944 22310 1992294400 4194304 9819077 140737406688272 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26989 22310 734 1374 0 25610 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 107956
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11634
/proc/meminfo: memFree=1761516/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=107956 CPUtime=1801.96
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2546147 0 0 0 178465 1731 0 0 25 0 1 0 5239194 110546944 22374 1992294400 4194304 9819077 140737406688272 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 26989 22374 734 1374 0 25610 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 107956
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11634
/proc/meminfo: memFree=1761516/2059040 swapFree=4141108/4192956
[pid=11581] ppid=11579 vsize=103236 CPUtime=1802.05
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 11155 0 -1 4202496 2546468 0 0 0 178474 1731 0 0 25 0 1 0 5239194 105713664 22152 1992294400 4194304 9819077 140737406688272 18446744073709551615 7227326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11581/statm: 25809 22152 734 1374 0 24430 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 103236
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.08
CPU user time (s): 1784.76
CPU system time (s): 17.3244
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 160872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.76
system time used= 17.3244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2546601
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= 2956
runsolver used 2.86656 second user time and 8.61969 second system time
The end