Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (MO) | 876.889 | 877.082 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9043_5.std.opb |
MD5SUM | 7281c30a7b7474ad173d30e80be2448b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 98 |
Best CPU time to get the best result obtained on this benchmark | 7.17491 |
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 | 192594 |
Number of constraints which are clauses | 191394 |
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 | 69 |
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: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2687523-1278454166.opb> 3.30/3.38 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints 3.30/3.38 c problem read 3.30/3.38 c presolving settings loaded 4.30/4.39 c presolving: 15.79/15.87 c (round 1) 5566 del vars, 16216 del conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs 23.00/23.00 c (round 2) 10243 del vars, 37571 del conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs 25.69/25.75 c (round 3) 12308 del vars, 46514 del conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs 27.18/27.23 c (round 4) 13191 del vars, 50511 del conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs 28.08/28.13 c (round 5) 13783 del vars, 52972 del conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs 28.69/28.79 c (round 6) 14126 del vars, 54491 del conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs 29.38/29.40 c (round 7) 14449 del vars, 55696 del conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs 29.78/29.86 c (round 8) 14660 del vars, 56618 del conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs 30.19/30.20 c (round 9) 14782 del vars, 57171 del conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs 30.49/30.51 c (round 10) 14890 del vars, 57599 del conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs 30.69/30.76 c (round 11) 14952 del vars, 57899 del conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs 30.88/30.99 c (round 12) 15000 del vars, 58094 del conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs 31.18/31.20 c (round 13) 15024 del vars, 58211 del conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs 31.38/31.42 c (round 14) 15030 del vars, 58255 del conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs 874.70/874.90 c pressed CTRL-C 1 times (5 times for forcing termination)
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-2687523-1278454166/watcher-2687523-1278454166 -o /tmp/evaluation-result-2687523-1278454166/solver-2687523-1278454166 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687523-1278454166.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.17 1.04 1.01 3/106 20067 /proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=8260 CPUtime=0 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 1020 0 0 0 0 0 0 0 21 0 1 0 13623266 8458240 941 1992294400 4194304 9819077 140735007401344 18446744073709551615 4501360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 2322 950 371 1374 0 943 0 [startup+0.0930409 s] /proc/loadavg: 1.17 1.04 1.01 3/106 20067 /proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=17612 CPUtime=0.09 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 3319 0 0 0 8 1 0 0 21 0 1 0 13623266 18034688 3240 1992294400 4194304 9819077 140735007401344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 4403 3240 388 1374 0 3024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17612 [startup+0.101041 s] /proc/loadavg: 1.17 1.04 1.01 3/106 20067 /proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=17612 CPUtime=0.09 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 3320 0 0 0 8 1 0 0 21 0 1 0 13623266 18034688 3241 1992294400 4194304 9819077 140735007401344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 4403 3241 388 1374 0 3024 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17612 [startup+0.301054 s] /proc/loadavg: 1.17 1.04 1.01 3/106 20067 /proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=29632 CPUtime=0.29 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 6364 0 0 0 27 2 0 0 21 0 1 0 13623266 30343168 6276 1992294400 4194304 9819077 140735007401344 18446744073709551615 8610789 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 7408 6276 388 1374 0 6029 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29632 [startup+0.701081 s] /proc/loadavg: 1.17 1.04 1.01 3/106 20067 /proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=44916 CPUtime=0.69 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 10171 0 0 0 65 4 0 0 22 0 1 0 13623266 45993984 10083 1992294400 4194304 9819077 140735007401344 18446744073709551615 8610840 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 11229 10083 388 1374 0 9850 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44916 [startup+1.50113 s] /proc/loadavg: 1.15 1.04 1.01 2/107 20068 /proc/meminfo: memFree=1766104/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=61508 CPUtime=1.49 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 14322 0 0 0 144 5 0 0 25 0 1 0 13623266 62984192 14234 1992294400 4194304 9819077 140735007401344 18446744073709551615 8080944 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 15377 14234 388 1374 0 13998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61508 [startup+3.10124 s] /proc/loadavg: 1.15 1.04 1.01 2/107 20068 /proc/meminfo: memFree=1737956/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=112252 CPUtime=3.09 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 26970 0 0 0 299 10 0 0 25 0 1 0 13623266 114946048 26882 1992294400 4194304 9819077 140735007401344 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20067/statm: 28063 26882 388 1374 0 26684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112252 [startup+6.30145 s] /proc/loadavg: 1.15 1.04 1.01 2/107 20068 /proc/meminfo: memFree=1476688/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=391412 CPUtime=6.29 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 96371 0 0 0 592 37 0 0 25 0 1 0 13623266 400805888 95910 1992294400 4194304 9819077 140735007401344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 97853 95910 487 1374 0 96474 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 391412 [startup+12.7009 s] /proc/loadavg: 1.13 1.04 1.01 2/107 20068 /proc/meminfo: memFree=1214428/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=631128 CPUtime=12.69 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 154684 0 0 0 1201 68 0 0 25 0 1 0 13623266 646275072 154223 1992294400 4194304 9819077 140735007401344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 157782 154223 487 1374 0 156403 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 631128 [startup+25.5017 s] /proc/loadavg: 1.11 1.04 1.01 2/107 20068 /proc/meminfo: memFree=1150072/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=677272 CPUtime=25.48 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 166245 0 0 0 2450 98 0 0 25 0 1 0 13623266 693526528 165270 1992294400 4194304 9819077 140735007401344 18446744073709551615 5966514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 169318 165270 491 1374 0 167939 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 677272 [startup+51.1014 s] /proc/loadavg: 1.06 1.03 1.01 2/107 20068 /proc/meminfo: memFree=1101092/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=732800 CPUtime=51.08 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 182130 0 0 0 4925 183 0 0 25 0 1 0 13623266 750387200 177729 1992294400 4194304 9819077 140735007401344 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 183200 177729 523 1374 0 181821 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 732800 [startup+102.309 s] /proc/loadavg: 1.03 1.03 1.00 3/107 20070 /proc/meminfo: memFree=1053352/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=782544 CPUtime=102.28 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 194144 0 0 0 10039 189 0 0 25 0 1 0 13623266 801325056 189743 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 195636 189743 523 1374 0 194257 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 782544 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 20072 /proc/meminfo: memFree=976720/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=858432 CPUtime=162.26 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 214161 0 0 0 16027 199 0 0 25 0 1 0 13623266 879034368 208992 1992294400 4194304 9819077 140735007401344 18446744073709551615 4960258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 214608 208992 523 1374 0 213229 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 858432 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 20074 /proc/meminfo: memFree=911992/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=922820 CPUtime=222.24 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 231970 0 0 0 22018 206 0 0 25 0 1 0 13623266 944967680 225265 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 230705 225265 523 1374 0 229326 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 922820 [startup+282.302 s] /proc/loadavg: 1.08 1.03 1.01 2/107 20075 /proc/meminfo: memFree=854084/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=980856 CPUtime=282.23 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 246288 0 0 0 28010 213 0 0 25 0 1 0 13623266 1004396544 239583 1992294400 4194304 9819077 140735007401344 18446744073709551615 4947564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 245214 239583 523 1374 0 243835 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 980856 [startup+342.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 20076 /proc/meminfo: memFree=772616/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1063184 CPUtime=342.22 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 266308 0 0 0 33999 223 0 0 25 0 1 0 13623266 1088700416 259603 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 265796 259603 523 1374 0 264417 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 1063184 [startup+402.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 20078 /proc/meminfo: memFree=686188/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1149964 CPUtime=402.2 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 288144 0 0 0 39988 232 0 0 25 0 1 0 13623266 1177563136 281183 1992294400 4194304 9819077 140735007401344 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 287491 281183 523 1374 0 286112 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1149964 [startup+462.301 s] /proc/loadavg: 1.04 1.03 1.00 2/107 20080 /proc/meminfo: memFree=583144/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1252756 CPUtime=462.19 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 313834 0 0 0 45976 243 0 0 25 0 1 0 13623266 1282822144 306873 1992294400 4194304 9819077 140735007401344 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 313189 306873 523 1374 0 311810 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 1252756 [startup+522.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 20082 /proc/meminfo: memFree=493492/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1347596 CPUtime=522.18 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 337249 0 0 0 51964 254 0 0 25 0 1 0 13623266 1379938304 329776 1992294400 4194304 9819077 140735007401344 18446744073709551615 4690651 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 336899 329776 523 1374 0 335520 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 1347596 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 20083 /proc/meminfo: memFree=371476/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1470404 CPUtime=582.16 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 367555 0 0 0 57951 265 0 0 25 0 1 0 13623266 1505693696 359826 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 367601 359826 523 1374 0 366222 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 1470404 [startup+642.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 20087 /proc/meminfo: memFree=242144/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1598848 CPUtime=642.16 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 399473 0 0 0 63935 281 0 0 25 0 1 0 13623266 1637220352 391744 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 399712 391744 523 1374 0 398333 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 1598848 [startup+702.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 20089 /proc/meminfo: memFree=184112/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1658616 CPUtime=702.14 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 414204 0 0 0 69924 290 0 0 25 0 1 0 13623266 1698422784 406475 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 414654 406475 523 1374 0 413275 0 Current children cumulated CPU time (s) 702.14 Current children cumulated vsize (KiB) 1658616 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20091 /proc/meminfo: memFree=118020/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1723440 CPUtime=762.13 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 430487 0 0 0 75914 299 0 0 25 0 1 0 13623266 1764802560 422758 1992294400 4194304 9819077 140735007401344 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 430860 422758 523 1374 0 429481 0 Current children cumulated CPU time (s) 762.13 Current children cumulated vsize (KiB) 1723440 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20093 /proc/meminfo: memFree=51804/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1793400 CPUtime=822.1 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 447773 0 0 0 81901 309 0 0 25 0 1 0 13623266 1836441600 440044 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 448350 440044 523 1374 0 446971 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 1793400 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+874.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20093 /proc/meminfo: memFree=10056/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1844596 CPUtime=874.7 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460448 0 0 0 87155 315 0 0 25 0 1 0 13623266 1888866304 452719 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 461149 452719 523 1374 0 459770 0 Current children cumulated CPU time (s) 874.7 Current children cumulated vsize (KiB) 1844596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20067 Solver just ended. Dumping a history of the last processes samples [startup+875.009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20093 /proc/meminfo: memFree=10056/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1844596 CPUtime=874.8 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460607 0 0 0 87165 315 0 0 25 0 1 0 13623266 1888866304 452878 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 461149 452878 523 1374 0 459770 0 Current children cumulated CPU time (s) 874.8 Current children cumulated vsize (KiB) 1844596 [startup+875.801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20094 /proc/meminfo: memFree=10484/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1845584 CPUtime=875.6 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460758 0 0 0 87244 316 0 0 25 0 1 0 13623266 1889878016 453029 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 461396 453029 523 1374 0 460017 0 Current children cumulated CPU time (s) 875.6 Current children cumulated vsize (KiB) 1845584 [startup+876.601 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20094 /proc/meminfo: memFree=10236/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=1845584 CPUtime=876.41 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460805 0 0 0 87325 316 0 0 25 0 1 0 13623266 1889878016 453076 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20067/statm: 461396 453076 523 1374 0 460017 0 Current children cumulated CPU time (s) 876.41 Current children cumulated vsize (KiB) 1845584 [startup+877.001 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20094 /proc/meminfo: memFree=10236/2059040 swapFree=4139560/4192956 [pid=20067] ppid=20065 vsize=0 CPUtime=876.8 /proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4203524 460824 0 0 0 87355 325 0 0 25 0 1 0 13623266 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/20067/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 876.8 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 877.082 CPU time (s): 876.889 CPU user time (s): 873.557 CPU system time (s): 3.33149 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1845584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 873.557 system time used= 3.33149 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460824 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= 10219 runsolver used 1.47978 second user time and 4.12637 second system time The end
Begin job on node052 at 2010-07-07 00:09:26 IDJOB=2687523 IDBENCH=78013 IDSOLVER=1168 FILE ID=node052/2687523-1278454166 PBS_JOBID= 11233526 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687523-1278454166/watcher-2687523-1278454166 -o /tmp/evaluation-result-2687523-1278454166/solver-2687523-1278454166 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687523-1278454166.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7281c30a7b7474ad173d30e80be2448b RANDOM SEED=1872558049 node052.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.213 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.42 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.213 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811900 kB Buffers: 14692 kB Cached: 146136 kB SwapCached: 7416 kB Active: 41844 kB Inactive: 134044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811900 kB SwapTotal: 4192956 kB SwapFree: 4139560 kB Dirty: 12488 kB Writeback: 0 kB AnonPages: 12508 kB Mapped: 11940 kB Slab: 49328 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181552 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= 62484 MiB End job on node052 at 2010-07-07 00:24:03