Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 1802.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 84 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
Number of bits of the biggest sum of numbers | 13 |
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.00/0.00 c ...done 0.00/0.00 c #vars=198 #constraints=17 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.19/0.23 c restart after 401 decisions 0.19/0.24 c nbDecision=500 #constraints=259 0.49/0.57 c restart after 801 decisions 0.59/0.66 c nbDecision=1000 #constraints=536 1.69/1.77 c nbDecision=1500 #constraints=1038 1.99/2.10 c restart after 1601 decisions 2.79/2.84 c nbDecision=2000 #constraints=1377 5.29/5.36 c nbDecision=2500 #constraints=1876 8.38/8.41 c nbDecision=3000 #constraints=2378 10.09/10.11 c restart after 3201 decisions 11.49/11.59 c nbDecision=3500 #constraints=2720 17.29/17.34 c nbDecision=4000 #constraints=3218 24.28/24.32 c nbDecision=4500 #constraints=3720 31.38/31.46 c nbDecision=5000 #constraints=4220 40.28/40.38 c nbDecision=5500 #constraints=4718 49.77/49.82 c nbDecision=6000 #constraints=5220 59.97/60.02 c restart after 6401 decisions 60.27/60.31 c nbDecision=6500 #constraints=5619 72.57/72.60 c nbDecision=7000 #constraints=6057 86.97/87.00 c nbDecision=7500 #constraints=6557 101.36/101.46 c nbDecision=8000 #constraints=7057 117.26/117.37 c nbDecision=8500 #constraints=7558 133.86/133.93 c nbDecision=9000 #constraints=8058 153.95/154.03 c nbDecision=9500 #constraints=8559 174.85/174.96 c nbDecision=10000 #constraints=9057 195.34/195.41 c nbDecision=10500 #constraints=9561 219.33/219.44 c nbDecision=11000 #constraints=10059 240.03/240.18 c nbDecision=11500 #constraints=10557 268.33/268.48 c nbDecision=12000 #constraints=11057 294.51/294.64 c nbDecision=12500 #constraints=11557 309.51/309.61 c restart after 12801 decisions 313.41/313.55 c nbDecision=13000 #constraints=11897 348.40/348.52 c nbDecision=13500 #constraints=12396 380.69/380.81 c nbDecision=14000 #constraints=12896 415.37/415.55 c nbDecision=14500 #constraints=13396 450.07/450.21 c nbDecision=15000 #constraints=13896 489.96/490.11 c nbDecision=15500 #constraints=14396 531.45/531.60 c nbDecision=16000 #constraints=14896 574.04/574.20 c nbDecision=16500 #constraints=15395 618.12/618.30 c nbDecision=17000 #constraints=15895 657.41/657.67 c nbDecision=17500 #constraints=16395 696.01/696.27 c nbDecision=18000 #constraints=16896 738.00/738.25 c nbDecision=18500 #constraints=17395 779.48/779.70 c nbDecision=19000 #constraints=17896 824.67/824.99 c nbDecision=19500 #constraints=18396 870.96/871.25 c nbDecision=20000 #constraints=18895 912.85/913.13 c nbDecision=20500 #constraints=19395 961.73/962.00 c nbDecision=21000 #constraints=19898 1014.61/1014.94 c nbDecision=21500 #constraints=20397 1066.90/1067.22 c nbDecision=22000 #constraints=20896 1121.79/1122.18 c nbDecision=22500 #constraints=21395 1175.68/1176.03 c nbDecision=23000 #constraints=21896 1232.76/1233.14 c nbDecision=23500 #constraints=22395 1287.76/1288.29 c nbDecision=24000 #constraints=22896 1346.23/1346.79 c nbDecision=24500 #constraints=23396 1402.72/1403.24 c nbDecision=25000 #constraints=23896 1461.80/1462.37 c nbDecision=25500 #constraints=24395 1473.19/1473.77 c restart after 25601 decisions 1508.99/1509.58 c nbDecision=26000 #constraints=24738 1567.27/1567.81 c nbDecision=26500 #constraints=25239 1629.35/1629.93 c nbDecision=27000 #constraints=25738 1688.64/1689.27 c nbDecision=27500 #constraints=26236 1746.42/1747.04 c nbDecision=28000 #constraints=26739 1800.01/1800.60 Received signal 15 1800.01/1800.63 1800.01/1800.63 s UNKNOWN 1800.01/1800.63 1800.01/1800.63 c user time= 1799.63 s 1800.01/1800.63 c system time= 0.417936 s 1800.01/1800.63 c wall clock time=1800.63
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-357467-1177000818 -o ROOT/results/node35/solver-357467-1177000818 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357467-1177000818/instance-357467-1177000818.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.95 0.95 3/77 21933 /proc/meminfo: memFree=1742328/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=1468 CPUtime=0 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 179 0 0 0 0 0 0 0 19 0 1 0 147997208 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 367 162 131 317 0 46 0 [startup+0.041193 s] /proc/loadavg: 0.91 0.95 0.95 3/77 21933 /proc/meminfo: memFree=1742328/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=1728 CPUtime=0.03 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 248 0 0 0 3 0 0 0 19 0 1 0 147997208 1769472 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 432 230 139 317 0 111 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1728 [startup+0.1012 s] /proc/loadavg: 0.91 0.95 0.95 3/77 21933 /proc/meminfo: memFree=1742328/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=1988 CPUtime=0.09 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 322 0 0 0 9 0 0 0 20 0 1 0 147997208 2035712 304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 497 304 139 317 0 176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1988 [startup+0.301223 s] /proc/loadavg: 0.91 0.95 0.95 3/77 21933 /proc/meminfo: memFree=1742328/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=2904 CPUtime=0.29 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 554 0 0 0 29 0 0 0 21 0 1 0 147997208 2973696 536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 726 536 139 317 0 405 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2904 [startup+0.70127 s] /proc/loadavg: 0.91 0.95 0.95 3/77 21933 /proc/meminfo: memFree=1742328/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=4224 CPUtime=0.69 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 890 0 0 0 69 0 0 0 25 0 1 0 147997208 4325376 872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 1056 872 139 317 0 735 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4224 [startup+1.50136 s] /proc/loadavg: 0.91 0.95 0.95 2/78 21934 /proc/meminfo: memFree=1738608/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=6072 CPUtime=1.49 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 1328 0 0 0 149 0 0 0 25 0 1 0 147997208 6217728 1310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716123 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 1518 1310 139 317 0 1197 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6072 [startup+3.10155 s] /proc/loadavg: 0.91 0.95 0.95 2/78 21934 /proc/meminfo: memFree=1736304/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=8720 CPUtime=3.09 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 1981 0 0 0 309 0 0 0 25 0 1 0 147997208 8929280 1963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 2180 1963 139 317 0 1859 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8720 [startup+6.30293 s] /proc/loadavg: 0.92 0.95 0.95 2/78 21934 /proc/meminfo: memFree=1732784/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=11352 CPUtime=6.29 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 2641 0 0 0 628 1 0 0 25 0 1 0 147997208 11624448 2623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 2838 2623 139 317 0 2517 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11352 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.95 2/78 21934 /proc/meminfo: memFree=1728368/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=15716 CPUtime=12.69 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 3639 0 0 0 1267 2 0 0 25 0 1 0 147997208 16093184 3621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 3929 3621 139 317 0 3608 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15716 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.95 2/78 21934 /proc/meminfo: memFree=1723632/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=20208 CPUtime=25.49 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 4799 0 0 0 2545 4 0 0 25 0 1 0 147997208 20692992 4781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 5052 4781 139 317 0 4731 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20208 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.95 2/78 21934 /proc/meminfo: memFree=1716336/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=28620 CPUtime=51.08 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 6640 0 0 0 5102 6 0 0 25 0 1 0 147997208 29306880 6622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 7155 6622 139 317 0 6834 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28620 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.95 2/78 21934 /proc/meminfo: memFree=1707696/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=36744 CPUtime=102.26 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 8770 0 0 0 10219 7 0 0 25 0 1 0 147997208 37625856 8752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 9186 8752 139 317 0 8865 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36744 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1699376/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=46780 CPUtime=162.24 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 10907 0 0 0 16215 9 0 0 25 0 1 0 147997208 47902720 10832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 11695 10832 139 317 0 11374 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 46780 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1693040/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=53764 CPUtime=222.23 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 12496 0 0 0 22212 11 0 0 25 0 1 0 147997208 55054336 12421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 13441 12421 170 317 0 13120 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 53764 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1687728/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=58616 CPUtime=282.22 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 13841 0 0 0 28208 14 0 0 25 0 1 0 147997208 60022784 13766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 14654 13766 170 317 0 14333 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 58616 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1682992/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=63136 CPUtime=342.2 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 15017 0 0 0 34205 15 0 0 25 0 1 0 147997208 64651264 14942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 15784 14942 170 317 0 15463 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 63136 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1678960/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=66948 CPUtime=402.18 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 16018 0 0 0 40202 16 0 0 25 0 1 0 147997208 68554752 15943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 16737 15943 170 317 0 16416 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 66948 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1675056/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=70552 CPUtime=462.16 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 16983 0 0 0 46199 17 0 0 25 0 1 0 147997208 72245248 16908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 17638 16908 170 317 0 17317 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 70552 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1671600/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=74048 CPUtime=522.15 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 17862 0 0 0 52197 18 0 0 25 0 1 0 147997208 75825152 17787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 18512 17787 170 317 0 18191 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 74048 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21934 /proc/meminfo: memFree=1668144/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=77092 CPUtime=582.13 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 18708 0 0 0 58194 19 0 0 25 0 1 0 147997208 78942208 18633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 19273 18633 170 317 0 18952 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 77092 [startup+642.301 s] /proc/loadavg: 1.03 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1664944/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=80056 CPUtime=642.12 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 19500 0 0 0 64192 20 0 0 25 0 1 0 147997208 81977344 19425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 20014 19425 170 317 0 19693 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 80056 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1653872/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=96680 CPUtime=822.07 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 23627 0 0 0 82183 24 0 0 25 0 1 0 147997208 99000320 22185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 24170 22185 170 317 0 23849 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 96680 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1650224/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=100548 CPUtime=882.05 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 24599 0 0 0 88180 25 0 0 25 0 1 0 147997208 102961152 23091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710934 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 25137 23091 170 317 0 24816 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 100548 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1647024/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=104020 CPUtime=942.04 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 25511 0 0 0 94177 27 0 0 25 0 1 0 147997208 106516480 23904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 26005 23904 170 317 0 25684 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 104020 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1644272/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=106380 CPUtime=1002.02 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 26175 0 0 0 100174 28 0 0 25 0 1 0 147997208 108933120 24568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 26595 24568 170 317 0 26274 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 106380 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1641520/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=109384 CPUtime=1062.01 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 26981 0 0 0 106172 29 0 0 25 0 1 0 147997208 112009216 25275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 27346 25275 170 317 0 27025 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 109384 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1638960/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=111740 CPUtime=1121.99 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 27642 0 0 0 112169 30 0 0 25 0 1 0 147997208 114421760 25903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 27935 25903 170 317 0 27614 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 111740 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1636400/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=114228 CPUtime=1181.97 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 28350 0 0 0 118166 31 0 0 25 0 1 0 147997208 116969472 26545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 28557 26545 170 317 0 28236 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 114228 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 21934 /proc/meminfo: memFree=1633968/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=116348 CPUtime=1241.95 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 28952 0 0 0 124163 32 0 0 25 0 1 0 147997208 119140352 27147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 29087 27147 170 317 0 28766 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 116348 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1630960/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=118832 CPUtime=1301.84 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 29640 0 0 0 130150 34 0 0 25 0 1 0 147997208 121683968 27802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 29708 27802 170 317 0 29387 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 118832 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1628848/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=120800 CPUtime=1361.83 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 30227 0 0 0 136148 35 0 0 25 0 1 0 147997208 123699200 28389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 30200 28389 170 317 0 29879 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 120800 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1625904/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=123936 CPUtime=1421.82 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 30989 0 0 0 142146 36 0 0 25 0 1 0 147997208 126910464 29118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 30984 29118 170 317 0 30663 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 123936 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1623792/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=125900 CPUtime=1481.79 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 31526 0 0 0 148143 36 0 0 25 0 1 0 147997208 128921600 29655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 31475 29655 170 317 0 31154 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 125900 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1621808/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=127732 CPUtime=1541.78 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 32043 0 0 0 154141 37 0 0 25 0 1 0 147997208 130797568 30172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 31933 30172 170 317 0 31612 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 127732 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1619696/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=129688 CPUtime=1601.76 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 32587 0 0 0 160138 38 0 0 25 0 1 0 147997208 132800512 30716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563477 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 32422 30716 170 317 0 32101 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 129688 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1617456/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=131812 CPUtime=1661.74 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 33182 0 0 0 166136 38 0 0 25 0 1 0 147997208 134975488 31278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 32953 31278 170 317 0 32632 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 131812 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1614960/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=134300 CPUtime=1721.73 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 33801 0 0 0 172133 40 0 0 25 0 1 0 147997208 137523200 31897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 33575 31897 170 317 0 33254 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 134300 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22132 /proc/meminfo: memFree=1612656/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=136372 CPUtime=1781.71 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 34377 0 0 0 178130 41 0 0 25 0 1 0 147997208 139644928 32473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 34093 32473 170 317 0 33772 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 136372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.07 1.00 0.96 2/78 22132 /proc/meminfo: memFree=1612080/2055920 swapFree=4150956/4192956 [pid=21933] ppid=21931 vsize=136768 CPUtime=1800.01 /proc/21933/stat : 21933 (oree) R 21931 21933 20973 0 -1 4194304 34526 0 0 0 179960 41 0 0 25 0 1 0 147997208 140050432 32622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21933/statm: 34192 32622 170 317 0 33871 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 136768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.08 CPU user time (s): 1799.64 CPU system time (s): 0.442932 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 136768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.442932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34542 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= 7 involuntary context switches= 12331 runsolver used 2.12168 second user time and 4.39233 second system time The end
Begin job on node35 on Thu Apr 19 16:40:18 UTC 2007 IDJOB= 357467 IDBENCH= 2904 IDSOLVER= 172 FILE ID= node35/357467-1177000818 PBS_JOBID= 4630464 Free space on /tmp= 66305 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= oree /tmp/evaluation/357467-1177000818/instance-357467-1177000818.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-357467-1177000818 -o ROOT/results/node35/solver-357467-1177000818 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357467-1177000818/instance-357467-1177000818.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED= 708266793 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1742736 kB Buffers: 35252 kB Cached: 188096 kB SwapCached: 9280 kB Active: 180656 kB Inactive: 90156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742736 kB SwapTotal: 4192956 kB SwapFree: 4150956 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 54112 kB Slab: 27612 kB Committed_AS: 2410868 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= 66305 MiB End job on node35 on Thu Apr 19 17:10:21 UTC 2007