Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.59 | 1801.25 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb |
MD5SUM | 65bc139f592885e582edbd6d46332a4d |
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.284956 |
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 | 135 |
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 | 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) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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=540 #constraints=827 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.79 c restart after 401 decisions 0.89/0.95 c nbDecision=500 #constraints=1253 1.69/1.79 c restart after 801 decisions 2.09/2.20 c nbDecision=1000 #constraints=1715 3.99/4.00 c nbDecision=1500 #constraints=2215 4.49/4.51 c restart after 1601 decisions 5.88/5.91 c nbDecision=2000 #constraints=2684 8.89/8.99 c nbDecision=2500 #constraints=3176 11.88/11.95 c nbDecision=3000 #constraints=3664 12.49/12.53 c restart after 3201 decisions 15.39/15.44 c nbDecision=3500 #constraints=4125 17.59/17.64 c nbDecision=4000 #constraints=4603 19.58/19.64 c nbDecision=4500 #constraints=5077 22.68/22.75 c nbDecision=5000 #constraints=5575 26.08/26.17 c nbDecision=5500 #constraints=6064 32.18/32.21 c nbDecision=6000 #constraints=6566 39.97/40.01 c restart after 6401 decisions 40.47/40.55 c nbDecision=6500 #constraints=7044 46.47/46.54 c nbDecision=7000 #constraints=7520 61.26/61.35 c nbDecision=7500 #constraints=8011 70.07/70.15 c nbDecision=8000 #constraints=8495 83.16/83.28 c nbDecision=8500 #constraints=8972 98.06/98.14 c nbDecision=9000 #constraints=9454 111.25/111.36 c nbDecision=9500 #constraints=9934 126.45/126.59 c nbDecision=10000 #constraints=10397 139.94/140.04 c nbDecision=10500 #constraints=10848 159.23/159.36 c nbDecision=11000 #constraints=11315 178.32/178.40 c nbDecision=11500 #constraints=11795 216.21/216.34 c nbDecision=12000 #constraints=12291 249.50/249.62 c nbDecision=12500 #constraints=12794 269.59/269.79 c restart after 12801 decisions 271.89/272.06 c nbDecision=13000 #constraints=13264 287.09/287.29 c nbDecision=13500 #constraints=13722 328.56/328.73 c nbDecision=14000 #constraints=14200 369.95/370.13 c nbDecision=14500 #constraints=14700 403.64/403.90 c nbDecision=15000 #constraints=15193 441.23/441.45 c nbDecision=15500 #constraints=15667 480.41/480.66 c nbDecision=16000 #constraints=16145 527.90/528.18 c nbDecision=16500 #constraints=16647 567.98/568.23 c nbDecision=17000 #constraints=17118 607.17/607.46 c nbDecision=17500 #constraints=17602 658.05/658.34 c nbDecision=18000 #constraints=18094 697.63/697.93 c nbDecision=18500 #constraints=18558 739.42/739.73 c nbDecision=19000 #constraints=19031 777.21/777.56 c nbDecision=19500 #constraints=19518 804.49/804.87 c nbDecision=20000 #constraints=20006 859.17/859.50 c nbDecision=20500 #constraints=20495 911.95/912.37 c nbDecision=21000 #constraints=20963 971.33/971.73 c nbDecision=21500 #constraints=21450 1026.11/1026.51 c nbDecision=22000 #constraints=21927 1087.69/1088.11 c nbDecision=22500 #constraints=22397 1136.67/1137.13 c nbDecision=23000 #constraints=22863 1199.45/1199.96 c nbDecision=23500 #constraints=23349 1240.24/1240.73 c nbDecision=24000 #constraints=23804 1309.62/1310.15 c nbDecision=24500 #constraints=24260 1401.38/1401.90 c nbDecision=25000 #constraints=24755 1470.55/1471.14 c nbDecision=25500 #constraints=25229 1474.95/1475.56 c restart after 25601 decisions 1546.42/1547.05 c nbDecision=26000 #constraints=25659 1634.29/1634.94 c nbDecision=26500 #constraints=26123 1768.54/1769.25 c nbDecision=27000 #constraints=26624 1800.04/1800.70 Received signal 15 1800.53/1801.22 1800.53/1801.22 s UNKNOWN 1800.53/1801.22 1800.53/1801.22 c user time= 1800.15 s 1800.53/1801.22 c system time= 0.415936 s 1800.53/1801.22 c wall clock time=1801.22
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb mv /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb.tmp /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-431841-1178011081 -o ROOT/results/node13/solver-431841-1178011081 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431841-1178011081/instance-431841-1178011081.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.98 0.99 3/77 21214 /proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=1468 CPUtime=0 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 249025912 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 367 174 132 317 0 46 0 [startup+0.0126341 s] /proc/loadavg: 0.91 0.98 0.99 3/77 21214 /proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=1884 CPUtime=0 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 249025912 1929216 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 471 258 139 317 0 150 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1884 [startup+0.101654 s] /proc/loadavg: 0.91 0.98 0.99 3/77 21214 /proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=2016 CPUtime=0.09 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 249025912 2064384 298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 504 298 139 317 0 183 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2016 [startup+0.301696 s] /proc/loadavg: 0.91 0.98 0.99 3/77 21214 /proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=2412 CPUtime=0.29 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 249025912 2469888 393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 603 393 139 317 0 282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2412 [startup+0.701781 s] /proc/loadavg: 0.91 0.98 0.99 3/77 21214 /proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=3192 CPUtime=0.69 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 616 0 0 0 69 0 0 0 23 0 1 0 249025912 3268608 599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 798 599 139 317 0 477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3192 [startup+1.50195 s] /proc/loadavg: 0.91 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1816776/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=4640 CPUtime=1.49 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 978 0 0 0 149 0 0 0 25 0 1 0 249025912 4751360 961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 1160 961 139 317 0 839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4640 [startup+3.10129 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1814728/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=7128 CPUtime=3.08 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 1605 0 0 0 308 0 0 0 25 0 1 0 249025912 7299072 1588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 1782 1588 139 317 0 1461 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7128 [startup+6.30197 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1810768/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=10660 CPUtime=6.28 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 2458 0 0 0 627 1 0 0 25 0 1 0 249025912 10915840 2441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 2665 2441 139 317 0 2344 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10660 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1805520/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=15792 CPUtime=12.69 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 3743 0 0 0 1266 3 0 0 25 0 1 0 249025912 16171008 3726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 3948 3726 139 317 0 3627 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15792 [startup+25.5011 s] /proc/loadavg: 0.94 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1795216/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=25516 CPUtime=25.48 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 6122 0 0 0 2544 4 0 0 25 0 1 0 249025912 26128384 6105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 6379 6105 139 317 0 6058 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25516 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1787856/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=33132 CPUtime=51.07 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 8001 0 0 0 5101 6 0 0 25 0 1 0 249025912 33927168 7941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 8283 7941 139 317 0 7962 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33132 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1779216/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=41948 CPUtime=102.26 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 10147 0 0 0 10218 8 0 0 25 0 1 0 249025912 42954752 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 10487 10087 170 317 0 10166 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 41948 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1770896/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=50528 CPUtime=162.23 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 12237 0 0 0 16212 11 0 0 25 0 1 0 249025912 51740672 12177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 12632 12177 170 317 0 12311 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 50528 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1766544/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=54780 CPUtime=222.2 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 13298 0 0 0 22208 12 0 0 25 0 1 0 249025912 56094720 13238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 13695 13238 170 317 0 13374 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 54780 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1761424/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=60964 CPUtime=282.18 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 14663 0 0 0 28204 14 0 0 25 0 1 0 249025912 62427136 14518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 15241 14518 170 317 0 14920 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 60964 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1757072/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=65788 CPUtime=342.17 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 15734 0 0 0 34201 16 0 0 25 0 1 0 249025912 67366912 15589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 16447 15589 170 317 0 16126 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 65788 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1753488/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=69636 CPUtime=402.14 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 16638 0 0 0 40197 17 0 0 25 0 1 0 249025912 71307264 16493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 17409 16493 170 317 0 17088 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 69636 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1749968/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=73024 CPUtime=462.12 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 17483 0 0 0 46194 18 0 0 25 0 1 0 249025912 74776576 17338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 18256 17338 170 317 0 17935 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 73024 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1747152/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=75984 CPUtime=522.1 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 18193 0 0 0 52190 20 0 0 25 0 1 0 249025912 77807616 18048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 18996 18048 170 317 0 18675 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 75984 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1744080/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=79100 CPUtime=582.07 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 18966 0 0 0 58187 20 0 0 25 0 1 0 249025912 80998400 18821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 19775 18821 170 317 0 19454 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 79100 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1741008/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=81980 CPUtime=642.05 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 19728 0 0 0 64184 21 0 0 25 0 1 0 249025912 83947520 19583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 20495 19583 170 317 0 20174 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 81980 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21215 /proc/meminfo: memFree=1727376/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=96156 CPUtime=941.94 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 23103 0 0 0 94167 27 0 0 25 0 1 0 249025912 98463744 22958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 24039 22958 170 317 0 23718 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 96156 [startup+1002.3 s] /proc/loadavg: 1.04 1.00 0.99 2/78 21215 /proc/meminfo: memFree=1725328/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=98664 CPUtime=1001.92 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 23646 0 0 0 100164 28 0 0 25 0 1 0 249025912 101031936 23501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 24666 23501 170 317 0 24345 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 98664 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 21215 /proc/meminfo: memFree=1723536/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=100400 CPUtime=1061.9 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 24073 0 0 0 106161 29 0 0 25 0 1 0 249025912 102809600 23928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 25100 23928 170 317 0 24779 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 100400 [startup+1122.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 21215 /proc/meminfo: memFree=1721488/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=102240 CPUtime=1121.88 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 24572 0 0 0 112158 30 0 0 25 0 1 0 249025912 104693760 24427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 25560 24427 170 317 0 25239 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 102240 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 1.00 2/78 21215 /proc/meminfo: memFree=1719504/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=104328 CPUtime=1181.85 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 25069 0 0 0 118154 31 0 0 25 0 1 0 249025912 106831872 24924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 26082 24924 170 317 0 25761 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 104328 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 21215 /proc/meminfo: memFree=1716944/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=106696 CPUtime=1241.84 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 25703 0 0 0 124151 33 0 0 25 0 1 0 249025912 109256704 25558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 26674 25558 170 317 0 26353 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 106696 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21215 /proc/meminfo: memFree=1714256/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=110536 CPUtime=1301.81 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 26361 0 0 0 130148 33 0 0 25 0 1 0 249025912 113188864 26216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 27634 26216 170 317 0 27313 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 110536 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21215 /proc/meminfo: memFree=1712656/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=112752 CPUtime=1361.79 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 26877 0 0 0 136145 34 0 0 25 0 1 0 249025912 115458048 26600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 28188 26600 170 317 0 27867 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 112752 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21215 /proc/meminfo: memFree=1710800/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=115268 CPUtime=1421.77 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 27540 0 0 0 142142 35 0 0 25 0 1 0 249025912 118034432 27060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 28817 27060 170 317 0 28496 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 115268 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1708688/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=117672 CPUtime=1481.74 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28140 0 0 0 148137 37 0 0 25 0 1 0 249025912 120496128 27594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 29418 27594 170 317 0 29097 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 117672 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1707920/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=118716 CPUtime=1541.72 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28373 0 0 0 154135 37 0 0 25 0 1 0 249025912 121565184 27794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 29679 27794 170 317 0 29358 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 118716 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1707152/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=119640 CPUtime=1601.7 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28573 0 0 0 160132 38 0 0 25 0 1 0 249025912 122511360 27994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 29910 27994 170 317 0 29589 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 119640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1705488/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=121092 CPUtime=1661.68 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29000 0 0 0 166129 39 0 0 25 0 1 0 249025912 123998208 28421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30273 28421 170 317 0 29952 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 121092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1704464/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=122008 CPUtime=1721.66 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29265 0 0 0 172126 40 0 0 25 0 1 0 249025912 124936192 28686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30502 28686 170 317 0 30181 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 122008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1703440/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=123052 CPUtime=1781.64 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29488 0 0 0 178123 41 0 0 25 0 1 0 249025912 126005248 28909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30763 28909 170 317 0 30442 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 123052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=123340 CPUtime=1800.04 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29547 0 0 0 179963 41 0 0 25 0 1 0 249025912 126300160 28968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30835 28968 170 317 0 30514 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 123340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=123340 CPUtime=1800.33 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29548 0 0 0 179992 41 0 0 25 0 1 0 249025912 126300160 28969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30835 28969 170 317 0 30514 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 123340 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21217 /proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956 [pid=21214] ppid=21212 vsize=123340 CPUtime=1800.53 /proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29548 0 0 0 180012 41 0 0 25 0 1 0 249025912 126300160 28969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21214/statm: 30835 28969 170 317 0 30514 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (KiB) 123340 Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.59 CPU user time (s): 1800.15 CPU system time (s): 0.434933 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 123340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.15 system time used= 0.434933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29564 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= 1844 runsolver used 1.41179 second user time and 4.06138 second system time The end
Begin job on node13 on Tue May 1 09:18:01 UTC 2007 IDJOB= 431841 IDBENCH= 48080 IDSOLVER= 172 FILE ID= node13/431841-1178011081 PBS_JOBID= 4728282 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=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb COMMAND LINE= oree /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-431841-1178011081 -o ROOT/results/node13/conversion-431841-1178011081 -C 600 -M 1800 /tmp/evaluation/431841-1178011081/substituteSizeProductKeyword /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-431841-1178011081 -o ROOT/results/node13/solver-431841-1178011081 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d RANDOM SEED= 466236951 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1819624 kB Buffers: 36376 kB Cached: 111012 kB SwapCached: 12684 kB Active: 58244 kB Inactive: 112764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819624 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 30680 kB Slab: 50680 kB Committed_AS: 6989188 kB PageTables: 1876 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 node13 on Tue May 1 09:48:04 UTC 2007