Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.07 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb |
MD5SUM | 48d9b1801c3e1b4883cb62109d96eb3c |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.114982 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
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=486 #constraints=677 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.27 c restart after 401 decisions 0.29/0.33 c nbDecision=500 #constraints=1093 0.49/0.57 c restart after 801 decisions 0.69/0.73 c nbDecision=1000 #constraints=1540 1.09/1.11 c nbDecision=1500 #constraints=1998 1.09/1.19 c restart after 1601 decisions 1.49/1.57 c nbDecision=2000 #constraints=2425 1.99/2.09 c nbDecision=2500 #constraints=2869 2.89/2.90 c nbDecision=3000 #constraints=3309 3.19/3.26 c restart after 3201 decisions 3.59/3.65 c nbDecision=3500 #constraints=3723 5.09/5.15 c nbDecision=4000 #constraints=4174 7.59/7.67 c nbDecision=4500 #constraints=4632 9.79/9.85 c nbDecision=5000 #constraints=5103 13.98/14.00 c nbDecision=5500 #constraints=5573 18.39/18.41 c nbDecision=6000 #constraints=6023 23.89/23.97 c restart after 6401 decisions 24.19/24.25 c nbDecision=6500 #constraints=6492 28.88/28.95 c nbDecision=7000 #constraints=6957 39.58/39.64 c nbDecision=7500 #constraints=7435 49.28/49.31 c nbDecision=8000 #constraints=7882 61.17/61.28 c nbDecision=8500 #constraints=8367 72.68/72.79 c nbDecision=9000 #constraints=8835 88.27/88.38 c nbDecision=9500 #constraints=9305 104.97/105.01 c nbDecision=10000 #constraints=9756 125.16/125.28 c nbDecision=10500 #constraints=10226 144.45/144.54 c nbDecision=11000 #constraints=10681 166.74/166.84 c nbDecision=11500 #constraints=11126 190.55/190.62 c nbDecision=12000 #constraints=11600 217.34/217.46 c nbDecision=12500 #constraints=12067 234.33/234.47 c restart after 12801 decisions 235.24/235.37 c nbDecision=13000 #constraints=12513 261.32/261.41 c nbDecision=13500 #constraints=12990 290.81/290.98 c nbDecision=14000 #constraints=13469 322.71/322.83 c nbDecision=14500 #constraints=13921 352.70/352.86 c nbDecision=15000 #constraints=14344 392.29/392.40 c nbDecision=15500 #constraints=14837 427.18/427.34 c nbDecision=16000 #constraints=15286 461.47/461.64 c nbDecision=16500 #constraints=15728 499.56/499.71 c nbDecision=17000 #constraints=16209 544.26/544.43 c nbDecision=17500 #constraints=16695 584.64/584.80 c nbDecision=18000 #constraints=17143 631.43/631.60 c nbDecision=18500 #constraints=17608 678.51/678.78 c nbDecision=19000 #constraints=18088 700.21/700.46 c nbDecision=19500 #constraints=18511 750.80/751.02 c nbDecision=20000 #constraints=18977 797.18/797.46 c nbDecision=20500 #constraints=19454 843.27/843.56 c nbDecision=21000 #constraints=19905 895.36/895.65 c nbDecision=21500 #constraints=20380 954.14/954.41 c nbDecision=22000 #constraints=20868 999.04/999.37 c nbDecision=22500 #constraints=21345 1067.01/1067.32 c nbDecision=23000 #constraints=21839 1128.10/1128.41 c nbDecision=23500 #constraints=22317 1190.19/1190.57 c nbDecision=24000 #constraints=22786 1238.07/1238.44 c nbDecision=24500 #constraints=23271 1251.57/1251.98 c nbDecision=25000 #constraints=23751 1273.46/1273.84 c nbDecision=25500 #constraints=24219 1276.06/1276.49 c restart after 25601 decisions 1281.96/1282.34 c nbDecision=26000 #constraints=24655 1303.16/1303.54 c nbDecision=26500 #constraints=25103 1321.65/1322.06 c nbDecision=27000 #constraints=25563 1345.75/1346.12 c nbDecision=27500 #constraints=25989 1368.04/1368.45 c nbDecision=28000 #constraints=26463 1391.83/1392.24 c nbDecision=28500 #constraints=26928 1420.53/1420.91 c nbDecision=29000 #constraints=27398 1447.22/1447.64 c nbDecision=29500 #constraints=27874 1476.01/1476.42 c nbDecision=30000 #constraints=28331 1509.10/1509.54 c nbDecision=30500 #constraints=28768 1540.70/1541.17 c nbDecision=31000 #constraints=29233 1574.18/1574.64 c nbDecision=31500 #constraints=29646 1618.97/1619.42 c nbDecision=32000 #constraints=30140 1652.87/1653.33 c nbDecision=32500 #constraints=30635 1692.66/1693.14 c nbDecision=33000 #constraints=31102 1732.64/1733.16 c nbDecision=33500 #constraints=31549 1773.93/1774.48 c nbDecision=34000 #constraints=32041 1800.02/1800.50 Received signal 15 1800.02/1800.51 1800.02/1800.51 s UNKNOWN 1800.02/1800.51 1800.02/1800.51 c user time= 1799.88 s 1800.02/1800.51 c system time= 0.168974 s 1800.02/1800.51 c wall clock time=1800.52
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb mv /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb.tmp /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-429783-1177988692 -o ROOT/results/node65/solver-429783-1177988692 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429783-1177988692/instance-429783-1177988692.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/64 29820 /proc/meminfo: memFree=1787376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=1468 CPUtime=0 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 274858831 1503232 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 367 174 132 317 0 46 0 [startup+0.031192 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29820 /proc/meminfo: memFree=1787376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=1732 CPUtime=0.02 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 263 0 0 0 2 0 0 0 18 0 1 0 274858831 1773568 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 433 246 139 317 0 112 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1732 [startup+0.101183 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29820 /proc/meminfo: memFree=1787376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=1996 CPUtime=0.09 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 311 0 0 0 9 0 0 0 18 0 1 0 274858831 2043904 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 499 294 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.3012 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29820 /proc/meminfo: memFree=1787376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=2520 CPUtime=0.29 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 457 0 0 0 29 0 0 0 19 0 1 0 274858831 2580480 440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717796 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 630 440 139 317 0 309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2520 [startup+0.701232 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29820 /proc/meminfo: memFree=1787376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=3556 CPUtime=0.69 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 702 0 0 0 69 0 0 0 22 0 1 0 274858831 3641344 685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 889 685 139 317 0 568 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3556 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1784488/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=5456 CPUtime=1.49 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 1165 0 0 0 149 0 0 0 25 0 1 0 274858831 5586944 1148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 1364 1148 139 317 0 1043 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5456 [startup+3.10243 s] /proc/loadavg: 0.92 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1781864/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=8084 CPUtime=3.09 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 1862 0 0 0 309 0 0 0 25 0 1 0 274858831 8278016 1845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 2021 1845 170 317 0 1700 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8084 [startup+6.3017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1778664/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=10292 CPUtime=6.29 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 2405 0 0 0 629 0 0 0 25 0 1 0 274858831 10539008 2388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 2573 2388 170 317 0 2252 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10292 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1775920/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=12828 CPUtime=12.68 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 3017 0 0 0 1267 1 0 0 25 0 1 0 274858831 13135872 3000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 3207 3000 170 317 0 2886 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12828 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1772592/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=16052 CPUtime=25.48 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 3815 0 0 0 2546 2 0 0 25 0 1 0 274858831 16437248 3798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 4013 3798 170 317 0 3692 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16052 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1769712/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=19164 CPUtime=51.08 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 4535 0 0 0 5105 3 0 0 25 0 1 0 274858831 19623936 4518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 4791 4518 170 317 0 4470 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19164 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1765552/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=23368 CPUtime=102.27 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 5606 0 0 0 10223 4 0 0 25 0 1 0 274858831 23928832 5531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711000 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 5842 5531 170 317 0 5521 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23368 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1762544/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=26616 CPUtime=162.24 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 6355 0 0 0 16220 4 0 0 25 0 1 0 274858831 27254784 6280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 6654 6280 170 317 0 6333 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26616 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1759984/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=29236 CPUtime=222.24 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 6985 0 0 0 22219 5 0 0 25 0 1 0 274858831 29937664 6910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 7309 6910 170 317 0 6988 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29236 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1757296/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=31780 CPUtime=282.22 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 7648 0 0 0 28217 5 0 0 25 0 1 0 274858831 32542720 7573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 7945 7573 170 317 0 7624 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 31780 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1755376/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=33852 CPUtime=342.2 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 8128 0 0 0 34214 6 0 0 25 0 1 0 274858831 34664448 8053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 8463 8053 170 317 0 8142 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33852 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1753264/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=36276 CPUtime=402.18 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 8658 0 0 0 40212 6 0 0 25 0 1 0 274858831 37146624 8583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 9069 8583 170 317 0 8748 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 36276 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1751472/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=38204 CPUtime=462.17 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 9102 0 0 0 46211 6 0 0 25 0 1 0 274858831 39120896 9027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 9551 9027 170 317 0 9230 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 38204 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1749872/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=39820 CPUtime=522.15 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 9510 0 0 0 52209 6 0 0 25 0 1 0 274858831 40775680 9435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 9955 9435 170 317 0 9634 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 39820 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1748208/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=41876 CPUtime=582.14 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 10028 0 0 0 58207 7 0 0 25 0 1 0 274858831 42881024 9839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 10469 9839 170 317 0 10148 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 41876 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1746864/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=43464 CPUtime=642.13 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 10374 0 0 0 64206 7 0 0 25 0 1 0 274858831 44507136 10185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 10866 10185 170 317 0 10545 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 43464 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1740848/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=49892 CPUtime=882.06 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 11881 0 0 0 88197 9 0 0 25 0 1 0 274858831 51089408 11692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 12473 11692 170 317 0 12152 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 49892 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29821 /proc/meminfo: memFree=1739696/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=50932 CPUtime=942.05 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 12163 0 0 0 94196 9 0 0 25 0 1 0 274858831 52154368 11974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 12733 11974 170 317 0 12412 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 50932 [startup+1002.3 s] /proc/loadavg: 1.05 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1738288/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=52384 CPUtime=1002.03 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 12524 0 0 0 100193 10 0 0 25 0 1 0 274858831 53641216 12335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 13096 12335 170 317 0 12775 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 52384 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1737136/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=53428 CPUtime=1062.01 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 12806 0 0 0 106191 10 0 0 25 0 1 0 274858831 54710272 12617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 13357 12617 170 317 0 13036 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 53428 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 29821 /proc/meminfo: memFree=1735984/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=54680 CPUtime=1122 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 13115 0 0 0 112189 11 0 0 25 0 1 0 274858831 55992320 12893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 13670 12893 170 317 0 13349 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 54680 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 29821 /proc/meminfo: memFree=1734832/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=55744 CPUtime=1181.99 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 13394 0 0 0 118188 11 0 0 25 0 1 0 274858831 57081856 13172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 13936 13172 170 317 0 13615 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 55744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1733232/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=57324 CPUtime=1241.97 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 13807 0 0 0 124186 11 0 0 25 0 1 0 274858831 58699776 13585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 14331 13585 170 317 0 14010 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 57324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1729328/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=61312 CPUtime=1301.96 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 14771 0 0 0 130184 12 0 0 25 0 1 0 274858831 62783488 14549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 15328 14549 170 317 0 15007 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 61312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1726512/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=64264 CPUtime=1361.94 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 15517 0 0 0 136181 13 0 0 25 0 1 0 274858831 65806336 15262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 16066 15262 170 317 0 15745 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 64264 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1723824/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=66996 CPUtime=1421.93 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 16179 0 0 0 142179 14 0 0 25 0 1 0 274858831 68603904 15924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 16749 15924 170 317 0 16428 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 66996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1721648/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=69388 CPUtime=1481.9 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 16733 0 0 0 148176 14 0 0 25 0 1 0 274858831 71053312 16478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 17347 16478 170 317 0 17026 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 69388 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1719664/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=71392 CPUtime=1541.9 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 17210 0 0 0 154175 15 0 0 25 0 1 0 274858831 73105408 16955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 17848 16955 170 317 0 17527 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 71392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1717552/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=73804 CPUtime=1601.87 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 17746 0 0 0 160172 15 0 0 25 0 1 0 274858831 75575296 17491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 18451 17491 170 317 0 18130 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 73804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1715760/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=75620 CPUtime=1661.86 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 18194 0 0 0 166170 16 0 0 25 0 1 0 274858831 77434880 17939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 18905 17939 170 317 0 18584 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 75620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1714224/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=77096 CPUtime=1721.85 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 18572 0 0 0 172169 16 0 0 25 0 1 0 274858831 78946304 18317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 19274 18317 170 317 0 18953 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 77096 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1712624/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=78668 CPUtime=1781.83 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 18951 0 0 0 178167 16 0 0 25 0 1 0 274858831 80556032 18696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 19667 18696 170 317 0 19346 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 78668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29821 /proc/meminfo: memFree=1712176/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=79232 CPUtime=1800.02 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 19060 0 0 0 179986 16 0 0 25 0 1 0 274858831 81133568 18805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 19808 18805 170 317 0 19487 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 79232 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/65 29821 /proc/meminfo: memFree=1712176/2055920 swapFree=4184072/4192956 [pid=29820] ppid=29818 vsize=79232 CPUtime=1800.02 /proc/29820/stat : 29820 (oree) R 29818 29820 27543 0 -1 4194304 19060 0 0 0 179986 16 0 0 25 0 1 0 274858831 81133568 18805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29820/statm: 19808 18805 170 317 0 19487 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 79232 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.07 CPU user time (s): 1799.89 CPU system time (s): 0.180972 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 79232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.180972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19076 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= 3122 runsolver used 1.39179 second user time and 3.53446 second system time The end
Begin job on node65 on Tue May 1 03:04:52 UTC 2007 IDJOB= 429783 IDBENCH= 47933 IDSOLVER= 172 FILE ID= node65/429783-1177988692 PBS_JOBID= 4728193 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=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb COMMAND LINE= oree /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-429783-1177988692 -o ROOT/results/node65/conversion-429783-1177988692 -C 600 -M 1800 /tmp/evaluation/429783-1177988692/substituteSizeProductKeyword /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-429783-1177988692 -o ROOT/results/node65/solver-429783-1177988692 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429783-1177988692/instance-429783-1177988692.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 48d9b1801c3e1b4883cb62109d96eb3c RANDOM SEED= 573624771 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1787784 kB Buffers: 25360 kB Cached: 165308 kB SwapCached: 2860 kB Active: 62736 kB Inactive: 138288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787784 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 1316 kB Writeback: 0 kB Mapped: 16368 kB Slab: 53064 kB Committed_AS: 2638948 kB PageTables: 1456 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 node65 on Tue May 1 03:34:55 UTC 2007