Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb |
MD5SUM | daba014eb092fb7e1b2012524271e492 |
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.076988 |
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 | 108 |
Total number of constraints | 13 |
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 | 13 |
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) | 216 |
Sum of products size (including duplicates) | 432 |
Number of different products | 216 |
Sum of products size | 432 |
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=324 #constraints=452 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.26 c restart after 401 decisions 0.29/0.32 c nbDecision=500 #constraints=869 0.39/0.49 c restart after 801 decisions 0.59/0.65 c nbDecision=1000 #constraints=1276 1.10/1.14 c nbDecision=1500 #constraints=1742 1.19/1.26 c restart after 1601 decisions 1.69/1.75 c nbDecision=2000 #constraints=2193 2.69/2.73 c nbDecision=2500 #constraints=2644 4.19/4.20 c nbDecision=3000 #constraints=3086 4.99/5.00 c restart after 3201 decisions 5.99/6.03 c nbDecision=3500 #constraints=3497 9.08/9.12 c nbDecision=4000 #constraints=3926 13.29/13.38 c nbDecision=4500 #constraints=4359 19.29/19.34 c nbDecision=5000 #constraints=4815 26.48/26.57 c nbDecision=5500 #constraints=5230 33.38/33.42 c nbDecision=6000 #constraints=5658 40.89/40.97 c restart after 6401 decisions 41.18/41.27 c nbDecision=6500 #constraints=6079 52.58/52.69 c nbDecision=7000 #constraints=6516 59.47/59.51 c nbDecision=7500 #constraints=6950 73.27/73.37 c nbDecision=8000 #constraints=7415 89.37/89.48 c nbDecision=8500 #constraints=7890 104.06/104.14 c nbDecision=9000 #constraints=8329 120.87/120.95 c nbDecision=9500 #constraints=8759 136.76/136.82 c nbDecision=10000 #constraints=9220 152.35/152.49 c nbDecision=10500 #constraints=9641 170.36/170.45 c nbDecision=11000 #constraints=10069 191.74/191.81 c nbDecision=11500 #constraints=10481 210.04/210.12 c nbDecision=12000 #constraints=10932 230.73/230.84 c nbDecision=12500 #constraints=11370 246.53/246.66 c restart after 12801 decisions 249.73/249.90 c nbDecision=13000 #constraints=11815 279.91/280.01 c nbDecision=13500 #constraints=12287 312.81/312.97 c nbDecision=14000 #constraints=12768 347.20/347.34 c nbDecision=14500 #constraints=13236 367.60/367.75 c nbDecision=15000 #constraints=13659 380.99/381.14 c nbDecision=15500 #constraints=14112 416.59/416.78 c nbDecision=16000 #constraints=14563 432.18/432.31 c nbDecision=16500 #constraints=14993 444.97/445.17 c nbDecision=17000 #constraints=15458 463.47/463.67 c nbDecision=17500 #constraints=15940 482.67/482.86 c nbDecision=18000 #constraints=16403 500.96/501.10 c nbDecision=18500 #constraints=16853 522.95/523.11 c nbDecision=19000 #constraints=17327 546.45/546.69 c nbDecision=19500 #constraints=17788 569.14/569.34 c nbDecision=20000 #constraints=18249 595.84/596.06 c nbDecision=20500 #constraints=18696 615.03/615.24 c nbDecision=21000 #constraints=19148 644.72/644.94 c nbDecision=21500 #constraints=19634 675.92/676.15 c nbDecision=22000 #constraints=20103 705.21/705.44 c nbDecision=22500 #constraints=20596 734.90/735.12 c nbDecision=23000 #constraints=21078 768.20/768.43 c nbDecision=23500 #constraints=21566 798.29/798.57 c nbDecision=24000 #constraints=21974 833.48/833.79 c nbDecision=24500 #constraints=22422 876.86/877.15 c nbDecision=25000 #constraints=22908 921.55/921.81 c nbDecision=25500 #constraints=23396 930.45/930.73 c restart after 25601 decisions 964.84/965.12 c nbDecision=26000 #constraints=23835 1004.33/1004.68 c nbDecision=26500 #constraints=24238 1043.32/1043.69 c nbDecision=27000 #constraints=24627 1085.41/1085.77 c nbDecision=27500 #constraints=25054 1129.19/1129.51 c nbDecision=28000 #constraints=25482 1185.08/1185.41 c nbDecision=28500 #constraints=25942 1236.97/1237.30 c nbDecision=29000 #constraints=26360 1285.15/1285.51 c nbDecision=29500 #constraints=26772 1341.15/1341.55 c nbDecision=30000 #constraints=27210 1394.22/1394.64 c nbDecision=30500 #constraints=27613 1451.01/1451.44 c nbDecision=31000 #constraints=28083 1503.40/1503.89 c nbDecision=31500 #constraints=28524 1566.28/1566.70 c nbDecision=32000 #constraints=28968 1623.77/1624.29 c nbDecision=32500 #constraints=29431 1684.25/1684.74 c nbDecision=33000 #constraints=29892 1736.64/1737.16 c nbDecision=33500 #constraints=30295 1786.62/1787.18 c nbDecision=34000 #constraints=30684 1800.02/1800.50 Received signal 15 1800.13/1800.66 1800.13/1800.66 s UNKNOWN 1800.13/1800.66 1800.13/1800.66 c user time= 1799.9 s 1800.13/1800.66 c system time= 0.299954 s 1800.13/1800.66 c wall clock time=1800.66
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb mv /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb.tmp /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-429937-1177989892 -o ROOT/results/node47/solver-429937-1177989892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.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.99 1.00 1.00 2/77 828 /proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=1468 CPUtime=0 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 153834533 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 402 182 136 317 0 81 0 [startup+0.0314331 s] /proc/loadavg: 0.99 1.00 1.00 2/77 828 /proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=1736 CPUtime=0.02 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 240 0 0 0 2 0 0 0 18 0 1 0 153834533 1777664 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 434 223 139 317 0 113 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1736 [startup+0.101441 s] /proc/loadavg: 0.99 1.00 1.00 2/77 828 /proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=1868 CPUtime=0.09 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 288 0 0 0 9 0 0 0 18 0 1 0 153834533 1912832 271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 467 271 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.301461 s] /proc/loadavg: 0.99 1.00 1.00 2/77 828 /proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=2516 CPUtime=0.29 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 442 0 0 0 29 0 0 0 19 0 1 0 153834533 2576384 425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 629 425 139 317 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2516 [startup+0.701505 s] /proc/loadavg: 0.99 1.00 1.00 2/77 828 /proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=3572 CPUtime=0.69 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 745 0 0 0 69 0 0 0 23 0 1 0 153834533 3657728 728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 893 728 170 317 0 572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3572 [startup+1.50159 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1813056/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=5272 CPUtime=1.49 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 1169 0 0 0 149 0 0 0 25 0 1 0 153834533 5398528 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 1318 1152 170 317 0 997 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5272 [startup+3.10176 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1811136/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=7084 CPUtime=3.09 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 1604 0 0 0 308 1 0 0 25 0 1 0 153834533 7254016 1587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 1771 1587 170 317 0 1450 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7084 [startup+6.30111 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1808768/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=9068 CPUtime=6.29 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 2105 0 0 0 628 1 0 0 25 0 1 0 153834533 9285632 2088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 2267 2088 170 317 0 1946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9068 [startup+12.7018 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1806408/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=11064 CPUtime=12.69 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 2584 0 0 0 1267 2 0 0 25 0 1 0 153834533 11329536 2567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563414 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 2766 2567 170 317 0 2445 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11064 [startup+25.5012 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1804040/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=13280 CPUtime=25.48 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 3132 0 0 0 2546 2 0 0 25 0 1 0 153834533 13598720 3115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 3320 3115 170 317 0 2999 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13280 [startup+51.102 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1800968/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=16608 CPUtime=51.08 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 3912 0 0 0 5105 3 0 0 25 0 1 0 153834533 17006592 3895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 4152 3895 170 317 0 3831 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16608 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1796360/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=21368 CPUtime=102.27 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 5052 0 0 0 10223 4 0 0 25 0 1 0 153834533 21880832 5035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 5342 5035 170 317 0 5021 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21368 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1792584/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=25688 CPUtime=162.24 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 6052 0 0 0 16219 5 0 0 25 0 1 0 153834533 26304512 5977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 6422 5977 170 317 0 6101 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25688 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1789384/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=28740 CPUtime=222.23 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 6838 0 0 0 22217 6 0 0 25 0 1 0 153834533 29429760 6763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 7185 6763 170 317 0 6864 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28740 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1786568/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=31408 CPUtime=282.21 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 7541 0 0 0 28214 7 0 0 25 0 1 0 153834533 32161792 7466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 7852 7466 170 317 0 7531 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 31408 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1784520/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=33516 CPUtime=342.2 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 8056 0 0 0 34212 8 0 0 25 0 1 0 153834533 34320384 7981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 8379 7981 170 317 0 8058 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33516 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1781320/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=36804 CPUtime=402.18 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 8828 0 0 0 40209 9 0 0 25 0 1 0 153834533 37687296 8753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 9201 8753 170 317 0 8880 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 36804 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1777672/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=40528 CPUtime=462.17 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 9741 0 0 0 46207 10 0 0 25 0 1 0 153834533 41500672 9666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 10132 9666 170 317 0 9811 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 40528 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1774344/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=44448 CPUtime=522.16 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 10709 0 0 0 52204 12 0 0 25 0 1 0 153834533 45514752 10520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 11112 10520 170 317 0 10791 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44448 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 829 /proc/meminfo: memFree=1771528/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=47256 CPUtime=582.13 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 11384 0 0 0 58200 13 0 0 25 0 1 0 153834533 48390144 11195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 11814 11195 170 317 0 11493 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 47256 [startup+642.302 s] /proc/loadavg: 1.06 1.01 1.00 2/78 829 /proc/meminfo: memFree=1768328/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=51196 CPUtime=642.12 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 12165 0 0 0 64198 14 0 0 25 0 1 0 153834533 52424704 11976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 12799 11976 170 317 0 12478 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 51196 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1760200/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=59256 CPUtime=882.06 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14143 0 0 0 88189 17 0 0 25 0 1 0 153834533 60678144 13954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 14814 13954 170 317 0 14493 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 59256 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1758792/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=60688 CPUtime=942.04 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14494 0 0 0 94186 18 0 0 25 0 1 0 153834533 62144512 14305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 15172 14305 170 317 0 14851 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 60688 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 829 /proc/meminfo: memFree=1757192/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=62212 CPUtime=1002.03 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14872 0 0 0 100184 19 0 0 25 0 1 0 153834533 63705088 14683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 15553 14683 170 317 0 15232 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 62212 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1755656/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=63820 CPUtime=1062.01 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15262 0 0 0 106181 20 0 0 25 0 1 0 153834533 65351680 15073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 15955 15073 170 317 0 15634 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 63820 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1754056/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=65528 CPUtime=1122 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15641 0 0 0 112179 21 0 0 25 0 1 0 153834533 67100672 15452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 16382 15452 170 317 0 16061 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 65528 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1752776/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=66968 CPUtime=1181.98 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15965 0 0 0 118176 22 0 0 25 0 1 0 153834533 68575232 15776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 16742 15776 170 317 0 16421 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 66968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1751368/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=68168 CPUtime=1241.97 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16277 0 0 0 124174 23 0 0 25 0 1 0 153834533 69804032 16088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 17042 16088 170 317 0 16721 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 68168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1750152/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=69336 CPUtime=1301.95 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16580 0 0 0 130172 23 0 0 25 0 1 0 153834533 71000064 16391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 17334 16391 170 317 0 17013 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 69336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1749000/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=70704 CPUtime=1361.94 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16864 0 0 0 136170 24 0 0 25 0 1 0 153834533 72400896 16675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 17676 16675 170 317 0 17355 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 70704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1747784/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=72012 CPUtime=1421.92 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17172 0 0 0 142167 25 0 0 25 0 1 0 153834533 73740288 16983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 18003 16983 170 317 0 17682 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 72012 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1746632/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=73324 CPUtime=1481.91 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17459 0 0 0 148165 26 0 0 25 0 1 0 153834533 75083776 17270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 18331 17270 170 317 0 18010 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 73324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1745480/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=74376 CPUtime=1541.89 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17739 0 0 0 154162 27 0 0 25 0 1 0 153834533 76161024 17550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 18594 17550 170 317 0 18273 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 74376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1744392/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=75560 CPUtime=1601.87 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18022 0 0 0 160160 27 0 0 25 0 1 0 153834533 77373440 17833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 18890 17833 170 317 0 18569 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 75560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1743240/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=76616 CPUtime=1661.86 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18290 0 0 0 166158 28 0 0 25 0 1 0 153834533 78454784 18101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 19154 18101 170 317 0 18833 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 76616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1742088/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=77668 CPUtime=1721.85 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18559 0 0 0 172156 29 0 0 25 0 1 0 153834533 79532032 18370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 19417 18370 170 317 0 19096 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 77668 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1740872/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=78764 CPUtime=1781.82 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18808 0 0 0 178153 29 0 0 25 0 1 0 153834533 80654336 18619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 19691 18619 170 317 0 19370 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 78764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 829 /proc/meminfo: memFree=1740552/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=79160 CPUtime=1800.02 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18889 0 0 0 179973 29 0 0 25 0 1 0 153834533 81059840 18700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 19790 18700 170 317 0 19469 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 79160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 830 /proc/meminfo: memFree=1740544/2055920 swapFree=4157776/4192956 [pid=828] ppid=826 vsize=79160 CPUtime=1800.13 /proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18891 0 0 0 179984 29 0 0 25 0 1 0 153834533 81059840 18702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/828/statm: 19790 18702 170 317 0 19469 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 79160 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.22 CPU user time (s): 1799.9 CPU system time (s): 0.313952 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 79160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.313952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18907 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= 3430 runsolver used 1.60176 second user time and 4.46332 second system time The end
Begin job on node47 on Tue May 1 03:24:52 UTC 2007 IDJOB= 429937 IDBENCH= 47944 IDSOLVER= 172 FILE ID= node47/429937-1177989892 PBS_JOBID= 4728167 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=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb COMMAND LINE= oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-429937-1177989892 -o ROOT/results/node47/conversion-429937-1177989892 -C 600 -M 1800 /tmp/evaluation/429937-1177989892/substituteSizeProductKeyword /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-429937-1177989892 -o ROOT/results/node47/solver-429937-1177989892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= daba014eb092fb7e1b2012524271e492 RANDOM SEED= 900361444 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: 1816480 kB Buffers: 19812 kB Cached: 137392 kB SwapCached: 3412 kB Active: 59456 kB Inactive: 121860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816480 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 31016 kB Slab: 43580 kB Committed_AS: 4087680 kB PageTables: 1780 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 03:54:54 UTC 2007