Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
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.150976 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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=528 #constraints=788 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.59/0.64 c restart after 401 decisions 0.69/0.78 c nbDecision=500 #constraints=1224 1.29/1.37 c restart after 801 decisions 1.69/1.73 c nbDecision=1000 #constraints=1667 2.69/2.73 c nbDecision=1500 #constraints=2156 2.89/2.91 c restart after 1601 decisions 3.99/4.08 c nbDecision=2000 #constraints=2607 5.09/5.10 c nbDecision=2500 #constraints=3083 5.89/6.00 c nbDecision=3000 #constraints=3559 6.49/6.56 c restart after 3201 decisions 7.69/7.79 c nbDecision=3500 #constraints=4018 10.09/10.18 c nbDecision=4000 #constraints=4512 12.29/12.31 c nbDecision=4500 #constraints=4979 13.89/13.95 c nbDecision=5000 #constraints=5420 17.59/17.64 c nbDecision=5500 #constraints=5915 21.78/21.84 c nbDecision=6000 #constraints=6382 25.38/25.49 c restart after 6401 decisions 26.08/26.16 c nbDecision=6500 #constraints=6819 32.38/32.48 c nbDecision=7000 #constraints=7287 38.29/38.38 c nbDecision=7500 #constraints=7717 44.48/44.50 c nbDecision=8000 #constraints=8157 53.97/54.09 c nbDecision=8500 #constraints=8606 65.37/65.46 c nbDecision=9000 #constraints=9081 77.57/77.64 c nbDecision=9500 #constraints=9554 90.56/90.63 c nbDecision=10000 #constraints=9976 107.67/107.74 c nbDecision=10500 #constraints=10420 119.36/119.42 c nbDecision=11000 #constraints=10863 132.76/132.84 c nbDecision=11500 #constraints=11306 150.05/150.13 c nbDecision=12000 #constraints=11784 164.65/164.75 c nbDecision=12500 #constraints=12230 173.35/173.43 c restart after 12801 decisions 175.45/175.56 c nbDecision=13000 #constraints=12653 206.33/206.48 c nbDecision=13500 #constraints=13100 243.23/243.36 c nbDecision=14000 #constraints=13574 262.62/262.74 c nbDecision=14500 #constraints=14027 291.11/291.23 c nbDecision=15000 #constraints=14507 316.31/316.47 c nbDecision=15500 #constraints=14959 348.79/348.99 c nbDecision=16000 #constraints=15454 372.49/372.60 c nbDecision=16500 #constraints=15912 403.08/403.21 c nbDecision=17000 #constraints=16373 431.98/432.16 c nbDecision=17500 #constraints=16852 459.57/459.78 c nbDecision=18000 #constraints=17312 488.17/488.36 c nbDecision=18500 #constraints=17784 516.76/517.00 c nbDecision=19000 #constraints=18246 565.25/565.48 c nbDecision=19500 #constraints=18685 621.02/621.20 c nbDecision=20000 #constraints=19150 658.62/658.89 c nbDecision=20500 #constraints=19614 697.80/698.01 c nbDecision=21000 #constraints=20085 733.60/733.83 c nbDecision=21500 #constraints=20534 769.29/769.50 c nbDecision=22000 #constraints=21003 798.38/798.68 c nbDecision=22500 #constraints=21457 822.18/822.43 c nbDecision=23000 #constraints=21934 889.56/889.87 c nbDecision=23500 #constraints=22409 942.84/943.13 c nbDecision=24000 #constraints=22866 1000.63/1000.96 c nbDecision=24500 #constraints=23339 1057.61/1057.98 c nbDecision=25000 #constraints=23812 1106.70/1107.00 c nbDecision=25500 #constraints=24269 1118.09/1118.40 c restart after 25601 decisions 1125.20/1125.55 c nbDecision=26000 #constraints=24723 1200.47/1200.87 c nbDecision=26500 #constraints=25212 1282.16/1282.53 c nbDecision=27000 #constraints=25703 1351.14/1351.54 c nbDecision=27500 #constraints=26169 1413.91/1414.38 c nbDecision=28000 #constraints=26636 1504.59/1505.01 c nbDecision=28500 #constraints=27102 1593.48/1593.98 c nbDecision=29000 #constraints=27581 1684.45/1684.98 c nbDecision=29500 #constraints=28053 1754.53/1755.01 c nbDecision=30000 #constraints=28527 1800.02/1800.50 Received signal 15 1800.02/1800.54 1800.02/1800.54 s UNKNOWN 1800.02/1800.54 1800.02/1800.54 c user time= 1799.8 s 1800.02/1800.54 c system time= 0.272958 s 1800.02/1800.54 c wall clock time=1800.54
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb mv /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb.tmp /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-431575-1178007804 -o ROOT/results/node57/solver-431575-1178007804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431575-1178007804/instance-431575-1178007804.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: 1.00 1.00 1.00 3/64 28730 /proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=1468 CPUtime=0 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 241916436 1503232 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 367 173 132 317 0 46 0 [startup+0.0103371 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28730 /proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=1732 CPUtime=0 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 241916436 1773568 241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 433 241 139 317 0 112 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1732 [startup+0.102345 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28730 /proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=1996 CPUtime=0.09 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 314 0 0 0 9 0 0 0 18 0 1 0 241916436 2043904 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 499 297 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.302362 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28730 /proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=2388 CPUtime=0.29 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 428 0 0 0 29 0 0 0 19 0 1 0 241916436 2445312 411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 597 412 139 317 0 276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2388 [startup+0.702396 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28730 /proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=3440 CPUtime=0.69 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 667 0 0 0 69 0 0 0 22 0 1 0 241916436 3522560 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272549 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 860 650 139 317 0 539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3440 [startup+1.50147 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1799928/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=5012 CPUtime=1.49 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 1054 0 0 0 149 0 0 0 25 0 1 0 241916436 5132288 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564085 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 1253 1037 139 317 0 932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5012 [startup+3.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1797624/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=7864 CPUtime=3.1 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 1775 0 0 0 309 1 0 0 25 0 1 0 241916436 8052736 1758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 1966 1758 139 317 0 1645 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7864 [startup+6.30188 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1791800/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=13404 CPUtime=6.29 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 3155 0 0 0 628 1 0 0 25 0 1 0 241916436 13725696 3138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 3351 3138 139 317 0 3030 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13404 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1785208/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=18952 CPUtime=12.68 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 4521 0 0 0 1266 2 0 0 25 0 1 0 241916436 19406848 4504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 4738 4505 139 317 0 4417 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18952 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1777784/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=26176 CPUtime=25.48 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 6335 0 0 0 2545 3 0 0 25 0 1 0 241916436 26804224 6275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 6544 6275 170 317 0 6223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26176 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1770872/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=33164 CPUtime=51.08 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 8066 0 0 0 5103 5 0 0 25 0 1 0 241916436 33959936 8006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 8291 8006 170 317 0 7970 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33164 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28731 /proc/meminfo: memFree=1763960/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=40348 CPUtime=102.27 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 9772 0 0 0 10220 7 0 0 25 0 1 0 241916436 41316352 9712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 10087 9712 170 317 0 9766 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40348 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 28731 /proc/meminfo: memFree=1755960/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=48356 CPUtime=162.25 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 11786 0 0 0 16217 8 0 0 25 0 1 0 241916436 49516544 11726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 12089 11726 170 317 0 11768 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 48356 [startup+222.302 s] /proc/loadavg: 1.09 1.04 1.01 2/65 28731 /proc/meminfo: memFree=1751608/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=53160 CPUtime=222.23 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 12928 0 0 0 22214 9 0 0 25 0 1 0 241916436 54435840 12783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 13290 12783 170 317 0 12969 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 53160 [startup+282.302 s] /proc/loadavg: 1.03 1.03 1.00 2/65 28731 /proc/meminfo: memFree=1747384/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=57672 CPUtime=282.21 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 13987 0 0 0 28211 10 0 0 25 0 1 0 241916436 59056128 13842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 14418 13842 170 317 0 14097 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 57672 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 28731 /proc/meminfo: memFree=1743544/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=61752 CPUtime=342.2 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 14942 0 0 0 34209 11 0 0 25 0 1 0 241916436 63234048 14797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 15438 14797 170 317 0 15117 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 61752 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 28733 /proc/meminfo: memFree=1739704/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=65680 CPUtime=402.18 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 15895 0 0 0 40206 12 0 0 25 0 1 0 241916436 67256320 15750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711192 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 16420 15750 170 317 0 16099 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 65680 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28733 /proc/meminfo: memFree=1735672/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=69628 CPUtime=462.17 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 16878 0 0 0 46204 13 0 0 25 0 1 0 241916436 71299072 16733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 17407 16733 170 317 0 17086 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 69628 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1730936/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=75340 CPUtime=522.15 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 18062 0 0 0 52201 14 0 0 25 0 1 0 241916436 77148160 17917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 18835 17917 170 317 0 18514 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 75340 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1728696/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=77296 CPUtime=582.14 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 18616 0 0 0 58199 15 0 0 25 0 1 0 241916436 79151104 18471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 19324 18471 170 317 0 19003 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 77296 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1726200/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=79680 CPUtime=642.13 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 19236 0 0 0 64197 16 0 0 25 0 1 0 241916436 81592320 19091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 19920 19091 170 317 0 19599 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 79680 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1715192/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=91000 CPUtime=882.05 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 21977 0 0 0 88186 19 0 0 25 0 1 0 241916436 93184000 21832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 22750 21832 170 317 0 22429 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 91000 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1713080/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=93528 CPUtime=942.04 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 22508 0 0 0 94184 20 0 0 25 0 1 0 241916436 95772672 22363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 23382 22363 170 317 0 23061 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 93528 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1711224/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=95224 CPUtime=1002.02 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 22951 0 0 0 100182 20 0 0 25 0 1 0 241916436 97509376 22806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 23806 22806 170 317 0 23485 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 95224 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1709176/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=97516 CPUtime=1062.01 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 23463 0 0 0 106180 21 0 0 25 0 1 0 241916436 99856384 23318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 24379 23318 170 317 0 24058 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 97516 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1706488/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=100336 CPUtime=1121.99 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 24130 0 0 0 112178 21 0 0 25 0 1 0 241916436 102744064 23985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 25084 23985 170 317 0 24763 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 100336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1704248/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=103372 CPUtime=1181.98 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 24847 0 0 0 118176 22 0 0 25 0 1 0 241916436 105852928 24533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 25843 24533 170 317 0 25522 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 103372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1702840/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=104804 CPUtime=1241.97 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 25197 0 0 0 124174 23 0 0 25 0 1 0 241916436 107319296 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 26201 24883 170 317 0 25880 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 104804 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1701240/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=106380 CPUtime=1301.95 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 25586 0 0 0 130172 23 0 0 25 0 1 0 241916436 108933120 25272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 26595 25272 170 317 0 26274 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 106380 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1699512/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=108460 CPUtime=1361.93 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26073 0 0 0 136170 23 0 0 25 0 1 0 241916436 111063040 25660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 27115 25660 170 317 0 26794 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 108460 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1697912/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=110400 CPUtime=1421.91 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26541 0 0 0 142168 23 0 0 25 0 1 0 241916436 113049600 26095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563346 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 27600 26095 170 317 0 27279 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 110400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1696824/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=111316 CPUtime=1481.9 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26812 0 0 0 148166 24 0 0 25 0 1 0 241916436 113987584 26366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 27829 26366 170 317 0 27508 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 111316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1695544/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=112716 CPUtime=1541.88 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27143 0 0 0 154164 24 0 0 25 0 1 0 241916436 115421184 26697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 28179 26697 170 317 0 27858 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 112716 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1694264/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=113888 CPUtime=1601.87 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27455 0 0 0 160162 25 0 0 25 0 1 0 241916436 116621312 27009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 28472 27009 170 317 0 28151 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 113888 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1693048/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=115192 CPUtime=1661.85 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27783 0 0 0 166160 25 0 0 25 0 1 0 241916436 117956608 27304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 28798 27304 170 317 0 28477 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 115192 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1691768/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=116360 CPUtime=1721.84 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28094 0 0 0 172158 26 0 0 25 0 1 0 241916436 119152640 27615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 29090 27615 170 317 0 28769 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 116360 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1689784/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=118228 CPUtime=1781.83 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28588 0 0 0 178156 27 0 0 25 0 1 0 241916436 121065472 28109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 29557 28109 170 317 0 29236 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 118228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1689272/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=118884 CPUtime=1800.02 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28718 0 0 0 179975 27 0 0 25 0 1 0 241916436 121737216 28239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 29721 28239 170 317 0 29400 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 118884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28733 /proc/meminfo: memFree=1689272/2055920 swapFree=4183136/4192956 [pid=28730] ppid=28728 vsize=118884 CPUtime=1800.02 /proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28718 0 0 0 179975 27 0 0 25 0 1 0 241916436 121737216 28239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28730/statm: 29721 28239 170 317 0 29400 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 118884 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.1 CPU user time (s): 1799.8 CPU system time (s): 0.291955 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 118884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.291955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28734 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= 1240 runsolver used 1.45278 second user time and 3.47647 second system time The end
Begin job on node57 on Tue May 1 08:23:25 UTC 2007 IDJOB= 431575 IDBENCH= 48061 IDSOLVER= 172 FILE ID= node57/431575-1178007804 PBS_JOBID= 4728300 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= oree /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-431575-1178007804 -o ROOT/results/node57/conversion-431575-1178007804 -C 600 -M 1800 /tmp/evaluation/431575-1178007804/substituteSizeProductKeyword /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-431575-1178007804 -o ROOT/results/node57/solver-431575-1178007804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED= 313782120 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1802968 kB Buffers: 24684 kB Cached: 159776 kB SwapCached: 3628 kB Active: 22912 kB Inactive: 171700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802968 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 1316 kB Writeback: 0 kB Mapped: 15464 kB Slab: 44360 kB Committed_AS: 3717016 kB PageTables: 1408 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 node57 on Tue May 1 08:53:27 UTC 2007