Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 766.178 | 766.389 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb |
MD5SUM | 1c8cf561f224f1f2f953c533d372407b |
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.02363 |
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 | 77 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 658002 |
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 | 658002 |
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.89 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.99/5.05 c restart after 401 decisions 5.19/5.27 c nbDecision=500 #constraints=5301 5.89/5.96 c restart after 801 decisions 6.39/6.41 c nbDecision=1000 #constraints=5301 7.49/7.54 c nbDecision=1500 #constraints=5301 7.69/7.77 c restart after 1601 decisions 8.59/8.65 c nbDecision=2000 #constraints=5301 9.69/9.78 c nbDecision=2500 #constraints=5301 10.89/10.92 c nbDecision=3000 #constraints=5301 11.29/11.38 c restart after 3201 decisions 11.99/12.07 c nbDecision=3500 #constraints=5301 13.09/13.17 c nbDecision=4000 #constraints=5301 14.19/14.28 c nbDecision=4500 #constraints=5301 15.29/15.38 c nbDecision=5000 #constraints=5301 16.49/16.52 c nbDecision=5500 #constraints=5301 17.59/17.65 c nbDecision=6000 #constraints=5301 18.49/18.56 c restart after 6401 decisions 18.69/18.79 c nbDecision=6500 #constraints=5301 19.88/19.92 c nbDecision=7000 #constraints=5301 20.98/21.05 c nbDecision=7500 #constraints=5301 22.08/22.17 c nbDecision=8000 #constraints=5301 23.18/23.29 c nbDecision=8500 #constraints=5301 24.28/24.39 c nbDecision=9000 #constraints=5301 25.38/25.48 c nbDecision=9500 #constraints=5301 26.48/26.58 c nbDecision=10000 #constraints=5301 27.68/27.70 c nbDecision=10500 #constraints=5301 28.78/28.82 c nbDecision=11000 #constraints=5301 29.88/29.93 c nbDecision=11500 #constraints=5301 30.98/31.05 c nbDecision=12000 #constraints=5301 36.08/36.18 c nbDecision=12500 #constraints=5477 45.28/45.31 c restart after 12801 decisions 45.88/45.94 c nbDecision=13000 #constraints=5776 46.98/47.07 c nbDecision=13500 #constraints=5776 48.18/48.20 c nbDecision=14000 #constraints=5776 49.28/49.32 c nbDecision=14500 #constraints=5776 50.38/50.46 c nbDecision=15000 #constraints=5776 51.48/51.60 c nbDecision=15500 #constraints=5776 52.68/52.73 c nbDecision=16000 #constraints=5776 53.78/53.86 c nbDecision=16500 #constraints=5776 54.98/55.03 c nbDecision=17000 #constraints=5776 56.18/56.28 c nbDecision=17500 #constraints=5776 57.48/57.55 c nbDecision=18000 #constraints=5776 58.77/58.83 c nbDecision=18500 #constraints=5776 71.67/71.78 c nbDecision=19000 #constraints=6057 96.17/96.26 c nbDecision=19500 #constraints=6554 122.76/122.88 c nbDecision=20000 #constraints=7050 163.65/163.80 c nbDecision=20500 #constraints=7550 197.34/197.45 c nbDecision=21000 #constraints=7981 198.44/198.56 c nbDecision=21500 #constraints=7981 199.54/199.67 c nbDecision=22000 #constraints=7981 200.64/200.78 c nbDecision=22500 #constraints=7981 201.74/201.88 c nbDecision=23000 #constraints=7981 202.84/202.98 c nbDecision=23500 #constraints=7981 203.93/204.09 c nbDecision=24000 #constraints=7981 205.03/205.19 c nbDecision=24500 #constraints=7981 210.84/210.96 c nbDecision=25000 #constraints=8192 226.83/226.98 c nbDecision=25500 #constraints=8689 230.43/230.54 c restart after 25601 decisions 234.43/234.55 c nbDecision=26000 #constraints=8790 235.53/235.69 c nbDecision=26500 #constraints=8790 236.72/236.83 c nbDecision=27000 #constraints=8790 237.82/237.97 c nbDecision=27500 #constraints=8790 239.02/239.15 c nbDecision=28000 #constraints=8790 240.12/240.27 c nbDecision=28500 #constraints=8790 241.22/241.39 c nbDecision=29000 #constraints=8790 242.42/242.51 c nbDecision=29500 #constraints=8790 244.13/244.28 c nbDecision=30000 #constraints=8790 246.02/246.20 c nbDecision=30500 #constraints=8790 248.02/248.11 c nbDecision=31000 #constraints=8790 250.02/250.13 c nbDecision=31500 #constraints=8790 251.32/251.45 c nbDecision=32000 #constraints=8790 252.42/252.57 c nbDecision=32500 #constraints=8790 253.52/253.68 c nbDecision=33000 #constraints=8790 254.72/254.81 c nbDecision=33500 #constraints=8790 256.02/256.17 c nbDecision=34000 #constraints=8790 257.42/257.52 c nbDecision=34500 #constraints=8790 258.72/258.90 c nbDecision=35000 #constraints=8790 264.21/264.36 c nbDecision=35500 #constraints=8906 287.41/287.55 c nbDecision=36000 #constraints=9403 316.71/316.84 c nbDecision=36500 #constraints=9903 350.99/351.17 c nbDecision=37000 #constraints=10403 388.78/389.00 c nbDecision=37500 #constraints=10905 407.08/407.26 c nbDecision=38000 #constraints=11110 408.17/408.33 c nbDecision=38500 #constraints=11110 409.27/409.45 c nbDecision=39000 #constraints=11110 410.37/410.56 c nbDecision=39500 #constraints=11110 422.48/422.61 c nbDecision=40000 #constraints=11489 440.57/440.74 c nbDecision=40500 #constraints=11988 462.17/462.30 c nbDecision=41000 #constraints=12497 486.06/486.22 c nbDecision=41500 #constraints=12990 513.55/513.73 c nbDecision=42000 #constraints=13490 544.04/544.22 c nbDecision=42500 #constraints=14000 577.13/577.39 c nbDecision=43000 #constraints=14490 614.02/614.25 c nbDecision=43500 #constraints=14993 654.21/654.43 c nbDecision=44000 #constraints=15493 696.90/697.15 c nbDecision=44500 #constraints=15995 743.18/743.46 c nbDecision=45000 #constraints=16498 765.48/765.70 Received signal 15 765.78/766.09 765.78/766.09 s UNKNOWN 765.78/766.09 765.78/766.09 c user time= 764.293 s 765.78/766.09 c system time= 1.58876 s 765.78/766.09 c wall clock time=766.091
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-362258-1176845805 -o ROOT/results/node1/solver-362258-1176845805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.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.96 3/77 19796 /proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1620 CPUtime=0 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160618390 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 405 175 126 317 0 84 0 [startup+0.092333 s] /proc/loadavg: 0.92 0.97 0.96 3/77 19796 /proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=3440 CPUtime=0.09 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 160618390 3522560 626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 860 626 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.101334 s] /proc/loadavg: 0.92 0.97 0.96 3/77 19796 /proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=3440 CPUtime=0.09 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 160618390 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 860 651 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301358 s] /proc/loadavg: 0.92 0.97 0.96 3/77 19796 /proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=9548 CPUtime=0.29 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 2787 0 0 0 29 0 0 0 19 0 1 0 160618390 9777152 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 2387 1772 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701404 s] /proc/loadavg: 0.92 0.97 0.96 3/77 19796 /proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=14576 CPUtime=0.69 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 3899 0 0 0 68 1 0 0 22 0 1 0 160618390 14925824 2884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 3644 2884 131 317 0 3323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14576 [startup+1.5015 s] /proc/loadavg: 0.92 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1800376/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=33080 CPUtime=1.49 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 8114 0 0 0 147 2 0 0 25 0 1 0 160618390 33873920 7099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 8270 7099 131 317 0 7949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33080 [startup+3.10169 s] /proc/loadavg: 0.93 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1769016/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=57580 CPUtime=3.09 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14260 0 0 0 303 6 0 0 25 0 1 0 160618390 58961920 13245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 14395 13245 137 317 0 14074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57580 [startup+6.30106 s] /proc/loadavg: 0.93 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1763832/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=59032 CPUtime=6.29 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 623 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7018 s] /proc/loadavg: 0.94 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1763904/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=59032 CPUtime=12.69 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 1263 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1763968/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=59032 CPUtime=25.48 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 2542 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59032 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1699648/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=129692 CPUtime=51.08 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 30735 0 0 0 5096 12 0 0 25 0 1 0 160618390 132804608 29683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 32423 29683 139 317 0 32102 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 129692 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1568512/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=274328 CPUtime=102.27 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 63491 0 0 0 10203 24 0 0 25 0 1 0 160618390 280911872 62439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 68582 62439 139 317 0 68261 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 274328 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1439104/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=429464 CPUtime=162.25 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 96007 0 0 0 16188 37 0 0 25 0 1 0 160618390 439771136 94955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 107366 94955 139 317 0 107045 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 429464 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1298240/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=577568 CPUtime=222.23 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 130988 0 0 0 22171 52 0 0 25 0 1 0 160618390 591429632 129936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 144392 129936 139 317 0 144071 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 577568 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1195584/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=694208 CPUtime=282.21 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 157060 0 0 0 28160 61 0 0 25 0 1 0 160618390 710868992 156008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 173552 156008 139 317 0 173231 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 694208 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=1051776/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=860912 CPUtime=342.19 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 192442 0 0 0 34144 75 0 0 25 0 1 0 160618390 881573888 191390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 215228 191390 139 317 0 214907 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 860912 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=956096/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=958816 CPUtime=402.18 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 216624 0 0 0 40134 84 0 0 25 0 1 0 160618390 981827584 215500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 239704 215500 139 317 0 239383 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 958816 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=752768/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1181548 CPUtime=462.17 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 267318 0 0 0 46115 102 0 0 25 0 1 0 160618390 1209905152 266192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 295387 266192 139 317 0 295066 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1181548 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=590784/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1369444 CPUtime=522.15 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 307907 0 0 0 52100 115 0 0 25 0 1 0 160618390 1402310656 306781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 342361 306781 139 317 0 342040 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1369444 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=477696/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1482348 CPUtime=582.13 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 335817 0 0 0 58087 126 0 0 25 0 1 0 160618390 1517924352 334691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 370587 334691 139 317 0 370266 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1482348 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=334080/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1673752 CPUtime=642.12 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 371431 0 0 0 64071 141 0 0 25 0 1 0 160618390 1713922048 370305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 418438 370305 139 317 0 418117 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1673752 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=248832/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1760472 CPUtime=702.09 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 392847 0 0 0 70060 149 0 0 25 0 1 0 160618390 1802723328 391721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 440118 391721 139 317 0 439797 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1760472 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=170560/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1839252 CPUtime=762.08 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 412263 0 0 0 76051 157 0 0 25 0 1 0 160618390 1883394048 411137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 459813 411137 139 317 0 459492 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1839252 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+765.701 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1843500 CPUtime=765.48 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 413303 0 0 0 76390 158 0 0 25 0 1 0 160618390 1887744000 412177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 460875 412177 139 317 0 460554 0 Current children cumulated CPU time (s) 765.48 Current children cumulated vsize (KiB) 1843500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+765.806 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=1843668 CPUtime=765.58 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 413355 0 0 0 76400 158 0 0 25 0 1 0 160618390 1887916032 412229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 460917 412229 139 317 0 460596 0 Current children cumulated CPU time (s) 765.58 Current children cumulated vsize (KiB) 1843668 [startup+766.201 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=0 CPUtime=765.98 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194308 413460 0 0 0 76433 165 0 0 25 0 1 0 160618390 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 765.98 Current children cumulated vsize (KiB) 0 [startup+766.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19797 /proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956 [pid=19796] ppid=19794 vsize=0 CPUtime=766.08 /proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194308 413460 0 0 0 76433 175 0 0 25 0 1 0 160618390 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19796/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 766.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 766.389 CPU time (s): 766.178 CPU user time (s): 764.331 CPU system time (s): 1.84672 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1843980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 764.331 system time used= 1.84672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 413460 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= 714 runsolver used 0.874867 second user time and 1.88471 second system time The end
Begin job on node1 on Tue Apr 17 21:36:46 UTC 2007 IDJOB= 362258 IDBENCH= 1544 IDSOLVER= 172 FILE ID= node1/362258-1176845805 PBS_JOBID= 4590173 Free space on /tmp= 66393 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-n3705.opb COMMAND LINE= oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-362258-1176845805 -o ROOT/results/node1/solver-362258-1176845805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1c8cf561f224f1f2f953c533d372407b RANDOM SEED= 106081421 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: 1818648 kB Buffers: 28364 kB Cached: 141864 kB SwapCached: 14460 kB Active: 65920 kB Inactive: 127196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818648 kB SwapTotal: 4192956 kB SwapFree: 4145928 kB Dirty: 7964 kB Writeback: 0 kB Mapped: 30028 kB Slab: 29668 kB Committed_AS: 4917028 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= 66393 MiB End job on node1 on Tue Apr 17 21:49:33 UTC 2007