Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.32 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb |
MD5SUM | 6d677c4de75200a225209ed048e7b96e |
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.167973 |
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.79/0.86 c restart after 401 decisions 1.00/1.04 c nbDecision=500 #constraints=1261 1.69/1.75 c restart after 801 decisions 2.19/2.30 c nbDecision=1000 #constraints=1717 3.59/3.64 c nbDecision=1500 #constraints=2204 3.89/3.98 c restart after 1601 decisions 5.49/5.60 c nbDecision=2000 #constraints=2676 8.59/8.64 c nbDecision=2500 #constraints=3175 12.29/12.30 c nbDecision=3000 #constraints=3664 13.09/13.11 c restart after 3201 decisions 16.19/16.21 c nbDecision=3500 #constraints=4117 18.59/18.63 c nbDecision=4000 #constraints=4609 20.28/20.33 c nbDecision=4500 #constraints=5111 23.19/23.24 c nbDecision=5000 #constraints=5611 27.68/27.75 c nbDecision=5500 #constraints=6113 30.98/31.03 c nbDecision=6000 #constraints=6593 34.19/34.26 c restart after 6401 decisions 34.88/34.91 c nbDecision=6500 #constraints=7052 43.28/43.38 c nbDecision=7000 #constraints=7520 54.48/54.59 c nbDecision=7500 #constraints=8014 61.97/62.06 c nbDecision=8000 #constraints=8488 72.97/73.06 c nbDecision=8500 #constraints=8956 89.37/89.43 c nbDecision=9000 #constraints=9456 99.96/100.05 c nbDecision=9500 #constraints=9941 118.56/118.69 c nbDecision=10000 #constraints=10438 134.46/134.51 c nbDecision=10500 #constraints=10904 153.15/153.22 c nbDecision=11000 #constraints=11379 163.75/163.88 c nbDecision=11500 #constraints=11842 190.84/190.94 c nbDecision=12000 #constraints=12343 215.45/215.58 c nbDecision=12500 #constraints=12840 232.24/232.34 c restart after 12801 decisions 235.93/236.06 c nbDecision=13000 #constraints=13311 243.43/243.55 c nbDecision=13500 #constraints=13797 285.02/285.17 c nbDecision=14000 #constraints=14266 335.51/335.60 c nbDecision=14500 #constraints=14763 375.50/375.62 c nbDecision=15000 #constraints=15251 411.69/411.88 c nbDecision=15500 #constraints=15730 451.89/452.06 c nbDecision=16000 #constraints=16219 490.77/490.93 c nbDecision=16500 #constraints=16720 532.46/532.66 c nbDecision=17000 #constraints=17213 576.75/576.95 c nbDecision=17500 #constraints=17696 605.25/605.44 c nbDecision=18000 #constraints=18175 633.54/633.73 c nbDecision=18500 #constraints=18633 698.72/698.99 c nbDecision=19000 #constraints=19135 750.71/750.94 c nbDecision=19500 #constraints=19634 803.59/803.87 c nbDecision=20000 #constraints=20126 859.88/860.14 c nbDecision=20500 #constraints=20612 886.47/886.79 c nbDecision=21000 #constraints=21074 920.87/921.10 c nbDecision=21500 #constraints=21523 965.76/966.03 c nbDecision=22000 #constraints=21992 1023.54/1023.85 c nbDecision=22500 #constraints=22492 1091.43/1091.73 c nbDecision=23000 #constraints=22987 1159.81/1160.12 c nbDecision=23500 #constraints=23454 1230.19/1230.58 c nbDecision=24000 #constraints=23953 1288.88/1289.25 c nbDecision=24500 #constraints=24443 1356.37/1356.89 c nbDecision=25000 #constraints=24932 1423.84/1424.37 c nbDecision=25500 #constraints=25412 1437.44/1437.99 c restart after 25601 decisions 1446.33/1446.86 c nbDecision=26000 #constraints=25871 1455.94/1456.43 c nbDecision=26500 #constraints=26368 1595.00/1595.50 c nbDecision=27000 #constraints=26859 1697.98/1698.57 c nbDecision=27500 #constraints=27355 1800.06/1800.60 Received signal 15 1800.25/1800.83 1800.25/1800.83 s UNKNOWN 1800.25/1800.83 1800.25/1800.83 c user time= 1800.03 s 1800.25/1800.83 c system time= 0.265959 s 1800.25/1800.83 c wall clock time=1800.83
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb mv /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb.tmp /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-430007-1177990743 -o ROOT/results/node68/solver-430007-1177990743 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430007-1177990743/instance-430007-1177990743.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/64 1147 /proc/meminfo: memFree=1790600/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=1468 CPUtime=0 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 275063862 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 367 172 132 317 0 46 0 [startup+0.0589259 s] /proc/loadavg: 0.91 0.98 0.99 3/64 1147 /proc/meminfo: memFree=1790600/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=1884 CPUtime=0.05 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 290 0 0 0 5 0 0 0 18 0 1 0 275063862 1929216 273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549988 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 471 273 139 317 0 150 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1884 [startup+0.10293 s] /proc/loadavg: 0.91 0.98 0.99 3/64 1147 /proc/meminfo: memFree=1790600/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=2016 CPUtime=0.09 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 313 0 0 0 9 0 0 0 18 0 1 0 275063862 2064384 296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 504 296 139 317 0 183 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2016 [startup+0.302948 s] /proc/loadavg: 0.91 0.98 0.99 3/64 1147 /proc/meminfo: memFree=1790600/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=2412 CPUtime=0.29 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 413 0 0 0 29 0 0 0 19 0 1 0 275063862 2469888 396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 603 396 139 317 0 282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2412 [startup+0.701984 s] /proc/loadavg: 0.91 0.98 0.99 3/64 1147 /proc/meminfo: memFree=1790600/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=3068 CPUtime=0.69 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 598 0 0 0 69 0 0 0 22 0 1 0 275063862 3141632 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 767 581 139 317 0 446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3068 [startup+1.50106 s] /proc/loadavg: 0.91 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1788288/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=4628 CPUtime=1.49 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 959 0 0 0 149 0 0 0 25 0 1 0 275063862 4739072 942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 1157 942 139 317 0 836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4628 [startup+3.1012 s] /proc/loadavg: 0.91 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1786304/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=7168 CPUtime=3.09 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 1594 0 0 0 309 0 0 0 25 0 1 0 275063862 7340032 1577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717764 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 1792 1577 139 317 0 1471 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7168 [startup+6.30149 s] /proc/loadavg: 0.92 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1781768/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=10848 CPUtime=6.29 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 2505 0 0 0 629 0 0 0 25 0 1 0 275063862 11108352 2488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 2712 2488 139 317 0 2391 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10848 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1777360/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=15188 CPUtime=12.69 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 3560 0 0 0 1268 1 0 0 25 0 1 0 275063862 15552512 3543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 3797 3543 139 317 0 3476 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15188 [startup+25.5012 s] /proc/loadavg: 0.94 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1767056/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=25100 CPUtime=25.49 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 5999 0 0 0 2547 2 0 0 25 0 1 0 275063862 25702400 5982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 6275 5982 139 317 0 5954 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25100 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1758096/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=34000 CPUtime=51.07 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 8234 0 0 0 5104 3 0 0 25 0 1 0 275063862 34816000 8174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 8500 8174 139 317 0 8179 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34000 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1747984/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=44732 CPUtime=102.26 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 10768 0 0 0 10221 5 0 0 25 0 1 0 275063862 45805568 10708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 11183 10708 170 317 0 10862 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44732 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1148 /proc/meminfo: memFree=1740112/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=52480 CPUtime=162.25 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 12733 0 0 0 16218 7 0 0 25 0 1 0 275063862 53739520 12673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 13120 12673 170 317 0 12799 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 52480 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1735568/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=57432 CPUtime=222.24 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 13916 0 0 0 22216 8 0 0 25 0 1 0 275063862 58810368 13771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 14358 13771 170 317 0 14037 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 57432 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1729936/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=63172 CPUtime=282.22 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 15312 0 0 0 28214 8 0 0 25 0 1 0 275063862 64688128 15167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 15793 15167 170 317 0 15472 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 63172 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1727376/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=66136 CPUtime=342.21 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 15950 0 0 0 34212 9 0 0 25 0 1 0 275063862 67723264 15805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 16534 15805 170 317 0 16213 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 66136 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1724176/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=69608 CPUtime=402.2 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 16740 0 0 0 40210 10 0 0 25 0 1 0 275063862 71278592 16595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 17402 16595 170 317 0 17081 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 69608 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1720848/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=72956 CPUtime=462.18 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 17560 0 0 0 46207 11 0 0 25 0 1 0 275063862 74706944 17415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 18239 17415 170 317 0 17918 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 72956 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1717648/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=76404 CPUtime=522.16 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 18373 0 0 0 52204 12 0 0 25 0 1 0 275063862 78237696 18228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 19101 18228 170 317 0 18780 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 76404 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1714640/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=79272 CPUtime=582.15 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 19106 0 0 0 58202 13 0 0 25 0 1 0 275063862 81174528 18961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 19818 18961 170 317 0 19497 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 79272 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1709840/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=84432 CPUtime=642.14 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 20300 0 0 0 64200 14 0 0 25 0 1 0 275063862 86458368 20155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 21108 20155 170 317 0 20787 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 84432 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1699792/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=95024 CPUtime=882.07 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 22787 0 0 0 88190 17 0 0 25 0 1 0 275063862 97304576 22642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 23756 22642 170 317 0 23435 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 95024 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1696208/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=99008 CPUtime=942.06 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 23694 0 0 0 94188 18 0 0 25 0 1 0 275063862 101384192 23549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 24752 23549 170 317 0 24431 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 99008 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1694032/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=101372 CPUtime=1002.04 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 24240 0 0 0 100186 18 0 0 25 0 1 0 275063862 103804928 24095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 25343 24095 170 317 0 25022 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 101372 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1691728/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=103476 CPUtime=1062.03 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 24805 0 0 0 106184 19 0 0 25 0 1 0 275063862 105959424 24660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 25869 24660 170 317 0 25548 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 103476 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1689936/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=105652 CPUtime=1122.02 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 25244 0 0 0 112183 19 0 0 25 0 1 0 275063862 108187648 25099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 26413 25099 170 317 0 26092 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 105652 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1150 /proc/meminfo: memFree=1688208/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=107224 CPUtime=1182.01 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 25669 0 0 0 118181 20 0 0 25 0 1 0 275063862 109797376 25524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 26806 25524 170 317 0 26485 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 107224 [startup+1242.3 s] /proc/loadavg: 1.06 1.00 0.99 2/65 1150 /proc/meminfo: memFree=1686288/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=109128 CPUtime=1241.99 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 26147 0 0 0 124179 20 0 0 25 0 1 0 275063862 111747072 26002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 27282 26002 170 317 0 26961 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 109128 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 0.99 2/65 1150 /proc/meminfo: memFree=1683856/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=111916 CPUtime=1301.98 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 26802 0 0 0 130177 21 0 0 25 0 1 0 275063862 114601984 26591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 27979 26591 170 317 0 27658 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 111916 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 1.00 2/71 1324 /proc/meminfo: memFree=1680696/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=114552 CPUtime=1361.87 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 27489 0 0 0 136164 23 0 0 25 0 1 0 275063862 117301248 27042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 28638 27042 170 317 0 28317 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 114552 [startup+1422.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 1350 /proc/meminfo: memFree=1679824/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=116520 CPUtime=1421.85 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 28044 0 0 0 142161 24 0 0 25 0 1 0 275063862 119316480 27531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 29130 27531 170 317 0 28809 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 116520 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1675088/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=121424 CPUtime=1481.83 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 29224 0 0 0 148158 25 0 0 25 0 1 0 275063862 124338176 28711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 30356 28711 170 317 0 30035 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 121424 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1674256/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=122352 CPUtime=1541.81 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 29452 0 0 0 154156 25 0 0 25 0 1 0 275063862 125288448 28939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 30588 28939 170 317 0 30267 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 122352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1673360/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=123160 CPUtime=1601.8 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 29687 0 0 0 160155 25 0 0 25 0 1 0 275063862 126115840 29174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 30790 29174 170 317 0 30469 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 123160 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1671888/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=124864 CPUtime=1661.78 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 30035 0 0 0 166153 25 0 0 25 0 1 0 275063862 127860736 29522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 31216 29522 170 317 0 30895 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 124864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1670864/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=126036 CPUtime=1721.77 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 30293 0 0 0 172151 26 0 0 25 0 1 0 275063862 129060864 29780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 31509 29780 170 317 0 31188 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 126036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1669712/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=127340 CPUtime=1781.75 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 30612 0 0 0 178149 26 0 0 25 0 1 0 275063862 130396160 30066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 31835 30066 170 317 0 31514 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 127340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1669392/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=127600 CPUtime=1800.06 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 30689 0 0 0 179980 26 0 0 25 0 1 0 275063862 130662400 30143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 31900 30143 170 317 0 31579 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 127600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1350 /proc/meminfo: memFree=1669392/2055920 swapFree=4183864/4192956 [pid=1147] ppid=1145 vsize=127600 CPUtime=1800.25 /proc/1147/stat : 1147 (oree) R 1145 1147 30972 0 -1 4194304 30692 0 0 0 179999 26 0 0 25 0 1 0 275063862 130662400 30146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1147/statm: 31900 30146 170 317 0 31579 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 127600 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.32 CPU user time (s): 1800.03 CPU system time (s): 0.286956 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 127600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.286956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30708 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= 2963 runsolver used 1.45178 second user time and 3.52646 second system time The end
Begin job on node68 on Tue May 1 03:39:03 UTC 2007 IDJOB= 430007 IDBENCH= 47949 IDSOLVER= 172 FILE ID= node68/430007-1177990743 PBS_JOBID= 4727990 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=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb COMMAND LINE= oree /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-430007-1177990743 -o ROOT/results/node68/conversion-430007-1177990743 -C 600 -M 1800 /tmp/evaluation/430007-1177990743/substituteSizeProductKeyword /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-430007-1177990743 -o ROOT/results/node68/solver-430007-1177990743 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430007-1177990743/instance-430007-1177990743.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e RANDOM SEED= 566969621 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1790944 kB Buffers: 10940 kB Cached: 181332 kB SwapCached: 2888 kB Active: 63708 kB Inactive: 138732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790944 kB SwapTotal: 4192956 kB SwapFree: 4183864 kB Dirty: 1304 kB Writeback: 0 kB Mapped: 16112 kB Slab: 48596 kB Committed_AS: 3056968 kB PageTables: 1384 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 node68 on Tue May 1 04:09:06 UTC 2007