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-2664810-1276685454.opb>
1.09/1.17 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62225 constraints
1.09/1.17 c problem read
1.09/1.17 c presolving settings loaded
1.29/1.38 o 0
1.29/1.38 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.38 c presolving:
1.59/1.64 c (round 1) 195 del vars, 195 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) 195 del vars, 892 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
2.39/2.41 c (1.0s) probing: 101/1830 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.41 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.41 c presolving (3 rounds):
2.39/2.41 c 195 deleted vars, 892 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.41 c 2340 implications, 0 cliques
2.39/2.41 c presolved problem has 1830 variables (1830 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
2.39/2.41 c 61333 constraints of type <logicor>
2.39/2.41 c transformed objective value is always integral (scale: 1)
2.39/2.41 c Presolving Time: 0.84
2.39/2.41 c - non default parameters ----------------------------------------------------------------------
2.39/2.41 c # SCIP version 1.2.1.2
2.39/2.41 c
2.39/2.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c conflict/interconss = 0
2.39/2.41 c
2.39/2.41 c # should binary conflicts be preferred?
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c conflict/preferbinary = TRUE
2.39/2.41 c
2.39/2.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.41 c constraints/agelimit = 1
2.39/2.41 c
2.39/2.41 c # should enforcement of pseudo solution be disabled?
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/disableenfops = TRUE
2.39/2.41 c
2.39/2.41 c # frequency for displaying node information lines
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.41 c display/freq = 10000
2.39/2.41 c
2.39/2.41 c # maximal time in seconds to run
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/time = 1798.83
2.39/2.41 c
2.39/2.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/memory = 1620
2.39/2.41 c
2.39/2.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.41 c lp/solvefreq = 0
2.39/2.41 c
2.39/2.41 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.41 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.41 c lp/pricing = a
2.39/2.41 c
2.39/2.41 c # should presolving try to simplify inequalities
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/linear/simplifyinequalities = TRUE
2.39/2.41 c
2.39/2.41 c # should presolving try to simplify knapsacks
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.41 c
2.39/2.41 c # priority of node selection rule <dfs> in standard mode
2.39/2.41 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.41 c nodeselection/dfs/stdpriority = 1000000
2.39/2.41 c
2.39/2.41 c -----------------------------------------------------------------------------------------------
2.39/2.41 c start solving
2.39/2.42 c
361.98/362.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.98/362.10 c t 359s| 1 | 0 | 31392 | - | 71M| 0 |1810 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 | 0.000000e+00 | 100.00%
362.08/362.24 o -15
362.08/362.24 c R 359s| 1 | 0 | 31392 | - | 71M| 0 |1810 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.500000e+01 | 94.46%
362.28/362.42 o -19
362.28/362.42 c s 359s| 1 | 0 | 31392 | - | 71M| 0 |1810 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.900000e+01 | 92.99%
951.59/951.91 c 946s| 1 | 0 | 73975 | - | 74M| 0 |1810 |1830 | 61k|1830 | 61k| 4 | 0 | 0 |-2.683461e+02 |-1.900000e+01 | 92.92%
951.59/951.93 o -40
951.59/951.93 c b 946s| 1 | 0 | 73975 | - | 74M| 0 |1810 |1830 | 61k|1830 | 61k| 4 | 0 | 0 |-2.683461e+02 |-4.000000e+01 | 85.09%
1790.95/1791.58 c 1782s| 1 | 0 |135782 | - | 77M| 0 |1818 |1830 | 61k|1830 | 61k| 12 | 0 | 0 |-2.651328e+02 |-4.000000e+01 | 84.91%
1800.05/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-2664810-1276685454/watcher-2664810-1276685454 -o /tmp/evaluation-result-2664810-1276685454/solver-2664810-1276685454 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664810-1276685454.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.92 0.98 0.99 3/106 15164
/proc/meminfo: memFree=1696180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=9288 CPUtime=0
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 9837843 9510912 948 1992294400 4194304 9819077 140736272352752 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15164/statm: 2322 957 371 1374 0 943 0
[startup+0.091585 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15164
/proc/meminfo: memFree=1696180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=14360 CPUtime=0.08
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 2517 0 0 0 8 0 0 0 20 0 1 0 9837843 14704640 2437 1992294400 4194304 9819077 140736272352752 18446744073709551615 8080965 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15164/statm: 3590 2437 388 1374 0 2211 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14360
[startup+0.100585 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15164
/proc/meminfo: memFree=1696180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=14832 CPUtime=0.09
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 2634 0 0 0 9 0 0 0 20 0 1 0 9837843 15187968 2554 1992294400 4194304 9819077 140736272352752 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15164/statm: 3708 2554 388 1374 0 2329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14832
[startup+0.300603 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15164
/proc/meminfo: memFree=1696180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=18560 CPUtime=0.29
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 3583 0 0 0 28 1 0 0 20 0 1 0 9837843 19005440 3503 1992294400 4194304 9819077 140736272352752 18446744073709551615 8654629 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15164/statm: 4640 3503 388 1374 0 3261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18560
[startup+0.700638 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15164
/proc/meminfo: memFree=1696180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=26504 CPUtime=0.69
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 5541 0 0 0 67 2 0 0 21 0 1 0 9837843 27140096 5461 1992294400 4194304 9819077 140736272352752 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15164/statm: 6626 5461 388 1374 0 5247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26504
[startup+1.50071 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1669884/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=80312 CPUtime=1.49
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 19130 0 0 0 140 9 0 0 23 0 1 0 9837843 82239488 18696 1992294400 4194304 9819077 140736272352752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 20078 18696 492 1374 0 18699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80312
[startup+3.10085 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1615324/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=179068 CPUtime=3.09
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 47761 0 0 0 273 36 0 0 25 0 1 0 9837843 183365632 35260 1992294400 4194304 9819077 140736272352752 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 44767 35260 630 1374 0 43388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 179068
[startup+6.30014 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1554440/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=187576 CPUtime=6.28
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 51530 0 0 0 590 38 0 0 25 0 1 0 9837843 192077824 36362 1992294400 4194304 9819077 140736272352752 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 46894 36362 632 1374 0 45515 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 187576
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1550596/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=195388 CPUtime=12.68
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 59198 0 0 0 1225 43 0 0 25 0 1 0 9837843 200077312 37225 1992294400 4194304 9819077 140736272352752 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 48847 37225 632 1374 0 47468 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 195388
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1553820/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=198420 CPUtime=25.48
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 71602 0 0 0 2498 50 0 0 25 0 1 0 9837843 203182080 36146 1992294400 4194304 9819077 140736272352752 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 49605 36146 632 1374 0 48226 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198420
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 15165
/proc/meminfo: memFree=1547620/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=200276 CPUtime=51.08
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 91813 0 0 0 5046 62 0 0 25 0 1 0 9837843 205082624 37675 1992294400 4194304 9819077 140736272352752 18446744073709551615 7289277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50069 37675 632 1374 0 48690 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 200276
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 15167
/proc/meminfo: memFree=1549852/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=202264 CPUtime=102.27
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 134405 0 0 0 10140 87 0 0 25 0 1 0 9837843 207118336 37101 1992294400 4194304 9819077 140736272352752 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50566 37101 633 1374 0 49187 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 202264
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15169
/proc/meminfo: memFree=1554068/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=202836 CPUtime=162.24
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 178556 0 0 0 16110 114 0 0 25 0 1 0 9837843 207704064 36079 1992294400 4194304 9819077 140736272352752 18446744073709551615 7290930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50709 36079 633 1374 0 49330 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 202836
[startup+222.301 s]
/proc/loadavg: 1.11 1.02 1.01 2/107 15171
/proc/meminfo: memFree=1547372/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=203092 CPUtime=222.22
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 220622 0 0 0 22083 139 0 0 25 0 1 0 9837843 207966208 37647 1992294400 4194304 9819077 140736272352752 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50773 37647 633 1374 0 49394 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 203092
[startup+282.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 15173
/proc/meminfo: memFree=1547992/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=202968 CPUtime=282.21
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 265071 0 0 0 28053 168 0 0 25 0 1 0 9837843 207839232 37600 1992294400 4194304 9819077 140736272352752 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50742 37600 633 1374 0 49363 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 202968
[startup+342.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 15173
/proc/meminfo: memFree=1547000/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=203224 CPUtime=342.18
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 309198 0 0 0 34022 196 0 0 25 0 1 0 9837843 208101376 37732 1992294400 4194304 9819077 140736272352752 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 50806 37732 633 1374 0 49427 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 203224
[startup+402.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 15175
/proc/meminfo: memFree=1540180/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=209984 CPUtime=402.17
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 358137 0 0 0 39994 223 0 0 25 0 1 0 9837843 215023616 37339 1992294400 4194304 9819077 140736272352752 18446744073709551615 6192300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 52496 37339 668 1374 0 51117 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 209984
[startup+462.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 15177
/proc/meminfo: memFree=1539932/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=209984 CPUtime=462.15
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 397674 0 0 0 45967 248 0 0 25 0 1 0 9837843 215023616 39500 1992294400 4194304 9819077 140736272352752 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 52496 39500 668 1374 0 51117 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 209984
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 15179
/proc/meminfo: memFree=1541296/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=210016 CPUtime=522.13
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 439900 0 0 0 51940 273 0 0 25 0 1 0 9837843 215056384 39228 1992294400 4194304 9819077 140736272352752 18446744073709551615 7310702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 52504 39228 668 1374 0 51125 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 210016
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15181
/proc/meminfo: memFree=1541792/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=209952 CPUtime=582.11
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 482098 0 0 0 57915 296 0 0 25 0 1 0 9837843 214990848 39032 1992294400 4194304 9819077 140736272352752 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 52488 39032 668 1374 0 51109 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 209952
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15190
/proc/meminfo: memFree=1541792/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=209856 CPUtime=642.08
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 523825 0 0 0 63890 318 0 0 25 0 1 0 9837843 214892544 38936 1992294400 4194304 9819077 140736272352752 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 52464 38936 668 1374 0 51085 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 209856
[startup+702.301 s]
################
# More data... #
################
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 787897 0 0 0 99725 473 0 0 25 0 1 0 9837843 218992640 40021 1992294400 4194304 9819077 140736272352752 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53465 40021 670 1374 0 52086 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 213860
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15202
/proc/meminfo: memFree=1538816/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213792 CPUtime=1061.96
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 830494 0 0 0 105698 498 0 0 25 0 1 0 9837843 218923008 39927 1992294400 4194304 9819077 140736272352752 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53448 39927 670 1374 0 52069 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 213792
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15204
/proc/meminfo: memFree=1535468/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213824 CPUtime=1121.95
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 871726 0 0 0 111675 520 0 0 25 0 1 0 9837843 218955776 38160 1992294400 4194304 9819077 140736272352752 18446744073709551615 7317712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53456 38160 670 1374 0 52077 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 213824
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15206
/proc/meminfo: memFree=1537328/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213760 CPUtime=1181.93
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 911212 0 0 0 117652 541 0 0 25 0 1 0 9837843 218890240 40064 1992294400 4194304 9819077 140736272352752 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53440 40064 670 1374 0 52061 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 213760
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15206
/proc/meminfo: memFree=1539188/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213728 CPUtime=1241.91
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 953238 0 0 0 123624 567 0 0 25 0 1 0 9837843 218857472 39792 1992294400 4194304 9819077 140736272352752 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53432 39792 670 1374 0 52053 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 213728
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15208
/proc/meminfo: memFree=1537452/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213692 CPUtime=1301.9
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 995105 0 0 0 129599 591 0 0 25 0 1 0 9837843 218820608 39883 1992294400 4194304 9819077 140736272352752 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53423 39883 670 1374 0 52044 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 213692
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15210
/proc/meminfo: memFree=1536832/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213760 CPUtime=1361.88
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1036864 0 0 0 135572 616 0 0 25 0 1 0 9837843 218890240 40107 1992294400 4194304 9819077 140736272352752 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53440 40107 670 1374 0 52061 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 213760
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15212
/proc/meminfo: memFree=1543280/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213668 CPUtime=1421.87
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1081589 0 0 0 141543 644 0 0 25 0 1 0 9837843 218796032 38501 1992294400 4194304 9819077 140736272352752 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53417 38501 670 1374 0 52038 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 213668
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15214
/proc/meminfo: memFree=1541792/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213820 CPUtime=1481.85
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1123855 0 0 0 147514 671 0 0 25 0 1 0 9837843 218951680 39425 1992294400 4194304 9819077 140736272352752 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53455 39425 670 1374 0 52076 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 213820
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15214
/proc/meminfo: memFree=1536584/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213756 CPUtime=1541.83
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1165337 0 0 0 153489 694 0 0 25 0 1 0 9837843 218886144 40114 1992294400 4194304 9819077 140736272352752 18446744073709551615 7296186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53439 40114 670 1374 0 52060 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 213756
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15216
/proc/meminfo: memFree=1537204/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213568 CPUtime=1601.8
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1213378 0 0 0 159455 725 0 0 25 0 1 0 9837843 218693632 38106 1992294400 4194304 9819077 140736272352752 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53392 38106 670 1374 0 52013 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 213568
[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 15218
/proc/meminfo: memFree=1538692/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213792 CPUtime=1661.79
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1259634 0 0 0 165426 753 0 0 25 0 1 0 9837843 218923008 39734 1992294400 4194304 9819077 140736272352752 18446744073709551615 7299232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53448 39734 670 1374 0 52069 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 213792
[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 15220
/proc/meminfo: memFree=1537700/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213792 CPUtime=1721.76
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1304478 0 0 0 171396 780 0 0 25 0 1 0 9837843 218923008 39898 1992294400 4194304 9819077 140736272352752 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53448 39898 670 1374 0 52069 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 213792
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15222
/proc/meminfo: memFree=1537080/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213824 CPUtime=1781.75
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1348914 0 0 0 177368 807 0 0 25 0 1 0 9837843 218955776 39918 1992294400 4194304 9819077 140736272352752 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53456 39918 670 1374 0 52077 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 213824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15222
/proc/meminfo: memFree=1544520/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=213824 CPUtime=1800.05
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1362537 0 0 0 179190 815 0 0 25 0 1 0 9837843 218955776 37974 1992294400 4194304 9819077 140736272352752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53456 37974 670 1374 0 52077 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 213824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15164
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 15222
/proc/meminfo: memFree=1544520/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=214100 CPUtime=1800.84
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1369540 0 0 0 179266 818 0 0 25 0 1 0 9837843 219238400 38122 1992294400 4194304 9819077 140736272352752 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53525 38122 670 1374 0 52146 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 214100
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15223
/proc/meminfo: memFree=1543892/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=214100 CPUtime=1801.64
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1369614 0 0 0 179346 818 0 0 25 0 1 0 9837843 219238400 38196 1992294400 4194304 9819077 140736272352752 18446744073709551615 6674395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53525 38196 670 1374 0 52146 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 214100
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15223
/proc/meminfo: memFree=1543892/2059040 swapFree=4141376/4192956
[pid=15164] ppid=15162 vsize=214100 CPUtime=1802.05
/proc/15164/stat : 15164 (pbscip.linux.x8) R 15162 15164 14485 0 -1 4202496 1369670 0 0 0 179386 819 0 0 25 0 1 0 9837843 219238400 38252 1992294400 4194304 9819077 140736272352752 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15164/statm: 53525 38252 670 1374 0 52146 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 214100
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.09
CPU user time (s): 1793.88
CPU system time (s): 8.20675
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 214100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 8.20675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1369676
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= 2
involuntary context switches= 20772
runsolver used 3.02854 second user time and 8.45971 second system time
The end