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-2665579-1276401026.opb>
1.09/1.11 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
1.09/1.11 c problem read
1.09/1.11 c presolving settings loaded
1.28/1.31 c presolving:
1.98/2.04 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.98 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.01 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.54
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.9
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
118.85/118.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.85/118.91 c 117s| 1 | 0 | 10390 | - | 96M| 0 | 791 |2700 | 42k|2700 | 42k| 0 | 0 | 0 | 1.400000e+02 | -- | Inf
294.91/295.06 c 292s| 1 | 0 | 23833 | - | 96M| 0 | 766 |2700 | 42k|2700 | 42k| 7 | 0 | 0 | 1.400000e+02 | -- | Inf
515.95/516.13 c 512s| 1 | 0 | 40297 | - | 96M| 0 | 789 |2700 | 42k|2700 | 42k| 19 | 0 | 0 | 1.400000e+02 | -- | Inf
725.59/725.81 c 720s| 1 | 0 | 55849 | - | 96M| 0 | 839 |2700 | 42k|2700 | 42k| 30 | 0 | 0 | 1.400000e+02 | -- | Inf
981.02/981.31 c 974s| 1 | 0 | 74484 | - | 96M| 0 | 854 |2700 | 42k|2700 | 42k| 38 | 0 | 0 | 1.400000e+02 | -- | Inf
1212.17/1212.50 c 1204s| 1 | 0 | 91428 | - | 96M| 0 | 801 |2700 | 42k|2700 | 42k| 50 | 0 | 0 | 1.400000e+02 | -- | Inf
1434.11/1434.58 c 1425s| 1 | 0 |107352 | - | 96M| 0 | 826 |2700 | 42k|2700 | 42k| 58 | 0 | 0 | 1.400000e+02 | -- | Inf
1698.44/1698.91 c 1687s| 1 | 2 |107352 | - | 96M| 0 | 826 |2700 | 42k|2700 | 42k| 58 | 0 | 22 | 1.400000e+02 | -- | Inf
1800.03/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-2665579-1276401026/watcher-2665579-1276401026 -o /tmp/evaluation-result-2665579-1276401026/solver-2665579-1276401026 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665579-1276401026.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.88 2.01 1.67 3/106 20825
/proc/meminfo: memFree=1753372/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=9288 CPUtime=0
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1041 0 0 0 0 0 0 0 18 0 1 0 15689063 9510912 961 1992294400 4194304 9819077 140733357694464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20825/statm: 2322 971 371 1374 0 943 0
[startup+0.090884 s]
/proc/loadavg: 1.88 2.01 1.67 3/106 20825
/proc/meminfo: memFree=1753372/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=15024 CPUtime=0.08
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 2683 0 0 0 8 0 0 0 20 0 1 0 15689063 15384576 2603 1992294400 4194304 9819077 140733357694464 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20825/statm: 3756 2603 388 1374 0 2377 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15024
[startup+0.101883 s]
/proc/loadavg: 1.88 2.01 1.67 3/106 20825
/proc/meminfo: memFree=1753372/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=15024 CPUtime=0.09
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 2707 0 0 0 9 0 0 0 20 0 1 0 15689063 15384576 2627 1992294400 4194304 9819077 140733357694464 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20825/statm: 3756 2627 388 1374 0 2377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15024
[startup+0.301902 s]
/proc/loadavg: 1.88 2.01 1.67 3/106 20825
/proc/meminfo: memFree=1753372/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=19188 CPUtime=0.29
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 3744 0 0 0 28 1 0 0 20 0 1 0 15689063 19648512 3664 1992294400 4194304 9819077 140733357694464 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20825/statm: 4797 3664 388 1374 0 3418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19188
[startup+0.701943 s]
/proc/loadavg: 1.88 2.01 1.67 3/106 20825
/proc/meminfo: memFree=1753372/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=26376 CPUtime=0.69
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 5538 0 0 0 67 2 0 0 21 0 1 0 15689063 27009024 5458 1992294400 4194304 9819077 140733357694464 18446744073709551615 8631967 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20825/statm: 6594 5458 388 1374 0 5215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26376
[startup+1.50102 s]
/proc/loadavg: 1.88 2.01 1.67 2/107 20826
/proc/meminfo: memFree=1726828/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=86680 CPUtime=1.49
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 20714 0 0 0 138 11 0 0 23 0 1 0 15689063 88760320 20272 1992294400 4194304 9819077 140733357694464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 21670 20272 484 1374 0 20291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86680
[startup+3.10118 s]
/proc/loadavg: 1.81 1.99 1.66 2/107 20826
/proc/meminfo: memFree=1639284/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=122456 CPUtime=3.09
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 34986 0 0 0 287 22 0 0 25 0 1 0 15689063 125394944 29242 1992294400 4194304 9819077 140733357694464 18446744073709551615 4856555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 30614 29242 504 1374 0 29235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122456
[startup+6.30151 s]
/proc/loadavg: 1.81 1.99 1.66 2/107 20826
/proc/meminfo: memFree=1637052/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=124644 CPUtime=6.28
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 39566 0 0 0 600 28 0 0 25 0 1 0 15689063 127635456 29826 1992294400 4194304 9819077 140733357694464 18446744073709551615 5902619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 31161 29826 518 1374 0 29782 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124644
[startup+12.7011 s]
/proc/loadavg: 1.68 1.96 1.65 2/107 20826
/proc/meminfo: memFree=1634696/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=125160 CPUtime=12.68
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 39694 0 0 0 1238 30 0 0 25 0 1 0 15689063 128163840 29954 1992294400 4194304 9819077 140733357694464 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 31290 29954 518 1374 0 29911 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 125160
[startup+25.5014 s]
/proc/loadavg: 1.58 1.93 1.65 2/107 20826
/proc/meminfo: memFree=1626016/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=197032 CPUtime=25.48
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 54039 0 0 0 2508 40 0 0 25 0 1 0 15689063 201760768 43353 1992294400 4194304 9819077 140733357694464 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 49258 43354 640 1374 0 47879 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 197032
[startup+51.101 s]
/proc/loadavg: 1.38 1.85 1.63 3/107 20828
/proc/meminfo: memFree=1570712/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=222116 CPUtime=51.07
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 81277 0 0 0 5049 58 0 0 25 0 1 0 15689063 227446784 46233 1992294400 4194304 9819077 140733357694464 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 55529 46233 643 1374 0 54150 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 222116
[startup+102.309 s]
/proc/loadavg: 1.15 1.70 1.59 2/107 20830
/proc/meminfo: memFree=1573068/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=220904 CPUtime=102.27
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 132289 0 0 0 10137 90 0 0 25 0 1 0 15689063 226205696 45605 1992294400 4194304 9819077 140733357694464 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 55226 45605 643 1374 0 53847 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 220904
[startup+162.301 s]
/proc/loadavg: 1.06 1.58 1.55 2/107 20830
/proc/meminfo: memFree=1571084/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=230460 CPUtime=162.24
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 208263 0 0 0 16090 134 0 0 25 0 1 0 15689063 235991040 46623 1992294400 4194304 9819077 140733357694464 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 57615 46623 688 1374 0 56236 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 230460
[startup+222.301 s]
/proc/loadavg: 1.02 1.47 1.51 2/107 20832
/proc/meminfo: memFree=1571208/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=233956 CPUtime=222.23
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 268356 0 0 0 22055 168 0 0 25 0 1 0 15689063 239570944 46145 1992294400 4194304 9819077 140733357694464 18446744073709551615 6192329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 58489 46145 688 1374 0 57110 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 233956
[startup+282.301 s]
/proc/loadavg: 1.00 1.39 1.48 2/107 20834
/proc/meminfo: memFree=1573316/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=224508 CPUtime=282.21
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 326347 0 0 0 28018 203 0 0 25 0 1 0 15689063 229896192 46172 1992294400 4194304 9819077 140733357694464 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 56127 46172 688 1374 0 54748 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 224508
[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.44 2/107 20836
/proc/meminfo: memFree=1570588/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=234804 CPUtime=342.19
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 371255 0 0 0 33985 234 0 0 25 0 1 0 15689063 240439296 46429 1992294400 4194304 9819077 140733357694464 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 58701 46429 688 1374 0 57322 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 234804
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.42 2/107 20838
/proc/meminfo: memFree=1564512/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=220952 CPUtime=402.19
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 434143 0 0 0 39949 270 0 0 25 0 1 0 15689063 226254848 44993 1992294400 4194304 9819077 140733357694464 18446744073709551615 7287822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 55238 44993 688 1374 0 53859 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 220952
[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.39 2/107 20838
/proc/meminfo: memFree=1567240/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=233804 CPUtime=462.17
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 489454 0 0 0 45916 301 0 0 25 0 1 0 15689063 239415296 47010 1992294400 4194304 9819077 140733357694464 18446744073709551615 7311261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 58451 47010 688 1374 0 57072 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 233804
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.36 2/107 20840
/proc/meminfo: memFree=1576540/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=222128 CPUtime=522.15
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 553323 0 0 0 51873 342 0 0 25 0 1 0 15689063 227459072 44494 1992294400 4194304 9819077 140733357694464 18446744073709551615 7311961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 55532 44494 688 1374 0 54153 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 222128
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.33 2/107 20842
/proc/meminfo: memFree=1565256/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=237308 CPUtime=582.13
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 597428 0 0 0 57840 373 0 0 25 0 1 0 15689063 243003392 47452 1992294400 4194304 9819077 140733357694464 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 59327 47452 688 1374 0 57948 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 237308
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.31 2/107 20853
/proc/meminfo: memFree=1570216/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=236372 CPUtime=642.12
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 655525 0 0 0 63806 406 0 0 25 0 1 0 15689063 242044928 45989 1992294400 4194304 9819077 140733357694464 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 59093 45989 688 1374 0 57714 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 236372
[startup+702.301 s]
################
# More data... #
################
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1025663 0 0 0 105566 635 0 0 25 0 1 0 15689063 245407744 47920 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 59914 47920 688 1374 0 58535 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 239656
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 20865
/proc/meminfo: memFree=1570340/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=237312 CPUtime=1121.99
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1084589 0 0 0 111528 671 0 0 25 0 1 0 15689063 243007488 46297 1992294400 4194304 9819077 140733357694464 18446744073709551615 7295843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 59328 46297 688 1374 0 57949 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 237312
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 20867
/proc/meminfo: memFree=1568108/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=230180 CPUtime=1181.97
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1140608 0 0 0 117491 706 0 0 25 0 1 0 15689063 235704320 46776 1992294400 4194304 9819077 140733357694464 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 57545 46776 688 1374 0 56166 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 230180
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 20869
/proc/meminfo: memFree=1575052/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=222756 CPUtime=1241.96
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1182700 0 0 0 123456 740 0 0 25 0 1 0 15689063 228102144 44667 1992294400 4194304 9819077 140733357694464 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 55689 44667 688 1374 0 54310 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 222756
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 20871
/proc/meminfo: memFree=1563396/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=238312 CPUtime=1301.95
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1235960 0 0 0 129424 771 0 0 25 0 1 0 15689063 244031488 47645 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 59578 47645 688 1374 0 58199 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 238312
[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.13 2/107 20871
/proc/meminfo: memFree=1569596/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=235588 CPUtime=1361.93
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1293856 0 0 0 135390 803 0 0 25 0 1 0 15689063 241242112 46726 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 58897 46726 688 1374 0 57518 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 235588
[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.11 2/107 20873
/proc/meminfo: memFree=1572696/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=226088 CPUtime=1421.92
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1350823 0 0 0 141355 837 0 0 25 0 1 0 15689063 231514112 45410 1992294400 4194304 9819077 140733357694464 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 56522 45410 688 1374 0 55143 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 226088
[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.10 2/107 20875
/proc/meminfo: memFree=1567240/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=269104 CPUtime=1481.9
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1454972 0 0 0 147297 893 0 0 25 0 1 0 15689063 275562496 46110 1992294400 4194304 9819077 140733357694464 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 67276 46110 710 1374 0 65897 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 269104
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 20877
/proc/meminfo: memFree=1569472/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=269104 CPUtime=1541.89
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1530945 0 0 0 153257 932 0 0 25 0 1 0 15689063 275562496 46212 1992294400 4194304 9819077 140733357694464 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 67276 46212 710 1374 0 65897 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 269104
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 20882
/proc/meminfo: memFree=1563892/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=269104 CPUtime=1601.87
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1606432 0 0 0 159214 973 0 0 25 0 1 0 15689063 275562496 46055 1992294400 4194304 9819077 140733357694464 18446744073709551615 7292341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 67276 46055 710 1374 0 65897 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 269104
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 20882
/proc/meminfo: memFree=1564140/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=272932 CPUtime=1661.85
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1676683 0 0 0 165174 1011 0 0 25 0 1 0 15689063 279482368 46793 1992294400 4194304 9819077 140733357694464 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 68233 46793 710 1374 0 66854 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 272932
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20884
/proc/meminfo: memFree=1569720/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=235832 CPUtime=1721.83
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1753100 0 0 0 171134 1049 0 0 25 0 1 0 15689063 241491968 46942 1992294400 4194304 9819077 140733357694464 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 58958 46942 714 1374 0 57579 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 235832
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20886
/proc/meminfo: memFree=1562528/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=241368 CPUtime=1781.83
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1814339 0 0 0 177099 1084 0 0 25 0 1 0 15689063 247160832 47856 1992294400 4194304 9819077 140733357694464 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60342 47856 714 1374 0 58963 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 241368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20886
/proc/meminfo: memFree=1561908/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=241144 CPUtime=1800.03
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1831252 0 0 0 178910 1093 0 0 25 0 1 0 15689063 246931456 47942 1992294400 4194304 9819077 140733357694464 18446744073709551615 7312689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60286 47942 714 1374 0 58907 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 241144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20825
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 20887
/proc/meminfo: memFree=1561776/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=240956 CPUtime=1800.92
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1834718 0 0 0 178998 1094 0 0 25 0 1 0 15689063 246738944 45798 1992294400 4194304 9819077 140733357694464 18446744073709551615 7311322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60239 45798 714 1374 0 58860 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 240956
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 20887
/proc/meminfo: memFree=1569836/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=240956 CPUtime=1801.71
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1835177 0 0 0 179077 1094 0 0 25 0 1 0 15689063 246738944 46257 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60239 46257 714 1374 0 58860 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 240956
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 20887
/proc/meminfo: memFree=1569836/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=240956 CPUtime=1801.92
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1835341 0 0 0 179097 1095 0 0 25 0 1 0 15689063 246738944 46421 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60239 46421 714 1374 0 58860 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 240956
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 20887
/proc/meminfo: memFree=1569836/2059040 swapFree=4134484/4192956
[pid=20825] ppid=20823 vsize=240956 CPUtime=1802.02
/proc/20825/stat : 20825 (pbscip.linux.x8) R 20823 20825 20564 0 -1 4202496 1835422 0 0 0 179107 1095 0 0 25 0 1 0 15689063 246738944 46502 1992294400 4194304 9819077 140733357694464 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20825/statm: 60239 46502 714 1374 0 58860 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 240956
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.06
CPU user time (s): 1791.09
CPU system time (s): 10.9703
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 308328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 10.9703
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1835432
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= 23450
runsolver used 3.02854 second user time and 8.47071 second system time
The end