Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.56 | 1801.1 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3705.opb |
MD5SUM | c62be038ec01e0d6924d61ed3007a589 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4802224614 |
Best CPU time to get the best result obtained on this benchmark | 1804.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4802224614 |
Optimality of the best value was proved | NO |
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 | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29593306649763 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29593306649763 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.36 c ...done 2.29/2.36 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.27 c res. mode=mod 4.19/4.27 c VSIDS like heuristics 4.19/4.27 c complete search running 5.49/5.56 c restart after 401 decisions 5.68/5.79 c nbDecision=500 #constraints=5301 6.38/6.45 c restart after 801 decisions 6.89/6.90 c nbDecision=1000 #constraints=5301 7.99/8.04 c nbDecision=1500 #constraints=5301 8.19/8.27 c restart after 1601 decisions 9.09/9.18 c nbDecision=2000 #constraints=5301 10.29/10.32 c nbDecision=2500 #constraints=5301 11.39/11.43 c nbDecision=3000 #constraints=5301 11.79/11.88 c restart after 3201 decisions 12.49/12.57 c nbDecision=3500 #constraints=5301 13.69/13.71 c nbDecision=4000 #constraints=5301 14.79/14.85 c nbDecision=4500 #constraints=5301 15.89/15.98 c nbDecision=5000 #constraints=5301 17.09/17.11 c nbDecision=5500 #constraints=5301 18.19/18.24 c nbDecision=6000 #constraints=5301 19.09/19.14 c restart after 6401 decisions 19.29/19.37 c nbDecision=6500 #constraints=5301 20.48/20.50 c nbDecision=7000 #constraints=5301 21.58/21.63 c nbDecision=7500 #constraints=5301 22.68/22.76 c nbDecision=8000 #constraints=5301 23.78/23.88 c nbDecision=8500 #constraints=5301 24.98/25.00 c nbDecision=9000 #constraints=5301 26.08/26.13 c nbDecision=9500 #constraints=5301 27.18/27.25 c nbDecision=10000 #constraints=5301 28.28/28.39 c nbDecision=10500 #constraints=5301 29.48/29.52 c nbDecision=11000 #constraints=5301 30.58/30.65 c nbDecision=11500 #constraints=5301 31.68/31.75 c nbDecision=12000 #constraints=5301 32.77/32.86 c nbDecision=12500 #constraints=5301 33.47/33.54 c restart after 12801 decisions 33.87/33.99 c nbDecision=13000 #constraints=5301 35.08/35.13 c nbDecision=13500 #constraints=5301 36.18/36.27 c nbDecision=14000 #constraints=5301 37.37/37.41 c nbDecision=14500 #constraints=5301 38.47/38.52 c nbDecision=15000 #constraints=5301 39.57/39.65 c nbDecision=15500 #constraints=5301 40.67/40.77 c nbDecision=16000 #constraints=5301 41.77/41.89 c nbDecision=16500 #constraints=5301 42.97/43.02 c nbDecision=17000 #constraints=5301 44.07/44.14 c nbDecision=17500 #constraints=5301 45.17/45.25 c nbDecision=18000 #constraints=5301 46.27/46.37 c nbDecision=18500 #constraints=5301 47.37/47.49 c nbDecision=19000 #constraints=5301 48.57/48.61 c nbDecision=19500 #constraints=5301 49.67/49.74 c nbDecision=20000 #constraints=5301 50.76/50.86 c nbDecision=20500 #constraints=5301 51.86/51.98 c nbDecision=21000 #constraints=5301 53.06/53.10 c nbDecision=21500 #constraints=5301 54.16/54.22 c nbDecision=22000 #constraints=5301 55.26/55.33 c nbDecision=22500 #constraints=5301 56.46/56.56 c nbDecision=23000 #constraints=5306 57.56/57.64 c nbDecision=23500 #constraints=5306 58.66/58.73 c nbDecision=24000 #constraints=5306 61.07/61.14 c nbDecision=24500 #constraints=5350 80.96/81.04 c nbDecision=25000 #constraints=5842 112.65/112.74 c nbDecision=25500 #constraints=6338 120.95/121.02 c restart after 25601 decisions 122.35/122.45 c nbDecision=26000 #constraints=6438 123.45/123.55 c nbDecision=26500 #constraints=6438 124.55/124.65 c nbDecision=27000 #constraints=6438 125.65/125.77 c nbDecision=27500 #constraints=6438 126.85/126.90 c nbDecision=28000 #constraints=6438 127.95/128.03 c nbDecision=28500 #constraints=6438 129.05/129.15 c nbDecision=29000 #constraints=6438 130.15/130.28 c nbDecision=29500 #constraints=6438 131.35/131.42 c nbDecision=30000 #constraints=6438 132.44/132.55 c nbDecision=30500 #constraints=6438 133.55/133.68 c nbDecision=31000 #constraints=6438 134.74/134.81 c nbDecision=31500 #constraints=6438 135.84/135.93 c nbDecision=32000 #constraints=6438 136.94/137.03 c nbDecision=32500 #constraints=6438 138.04/138.15 c nbDecision=33000 #constraints=6438 139.14/139.27 c nbDecision=33500 #constraints=6438 140.24/140.38 c nbDecision=34000 #constraints=6438 141.34/141.49 c nbDecision=34500 #constraints=6438 142.44/142.60 c nbDecision=35000 #constraints=6438 143.64/143.79 c nbDecision=35500 #constraints=6438 145.14/145.23 c nbDecision=36000 #constraints=6438 146.54/146.67 c nbDecision=36500 #constraints=6438 148.04/148.15 c nbDecision=37000 #constraints=6438 168.93/169.07 c nbDecision=37500 #constraints=6714 202.82/202.99 c nbDecision=38000 #constraints=7212 248.81/248.95 c nbDecision=38500 #constraints=7712 299.50/299.60 c nbDecision=39000 #constraints=8208 362.37/362.56 c nbDecision=39500 #constraints=8703 423.16/423.31 c nbDecision=40000 #constraints=9201 490.34/490.52 c nbDecision=40500 #constraints=9702 564.42/564.61 c nbDecision=41000 #constraints=10204 649.49/649.72 c nbDecision=41500 #constraints=10698 737.56/737.83 c nbDecision=42000 #constraints=11195 842.13/842.41 c nbDecision=42500 #constraints=11692 954.31/954.60 c nbDecision=43000 #constraints=12194 1053.77/1054.12 c nbDecision=43500 #constraints=12685 1162.54/1162.90 c nbDecision=44000 #constraints=13183 1291.01/1291.46 c nbDecision=44500 #constraints=13681 1416.77/1417.24 c nbDecision=45000 #constraints=14185 1551.13/1551.60 c nbDecision=45500 #constraints=14684 1694.08/1694.68 c nbDecision=46000 #constraints=15181 1800.06/1800.61 Received signal 15 1800.25/1800.81 1800.25/1800.81 s UNKNOWN 1800.25/1800.81 1800.25/1800.81 c user time= 1798.61 s 1800.25/1800.81 c system time= 1.66475 s 1800.25/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-357237-1176991988 -o ROOT/results/node1/solver-357237-1176991988 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357237-1176991988/instance-357237-1176991988.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.92 0.97 0.91 3/77 4916 /proc/meminfo: memFree=1620096/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1468 CPUtime=0 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175236654 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 367 162 127 317 0 46 0 [startup+0.035107 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4916 /proc/meminfo: memFree=1620096/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1880 CPUtime=0.03 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 313 0 0 0 3 0 0 0 18 0 1 0 175236654 1925120 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 470 262 127 317 0 149 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1880 [startup+0.101114 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4916 /proc/meminfo: memFree=1620096/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=3440 CPUtime=0.09 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 175236654 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 860 558 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301137 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4916 /proc/meminfo: memFree=1620096/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=5520 CPUtime=0.29 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 1652 0 0 0 29 0 0 0 19 0 1 0 175236654 5652480 1150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 1380 1150 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701184 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4916 /proc/meminfo: memFree=1620096/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=9548 CPUtime=0.69 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 175236654 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50232 s] /proc/loadavg: 0.92 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1608056/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=25676 CPUtime=1.49 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 6401 0 0 0 147 2 0 0 25 0 1 0 175236654 26292224 5386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 6419 5386 131 317 0 6098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25676 [startup+3.10146 s] /proc/loadavg: 0.92 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1589176/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=54280 CPUtime=3.09 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 13426 0 0 0 303 6 0 0 25 0 1 0 175236654 55582720 12411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 13570 12411 137 317 0 13249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54280 [startup+6.30184 s] /proc/loadavg: 0.93 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1565752/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=59032 CPUtime=6.28 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 14631 0 0 0 622 6 0 0 25 0 1 0 175236654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 59032 [startup+12.7016 s] /proc/loadavg: 0.93 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1565816/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=59032 CPUtime=12.69 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 14631 0 0 0 1262 7 0 0 25 0 1 0 175236654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5011 s] /proc/loadavg: 0.95 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1565880/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=59032 CPUtime=25.48 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 14631 0 0 0 2541 7 0 0 25 0 1 0 175236654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59032 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1565880/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=59032 CPUtime=51.06 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 14631 0 0 0 5099 7 0 0 25 0 1 0 175236654 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 14758 13616 138 317 0 14437 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 59032 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1447032/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=186492 CPUtime=102.26 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 44611 0 0 0 10209 17 0 0 25 0 1 0 175236654 190967808 43268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 46623 43268 170 317 0 46302 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186492 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1377912/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=264400 CPUtime=162.24 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 62471 0 0 0 16199 25 0 0 25 0 1 0 175236654 270745600 60985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 66100 60985 170 317 0 65779 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 264400 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1253112/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=408728 CPUtime=222.21 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 93447 0 0 0 22185 36 0 0 25 0 1 0 175236654 418537472 91688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 102182 91688 170 317 0 101861 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 408728 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1181304/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=479880 CPUtime=282.2 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 111778 0 0 0 28175 45 0 0 25 0 1 0 175236654 491397120 109804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746928 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 119970 109804 170 317 0 119649 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 479880 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1119032/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=540744 CPUtime=342.18 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 127283 0 0 0 34165 53 0 0 25 0 1 0 175236654 553721856 125167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 135186 125167 170 317 0 134865 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 540744 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=1060024/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=601284 CPUtime=402.17 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 142220 0 0 0 40158 59 0 0 25 0 1 0 175236654 615714816 139973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 150321 139973 170 317 0 150000 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 601284 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=957688/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=746804 CPUtime=462.15 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 167824 0 0 0 46146 69 0 0 25 0 1 0 175236654 764727296 165397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 186701 165397 170 317 0 186380 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 746804 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=903672/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=799812 CPUtime=522.13 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 181574 0 0 0 52138 75 0 0 25 0 1 0 175236654 819007488 178981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 199953 178981 170 317 0 199632 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 799812 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=859064/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=843556 CPUtime=582.11 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 192759 0 0 0 58128 83 0 0 25 0 1 0 175236654 863801344 190029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711106 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 210889 190029 170 317 0 210568 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 843556 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=813368/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=888300 CPUtime=642.1 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 204158 0 0 0 64120 90 0 0 25 0 1 0 175236654 909619200 201318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 222075 201318 170 317 0 221754 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 888300 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=660728/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1038752 CPUtime=882.02 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 242369 0 0 0 88095 107 0 0 25 0 1 0 175236654 1063682048 239423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 259688 239423 170 317 0 259367 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1038752 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=631992/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1067836 CPUtime=942 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 249641 0 0 0 94090 110 0 0 25 0 1 0 175236654 1093464064 246635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 266959 246635 170 317 0 266638 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1067836 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=595192/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1104004 CPUtime=1001.99 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 258900 0 0 0 100084 115 0 0 25 0 1 0 175236654 1130500096 255790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 276001 255790 170 317 0 275680 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1104004 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=561592/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1137448 CPUtime=1061.97 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 267437 0 0 0 106077 120 0 0 25 0 1 0 175236654 1164746752 264247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 284362 264247 170 317 0 284041 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1137448 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4917 /proc/meminfo: memFree=528248/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1169844 CPUtime=1121.95 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 275792 0 0 0 112072 123 0 0 25 0 1 0 175236654 1197920256 272483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 292461 272483 170 317 0 292140 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1169844 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=498488/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1202264 CPUtime=1181.93 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 283430 0 0 0 118066 127 0 0 25 0 1 0 175236654 1231118336 279984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 300566 279984 170 317 0 300245 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1202264 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=373304/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1421152 CPUtime=1241.91 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 314660 0 0 0 124051 140 0 0 25 0 1 0 175236654 1455259648 311139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 355288 311139 170 317 0 354967 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1421152 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=348664/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1447488 CPUtime=1301.91 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 320804 0 0 0 130048 143 0 0 25 0 1 0 175236654 1482227712 317191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 361872 317191 170 317 0 361551 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1447488 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=323064/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1475736 CPUtime=1361.88 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 327279 0 0 0 136043 145 0 0 25 0 1 0 175236654 1511153664 323620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 368934 323620 170 317 0 368613 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1475736 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=292408/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1503272 CPUtime=1421.86 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 334945 0 0 0 142038 148 0 0 25 0 1 0 175236654 1539350528 331234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 375818 331234 170 317 0 375497 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1503272 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=267128/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1531012 CPUtime=1481.84 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 341366 0 0 0 148033 151 0 0 25 0 1 0 175236654 1567756288 337595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 382753 337595 170 317 0 382432 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1531012 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=237688/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1557268 CPUtime=1541.83 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 348714 0 0 0 154029 154 0 0 25 0 1 0 175236654 1594642432 344919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 389317 344919 170 317 0 388996 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1557268 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=216184/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1581216 CPUtime=1601.81 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 354177 0 0 0 160025 156 0 0 25 0 1 0 175236654 1619165184 350362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746924 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 395304 350362 170 317 0 394983 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1581216 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=186488/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1606976 CPUtime=1661.79 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 361556 0 0 0 166020 159 0 0 25 0 1 0 175236654 1645543424 357687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 401744 357687 170 317 0 401423 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1606976 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=162360/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1633276 CPUtime=1721.78 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 367695 0 0 0 172015 163 0 0 25 0 1 0 175236654 1672474624 363736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 408319 363736 170 317 0 407998 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1633276 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=140664/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1657032 CPUtime=1781.76 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 373163 0 0 0 178010 166 0 0 25 0 1 0 175236654 1696800768 369141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 414258 369141 170 317 0 413937 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1657032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=134264/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=1663640 CPUtime=1800.06 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194304 374724 0 0 0 179840 166 0 0 25 0 1 0 175236654 1703567360 370680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 415910 370680 170 317 0 415589 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1663640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4919 /proc/meminfo: memFree=134264/2055920 swapFree=4145780/4192956 [pid=4916] ppid=4914 vsize=0 CPUtime=1800.46 /proc/4916/stat : 4916 (oree) R 4914 4916 4573 0 -1 4194308 374764 0 0 0 179865 181 0 0 25 0 1 0 175236654 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4916/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.1 CPU time (s): 1800.56 CPU user time (s): 1798.65 CPU system time (s): 1.90371 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 1663832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.90371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 374764 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= 8 involuntary context switches= 2021 runsolver used 2.24166 second user time and 4.21036 second system time The end
Begin job on node1 on Thu Apr 19 14:13:08 UTC 2007 IDJOB= 357237 IDBENCH= 2298 IDSOLVER= 172 FILE ID= node1/357237-1176991988 PBS_JOBID= 4630451 Free space on /tmp= 66349 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb COMMAND LINE= oree /tmp/evaluation/357237-1176991988/instance-357237-1176991988.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-357237-1176991988 -o ROOT/results/node1/solver-357237-1176991988 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357237-1176991988/instance-357237-1176991988.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c62be038ec01e0d6924d61ed3007a589 RANDOM SEED= 47164724 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1620504 kB Buffers: 35240 kB Cached: 320748 kB SwapCached: 14340 kB Active: 238996 kB Inactive: 139576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1620504 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 10028 kB Writeback: 0 kB Mapped: 29464 kB Slab: 42296 kB Committed_AS: 5012980 kB PageTables: 1832 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= 66349 MiB End job on node1 on Thu Apr 19 14:43:11 UTC 2007