Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.07 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb |
MD5SUM | 908985d974b16faef92bc77f5752fc1c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.088986 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 126 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 252 |
Sum of products size (including duplicates) | 504 |
Number of different products | 252 |
Sum of products size | 504 |
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=378 #constraints=527 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.30 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=947 0.49/0.53 c restart after 801 decisions 0.69/0.70 c nbDecision=1000 #constraints=1371 1.10/1.15 c nbDecision=1500 #constraints=1839 1.19/1.24 c restart after 1601 decisions 1.59/1.65 c nbDecision=2000 #constraints=2269 2.29/2.37 c nbDecision=2500 #constraints=2730 3.09/3.19 c nbDecision=3000 #constraints=3182 3.79/3.81 c restart after 3201 decisions 4.48/4.59 c nbDecision=3500 #constraints=3616 7.59/7.62 c nbDecision=4000 #constraints=4073 10.79/10.81 c nbDecision=4500 #constraints=4507 14.98/15.04 c nbDecision=5000 #constraints=4949 21.68/21.74 c nbDecision=5500 #constraints=5432 30.48/30.54 c nbDecision=6000 #constraints=5900 38.48/38.57 c restart after 6401 decisions 38.78/38.84 c nbDecision=6500 #constraints=6322 49.67/49.76 c nbDecision=7000 #constraints=6795 59.77/59.84 c nbDecision=7500 #constraints=7285 72.87/72.97 c nbDecision=8000 #constraints=7734 88.97/89.05 c nbDecision=8500 #constraints=8185 101.66/101.71 c nbDecision=9000 #constraints=8617 120.06/120.16 c nbDecision=9500 #constraints=9079 143.05/143.13 c nbDecision=10000 #constraints=9552 165.14/165.25 c nbDecision=10500 #constraints=10038 184.64/184.71 c nbDecision=11000 #constraints=10494 209.23/209.31 c nbDecision=11500 #constraints=10962 231.03/231.14 c nbDecision=12000 #constraints=11397 258.33/258.42 c nbDecision=12500 #constraints=11861 277.32/277.46 c restart after 12801 decisions 281.42/281.51 c nbDecision=13000 #constraints=12301 312.91/313.04 c nbDecision=13500 #constraints=12763 347.30/347.45 c nbDecision=14000 #constraints=13242 380.69/380.80 c nbDecision=14500 #constraints=13719 413.08/413.23 c nbDecision=15000 #constraints=14179 446.07/446.29 c nbDecision=15500 #constraints=14649 481.86/482.10 c nbDecision=16000 #constraints=15113 517.35/517.59 c nbDecision=16500 #constraints=15581 561.64/561.81 c nbDecision=17000 #constraints=16063 606.43/606.68 c nbDecision=17500 #constraints=16545 656.11/656.36 c nbDecision=18000 #constraints=17043 702.90/703.12 c nbDecision=18500 #constraints=17494 753.69/753.91 c nbDecision=19000 #constraints=17941 799.68/799.92 c nbDecision=19500 #constraints=18350 849.66/849.92 c nbDecision=20000 #constraints=18826 908.25/908.50 c nbDecision=20500 #constraints=19299 964.93/965.30 c nbDecision=21000 #constraints=19775 1028.81/1029.18 c nbDecision=21500 #constraints=20267 1094.40/1094.75 c nbDecision=22000 #constraints=20758 1164.88/1165.22 c nbDecision=22500 #constraints=21257 1234.87/1235.29 c nbDecision=23000 #constraints=21745 1287.25/1287.61 c nbDecision=23500 #constraints=22218 1326.15/1326.58 c nbDecision=24000 #constraints=22680 1349.63/1350.09 c nbDecision=24500 #constraints=23137 1368.62/1369.04 c nbDecision=25000 #constraints=23621 1387.83/1388.24 c nbDecision=25500 #constraints=24103 1391.42/1391.83 c restart after 25601 decisions 1401.82/1402.26 c nbDecision=26000 #constraints=24537 1425.81/1426.21 c nbDecision=26500 #constraints=24984 1445.01/1445.45 c nbDecision=27000 #constraints=25459 1470.20/1470.62 c nbDecision=27500 #constraints=25900 1494.19/1494.68 c nbDecision=28000 #constraints=26370 1523.58/1524.03 c nbDecision=28500 #constraints=26838 1549.18/1549.66 c nbDecision=29000 #constraints=27303 1577.47/1577.92 c nbDecision=29500 #constraints=27787 1608.97/1609.49 c nbDecision=30000 #constraints=28244 1641.65/1642.10 c nbDecision=30500 #constraints=28685 1676.64/1677.15 c nbDecision=31000 #constraints=29127 1714.73/1715.27 c nbDecision=31500 #constraints=29560 1758.72/1759.21 c nbDecision=32000 #constraints=30049 1800.02/1800.50 Received signal 15 1800.02/1800.53 1800.02/1800.53 s UNKNOWN 1800.02/1800.53 1800.02/1800.53 c user time= 1799.75 s 1800.02/1800.53 c system time= 0.304953 s 1800.02/1800.53 c wall clock time=1800.53
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb mv /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb.tmp /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-431225-1178003968 -o ROOT/results/node9/solver-431225-1178003968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.99 0.99 3/77 28292 /proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=1468 CPUtime=0 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 276434397 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 367 177 132 317 0 46 0 [startup+0.0355519 s] /proc/loadavg: 0.99 0.99 0.99 3/77 28292 /proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=1736 CPUtime=0.03 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 251 0 0 0 3 0 0 0 18 0 1 0 276434397 1777664 234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 434 234 139 317 0 113 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1736 [startup+0.101559 s] /proc/loadavg: 0.99 0.99 0.99 3/77 28292 /proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=1868 CPUtime=0.09 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 296 0 0 0 9 0 0 0 18 0 1 0 276434397 1912832 279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 467 279 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.301582 s] /proc/loadavg: 0.99 0.99 0.99 3/77 28292 /proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=2392 CPUtime=0.29 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 429 0 0 0 29 0 0 0 19 0 1 0 276434397 2449408 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 598 412 139 317 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2392 [startup+0.701626 s] /proc/loadavg: 0.99 0.99 0.99 3/77 28292 /proc/meminfo: memFree=1793504/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=3564 CPUtime=0.69 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 706 0 0 0 69 0 0 0 22 0 1 0 276434397 3649536 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 891 689 139 317 0 570 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3564 [startup+1.50172 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1790744/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=5284 CPUtime=1.49 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 1132 0 0 0 149 0 0 0 25 0 1 0 276434397 5410816 1115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 1321 1115 139 317 0 1000 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5284 [startup+3.1029 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1788440/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=7768 CPUtime=3.09 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 1743 0 0 0 309 0 0 0 25 0 1 0 276434397 7954432 1726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 1942 1726 139 317 0 1621 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7768 [startup+6.30126 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1785432/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=9508 CPUtime=6.28 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 2218 0 0 0 628 0 0 0 25 0 1 0 276434397 9736192 2201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 2377 2201 170 317 0 2056 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9508 [startup+12.702 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1783320/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=11660 CPUtime=12.69 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 2708 0 0 0 1268 1 0 0 25 0 1 0 276434397 11939840 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 2915 2691 170 317 0 2594 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11660 [startup+25.5014 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1780760/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=14068 CPUtime=25.49 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 3308 0 0 0 2547 2 0 0 25 0 1 0 276434397 14405632 3291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 3517 3291 170 317 0 3196 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14068 [startup+51.1013 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1777944/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=17080 CPUtime=51.08 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 4017 0 0 0 5105 3 0 0 25 0 1 0 276434397 17489920 4000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 4270 4000 170 317 0 3949 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17080 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1773656/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=21480 CPUtime=102.26 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 5121 0 0 0 10222 4 0 0 25 0 1 0 276434397 21995520 5047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 5370 5047 170 317 0 5049 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21480 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1770584/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=24748 CPUtime=162.25 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 5891 0 0 0 16220 5 0 0 25 0 1 0 276434397 25341952 5817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 6187 5817 170 317 0 5866 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24748 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1767768/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=27744 CPUtime=222.23 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 6609 0 0 0 22217 6 0 0 25 0 1 0 276434397 28409856 6535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 6936 6535 170 317 0 6615 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27744 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1765336/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=30148 CPUtime=282.21 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 7208 0 0 0 28214 7 0 0 25 0 1 0 276434397 30871552 7134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 7537 7134 170 317 0 7216 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30148 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1763352/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=32184 CPUtime=342.2 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 7694 0 0 0 34212 8 0 0 25 0 1 0 276434397 32956416 7620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 8046 7620 170 317 0 7725 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 32184 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1760984/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=34844 CPUtime=402.18 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 8293 0 0 0 40209 9 0 0 25 0 1 0 276434397 35680256 8219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 8711 8219 170 317 0 8390 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 34844 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1759192/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=36684 CPUtime=462.17 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 8734 0 0 0 46206 11 0 0 25 0 1 0 276434397 37564416 8660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 9171 8660 170 317 0 8850 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 36684 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1757272/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=38280 CPUtime=522.15 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 9176 0 0 0 52203 12 0 0 25 0 1 0 276434397 39198720 9102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 9570 9102 170 317 0 9249 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38280 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1755928/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=39868 CPUtime=582.14 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 9533 0 0 0 58201 13 0 0 25 0 1 0 276434397 40824832 9459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 9967 9459 170 317 0 9646 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 39868 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1754328/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=42032 CPUtime=642.12 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 10017 0 0 0 64199 13 0 0 25 0 1 0 276434397 43040768 9830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 10508 9830 170 317 0 10187 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 42032 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28293 /proc/meminfo: memFree=1749144/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=47308 CPUtime=882.05 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11316 0 0 0 88188 17 0 0 25 0 1 0 276434397 48443392 11129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 11827 11129 170 317 0 11506 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 47308 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1747864/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=48348 CPUtime=942.04 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11590 0 0 0 94186 18 0 0 25 0 1 0 276434397 49508352 11403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 12087 11403 170 317 0 11766 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 48348 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1746648/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=49656 CPUtime=1002.02 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 11887 0 0 0 100184 18 0 0 25 0 1 0 276434397 50847744 11700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 12414 11700 170 317 0 12093 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 49656 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1745624/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=50704 CPUtime=1062.01 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12153 0 0 0 106182 19 0 0 25 0 1 0 276434397 51920896 11966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 12676 11966 170 317 0 12355 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 50704 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1744536/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=52148 CPUtime=1122 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12449 0 0 0 112180 20 0 0 25 0 1 0 276434397 53399552 12229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 13037 12229 170 317 0 12716 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 52148 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1743512/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=53252 CPUtime=1181.97 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 12709 0 0 0 118177 20 0 0 25 0 1 0 276434397 54530048 12489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 13313 12489 170 317 0 12992 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 53252 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1742296/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=54508 CPUtime=1241.96 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13005 0 0 0 124175 21 0 0 25 0 1 0 276434397 55816192 12785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 13627 12785 170 317 0 13306 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 54508 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1741080/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=55708 CPUtime=1301.95 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13321 0 0 0 130173 22 0 0 25 0 1 0 276434397 57044992 13101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 13927 13101 170 317 0 13606 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 55708 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1738456/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=58240 CPUtime=1361.92 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 13986 0 0 0 136169 23 0 0 25 0 1 0 276434397 59637760 13766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 14560 13766 170 317 0 14239 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 58240 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1735128/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=61648 CPUtime=1421.91 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 14791 0 0 0 142167 24 0 0 25 0 1 0 276434397 63127552 14571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 15412 14571 170 317 0 15091 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 61648 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1732248/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=64508 CPUtime=1481.89 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 15520 0 0 0 148164 25 0 0 25 0 1 0 276434397 66056192 15300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 16127 15300 170 317 0 15806 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 64508 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1729560/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=67800 CPUtime=1541.88 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 16195 0 0 0 154162 26 0 0 25 0 1 0 276434397 69427200 15975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 16950 15975 170 317 0 16629 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 67800 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1727128/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=70344 CPUtime=1601.87 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 16801 0 0 0 160159 28 0 0 25 0 1 0 276434397 72032256 16581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 17586 16581 170 317 0 17265 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 70344 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1725272/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=72144 CPUtime=1661.85 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 17261 0 0 0 166157 28 0 0 25 0 1 0 276434397 73875456 17041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 18036 17041 170 317 0 17715 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 72144 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1723672/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=73780 CPUtime=1721.83 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 17660 0 0 0 172154 29 0 0 25 0 1 0 276434397 75550720 17440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 18445 17440 170 317 0 18124 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 73780 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1722136/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=75120 CPUtime=1781.82 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18045 0 0 0 178152 30 0 0 25 0 1 0 276434397 76922880 17825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 18780 17825 170 317 0 18459 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 75120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1721688/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=75524 CPUtime=1800.02 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18143 0 0 0 179972 30 0 0 25 0 1 0 276434397 77336576 17923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 18881 17923 170 317 0 18560 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75524 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: 0.99 0.99 0.99 2/78 28295 /proc/meminfo: memFree=1721688/2055920 swapFree=4145492/4192956 [pid=28292] ppid=28290 vsize=75524 CPUtime=1800.02 /proc/28292/stat : 28292 (oree) R 28290 28292 26854 0 -1 4194304 18143 0 0 0 179972 30 0 0 25 0 1 0 276434397 77336576 17923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28292/statm: 18881 17923 170 317 0 18560 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 75524 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.07 CPU user time (s): 1799.75 CPU system time (s): 0.318951 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 75524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.318951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18159 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= 1343 runsolver used 1.44478 second user time and 4.19936 second system time The end
Begin job on node9 on Tue May 1 07:19:28 UTC 2007 IDJOB= 431225 IDBENCH= 48036 IDSOLVER= 172 FILE ID= node9/431225-1178003968 PBS_JOBID= 4728249 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb COMMAND LINE= oree /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-431225-1178003968 -o ROOT/results/node9/conversion-431225-1178003968 -C 600 -M 1800 /tmp/evaluation/431225-1178003968/substituteSizeProductKeyword /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-431225-1178003968 -o ROOT/results/node9/solver-431225-1178003968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431225-1178003968/instance-431225-1178003968.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 908985d974b16faef92bc77f5752fc1c RANDOM SEED= 709276588 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1793912 kB Buffers: 40288 kB Cached: 132808 kB SwapCached: 15332 kB Active: 76948 kB Inactive: 119880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793912 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 1408 kB Writeback: 0 kB Mapped: 30756 kB Slab: 50692 kB Committed_AS: 6778212 kB PageTables: 1788 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 node9 on Tue May 1 07:49:31 UTC 2007