Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stair.opb |
MD5SUM | 93ec90d2ad0b276483c19ced945be9c0 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 12.2451 |
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 | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 528959045369856 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 3702118998041541 |
Number of bits of the biggest sum of numbers | 52 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.29/0.32 c ...done 0.29/0.32 c #vars=11454 #constraints=572 hasObjective=yes 0.29/0.35 c res. mode=mod 0.29/0.35 c VSIDS like heuristics 0.29/0.35 c complete search running 1.89/1.94 c restart after 401 decisions 2.29/2.32 c nbDecision=500 #constraints=1043 3.69/3.79 c restart after 801 decisions 4.79/4.80 c nbDecision=1000 #constraints=1531 7.88/7.91 c nbDecision=1500 #constraints=2030 8.58/8.62 c restart after 1601 decisions 11.49/11.53 c nbDecision=2000 #constraints=2519 15.79/15.85 c nbDecision=2500 #constraints=3018 20.79/20.84 c nbDecision=3000 #constraints=3519 22.99/23.05 c restart after 3201 decisions 26.39/26.49 c nbDecision=3500 #constraints=4010 32.88/32.95 c nbDecision=4000 #constraints=4511 39.99/40.09 c nbDecision=4500 #constraints=5008 48.08/48.10 c nbDecision=5000 #constraints=5509 56.77/56.89 c nbDecision=5500 #constraints=6008 66.37/66.47 c nbDecision=6000 #constraints=6509 74.67/74.78 c restart after 6401 decisions 76.67/76.74 c nbDecision=6500 #constraints=6996 87.88/87.95 c nbDecision=7000 #constraints=7497 99.87/99.98 c nbDecision=7500 #constraints=7998 112.76/112.82 c nbDecision=8000 #constraints=8499 126.26/126.33 c nbDecision=8500 #constraints=8996 140.66/140.78 c nbDecision=9000 #constraints=9497 155.95/156.07 c nbDecision=9500 #constraints=9998 172.04/172.14 c nbDecision=10000 #constraints=10499 188.84/188.93 c nbDecision=10500 #constraints=10998 206.43/206.57 c nbDecision=11000 #constraints=11499 224.83/224.97 c nbDecision=11500 #constraints=11998 244.03/244.19 c nbDecision=12000 #constraints=12499 264.02/264.12 c nbDecision=12500 #constraints=12997 276.52/276.64 c restart after 12801 decisions 284.62/284.77 c nbDecision=13000 #constraints=13488 306.22/306.31 c nbDecision=13500 #constraints=13987 328.50/328.69 c nbDecision=14000 #constraints=14488 351.60/351.79 c nbDecision=14500 #constraints=14987 375.59/375.71 c nbDecision=15000 #constraints=15488 400.23/400.41 c nbDecision=15500 #constraints=15987 425.70/425.90 c nbDecision=16000 #constraints=16489 451.67/451.98 c nbDecision=16500 #constraints=16984 478.77/479.01 c nbDecision=17000 #constraints=17485 506.46/506.76 c nbDecision=17500 #constraints=17984 535.05/535.37 c nbDecision=18000 #constraints=18485 564.45/564.72 c nbDecision=18500 #constraints=18986 594.54/594.88 c nbDecision=19000 #constraints=19487 625.43/625.78 c nbDecision=19500 #constraints=19988 657.12/657.47 c nbDecision=20000 #constraints=20489 689.61/689.97 c nbDecision=20500 #constraints=20990 722.81/723.17 c nbDecision=21000 #constraints=21491 756.69/757.03 c nbDecision=21500 #constraints=21990 791.48/791.80 c nbDecision=22000 #constraints=22491 826.89/827.22 c nbDecision=22500 #constraints=22990 863.07/863.46 c nbDecision=23000 #constraints=23491 899.96/900.39 c nbDecision=23500 #constraints=23990 937.75/938.10 c nbDecision=24000 #constraints=24490 976.04/976.46 c nbDecision=24500 #constraints=24987 1015.34/1015.78 c nbDecision=25000 #constraints=25488 1055.42/1055.85 c nbDecision=25500 #constraints=25989 1063.62/1064.06 c restart after 25601 decisions 1096.01/1096.40 c nbDecision=26000 #constraints=26480 1137.40/1137.86 c nbDecision=26500 #constraints=26979 1179.69/1180.18 c nbDecision=27000 #constraints=27480 1222.79/1223.28 c nbDecision=27500 #constraints=27981 1266.67/1267.14 c nbDecision=28000 #constraints=28482 1311.06/1311.50 c nbDecision=28500 #constraints=28979 1356.34/1356.86 c nbDecision=29000 #constraints=29480 1402.33/1402.81 c nbDecision=29500 #constraints=29979 1449.12/1449.66 c nbDecision=30000 #constraints=30480 1496.61/1497.15 c nbDecision=30500 #constraints=30979 1544.90/1545.46 c nbDecision=31000 #constraints=31480 1594.09/1594.60 c nbDecision=31500 #constraints=31981 1643.87/1644.44 c nbDecision=32000 #constraints=32483 1693.96/1694.57 c nbDecision=32500 #constraints=32977 1745.24/1745.87 c nbDecision=33000 #constraints=33478 1797.33/1797.95 c nbDecision=33500 #constraints=33979 1800.04/1800.61 Received signal 15 1800.14/1800.77 1800.14/1800.77 s UNKNOWN 1800.14/1800.77 1800.14/1800.77 c user time= 1799.73 s 1800.14/1800.77 c system time= 0.486925 s 1800.14/1800.77 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-365508-1176994485 -o ROOT/results/node44/solver-365508-1176994485 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.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.91 0.97 0.99 3/77 4357 /proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=1468 CPUtime=0 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147360204 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 367 160 131 317 0 46 0 [startup+0.0877899 s] /proc/loadavg: 0.91 0.97 0.99 3/77 4357 /proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=2548 CPUtime=0.08 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 432 0 0 0 8 0 0 0 18 0 1 0 147360204 2609152 414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134624371 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 637 414 131 317 0 316 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2548 [startup+0.10179 s] /proc/loadavg: 0.91 0.97 0.99 3/77 4357 /proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=2684 CPUtime=0.09 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 147360204 2748416 456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 671 456 131 317 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2684 [startup+0.30181 s] /proc/loadavg: 0.91 0.97 0.99 3/77 4357 /proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=5772 CPUtime=0.29 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 1243 0 0 0 29 0 0 0 19 0 1 0 147360204 5910528 1225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 1443 1225 131 317 0 1122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5772 [startup+0.701852 s] /proc/loadavg: 0.91 0.97 0.99 3/77 4357 /proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=8640 CPUtime=0.69 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 1963 0 0 0 69 0 0 0 23 0 1 0 147360204 8847360 1945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717250 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 2160 1945 139 317 0 1839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8640 [startup+1.50193 s] /proc/loadavg: 0.91 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1684456/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=9560 CPUtime=1.49 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 2192 0 0 0 148 1 0 0 25 0 1 0 147360204 9789440 2174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 2390 2174 139 317 0 2069 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9560 [startup+3.1011 s] /proc/loadavg: 0.91 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1683240/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=11032 CPUtime=3.09 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 2578 0 0 0 308 1 0 0 25 0 1 0 147360204 11296768 2560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 2758 2560 139 317 0 2437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11032 [startup+6.30143 s] /proc/loadavg: 0.92 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1680312/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=13684 CPUtime=6.29 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 3194 0 0 0 628 1 0 0 25 0 1 0 147360204 14012416 3176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 3421 3176 139 317 0 3100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13684 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1676536/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=17556 CPUtime=12.69 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 4113 0 0 0 1267 2 0 0 25 0 1 0 147360204 17977344 4095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 4389 4095 139 317 0 4068 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17556 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1670840/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=22496 CPUtime=25.48 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 5410 0 0 0 2545 3 0 0 25 0 1 0 147360204 23035904 5392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 5624 5392 139 317 0 5303 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22496 [startup+51.101 s] /proc/loadavg: 0.96 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1663096/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=31212 CPUtime=51.08 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 7360 0 0 0 5103 5 0 0 25 0 1 0 147360204 31961088 7342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 7803 7342 139 317 0 7482 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31212 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1653496/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=39740 CPUtime=102.27 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 9717 0 0 0 10220 7 0 0 25 0 1 0 147360204 40693760 9699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 9935 9699 139 317 0 9614 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39740 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1643640/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=52200 CPUtime=162.25 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 12250 0 0 0 16216 9 0 0 25 0 1 0 147360204 53452800 12175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 13050 12175 139 317 0 12729 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 52200 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1636664/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=58368 CPUtime=222.23 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 13970 0 0 0 22212 11 0 0 25 0 1 0 147360204 59768832 13895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 14592 13895 139 317 0 14271 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 58368 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1630904/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=63752 CPUtime=282.22 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 15430 0 0 0 28209 13 0 0 25 0 1 0 147360204 65282048 15355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 15938 15355 139 317 0 15617 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 63752 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4358 /proc/meminfo: memFree=1625528/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=68580 CPUtime=342.2 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 16756 0 0 0 34205 15 0 0 25 0 1 0 147360204 70225920 16681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 17145 16681 139 317 0 16824 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 68580 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/84 4496 /proc/meminfo: memFree=1619384/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=72904 CPUtime=402.12 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 17976 0 0 0 40195 17 0 0 25 0 1 0 147360204 74653696 17901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 18226 17901 139 317 0 17905 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 72904 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1615032/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=82848 CPUtime=462.08 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 20045 0 0 0 46189 19 0 0 25 0 1 0 147360204 84836352 19263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 20712 19263 139 317 0 20391 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 82848 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1610680/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=87036 CPUtime=522.06 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 21120 0 0 0 52185 21 0 0 25 0 1 0 147360204 89124864 20338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 21759 20338 139 317 0 21438 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 87036 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1606072/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=94180 CPUtime=582.04 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 22810 0 0 0 58182 22 0 0 25 0 1 0 147360204 96440320 21500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 23545 21500 139 317 0 23224 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 94180 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1602168/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=97724 CPUtime=642.03 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 23776 0 0 0 64179 24 0 0 25 0 1 0 147360204 100069376 22466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 24431 22466 139 317 0 24110 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 97724 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1588024/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=110296 CPUtime=881.97 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 27306 0 0 0 88168 29 0 0 25 0 1 0 147360204 112943104 25996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 27574 25996 139 317 0 27253 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 110296 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1584824/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=113048 CPUtime=941.95 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 28108 0 0 0 94165 30 0 0 25 0 1 0 147360204 115761152 26798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 28262 26798 139 317 0 27941 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 113048 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1581688/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=115928 CPUtime=1001.93 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 28892 0 0 0 100162 31 0 0 25 0 1 0 147360204 118710272 27582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 28982 27582 139 317 0 28661 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 115928 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1578680/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=118664 CPUtime=1061.92 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 29652 0 0 0 106159 33 0 0 25 0 1 0 147360204 121511936 28342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 29666 28342 139 317 0 29345 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 118664 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1575736/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=121148 CPUtime=1121.91 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 30393 0 0 0 112156 35 0 0 25 0 1 0 147360204 124055552 29083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 30287 29083 139 317 0 29966 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 121148 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1572920/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=123624 CPUtime=1181.89 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 31094 0 0 0 118153 36 0 0 25 0 1 0 147360204 126590976 29784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 30906 29784 139 317 0 30585 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 123624 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1570168/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=126116 CPUtime=1241.87 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 31776 0 0 0 124150 37 0 0 25 0 1 0 147360204 129142784 30466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 31529 30466 139 317 0 31208 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 126116 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1567224/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=128480 CPUtime=1301.86 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 32489 0 0 0 130148 38 0 0 25 0 1 0 147360204 131563520 31179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 32120 31179 139 317 0 31799 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 128480 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1564600/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=130828 CPUtime=1361.84 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 33154 0 0 0 136145 39 0 0 25 0 1 0 147360204 133967872 31844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 32707 31844 139 317 0 32386 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 130828 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1562040/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=133184 CPUtime=1421.83 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 33800 0 0 0 142143 40 0 0 25 0 1 0 147360204 136380416 32490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 33296 32490 139 317 0 32975 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 133184 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1559416/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=135408 CPUtime=1481.81 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 34456 0 0 0 148139 42 0 0 25 0 1 0 147360204 138657792 33146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 33852 33146 139 317 0 33531 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 135408 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4556 /proc/meminfo: memFree=1556984/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=137636 CPUtime=1541.8 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 35077 0 0 0 154137 43 0 0 25 0 1 0 147360204 140939264 33767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 34409 33767 139 317 0 34088 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 137636 [startup+1602.3 s] /proc/loadavg: 1.07 0.99 0.99 2/78 4556 /proc/meminfo: memFree=1554488/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=139740 CPUtime=1601.79 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 35690 0 0 0 160135 44 0 0 25 0 1 0 147360204 143093760 34380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 34935 34380 139 317 0 34614 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 139740 [startup+1662.3 s] /proc/loadavg: 1.03 0.99 0.99 2/78 4556 /proc/meminfo: memFree=1551992/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=142224 CPUtime=1661.77 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 36331 0 0 0 166132 45 0 0 25 0 1 0 147360204 145637376 34988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 35556 34988 139 317 0 35235 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 142224 [startup+1722.3 s] /proc/loadavg: 1.01 0.99 0.99 2/78 4556 /proc/meminfo: memFree=1549496/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=146120 CPUtime=1721.75 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 37399 0 0 0 172129 46 0 0 25 0 1 0 147360204 149626880 35632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 36530 35632 139 317 0 36209 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 146120 [startup+1782.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 4556 /proc/meminfo: memFree=1546680/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=157428 CPUtime=1781.73 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 40033 0 0 0 178126 47 0 0 25 0 1 0 147360204 161206272 36313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 39357 36313 139 317 0 39036 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 157428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.00 1.00 2/78 4556 /proc/meminfo: memFree=1545848/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=157956 CPUtime=1800.04 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 40246 0 0 0 179956 48 0 0 25 0 1 0 147360204 161746944 36526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563636 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 39489 36526 139 317 0 39168 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 157956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.04 1.00 1.00 2/78 4556 /proc/meminfo: memFree=1545848/2055920 swapFree=4150992/4192956 [pid=4357] ppid=4355 vsize=0 CPUtime=1800.23 /proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194308 40299 0 0 0 179973 50 0 0 25 0 1 0 147360204 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.25 CPU user time (s): 1799.74 CPU system time (s): 0.510922 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 158084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.510922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40299 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= 29661 runsolver used 2.11168 second user time and 4.43532 second system time The end
Begin job on node44 on Thu Apr 19 14:54:45 UTC 2007 IDJOB= 365508 IDBENCH= 2409 IDSOLVER= 172 FILE ID= node44/365508-1176994485 PBS_JOBID= 4630462 Free space on /tmp= 66412 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb COMMAND LINE= oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-365508-1176994485 -o ROOT/results/node44/solver-365508-1176994485 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 93ec90d2ad0b276483c19ced945be9c0 RANDOM SEED= 911514883 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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: 1692488 kB Buffers: 42216 kB Cached: 228224 kB SwapCached: 18832 kB Active: 84924 kB Inactive: 214872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1692488 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 2568 kB Writeback: 0 kB Mapped: 32396 kB Slab: 49148 kB Committed_AS: 498760 kB PageTables: 1736 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= 66412 MiB End job on node44 on Thu Apr 19 15:24:48 UTC 2007