0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666821-1276640729.opb>
0.89/0.96 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.89/0.96 c problem read
0.89/0.97 c presolving settings loaded
1.19/1.24 c presolving:
1.79/1.85 c (round 1) 972 del vars, 1925 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
1.89/1.91 c (round 2) 972 del vars, 1946 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
2.39/2.49 c (round 3) 972 del vars, 1948 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 435372 impls, 0 clqs
7.29/7.34 c (6.1s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
7.29/7.34 c (6.1s) probing aborted: 100/100 successive totally useless probings
7.29/7.35 c (round 4) 974 del vars, 1948 del conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
8.29/8.36 c (7.0s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
8.29/8.38 c (7.1s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
8.29/8.38 c (7.1s) probing aborted: 100/100 successive totally useless probings
8.29/8.38 c presolving (5 rounds):
8.29/8.38 c 974 deleted vars, 1948 deleted constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
8.29/8.38 c 489082 implications, 0 cliques
8.29/8.38 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51299 constraints
8.29/8.38 c 1 constraints of type <knapsack>
8.29/8.38 c 51298 constraints of type <logicor>
8.29/8.38 c transformed objective value is always integral (scale: 1)
8.29/8.38 c Presolving Time: 6.95
8.29/8.38 c - non default parameters ----------------------------------------------------------------------
8.29/8.38 c # SCIP version 1.2.1.2
8.29/8.38 c
8.29/8.38 c # frequency for displaying node information lines
8.29/8.38 c # [type: int, range: [-1,2147483647], default: 100]
8.29/8.38 c display/freq = 10000
8.29/8.38 c
8.29/8.38 c # maximal time in seconds to run
8.29/8.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.29/8.38 c limits/time = 1799.04
8.29/8.38 c
8.29/8.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.29/8.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.29/8.38 c limits/memory = 1620
8.29/8.38 c
8.29/8.38 c # should presolving try to simplify inequalities
8.29/8.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.29/8.38 c constraints/linear/simplifyinequalities = TRUE
8.29/8.38 c
8.29/8.38 c # should presolving try to simplify knapsacks
8.29/8.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.29/8.38 c constraints/knapsack/simplifyinequalities = TRUE
8.29/8.38 c
8.29/8.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.29/8.38 c # [type: int, range: [-1,2147483647], default: -1]
8.29/8.38 c separating/rapidlearning/freq = 0
8.29/8.38 c
8.29/8.38 c -----------------------------------------------------------------------------------------------
8.29/8.38 c start solving
8.39/8.40 c
43.99/44.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.99/44.00 c 42.4s| 1 | 0 | 7632 | - | 108M| 0 |1986 | 13k| 51k| 13k| 51k| 0 | 0 | 0 | 1.059100e+01 | -- | Inf
720.61/720.81 c 710s| 1 | 2 | 30120 | - | 108M| 0 |1986 | 13k| 51k| 13k| 51k| 0 | 0 | 22 | 1.059100e+01 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666821-1276640729/watcher-2666821-1276640729 -o /tmp/evaluation-result-2666821-1276640729/solver-2666821-1276640729 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666821-1276640729.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.95 2.03 1.87 3/106 5178
/proc/meminfo: memFree=1811196/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=6696 CPUtime=0
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 39659328 6856704 902 1992294400 4194304 8223781 140733608618128 18446744073709551615 7304800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5178/statm: 1674 903 343 984 0 687 0
[startup+0.0403859 s]
/proc/loadavg: 1.95 2.03 1.87 3/106 5178
/proc/meminfo: memFree=1811196/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=12452 CPUtime=0.03
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2395 0 0 0 3 0 0 0 20 0 1 0 39659328 12750848 2315 1992294400 4194304 8223781 140733608618128 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5178/statm: 3113 2324 365 984 0 2126 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12452
[startup+0.101391 s]
/proc/loadavg: 1.95 2.03 1.87 3/106 5178
/proc/meminfo: memFree=1811196/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=13924 CPUtime=0.09
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2795 0 0 0 9 0 0 0 20 0 1 0 39659328 14258176 2715 1992294400 4194304 8223781 140733608618128 18446744073709551615 7164017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5178/statm: 3481 2715 365 984 0 2494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13924
[startup+0.30141 s]
/proc/loadavg: 1.95 2.03 1.87 3/106 5178
/proc/meminfo: memFree=1811196/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=20676 CPUtime=0.29
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 4467 0 0 0 28 1 0 0 20 0 1 0 39659328 21172224 4387 1992294400 4194304 8223781 140733608618128 18446744073709551615 5653311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5178/statm: 5169 4387 365 984 0 4182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20676
[startup+0.701451 s]
/proc/loadavg: 1.95 2.03 1.87 3/106 5178
/proc/meminfo: memFree=1811196/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=32796 CPUtime=0.7
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 7501 0 0 0 67 3 0 0 21 0 1 0 39659328 33583104 7421 1992294400 4194304 8223781 140733608618128 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5178/statm: 8199 7421 365 984 0 7212 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32796
[startup+1.50153 s]
/proc/loadavg: 1.87 2.01 1.87 2/107 5179
/proc/meminfo: memFree=1764440/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=95368 CPUtime=1.5
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 23017 0 0 0 138 12 0 0 23 0 1 0 39659328 97656832 22573 1992294400 4194304 8223781 140733608618128 18446744073709551615 6135548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 23842 22573 445 984 0 22855 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 95368
[startup+3.10169 s]
/proc/loadavg: 1.87 2.01 1.87 2/107 5179
/proc/meminfo: memFree=1702564/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=128888 CPUtime=3.09
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 37781 0 0 0 277 32 0 0 25 0 1 0 39659328 131981312 30950 1992294400 4194304 8223781 140733608618128 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 32222 30950 487 984 0 31235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128888
[startup+6.30101 s]
/proc/loadavg: 1.80 1.99 1.86 2/107 5179
/proc/meminfo: memFree=1685204/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=133036 CPUtime=6.29
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 38822 0 0 0 596 33 0 0 25 0 1 0 39659328 136228864 31991 1992294400 4194304 8223781 140733608618128 18446744073709551615 5957543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 33259 31991 487 984 0 32272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133036
[startup+12.7007 s]
/proc/loadavg: 1.74 1.98 1.86 2/107 5179
/proc/meminfo: memFree=1624568/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=201672 CPUtime=12.68
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 62100 0 0 0 1221 47 0 0 25 0 1 0 39659328 206512128 47044 1992294400 4194304 8223781 140733608618128 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 50418 47044 545 984 0 49431 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 201672
[startup+25.5009 s]
/proc/loadavg: 1.57 1.93 1.84 2/107 5179
/proc/meminfo: memFree=1619732/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=210236 CPUtime=25.49
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 75686 0 0 0 2489 60 0 0 25 0 1 0 39659328 215281664 48220 1992294400 4194304 8223781 140733608618128 18446744073709551615 6502710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 52559 48220 545 984 0 51572 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 210236
[startup+51.1015 s]
/proc/loadavg: 1.38 1.85 1.82 2/107 5179
/proc/meminfo: memFree=1617748/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212128 CPUtime=51.07
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 89035 0 0 0 5036 71 0 0 25 0 1 0 39659328 217219072 48675 1992294400 4194304 8223781 140733608618128 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53032 48675 552 984 0 52045 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 212128
[startup+102.309 s]
/proc/loadavg: 1.16 1.72 1.77 2/107 5181
/proc/meminfo: memFree=1617252/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212664 CPUtime=102.27
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 105309 0 0 0 10142 85 0 0 25 0 1 0 39659328 217767936 48796 1992294400 4194304 8223781 140733608618128 18446744073709551615 6503321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53166 48796 552 984 0 52179 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212664
[startup+162.302 s]
/proc/loadavg: 1.06 1.58 1.72 2/107 5183
/proc/meminfo: memFree=1617376/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212676 CPUtime=162.24
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 122955 0 0 0 16123 101 0 0 25 0 1 0 39659328 217780224 48788 1992294400 4194304 8223781 140733608618128 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53169 48788 552 984 0 52182 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 212676
[startup+222.302 s]
/proc/loadavg: 1.02 1.48 1.68 2/107 5185
/proc/meminfo: memFree=1615268/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213668 CPUtime=222.23
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 141476 0 0 0 22109 114 0 0 25 0 1 0 39659328 218796032 49261 1992294400 4194304 8223781 140733608618128 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53417 49261 552 984 0 52430 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 213668
[startup+282.301 s]
/proc/loadavg: 1.00 1.39 1.63 2/107 5185
/proc/meminfo: memFree=1615144/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213668 CPUtime=282.21
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 157802 0 0 0 28092 129 0 0 25 0 1 0 39659328 218796032 49308 1992294400 4194304 8223781 140733608618128 18446744073709551615 6563303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53417 49308 552 984 0 52430 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 213668
[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.59 2/107 5187
/proc/meminfo: memFree=1615268/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213668 CPUtime=342.2
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 177033 0 0 0 34075 145 0 0 25 0 1 0 39659328 218796032 49246 1992294400 4194304 8223781 140733608618128 18446744073709551615 6563252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53417 49246 552 984 0 52430 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 213668
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.55 2/107 5189
/proc/meminfo: memFree=1615268/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213668 CPUtime=402.19
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 192603 0 0 0 40061 158 0 0 25 0 1 0 39659328 218796032 49266 1992294400 4194304 8223781 140733608618128 18446744073709551615 6563052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53417 49266 552 984 0 52430 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 213668
[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.51 2/107 5191
/proc/meminfo: memFree=1615268/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213668 CPUtime=462.17
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 208674 0 0 0 46045 172 0 0 25 0 1 0 39659328 218796032 49247 1992294400 4194304 8223781 140733608618128 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53417 49247 552 984 0 52430 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 213668
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.48 2/107 5193
/proc/meminfo: memFree=1528840/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=305224 CPUtime=522.15
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 1912188 0 0 0 51342 873 0 0 25 0 1 0 39659328 312549376 70701 1992294400 4194304 8223781 140733608618128 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 76306 70701 604 984 0 75319 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 305224
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.44 2/107 5193
/proc/meminfo: memFree=1619608/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=211740 CPUtime=582.14
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 1974811 0 0 0 57287 927 0 0 25 0 1 0 39659328 216821760 48221 1992294400 4194304 8223781 140733608618128 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 52935 48221 611 984 0 51948 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 211740
[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.41 2/107 5195
/proc/meminfo: memFree=1619236/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=211308 CPUtime=642.13
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2029597 0 0 0 63251 962 0 0 25 0 1 0 39659328 216379392 48293 1992294400 4194304 8223781 140733608618128 18446744073709551615 6569925 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 52827 48293 611 984 0 51840 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 211308
[startup+702.301 s]
################
# More data... #
################
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2334648 0 0 0 105024 1178 0 0 25 0 1 0 39659328 217976832 48321 1992294400 4194304 8223781 140733608618128 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53217 48321 611 984 0 52230 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 212868
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/107 5209
/proc/meminfo: memFree=1618864/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212808 CPUtime=1122.01
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2376161 0 0 0 110993 1208 0 0 25 0 1 0 39659328 217915392 48284 1992294400 4194304 8223781 140733608618128 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53202 48284 611 984 0 52215 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 212808
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/107 5209
/proc/meminfo: memFree=1616756/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212624 CPUtime=1181.99
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2417565 0 0 0 116962 1237 0 0 25 0 1 0 39659328 217726976 49289 1992294400 4194304 8223781 140733608618128 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53156 49289 611 984 0 52169 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 212624
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 5211
/proc/meminfo: memFree=1618492/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212904 CPUtime=1241.97
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2460161 0 0 0 122932 1265 0 0 25 0 1 0 39659328 218013696 48309 1992294400 4194304 8223781 140733608618128 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53226 48309 611 984 0 52239 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 212904
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 5213
/proc/meminfo: memFree=1618740/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=203200 CPUtime=1301.96
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2501873 0 0 0 128902 1294 0 0 25 0 1 0 39659328 208076800 47505 1992294400 4194304 8223781 140733608618128 18446744073709551615 6329557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 50800 47505 611 984 0 49813 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 203200
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 5215
/proc/meminfo: memFree=1618492/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212752 CPUtime=1361.94
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2542116 0 0 0 134871 1323 0 0 25 0 1 0 39659328 217858048 48337 1992294400 4194304 8223781 140733608618128 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53188 48337 611 984 0 52201 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 212752
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 5217
/proc/meminfo: memFree=1617872/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212940 CPUtime=1421.94
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2576355 0 0 0 140846 1348 0 0 25 0 1 0 39659328 218050560 48125 1992294400 4194304 8223781 140733608618128 18446744073709551615 6565003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53235 48125 611 984 0 52248 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 212940
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 5217
/proc/meminfo: memFree=1618616/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213260 CPUtime=1481.92
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2616892 0 0 0 146817 1375 0 0 25 0 1 0 39659328 218378240 48275 1992294400 4194304 8223781 140733608618128 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53315 48275 611 984 0 52328 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 213260
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 5219
/proc/meminfo: memFree=1619236/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212940 CPUtime=1541.89
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2661959 0 0 0 152786 1403 0 0 25 0 1 0 39659328 218050560 48137 1992294400 4194304 8223781 140733608618128 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53235 48137 611 984 0 52248 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 212940
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 5221
/proc/meminfo: memFree=1619236/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212940 CPUtime=1601.88
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2705458 0 0 0 158756 1432 0 0 25 0 1 0 39659328 218050560 48374 1992294400 4194304 8223781 140733608618128 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53235 48374 611 984 0 52248 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 212940
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 5223
/proc/meminfo: memFree=1617624/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212964 CPUtime=1661.87
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2738771 0 0 0 164730 1457 0 0 25 0 1 0 39659328 218075136 48509 1992294400 4194304 8223781 140733608618128 18446744073709551615 6592916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53241 48509 611 984 0 52254 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 212964
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5225
/proc/meminfo: memFree=1618988/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=212916 CPUtime=1721.85
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2778848 0 0 0 170698 1487 0 0 25 0 1 0 39659328 218025984 48216 1992294400 4194304 8223781 140733608618128 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53229 48216 611 984 0 52242 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 212916
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5225
/proc/meminfo: memFree=1617996/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213288 CPUtime=1781.84
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2821040 0 0 0 176669 1515 0 0 25 0 1 0 39659328 218406912 48352 1992294400 4194304 8223781 140733608618128 18446744073709551615 6448646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53322 48352 611 984 0 52335 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 213288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5227
/proc/meminfo: memFree=1618492/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213256 CPUtime=1800.03
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2834937 0 0 0 178480 1523 0 0 25 0 1 0 39659328 218374144 48216 1992294400 4194304 8223781 140733608618128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53314 48216 611 984 0 52327 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 213256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5178
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 5228
/proc/meminfo: memFree=1618484/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213256 CPUtime=1800.93
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2834949 0 0 0 178569 1524 0 0 25 0 1 0 39659328 218374144 48228 1992294400 4194304 8223781 140733608618128 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53314 48228 611 984 0 52327 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 213256
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 5228
/proc/meminfo: memFree=1617864/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213276 CPUtime=1801.73
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2835128 0 0 0 178649 1524 0 0 25 0 1 0 39659328 218394624 48407 1992294400 4194304 8223781 140733608618128 18446744073709551615 6592488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53319 48407 611 984 0 52332 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 213276
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 5228
/proc/meminfo: memFree=1617864/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213288 CPUtime=1801.93
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2835833 0 0 0 178669 1524 0 0 25 0 1 0 39659328 218406912 48350 1992294400 4194304 8223781 140733608618128 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53322 48350 611 984 0 52335 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 213288
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 5228
/proc/meminfo: memFree=1617864/2059040 swapFree=4134608/4192956
[pid=5178] ppid=5176 vsize=213288 CPUtime=1802.03
/proc/5178/stat : 5178 (pbscip.linux.x8) R 5176 5178 4731 0 -1 4202496 2835834 0 0 0 178679 1524 0 0 25 0 1 0 39659328 218406912 48351 1992294400 4194304 8223781 140733608618128 18446744073709551615 6564572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5178/statm: 53322 48351 611 984 0 52335 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 213288
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.07
CPU user time (s): 1786.8
CPU system time (s): 15.2667
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 307532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.8
system time used= 15.2667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2835834
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= 5980
runsolver used 3.11653 second user time and 8.36773 second system time
The end