Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.49 | 1800.99 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-forplan.opb |
MD5SUM | 4cdda58963f46d542400f05ed7600db2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 12528 |
Total number of constraints | 155 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 155 |
Minimum length of a constraint | 27 |
Maximum length of a constraint | 9090 |
Number of terms in the objective function | 9340 |
Biggest coefficient in the objective function | 2973 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 531813 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531813 |
Number of bits of the biggest sum of numbers | 20 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.49/0.50 c ...done 0.49/0.50 c #vars=12528 #constraints=246 hasObjective=yes 0.59/0.65 c res. mode=mod 0.59/0.65 c VSIDS like heuristics 0.59/0.65 c complete search running 0.78/0.80 c restart after 401 decisions 0.99/1.01 c nbDecision=500 #constraints=286 1.29/1.31 c restart after 801 decisions 1.29/1.35 c nbDecision=1000 #constraints=339 1.49/1.52 c nbDecision=1500 #constraints=357 1.49/1.55 c restart after 1601 decisions 1.79/1.82 c nbDecision=2000 #constraints=387 5.49/5.51 c nbDecision=2500 #constraints=883 10.18/10.24 c nbDecision=3000 #constraints=1379 12.28/12.38 c restart after 3201 decisions 12.38/12.47 c nbDecision=3500 #constraints=1583 17.08/17.13 c nbDecision=4000 #constraints=2050 22.88/22.97 c nbDecision=4500 #constraints=2533 30.08/30.17 c nbDecision=5000 #constraints=3014 38.48/38.54 c nbDecision=5500 #constraints=3490 47.57/47.63 c nbDecision=6000 #constraints=3975 56.86/56.94 c restart after 6401 decisions 56.86/56.98 c nbDecision=6500 #constraints=4376 63.56/63.65 c nbDecision=7000 #constraints=4670 77.16/77.27 c nbDecision=7500 #constraints=5163 91.05/91.11 c nbDecision=8000 #constraints=5653 106.95/107.03 c nbDecision=8500 #constraints=6151 123.16/123.26 c nbDecision=9000 #constraints=6646 141.54/141.62 c nbDecision=9500 #constraints=7140 159.74/159.82 c nbDecision=10000 #constraints=7631 177.64/177.72 c nbDecision=10500 #constraints=8126 199.33/199.43 c nbDecision=11000 #constraints=8617 223.12/223.23 c nbDecision=11500 #constraints=9113 247.32/247.45 c nbDecision=12000 #constraints=9605 270.61/270.75 c nbDecision=12500 #constraints=10100 284.91/285.03 c restart after 12801 decisions 285.11/285.21 c nbDecision=13000 #constraints=10396 298.90/299.08 c nbDecision=13500 #constraints=10663 324.70/324.87 c nbDecision=14000 #constraints=11159 353.59/353.74 c nbDecision=14500 #constraints=11656 381.68/381.82 c nbDecision=15000 #constraints=12151 413.38/413.50 c nbDecision=15500 #constraints=12645 443.96/444.10 c nbDecision=16000 #constraints=13142 473.36/473.58 c nbDecision=16500 #constraints=13637 507.34/507.52 c nbDecision=17000 #constraints=14133 544.94/545.11 c nbDecision=17500 #constraints=14629 583.03/583.25 c nbDecision=18000 #constraints=15129 619.52/619.78 c nbDecision=18500 #constraints=15622 660.81/661.05 c nbDecision=19000 #constraints=16123 699.40/699.70 c nbDecision=19500 #constraints=16616 736.69/736.94 c nbDecision=20000 #constraints=17111 773.87/774.10 c nbDecision=20500 #constraints=17598 815.67/815.98 c nbDecision=21000 #constraints=18090 859.26/859.56 c nbDecision=21500 #constraints=18587 897.75/898.08 c nbDecision=22000 #constraints=19078 928.83/929.18 c nbDecision=22500 #constraints=19549 967.12/967.46 c nbDecision=23000 #constraints=20039 1011.21/1011.54 c nbDecision=23500 #constraints=20531 1063.80/1064.17 c nbDecision=24000 #constraints=21029 1110.59/1110.95 c nbDecision=24500 #constraints=21525 1163.68/1164.06 c nbDecision=25000 #constraints=22019 1215.45/1215.83 c nbDecision=25500 #constraints=22509 1227.56/1227.96 c restart after 25601 decisions 1232.16/1232.50 c nbDecision=26000 #constraints=22639 1297.23/1297.60 c nbDecision=26500 #constraints=23113 1338.22/1338.64 c nbDecision=27000 #constraints=23594 1388.60/1389.00 c nbDecision=27500 #constraints=24086 1439.59/1440.03 c nbDecision=28000 #constraints=24580 1493.17/1493.69 c nbDecision=28500 #constraints=25075 1548.87/1549.33 c nbDecision=29000 #constraints=25568 1608.55/1609.01 c nbDecision=29500 #constraints=26063 1681.13/1681.69 c nbDecision=30000 #constraints=26557 1754.51/1755.09 c nbDecision=30500 #constraints=27053 1800.10/1800.60 Received signal 15 1800.29/1800.82 1800.29/1800.82 s UNKNOWN 1800.29/1800.82 1800.29/1800.82 c user time= 1799.15 s 1800.29/1800.82 c system time= 1.17982 s 1800.29/1800.82 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-356944-1176849033 -o ROOT/results/node50/solver-356944-1176849033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.72 0.93 0.98 2/64 4211 /proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1468 CPUtime=0 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 161 0 0 0 0 0 0 0 20 0 1 0 39748498 1503232 143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 367 143 126 317 0 46 0 [startup+0.094404 s] /proc/loadavg: 0.72 0.93 0.98 2/64 4211 /proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=3232 CPUtime=0.08 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 618 0 0 0 8 0 0 0 20 0 1 0 39748498 3309568 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 808 501 131 317 0 487 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3232 [startup+0.101404 s] /proc/loadavg: 0.72 0.93 0.98 2/64 4211 /proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=3372 CPUtime=0.09 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 658 0 0 0 9 0 0 0 20 0 1 0 39748498 3452928 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 843 541 131 317 0 522 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3372 [startup+0.301421 s] /proc/loadavg: 0.72 0.93 0.98 2/64 4211 /proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=7608 CPUtime=0.29 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 1557 0 0 0 29 0 0 0 21 0 1 0 39748498 7790592 1407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 1902 1407 131 317 0 1581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7608 [startup+0.701456 s] /proc/loadavg: 0.72 0.93 0.98 2/64 4211 /proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=15740 CPUtime=0.68 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 3411 0 0 0 67 1 0 0 25 0 1 0 39748498 16117760 3261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 3935 3261 139 317 0 3614 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 15740 [startup+1.50153 s] /proc/loadavg: 0.72 0.93 0.98 2/65 4212 /proc/meminfo: memFree=1474224/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=20592 CPUtime=1.49 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 4617 0 0 0 147 2 0 0 25 0 1 0 39748498 21086208 4467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 5148 4467 170 317 0 4827 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20592 [startup+3.10167 s] /proc/loadavg: 0.72 0.93 0.98 2/65 4212 /proc/meminfo: memFree=1469360/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=28684 CPUtime=3.09 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 6401 0 0 0 306 3 0 0 25 0 1 0 39748498 29372416 6251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 7171 6251 170 317 0 6850 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28684 [startup+6.30195 s] /proc/loadavg: 0.74 0.94 0.98 2/65 4212 /proc/meminfo: memFree=1455600/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=42748 CPUtime=6.29 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 9492 0 0 0 624 5 0 0 25 0 1 0 39748498 43773952 9342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 10687 9342 170 317 0 10366 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42748 [startup+12.7015 s] /proc/loadavg: 0.76 0.94 0.98 2/65 4212 /proc/meminfo: memFree=1434224/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=65500 CPUtime=12.68 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 14417 0 0 0 1261 7 0 0 25 0 1 0 39748498 67072000 14267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 16375 14267 170 317 0 16054 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65500 [startup+25.5026 s] /proc/loadavg: 0.81 0.94 0.98 2/65 4212 /proc/meminfo: memFree=1399472/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=102720 CPUtime=25.48 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 22826 0 0 0 2538 10 0 0 25 0 1 0 39748498 105185280 22676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 25680 22676 170 317 0 25359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 102720 [startup+51.1029 s] /proc/loadavg: 0.87 0.94 0.98 2/65 4212 /proc/meminfo: memFree=1356400/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=149524 CPUtime=51.07 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 33611 0 0 0 5090 17 0 0 25 0 1 0 39748498 153112576 33461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 37381 33461 170 317 0 37060 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 149524 [startup+102.305 s] /proc/loadavg: 0.94 0.95 0.98 2/65 4212 /proc/meminfo: memFree=1295088/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=220276 CPUtime=102.26 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 48736 0 0 0 10202 24 0 0 25 0 1 0 39748498 225562624 48586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 55069 48586 170 317 0 54748 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 220276 [startup+162.303 s] /proc/loadavg: 0.98 0.95 0.98 2/65 4212 /proc/meminfo: memFree=1248112/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=267376 CPUtime=162.24 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 60636 0 0 0 16193 31 0 0 25 0 1 0 39748498 273793024 60486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 66844 60486 170 317 0 66523 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 267376 [startup+222.303 s] /proc/loadavg: 0.99 0.96 0.98 2/65 4212 /proc/meminfo: memFree=1207152/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=310164 CPUtime=222.22 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 70752 0 0 0 22186 36 0 0 25 0 1 0 39748498 317607936 70544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 77541 70544 170 317 0 77220 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 310164 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4212 /proc/meminfo: memFree=1156912/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=379004 CPUtime=282.21 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 83405 0 0 0 28178 43 0 0 25 0 1 0 39748498 388100096 83197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 94751 83197 170 317 0 94430 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 379004 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4212 /proc/meminfo: memFree=1122672/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=412528 CPUtime=342.19 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 91840 0 0 0 34172 47 0 0 25 0 1 0 39748498 422428672 91632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 103132 91632 170 317 0 102811 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 412528 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4212 /proc/meminfo: memFree=1093616/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=442560 CPUtime=402.18 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 99226 0 0 0 40167 51 0 0 25 0 1 0 39748498 453181440 99018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 110640 99018 170 317 0 110319 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 442560 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4212 /proc/meminfo: memFree=1059632/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=476700 CPUtime=462.16 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 107584 0 0 0 46162 54 0 0 25 0 1 0 39748498 488140800 107376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 119175 107376 170 317 0 118854 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 476700 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4212 /proc/meminfo: memFree=1028208/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=509464 CPUtime=522.14 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 115430 0 0 0 52157 57 0 0 25 0 1 0 39748498 521691136 115222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 127366 115222 170 317 0 127045 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 509464 [startup+582.302 s] /proc/loadavg: 1.11 1.00 0.99 2/65 4212 /proc/meminfo: memFree=1000688/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=536636 CPUtime=582.13 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 122330 0 0 0 58153 60 0 0 25 0 1 0 39748498 549515264 122122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 134159 122122 170 317 0 133838 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 536636 [startup+642.302 s] /proc/loadavg: 1.15 1.03 1.00 2/65 4212 /proc/meminfo: memFree=971312/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=565832 CPUtime=642.12 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 129550 0 0 0 64149 63 0 0 25 0 1 0 39748498 579411968 129342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 141458 129342 170 317 0 141137 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 565832 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=792816/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=806200 CPUtime=942.03 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 184618 0 0 0 94118 85 0 0 25 0 1 0 39748498 825548800 173900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 201550 173900 170 317 0 201229 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 806200 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=759664/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=838016 CPUtime=1002.01 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 192878 0 0 0 100112 89 0 0 25 0 1 0 39748498 858128384 182127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 209504 182127 170 317 0 209183 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 838016 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=732336/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=866368 CPUtime=1062 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 199836 0 0 0 106108 92 0 0 25 0 1 0 39748498 887160832 189019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 216592 189019 170 317 0 216271 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 866368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=691440/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=919128 CPUtime=1121.99 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 209954 0 0 0 112102 97 0 0 25 0 1 0 39748498 941187072 199137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 229782 199137 170 317 0 229461 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 919128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=663792/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=946260 CPUtime=1181.97 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 217024 0 0 0 118098 99 0 0 25 0 1 0 39748498 968970240 206207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 236565 206207 170 317 0 236244 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 946260 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=641520/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=968128 CPUtime=1241.95 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 222403 0 0 0 124094 101 0 0 25 0 1 0 39748498 991363072 211586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 242032 211586 170 317 0 241711 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 968128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=627120/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=981568 CPUtime=1301.94 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 225955 0 0 0 130092 102 0 0 25 0 1 0 39748498 1005125632 215138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 245392 215138 170 317 0 245071 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 981568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=607792/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1000252 CPUtime=1361.91 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 230887 0 0 0 136087 104 0 0 25 0 1 0 39748498 1024258048 220037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 250063 220037 170 317 0 249742 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1000252 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=590832/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1016756 CPUtime=1421.9 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 235103 0 0 0 142084 106 0 0 25 0 1 0 39748498 1041158144 224220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 254189 224220 170 317 0 253868 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1016756 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=574192/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1032972 CPUtime=1481.88 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 239254 0 0 0 148079 109 0 0 25 0 1 0 39748498 1057763328 228371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 258243 228371 170 317 0 257922 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1032972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=558320/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1047912 CPUtime=1541.86 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 243185 0 0 0 154075 111 0 0 25 0 1 0 39748498 1073061888 232302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 261978 232302 170 317 0 261657 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1047912 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=543280/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1062312 CPUtime=1601.85 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 246954 0 0 0 160072 113 0 0 25 0 1 0 39748498 1087807488 236071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 265578 236071 170 317 0 265257 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1062312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=530672/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1074124 CPUtime=1661.84 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 250077 0 0 0 166069 115 0 0 25 0 1 0 39748498 1099902976 239194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 268531 239194 170 317 0 268210 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1074124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=518896/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1085464 CPUtime=1721.82 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 253048 0 0 0 172066 116 0 0 25 0 1 0 39748498 1111515136 242165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 271366 242165 170 317 0 271045 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1085464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=506672/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1096852 CPUtime=1781.8 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256069 0 0 0 178063 117 0 0 25 0 1 0 39748498 1123176448 245186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 274213 245186 170 317 0 273892 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1096852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1100140 CPUtime=1800.1 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256874 0 0 0 179893 117 0 0 25 0 1 0 39748498 1126543360 245991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 275035 245991 170 317 0 274714 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1100140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=1100140 CPUtime=1800.29 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256889 0 0 0 179912 117 0 0 25 0 1 0 39748498 1126543360 246006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 275035 246006 170 317 0 274714 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 1100140 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4212 /proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956 [pid=4211] ppid=4209 vsize=0 CPUtime=1800.4 /proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194308 256905 0 0 0 179915 125 0 0 25 0 1 0 39748498 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4211/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.49 CPU user time (s): 1799.16 CPU system time (s): 1.3378 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1100140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 1.3378 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256905 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= 7 involuntary context switches= 3823 runsolver used 1.3108 second user time and 3.62645 second system time The end
Begin job on node50 on Tue Apr 17 22:30:33 UTC 2007 IDJOB= 356944 IDBENCH= 1668 IDSOLVER= 172 FILE ID= node50/356944-1176849033 PBS_JOBID= 4590233 Free space on /tmp= 66541 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb COMMAND LINE= oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-356944-1176849033 -o ROOT/results/node50/solver-356944-1176849033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4cdda58963f46d542400f05ed7600db2 RANDOM SEED= 651056725 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1489872 kB Buffers: 40004 kB Cached: 451220 kB SwapCached: 3272 kB Active: 162844 kB Inactive: 337928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1489872 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 2744 kB Writeback: 0 kB Mapped: 15324 kB Slab: 51316 kB Committed_AS: 998808 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66541 MiB End job on node50 on Tue Apr 17 23:00:36 UTC 2007