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-2664815-1276686066.opb>
1.00/1.04 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62994 constraints
1.00/1.04 c problem read
1.00/1.04 c presolving settings loaded
1.19/1.25 o 0
1.19/1.25 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.19/1.25 c presolving:
1.49/1.51 c (round 1) 191 del vars, 191 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.99/2.04 c (round 2) 191 del vars, 851 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62143 upgd conss, 2340 impls, 0 clqs
2.19/2.25 c (1.0s) probing: 101/1834 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.19/2.25 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.19/2.25 c presolving (3 rounds):
2.19/2.25 c 191 deleted vars, 851 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.19/2.25 c 2340 implications, 0 cliques
2.19/2.25 c presolved problem has 1834 variables (1834 bin, 0 int, 0 impl, 0 cont) and 62143 constraints
2.19/2.25 c 62143 constraints of type <logicor>
2.19/2.25 c transformed objective value is always integral (scale: 1)
2.19/2.25 c Presolving Time: 0.83
2.19/2.25 c - non default parameters ----------------------------------------------------------------------
2.19/2.25 c # SCIP version 1.2.1.2
2.19/2.25 c
2.19/2.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.19/2.25 c # [type: int, range: [-1,2147483647], default: -1]
2.19/2.25 c conflict/interconss = 0
2.19/2.25 c
2.19/2.25 c # should binary conflicts be preferred?
2.19/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.25 c conflict/preferbinary = TRUE
2.19/2.25 c
2.19/2.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.19/2.25 c # [type: int, range: [-1,2147483647], default: 0]
2.19/2.25 c constraints/agelimit = 1
2.19/2.25 c
2.19/2.25 c # should enforcement of pseudo solution be disabled?
2.19/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.25 c constraints/disableenfops = TRUE
2.19/2.25 c
2.19/2.25 c # frequency for displaying node information lines
2.19/2.25 c # [type: int, range: [-1,2147483647], default: 100]
2.19/2.25 c display/freq = 10000
2.19/2.25 c
2.19/2.25 c # maximal time in seconds to run
2.19/2.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.25 c limits/time = 1798.96
2.19/2.25 c
2.19/2.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.19/2.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.25 c limits/memory = 1620
2.19/2.25 c
2.19/2.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.19/2.25 c # [type: int, range: [-1,2147483647], default: 1]
2.19/2.25 c lp/solvefreq = 0
2.19/2.25 c
2.19/2.25 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.19/2.25 c # [type: char, range: {lafpsqd}, default: l]
2.19/2.25 c lp/pricing = a
2.19/2.25 c
2.19/2.25 c # should presolving try to simplify inequalities
2.19/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.25 c constraints/linear/simplifyinequalities = TRUE
2.19/2.25 c
2.19/2.25 c # should presolving try to simplify knapsacks
2.19/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.25 c constraints/knapsack/simplifyinequalities = TRUE
2.19/2.25 c
2.19/2.25 c # priority of node selection rule <dfs> in standard mode
2.19/2.25 c # [type: int, range: [-536870912,536870911], default: 0]
2.19/2.25 c nodeselection/dfs/stdpriority = 1000000
2.19/2.25 c
2.19/2.25 c -----------------------------------------------------------------------------------------------
2.19/2.25 c start solving
2.19/2.25 c
367.40/367.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.40/367.54 c t 364s| 1 | 0 | 31847 | - | 72M| 0 |1818 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 | 0.000000e+00 | 100.00%
367.50/367.69 o -16
367.50/367.69 c R 365s| 1 | 0 | 31847 | - | 72M| 0 |1818 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 |-1.600000e+01 | 93.63%
367.70/367.88 o -17
367.70/367.88 c s 365s| 1 | 0 | 31847 | - | 72M| 0 |1818 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 |-1.700000e+01 | 93.23%
1176.20/1176.52 c 1170s| 1 | 0 | 90290 | - | 76M| 0 |1819 |1834 | 62k|1834 | 62k| 9 | 0 | 0 |-2.460810e+02 |-1.700000e+01 | 93.09%
1176.20/1176.54 o -39
1176.20/1176.54 c b1170s| 1 | 0 | 90290 | - | 76M| 0 |1819 |1834 | 62k|1834 | 62k| 9 | 0 | 0 |-2.460810e+02 |-3.900000e+01 | 84.15%
1800.05/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-2664815-1276686066/watcher-2664815-1276686066 -o /tmp/evaluation-result-2664815-1276686066/solver-2664815-1276686066 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664815-1276686066.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.97 1.00 1.00 3/105 16183
/proc/meminfo: memFree=1737608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=9288 CPUtime=0
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1134 0 0 0 0 0 0 0 22 0 1 0 9900087 9510912 1054 1992294400 4194304 9819077 140733975860352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16183/statm: 2322 1064 371 1374 0 943 0
[startup+0.0705209 s]
/proc/loadavg: 0.97 1.00 1.00 3/105 16183
/proc/meminfo: memFree=1737608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=14100 CPUtime=0.06
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 2473 0 0 0 6 0 0 0 24 0 1 0 9900087 14438400 2393 1992294400 4194304 9819077 140733975860352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16183/statm: 3525 2393 388 1374 0 2146 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14100
[startup+0.101524 s]
/proc/loadavg: 0.97 1.00 1.00 3/105 16183
/proc/meminfo: memFree=1737608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=15792 CPUtime=0.1
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 2875 0 0 0 9 1 0 0 24 0 1 0 9900087 16171008 2795 1992294400 4194304 9819077 140733975860352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16183/statm: 3948 2795 388 1374 0 2569 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15792
[startup+0.301546 s]
/proc/loadavg: 0.97 1.00 1.00 3/105 16183
/proc/meminfo: memFree=1737608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=20420 CPUtime=0.29
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 4051 0 0 0 28 1 0 0 25 0 1 0 9900087 20910080 3971 1992294400 4194304 9819077 140733975860352 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16183/statm: 5105 3971 388 1374 0 3726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20420
[startup+0.700583 s]
/proc/loadavg: 0.97 1.00 1.00 3/105 16183
/proc/meminfo: memFree=1737608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=27780 CPUtime=0.69
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 5870 0 0 0 67 2 0 0 25 0 1 0 9900087 28446720 5790 1992294400 4194304 9819077 140733975860352 18446744073709551615 8667778 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16183/statm: 6945 5790 388 1374 0 5566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27780
[startup+1.50066 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 16184
/proc/meminfo: memFree=1707840/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=82340 CPUtime=1.49
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 19743 0 0 0 137 12 0 0 25 0 1 0 9900087 84316160 19217 1992294400 4194304 9819077 140733975860352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 20585 19217 492 1374 0 19206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82340
[startup+3.10082 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 16184
/proc/meminfo: memFree=1654272/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=181312 CPUtime=3.09
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 48256 0 0 0 275 34 0 0 25 0 1 0 9900087 185663488 35802 1992294400 4194304 9819077 140733975860352 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 45328 35802 630 1374 0 43949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181312
[startup+6.30112 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 16184
/proc/meminfo: memFree=1594132/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=195736 CPUtime=6.29
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 54087 0 0 0 592 37 0 0 25 0 1 0 9900087 200433664 35886 1992294400 4194304 9819077 140733975860352 18446744073709551615 7289139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 48934 35886 632 1374 0 47555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195736
[startup+12.7007 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 16184
/proc/meminfo: memFree=1590412/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=198872 CPUtime=12.69
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 59483 0 0 0 1229 40 0 0 25 0 1 0 9900087 203644928 37744 1992294400 4194304 9819077 140733975860352 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 49718 37744 632 1374 0 48339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 198872
[startup+25.502 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 16184
/proc/meminfo: memFree=1588676/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=202364 CPUtime=25.49
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 73326 0 0 0 2501 48 0 0 25 0 1 0 9900087 207220736 37753 1992294400 4194304 9819077 140733975860352 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 50591 37753 632 1374 0 49212 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 202364
[startup+51.1015 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 16186
/proc/meminfo: memFree=1586816/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=204352 CPUtime=51.08
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 93476 0 0 0 5050 58 0 0 25 0 1 0 9900087 209256448 38191 1992294400 4194304 9819077 140733975860352 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51088 38191 632 1374 0 49709 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 204352
[startup+102.309 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 16186
/proc/meminfo: memFree=1587684/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=204860 CPUtime=102.27
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 133967 0 0 0 10147 80 0 0 25 0 1 0 9900087 209776640 37903 1992294400 4194304 9819077 140733975860352 18446744073709551615 7312693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51215 37903 632 1374 0 49836 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 204860
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16188
/proc/meminfo: memFree=1587436/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=204992 CPUtime=162.25
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 179413 0 0 0 16116 109 0 0 25 0 1 0 9900087 209911808 38039 1992294400 4194304 9819077 140733975860352 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51248 38039 632 1374 0 49869 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204992
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16190
/proc/meminfo: memFree=1587436/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=205528 CPUtime=222.24
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 224999 0 0 0 22088 136 0 0 25 0 1 0 9900087 210460672 37991 1992294400 4194304 9819077 140733975860352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51382 37991 632 1374 0 50003 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 205528
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16192
/proc/meminfo: memFree=1591156/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=205696 CPUtime=282.22
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 270021 0 0 0 28060 162 0 0 25 0 1 0 9900087 210632704 37675 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51424 37675 632 1374 0 50045 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 205696
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16192
/proc/meminfo: memFree=1589544/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=205660 CPUtime=342.21
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 314567 0 0 0 34032 189 0 0 25 0 1 0 9900087 210595840 37588 1992294400 4194304 9819077 140733975860352 18446744073709551615 7312689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 51415 37588 632 1374 0 50036 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 205660
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16194
/proc/meminfo: memFree=1586940/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214376 CPUtime=402.19
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 356429 0 0 0 40006 213 0 0 25 0 1 0 9900087 219521024 38323 1992294400 4194304 9819077 140733975860352 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53594 38323 668 1374 0 52215 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 214376
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16196
/proc/meminfo: memFree=1578012/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214376 CPUtime=462.18
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 399555 0 0 0 45979 239 0 0 25 0 1 0 9900087 219521024 38052 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53594 38052 668 1374 0 52215 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 214376
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16198
/proc/meminfo: memFree=1579996/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214312 CPUtime=522.17
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 439535 0 0 0 51956 261 0 0 25 0 1 0 9900087 219455488 39934 1992294400 4194304 9819077 140733975860352 18446744073709551615 7311082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53578 39934 668 1374 0 52199 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 214312
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16200
/proc/meminfo: memFree=1586196/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214316 CPUtime=582.15
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 481455 0 0 0 57930 285 0 0 25 0 1 0 9900087 219459584 38482 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53579 38482 668 1374 0 52200 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 214316
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16200
/proc/meminfo: memFree=1585824/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214212 CPUtime=642.14
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 524269 0 0 0 63906 308 0 0 25 0 1 0 9900087 219353088 38350 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53553 38350 668 1374 0 52174 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 214212
[startup+702.3 s]
################
# More data... #
################
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 829332 0 0 0 105715 487 0 0 25 0 1 0 9900087 219521024 39927 1992294400 4194304 9819077 140733975860352 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53594 39927 668 1374 0 52215 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 214376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16214
/proc/meminfo: memFree=1580120/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214404 CPUtime=1122.02
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 874945 0 0 0 111688 514 0 0 25 0 1 0 9900087 219549696 39721 1992294400 4194304 9819077 140733975860352 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53601 39721 668 1374 0 52222 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 214404
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16216
/proc/meminfo: memFree=1587188/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=214316 CPUtime=1182
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 920355 0 0 0 117657 543 0 0 25 0 1 0 9900087 219459584 37827 1992294400 4194304 9819077 140733975860352 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 53579 37827 668 1374 0 52200 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 214316
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16216
/proc/meminfo: memFree=1575284/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218056 CPUtime=1241.98
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 961935 0 0 0 123630 568 0 0 25 0 1 0 9900087 223289344 40903 1992294400 4194304 9819077 140733975860352 18446744073709551615 6699278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54514 40903 670 1374 0 53135 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 218056
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16218
/proc/meminfo: memFree=1575408/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217988 CPUtime=1301.97
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1004821 0 0 0 129606 591 0 0 25 0 1 0 9900087 223219712 40768 1992294400 4194304 9819077 140733975860352 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54497 40768 670 1374 0 53118 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 217988
[startup+1362.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 16220
/proc/meminfo: memFree=1579128/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218080 CPUtime=1361.95
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1047509 0 0 0 135577 618 0 0 25 0 1 0 9900087 223313920 40474 1992294400 4194304 9819077 140733975860352 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54520 40474 670 1374 0 53141 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 218080
[startup+1422.31 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 16222
/proc/meminfo: memFree=1581112/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218052 CPUtime=1421.95
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1089548 0 0 0 141553 642 0 0 25 0 1 0 9900087 223285248 39409 1992294400 4194304 9819077 140733975860352 18446744073709551615 6198416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54513 39409 670 1374 0 53134 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 218052
[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 16224
/proc/meminfo: memFree=1582476/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218052 CPUtime=1481.93
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1132133 0 0 0 147524 669 0 0 25 0 1 0 9900087 223285248 39144 1992294400 4194304 9819077 140733975860352 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54513 39144 670 1374 0 53134 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 218052
[startup+1542.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/106 16224
/proc/meminfo: memFree=1577516/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218052 CPUtime=1541.91
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1175616 0 0 0 153496 695 0 0 25 0 1 0 9900087 223285248 40374 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54513 40374 670 1374 0 53134 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 218052
[startup+1602.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/106 16226
/proc/meminfo: memFree=1575284/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=218016 CPUtime=1601.9
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1218492 0 0 0 159469 721 0 0 25 0 1 0 9900087 223248384 40871 1992294400 4194304 9819077 140733975860352 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54504 40871 670 1374 0 53125 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 218016
[startup+1662.3 s]
/proc/loadavg: 1.30 1.11 1.02 2/106 16228
/proc/meminfo: memFree=1581856/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1661.88
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1263944 0 0 0 165441 747 0 0 25 0 1 0 9900087 223186944 39248 1992294400 4194304 9819077 140733975860352 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 39248 670 1374 0 53110 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 217956
[startup+1722.3 s]
/proc/loadavg: 1.11 1.08 1.02 2/106 16230
/proc/meminfo: memFree=1575284/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217864 CPUtime=1721.86
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1306915 0 0 0 171413 773 0 0 25 0 1 0 9900087 223092736 40867 1992294400 4194304 9819077 140733975860352 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54466 40867 670 1374 0 53087 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 217864
[startup+1782.3 s]
/proc/loadavg: 1.04 1.07 1.01 2/106 16232
/proc/meminfo: memFree=1575656/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217988 CPUtime=1781.84
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1353277 0 0 0 177383 801 0 0 25 0 1 0 9900087 223219712 40630 1992294400 4194304 9819077 140733975860352 18446744073709551615 7296171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54497 40630 670 1374 0 53118 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 217988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.03 1.06 1.01 2/106 16232
/proc/meminfo: memFree=1581608/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1800.05
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1367315 0 0 0 179195 810 0 0 25 0 1 0 9900087 223186944 39117 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 39117 670 1374 0 53110 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 217956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16183
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 16233
/proc/meminfo: memFree=1581476/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1800.94
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1367871 0 0 0 179284 810 0 0 25 0 1 0 9900087 223186944 39673 1992294400 4194304 9819077 140733975860352 18446744073709551615 7293513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 39673 670 1374 0 53110 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 217956
[startup+1802.2 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 16233
/proc/meminfo: memFree=1578376/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1801.74
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1368651 0 0 0 179363 811 0 0 25 0 1 0 9900087 223186944 40453 1992294400 4194304 9819077 140733975860352 18446744073709551615 6697188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 40453 670 1374 0 53110 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 217956
[startup+1802.4 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 16233
/proc/meminfo: memFree=1578376/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1801.94
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1368710 0 0 0 179383 811 0 0 25 0 1 0 9900087 223186944 40512 1992294400 4194304 9819077 140733975860352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 40512 670 1374 0 53110 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 217956
[startup+1802.5 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 16233
/proc/meminfo: memFree=1578376/2059040 swapFree=4140808/4192956
[pid=16183] ppid=16181 vsize=217956 CPUtime=1802.04
/proc/16183/stat : 16183 (pbscip.linux.x8) R 16181 16183 16158 0 -1 4202496 1368725 0 0 0 179393 811 0 0 25 0 1 0 9900087 223186944 40527 1992294400 4194304 9819077 140733975860352 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16183/statm: 54489 40527 670 1374 0 53110 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 217956
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.08
CPU user time (s): 1793.95
CPU system time (s): 8.13176
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 218148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 8.13176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1368725
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= 1323
runsolver used 3.12153 second user time and 8.36473 second system time
The end