Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb |
MD5SUM | e79e2db14e141163591dbcfdfed7384a |
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.132979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=432 #constraints=662 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.69/0.78 c restart after 401 decisions 0.89/0.95 c nbDecision=500 #constraints=1090 1.79/1.89 c restart after 801 decisions 2.49/2.53 c nbDecision=1000 #constraints=1564 5.29/5.32 c nbDecision=1500 #constraints=2067 5.99/6.01 c restart after 1601 decisions 9.69/9.75 c nbDecision=2000 #constraints=2537 13.89/13.99 c nbDecision=2500 #constraints=3024 15.78/15.86 c nbDecision=3000 #constraints=3524 16.89/16.93 c restart after 3201 decisions 20.09/20.12 c nbDecision=3500 #constraints=3982 22.19/22.29 c nbDecision=4000 #constraints=4461 27.18/27.24 c nbDecision=4500 #constraints=4966 33.88/33.93 c nbDecision=5000 #constraints=5464 39.48/39.60 c nbDecision=5500 #constraints=5937 45.98/46.01 c nbDecision=6000 #constraints=6413 53.37/53.48 c restart after 6401 decisions 54.27/54.30 c nbDecision=6500 #constraints=6852 65.18/65.20 c nbDecision=7000 #constraints=7335 79.37/79.43 c nbDecision=7500 #constraints=7810 96.96/97.09 c nbDecision=8000 #constraints=8303 110.66/110.72 c nbDecision=8500 #constraints=8779 123.96/124.02 c nbDecision=9000 #constraints=9228 147.16/147.25 c nbDecision=9500 #constraints=9727 171.24/171.38 c nbDecision=10000 #constraints=10227 190.34/190.47 c nbDecision=10500 #constraints=10708 218.84/218.98 c nbDecision=11000 #constraints=11185 243.03/243.13 c nbDecision=11500 #constraints=11657 277.62/277.76 c nbDecision=12000 #constraints=12159 314.00/314.11 c nbDecision=12500 #constraints=12655 333.41/333.55 c restart after 12801 decisions 349.90/350.04 c nbDecision=13000 #constraints=13104 391.59/391.76 c nbDecision=13500 #constraints=13581 441.57/441.78 c nbDecision=14000 #constraints=14071 490.47/490.65 c nbDecision=14500 #constraints=14549 537.65/537.87 c nbDecision=15000 #constraints=15039 578.14/578.31 c nbDecision=15500 #constraints=15525 627.52/627.75 c nbDecision=16000 #constraints=16001 679.71/679.99 c nbDecision=16500 #constraints=16483 733.50/733.77 c nbDecision=17000 #constraints=16983 794.47/794.73 c nbDecision=17500 #constraints=17470 840.27/840.52 c nbDecision=18000 #constraints=17945 896.35/896.68 c nbDecision=18500 #constraints=18420 952.13/952.48 c nbDecision=19000 #constraints=18922 1013.32/1013.66 c nbDecision=19500 #constraints=19383 1088.50/1088.89 c nbDecision=20000 #constraints=19886 1159.98/1160.30 c nbDecision=20500 #constraints=20378 1231.26/1231.62 c nbDecision=21000 #constraints=20864 1290.34/1290.74 c nbDecision=21500 #constraints=21322 1347.63/1348.08 c nbDecision=22000 #constraints=21793 1386.82/1387.22 c nbDecision=22500 #constraints=22224 1464.89/1465.32 c nbDecision=23000 #constraints=22725 1517.88/1518.35 c nbDecision=23500 #constraints=23181 1566.98/1567.44 c nbDecision=24000 #constraints=23620 1634.95/1635.40 c nbDecision=24500 #constraints=24113 1696.44/1696.96 c nbDecision=25000 #constraints=24598 1773.61/1774.12 c nbDecision=25500 #constraints=25094 1783.31/1783.85 c restart after 25601 decisions 1794.01/1794.53 c nbDecision=26000 #constraints=25542 1800.01/1800.50 Received signal 15 1800.01/1800.54 1800.01/1800.54 s UNKNOWN 1800.01/1800.54 1800.01/1800.54 c user time= 1799.68 s 1800.01/1800.54 c system time= 0.373943 s 1800.01/1800.54 c wall clock time=1800.54
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb mv /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb.tmp /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-429867-1177989054 -o ROOT/results/node11/solver-429867-1177989054 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429867-1177989054/instance-429867-1177989054.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.91 0.95 0.90 3/77 19146 /proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=1468 CPUtime=0 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 239954345 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 367 175 132 317 0 46 0 [startup+0.044372 s] /proc/loadavg: 0.91 0.95 0.90 3/77 19146 /proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=1860 CPUtime=0.04 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 267 0 0 0 4 0 0 0 18 0 1 0 239954345 1904640 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 465 250 139 317 0 144 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1860 [startup+0.10238 s] /proc/loadavg: 0.91 0.95 0.90 3/77 19146 /proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=1860 CPUtime=0.1 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 295 0 0 0 10 0 0 0 18 0 1 0 239954345 1904640 278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272617 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 465 278 139 317 0 144 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1860 [startup+0.301403 s] /proc/loadavg: 0.91 0.95 0.90 3/77 19146 /proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=2248 CPUtime=0.29 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 392 0 0 0 29 0 0 0 19 0 1 0 239954345 2301952 375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 562 375 139 317 0 241 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2248 [startup+0.70245 s] /proc/loadavg: 0.91 0.95 0.90 3/77 19146 /proc/meminfo: memFree=1842344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=3164 CPUtime=0.69 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 622 0 0 0 69 0 0 0 22 0 1 0 239954345 3239936 605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 791 605 139 317 0 470 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3164 [startup+1.50154 s] /proc/loadavg: 0.91 0.95 0.90 2/78 19147 /proc/meminfo: memFree=1839904/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=4480 CPUtime=1.49 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 946 0 0 0 149 0 0 0 25 0 1 0 239954345 4587520 929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 1120 929 139 317 0 799 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4480 [startup+3.10173 s] /proc/loadavg: 0.91 0.95 0.90 2/78 19147 /proc/meminfo: memFree=1838176/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=6320 CPUtime=3.09 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 1402 0 0 0 308 1 0 0 25 0 1 0 239954345 6471680 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 1580 1385 139 317 0 1259 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6320 [startup+6.30111 s] /proc/loadavg: 0.92 0.95 0.90 2/78 19147 /proc/meminfo: memFree=1835168/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=8664 CPUtime=6.29 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 1989 0 0 0 628 1 0 0 25 0 1 0 239954345 8871936 1972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 2166 1972 139 317 0 1845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8664 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.90 2/78 19147 /proc/meminfo: memFree=1832288/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=11472 CPUtime=12.69 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 2641 0 0 0 1266 3 0 0 25 0 1 0 239954345 11747328 2624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 2868 2624 139 317 0 2547 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11472 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.91 2/78 19147 /proc/meminfo: memFree=1822816/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=20916 CPUtime=25.48 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 4972 0 0 0 2544 4 0 0 25 0 1 0 239954345 21417984 4955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 5229 4955 139 317 0 4908 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20916 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.91 3/78 19147 /proc/meminfo: memFree=1814048/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=30140 CPUtime=51.07 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 7180 0 0 0 5101 6 0 0 25 0 1 0 239954345 30863360 7163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 7535 7163 170 317 0 7214 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30140 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 19147 /proc/meminfo: memFree=1805344/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=39352 CPUtime=102.27 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 9380 0 0 0 10219 8 0 0 25 0 1 0 239954345 40296448 9305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 9838 9305 170 317 0 9517 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39352 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1798816/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=45676 CPUtime=162.25 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 10996 0 0 0 16215 10 0 0 25 0 1 0 239954345 46772224 10921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 11419 10921 170 317 0 11098 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45676 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1793376/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=51444 CPUtime=222.23 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 12336 0 0 0 22211 12 0 0 25 0 1 0 239954345 52678656 12261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 12861 12261 170 317 0 12540 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 51444 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1789280/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=55708 CPUtime=282.21 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 13377 0 0 0 28208 13 0 0 25 0 1 0 239954345 57044992 13302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 13927 13302 170 317 0 13606 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 55708 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1785696/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=59468 CPUtime=342.2 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 14239 0 0 0 34205 15 0 0 25 0 1 0 239954345 60895232 14164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 14867 14164 170 317 0 14546 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59468 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1782048/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=63780 CPUtime=402.18 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 15144 0 0 0 40202 16 0 0 25 0 1 0 239954345 65310720 15069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 15945 15069 170 317 0 15624 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 63780 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1779552/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=66456 CPUtime=462.17 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 15790 0 0 0 46200 17 0 0 25 0 1 0 239954345 68050944 15715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 16614 15715 170 317 0 16293 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 66456 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1776736/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=69152 CPUtime=522.15 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 16489 0 0 0 52198 17 0 0 25 0 1 0 239954345 70811648 16414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 17288 16414 170 317 0 16967 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 69152 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1773728/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=71984 CPUtime=582.14 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 17231 0 0 0 58195 19 0 0 25 0 1 0 239954345 73711616 17156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 17996 17156 170 317 0 17675 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 71984 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1771168/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=74492 CPUtime=642.12 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 17864 0 0 0 64193 19 0 0 25 0 1 0 239954345 76279808 17789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 18623 17789 170 317 0 18302 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 74492 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1761440/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=85528 CPUtime=882.05 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 20373 0 0 0 88183 22 0 0 25 0 1 0 239954345 87580672 20184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 21382 20184 170 317 0 21061 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 85528 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1759200/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=87660 CPUtime=942.04 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 20931 0 0 0 94180 24 0 0 25 0 1 0 239954345 89763840 20742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 21915 20742 170 317 0 21594 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 87660 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1757216/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=90356 CPUtime=1002.02 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 21473 0 0 0 100177 25 0 0 25 0 1 0 239954345 92524544 21284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 22589 21284 170 317 0 22268 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 90356 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1755360/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=92320 CPUtime=1062 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 21934 0 0 0 106175 25 0 0 25 0 1 0 239954345 94535680 21745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 23080 21745 170 317 0 22759 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 92320 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1753504/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=93900 CPUtime=1121.99 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 22388 0 0 0 112173 26 0 0 25 0 1 0 239954345 96153600 22199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 23475 22199 170 317 0 23154 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 93900 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1751648/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=95872 CPUtime=1181.97 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 22874 0 0 0 118170 27 0 0 25 0 1 0 239954345 98172928 22652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 23968 22652 170 317 0 23647 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 95872 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 19147 /proc/meminfo: memFree=1749920/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=98112 CPUtime=1241.96 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 23430 0 0 0 124168 28 0 0 25 0 1 0 239954345 100466688 23076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 24528 23076 170 317 0 24207 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 98112 [startup+1302.3 s] /proc/loadavg: 1.03 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1747808/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=100476 CPUtime=1301.94 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 24025 0 0 0 130166 28 0 0 25 0 1 0 239954345 102887424 23605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 25119 23605 170 317 0 24798 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 100476 [startup+1362.3 s] /proc/loadavg: 1.01 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1745376/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=102832 CPUtime=1361.92 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 24665 0 0 0 136163 29 0 0 25 0 1 0 239954345 105299968 24245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 25708 24245 170 317 0 25387 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 102832 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1742880/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=105476 CPUtime=1421.91 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 25330 0 0 0 142160 31 0 0 25 0 1 0 239954345 108007424 24811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 26369 24811 170 317 0 26048 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 105476 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1741088/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=107580 CPUtime=1481.89 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 25788 0 0 0 148158 31 0 0 25 0 1 0 239954345 110161920 25269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 26895 25269 170 317 0 26574 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 107580 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1738784/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=109708 CPUtime=1541.87 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 26336 0 0 0 154155 32 0 0 25 0 1 0 239954345 112340992 25817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 27427 25817 170 317 0 27106 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 109708 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1736928/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=111532 CPUtime=1601.86 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 26802 0 0 0 160153 33 0 0 25 0 1 0 239954345 114208768 26283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 27883 26283 170 317 0 27562 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 111532 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1734816/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=113536 CPUtime=1661.84 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 27333 0 0 0 166150 34 0 0 25 0 1 0 239954345 116260864 26814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 28384 26814 170 317 0 28063 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 113536 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1733024/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=115368 CPUtime=1721.82 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 27790 0 0 0 172147 35 0 0 25 0 1 0 239954345 118136832 27271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 28842 27271 170 317 0 28521 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 115368 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1731104/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=117640 CPUtime=1781.81 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28252 0 0 0 178145 36 0 0 25 0 1 0 239954345 120463360 27733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 29410 27733 170 317 0 29089 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 117640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1729248/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=119512 CPUtime=1800.01 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28712 0 0 0 179964 37 0 0 25 0 1 0 239954345 122380288 28193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 29878 28193 170 317 0 29557 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 119512 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 0.99 0.91 2/78 19147 /proc/meminfo: memFree=1729248/2055920 swapFree=4147120/4192956 [pid=19146] ppid=19144 vsize=119512 CPUtime=1800.01 /proc/19146/stat : 19146 (oree) R 19144 19146 17100 0 -1 4194304 28712 0 0 0 179964 37 0 0 25 0 1 0 239954345 122380288 28193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19146/statm: 29878 28193 170 317 0 29557 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 119512 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.08 CPU user time (s): 1799.69 CPU system time (s): 0.39294 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 119512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.39294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28728 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= 2995 runsolver used 1.40179 second user time and 4.15837 second system time The end
Begin job on node11 on Tue May 1 03:10:54 UTC 2007 IDJOB= 429867 IDBENCH= 47939 IDSOLVER= 172 FILE ID= node11/429867-1177989054 PBS_JOBID= 4728098 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb COMMAND LINE= oree /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-429867-1177989054 -o ROOT/results/node11/conversion-429867-1177989054 -C 600 -M 1800 /tmp/evaluation/429867-1177989054/substituteSizeProductKeyword /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-429867-1177989054 -o ROOT/results/node11/solver-429867-1177989054 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429867-1177989054/instance-429867-1177989054.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED= 702859218 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1842688 kB Buffers: 32852 kB Cached: 90448 kB SwapCached: 14128 kB Active: 37936 kB Inactive: 108812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842688 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 30456 kB Slab: 51820 kB Committed_AS: 6481980 kB PageTables: 1852 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 node11 on Tue May 1 03:40:57 UTC 2007