Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (MO) | 717.135 | 717.573 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9021_5.std.opb |
MD5SUM | aa972c70d521daa1738bd997a5a53983 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 112 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 54782 |
Total number of constraints | 184309 |
Number of constraints which are clauses | 183109 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2687600-1278454609.opb> 2.99/3.05 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints 2.99/3.05 c problem read 2.99/3.05 c presolving settings loaded 2.99/3.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 3.89/3.97 c presolving: 14.49/14.53 c (round 1) 4517 del vars, 13331 del conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs 21.28/21.37 c (round 2) 9805 del vars, 32221 del conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs 23.38/23.49 c (round 3) 11376 del vars, 40367 del conss, 9097 chg bounds, 74 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs 24.68/24.73 c (round 4) 12030 del vars, 43159 del conss, 9489 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs 25.38/25.43 c (round 5) 12448 del vars, 44885 del conss, 9691 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs 25.78/25.86 c (round 6) 12628 del vars, 45709 del conss, 9776 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs 26.08/26.18 c (round 7) 12714 del vars, 46109 del conss, 9821 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs 26.39/26.44 c (round 8) 12758 del vars, 46319 del conss, 9847 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs 26.58/26.67 c (round 9) 12784 del vars, 46438 del conss, 9863 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs 26.78/26.88 c (round 10) 12794 del vars, 46496 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs 28.08/28.13 c (round 11) 12794 del vars, 46507 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs 29.08/29.14 c (round 12) 12794 del vars, 46507 del conss, 9869 chg bounds, 98 chg sides, 212 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs 715.17/715.41 c pressed CTRL-C 1 times (5 times for forcing termination) 716.26/716.74 c (709.9s) probing: 721/41988 (1.7%) - 13 fixings, 1 aggregations, 8200143 implications, 0 bound changes 716.26/716.74 c (709.9s) probing aborted: solving stopped 716.26/716.74 c (round 13) 12808 del vars, 46507 del conss, 9869 chg bounds, 104 chg sides, 243 chg coeffs, 137802 upgd conss, 45343126 impls, 1911 clqs 716.26/716.74 c presolving (13 rounds): 716.26/716.74 c 12808 deleted vars, 46507 deleted constraints, 9869 tightened bounds, 0 added holes, 104 changed sides, 243 changed coefficients 716.26/716.74 c 45343126 implications, 1911 cliques 716.26/716.74 c presolving was interrupted. 716.26/716.74 c Presolving Time: 709.51 716.26/716.74 c - non default parameters ---------------------------------------------------------------------- 716.26/716.74 c # SCIP version 1.2.1.2 716.26/716.75 c 716.26/716.75 c # frequency for displaying node information lines 716.26/716.75 c # [type: int, range: [-1,2147483647], default: 100] 716.26/716.75 c display/freq = 10000 716.26/716.75 c 716.26/716.75 c # maximal time in seconds to run 716.26/716.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 716.26/716.75 c limits/time = 1796.96 716.26/716.75 c 716.26/716.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 716.26/716.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 716.26/716.75 c limits/memory = 1620 716.26/716.75 c 716.26/716.75 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 716.26/716.75 c # [type: int, range: [-1,2147483647], default: 1] 716.26/716.75 c lp/solvefreq = -1 716.26/716.75 c 716.26/716.75 c # should presolving try to simplify inequalities 716.26/716.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 716.26/716.75 c constraints/linear/simplifyinequalities = TRUE 716.26/716.75 c 716.26/716.75 c # should presolving try to simplify knapsacks 716.26/716.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 716.26/716.75 c constraints/knapsack/simplifyinequalities = TRUE 716.26/716.75 c 716.26/716.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 716.26/716.75 c # [type: int, range: [-1,2147483647], default: -1] 716.26/716.75 c separating/rapidlearning/freq = 0 716.26/716.75 c 716.26/716.75 c ----------------------------------------------------------------------------------------------- 716.26/716.75 c start solving 716.45/716.96 c presolving:
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2687600-1278454609/watcher-2687600-1278454609 -o /tmp/evaluation-result-2687600-1278454609/solver-2687600-1278454609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687600-1278454609.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.00 1.00 1.00 2/105 23564 /proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=6584 CPUtime=0 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 1046 0 0 0 0 0 0 0 25 0 1 0 13668843 6742016 969 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 1646 978 254 719 0 925 0 [startup+0.044393 s] /proc/loadavg: 1.00 1.00 1.00 2/105 23564 /proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=11404 CPUtime=0.03 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 2325 0 0 0 3 0 0 0 25 0 1 0 13668843 11677696 2247 1992294400 4194304 7136930 140734701603808 18446744073709551615 5652146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 2851 2247 271 719 0 2130 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11404 [startup+0.101399 s] /proc/loadavg: 1.00 1.00 1.00 2/105 23564 /proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=15996 CPUtime=0.09 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 3475 0 0 0 8 1 0 0 25 0 1 0 13668843 16379904 3397 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 3999 3397 271 719 0 3278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15996 [startup+0.301423 s] /proc/loadavg: 1.00 1.00 1.00 2/105 23564 /proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=27756 CPUtime=0.29 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 6455 0 0 0 27 2 0 0 25 0 1 0 13668843 28422144 6368 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 6939 6368 271 719 0 6218 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27756 [startup+0.701473 s] /proc/loadavg: 1.00 1.00 1.00 2/105 23564 /proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=43036 CPUtime=0.69 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 10263 0 0 0 65 4 0 0 25 0 1 0 13668843 44068864 10176 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 10759 10176 271 719 0 10038 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43036 [startup+1.50157 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23565 /proc/meminfo: memFree=1763232/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=61124 CPUtime=1.49 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 14725 0 0 0 144 5 0 0 25 0 1 0 13668843 62590976 14638 1992294400 4194304 7136930 140734701603808 18446744073709551615 6340529 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23564/statm: 15281 14638 271 719 0 14560 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61124 [startup+3.10177 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23565 /proc/meminfo: memFree=1730992/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=131836 CPUtime=3.09 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 32706 0 0 0 297 12 0 0 25 0 1 0 13668843 135000064 32265 1992294400 4194304 7136930 140734701603808 18446744073709551615 6419717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 32959 32266 282 719 0 32238 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 131836 [startup+6.30116 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23565 /proc/meminfo: memFree=1456704/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=408180 CPUtime=6.29 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 100948 0 0 0 589 40 0 0 25 0 1 0 13668843 417976320 100416 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 102045 100417 342 719 0 101324 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 408180 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23565 /proc/meminfo: memFree=1196924/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=641736 CPUtime=12.68 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 157517 0 0 0 1194 74 0 0 25 0 1 0 13668843 657137664 156985 1992294400 4194304 7136930 140734701603808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 160434 156985 347 719 0 159713 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 641736 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23567 /proc/meminfo: memFree=1161708/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=661536 CPUtime=25.49 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 163576 0 0 0 2440 109 0 0 25 0 1 0 13668843 677412864 161759 1992294400 4194304 7136930 140734701603808 18446744073709551615 5966526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 165384 161759 347 719 0 164663 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 661536 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23567 /proc/meminfo: memFree=1062260/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=769364 CPUtime=51.06 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 208553 0 0 0 4926 180 0 0 25 0 1 0 13668843 787828736 186738 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 192341 186738 383 719 0 191620 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 769364 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23569 /proc/meminfo: memFree=1027292/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=804756 CPUtime=102.26 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 217379 0 0 0 10041 185 0 0 25 0 1 0 13668843 824070144 195465 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 201189 195465 383 719 0 200468 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 804756 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23569 /proc/meminfo: memFree=946072/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=888696 CPUtime=162.24 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 237649 0 0 0 16029 195 0 0 25 0 1 0 13668843 910024704 215735 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 222174 215735 383 719 0 221453 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 888696 [startup+222.301 s] /proc/loadavg: 1.06 1.02 1.00 2/106 23574 /proc/meminfo: memFree=874028/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=963260 CPUtime=222.21 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 255777 0 0 0 22018 203 0 0 25 0 1 0 13668843 986378240 233607 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 240815 233607 383 719 0 240094 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 963260 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/106 23576 /proc/meminfo: memFree=811408/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1030668 CPUtime=282.19 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 271700 0 0 0 28008 211 0 0 25 0 1 0 13668843 1055404032 249208 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 257667 249208 384 719 0 256946 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1030668 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/106 23578 /proc/meminfo: memFree=714440/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1124792 CPUtime=342.18 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 295894 0 0 0 33994 224 0 0 25 0 1 0 13668843 1151787008 273402 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 281198 273402 384 719 0 280477 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 1124792 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23580 /proc/meminfo: memFree=620696/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1221572 CPUtime=402.15 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 320675 0 0 0 39980 235 0 0 25 0 1 0 13668843 1250889728 297159 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 305393 297159 384 719 0 304672 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1221572 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23580 /proc/meminfo: memFree=524596/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1317408 CPUtime=462.14 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 345026 0 0 0 45964 250 0 0 25 0 1 0 13668843 1349025792 321510 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 329352 321510 384 719 0 328631 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1317408 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23582 /proc/meminfo: memFree=402952/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1436752 CPUtime=522.12 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 374795 0 0 0 51944 268 0 0 25 0 1 0 13668843 1471234048 351279 1992294400 4194304 7136930 140734701603808 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 359188 351279 384 719 0 358467 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 1436752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23584 /proc/meminfo: memFree=280936/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1560884 CPUtime=582.1 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 405625 0 0 0 57924 286 0 0 25 0 1 0 13668843 1598345216 381596 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 390221 381596 384 719 0 389500 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1560884 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23586 /proc/meminfo: memFree=166360/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1672340 CPUtime=642.1 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 434950 0 0 0 63904 306 0 0 25 0 1 0 13668843 1712476160 410152 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 418085 410152 384 719 0 417364 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1672340 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23588 /proc/meminfo: memFree=59100/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1783512 CPUtime=702.06 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 462252 0 0 0 69875 331 0 0 25 0 1 0 13668843 1826316288 436942 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 445878 436942 384 719 0 445157 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 1783512 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+715.402 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23588 /proc/meminfo: memFree=9844/2059040 swapFree=4192956/4192956 [pid=23564] ppid=23562 vsize=1845368 CPUtime=715.17 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 477636 0 0 0 71179 338 0 0 25 0 1 0 13668843 1889656832 452326 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23564/statm: 461342 452326 384 719 0 460621 0 Current children cumulated CPU time (s) 715.17 Current children cumulated vsize (KiB) 1845368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23564 Solver just ended. Dumping a history of the last processes samples [startup+716.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23589 /proc/meminfo: memFree=7992/2059040 swapFree=4178676/4192956 [pid=23564] ppid=23562 vsize=1856864 CPUtime=716.35 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480650 0 0 0 71294 341 0 0 25 0 1 0 13668843 1901428736 455050 1992294400 4194304 7136930 140734701603808 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 1 0 0 20 /proc/23564/statm: 464216 455050 391 719 0 463495 0 Current children cumulated CPU time (s) 716.35 Current children cumulated vsize (KiB) 1856864 [startup+717.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23589 /proc/meminfo: memFree=7992/2059040 swapFree=4178676/4192956 [pid=23564] ppid=23562 vsize=1856864 CPUtime=716.76 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480841 0 0 0 71334 342 0 0 25 0 1 0 13668843 1901428736 455241 1992294400 4194304 7136930 140734701603808 18446744073709551615 4890726 0 0 4096 16384 0 0 0 17 1 0 0 20 /proc/23564/statm: 464216 455241 391 719 0 463495 0 Current children cumulated CPU time (s) 716.76 Current children cumulated vsize (KiB) 1856864 [startup+717.408 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23589 /proc/meminfo: memFree=10704/2059040 swapFree=4177780/4192956 [pid=23564] ppid=23562 vsize=1856864 CPUtime=716.96 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480841 0 0 0 71354 342 0 0 25 0 1 0 13668843 1901428736 455241 1992294400 4194304 7136930 140734701603808 18446744073709551615 4890317 0 0 4096 16384 0 0 0 17 1 0 0 20 /proc/23564/statm: 464216 455241 391 719 0 463495 0 Current children cumulated CPU time (s) 716.96 Current children cumulated vsize (KiB) 1856864 [startup+717.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23589 /proc/meminfo: memFree=10704/2059040 swapFree=4177780/4192956 [pid=23564] ppid=23562 vsize=0 CPUtime=717.06 /proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4203524 480841 0 0 0 71355 351 0 0 25 0 1 0 13668843 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 20 /proc/23564/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 717.06 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 717.573 CPU time (s): 717.135 CPU user time (s): 713.552 CPU system time (s): 3.58346 CPU usage (%): 99.9389 Max. virtual memory (cumulated for all children) (KiB): 1856864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 713.552 system time used= 3.58345 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 480841 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= 5 involuntary context switches= 3587 runsolver used 1.16982 second user time and 3.43448 second system time The end
Begin job on node080 at 2010-07-07 00:16:49 IDJOB=2687600 IDBENCH=78108 IDSOLVER=1167 FILE ID=node080/2687600-1278454609 PBS_JOBID= 11233542 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687600-1278454609/watcher-2687600-1278454609 -o /tmp/evaluation-result-2687600-1278454609/solver-2687600-1278454609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687600-1278454609.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa972c70d521daa1738bd997a5a53983 RANDOM SEED=1545337531 node080.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1810392 kB Buffers: 6936 kB Cached: 107976 kB SwapCached: 0 kB Active: 116860 kB Inactive: 58824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1810392 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8804 kB Writeback: 0 kB AnonPages: 60908 kB Mapped: 14504 kB Slab: 51224 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182404 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node080 at 2010-07-07 00:28:47