Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (exit code) | 923.096 | 923.332 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb |
MD5SUM | 923982c51ba218a8e62dc99222f9f8f7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.1806 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654991 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654991 |
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... 1.79/1.90 c ...done 1.79/1.90 c #vars=155000 #constraints=5301 hasObjective=yes 3.79/3.80 c res. mode=mod 3.79/3.80 c VSIDS like heuristics 3.79/3.80 c complete search running 4.98/5.06 c restart after 401 decisions 5.18/5.28 c nbDecision=500 #constraints=5301 5.88/5.97 c restart after 801 decisions 6.38/6.42 c nbDecision=1000 #constraints=5301 7.48/7.55 c nbDecision=1500 #constraints=5301 7.69/7.78 c restart after 1601 decisions 8.58/8.69 c nbDecision=2000 #constraints=5301 9.68/9.80 c nbDecision=2500 #constraints=5301 10.89/10.94 c nbDecision=3000 #constraints=5301 11.28/11.40 c restart after 3201 decisions 11.99/12.08 c nbDecision=3500 #constraints=5301 13.19/13.22 c nbDecision=4000 #constraints=5301 14.28/14.36 c nbDecision=4500 #constraints=5301 15.48/15.50 c nbDecision=5000 #constraints=5301 16.58/16.63 c nbDecision=5500 #constraints=5301 17.68/17.76 c nbDecision=6000 #constraints=5301 18.58/18.66 c restart after 6401 decisions 18.78/18.89 c nbDecision=6500 #constraints=5301 19.98/20.02 c nbDecision=7000 #constraints=5301 21.08/21.15 c nbDecision=7500 #constraints=5301 22.19/22.28 c nbDecision=8000 #constraints=5301 23.39/23.40 c nbDecision=8500 #constraints=5301 24.48/24.51 c nbDecision=9000 #constraints=5301 25.58/25.63 c nbDecision=9500 #constraints=5301 26.68/26.75 c nbDecision=10000 #constraints=5301 31.88/31.93 c nbDecision=10500 #constraints=5453 32.98/33.07 c nbDecision=11000 #constraints=5453 34.18/34.20 c nbDecision=11500 #constraints=5453 35.28/35.32 c nbDecision=12000 #constraints=5453 36.67/36.77 c nbDecision=12500 #constraints=5465 44.87/44.93 c restart after 12801 decisions 45.47/45.53 c nbDecision=13000 #constraints=5701 46.57/46.66 c nbDecision=13500 #constraints=5701 47.67/47.77 c nbDecision=14000 #constraints=5701 48.87/48.91 c nbDecision=14500 #constraints=5701 49.97/50.07 c nbDecision=15000 #constraints=5701 51.17/51.25 c nbDecision=15500 #constraints=5701 52.37/52.43 c nbDecision=16000 #constraints=5701 53.57/53.61 c nbDecision=16500 #constraints=5701 54.77/54.81 c nbDecision=17000 #constraints=5701 55.97/56.02 c nbDecision=17500 #constraints=5701 57.17/57.22 c nbDecision=18000 #constraints=5701 58.37/58.42 c nbDecision=18500 #constraints=5701 59.47/59.59 c nbDecision=19000 #constraints=5701 60.57/60.69 c nbDecision=19500 #constraints=5701 61.77/61.80 c nbDecision=20000 #constraints=5701 62.76/62.89 c nbDecision=20500 #constraints=5701 63.86/63.98 c nbDecision=21000 #constraints=5701 64.97/65.08 c nbDecision=21500 #constraints=5701 66.06/66.18 c nbDecision=22000 #constraints=5701 67.16/67.28 c nbDecision=22500 #constraints=5701 79.97/80.05 c nbDecision=23000 #constraints=6066 99.86/99.97 c nbDecision=23500 #constraints=6567 123.35/123.40 c nbDecision=24000 #constraints=7069 149.74/149.90 c nbDecision=24500 #constraints=7570 180.24/180.35 c nbDecision=25000 #constraints=8072 213.83/213.94 c nbDecision=25500 #constraints=8573 221.63/221.72 c restart after 25601 decisions 226.03/226.10 c nbDecision=26000 #constraints=8681 227.13/227.23 c nbDecision=26500 #constraints=8681 228.23/228.36 c nbDecision=27000 #constraints=8681 229.33/229.48 c nbDecision=27500 #constraints=8681 230.53/230.68 c nbDecision=28000 #constraints=8681 231.73/231.85 c nbDecision=28500 #constraints=8681 232.93/233.02 c nbDecision=29000 #constraints=8681 234.13/234.21 c nbDecision=29500 #constraints=8681 235.33/235.45 c nbDecision=30000 #constraints=8681 236.53/236.66 c nbDecision=30500 #constraints=8681 237.73/237.86 c nbDecision=31000 #constraints=8681 238.93/239.06 c nbDecision=31500 #constraints=8681 240.13/240.27 c nbDecision=32000 #constraints=8681 241.23/241.38 c nbDecision=32500 #constraints=8681 242.33/242.49 c nbDecision=33000 #constraints=8681 243.53/243.60 c nbDecision=33500 #constraints=8681 245.43/245.54 c nbDecision=34000 #constraints=8681 247.43/247.55 c nbDecision=34500 #constraints=8681 249.42/249.58 c nbDecision=35000 #constraints=8681 255.32/255.40 c nbDecision=35500 #constraints=8729 258.12/258.25 c nbDecision=36000 #constraints=8745 259.22/259.34 c nbDecision=36500 #constraints=8745 260.32/260.44 c nbDecision=37000 #constraints=8745 263.52/263.62 c nbDecision=37500 #constraints=8832 278.91/279.05 c nbDecision=38000 #constraints=9333 297.41/297.51 c nbDecision=38500 #constraints=9827 319.20/319.36 c nbDecision=39000 #constraints=10328 344.80/344.99 c nbDecision=39500 #constraints=10836 372.99/373.11 c nbDecision=40000 #constraints=11336 404.78/404.91 c nbDecision=40500 #constraints=11835 439.48/439.68 c nbDecision=41000 #constraints=12336 477.77/478.00 c nbDecision=41500 #constraints=12834 519.65/519.87 c nbDecision=42000 #constraints=13327 564.55/564.70 c nbDecision=42500 #constraints=13828 613.84/614.01 c nbDecision=43000 #constraints=14338 665.72/665.95 c nbDecision=43500 #constraints=14831 722.11/722.39 c nbDecision=44000 #constraints=15336 780.59/780.81 c nbDecision=44500 #constraints=15837 842.57/842.80 c nbDecision=45000 #constraints=16335 908.36/908.63 c nbDecision=45500 #constraints=16829 922.75/923.06 922.75/923.06 Unexpected exception : 922.75/923.06 St9bad_alloc
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-362272-1176845811 -o ROOT/results/node18/solver-362272-1176845811 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362272-1176845811/instance-362272-1176845811.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.65 0.90 0.97 3/77 29889 /proc/meminfo: memFree=1834952/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1620 CPUtime=0 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132498498 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 405 175 126 317 0 84 0 [startup+0.085753 s] /proc/loadavg: 0.65 0.90 0.97 3/77 29889 /proc/meminfo: memFree=1834952/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=3440 CPUtime=0.08 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 852 0 0 0 8 0 0 0 18 0 1 0 132498498 3522560 607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 860 607 126 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101754 s] /proc/loadavg: 0.65 0.90 0.97 3/77 29889 /proc/meminfo: memFree=1834952/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=3440 CPUtime=0.09 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 898 0 0 0 9 0 0 0 18 0 1 0 132498498 3522560 653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 860 653 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301774 s] /proc/loadavg: 0.65 0.90 0.97 3/77 29889 /proc/meminfo: memFree=1834952/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=9548 CPUtime=0.29 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 2787 0 0 0 28 1 0 0 19 0 1 0 132498498 9777152 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 2387 1772 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701813 s] /proc/loadavg: 0.65 0.90 0.97 3/77 29889 /proc/meminfo: memFree=1834952/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=14576 CPUtime=0.69 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 3885 0 0 0 67 2 0 0 22 0 1 0 132498498 14925824 2870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 3644 2870 131 317 0 3323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14576 [startup+1.50189 s] /proc/loadavg: 0.65 0.90 0.97 2/78 29890 /proc/meminfo: memFree=1817152/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=32936 CPUtime=1.49 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 8109 0 0 0 146 3 0 0 25 0 1 0 132498498 33726464 7094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 8234 7094 131 317 0 7913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32936 [startup+3.10104 s] /proc/loadavg: 0.65 0.90 0.97 2/78 29890 /proc/meminfo: memFree=1785792/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=57580 CPUtime=3.09 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 14260 0 0 0 303 6 0 0 25 0 1 0 132498498 58961920 13245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 14395 13245 137 317 0 14074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57580 [startup+6.30135 s] /proc/loadavg: 0.68 0.90 0.97 2/78 29890 /proc/meminfo: memFree=1780544/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=59032 CPUtime=6.28 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 14630 0 0 0 621 7 0 0 25 0 1 0 132498498 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59032 [startup+12.702 s] /proc/loadavg: 0.71 0.91 0.97 2/78 29890 /proc/meminfo: memFree=1780552/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=59032 CPUtime=12.68 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 14630 0 0 0 1261 7 0 0 25 0 1 0 132498498 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59032 [startup+25.5012 s] /proc/loadavg: 0.77 0.91 0.97 2/78 29890 /proc/meminfo: memFree=1780552/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=59032 CPUtime=25.48 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 14630 0 0 0 2540 8 0 0 25 0 1 0 132498498 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59032 [startup+51.1017 s] /proc/loadavg: 0.85 0.92 0.97 2/78 29892 /proc/meminfo: memFree=1724480/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=120368 CPUtime=51.07 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 28654 0 0 0 5094 13 0 0 25 0 1 0 132498498 123256832 27602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 30092 27602 139 317 0 29771 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 120368 [startup+102.306 s] /proc/loadavg: 0.93 0.93 0.97 2/78 29892 /proc/meminfo: memFree=1599944/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=257132 CPUtime=102.26 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 59874 0 0 0 10201 25 0 0 25 0 1 0 132498498 263303168 58822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 64283 58822 139 317 0 63962 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 257132 [startup+162.301 s] /proc/loadavg: 0.97 0.94 0.97 2/78 29892 /proc/meminfo: memFree=1419464/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=470916 CPUtime=162.24 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 105197 0 0 0 16183 41 0 0 25 0 1 0 132498498 482217984 104145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559088 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 117729 104145 139 317 0 117408 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 470916 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 29892 /proc/meminfo: memFree=1308552/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=581272 CPUtime=222.23 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 132471 0 0 0 22172 51 0 0 25 0 1 0 132498498 595222528 131419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 145318 131419 139 317 0 144997 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 581272 [startup+282.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 29892 /proc/meminfo: memFree=1204424/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=696648 CPUtime=282.21 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 159094 0 0 0 28161 60 0 0 25 0 1 0 132498498 713367552 158042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272674 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 174162 158042 139 317 0 173841 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 696648 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 29892 /proc/meminfo: memFree=1029384/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=887584 CPUtime=342.2 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 202328 0 0 0 34143 77 0 0 25 0 1 0 132498498 908886016 201204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 221896 201204 139 317 0 221575 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 887584 [startup+402.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 29892 /proc/meminfo: memFree=878664/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1059136 CPUtime=402.19 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 240267 0 0 0 40126 93 0 0 25 0 1 0 132498498 1084555264 239143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 264784 239143 139 317 0 264463 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1059136 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=779016/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1161536 CPUtime=462.17 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 264669 0 0 0 46115 102 0 0 25 0 1 0 132498498 1189412864 263545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 290384 263545 139 317 0 290063 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1161536 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=640968/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1345604 CPUtime=522.16 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 299354 0 0 0 52101 115 0 0 25 0 1 0 132498498 1377898496 298230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 336401 298230 139 317 0 336080 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1345604 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=560328/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1426364 CPUtime=582.14 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 319340 0 0 0 58090 124 0 0 25 0 1 0 132498498 1460596736 318216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 356591 318216 139 317 0 356270 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1426364 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=487176/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1499548 CPUtime=642.13 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 337389 0 0 0 64082 131 0 0 25 0 1 0 132498498 1535537152 336265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 374887 336265 139 317 0 374566 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1499548 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=421064/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1567076 CPUtime=702.11 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 354022 0 0 0 70073 138 0 0 25 0 1 0 132498498 1604685824 352898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 391769 352898 139 317 0 391448 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1567076 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=357512/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1630564 CPUtime=762.09 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 369735 0 0 0 76066 143 0 0 25 0 1 0 132498498 1669697536 368611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 407641 368611 139 317 0 407320 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1630564 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=298824/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1690888 CPUtime=822.08 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 384658 0 0 0 82058 150 0 0 25 0 1 0 132498498 1731469312 383534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 422722 383534 139 317 0 422401 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1690888 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=244424/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1747444 CPUtime=882.07 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 397984 0 0 0 88052 155 0 0 25 0 1 0 132498498 1789382656 396860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 436861 396860 139 317 0 436540 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1747444 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=233800/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1760452 CPUtime=895.66 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 400869 0 0 0 89410 156 0 0 25 0 1 0 132498498 1802702848 399745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 440113 399745 139 317 0 439792 0 Current children cumulated CPU time (s) 895.66 Current children cumulated vsize (KiB) 1760452 [startup+908.701 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=223112/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1771612 CPUtime=908.46 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 403351 0 0 0 90689 157 0 0 25 0 1 0 132498498 1814130688 402227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604122 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 442903 402227 139 317 0 442582 0 Current children cumulated CPU time (s) 908.46 Current children cumulated vsize (KiB) 1771612 [startup+915.101 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=217928/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1777236 CPUtime=914.86 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 404594 0 0 0 91328 158 0 0 25 0 1 0 132498498 1819889664 403470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 444309 403470 139 317 0 443988 0 Current children cumulated CPU time (s) 914.86 Current children cumulated vsize (KiB) 1777236 [startup+918.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=216264/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1780328 CPUtime=918.06 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 405265 0 0 0 91647 159 0 0 25 0 1 0 132498498 1823055872 404141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 445082 404141 139 317 0 444761 0 Current children cumulated CPU time (s) 918.06 Current children cumulated vsize (KiB) 1780328 [startup+921.502 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=213192/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1782932 CPUtime=921.26 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 405848 0 0 0 91967 159 0 0 25 0 1 0 132498498 1825722368 404724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 445733 404724 139 317 0 445412 0 Current children cumulated CPU time (s) 921.26 Current children cumulated vsize (KiB) 1782932 [startup+922.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=212424/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=1784028 CPUtime=922.06 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194304 406118 0 0 0 92047 159 0 0 25 0 1 0 132498498 1826844672 404994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 446007 404994 139 317 0 445686 0 Current children cumulated CPU time (s) 922.06 Current children cumulated vsize (KiB) 1784028 [startup+923.102 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=211784/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=0 CPUtime=922.85 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194308 420401 0 0 0 92116 169 0 0 25 0 1 0 132498498 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 922.85 Current children cumulated vsize (KiB) 0 [startup+923.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 29892 /proc/meminfo: memFree=211784/2055920 swapFree=4142708/4192956 [pid=29889] ppid=29887 vsize=0 CPUtime=923.05 /proc/29889/stat : 29889 (oree) R 29887 29889 29832 0 -1 4194308 420401 0 0 0 92116 189 0 0 25 0 1 0 132498498 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29889/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 923.05 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 923.332 CPU time (s): 923.096 CPU user time (s): 921.167 CPU system time (s): 1.92871 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1837720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 921.167 system time used= 1.92871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 420401 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= 6 involuntary context switches= 1430 runsolver used 1.07384 second user time and 2.26765 second system time The end
Begin job on node18 on Tue Apr 17 21:36:51 UTC 2007 IDJOB= 362272 IDBENCH= 1545 IDSOLVER= 172 FILE ID= node18/362272-1176845811 PBS_JOBID= 4590187 Free space on /tmp= 66503 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb COMMAND LINE= oree /tmp/evaluation/362272-1176845811/instance-362272-1176845811.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-362272-1176845811 -o ROOT/results/node18/solver-362272-1176845811 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362272-1176845811/instance-362272-1176845811.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 923982c51ba218a8e62dc99222f9f8f7 RANDOM SEED= 251925156 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1835424 kB Buffers: 27560 kB Cached: 133796 kB SwapCached: 18436 kB Active: 94288 kB Inactive: 93828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835424 kB SwapTotal: 4192956 kB SwapFree: 4142708 kB Dirty: 8020 kB Writeback: 0 kB Mapped: 29428 kB Slab: 18012 kB Committed_AS: 4324900 kB PageTables: 1776 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= 66503 MiB End job on node18 on Tue Apr 17 21:52:15 UTC 2007