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-2666980-1276619868.opb>
0.79/0.84 c original problem has 7081 variables (7081 bin, 0 int, 0 impl, 0 cont) and 13889 constraints
0.79/0.84 c problem read
0.79/0.84 c presolving settings loaded
1.09/1.13 c presolving:
1.29/1.35 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.39/1.46 c (round 2) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 739 upgd conss, 0 impls, 0 clqs
1.59/1.62 c (round 3) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
1.59/1.70 c (round 4) 1 del vars, 6214 del conss, 1 chg bounds, 33 chg sides, 1092 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
5.19/5.28 c (4.3s) probing: 109/7080 (1.5%) - 0 fixings, 0 aggregations, 1729 implications, 0 bound changes
5.19/5.28 c (4.3s) probing aborted: 100/100 successive totally useless probings
5.19/5.28 c presolving (5 rounds):
5.19/5.28 c 1 deleted vars, 6214 deleted constraints, 1 tightened bounds, 0 added holes, 33 changed sides, 1096 changed coefficients
5.19/5.28 c 4404 implications, 4 cliques
5.19/5.28 c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7675 constraints
5.19/5.28 c 1462 constraints of type <knapsack>
5.19/5.28 c 6213 constraints of type <linear>
5.19/5.28 c transformed objective value is always integral (scale: 1)
5.19/5.28 c Presolving Time: 4.13
5.19/5.28 c - non default parameters ----------------------------------------------------------------------
5.19/5.28 c # SCIP version 1.2.1.2
5.19/5.28 c
5.19/5.28 c # frequency for displaying node information lines
5.19/5.28 c # [type: int, range: [-1,2147483647], default: 100]
5.19/5.28 c display/freq = 10000
5.19/5.28 c
5.19/5.28 c # maximal time in seconds to run
5.19/5.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.28 c limits/time = 1799.17
5.19/5.28 c
5.19/5.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.19/5.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.28 c limits/memory = 1620
5.19/5.28 c
5.19/5.28 c # should presolving try to simplify inequalities
5.19/5.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.28 c constraints/linear/simplifyinequalities = TRUE
5.19/5.28 c
5.19/5.28 c # should presolving try to simplify knapsacks
5.19/5.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.28 c constraints/knapsack/simplifyinequalities = TRUE
5.19/5.28 c
5.19/5.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.19/5.28 c # [type: int, range: [-1,2147483647], default: -1]
5.19/5.28 c separating/rapidlearning/freq = 0
5.19/5.28 c
5.19/5.28 c -----------------------------------------------------------------------------------------------
5.19/5.28 c start solving
5.19/5.29 c
6.79/6.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.82 c 5.8s| 1 | 0 | 3458 | - | 64M| 0 |2176 |7080 |7675 |7080 |7675 | 0 | 0 | 0 | 1.360000e+02 | -- | Inf
81.05/81.12 c 79.7s| 1 | 0 | 15854 | - | 68M| 0 |3526 |7080 |9564 |7080 |7873 | 198 | 0 | 0 | 1.360000e+02 | -- | Inf
93.85/93.99 c 92.5s| 1 | 0 | 21878 | - | 69M| 0 |4237 |7080 |9564 |7080 |7960 | 285 | 0 | 0 | 1.360000e+02 | -- | Inf
104.85/104.93 c 103s| 1 | 0 | 26131 | - | 70M| 0 |4588 |7080 |9564 |7080 |8094 | 419 | 0 | 0 | 1.360000e+02 | -- | Inf
118.04/118.19 c 117s| 1 | 0 | 31150 | - | 70M| 0 |4455 |7080 |9564 |7080 |8210 | 535 | 0 | 0 | 1.360000e+02 | -- | Inf
141.53/141.69 c 140s| 1 | 0 | 39037 | - | 71M| 0 |4154 |7080 |9564 |7080 |8297 | 622 | 0 | 0 | 1.360000e+02 | -- | Inf
163.93/164.02 c 162s| 1 | 0 | 46092 | - | 71M| 0 |4333 |7080 |9564 |7080 |8389 | 714 | 0 | 0 | 1.360000e+02 | -- | Inf
221.71/221.82 c 220s| 1 | 2 | 46092 | - | 71M| 0 |4333 |7080 |9564 |7080 |8389 | 714 | 0 | 23 | 1.360000e+02 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666980-1276619868/watcher-2666980-1276619868 -o /tmp/evaluation-result-2666980-1276619868/solver-2666980-1276619868 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666980-1276619868.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.99 0.98 0.99 3/105 10337
/proc/meminfo: memFree=1494452/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=7724 CPUtime=0
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 1142 0 0 0 0 0 0 0 25 0 1 0 3280942 7909376 1061 1992294400 4194304 8223781 140735047758896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10337/statm: 1931 1070 348 984 0 944 0
[startup+0.055408 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 10337
/proc/meminfo: memFree=1494452/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=10388 CPUtime=0.04
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 1898 0 0 0 4 0 0 0 25 0 1 0 3280942 10637312 1817 1992294400 4194304 8223781 140735047758896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10337/statm: 2597 1817 365 984 0 1610 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10388
[startup+0.101413 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 10337
/proc/meminfo: memFree=1494452/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=11536 CPUtime=0.09
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 2172 0 0 0 9 0 0 0 25 0 1 0 3280942 11812864 2091 1992294400 4194304 8223781 140735047758896 18446744073709551615 5650959 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10337/statm: 2884 2091 365 984 0 1897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11536
[startup+0.301434 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 10337
/proc/meminfo: memFree=1494452/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=17224 CPUtime=0.29
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 3605 0 0 0 28 1 0 0 25 0 1 0 3280942 17637376 3524 1992294400 4194304 8223781 140735047758896 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10337/statm: 4306 3524 365 984 0 3319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17224
[startup+0.701476 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 10337
/proc/meminfo: memFree=1494452/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=26376 CPUtime=0.69
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 5902 0 0 0 67 2 0 0 25 0 1 0 3280942 27009024 5821 1992294400 4194304 8223781 140735047758896 18446744073709551615 5648965 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10337/statm: 6594 5821 365 984 0 5607 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26376
[startup+1.50156 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10338
/proc/meminfo: memFree=1409504/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=130872 CPUtime=1.49
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 33542 0 0 0 135 14 0 0 25 0 1 0 3280942 134012928 30134 1992294400 4194304 8223781 140735047758896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 32718 30134 458 984 0 31731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130872
[startup+3.10073 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10338
/proc/meminfo: memFree=1373172/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=133024 CPUtime=3.09
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 35696 0 0 0 292 17 0 0 25 0 1 0 3280942 136216576 30746 1992294400 4194304 8223781 140735047758896 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 33256 30746 466 984 0 32269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133024
[startup+6.30107 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10338
/proc/meminfo: memFree=1359656/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=167892 CPUtime=6.29
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 45199 0 0 0 608 21 0 0 25 0 1 0 3280942 171921408 37798 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 41973 37798 550 984 0 40986 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 167892
[startup+12.7007 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10338
/proc/meminfo: memFree=1343164/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=169184 CPUtime=12.69
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 48310 0 0 0 1244 25 0 0 25 0 1 0 3280942 173244416 38050 1992294400 4194304 8223781 140735047758896 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 42296 38050 545 984 0 41309 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169184
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10338
/proc/meminfo: memFree=1262316/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=256220 CPUtime=25.49
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 73171 0 0 0 2508 41 0 0 25 0 1 0 3280942 262369280 58374 1992294400 4194304 8223781 140735047758896 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 64055 58374 581 984 0 63068 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 256220
[startup+51.1008 s]
/proc/loadavg: 1.05 1.00 1.00 2/106 10340
/proc/meminfo: memFree=1246568/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=272656 CPUtime=51.07
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 77161 0 0 0 5058 49 0 0 25 0 1 0 3280942 279199744 62364 1992294400 4194304 8223781 140735047758896 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 68164 62364 581 984 0 67177 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 272656
[startup+102.308 s]
/proc/loadavg: 1.08 1.01 1.00 2/106 10340
/proc/meminfo: memFree=1289100/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=223804 CPUtime=102.26
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 84055 0 0 0 10153 73 0 0 25 0 1 0 3280942 229175296 51683 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 55951 51683 596 984 0 54964 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 223804
[startup+162.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/106 10342
/proc/meminfo: memFree=1272980/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=240204 CPUtime=162.23
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 89725 0 0 0 16125 98 0 0 25 0 1 0 3280942 245968896 55649 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 60051 55649 588 984 0 59064 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 240204
[startup+222.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/106 10344
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=222.21
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 129912 0 0 0 22095 126 0 0 25 0 1 0 3280942 238874624 54052 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54052 589 984 0 57332 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 233276
[startup+282.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/106 10346
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=282.19
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131190 0 0 0 28071 148 0 0 25 0 1 0 3280942 238874624 54052 1992294400 4194304 8223781 140735047758896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54052 589 984 0 57332 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 233276
[startup+342.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/106 10348
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=342.18
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131190 0 0 0 34046 172 0 0 25 0 1 0 3280942 238874624 54052 1992294400 4194304 8223781 140735047758896 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54052 589 984 0 57332 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 233276
[startup+402.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 10348
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=402.16
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131190 0 0 0 40022 194 0 0 25 0 1 0 3280942 238874624 54052 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54052 589 984 0 57332 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 233276
[startup+462.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 10350
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=462.15
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 45998 217 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 233276
[startup+522.302 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 10352
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=522.13
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 51973 240 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 233276
[startup+582.301 s]
/proc/loadavg: 1.17 1.09 1.01 2/106 10354
/proc/meminfo: memFree=1278808/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=582.11
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 57942 269 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 233276
[startup+642.302 s]
/proc/loadavg: 1.11 1.08 1.01 2/106 10356
/proc/meminfo: memFree=1278684/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=642.1
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 63916 294 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 233276
[startup+702.301 s]
################
# More data... #
################
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 99748 450 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 233276
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10366
/proc/meminfo: memFree=1278436/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1061.97
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 105720 477 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 233276
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10368
/proc/meminfo: memFree=1278436/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1121.95
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 111693 502 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 233276
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10370
/proc/meminfo: memFree=1278312/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1181.93
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 117668 525 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6592382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 233276
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10372
/proc/meminfo: memFree=1278064/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1241.91
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 123641 550 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 233276
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10372
/proc/meminfo: memFree=1278064/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1301.9
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 129616 574 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599018 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 233276
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10374
/proc/meminfo: memFree=1278064/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1361.87
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 131192 0 0 0 135592 595 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6611824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 233276
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10385
/proc/meminfo: memFree=1277444/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1421.85
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 132489 0 0 0 141573 612 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 233276
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10387
/proc/meminfo: memFree=1277444/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1481.82
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 132489 0 0 0 147549 633 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 233276
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10389
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1541.81
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 153526 655 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 233276
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10389
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1601.79
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 159501 678 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 233276
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10391
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1661.77
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 165477 700 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 233276
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10393
/proc/meminfo: memFree=1277816/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1721.75
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 171451 724 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 233276
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10395
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1781.73
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 177426 747 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 233276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10395
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1800.04
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 179250 754 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 233276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10337
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10395
/proc/meminfo: memFree=1277692/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1800.83
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 179328 755 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 233276
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10396
/proc/meminfo: memFree=1277684/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1801.63
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 179408 755 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 233276
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10396
/proc/meminfo: memFree=1277684/2059040 swapFree=4192956/4192956
[pid=10337] ppid=10335 vsize=233276 CPUtime=1802.03
/proc/10337/stat : 10337 (pbscip.linux.x8) R 10335 10337 10069 0 -1 4202496 135962 0 0 0 179448 755 0 0 25 0 1 0 3280942 238874624 54054 1992294400 4194304 8223781 140735047758896 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10337/statm: 58319 54054 591 984 0 57332 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 233276
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.07
CPU user time (s): 1794.5
CPU system time (s): 7.57685
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 287976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 7.57685
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135962
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= 5497
runsolver used 2.98955 second user time and 8.50171 second system time
The end