Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb |
MD5SUM | 39b4faf02952fa93fd33b15cbf6e7d18 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.133979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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=432 #constraints=662 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.79/0.87 c restart after 401 decisions 1.00/1.10 c nbDecision=500 #constraints=1116 1.79/1.81 c restart after 801 decisions 2.29/2.34 c nbDecision=1000 #constraints=1561 4.39/4.47 c nbDecision=1500 #constraints=2056 4.69/4.71 c restart after 1601 decisions 5.69/5.75 c nbDecision=2000 #constraints=2507 6.79/6.80 c nbDecision=2500 #constraints=2993 9.08/9.13 c nbDecision=3000 #constraints=3487 9.39/9.46 c restart after 3201 decisions 11.49/11.58 c nbDecision=3500 #constraints=3937 16.39/16.42 c nbDecision=4000 #constraints=4437 22.99/23.09 c nbDecision=4500 #constraints=4938 30.98/31.09 c nbDecision=5000 #constraints=5438 39.29/39.36 c nbDecision=5500 #constraints=5928 44.38/44.40 c nbDecision=6000 #constraints=6428 47.07/47.12 c restart after 6401 decisions 50.37/50.45 c nbDecision=6500 #constraints=6886 60.17/60.21 c nbDecision=7000 #constraints=7377 71.57/71.68 c nbDecision=7500 #constraints=7860 83.77/83.87 c nbDecision=8000 #constraints=8361 99.16/99.21 c nbDecision=8500 #constraints=8860 113.56/113.69 c nbDecision=9000 #constraints=9331 131.76/131.81 c nbDecision=9500 #constraints=9829 154.55/154.64 c nbDecision=10000 #constraints=10327 182.95/183.03 c nbDecision=10500 #constraints=10829 207.64/207.75 c nbDecision=11000 #constraints=11316 238.33/238.45 c nbDecision=11500 #constraints=11814 264.92/265.05 c nbDecision=12000 #constraints=12296 304.01/304.15 c nbDecision=12500 #constraints=12790 329.21/329.36 c restart after 12801 decisions 345.70/345.89 c nbDecision=13000 #constraints=13247 368.79/368.96 c nbDecision=13500 #constraints=13720 411.88/412.01 c nbDecision=14000 #constraints=14220 450.37/450.56 c nbDecision=14500 #constraints=14694 487.57/487.77 c nbDecision=15000 #constraints=15176 539.75/539.95 c nbDecision=15500 #constraints=15670 582.24/582.47 c nbDecision=16000 #constraints=16153 611.73/611.95 c nbDecision=16500 #constraints=16596 657.62/657.86 c nbDecision=17000 #constraints=17090 698.71/698.97 c nbDecision=17500 #constraints=17569 752.80/753.05 c nbDecision=18000 #constraints=18061 812.48/812.74 c nbDecision=18500 #constraints=18552 858.47/858.79 c nbDecision=19000 #constraints=19032 921.25/921.51 c nbDecision=19500 #constraints=19504 974.74/975.01 c nbDecision=20000 #constraints=19978 1016.93/1017.25 c nbDecision=20500 #constraints=20460 1082.91/1083.28 c nbDecision=21000 #constraints=20962 1147.29/1147.65 c nbDecision=21500 #constraints=21463 1213.57/1213.92 c nbDecision=22000 #constraints=21955 1273.75/1274.12 c nbDecision=22500 #constraints=22433 1353.43/1353.80 c nbDecision=23000 #constraints=22934 1420.83/1421.24 c nbDecision=23500 #constraints=23407 1471.81/1472.23 c nbDecision=24000 #constraints=23872 1545.18/1545.68 c nbDecision=24500 #constraints=24372 1619.87/1620.37 c nbDecision=25000 #constraints=24867 1680.05/1680.55 c nbDecision=25500 #constraints=25341 1696.95/1697.48 c restart after 25601 decisions 1747.94/1748.47 c nbDecision=26000 #constraints=25766 1800.03/1800.50 Received signal 15 1800.03/1800.54 1800.03/1800.54 s UNKNOWN 1800.03/1800.54 1800.03/1800.54 c user time= 1799.66 s 1800.03/1800.54 c system time= 0.414936 s 1800.03/1800.54 c wall clock time=1800.54
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb mv /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb.tmp /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-430315-1177993721 -o ROOT/results/node47/solver-430315-1177993721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430315-1177993721/instance-430315-1177993721.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: 1.12 1.03 1.00 3/77 1633 /proc/meminfo: memFree=1813400/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=1468 CPUtime=0 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 154217477 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 367 176 132 317 0 46 0 [startup+0.0677391 s] /proc/loadavg: 1.12 1.03 1.00 3/77 1633 /proc/meminfo: memFree=1813400/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=1860 CPUtime=0.06 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 282 0 0 0 6 0 0 0 18 0 1 0 154217477 1904640 265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 465 265 139 317 0 144 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1860 [startup+0.101742 s] /proc/loadavg: 1.12 1.03 1.00 3/77 1633 /proc/meminfo: memFree=1813400/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=1992 CPUtime=0.09 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 300 0 0 0 9 0 0 0 18 0 1 0 154217477 2039808 283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 498 283 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301765 s] /proc/loadavg: 1.12 1.03 1.00 3/77 1633 /proc/meminfo: memFree=1813400/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=2380 CPUtime=0.29 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 406 0 0 0 29 0 0 0 19 0 1 0 154217477 2437120 389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 595 389 139 317 0 274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2380 [startup+0.701807 s] /proc/loadavg: 1.12 1.03 1.00 3/77 1633 /proc/meminfo: memFree=1813400/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=3032 CPUtime=0.69 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 581 0 0 0 69 0 0 0 23 0 1 0 154217477 3104768 564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 758 564 139 317 0 437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3032 [startup+1.50289 s] /proc/loadavg: 1.12 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1811152/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=4340 CPUtime=1.49 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 899 0 0 0 149 0 0 0 25 0 1 0 154217477 4444160 882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 1085 882 139 317 0 764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4340 [startup+3.10107 s] /proc/loadavg: 1.11 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1809168/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=6696 CPUtime=3.09 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 1475 0 0 0 308 1 0 0 25 0 1 0 154217477 6856704 1458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 1674 1458 139 317 0 1353 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6696 [startup+6.30141 s] /proc/loadavg: 1.11 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1805024/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=11796 CPUtime=6.29 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 2746 0 0 0 627 2 0 0 25 0 1 0 154217477 12079104 2729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 2949 2729 139 317 0 2628 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11796 [startup+12.7011 s] /proc/loadavg: 1.10 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1797472/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=17476 CPUtime=12.68 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 4148 0 0 0 1265 3 0 0 25 0 1 0 154217477 17895424 4131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 4369 4131 139 317 0 4048 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17476 [startup+25.5015 s] /proc/loadavg: 1.08 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1792608/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=22260 CPUtime=25.48 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 5282 0 0 0 2544 4 0 0 25 0 1 0 154217477 22794240 5265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 5565 5265 139 317 0 5244 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22260 [startup+51.1013 s] /proc/loadavg: 1.05 1.02 1.00 2/78 1634 /proc/meminfo: memFree=1784416/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=30420 CPUtime=51.08 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 7322 0 0 0 5101 7 0 0 25 0 1 0 154217477 31150080 7305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 7605 7305 139 317 0 7284 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30420 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/78 1634 /proc/meminfo: memFree=1775264/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=40064 CPUtime=102.26 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 9666 0 0 0 10217 9 0 0 25 0 1 0 154217477 41025536 9591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 10016 9591 170 317 0 9695 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40064 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1634 /proc/meminfo: memFree=1768480/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=46928 CPUtime=162.25 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 11365 0 0 0 16214 11 0 0 25 0 1 0 154217477 48054272 11290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 11732 11290 170 317 0 11411 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46928 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1634 /proc/meminfo: memFree=1763616/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=52308 CPUtime=222.23 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 12551 0 0 0 22210 13 0 0 25 0 1 0 154217477 53563392 12476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 13077 12476 170 317 0 12756 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 52308 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1759328/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=56932 CPUtime=282.22 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 13631 0 0 0 28207 15 0 0 25 0 1 0 154217477 58298368 13556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 14233 13556 170 317 0 13912 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 56932 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1756320/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=59868 CPUtime=342.2 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 14367 0 0 0 34204 16 0 0 25 0 1 0 154217477 61304832 14292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 14967 14292 170 317 0 14646 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59868 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1751904/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=64864 CPUtime=402.19 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 15487 0 0 0 40202 17 0 0 25 0 1 0 154217477 66420736 15412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 16216 15412 170 317 0 15895 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 64864 [startup+462.302 s] /proc/loadavg: 1.03 1.01 1.00 2/78 1634 /proc/meminfo: memFree=1748512/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=68248 CPUtime=462.17 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 16315 0 0 0 46199 18 0 0 25 0 1 0 154217477 69885952 16240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 17062 16240 170 317 0 16741 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 68248 [startup+522.301 s] /proc/loadavg: 1.12 1.04 1.01 2/78 1634 /proc/meminfo: memFree=1745632/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=70956 CPUtime=522.15 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 17035 0 0 0 52196 19 0 0 25 0 1 0 154217477 72658944 16960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 17739 16960 170 317 0 17418 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 70956 [startup+582.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 1634 /proc/meminfo: memFree=1742880/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=73700 CPUtime=582.13 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 17717 0 0 0 58193 20 0 0 25 0 1 0 154217477 75468800 17642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 18425 17642 170 317 0 18104 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 73700 [startup+642.301 s] /proc/loadavg: 1.10 1.05 1.00 2/78 1634 /proc/meminfo: memFree=1739360/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=77296 CPUtime=642.13 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 18695 0 0 0 64191 22 0 0 25 0 1 0 154217477 79151104 18506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 19324 18506 170 317 0 19003 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 77296 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.09 1.08 1.01 3/78 1634 /proc/meminfo: memFree=1728672/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=89360 CPUtime=882.06 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 21302 0 0 0 88180 26 0 0 25 0 1 0 154217477 91504640 21113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 22340 21113 170 317 0 22019 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 89360 [startup+942.302 s] /proc/loadavg: 1.09 1.08 1.01 2/78 1634 /proc/meminfo: memFree=1726752/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=91228 CPUtime=942.05 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 21774 0 0 0 94178 27 0 0 25 0 1 0 154217477 93417472 21585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 22807 21585 170 317 0 22486 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 91228 [startup+1002.3 s] /proc/loadavg: 1.03 1.06 1.01 2/78 1634 /proc/meminfo: memFree=1724064/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=94104 CPUtime=1002.03 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 22449 0 0 0 100174 29 0 0 25 0 1 0 154217477 96362496 22260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 23526 22260 170 317 0 23205 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 94104 [startup+1062.3 s] /proc/loadavg: 1.01 1.05 1.00 2/78 1634 /proc/meminfo: memFree=1721888/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=96772 CPUtime=1062.02 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 23075 0 0 0 106172 30 0 0 25 0 1 0 154217477 99094528 22820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 24193 22820 170 317 0 23872 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 96772 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.00 2/78 1634 /proc/meminfo: memFree=1719904/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=99004 CPUtime=1122 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 23588 0 0 0 112170 30 0 0 25 0 1 0 154217477 101380096 23300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 24751 23300 170 317 0 24430 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 99004 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 1634 /proc/meminfo: memFree=1717792/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=101624 CPUtime=1181.99 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 24205 0 0 0 118167 32 0 0 25 0 1 0 154217477 104062976 23818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 25406 23818 170 317 0 25085 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 101624 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1634 /proc/meminfo: memFree=1715936/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=103512 CPUtime=1241.97 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 24689 0 0 0 124164 33 0 0 25 0 1 0 154217477 105996288 24269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 25878 24269 170 317 0 25557 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 103512 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1634 /proc/meminfo: memFree=1713632/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=105476 CPUtime=1301.96 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 25246 0 0 0 130162 34 0 0 25 0 1 0 154217477 108007424 24826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 26369 24826 170 317 0 26048 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 105476 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1634 /proc/meminfo: memFree=1711648/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=107644 CPUtime=1361.94 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 25711 0 0 0 136159 35 0 0 25 0 1 0 154217477 110227456 25291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 26911 25291 170 317 0 26590 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 107644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1709728/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=109504 CPUtime=1421.93 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 26219 0 0 0 142157 36 0 0 25 0 1 0 154217477 112132096 25766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 27376 25766 170 317 0 27055 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 109504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1707680/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=111644 CPUtime=1481.9 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 26725 0 0 0 148154 36 0 0 25 0 1 0 154217477 114323456 26272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 27911 26272 170 317 0 27590 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 111644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1705824/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=113720 CPUtime=1541.89 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 27276 0 0 0 154152 37 0 0 25 0 1 0 154217477 116449280 26724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 28430 26724 170 317 0 28109 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 113720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1704224/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=115284 CPUtime=1601.87 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 27667 0 0 0 160149 38 0 0 25 0 1 0 154217477 118050816 27115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 28821 27115 170 317 0 28500 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 115284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1701984/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=117616 CPUtime=1661.86 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 28221 0 0 0 166147 39 0 0 25 0 1 0 154217477 120438784 27669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718522 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 29404 27669 170 317 0 29083 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 117616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1699936/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=119844 CPUtime=1721.84 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 28773 0 0 0 172144 40 0 0 25 0 1 0 154217477 122720256 28188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 29961 28188 170 317 0 29640 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 119844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1699040/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=120496 CPUtime=1781.83 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 28955 0 0 0 178142 41 0 0 25 0 1 0 154217477 123387904 28370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 30124 28370 170 317 0 29803 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 120496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1698848/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=120752 CPUtime=1800.03 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 29003 0 0 0 179962 41 0 0 25 0 1 0 154217477 123650048 28418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 30188 28418 170 317 0 29867 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 120752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1634 /proc/meminfo: memFree=1698848/2055920 swapFree=4157776/4192956 [pid=1633] ppid=1631 vsize=120752 CPUtime=1800.03 /proc/1633/stat : 1633 (oree) R 1631 1633 1324 0 -1 4194304 29003 0 0 0 179962 41 0 0 25 0 1 0 154217477 123650048 28418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1633/statm: 30188 28418 170 317 0 29867 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 120752 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.1 CPU user time (s): 1799.67 CPU system time (s): 0.434933 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 120752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.434933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29019 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= 10641 runsolver used 1.59576 second user time and 4.35034 second system time The end
Begin job on node47 on Tue May 1 04:28:41 UTC 2007 IDJOB= 430315 IDBENCH= 47971 IDSOLVER= 172 FILE ID= node47/430315-1177993721 PBS_JOBID= 4728258 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= oree /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-430315-1177993721 -o ROOT/results/node47/conversion-430315-1177993721 -C 600 -M 1800 /tmp/evaluation/430315-1177993721/substituteSizeProductKeyword /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-430315-1177993721 -o ROOT/results/node47/solver-430315-1177993721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430315-1177993721/instance-430315-1177993721.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED= 766503940 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1813808 kB Buffers: 22276 kB Cached: 138568 kB SwapCached: 3444 kB Active: 68304 kB Inactive: 115864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813808 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 30284 kB Slab: 43436 kB Committed_AS: 4097776 kB PageTables: 1776 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= 66563 MiB End job on node47 on Tue May 1 04:58:44 UTC 2007