Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb |
MD5SUM | 016a6113efb9500350327fbbc3111675 |
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.340947 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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.01 c ...done 0.00/0.01 c #vars=864 #constraints=1322 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.79/0.87 c restart after 401 decisions 1.00/1.08 c nbDecision=500 #constraints=1785 2.10/2.19 c restart after 801 decisions 2.59/2.66 c nbDecision=1000 #constraints=2253 3.89/3.90 c nbDecision=1500 #constraints=2744 4.09/4.13 c restart after 1601 decisions 5.39/5.49 c nbDecision=2000 #constraints=3204 6.69/6.75 c nbDecision=2500 #constraints=3694 7.89/7.95 c nbDecision=3000 #constraints=4187 8.58/8.66 c restart after 3201 decisions 10.38/10.40 c nbDecision=3500 #constraints=4658 12.87/12.95 c nbDecision=4000 #constraints=5146 16.56/16.60 c nbDecision=4500 #constraints=5643 22.07/22.17 c nbDecision=5000 #constraints=6144 28.86/28.97 c nbDecision=5500 #constraints=6633 31.26/31.39 c nbDecision=6000 #constraints=7133 34.07/34.13 c restart after 6401 decisions 34.76/34.84 c nbDecision=6500 #constraints=7603 44.76/44.86 c nbDecision=7000 #constraints=8090 53.36/53.45 c nbDecision=7500 #constraints=8570 56.45/56.55 c nbDecision=8000 #constraints=9072 58.06/58.15 c nbDecision=8500 #constraints=9546 58.86/58.94 c nbDecision=9000 #constraints=10025 60.55/60.69 c nbDecision=9500 #constraints=10504 63.55/63.66 c nbDecision=10000 #constraints=11002 68.15/68.20 c nbDecision=10500 #constraints=11502 74.95/75.03 c nbDecision=11000 #constraints=12002 84.85/84.95 c nbDecision=11500 #constraints=12499 92.25/92.37 c nbDecision=12000 #constraints=12987 103.94/104.06 c nbDecision=12500 #constraints=13475 111.94/112.09 c restart after 12801 decisions 116.24/116.30 c nbDecision=13000 #constraints=13909 129.54/129.60 c nbDecision=13500 #constraints=14399 137.23/137.33 c nbDecision=14000 #constraints=14901 144.73/144.85 c nbDecision=14500 #constraints=15361 151.73/151.82 c nbDecision=15000 #constraints=15805 171.23/171.39 c nbDecision=15500 #constraints=16305 192.91/193.06 c nbDecision=16000 #constraints=16808 214.71/214.85 c nbDecision=16500 #constraints=17306 237.60/237.75 c nbDecision=17000 #constraints=17803 263.29/263.46 c nbDecision=17500 #constraints=18302 292.79/292.94 c nbDecision=18000 #constraints=18803 317.19/317.37 c nbDecision=18500 #constraints=19280 338.78/338.99 c nbDecision=19000 #constraints=19748 380.67/380.87 c nbDecision=19500 #constraints=20246 422.56/422.75 c nbDecision=20000 #constraints=20732 448.85/449.02 c nbDecision=20500 #constraints=21213 479.94/480.12 c nbDecision=21000 #constraints=21683 523.73/523.93 c nbDecision=21500 #constraints=22163 572.82/573.06 c nbDecision=22000 #constraints=22659 607.30/607.57 c nbDecision=22500 #constraints=23143 647.80/648.08 c nbDecision=23000 #constraints=23622 694.88/695.13 c nbDecision=23500 #constraints=24124 723.68/723.94 c nbDecision=24000 #constraints=24585 791.06/791.33 c nbDecision=24500 #constraints=25082 848.05/848.35 c nbDecision=25000 #constraints=25584 905.82/906.13 c nbDecision=25500 #constraints=26077 917.73/918.05 c restart after 25601 decisions 925.12/925.41 c nbDecision=26000 #constraints=26494 929.92/930.28 c nbDecision=26500 #constraints=26995 935.02/935.35 c nbDecision=27000 #constraints=27495 984.50/984.88 c nbDecision=27500 #constraints=27962 1056.29/1056.69 c nbDecision=28000 #constraints=28435 1107.07/1107.50 c nbDecision=28500 #constraints=28925 1190.75/1191.14 c nbDecision=29000 #constraints=29421 1278.53/1278.99 c nbDecision=29500 #constraints=29919 1330.42/1330.81 c nbDecision=30000 #constraints=30404 1392.40/1392.81 c nbDecision=30500 #constraints=30884 1462.88/1463.35 c nbDecision=31000 #constraints=31371 1524.76/1525.27 c nbDecision=31500 #constraints=31837 1606.24/1606.78 c nbDecision=32000 #constraints=32317 1700.51/1701.05 c nbDecision=32500 #constraints=32812 1775.59/1776.19 c nbDecision=33000 #constraints=33262 1800.09/1800.60 Received signal 15 1800.09/1800.64 1800.09/1800.64 s UNKNOWN 1800.09/1800.64 1800.09/1800.64 c user time= 1799.69 s 1800.09/1800.64 c system time= 0.449931 s 1800.09/1800.64 c wall clock time=1800.64
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb mv /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb.tmp /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-430637-1177997341 -o ROOT/results/node72/solver-430637-1177997341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18731 /proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=1468 CPUtime=0 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 275772558 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 367 175 132 317 0 46 0 [startup+0.0182751 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18731 /proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=2128 CPUtime=0.01 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 334 0 0 0 1 0 0 0 18 0 1 0 275772558 2179072 317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 532 317 139 317 0 211 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2128 [startup+0.101283 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18731 /proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=2260 CPUtime=0.1 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 367 0 0 0 10 0 0 0 18 0 1 0 275772558 2314240 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 565 350 139 317 0 244 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2260 [startup+0.301302 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18731 /proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=2652 CPUtime=0.3 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 481 0 0 0 30 0 0 0 19 0 1 0 275772558 2715648 464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 663 464 139 317 0 342 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2652 [startup+0.701338 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18731 /proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=3432 CPUtime=0.69 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 673 0 0 0 69 0 0 0 23 0 1 0 275772558 3514368 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 858 656 139 317 0 537 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3432 [startup+1.50141 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18732 /proc/meminfo: memFree=1777112/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=4608 CPUtime=1.49 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 956 0 0 0 149 0 0 0 25 0 1 0 275772558 4718592 939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 1152 939 139 317 0 831 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4608 [startup+3.10156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18732 /proc/meminfo: memFree=1775640/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=6836 CPUtime=3.09 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 1532 0 0 0 309 0 0 0 25 0 1 0 275772558 7000064 1515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 1709 1515 139 317 0 1388 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6836 [startup+6.30285 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18732 /proc/meminfo: memFree=1770456/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=11840 CPUtime=6.29 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 2763 0 0 0 628 1 0 0 25 0 1 0 275772558 12124160 2746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 0 0 0 /proc/18731/statm: 2960 2746 139 317 0 2639 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11840 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18732 /proc/meminfo: memFree=1762016/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=19180 CPUtime=12.67 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 4589 0 0 0 1265 2 0 0 25 0 1 0 275772558 19640320 4572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 4795 4572 139 317 0 4474 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 19180 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.99 2/78 18732 /proc/meminfo: memFree=1755808/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=25264 CPUtime=25.47 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 6080 0 0 0 2544 3 0 0 25 0 1 0 275772558 25870336 6027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 6316 6027 139 317 0 5995 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 25264 [startup+51.1028 s] /proc/loadavg: 1.02 1.00 1.00 2/78 18732 /proc/meminfo: memFree=1746976/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=34288 CPUtime=51.06 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 8301 0 0 0 5101 5 0 0 25 0 1 0 275772558 35110912 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 8572 8248 139 317 0 8251 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 34288 [startup+102.305 s] /proc/loadavg: 1.07 1.02 1.00 2/78 18732 /proc/meminfo: memFree=1723744/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=57884 CPUtime=102.25 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 14112 0 0 0 10215 10 0 0 25 0 1 0 275772558 59273216 13988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 14471 13988 139 317 0 14150 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 57884 [startup+162.303 s] /proc/loadavg: 1.06 1.03 1.00 2/78 18732 /proc/meminfo: memFree=1711840/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=70300 CPUtime=162.23 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 17122 0 0 0 16209 14 0 0 25 0 1 0 275772558 71987200 16998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 17575 16998 170 317 0 17254 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 70300 [startup+222.303 s] /proc/loadavg: 1.02 1.02 1.00 2/78 18732 /proc/meminfo: memFree=1705568/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=76564 CPUtime=222.22 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 18663 0 0 0 22206 16 0 0 25 0 1 0 275772558 78401536 18539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 19141 18539 170 317 0 18820 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76564 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18732 /proc/meminfo: memFree=1700256/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=82536 CPUtime=282.2 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 19993 0 0 0 28202 18 0 0 25 0 1 0 275772558 84516864 19869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 20634 19869 170 317 0 20313 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 82536 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 3/78 18734 /proc/meminfo: memFree=1695008/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=87512 CPUtime=342.18 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 21264 0 0 0 34199 19 0 0 25 0 1 0 275772558 89612288 21140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 21878 21140 170 317 0 21557 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 87512 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1691744/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=90772 CPUtime=402.16 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 22083 0 0 0 40195 21 0 0 25 0 1 0 275772558 92950528 21959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 22693 21959 170 317 0 22372 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 90772 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1687200/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=96596 CPUtime=462.15 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 23365 0 0 0 46193 22 0 0 25 0 1 0 275772558 98914304 23100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 24149 23100 170 317 0 23828 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 96596 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1684448/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=99532 CPUtime=522.13 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 24057 0 0 0 52190 23 0 0 25 0 1 0 275772558 101920768 23792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 24883 23792 170 317 0 24562 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 99532 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1681760/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=102064 CPUtime=582.11 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 24720 0 0 0 58187 24 0 0 25 0 1 0 275772558 104513536 24455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 25516 24455 170 317 0 25195 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 102064 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1677600/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=106544 CPUtime=642.11 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 25752 0 0 0 64185 26 0 0 25 0 1 0 275772558 109101056 25487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 26636 25487 170 317 0 26315 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 106544 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1669920/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=114736 CPUtime=822.05 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 27663 0 0 0 82177 28 0 0 25 0 1 0 275772558 117489664 27398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 28684 27398 170 317 0 28363 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 114736 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1667744/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=117100 CPUtime=882.03 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 28199 0 0 0 88174 29 0 0 25 0 1 0 275772558 119910400 27934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 29275 27934 170 317 0 28954 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 117100 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1660128/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=125280 CPUtime=942.02 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 30124 0 0 0 94171 31 0 0 25 0 1 0 275772558 128286720 29859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 31320 29859 170 317 0 30999 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 125280 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1657760/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=127652 CPUtime=1002 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 30672 0 0 0 100169 31 0 0 25 0 1 0 275772558 130715648 30407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 31913 30407 170 317 0 31592 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 127652 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1655712/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=129740 CPUtime=1061.99 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 31185 0 0 0 106166 33 0 0 25 0 1 0 275772558 132853760 30920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 32435 30920 170 317 0 32114 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 129740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1653920/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=131444 CPUtime=1121.97 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 31624 0 0 0 112163 34 0 0 25 0 1 0 275772558 134598656 31359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 32861 31359 170 317 0 32540 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 131444 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1652320/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=133084 CPUtime=1181.96 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 32040 0 0 0 118161 35 0 0 25 0 1 0 275772558 136278016 31775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 33271 31775 170 317 0 32950 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 133084 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1650720/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=134652 CPUtime=1241.94 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 32410 0 0 0 124158 36 0 0 25 0 1 0 275772558 137883648 32145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 33663 32145 170 317 0 33342 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 134652 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1648288/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=136956 CPUtime=1301.93 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33005 0 0 0 130156 37 0 0 25 0 1 0 275772558 140242944 32740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 34239 32740 170 317 0 33918 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 136956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1646304/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=138800 CPUtime=1361.91 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33487 0 0 0 136153 38 0 0 25 0 1 0 275772558 142131200 33222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 34700 33222 170 317 0 34379 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 138800 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1644320/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=140760 CPUtime=1421.89 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33964 0 0 0 142151 38 0 0 25 0 1 0 275772558 144138240 33699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 35190 33699 170 317 0 34869 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 140760 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1642272/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=143008 CPUtime=1481.87 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 34506 0 0 0 148148 39 0 0 25 0 1 0 275772558 146440192 34208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 35752 34208 170 317 0 35431 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 143008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1640800/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=144828 CPUtime=1541.85 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 34994 0 0 0 154145 40 0 0 25 0 1 0 275772558 148303872 34597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 36207 34597 170 317 0 35886 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 144828 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1639072/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=146848 CPUtime=1601.84 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 35416 0 0 0 160142 42 0 0 25 0 1 0 275772558 150372352 35019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 36712 35019 170 317 0 36391 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 146848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1637856/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=148544 CPUtime=1661.82 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 35800 0 0 0 166140 42 0 0 25 0 1 0 275772558 152109056 35304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 37136 35304 170 317 0 36815 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 148544 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1636384/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=150112 CPUtime=1721.81 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36208 0 0 0 172138 43 0 0 25 0 1 0 275772558 153714688 35679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 37528 35679 170 317 0 37207 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 150112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1634912/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=151552 CPUtime=1781.79 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36585 0 0 0 178135 44 0 0 25 0 1 0 275772558 155189248 36056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 37888 36056 170 317 0 37567 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 151552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18734 /proc/meminfo: memFree=1634400/2055920 swapFree=4157100/4192956 [pid=18731] ppid=18729 vsize=152076 CPUtime=1800.09 /proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36706 0 0 0 179965 44 0 0 25 0 1 0 275772558 155725824 36177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18731/statm: 38019 36177 170 317 0 37698 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 152076 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.67 CPU time (s): 1800.17 CPU user time (s): 1799.69 CPU system time (s): 0.474927 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 152076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.474927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36722 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= 2061 runsolver used 1.57976 second user time and 4.45832 second system time The end
Begin job on node72 on Tue May 1 05:29:01 UTC 2007 IDJOB= 430637 IDBENCH= 47994 IDSOLVER= 172 FILE ID= node72/430637-1177997341 PBS_JOBID= 4728255 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=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb COMMAND LINE= oree /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-430637-1177997341 -o ROOT/results/node72/conversion-430637-1177997341 -C 600 -M 1800 /tmp/evaluation/430637-1177997341/substituteSizeProductKeyword /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-430637-1177997341 -o ROOT/results/node72/solver-430637-1177997341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 016a6113efb9500350327fbbc3111675 RANDOM SEED= 599565369 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1780024 kB Buffers: 37380 kB Cached: 152160 kB SwapCached: 16772 kB Active: 73556 kB Inactive: 139260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780024 kB SwapTotal: 4192956 kB SwapFree: 4157100 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 30080 kB Slab: 48620 kB Committed_AS: 3456712 kB PageTables: 1792 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 node72 on Tue May 1 05:59:04 UTC 2007