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-2692603-1277931907.wbo>
0.19/0.22 c original problem has 45786 variables (26309 bin, 0 int, 0 impl, 19477 cont) and 38955 constraints
0.19/0.22 c problem read
0.19/0.22 c presolving settings loaded
7.69/7.78 o 989270
7.69/7.78 c feasible solution found by trivial heuristic, objective value 9.892700e+05
7.69/7.78 c presolving:
7.78/7.85 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
7.88/7.92 c (round 2) 0 del vars, 1 del conss, 19477 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
8.58/8.66 c (8.4s) probing: 101/26309 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.58/8.66 c (8.4s) probing aborted: 100/100 successive totally useless probings
8.58/8.67 c presolving (3 rounds):
8.58/8.67 c 0 deleted vars, 1 deleted constraints, 19477 tightened bounds, 0 added holes, 262 changed sides, 524 changed coefficients
8.58/8.67 c 19477 implications, 0 cliques
8.58/8.67 c presolved problem has 45786 variables (26309 bin, 0 int, 0 impl, 19477 cont) and 38954 constraints
8.58/8.67 c 19477 constraints of type <indicator>
8.58/8.67 c 1 constraints of type <varbound>
8.58/8.67 c 19476 constraints of type <linear>
8.58/8.67 c transformed objective value is always integral (scale: 1)
8.58/8.67 c Presolving Time: 8.27
8.58/8.67 c - non default parameters ----------------------------------------------------------------------
8.58/8.67 c # SCIP version 1.2.1.2
8.58/8.67 c
8.58/8.67 c # frequency for displaying node information lines
8.58/8.67 c # [type: int, range: [-1,2147483647], default: 100]
8.58/8.67 c display/freq = 10000
8.58/8.67 c
8.58/8.67 c # maximal time in seconds to run
8.58/8.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.67 c limits/time = 1799.78
8.58/8.67 c
8.58/8.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.58/8.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.58/8.67 c limits/memory = 3420
8.58/8.67 c
8.58/8.67 c # should presolving try to simplify inequalities
8.58/8.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.58/8.67 c constraints/linear/simplifyinequalities = TRUE
8.58/8.67 c
8.58/8.67 c # should presolving try to simplify knapsacks
8.58/8.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.58/8.67 c constraints/knapsack/simplifyinequalities = TRUE
8.58/8.67 c
8.58/8.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.58/8.67 c # [type: int, range: [-1,2147483647], default: -1]
8.58/8.67 c separating/rapidlearning/freq = 0
8.58/8.67 c
8.58/8.67 c -----------------------------------------------------------------------------------------------
8.58/8.67 c start solving
8.58/8.68 c
8.78/8.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.78/8.85 c t 8.6s| 1 | 0 | 0 | - | 144M| 0 | 0 | 45k| 38k| 45k| 0 | 0 | 0 | 0 | 0.000000e+00 | 9.892700e+05 | Inf
8.78/8.88 c 8.6s| 1 | 0 | 201 | - | 144M| 0 | 32 | 45k| 38k| 45k| 201 | 201 | 0 | 0 | 0.000000e+00 | 9.892700e+05 | Inf
8.88/8.93 o 989234
8.88/8.93 c y 8.6s| 1 | 0 | 201 | - | 145M| 0 | 32 | 45k| 38k| 45k| 201 | 201 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
9.08/9.18 c 8.9s| 1 | 0 | 390 | - | 145M| 0 | 39 | 45k| 38k| 45k| 414 | 414 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
9.58/9.61 c 9.3s| 1 | 0 | 841 | - | 145M| 0 | 67 | 45k| 38k| 45k| 642 | 642 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
10.08/10.13 c 9.8s| 1 | 0 | 1122 | - | 147M| 0 | 42 | 45k| 38k| 45k| 893 | 893 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
10.68/10.76 c 10.4s| 1 | 0 | 1362 | - | 147M| 0 | 133 | 45k| 38k| 45k|1126 |1126 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
11.58/11.63 c 11.3s| 1 | 0 | 1666 | - | 148M| 0 | 178 | 45k| 38k| 45k|1357 |1357 | 0 | 0 | 0.000000e+00 | 9.892340e+05 | Inf
12.39/12.50 c 12.1s| 1 | 2 | 1910 | - | 150M| 0 | 178 | 45k| 38k| 45k|1357 |1357 | 0 | 33 | 0.000000e+00 | 9.892340e+05 | Inf
375.59/375.63 c 365s| 10000 | 10001 |115179 | 11.4 | 333M| 155 | 173 | 45k| 38k| 45k|1744 | 60k| 0 |7830 | 0.000000e+00 | 9.892340e+05 | Inf
620.79/620.86 c 605s| 20000 | 20001 |217109 | 10.8 | 456M| 165 | 189 | 45k| 38k| 45k|1742 | 114k| 0 |8635 | 0.000000e+00 | 9.892340e+05 | Inf
850.31/850.39 c 830s| 30000 | 30001 |313028 | 10.4 | 578M| 171 | 48 | 45k| 38k| 45k|1737 | 167k| 0 |8887 | 0.000000e+00 | 9.892340e+05 | Inf
1096.41/1096.42 c 1070s| 40000 | 40001 |415306 | 10.3 | 700M| 171 | 164 | 45k| 38k| 45k|1741 | 227k| 0 | 10k| 0.000000e+00 | 9.892340e+05 | Inf
1335.52/1335.58 c 1304s| 50000 | 50001 |508581 | 10.1 | 823M| 171 | 49 | 45k| 38k| 45k|1742 | 280k| 0 | 12k| 0.000000e+00 | 9.892340e+05 | Inf
1571.62/1571.65 c 1534s| 60000 | 60001 |601507 | 10.0 | 945M| 171 | 108 | 45k| 38k| 45k|1740 | 332k| 0 | 14k| 0.000000e+00 | 9.892340e+05 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1757.73
1800.03/1800.01 c Solving Nodes : 69376
1800.03/1800.01 c Primal Bound : +9.89234000000000e+05 (102 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692603-1277931907/watcher-2692603-1277931907 -o /tmp/evaluation-result-2692603-1277931907/solver-2692603-1277931907 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692603-1277931907.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=9404 CPUtime=0
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 166830206 9629696 1567 4089446400 4194304 8223781 140735295201680 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 2351 1567 369 984 0 1364 0
[startup+0.074682 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=30028 CPUtime=0.06
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 6828 0 0 0 6 0 0 0 25 0 1 0 166830206 30748672 6748 4089446400 4194304 8223781 140735295201680 18446744073709551615 4361788 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 7507 6748 369 984 0 6520 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30028
[startup+0.100658 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=36040 CPUtime=0.09
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 8343 0 0 0 9 0 0 0 25 0 1 0 166830206 36904960 8249 4089446400 4194304 8223781 140735295201680 18446744073709551615 4680459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28317/statm: 9010 8249 369 984 0 8023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36040
[startup+0.300641 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=122564 CPUtime=0.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30124 0 0 0 27 2 0 0 25 0 1 0 166830206 125505536 29602 4089446400 4194304 8223781 140735295201680 18446744073709551615 4461608 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28317/statm: 30641 29602 387 984 0 29654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122564
[startup+0.700563 s]
/proc/loadavg: 2.91 2.79 2.52 4/199 28317
/proc/meminfo: memFree=31240332/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=0.68
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 65 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 159904
[startup+1.50037 s]
/proc/loadavg: 2.91 2.79 2.52 3/200 28318
/proc/meminfo: memFree=31090656/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=1.48
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 145 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159904
[startup+3.10116 s]
/proc/loadavg: 2.91 2.79 2.52 4/200 28318
/proc/meminfo: memFree=31090284/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=3.08
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 305 3 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 159904
[startup+6.30059 s]
/proc/loadavg: 2.92 2.79 2.52 4/200 28318
/proc/meminfo: memFree=31090592/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=159904 CPUtime=6.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 38210 0 0 0 625 4 0 0 25 0 1 0 166830206 163741696 37688 4089446400 4194304 8223781 140735295201680 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28317/statm: 39976 37688 422 984 0 38989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159904
[startup+12.7005 s]
/proc/loadavg: 2.84 2.78 2.52 3/198 28318
/proc/meminfo: memFree=30959424/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=207572 CPUtime=12.69
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 105245 0 0 0 1253 16 0 0 25 0 1 0 166830206 212553728 48407 4089446400 4194304 8223781 140735295201680 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 51893 48407 577 984 0 50906 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207572
[startup+25.5012 s]
/proc/loadavg: 2.66 2.74 2.51 3/179 28347
/proc/meminfo: memFree=31200800/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=217456 CPUtime=25.48
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 484229 0 0 0 2486 62 0 0 25 0 1 0 166830206 222674944 50668 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 54364 50683 593 984 0 53377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 217456
[startup+51.1007 s]
/proc/loadavg: 2.43 2.68 2.49 3/179 28348
/proc/meminfo: memFree=31187324/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=226808 CPUtime=51.08
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 1595629 0 0 0 4911 197 0 0 25 0 1 0 166830206 232251392 53057 4089446400 4194304 8223781 140735295201680 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 56702 53057 580 984 0 55715 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 226808
[startup+102.307 s]
/proc/loadavg: 2.22 2.59 2.47 3/179 28349
/proc/meminfo: memFree=31134348/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=268996 CPUtime=102.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 3428414 0 0 0 9817 412 0 0 25 0 1 0 166830206 275451904 63789 4089446400 4194304 8223781 140735295201680 18446744073709551615 6372030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 67249 63789 583 984 0 66262 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 268996
[startup+162.301 s]
/proc/loadavg: 2.08 2.48 2.44 3/179 28350
/proc/meminfo: memFree=31089556/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=295300 CPUtime=162.28
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 4661512 0 0 0 15651 577 0 0 25 0 1 0 166830206 302387200 70457 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 73825 70457 583 984 0 72838 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 295300
[startup+222.301 s]
/proc/loadavg: 2.03 2.39 2.41 3/179 28352
/proc/meminfo: memFree=31062620/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=318760 CPUtime=222.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 5656595 0 0 0 21503 726 0 0 25 0 1 0 166830206 326410240 76345 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893820 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 79690 76345 590 984 0 78703 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 318760
[startup+282.301 s]
/proc/loadavg: 2.01 2.31 2.38 3/179 28354
/proc/meminfo: memFree=31035300/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=344184 CPUtime=282.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 6661160 0 0 0 27358 871 0 0 25 0 1 0 166830206 352444416 82813 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 86046 82813 583 984 0 85059 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 344184
[startup+342.3 s]
/proc/loadavg: 2.07 2.27 2.36 3/179 28356
/proc/meminfo: memFree=31004024/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=373712 CPUtime=342.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 7528555 0 0 0 33224 1005 0 0 25 0 1 0 166830206 382681088 90079 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 93428 90096 583 984 0 92441 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 373712
[startup+402.301 s]
/proc/loadavg: 2.03 2.22 2.33 3/179 28357
/proc/meminfo: memFree=30971624/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=403104 CPUtime=402.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 8403426 0 0 0 39094 1135 0 0 25 0 1 0 166830206 412778496 97435 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 100776 97435 583 984 0 99789 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 403104
[startup+462.3 s]
/proc/loadavg: 2.01 2.18 2.31 3/179 28358
/proc/meminfo: memFree=30939596/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=432924 CPUtime=462.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 9360299 0 0 0 44957 1272 0 0 25 0 1 0 166830206 443314176 104983 4089446400 4194304 8223781 140735295201680 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 108231 104983 583 984 0 107244 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 432924
[startup+522.301 s]
/proc/loadavg: 2.00 2.14 2.29 3/179 28360
/proc/meminfo: memFree=30906704/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=462784 CPUtime=522.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 10184512 0 0 0 50834 1395 0 0 25 0 1 0 166830206 473890816 112421 4089446400 4194304 8223781 140735295201680 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 115696 112421 583 984 0 114709 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 462784
[startup+582.3 s]
/proc/loadavg: 2.00 2.11 2.27 3/179 28362
/proc/meminfo: memFree=30875180/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=492132 CPUtime=582.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 11073427 0 0 0 56702 1527 0 0 25 0 1 0 166830206 503943168 119756 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 123033 119756 583 984 0 122046 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 492132
[startup+642.301 s]
/proc/loadavg: 2.05 2.11 2.25 3/179 28364
/proc/meminfo: memFree=30844032/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=521084 CPUtime=642.3
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 11883895 0 0 0 62587 1643 0 0 25 0 1 0 166830206 533590016 127003 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 130271 127003 583 984 0 129284 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 521084
[startup+702.301 s]
################
# More data... #
################
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 17067731 0 0 0 97837 2394 0 0 25 0 1 0 166830206 726884352 174292 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 177462 174292 583 984 0 176475 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 709848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 28374
/proc/meminfo: memFree=30610908/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=731884 CPUtime=1062.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 18305575 0 0 0 103675 2556 0 0 25 0 1 0 166830206 749449216 179845 4089446400 4194304 8223781 140735295201680 18446744073709551615 6162695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 182971 179845 583 984 0 181984 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 731884
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 28376
/proc/meminfo: memFree=30575044/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=764676 CPUtime=1122.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 19150780 0 0 0 109550 2681 0 0 25 0 1 0 166830206 783028224 187972 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 191169 187972 583 984 0 190182 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 764676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 28378
/proc/meminfo: memFree=30539920/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=796144 CPUtime=1182.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 20130040 0 0 0 115417 2814 0 0 25 0 1 0 166830206 815251456 195847 4089446400 4194304 8223781 140735295201680 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 199036 195847 583 984 0 198049 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 796144
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 28380
/proc/meminfo: memFree=30505908/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=827880 CPUtime=1242.31
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 21086979 0 0 0 121284 2947 0 0 25 0 1 0 166830206 847749120 203738 4089446400 4194304 8223781 140735295201680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 206970 203738 583 984 0 205983 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 827880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 28381
/proc/meminfo: memFree=30473020/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=856668 CPUtime=1302.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 22035136 0 0 0 127148 3084 0 0 25 0 1 0 166830206 877228032 211003 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003375 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 214167 211003 583 984 0 213180 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 856668
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 28382
/proc/meminfo: memFree=30438892/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=886556 CPUtime=1362.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 23053162 0 0 0 133011 3221 0 0 25 0 1 0 166830206 907833344 218502 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 221639 218502 583 984 0 220652 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 886556
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 28384
/proc/meminfo: memFree=30403876/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=918616 CPUtime=1422.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 23908683 0 0 0 138886 3346 0 0 25 0 1 0 166830206 940662784 226565 4089446400 4194304 8223781 140735295201680 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 229654 226565 583 984 0 228667 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 918616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 28386
/proc/meminfo: memFree=30373964/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=947112 CPUtime=1482.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 24956305 0 0 0 144734 3498 0 0 25 0 1 0 166830206 969842688 233692 4089446400 4194304 8223781 140735295201680 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 236778 233692 583 984 0 235791 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 947112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 28388
/proc/meminfo: memFree=30341192/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=976952 CPUtime=1542.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 25935170 0 0 0 150595 3637 0 0 25 0 1 0 166830206 1000398848 241120 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 244238 241120 583 984 0 243251 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 976952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 28389
/proc/meminfo: memFree=30308296/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1008144 CPUtime=1602.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 26849776 0 0 0 156466 3766 0 0 25 0 1 0 166830206 1032339456 248738 4089446400 4194304 8223781 140735295201680 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 252036 248753 583 984 0 251049 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1008144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 28390
/proc/meminfo: memFree=30276140/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1035888 CPUtime=1662.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 27866672 0 0 0 162324 3908 0 0 25 0 1 0 166830206 1060749312 255934 4089446400 4194304 8223781 140735295201680 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 258972 255934 583 984 0 257985 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1035888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28392
/proc/meminfo: memFree=30245492/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1065228 CPUtime=1722.33
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 28980817 0 0 0 168183 4050 0 0 25 0 1 0 166830206 1090793472 262752 4089446400 4194304 8223781 140735295201680 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 266307 262752 583 984 0 265320 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1065228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28394
/proc/meminfo: memFree=30209744/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1097900 CPUtime=1782.32
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 29844817 0 0 0 174056 4176 0 0 25 0 1 0 166830206 1124249600 270846 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 274475 270846 583 984 0 273488 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1097900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 28394
/proc/meminfo: memFree=30200812/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1800.03
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175793 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1105852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28317
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1801.43
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175933 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257360 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1105852
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1801.83
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175973 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 7257410 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 1105852
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 28395
/proc/meminfo: memFree=30200804/32951124 swapFree=67111528/67111528
[pid=28317] ppid=28315 vsize=1105852 CPUtime=1802.03
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27867 0 -1 4202496 30080300 0 0 0 175993 4210 0 0 25 0 1 0 166830206 1132392448 272967 4089446400 4194304 8223781 140735295201680 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28317/statm: 276463 272967 583 984 0 275476 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1105852
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.08
CPU user time (s): 1759.94
CPU system time (s): 42.1436
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1106428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.94
system time used= 42.1436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30080300
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= 1055
runsolver used 3.43748 second user time and 5.85311 second system time
The end
Begin job on node119 at 2010-06-30 23:05:07
IDJOB=2692603
IDBENCH=79329
IDSOLVER=1204
FILE ID=node119/2692603-1277931907
PBS_JOBID= 11197419
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692603-1277931907/watcher-2692603-1277931907 -o /tmp/evaluation-result-2692603-1277931907/solver-2692603-1277931907 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692603-1277931907.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= daa4650c03ccc8f8b44e19f0217c9b39
RANDOM SEED=87947599
node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.60
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.802
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31240860 kB
Buffers: 217716 kB
Cached: 957436 kB
SwapCached: 0 kB
Active: 907544 kB
Inactive: 657008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31240860 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5556 kB
Writeback: 0 kB
AnonPages: 389564 kB
Mapped: 20376 kB
Slab: 80344 kB
PageTables: 5912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1661180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node119 at 2010-06-30 23:35:09