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-2664814-1276685946.opb>
1.10/1.11 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63877 constraints
1.10/1.11 c problem read
1.10/1.11 c presolving settings loaded
1.29/1.33 o 0
1.29/1.33 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.33 c presolving:
1.59/1.60 c (round 1) 186 del vars, 186 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.09/2.16 c (round 2) 186 del vars, 835 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63042 upgd conss, 2340 impls, 0 clqs
2.29/2.38 c (1.0s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.38 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.38 c presolving (3 rounds):
2.29/2.38 c 186 deleted vars, 835 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.38 c 2340 implications, 0 cliques
2.29/2.38 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 63042 constraints
2.29/2.38 c 63042 constraints of type <logicor>
2.29/2.38 c transformed objective value is always integral (scale: 1)
2.29/2.38 c Presolving Time: 0.85
2.29/2.38 c - non default parameters ----------------------------------------------------------------------
2.29/2.38 c # SCIP version 1.2.1.2
2.29/2.38 c
2.29/2.38 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.38 c conflict/interconss = 0
2.29/2.38 c
2.29/2.38 c # should binary conflicts be preferred?
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c conflict/preferbinary = TRUE
2.29/2.38 c
2.29/2.38 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.38 c constraints/agelimit = 1
2.29/2.38 c
2.29/2.38 c # should enforcement of pseudo solution be disabled?
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/disableenfops = TRUE
2.29/2.38 c
2.29/2.38 c # frequency for displaying node information lines
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.38 c display/freq = 10000
2.29/2.38 c
2.29/2.38 c # maximal time in seconds to run
2.29/2.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.38 c limits/time = 1798.89
2.29/2.38 c
2.29/2.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.38 c limits/memory = 1620
2.29/2.38 c
2.29/2.38 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.38 c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.38 c lp/solvefreq = 0
2.29/2.38 c
2.29/2.38 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.29/2.38 c # [type: char, range: {lafpsqd}, default: l]
2.29/2.38 c lp/pricing = a
2.29/2.38 c
2.29/2.38 c # should presolving try to simplify inequalities
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/linear/simplifyinequalities = TRUE
2.29/2.38 c
2.29/2.38 c # should presolving try to simplify knapsacks
2.29/2.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.38 c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.38 c
2.29/2.38 c # priority of node selection rule <dfs> in standard mode
2.29/2.38 c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.38 c nodeselection/dfs/stdpriority = 1000000
2.29/2.38 c
2.29/2.38 c -----------------------------------------------------------------------------------------------
2.29/2.38 c start solving
2.29/2.39 c
354.14/354.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.14/354.32 c t 351s| 1 | 0 | 30837 | - | 73M| 0 |1833 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 | 0.000000e+00 | 100.00%
354.24/354.46 o -8
354.24/354.46 c R 351s| 1 | 0 | 30837 | - | 73M| 0 |1833 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-8.000000e+00 | 97.02%
354.44/354.65 o -11
354.44/354.65 c s 351s| 1 | 0 | 30837 | - | 73M| 0 |1833 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-1.100000e+01 | 95.91%
931.53/931.92 c 926s| 1 | 0 | 72389 | - | 76M| 0 |1830 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.670790e+02 |-1.100000e+01 | 95.88%
931.53/931.94 o -45
931.53/931.94 c b 926s| 1 | 0 | 72389 | - | 76M| 0 |1830 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.670790e+02 |-4.500000e+01 | 83.15%
1798.70/1799.46 c 1790s| 1 | 0 |123293 | - | 77M| 0 |1830 |1839 | 63k|1839 | 63k| 8 | 0 | 0 |-2.625274e+02 |-4.500000e+01 | 82.86%
1798.91/1799.60 o -46
1798.91/1799.60 c b1790s| 1 | 0 |123293 | - | 77M| 0 |1830 |1839 | 63k|1839 | 63k| 8 | 0 | 0 |-2.625274e+02 |-4.600000e+01 | 82.48%
1800.03/1800.71 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-2664814-1276685946/watcher-2664814-1276685946 -o /tmp/evaluation-result-2664814-1276685946/solver-2664814-1276685946 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664814-1276685946.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.01 1.05 3/106 9672
/proc/meminfo: memFree=1654104/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=9288 CPUtime=0
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1164 0 0 0 0 0 0 0 25 0 1 0 42246452 9510912 1085 1992294400 4194304 9819077 140736197231968 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9672/statm: 2322 1095 371 1374 0 943 0
[startup+0.057973 s]
/proc/loadavg: 1.00 1.01 1.05 3/106 9672
/proc/meminfo: memFree=1654104/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=14096 CPUtime=0.04
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 2465 0 0 0 4 0 0 0 25 0 1 0 42246452 14434304 2386 1992294400 4194304 9819077 140736197231968 18446744073709551615 8610923 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9672/statm: 3524 2386 388 1374 0 2145 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14096
[startup+0.10098 s]
/proc/loadavg: 1.00 1.01 1.05 3/106 9672
/proc/meminfo: memFree=1654104/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=15788 CPUtime=0.09
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 2713 0 0 0 9 0 0 0 25 0 1 0 42246452 16166912 2635 1992294400 4194304 9819077 140736197231968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9672/statm: 3947 2645 388 1374 0 2568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15788
[startup+0.301017 s]
/proc/loadavg: 1.00 1.01 1.05 3/106 9672
/proc/meminfo: memFree=1654104/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=19580 CPUtime=0.29
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 3839 0 0 0 28 1 0 0 25 0 1 0 42246452 20049920 3760 1992294400 4194304 9819077 140736197231968 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9672/statm: 4895 3760 388 1374 0 3516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580
[startup+0.701089 s]
/proc/loadavg: 1.00 1.01 1.05 3/106 9672
/proc/meminfo: memFree=1654104/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=27776 CPUtime=0.69
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 5865 0 0 0 68 1 0 0 25 0 1 0 42246452 28442624 5786 1992294400 4194304 9819077 140736197231968 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9672/statm: 6944 5786 388 1374 0 5565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27776
[startup+1.50123 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9673
/proc/meminfo: memFree=1626444/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=82020 CPUtime=1.49
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 19705 0 0 0 138 11 0 0 25 0 1 0 42246452 83988480 19180 1992294400 4194304 9819077 140736197231968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 20505 19180 492 1374 0 19126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82020
[startup+3.10153 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9673
/proc/meminfo: memFree=1570024/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=182236 CPUtime=3.09
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 48377 0 0 0 271 38 0 0 25 0 1 0 42246452 186609664 36018 1992294400 4194304 9819077 140736197231968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 45559 36018 630 1374 0 44180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182236
[startup+6.30111 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9673
/proc/meminfo: memFree=1510008/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=197788 CPUtime=6.28
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 54277 0 0 0 587 41 0 0 25 0 1 0 42246452 202534912 36072 1992294400 4194304 9819077 140736197231968 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 49447 36072 632 1374 0 48068 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 197788
[startup+12.7013 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 9673
/proc/meminfo: memFree=1508644/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=200280 CPUtime=12.68
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 59100 0 0 0 1224 44 0 0 25 0 1 0 42246452 205086720 37122 1992294400 4194304 9819077 140736197231968 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 50070 37122 632 1374 0 48691 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 200280
[startup+25.5006 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 9673
/proc/meminfo: memFree=1509388/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=203288 CPUtime=25.48
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 72507 0 0 0 2495 53 0 0 25 0 1 0 42246452 208166912 36700 1992294400 4194304 9819077 140736197231968 18446744073709551615 6192275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 50822 36700 632 1374 0 49443 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 203288
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 9673
/proc/meminfo: memFree=1503560/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=204956 CPUtime=51.08
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 93384 0 0 0 5042 66 0 0 25 0 1 0 42246452 209874944 38062 1992294400 4194304 9819077 140736197231968 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51239 38062 632 1374 0 49860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 204956
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 9675
/proc/meminfo: memFree=1503064/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=206200 CPUtime=102.26
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 133553 0 0 0 10139 87 0 0 25 0 1 0 42246452 211148800 38117 1992294400 4194304 9819077 140736197231968 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51550 38117 632 1374 0 50171 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 206200
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 9686
/proc/meminfo: memFree=1504304/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=206648 CPUtime=162.22
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 178918 0 0 0 16108 114 0 0 25 0 1 0 42246452 211607552 38101 1992294400 4194304 9819077 140736197231968 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51662 38101 632 1374 0 50283 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 206648
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 9688
/proc/meminfo: memFree=1502196/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=206744 CPUtime=222.2
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 224185 0 0 0 22079 141 0 0 25 0 1 0 42246452 211705856 38276 1992294400 4194304 9819077 140736197231968 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51686 38276 632 1374 0 50307 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 206744
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 9690
/proc/meminfo: memFree=1503312/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=206812 CPUtime=282.17
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 269388 0 0 0 28048 169 0 0 25 0 1 0 42246452 211775488 38161 1992294400 4194304 9819077 140736197231968 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51703 38161 632 1374 0 50324 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 206812
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 9690
/proc/meminfo: memFree=1509264/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=206936 CPUtime=342.15
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 313054 0 0 0 34018 197 0 0 25 0 1 0 42246452 211902464 36642 1992294400 4194304 9819077 140736197231968 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 51734 36642 632 1374 0 50355 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 206936
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 9692
/proc/meminfo: memFree=1495500/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=214536 CPUtime=402.13
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 356744 0 0 0 39992 221 0 0 25 0 1 0 42246452 219684864 40132 1992294400 4194304 9819077 140736197231968 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 53634 40132 669 1374 0 52255 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 214536
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9694
/proc/meminfo: memFree=1495128/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=214344 CPUtime=462.11
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 402238 0 0 0 45962 249 0 0 25 0 1 0 42246452 219488256 37923 1992294400 4194304 9819077 140736197231968 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 53586 37923 669 1374 0 52207 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 214344
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9696
/proc/meminfo: memFree=1503560/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=214256 CPUtime=522.09
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 444349 0 0 0 51935 274 0 0 25 0 1 0 42246452 219398144 38301 1992294400 4194304 9819077 140736197231968 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 53564 38301 669 1374 0 52185 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 214256
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9698
/proc/meminfo: memFree=1499964/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=214444 CPUtime=582.06
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 487153 0 0 0 57907 299 0 0 25 0 1 0 42246452 219590656 39205 1992294400 4194304 9819077 140736197231968 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 53611 39205 669 1374 0 52232 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 214444
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9698
/proc/meminfo: memFree=1501576/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=214448 CPUtime=642.04
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 528573 0 0 0 63877 327 0 0 25 0 1 0 42246452 219594752 38449 1992294400 4194304 9819077 140736197231968 18446744073709551615 7291108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 53612 38449 669 1374 0 52233 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 214448
[startup+702.301 s]
################
# More data... #
################
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 735735 0 0 0 105700 488 0 0 25 0 1 0 42246452 221732864 38219 1992294400 4194304 9819077 140736197231968 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54134 38219 669 1374 0 52755 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 216536
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9712
/proc/meminfo: memFree=1496740/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218368 CPUtime=1121.86
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 770095 0 0 0 111675 511 0 0 25 0 1 0 42246452 223608832 39953 1992294400 4194304 9819077 140736197231968 18446744073709551615 7293531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54592 39953 669 1374 0 53213 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 218368
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9714
/proc/meminfo: memFree=1492632/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218392 CPUtime=1181.83
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 808332 0 0 0 117650 533 0 0 25 0 1 0 42246452 223633408 40704 1992294400 4194304 9819077 140736197231968 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54598 40704 669 1374 0 53219 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 218392
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9714
/proc/meminfo: memFree=1490664/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218368 CPUtime=1241.81
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 846748 0 0 0 123623 558 0 0 25 0 1 0 42246452 223608832 41062 1992294400 4194304 9819077 140736197231968 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54592 41062 669 1374 0 53213 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 218368
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9716
/proc/meminfo: memFree=1498228/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218304 CPUtime=1301.79
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 888150 0 0 0 129598 581 0 0 25 0 1 0 42246452 223543296 39124 1992294400 4194304 9819077 140736197231968 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54576 39124 669 1374 0 53197 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 218304
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9718
/proc/meminfo: memFree=1492400/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218328 CPUtime=1361.77
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 927164 0 0 0 135572 605 0 0 25 0 1 0 42246452 223567872 40634 1992294400 4194304 9819077 140736197231968 18446744073709551615 7304794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54582 40634 669 1374 0 53203 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 218328
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9720
/proc/meminfo: memFree=1498476/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218428 CPUtime=1421.75
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 967935 0 0 0 141546 629 0 0 25 0 1 0 42246452 223670272 39084 1992294400 4194304 9819077 140736197231968 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54607 39084 669 1374 0 53228 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 218428
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9722
/proc/meminfo: memFree=1491036/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=199388 CPUtime=1481.73
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1007227 0 0 0 147519 654 0 0 25 0 1 0 42246452 204173312 37114 1992294400 4194304 9819077 140736197231968 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 49847 37118 669 1374 0 48468 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 199388
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9722
/proc/meminfo: memFree=1490788/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=199392 CPUtime=1541.71
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1049416 0 0 0 153490 681 0 0 25 0 1 0 42246452 204177408 37870 1992294400 4194304 9819077 140736197231968 18446744073709551615 7225142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 49848 37877 669 1374 0 48469 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 199392
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9724
/proc/meminfo: memFree=1498972/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218432 CPUtime=1601.68
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1092379 0 0 0 159466 702 0 0 25 0 1 0 42246452 223674368 39079 1992294400 4194304 9819077 140736197231968 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54608 39079 669 1374 0 53229 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 218432
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9726
/proc/meminfo: memFree=1495872/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218492 CPUtime=1661.66
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1134278 0 0 0 165438 728 0 0 25 0 1 0 42246452 223735808 39881 1992294400 4194304 9819077 140736197231968 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54623 39881 669 1374 0 53244 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 218492
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9728
/proc/meminfo: memFree=1492028/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218428 CPUtime=1721.64
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1175866 0 0 0 171410 754 0 0 25 0 1 0 42246452 223670272 40764 1992294400 4194304 9819077 140736197231968 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54607 40764 669 1374 0 53228 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 218428
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9730
/proc/meminfo: memFree=1492772/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=218396 CPUtime=1781.61
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1220577 0 0 0 177383 778 0 0 25 0 1 0 42246452 223637504 40584 1992294400 4194304 9819077 140736197231968 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54599 40584 669 1374 0 53220 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 218396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9730
/proc/meminfo: memFree=1498848/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=219116 CPUtime=1800.03
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1236807 0 0 0 179215 788 0 0 25 0 1 0 42246452 224374784 38870 1992294400 4194304 9819077 140736197231968 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54779 38870 669 1374 0 53400 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 219116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9672
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9730
/proc/meminfo: memFree=1498848/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=219092 CPUtime=1800.71
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1243700 0 0 0 179281 790 0 0 25 0 1 0 42246452 224350208 38946 1992294400 4194304 9819077 140736197231968 18446744073709551615 6198260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54773 38946 669 1374 0 53394 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 219092
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9731
/proc/meminfo: memFree=1498468/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=219092 CPUtime=1801.5
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1243765 0 0 0 179360 790 0 0 25 0 1 0 42246452 224350208 39011 1992294400 4194304 9819077 140736197231968 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54773 39011 669 1374 0 53394 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 219092
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9731
/proc/meminfo: memFree=1498468/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=219092 CPUtime=1801.9
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1243822 0 0 0 179400 790 0 0 25 0 1 0 42246452 224350208 39068 1992294400 4194304 9819077 140736197231968 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54773 39068 669 1374 0 53394 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 219092
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9731
/proc/meminfo: memFree=1498468/2059040 swapFree=4140236/4192956
[pid=9672] ppid=9670 vsize=219092 CPUtime=1802
/proc/9672/stat : 9672 (pbscip.linux.x8) R 9670 9672 9198 0 -1 4202496 1243843 0 0 0 179410 790 0 0 25 0 1 0 42246452 224350208 39089 1992294400 4194304 9819077 140736197231968 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9672/statm: 54773 39089 669 1374 0 53394 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 219092
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.05
CPU user time (s): 1794.13
CPU system time (s): 7.92279
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 219116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 7.92279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1243848
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= 3792
runsolver used 3.24751 second user time and 9.8865 second system time
The end