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-2664820-1276686972.opb>
1.10/1.14 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63342 constraints
1.10/1.14 c problem read
1.10/1.14 c presolving settings loaded
1.29/1.36 o 0
1.29/1.36 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.36 c presolving:
1.59/1.63 c (round 1) 189 del vars, 189 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.09/2.20 c (round 2) 189 del vars, 841 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62501 upgd conss, 2340 impls, 0 clqs
2.39/2.42 c (1.0s) probing: 101/1836 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.42 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.42 c presolving (3 rounds):
2.39/2.42 c 189 deleted vars, 841 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.42 c 2340 implications, 0 cliques
2.39/2.42 c presolved problem has 1836 variables (1836 bin, 0 int, 0 impl, 0 cont) and 62501 constraints
2.39/2.42 c 62501 constraints of type <logicor>
2.39/2.42 c transformed objective value is always integral (scale: 1)
2.39/2.42 c Presolving Time: 0.87
2.39/2.42 c - non default parameters ----------------------------------------------------------------------
2.39/2.42 c # SCIP version 1.2.1.2
2.39/2.42 c
2.39/2.42 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.42 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42 c conflict/interconss = 0
2.39/2.42 c
2.39/2.42 c # should binary conflicts be preferred?
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c conflict/preferbinary = TRUE
2.39/2.42 c
2.39/2.42 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42 c constraints/agelimit = 1
2.39/2.42 c
2.39/2.42 c # should enforcement of pseudo solution be disabled?
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/disableenfops = TRUE
2.39/2.42 c
2.39/2.42 c # frequency for displaying node information lines
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.42 c display/freq = 10000
2.39/2.42 c
2.39/2.42 c # maximal time in seconds to run
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/time = 1798.86
2.39/2.42 c
2.39/2.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/memory = 1620
2.39/2.42 c
2.39/2.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42 c lp/solvefreq = 0
2.39/2.42 c
2.39/2.42 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.39/2.42 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.42 c lp/pricing = a
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify inequalities
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/linear/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify knapsacks
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # priority of node selection rule <dfs> in standard mode
2.39/2.42 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.42 c nodeselection/dfs/stdpriority = 1000000
2.39/2.42 c
2.39/2.42 c -----------------------------------------------------------------------------------------------
2.39/2.42 c start solving
2.39/2.42 c
390.67/390.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.67/390.89 c t 388s| 1 | 0 | 34273 | - | 72M| 0 |1817 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 | 0.000000e+00 | 100.00%
390.86/391.02 o -17
390.86/391.02 c R 388s| 1 | 0 | 34273 | - | 72M| 0 |1817 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 |-1.700000e+01 | 93.19%
391.06/391.20 o -21
391.06/391.20 c s 388s| 1 | 0 | 34273 | - | 72M| 0 |1817 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 |-2.100000e+01 | 91.59%
1218.91/1219.36 c 1212s| 1 | 0 | 92585 | - | 76M| 0 |1820 |1836 | 62k|1836 | 62k| 27 | 0 | 0 |-2.361720e+02 |-2.100000e+01 | 91.11%
1218.91/1219.39 o -46
1218.91/1219.39 c b1212s| 1 | 0 | 92585 | - | 76M| 0 |1820 |1836 | 62k|1836 | 62k| 27 | 0 | 0 |-2.361720e+02 |-4.600000e+01 | 80.52%
1800.04/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-2664820-1276686972/watcher-2664820-1276686972 -o /tmp/evaluation-result-2664820-1276686972/solver-2664820-1276686972 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664820-1276686972.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: 0.93 1.01 0.99 3/106 15805
/proc/meminfo: memFree=1740088/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=9288 CPUtime=0
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1056 0 0 0 0 0 0 0 18 0 1 0 9989737 9510912 977 1992294400 4194304 9819077 140735207693872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15805/statm: 2322 987 371 1374 0 943 0
[startup+0.055842 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 15805
/proc/meminfo: memFree=1740088/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=13612 CPUtime=0.04
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 2328 0 0 0 4 0 0 0 20 0 1 0 9989737 13938688 2249 1992294400 4194304 9819077 140735207693872 18446744073709551615 6181130 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15805/statm: 3403 2249 388 1374 0 2024 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13612
[startup+0.100845 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 15805
/proc/meminfo: memFree=1740088/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=14824 CPUtime=0.09
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 2632 0 0 0 9 0 0 0 20 0 1 0 9989737 15179776 2553 1992294400 4194304 9819077 140735207693872 18446744073709551615 8672199 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15805/statm: 3706 2553 388 1374 0 2327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14824
[startup+0.300868 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 15805
/proc/meminfo: memFree=1740088/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=19580 CPUtime=0.29
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 3838 0 0 0 28 1 0 0 20 0 1 0 9989737 20049920 3759 1992294400 4194304 9819077 140735207693872 18446744073709551615 8677991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15805/statm: 4895 3759 388 1374 0 3516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580
[startup+0.700911 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 15805
/proc/meminfo: memFree=1740088/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=27580 CPUtime=0.69
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 5798 0 0 0 67 2 0 0 20 0 1 0 9989737 28241920 5719 1992294400 4194304 9819077 140735207693872 18446744073709551615 5651049 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15805/statm: 6895 5719 388 1374 0 5516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27580
[startup+1.501 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 15806
/proc/meminfo: memFree=1712676/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=81476 CPUtime=1.49
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 19553 0 0 0 140 9 0 0 23 0 1 0 9989737 83431424 19028 1992294400 4194304 9819077 140735207693872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 20369 19028 492 1374 0 18990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81476
[startup+3.10117 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 15806
/proc/meminfo: memFree=1656504/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=181284 CPUtime=3.09
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 47915 0 0 0 274 35 0 0 25 0 1 0 9989737 185634816 35626 1992294400 4194304 9819077 140735207693872 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 45321 35626 630 1374 0 43942 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181284
[startup+6.30053 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 15806
/proc/meminfo: memFree=1597604/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=194816 CPUtime=6.29
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 53696 0 0 0 591 38 0 0 25 0 1 0 9989737 199491584 35772 1992294400 4194304 9819077 140735207693872 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 48704 35772 630 1374 0 47325 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 194816
[startup+12.7002 s]
/proc/loadavg: 0.95 1.01 0.99 2/107 15806
/proc/meminfo: memFree=1593388/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=199204 CPUtime=12.69
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 60828 0 0 0 1226 43 0 0 25 0 1 0 9989737 203984896 36070 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 49801 36070 632 1374 0 48422 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 199204
[startup+25.5016 s]
/proc/loadavg: 0.96 1.01 0.99 2/107 15806
/proc/meminfo: memFree=1590908/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=200640 CPUtime=25.48
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 71533 0 0 0 2499 49 0 0 25 0 1 0 9989737 205455360 37752 1992294400 4194304 9819077 140735207693872 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 50160 37752 632 1374 0 48781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 200640
[startup+51.1014 s]
/proc/loadavg: 0.97 1.00 0.99 2/107 15806
/proc/meminfo: memFree=1590536/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=203324 CPUtime=51.08
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 95017 0 0 0 5045 63 0 0 25 0 1 0 9989737 208203776 37925 1992294400 4194304 9819077 140735207693872 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 50831 37925 632 1374 0 49452 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 203324
[startup+102.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15808
/proc/meminfo: memFree=1590040/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=204896 CPUtime=102.27
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 134626 0 0 0 10139 88 0 0 25 0 1 0 9989737 209813504 37950 1992294400 4194304 9819077 140735207693872 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51224 37950 632 1374 0 49845 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 204896
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15810
/proc/meminfo: memFree=1594132/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=205504 CPUtime=162.24
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 179335 0 0 0 16111 113 0 0 25 0 1 0 9989737 210436096 37442 1992294400 4194304 9819077 140735207693872 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51376 37442 632 1374 0 49997 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 205504
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15812
/proc/meminfo: memFree=1594008/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=205472 CPUtime=222.22
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 224142 0 0 0 22082 140 0 0 25 0 1 0 9989737 210403328 37069 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51368 37069 632 1374 0 49989 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 205472
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15812
/proc/meminfo: memFree=1593884/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=205604 CPUtime=282.2
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 269592 0 0 0 28054 166 0 0 25 0 1 0 9989737 210538496 37716 1992294400 4194304 9819077 140735207693872 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51401 37716 632 1374 0 50022 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 205604
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15814
/proc/meminfo: memFree=1595620/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=205824 CPUtime=342.18
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 313492 0 0 0 34027 191 0 0 25 0 1 0 9989737 210763776 36580 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51456 36580 632 1374 0 50077 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 205824
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15816
/proc/meminfo: memFree=1593512/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=210624 CPUtime=402.16
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 354523 0 0 0 40001 215 0 0 25 0 1 0 9989737 215678976 37052 1992294400 4194304 9819077 140735207693872 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 52656 37052 654 1374 0 51277 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 210624
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15818
/proc/meminfo: memFree=1583468/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213292 CPUtime=462.14
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 401749 0 0 0 45974 240 0 0 25 0 1 0 9989737 218411008 39585 1992294400 4194304 9819077 140735207693872 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53323 39585 668 1374 0 51944 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 213292
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15818
/proc/meminfo: memFree=1581856/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213228 CPUtime=522.12
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 443314 0 0 0 51948 264 0 0 25 0 1 0 9989737 218345472 37788 1992294400 4194304 9819077 140735207693872 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53307 37788 668 1374 0 51928 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 213228
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15820
/proc/meminfo: memFree=1583592/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213292 CPUtime=582.11
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 482754 0 0 0 57923 288 0 0 25 0 1 0 9989737 218411008 39549 1992294400 4194304 9819077 140735207693872 18446744073709551615 7309268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53323 39549 668 1374 0 51944 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 213292
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15822
/proc/meminfo: memFree=1582352/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213324 CPUtime=642.1
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 520991 0 0 0 63898 312 0 0 25 0 1 0 9989737 218443776 39802 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53331 39802 668 1374 0 51952 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 213324
[startup+702.301 s]
################
# More data... #
################
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 772489 0 0 0 99740 457 0 0 25 0 1 0 9989737 218509312 38279 1992294400 4194304 9819077 140735207693872 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53347 38279 668 1374 0 51968 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 213388
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15837
/proc/meminfo: memFree=1586444/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213224 CPUtime=1061.96
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 815009 0 0 0 105712 484 0 0 25 0 1 0 9989737 218341376 39328 1992294400 4194304 9819077 140735207693872 18446744073709551615 6192350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53306 39328 668 1374 0 51927 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 213224
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15837
/proc/meminfo: memFree=1590040/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=213224 CPUtime=1121.94
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 859251 0 0 0 111683 511 0 0 25 0 1 0 9989737 218341376 37899 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 53306 37899 668 1374 0 51927 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 213224
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15839
/proc/meminfo: memFree=1582972/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=193532 CPUtime=1181.92
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 903812 0 0 0 117656 536 0 0 25 0 1 0 9989737 198176768 37189 1992294400 4194304 9819077 140735207693872 18446744073709551615 7234115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 48383 37189 668 1374 0 47004 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 193532
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15841
/proc/meminfo: memFree=1577516/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219544 CPUtime=1241.9
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 942406 0 0 0 123630 560 0 0 25 0 1 0 9989737 224813056 40905 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54886 40905 668 1374 0 53507 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 219544
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15843
/proc/meminfo: memFree=1575160/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219644 CPUtime=1301.89
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 988794 0 0 0 129603 586 0 0 25 0 1 0 9989737 224915456 41413 1992294400 4194304 9819077 140735207693872 18446744073709551615 6192358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54911 41413 668 1374 0 53532 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 219644
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15845
/proc/meminfo: memFree=1582476/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219612 CPUtime=1361.86
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1030218 0 0 0 135576 610 0 0 25 0 1 0 9989737 224882688 39924 1992294400 4194304 9819077 140735207693872 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54903 39924 668 1374 0 53524 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 219612
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15845
/proc/meminfo: memFree=1576028/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219644 CPUtime=1421.86
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1069080 0 0 0 141551 635 0 0 25 0 1 0 9989737 224915456 41221 1992294400 4194304 9819077 140735207693872 18446744073709551615 7480855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54911 41221 668 1374 0 53532 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 219644
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15847
/proc/meminfo: memFree=1583220/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219612 CPUtime=1481.82
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1110290 0 0 0 147523 659 0 0 25 0 1 0 9989737 224882688 39682 1992294400 4194304 9819077 140735207693872 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54903 39682 668 1374 0 53524 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 219612
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15849
/proc/meminfo: memFree=1575532/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219544 CPUtime=1541.8
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1149086 0 0 0 153498 682 0 0 25 0 1 0 9989737 224813056 41361 1992294400 4194304 9819077 140735207693872 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54886 41361 668 1374 0 53507 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 219544
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15851
/proc/meminfo: memFree=1576152/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219612 CPUtime=1601.78
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1190822 0 0 0 159471 707 0 0 25 0 1 0 9989737 224882688 41249 1992294400 4194304 9819077 140735207693872 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54903 41249 668 1374 0 53524 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 219612
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15853
/proc/meminfo: memFree=1583592/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219420 CPUtime=1661.77
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1235403 0 0 0 165447 730 0 0 25 0 1 0 9989737 224686080 39385 1992294400 4194304 9819077 140735207693872 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54855 39385 668 1374 0 53476 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 219420
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15853
/proc/meminfo: memFree=1582600/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219452 CPUtime=1721.75
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1277323 0 0 0 171419 756 0 0 25 0 1 0 9989737 224718848 40076 1992294400 4194304 9819077 140735207693872 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54863 40076 668 1374 0 53484 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 219452
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15855
/proc/meminfo: memFree=1580616/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219480 CPUtime=1781.73
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1319093 0 0 0 177392 781 0 0 25 0 1 0 9989737 224747520 40306 1992294400 4194304 9819077 140735207693872 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54870 40306 668 1374 0 53491 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 219480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15857
/proc/meminfo: memFree=1575532/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219544 CPUtime=1800.04
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1330420 0 0 0 179216 788 0 0 25 0 1 0 9989737 224813056 41219 1992294400 4194304 9819077 140735207693872 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54886 41219 668 1374 0 53507 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 219544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15805
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15857
/proc/meminfo: memFree=1575532/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219544 CPUtime=1800.82
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1330513 0 0 0 179294 788 0 0 25 0 1 0 9989737 224813056 41312 1992294400 4194304 9819077 140735207693872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54886 41312 668 1374 0 53507 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 219544
[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 15858
/proc/meminfo: memFree=1575028/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=207160 CPUtime=1801.62
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1333289 0 0 0 179373 789 0 0 25 0 1 0 9989737 212131840 38977 1992294400 4194304 9819077 140735207693872 18446744073709551615 7235150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 51790 38977 668 1374 0 50411 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 207160
[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 15858
/proc/meminfo: memFree=1575028/2059040 swapFree=4192956/4192956
[pid=15805] ppid=15803 vsize=219548 CPUtime=1802.02
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 14955 0 -1 4202496 1333709 0 0 0 179413 789 0 0 25 0 1 0 9989737 224817152 39305 1992294400 4194304 9819077 140735207693872 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15805/statm: 54887 39305 668 1374 0 53508 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 219548
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.06
CPU user time (s): 1794.15
CPU system time (s): 7.9158
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 219876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 7.9158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1333709
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= 3427
runsolver used 3.00254 second user time and 8.49471 second system time
The end