Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.97 | 1801.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3708.opb |
MD5SUM | 0f95e02b74e4e0d269b94f6526e7c8b5 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4445352942 |
Best CPU time to get the best result obtained on this benchmark | 1804.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3625993486 |
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 | 29705729356859 |
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 | 29705729356859 |
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.37 c ...done 2.29/2.37 c #vars=155000 #constraints=5301 hasObjective=yes 4.30/4.30 c res. mode=mod 4.30/4.30 c VSIDS like heuristics 4.30/4.30 c complete search running 5.50/5.59 c restart after 401 decisions 5.79/5.82 c nbDecision=500 #constraints=5301 6.50/6.51 c restart after 801 decisions 6.89/6.96 c nbDecision=1000 #constraints=5301 8.09/8.10 c nbDecision=1500 #constraints=5301 8.29/8.33 c restart after 1601 decisions 9.19/9.23 c nbDecision=2000 #constraints=5301 10.29/10.36 c nbDecision=2500 #constraints=5301 11.39/11.49 c nbDecision=3000 #constraints=5301 11.89/11.94 c restart after 3201 decisions 12.59/12.62 c nbDecision=3500 #constraints=5301 13.69/13.75 c nbDecision=4000 #constraints=5301 14.79/14.88 c nbDecision=4500 #constraints=5301 15.99/16.01 c nbDecision=5000 #constraints=5301 17.09/17.14 c nbDecision=5500 #constraints=5301 18.19/18.27 c nbDecision=6000 #constraints=5301 19.09/19.18 c restart after 6401 decisions 19.39/19.41 c nbDecision=6500 #constraints=5301 20.49/20.55 c nbDecision=7000 #constraints=5301 21.59/21.69 c nbDecision=7500 #constraints=5301 22.79/22.83 c nbDecision=8000 #constraints=5301 23.89/23.97 c nbDecision=8500 #constraints=5301 25.09/25.10 c nbDecision=9000 #constraints=5301 26.19/26.24 c nbDecision=9500 #constraints=5301 27.29/27.37 c nbDecision=10000 #constraints=5301 28.49/28.54 c nbDecision=10500 #constraints=5303 29.58/29.65 c nbDecision=11000 #constraints=5303 30.68/30.77 c nbDecision=11500 #constraints=5303 31.78/31.89 c nbDecision=12000 #constraints=5303 32.98/33.01 c nbDecision=12500 #constraints=5303 33.58/33.68 c restart after 12801 decisions 34.07/34.14 c nbDecision=13000 #constraints=5303 35.17/35.28 c nbDecision=13500 #constraints=5303 36.37/36.40 c nbDecision=14000 #constraints=5303 37.47/37.53 c nbDecision=14500 #constraints=5303 38.57/38.67 c nbDecision=15000 #constraints=5303 39.77/39.81 c nbDecision=15500 #constraints=5303 40.87/40.94 c nbDecision=16000 #constraints=5303 41.97/42.08 c nbDecision=16500 #constraints=5303 43.17/43.22 c nbDecision=17000 #constraints=5303 44.27/44.35 c nbDecision=17500 #constraints=5303 45.37/45.47 c nbDecision=18000 #constraints=5303 46.57/46.60 c nbDecision=18500 #constraints=5303 47.67/47.74 c nbDecision=19000 #constraints=5303 48.77/48.85 c nbDecision=19500 #constraints=5303 49.86/49.96 c nbDecision=20000 #constraints=5303 50.96/51.07 c nbDecision=20500 #constraints=5303 52.96/53.01 c nbDecision=21000 #constraints=5329 54.06/54.11 c nbDecision=21500 #constraints=5329 55.16/55.21 c nbDecision=22000 #constraints=5329 56.26/56.31 c nbDecision=22500 #constraints=5329 57.36/57.44 c nbDecision=23000 #constraints=5331 58.46/58.55 c nbDecision=23500 #constraints=5331 59.56/59.66 c nbDecision=24000 #constraints=5331 60.66/60.76 c nbDecision=24500 #constraints=5331 76.96/77.06 c nbDecision=25000 #constraints=5650 103.45/103.58 c nbDecision=25500 #constraints=6148 111.94/112.02 c restart after 25601 decisions 113.24/113.37 c nbDecision=26000 #constraints=6252 114.44/114.50 c nbDecision=26500 #constraints=6252 115.54/115.63 c nbDecision=27000 #constraints=6252 116.64/116.76 c nbDecision=27500 #constraints=6252 117.74/117.89 c nbDecision=28000 #constraints=6252 118.93/119.03 c nbDecision=28500 #constraints=6252 120.04/120.16 c nbDecision=29000 #constraints=6252 121.13/121.29 c nbDecision=29500 #constraints=6252 122.33/122.44 c nbDecision=30000 #constraints=6252 123.43/123.56 c nbDecision=30500 #constraints=6252 124.53/124.69 c nbDecision=31000 #constraints=6252 125.73/125.82 c nbDecision=31500 #constraints=6252 126.83/126.96 c nbDecision=32000 #constraints=6252 127.93/128.09 c nbDecision=32500 #constraints=6252 129.13/129.22 c nbDecision=33000 #constraints=6252 130.23/130.34 c nbDecision=33500 #constraints=6252 131.43/131.52 c nbDecision=34000 #constraints=6252 132.53/132.62 c nbDecision=34500 #constraints=6252 133.63/133.73 c nbDecision=35000 #constraints=6252 134.73/134.83 c nbDecision=35500 #constraints=6252 136.03/136.17 c nbDecision=36000 #constraints=6252 137.43/137.56 c nbDecision=36500 #constraints=6252 138.83/138.96 c nbDecision=37000 #constraints=6252 144.73/144.85 c nbDecision=37500 #constraints=6308 184.42/184.56 c nbDecision=38000 #constraints=6809 233.30/233.48 c nbDecision=38500 #constraints=7310 279.58/279.78 c nbDecision=39000 #constraints=7800 335.96/336.18 c nbDecision=39500 #constraints=8303 392.04/392.20 c nbDecision=40000 #constraints=8803 461.92/462.10 c nbDecision=40500 #constraints=9299 540.89/541.12 c nbDecision=41000 #constraints=9794 612.07/612.38 c nbDecision=41500 #constraints=10281 705.53/705.89 c nbDecision=42000 #constraints=10776 809.60/809.94 c nbDecision=42500 #constraints=11280 916.56/916.91 c nbDecision=43000 #constraints=11781 1015.94/1016.39 c nbDecision=43500 #constraints=12274 1140.78/1141.21 c nbDecision=44000 #constraints=12776 1270.65/1271.15 c nbDecision=44500 #constraints=13273 1401.90/1402.40 c nbDecision=45000 #constraints=13770 1542.35/1542.92 c nbDecision=45500 #constraints=14271 1694.00/1694.68 c nbDecision=46000 #constraints=14769 1800.06/1800.71 Received signal 15 1800.66/1801.32 1800.66/1801.32 s UNKNOWN 1800.66/1801.32 1800.66/1801.32 c user time= 1799.09 s 1800.66/1801.32 c system time= 1.59876 s 1800.66/1801.32 c wall clock time=1801.32
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-357224-1176991689 -o ROOT/results/node38/solver-357224-1176991689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.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.98 0.98 3/77 30986 /proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1468 CPUtime=0 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 131335725 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 367 161 127 317 0 46 0 [startup+0.020663 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30986 /proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1752 CPUtime=0.01 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 131335725 1794048 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 503 224 127 317 0 182 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101678 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30986 /proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=3440 CPUtime=0.09 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 801 0 0 0 9 0 0 0 18 0 1 0 131335725 3522560 556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 860 556 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301715 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30986 /proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=5520 CPUtime=0.29 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 1645 0 0 0 28 1 0 0 19 0 1 0 131335725 5652480 1143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831136 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 1380 1143 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701792 s] /proc/loadavg: 0.92 0.98 0.98 3/77 30986 /proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=9548 CPUtime=0.69 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 2791 0 0 0 68 1 0 0 23 0 1 0 131335725 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50195 s] /proc/loadavg: 0.92 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1437704/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=25384 CPUtime=1.49 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 6345 0 0 0 146 3 0 0 25 0 1 0 131335725 25993216 5330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 6346 5330 131 317 0 6025 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25384 [startup+3.10125 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1418888/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=54016 CPUtime=3.09 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 13374 0 0 0 302 7 0 0 25 0 1 0 131335725 55312384 12359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 13504 12359 137 317 0 13183 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54016 [startup+6.30186 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1395336/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=59032 CPUtime=6.29 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 621 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1395400/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=59032 CPUtime=12.69 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 1261 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1395528/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=59032 CPUtime=25.49 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 2541 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59032 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1395080/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=59660 CPUtime=51.06 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14783 0 0 0 5098 8 0 0 25 0 1 0 131335725 61091840 13731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 14915 13731 139 317 0 14594 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 59660 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1281032/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=184304 CPUtime=102.25 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 43356 0 0 0 10208 17 0 0 25 0 1 0 131335725 188727296 42284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 46076 42284 170 317 0 45755 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 184304 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1217544/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=258000 CPUtime=162.23 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 59450 0 0 0 16198 25 0 0 25 0 1 0 131335725 264192000 58374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 64500 58374 170 317 0 64179 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 258000 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1140680/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=338980 CPUtime=222.21 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 78375 0 0 0 22187 34 0 0 25 0 1 0 131335725 347115520 77295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717390 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 84745 77295 170 317 0 84424 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 338980 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=1039240/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=461728 CPUtime=282.19 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 103841 0 0 0 28173 46 0 0 25 0 1 0 131335725 472809472 102761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606723 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 115432 102761 170 317 0 115111 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 461728 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=973960/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=527500 CPUtime=342.16 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 120000 0 0 0 34164 52 0 0 25 0 1 0 131335725 540160000 118918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 131875 118918 170 317 0 131554 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 527500 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=913736/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=589100 CPUtime=402.14 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 135120 0 0 0 40156 58 0 0 25 0 1 0 131335725 603238400 134038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 147275 134038 170 317 0 146954 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 589100 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=866312/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=641224 CPUtime=462.12 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 146894 0 0 0 46148 64 0 0 25 0 1 0 131335725 656613376 145803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710875 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 160306 145803 170 317 0 159985 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 641224 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=770888/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=780040 CPUtime=522.1 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 170755 0 0 0 52136 74 0 0 25 0 1 0 131335725 798760960 169664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 195010 169664 170 317 0 194689 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 780040 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=721992/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=829840 CPUtime=582.07 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 182931 0 0 0 58128 79 0 0 25 0 1 0 131335725 849756160 181837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 207460 181837 170 317 0 207139 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 829840 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30987 /proc/meminfo: memFree=677704/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=874508 CPUtime=642.06 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 193919 0 0 0 64121 85 0 0 25 0 1 0 131335725 895496192 192752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 218627 192752 170 317 0 218306 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 874508 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=465992/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1089616 CPUtime=1001.94 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 246826 0 0 0 100082 112 0 0 25 0 1 0 131335725 1115766784 245654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 272404 245654 170 317 0 272083 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1089616 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=437320/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1119112 CPUtime=1061.91 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 254037 0 0 0 106077 114 0 0 25 0 1 0 131335725 1145970688 252865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 279778 252865 170 317 0 279457 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1119112 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=406344/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1150300 CPUtime=1121.9 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 261726 0 0 0 112071 119 0 0 25 0 1 0 131335725 1177907200 260552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 287575 260552 170 317 0 287254 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1150300 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=378376/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1179092 CPUtime=1181.87 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 268787 0 0 0 118065 122 0 0 25 0 1 0 131335725 1207390208 267613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 294773 267613 170 317 0 294452 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1179092 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=353096/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1206452 CPUtime=1241.85 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 275029 0 0 0 124060 125 0 0 25 0 1 0 131335725 1235406848 273850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 301613 273850 170 317 0 301292 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1206452 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=329224/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1233364 CPUtime=1301.83 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 280969 0 0 0 130055 128 0 0 25 0 1 0 131335725 1262964736 279790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 308341 279790 170 317 0 308020 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1233364 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=206216/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1453196 CPUtime=1361.81 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 311676 0 0 0 136039 142 0 0 25 0 1 0 131335725 1488072704 310497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 363299 310497 170 317 0 362978 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1453196 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=181960/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1480404 CPUtime=1421.79 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 317696 0 0 0 142035 144 0 0 25 0 1 0 131335725 1515933696 316517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 370101 316517 170 317 0 369780 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1480404 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=152136/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1507680 CPUtime=1481.77 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 325219 0 0 0 148029 148 0 0 25 0 1 0 131335725 1543864320 324036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 376920 324036 170 317 0 376599 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1507680 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=129352/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1533372 CPUtime=1541.75 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 330854 0 0 0 154026 149 0 0 25 0 1 0 131335725 1570172928 329671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 383343 329671 170 317 0 383022 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1533372 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=107400/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1558376 CPUtime=1601.73 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 336393 0 0 0 160021 152 0 0 25 0 1 0 131335725 1595777024 335210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 389594 335210 170 317 0 389273 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1558376 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=80520/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1581756 CPUtime=1661.71 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 343063 0 0 0 166016 155 0 0 25 0 1 0 131335725 1619718144 341880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 395439 341880 170 317 0 395118 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1581756 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=59848/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1605040 CPUtime=1721.68 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 348262 0 0 0 172012 156 0 0 25 0 1 0 131335725 1643560960 347079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 401260 347079 170 317 0 400939 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1605040 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=38280/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1629104 CPUtime=1781.67 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 353608 0 0 0 178009 158 0 0 25 0 1 0 131335725 1668202496 352425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 407276 352425 170 317 0 406955 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1629104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1635616 CPUtime=1800.06 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 356527 0 0 0 179847 159 0 0 25 0 1 0 131335725 1674870784 355344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 408904 355344 170 317 0 408583 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1635616 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.98 0.98 2/78 30989 /proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=1635744 CPUtime=1800.36 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 356558 0 0 0 179877 159 0 0 25 0 1 0 131335725 1675001856 355375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 408936 355375 170 317 0 408615 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 1635744 [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=0 CPUtime=1800.76 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194308 356596 0 0 0 179913 163 0 0 25 0 1 0 131335725 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 0 [startup+1801.5 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30989 /proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956 [pid=30986] ppid=30984 vsize=0 CPUtime=1800.86 /proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194308 356596 0 0 0 179913 173 0 0 25 0 1 0 131335725 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30986/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.6 CPU time (s): 1800.97 CPU user time (s): 1799.13 CPU system time (s): 1.83372 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 1635936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.13 system time used= 1.83372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 356596 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= 36615 runsolver used 1.9457 second user time and 4.6133 second system time The end
Begin job on node38 on Thu Apr 19 14:08:11 UTC 2007 IDJOB= 357224 IDBENCH= 2285 IDSOLVER= 172 FILE ID= node38/357224-1176991689 PBS_JOBID= 4630435 Free space on /tmp= 66233 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-n3708.opb COMMAND LINE= oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-357224-1176991689 -o ROOT/results/node38/solver-357224-1176991689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0f95e02b74e4e0d269b94f6526e7c8b5 RANDOM SEED= 303954206 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1449896 kB Buffers: 47000 kB Cached: 464252 kB SwapCached: 3100 kB Active: 101548 kB Inactive: 437496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1449896 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 10024 kB Writeback: 0 kB Mapped: 35988 kB Slab: 51988 kB Committed_AS: 1538276 kB PageTables: 2060 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= 66233 MiB End job on node38 on Thu Apr 19 14:38:14 UTC 2007