Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb |
MD5SUM | 0b0d874eaa404001e586f84b413e6897 |
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.187971 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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=440 #constraints=657 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.59/0.60 c restart after 401 decisions 0.69/0.78 c nbDecision=500 #constraints=1106 1.29/1.33 c restart after 801 decisions 1.59/1.66 c nbDecision=1000 #constraints=1554 2.59/2.68 c nbDecision=1500 #constraints=2046 2.89/2.91 c restart after 1601 decisions 3.89/3.94 c nbDecision=2000 #constraints=2517 5.59/5.68 c nbDecision=2500 #constraints=3008 7.29/7.32 c nbDecision=3000 #constraints=3482 7.69/7.77 c restart after 3201 decisions 8.89/8.98 c nbDecision=3500 #constraints=3931 10.49/10.57 c nbDecision=4000 #constraints=4382 12.29/12.35 c nbDecision=4500 #constraints=4824 14.59/14.65 c nbDecision=5000 #constraints=5278 17.08/17.18 c nbDecision=5500 #constraints=5763 20.09/20.19 c nbDecision=6000 #constraints=6213 24.98/25.09 c restart after 6401 decisions 25.58/25.61 c nbDecision=6500 #constraints=6679 30.79/30.81 c nbDecision=7000 #constraints=7155 37.78/37.85 c nbDecision=7500 #constraints=7626 47.88/47.98 c nbDecision=8000 #constraints=8113 59.28/59.37 c nbDecision=8500 #constraints=8604 69.37/69.44 c nbDecision=9000 #constraints=9069 81.77/81.89 c nbDecision=9500 #constraints=9554 95.36/95.47 c nbDecision=10000 #constraints=10030 109.86/109.96 c nbDecision=10500 #constraints=10500 128.66/128.79 c nbDecision=11000 #constraints=10979 151.65/151.73 c nbDecision=11500 #constraints=11478 171.14/171.28 c nbDecision=12000 #constraints=11933 194.94/195.00 c nbDecision=12500 #constraints=12423 202.14/202.26 c restart after 12801 decisions 204.33/204.50 c nbDecision=13000 #constraints=12862 240.02/240.12 c nbDecision=13500 #constraints=13280 284.12/284.25 c nbDecision=14000 #constraints=13741 326.20/326.30 c nbDecision=14500 #constraints=14218 352.20/352.39 c nbDecision=15000 #constraints=14699 384.99/385.13 c nbDecision=15500 #constraints=15181 414.48/414.60 c nbDecision=16000 #constraints=15648 437.07/437.29 c nbDecision=16500 #constraints=16122 467.17/467.37 c nbDecision=17000 #constraints=16602 511.65/511.84 c nbDecision=17500 #constraints=17082 563.44/563.62 c nbDecision=18000 #constraints=17558 594.63/594.89 c nbDecision=18500 #constraints=18021 631.32/631.52 c nbDecision=19000 #constraints=18487 663.02/663.22 c nbDecision=19500 #constraints=18968 711.20/711.43 c nbDecision=20000 #constraints=19468 759.69/759.96 c nbDecision=20500 #constraints=19939 807.47/807.70 c nbDecision=21000 #constraints=20407 851.86/852.17 c nbDecision=21500 #constraints=20866 912.14/912.40 c nbDecision=22000 #constraints=21342 970.63/971.00 c nbDecision=22500 #constraints=21828 1022.72/1023.03 c nbDecision=23000 #constraints=22299 1073.51/1073.85 c nbDecision=23500 #constraints=22751 1116.49/1116.81 c nbDecision=24000 #constraints=23201 1167.07/1167.42 c nbDecision=24500 #constraints=23676 1219.16/1219.57 c nbDecision=25000 #constraints=24152 1286.45/1286.87 c nbDecision=25500 #constraints=24645 1299.24/1299.64 c restart after 25601 decisions 1304.24/1304.61 c nbDecision=26000 #constraints=25120 1310.54/1310.98 c nbDecision=26500 #constraints=25609 1385.52/1385.98 c nbDecision=27000 #constraints=26101 1469.70/1470.18 c nbDecision=27500 #constraints=26601 1550.38/1550.81 c nbDecision=28000 #constraints=27096 1620.55/1621.00 c nbDecision=28500 #constraints=27588 1696.43/1696.90 c nbDecision=29000 #constraints=28083 1773.32/1773.87 c nbDecision=29500 #constraints=28560 1800.01/1800.50 Received signal 15 1800.11/1800.69 1800.11/1800.69 s UNKNOWN 1800.11/1800.69 1800.11/1800.69 c user time= 1799.84 s 1800.11/1800.69 c system time= 0.377942 s 1800.11/1800.69 c wall clock time=1800.7
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb mv /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb.tmp /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-432107-1178013838 -o ROOT/results/node35/solver-432107-1178013838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6341 /proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=1468 CPUtime=0 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 249299209 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 367 175 132 317 0 46 0 [startup+0.050483 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6341 /proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=1860 CPUtime=0.04 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 276 0 0 0 4 0 0 0 18 0 1 0 249299209 1904640 259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 465 259 139 317 0 144 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1860 [startup+0.101488 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6341 /proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=1992 CPUtime=0.09 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 305 0 0 0 9 0 0 0 18 0 1 0 249299209 2039808 288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 498 288 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301511 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6341 /proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=2384 CPUtime=0.29 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 417 0 0 0 29 0 0 0 19 0 1 0 249299209 2441216 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 596 400 139 317 0 275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2384 [startup+0.701559 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6341 /proc/meminfo: memFree=1822288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=3292 CPUtime=0.69 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 639 0 0 0 69 0 0 0 23 0 1 0 249299209 3371008 622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284121 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 823 622 139 317 0 502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3292 [startup+1.50165 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1819720/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=5008 CPUtime=1.49 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 1056 0 0 0 149 0 0 0 25 0 1 0 249299209 5128192 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 1252 1039 139 317 0 931 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5008 [startup+3.10184 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1817224/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=8036 CPUtime=3.09 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 1813 0 0 0 309 0 0 0 25 0 1 0 249299209 8228864 1796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 2009 1796 139 317 0 1688 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8036 [startup+6.30121 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1812616/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=11692 CPUtime=6.29 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 2716 0 0 0 628 1 0 0 25 0 1 0 249299209 11972608 2699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 2923 2699 139 317 0 2602 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11692 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1804880/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=19276 CPUtime=12.69 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 4624 0 0 0 1266 3 0 0 25 0 1 0 249299209 19738624 4607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 4819 4607 170 317 0 4498 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19276 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1797712/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=26152 CPUtime=25.48 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 6313 0 0 0 2544 4 0 0 25 0 1 0 249299209 26779648 6296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 6538 6296 170 317 0 6217 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26152 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1791440/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=32468 CPUtime=51.08 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 7855 0 0 0 5101 7 0 0 25 0 1 0 249299209 33247232 7838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 8117 7838 170 317 0 7796 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32468 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1783568/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=40864 CPUtime=102.27 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 9874 0 0 0 10218 9 0 0 25 0 1 0 249299209 41844736 9799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 10216 9799 170 317 0 9895 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40864 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1777424/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=47672 CPUtime=162.24 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 11469 0 0 0 16213 11 0 0 25 0 1 0 249299209 48816128 11394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 11918 11394 170 317 0 11597 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 47672 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1771856/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=52920 CPUtime=222.24 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 12784 0 0 0 22211 13 0 0 25 0 1 0 249299209 54190080 12709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 13230 12709 170 317 0 12909 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52920 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1769424/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=55724 CPUtime=282.22 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 13402 0 0 0 28208 14 0 0 25 0 1 0 249299209 57061376 13327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 13931 13327 170 317 0 13610 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 55724 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1766416/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=59016 CPUtime=342.2 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 14157 0 0 0 34205 15 0 0 25 0 1 0 249299209 60432384 14082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 14754 14082 170 317 0 14433 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59016 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1762640/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=62860 CPUtime=402.18 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 15109 0 0 0 40202 16 0 0 25 0 1 0 249299209 64368640 15034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 15715 15034 170 317 0 15394 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 62860 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1758288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=67264 CPUtime=462.16 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 16194 0 0 0 46199 17 0 0 25 0 1 0 249299209 68878336 16119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 16816 16119 170 317 0 16495 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 67264 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1755792/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=70072 CPUtime=522.15 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 16921 0 0 0 52197 18 0 0 25 0 1 0 249299209 71753728 16732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 17518 16732 170 317 0 17197 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 70072 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1753552/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=72072 CPUtime=582.14 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 17478 0 0 0 58194 20 0 0 25 0 1 0 249299209 73801728 17289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604463 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 18018 17289 170 317 0 17697 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 72072 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1750160/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=75536 CPUtime=642.12 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 18329 0 0 0 64191 21 0 0 25 0 1 0 249299209 77348864 18140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 18884 18140 170 317 0 18563 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 75536 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1738064/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=89132 CPUtime=942.04 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 21356 0 0 0 94178 26 0 0 25 0 1 0 249299209 91271168 21167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 22283 21167 170 317 0 21962 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 89132 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1735888/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=91584 CPUtime=1002.03 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 21897 0 0 0 100176 27 0 0 25 0 1 0 249299209 93782016 21708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 22896 21708 170 317 0 22575 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 91584 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1734032/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=93444 CPUtime=1062 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 22372 0 0 0 106173 27 0 0 25 0 1 0 249299209 95686656 22183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 23361 22183 170 317 0 23040 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 93444 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1731728/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=95820 CPUtime=1121.99 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 22938 0 0 0 112171 28 0 0 25 0 1 0 249299209 98119680 22749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 23955 22749 170 317 0 23634 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 95820 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1729424/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=98232 CPUtime=1181.98 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 23512 0 0 0 118168 30 0 0 25 0 1 0 249299209 100589568 23323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 24558 23323 170 317 0 24237 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 98232 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1727632/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=100244 CPUtime=1241.96 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 23955 0 0 0 124166 30 0 0 25 0 1 0 249299209 102649856 23766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 25061 23766 170 317 0 24740 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 100244 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6342 /proc/meminfo: memFree=1725328/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=102600 CPUtime=1301.94 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 24513 0 0 0 130163 31 0 0 25 0 1 0 249299209 105062400 24324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 25650 24324 170 317 0 25329 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 102600 [startup+1362.3 s] /proc/loadavg: 1.04 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1721104/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=107180 CPUtime=1361.93 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 25668 0 0 0 136160 33 0 0 25 0 1 0 249299209 109752320 25380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 26795 25380 170 317 0 26474 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 107180 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1719760/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=108544 CPUtime=1421.91 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26005 0 0 0 142158 33 0 0 25 0 1 0 249299209 111149056 25717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 27136 25717 170 317 0 26815 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 108544 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1718288/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=109976 CPUtime=1481.89 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26401 0 0 0 148155 34 0 0 25 0 1 0 249299209 112615424 26080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 27494 26080 170 317 0 27173 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 109976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1716880/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=111292 CPUtime=1541.87 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 26744 0 0 0 154153 34 0 0 25 0 1 0 249299209 113963008 26423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 27823 26423 170 317 0 27502 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 111292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1715088/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=113136 CPUtime=1601.86 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27196 0 0 0 160151 35 0 0 25 0 1 0 249299209 115851264 26875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 28284 26875 170 317 0 27963 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 113136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1713552/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=114576 CPUtime=1661.85 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27570 0 0 0 166149 36 0 0 25 0 1 0 249299209 117325824 27249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 28644 27249 170 317 0 28323 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 114576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1712144/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=115984 CPUtime=1721.83 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 27918 0 0 0 172146 37 0 0 25 0 1 0 249299209 118767616 27597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 28996 27597 170 317 0 28675 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 115984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1710864/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=117428 CPUtime=1781.81 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28273 0 0 0 178144 37 0 0 25 0 1 0 249299209 120246272 27952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 29357 27952 170 317 0 29036 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 117428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6342 /proc/meminfo: memFree=1710416/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=117816 CPUtime=1800.01 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28365 0 0 0 179964 37 0 0 25 0 1 0 249299209 120643584 28044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 29454 28044 170 317 0 29133 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 117816 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 0.99 2/79 6343 /proc/meminfo: memFree=1710408/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=117816 CPUtime=1800.11 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194304 28365 0 0 0 179974 37 0 0 25 0 1 0 249299209 120643584 28044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 29454 28044 170 317 0 29133 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 117816 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/79 6343 /proc/meminfo: memFree=1710408/2055920 swapFree=4151252/4192956 [pid=6341] ppid=6339 vsize=0 CPUtime=1800.22 /proc/6341/stat : 6341 (oree) R 6339 6341 5085 0 -1 4194308 28381 0 0 0 179984 38 0 0 25 0 1 0 249299209 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6341/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.24 CPU user time (s): 1799.84 CPU system time (s): 0.397939 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 117816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.397939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28381 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= 1409 runsolver used 1.51477 second user time and 4.16737 second system time The end
Begin job on node35 on Tue May 1 10:03:58 UTC 2007 IDJOB= 432107 IDBENCH= 48099 IDSOLVER= 172 FILE ID= node35/432107-1178013838 PBS_JOBID= 4728266 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=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb COMMAND LINE= oree /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-432107-1178013838 -o ROOT/results/node35/conversion-432107-1178013838 -C 600 -M 1800 /tmp/evaluation/432107-1178013838/substituteSizeProductKeyword /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-432107-1178013838 -o ROOT/results/node35/solver-432107-1178013838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/432107-1178013838/instance-432107-1178013838.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897 RANDOM SEED= 274339074 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1822696 kB Buffers: 37352 kB Cached: 106676 kB SwapCached: 8972 kB Active: 112380 kB Inactive: 56164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822696 kB SwapTotal: 4192956 kB SwapFree: 4151252 kB Dirty: 1408 kB Writeback: 0 kB Mapped: 31540 kB Slab: 49948 kB Committed_AS: 2783852 kB PageTables: 2000 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 node35 on Tue May 1 10:34:00 UTC 2007