Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.78 | 1801.29 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=257-P1=97-P2=149-B.opb |
MD5SUM | 67e6ddc28ca754c7106cfc653b1e11ec |
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.048991 |
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 | 48 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 128 |
Sum of products size (including duplicates) | 256 |
Number of different products | 128 |
Sum of products size | 256 |
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=176 #constraints=264 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.29/0.35 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=681 0.89/0.92 c restart after 801 decisions 1.29/1.30 c nbDecision=1000 #constraints=1147 2.49/2.50 c nbDecision=1500 #constraints=1633 2.79/2.85 c restart after 1601 decisions 4.49/4.58 c nbDecision=2000 #constraints=2096 7.70/7.79 c nbDecision=2500 #constraints=2567 12.19/12.27 c nbDecision=3000 #constraints=3051 14.09/14.20 c restart after 3201 decisions 18.39/18.43 c nbDecision=3500 #constraints=3525 24.08/24.19 c nbDecision=4000 #constraints=3973 32.99/33.05 c nbDecision=4500 #constraints=4450 40.98/41.07 c nbDecision=5000 #constraints=4919 49.28/49.30 c nbDecision=5500 #constraints=5378 62.07/62.14 c nbDecision=6000 #constraints=5860 75.87/75.96 c restart after 6401 decisions 77.27/77.34 c nbDecision=6500 #constraints=6335 94.47/94.57 c nbDecision=7000 #constraints=6814 110.96/111.06 c nbDecision=7500 #constraints=7286 129.46/129.57 c nbDecision=8000 #constraints=7769 147.75/147.81 c nbDecision=8500 #constraints=8257 168.35/168.43 c nbDecision=9000 #constraints=8735 184.84/184.99 c nbDecision=9500 #constraints=9189 203.85/203.90 c nbDecision=10000 #constraints=9630 222.53/222.61 c nbDecision=10500 #constraints=10079 237.64/237.76 c nbDecision=11000 #constraints=10515 273.12/273.23 c nbDecision=11500 #constraints=10998 297.31/297.43 c nbDecision=12000 #constraints=11471 326.50/326.65 c nbDecision=12500 #constraints=11939 346.44/346.70 c restart after 12801 decisions 356.14/356.37 c nbDecision=13000 #constraints=12380 386.42/386.61 c nbDecision=13500 #constraints=12863 420.71/420.90 c nbDecision=14000 #constraints=13338 450.90/451.19 c nbDecision=14500 #constraints=13805 485.49/485.74 c nbDecision=15000 #constraints=14274 507.08/507.32 c nbDecision=15500 #constraints=14732 537.78/538.02 c nbDecision=16000 #constraints=15207 576.37/576.65 c nbDecision=16500 #constraints=15657 632.96/633.23 c nbDecision=17000 #constraints=16138 673.24/673.53 c nbDecision=17500 #constraints=16617 709.04/709.32 c nbDecision=18000 #constraints=17078 751.63/751.96 c nbDecision=18500 #constraints=17531 806.71/807.05 c nbDecision=19000 #constraints=17993 852.41/852.78 c nbDecision=19500 #constraints=18461 896.99/897.33 c nbDecision=20000 #constraints=18934 956.38/956.78 c nbDecision=20500 #constraints=19413 1007.37/1007.75 c nbDecision=21000 #constraints=19888 1055.56/1055.93 c nbDecision=21500 #constraints=20362 1113.44/1113.83 c nbDecision=22000 #constraints=20829 1159.93/1160.34 c nbDecision=22500 #constraints=21316 1229.42/1229.80 c nbDecision=23000 #constraints=21791 1292.30/1292.76 c nbDecision=23500 #constraints=22264 1342.79/1343.25 c nbDecision=24000 #constraints=22721 1411.17/1411.62 c nbDecision=24500 #constraints=23202 1461.86/1462.36 c nbDecision=25000 #constraints=23659 1535.34/1535.80 c nbDecision=25500 #constraints=24129 1549.04/1549.52 c restart after 25601 decisions 1596.33/1596.82 c nbDecision=26000 #constraints=24589 1661.52/1662.00 c nbDecision=26500 #constraints=25075 1715.00/1715.54 c nbDecision=27000 #constraints=25559 1773.48/1774.01 c nbDecision=27500 #constraints=26006 1800.09/1800.60 Received signal 15 1800.68/1801.27 1800.68/1801.27 s UNKNOWN 1800.68/1801.27 1800.68/1801.27 c user time= 1800.51 s 1800.68/1801.27 c system time= 0.254961 s 1800.68/1801.27 c wall clock time=1801.27
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb mv /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb.tmp /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-430091-1177991745 -o ROOT/results/node65/solver-430091-1177991745 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.04 1.01 3/64 30305 /proc/meminfo: memFree=1786328/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=1468 CPUtime=0 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 275164120 1503232 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713887 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 367 184 139 317 0 46 0 [startup+0.014822 s] /proc/loadavg: 1.09 1.04 1.01 3/64 30305 /proc/meminfo: memFree=1786328/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=1612 CPUtime=0.01 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 211 0 0 0 1 0 0 0 18 0 1 0 275164120 1650688 194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 403 194 139 317 0 82 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1612 [startup+0.101829 s] /proc/loadavg: 1.09 1.04 1.01 3/64 30305 /proc/meminfo: memFree=1786328/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=2000 CPUtime=0.09 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 275164120 2048000 298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 500 298 139 317 0 179 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2000 [startup+0.301846 s] /proc/loadavg: 1.09 1.04 1.01 3/64 30305 /proc/meminfo: memFree=1786328/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=2776 CPUtime=0.29 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 525 0 0 0 29 0 0 0 19 0 1 0 275164120 2842624 508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 694 508 139 317 0 373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2776 [startup+0.701879 s] /proc/loadavg: 1.09 1.04 1.01 3/64 30305 /proc/meminfo: memFree=1786328/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=3952 CPUtime=0.69 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 820 0 0 0 69 0 0 0 22 0 1 0 275164120 4046848 803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 988 803 139 317 0 667 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3952 [startup+1.50195 s] /proc/loadavg: 1.09 1.04 1.01 2/65 30306 /proc/meminfo: memFree=1783120/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=5524 CPUtime=1.49 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 1182 0 0 0 149 0 0 0 25 0 1 0 275164120 5656576 1165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 1381 1165 139 317 0 1060 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5524 [startup+3.10108 s] /proc/loadavg: 1.08 1.04 1.01 2/65 30306 /proc/meminfo: memFree=1780816/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=7764 CPUtime=3.09 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 1748 0 0 0 309 0 0 0 25 0 1 0 275164120 7950336 1731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 1941 1731 139 317 0 1620 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7764 [startup+6.30134 s] /proc/loadavg: 1.08 1.04 1.01 2/65 30306 /proc/meminfo: memFree=1778064/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=9972 CPUtime=6.28 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 2329 0 0 0 628 0 0 0 25 0 1 0 275164120 10211328 2312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 2493 2312 170 317 0 2172 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9972 [startup+12.7019 s] /proc/loadavg: 1.07 1.03 1.01 2/65 30306 /proc/meminfo: memFree=1775008/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=12892 CPUtime=12.69 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 3023 0 0 0 1267 2 0 0 25 0 1 0 275164120 13201408 3006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 3223 3006 170 317 0 2902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12892 [startup+25.5019 s] /proc/loadavg: 1.06 1.03 1.00 2/65 30306 /proc/meminfo: memFree=1771296/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=16508 CPUtime=25.48 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 3917 0 0 0 2546 2 0 0 25 0 1 0 275164120 16904192 3900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 4127 3900 170 317 0 3806 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16508 [startup+51.1011 s] /proc/loadavg: 1.04 1.03 1.00 2/65 30306 /proc/meminfo: memFree=1765856/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=22396 CPUtime=51.08 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 5285 0 0 0 5105 3 0 0 25 0 1 0 275164120 22933504 5268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 5599 5268 170 317 0 5278 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22396 [startup+102.305 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30306 /proc/meminfo: memFree=1759968/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=28228 CPUtime=102.27 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 6757 0 0 0 10223 4 0 0 25 0 1 0 275164120 28905472 6740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 7057 6740 170 317 0 6736 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28228 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 30306 /proc/meminfo: memFree=1754400/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=34376 CPUtime=162.25 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 8206 0 0 0 16219 6 0 0 25 0 1 0 275164120 35201024 8132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 8594 8132 170 317 0 8273 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34376 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30306 /proc/meminfo: memFree=1748320/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=40928 CPUtime=222.23 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 9711 0 0 0 22216 7 0 0 25 0 1 0 275164120 41910272 9637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 10232 9637 170 317 0 9911 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 40928 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30306 /proc/meminfo: memFree=1744352/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=44972 CPUtime=282.22 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 10755 0 0 0 28214 8 0 0 25 0 1 0 275164120 46051328 10681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 11243 10681 170 317 0 10922 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44972 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/71 30444 /proc/meminfo: memFree=1739112/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=48740 CPUtime=342.16 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 11676 0 0 0 34205 11 0 0 25 0 1 0 275164120 49909760 11602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 12185 11602 170 317 0 11864 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 48740 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1736928/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=51892 CPUtime=402.11 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 12478 0 0 0 40199 12 0 0 25 0 1 0 275164120 53137408 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 12973 12404 170 317 0 12652 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 51892 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1734112/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=54712 CPUtime=462.09 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 13217 0 0 0 46196 13 0 0 25 0 1 0 275164120 56025088 13143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 13678 13143 170 317 0 13357 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 54712 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1729056/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=60584 CPUtime=522.09 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 14464 0 0 0 52194 15 0 0 25 0 1 0 275164120 62038016 14390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 15146 14390 170 317 0 14825 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 60584 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1726432/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=62852 CPUtime=582.07 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 15104 0 0 0 58192 15 0 0 25 0 1 0 275164120 64360448 15030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 15713 15030 170 317 0 15392 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 62852 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1724448/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=64704 CPUtime=642.06 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 15593 0 0 0 64190 16 0 0 25 0 1 0 275164120 66256896 15519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 16176 15519 170 317 0 15855 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 64704 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 3/65 30504 /proc/meminfo: memFree=1713248/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=77760 CPUtime=941.98 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 18520 0 0 0 94180 18 0 0 25 0 1 0 275164120 79626240 18333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 19440 18333 170 317 0 19119 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 77760 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1711264/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=79844 CPUtime=1001.97 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 19030 0 0 0 100178 19 0 0 25 0 1 0 275164120 81760256 18843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 19961 18843 170 317 0 19640 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 79844 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1709152/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=82196 CPUtime=1061.95 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 19549 0 0 0 106176 19 0 0 25 0 1 0 275164120 84168704 19362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 20549 19362 170 317 0 20228 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 82196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1707488/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=84068 CPUtime=1121.94 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 19958 0 0 0 112174 20 0 0 25 0 1 0 275164120 86085632 19771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 21017 19771 170 317 0 20696 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 84068 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1705248/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=86148 CPUtime=1181.93 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 20503 0 0 0 118173 20 0 0 25 0 1 0 275164120 88215552 20316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 21537 20316 170 317 0 21216 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 86148 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1703648/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=87840 CPUtime=1241.92 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 20909 0 0 0 124171 21 0 0 25 0 1 0 275164120 89948160 20722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 21960 20722 170 317 0 21639 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 87840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1701920/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=89652 CPUtime=1301.9 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 21335 0 0 0 130169 21 0 0 25 0 1 0 275164120 91803648 21148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 22413 21148 170 317 0 22092 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 89652 [startup+1362.3 s] /proc/loadavg: 1.12 1.03 1.01 2/65 30504 /proc/meminfo: memFree=1700064/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=91540 CPUtime=1361.88 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 21791 0 0 0 136167 21 0 0 25 0 1 0 275164120 93736960 21604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 22885 21604 170 317 0 22564 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 91540 [startup+1422.31 s] /proc/loadavg: 1.08 1.04 1.01 2/65 30504 /proc/meminfo: memFree=1698336/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=92972 CPUtime=1421.87 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 22224 0 0 0 142165 22 0 0 25 0 1 0 275164120 95203328 22037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 23243 22037 170 317 0 22922 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 92972 [startup+1482.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 30504 /proc/meminfo: memFree=1696672/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=94660 CPUtime=1481.85 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 22648 0 0 0 148163 22 0 0 25 0 1 0 275164120 96931840 22461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 23665 22461 170 317 0 23344 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 94660 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30504 /proc/meminfo: memFree=1695200/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=96104 CPUtime=1541.84 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 23022 0 0 0 154162 22 0 0 25 0 1 0 275164120 98410496 22835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 24026 22835 170 317 0 23705 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 96104 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 30504 /proc/meminfo: memFree=1693408/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=97704 CPUtime=1601.83 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 23470 0 0 0 160160 23 0 0 25 0 1 0 275164120 100048896 23283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 24426 23283 170 317 0 24105 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 97704 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30504 /proc/meminfo: memFree=1691808/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=99288 CPUtime=1661.82 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 23883 0 0 0 166158 24 0 0 25 0 1 0 275164120 101670912 23696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 24822 23696 170 317 0 24501 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 99288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1689760/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=101520 CPUtime=1721.8 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 24391 0 0 0 172156 24 0 0 25 0 1 0 275164120 103956480 24204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 25380 24204 170 317 0 25059 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 101520 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1686240/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=106796 CPUtime=1781.79 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 25254 0 0 0 178154 25 0 0 25 0 1 0 275164120 109359104 25067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 26699 25067 170 317 0 26378 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 106796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1685856/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=107192 CPUtime=1800.09 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 25353 0 0 0 179984 25 0 0 25 0 1 0 275164120 109764608 25166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 26798 25166 170 317 0 26477 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 107192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1685856/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=107192 CPUtime=1800.48 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 25354 0 0 0 180023 25 0 0 25 0 1 0 275164120 109764608 25167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 26798 25167 170 317 0 26477 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 107192 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30504 /proc/meminfo: memFree=1685856/2055920 swapFree=4184072/4192956 [pid=30305] ppid=30303 vsize=107192 CPUtime=1800.68 /proc/30305/stat : 30305 (oree) R 30303 30305 27543 0 -1 4194304 25354 0 0 0 180043 25 0 0 25 0 1 0 275164120 109764608 25167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30305/statm: 26798 25167 170 317 0 26477 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (KiB) 107192 Child status: 0 Real time (s): 1801.29 CPU time (s): 1800.78 CPU user time (s): 1800.51 CPU system time (s): 0.271958 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 107192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.51 system time used= 0.271958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25370 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= 1801 runsolver used 1.14183 second user time and 3.83542 second system time The end
Begin job on node65 on Tue May 1 03:55:45 UTC 2007 IDJOB= 430091 IDBENCH= 47955 IDSOLVER= 172 FILE ID= node65/430091-1177991745 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=8-P0=257-P1=97-P2=149-B.opb COMMAND LINE= oree /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-430091-1177991745 -o ROOT/results/node65/conversion-430091-1177991745 -C 600 -M 1800 /tmp/evaluation/430091-1177991745/substituteSizeProductKeyword /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-430091-1177991745 -o ROOT/results/node65/solver-430091-1177991745 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430091-1177991745/instance-430091-1177991745.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 67e6ddc28ca754c7106cfc653b1e11ec RANDOM SEED= 968228958 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: 1786800 kB Buffers: 25952 kB Cached: 165464 kB SwapCached: 2860 kB Active: 63284 kB Inactive: 138600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786800 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 1508 kB Writeback: 0 kB Mapped: 16488 kB Slab: 53160 kB Committed_AS: 2639708 kB PageTables: 1460 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 04:25:48 UTC 2007