Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=11-P1=37-P2=37-P3=29-B.opb |
MD5SUM | cbe543752cefcfc8b074d7a209a42328 |
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.038993 |
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 | 54 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 108 |
Sum of products size (including duplicates) | 216 |
Number of different products | 108 |
Sum of products size | 216 |
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=162 #constraints=227 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.19/0.28 c restart after 401 decisions 0.29/0.35 c nbDecision=500 #constraints=669 0.59/0.65 c restart after 801 decisions 0.79/0.84 c nbDecision=1000 #constraints=1108 1.49/1.57 c nbDecision=1500 #constraints=1565 1.79/1.83 c restart after 1601 decisions 2.59/2.63 c nbDecision=2000 #constraints=2017 4.18/4.29 c nbDecision=2500 #constraints=2473 6.99/7.09 c nbDecision=3000 #constraints=2935 8.69/8.78 c restart after 3201 decisions 11.28/11.34 c nbDecision=3500 #constraints=3393 16.89/16.95 c nbDecision=4000 #constraints=3849 22.99/23.01 c nbDecision=4500 #constraints=4318 30.88/30.96 c nbDecision=5000 #constraints=4765 40.18/40.21 c nbDecision=5500 #constraints=5225 51.17/51.26 c nbDecision=6000 #constraints=5680 61.36/61.42 c restart after 6401 decisions 62.87/62.97 c nbDecision=6500 #constraints=6091 79.26/79.30 c nbDecision=7000 #constraints=6570 93.86/93.97 c nbDecision=7500 #constraints=7027 110.85/110.90 c nbDecision=8000 #constraints=7495 134.85/134.92 c nbDecision=8500 #constraints=7975 159.73/159.84 c nbDecision=9000 #constraints=8463 181.43/181.54 c nbDecision=9500 #constraints=8918 205.81/205.95 c nbDecision=10000 #constraints=9379 229.51/229.67 c nbDecision=10500 #constraints=9844 257.30/257.47 c nbDecision=11000 #constraints=10330 287.39/287.50 c nbDecision=11500 #constraints=10816 325.48/325.66 c nbDecision=12000 #constraints=11304 361.47/361.68 c nbDecision=12500 #constraints=11784 381.26/381.47 c restart after 12801 decisions 396.15/396.30 c nbDecision=13000 #constraints=12232 436.34/436.55 c nbDecision=13500 #constraints=12711 480.72/480.99 c nbDecision=14000 #constraints=13182 525.50/525.74 c nbDecision=14500 #constraints=13674 566.39/566.68 c nbDecision=15000 #constraints=14118 615.98/616.28 c nbDecision=15500 #constraints=14574 667.65/667.93 c nbDecision=16000 #constraints=15018 714.84/715.10 c nbDecision=16500 #constraints=15494 758.72/759.04 c nbDecision=17000 #constraints=15973 805.31/805.66 c nbDecision=17500 #constraints=16418 863.19/863.54 c nbDecision=18000 #constraints=16907 924.76/925.15 c nbDecision=18500 #constraints=17399 981.24/981.68 c nbDecision=19000 #constraints=17850 1044.23/1044.68 c nbDecision=19500 #constraints=18328 1109.60/1110.08 c nbDecision=20000 #constraints=18821 1181.57/1182.11 c nbDecision=20500 #constraints=19314 1255.04/1255.70 c nbDecision=21000 #constraints=19810 1297.53/1298.12 c nbDecision=21500 #constraints=20243 1337.12/1337.71 c nbDecision=22000 #constraints=20664 1412.99/1413.65 c nbDecision=22500 #constraints=21112 1493.36/1494.00 c nbDecision=23000 #constraints=21553 1564.03/1564.74 c nbDecision=23500 #constraints=21959 1634.91/1635.68 c nbDecision=24000 #constraints=22341 1708.99/1709.78 c nbDecision=24500 #constraints=22758 1800.06/1800.80 Received signal 15 1800.06/1800.83 1800.06/1800.83 s UNKNOWN 1800.06/1800.83 1800.06/1800.83 c user time= 1799.81 s 1800.06/1800.83 c system time= 0.283956 s 1800.06/1800.83 c wall clock time=1800.84
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb mv /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb.tmp /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-429699-1177987349 -o ROOT/results/node20/solver-429699-1177987349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429699-1177987349/instance-429699-1177987349.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.96 0.98 0.99 3/77 7310 /proc/meminfo: memFree=1819488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=1600 CPUtime=0 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 246652227 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 400 185 139 317 0 79 0 [startup+0.0230119 s] /proc/loadavg: 0.96 0.98 0.99 3/77 7310 /proc/meminfo: memFree=1819488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=1600 CPUtime=0.02 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 214 0 0 0 2 0 0 0 18 0 1 0 246652227 1638400 197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 400 197 139 317 0 79 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1600 [startup+0.101029 s] /proc/loadavg: 0.96 0.98 0.99 3/77 7310 /proc/meminfo: memFree=1819488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=1860 CPUtime=0.09 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 325 0 0 0 9 0 0 0 18 0 1 0 246652227 1904640 308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742735 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 465 308 170 317 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1860 [startup+0.301069 s] /proc/loadavg: 0.96 0.98 0.99 3/77 7310 /proc/meminfo: memFree=1819488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=2384 CPUtime=0.29 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 455 0 0 0 29 0 0 0 19 0 1 0 246652227 2441216 438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278901 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 596 439 170 317 0 275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2384 [startup+0.70115 s] /proc/loadavg: 0.96 0.98 0.99 3/77 7310 /proc/meminfo: memFree=1819488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=3332 CPUtime=0.69 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 667 0 0 0 69 0 0 0 23 0 1 0 246652227 3411968 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 833 650 170 317 0 512 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3332 [startup+1.50131 s] /proc/loadavg: 0.96 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1816856/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=4644 CPUtime=1.49 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 990 0 0 0 149 0 0 0 25 0 1 0 246652227 4755456 973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 1161 973 170 317 0 840 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4644 [startup+3.10264 s] /proc/loadavg: 0.96 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1815512/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=6088 CPUtime=3.09 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 1376 0 0 0 309 0 0 0 25 0 1 0 246652227 6234112 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 1522 1359 170 317 0 1201 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6088 [startup+6.30128 s] /proc/loadavg: 0.96 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1813344/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=7788 CPUtime=6.29 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 1764 0 0 0 628 1 0 0 25 0 1 0 246652227 7974912 1747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 1947 1747 170 317 0 1626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7788 [startup+12.7016 s] /proc/loadavg: 0.97 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1811488/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=9380 CPUtime=12.68 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 2172 0 0 0 1267 1 0 0 25 0 1 0 246652227 9605120 2155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 2345 2155 170 317 0 2024 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9380 [startup+25.5012 s] /proc/loadavg: 0.97 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1809056/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=12048 CPUtime=25.48 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 2758 0 0 0 2546 2 0 0 25 0 1 0 246652227 12337152 2741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 3012 2741 170 317 0 2691 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12048 [startup+51.1014 s] /proc/loadavg: 0.98 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1806112/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=14904 CPUtime=51.07 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 3486 0 0 0 5104 3 0 0 25 0 1 0 246652227 15261696 3469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 3726 3469 170 317 0 3405 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14904 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1802528/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=18536 CPUtime=102.26 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 4375 0 0 0 10221 5 0 0 25 0 1 0 246652227 18980864 4358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 4634 4358 170 317 0 4313 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18536 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1799392/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=21936 CPUtime=162.23 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 5169 0 0 0 16217 6 0 0 25 0 1 0 246652227 22462464 5094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 5484 5094 170 317 0 5163 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21936 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1796896/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=24584 CPUtime=222.21 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 5826 0 0 0 22213 8 0 0 25 0 1 0 246652227 25174016 5751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558699 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 6146 5751 170 317 0 5825 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 24584 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1794656/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=26920 CPUtime=282.19 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 6392 0 0 0 28210 9 0 0 25 0 1 0 246652227 27566080 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 6730 6317 170 317 0 6409 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 26920 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1792928/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=28804 CPUtime=342.16 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 6829 0 0 0 34207 9 0 0 25 0 1 0 246652227 29495296 6754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 7201 6754 170 317 0 6880 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 28804 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1791136/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=30708 CPUtime=402.15 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 7266 0 0 0 40205 10 0 0 25 0 1 0 246652227 31444992 7191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 7677 7191 170 317 0 7356 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 30708 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1789280/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=32816 CPUtime=462.12 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 7719 0 0 0 46201 11 0 0 25 0 1 0 246652227 33603584 7644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 8204 7644 170 317 0 7883 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 32816 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1787872/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=34104 CPUtime=522.1 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 8075 0 0 0 52198 12 0 0 25 0 1 0 246652227 34922496 8000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 8526 8000 170 317 0 8205 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 34104 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7311 /proc/meminfo: memFree=1786528/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=35472 CPUtime=582.08 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 8408 0 0 0 58195 13 0 0 25 0 1 0 246652227 36323328 8333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 8868 8333 170 317 0 8547 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 35472 [startup+642.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1785312/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=36920 CPUtime=642.07 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 8718 0 0 0 64193 14 0 0 25 0 1 0 246652227 37806080 8643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 9230 8643 170 317 0 8909 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 36920 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1781344/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=41056 CPUtime=822 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 9710 0 0 0 82184 16 0 0 25 0 1 0 246652227 42041344 9635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 10264 9635 170 317 0 9943 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 41056 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1779936/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=42816 CPUtime=881.98 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 10157 0 0 0 88181 17 0 0 25 0 1 0 246652227 43843584 9968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 10704 9968 170 317 0 10383 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 42816 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1778848/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=44004 CPUtime=941.96 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 10440 0 0 0 94178 18 0 0 25 0 1 0 246652227 45060096 10251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 11001 10251 170 317 0 10680 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 44004 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1777632/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=45256 CPUtime=1001.93 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 10733 0 0 0 100175 18 0 0 25 0 1 0 246652227 46342144 10544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 11314 10544 170 317 0 10993 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 45256 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7311 /proc/meminfo: memFree=1776736/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=46300 CPUtime=1061.92 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 10998 0 0 0 106173 19 0 0 25 0 1 0 246652227 47411200 10809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 11575 10809 170 317 0 11254 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 46300 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 7385 /proc/meminfo: memFree=1774368/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=47284 CPUtime=1121.85 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 11251 0 0 0 112166 19 0 0 25 0 1 0 246652227 48418816 11062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 11821 11062 170 317 0 11500 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 47284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1774368/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=48584 CPUtime=1181.77 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 11551 0 0 0 118157 20 0 0 25 0 1 0 246652227 49750016 11329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 12146 11329 170 317 0 11825 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 48584 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1773472/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=49504 CPUtime=1241.75 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 11782 0 0 0 124154 21 0 0 25 0 1 0 246652227 50692096 11560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 12376 11560 170 317 0 12055 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 49504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1772192/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=50704 CPUtime=1301.73 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 12101 0 0 0 130151 22 0 0 25 0 1 0 246652227 51920896 11879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604130 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 12676 11879 170 317 0 12355 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 50704 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1770912/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=52012 CPUtime=1361.71 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 12436 0 0 0 136148 23 0 0 25 0 1 0 246652227 53260288 12214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 13003 12214 170 317 0 12682 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 52012 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1770080/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=53064 CPUtime=1421.69 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 12673 0 0 0 142145 24 0 0 25 0 1 0 246652227 54337536 12418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 13266 12418 170 317 0 12945 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 53064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1769184/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=54112 CPUtime=1481.66 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 12922 0 0 0 148142 24 0 0 25 0 1 0 246652227 55410688 12634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 13528 12634 170 317 0 13207 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 54112 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1767968/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=55688 CPUtime=1541.64 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 13226 0 0 0 154139 25 0 0 25 0 1 0 246652227 57024512 12938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 13922 12938 170 317 0 13601 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 55688 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1767200/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=56344 CPUtime=1601.62 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 13413 0 0 0 160136 26 0 0 25 0 1 0 246652227 57696256 13125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 14086 13125 170 317 0 13765 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 56344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1766432/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=57264 CPUtime=1661.6 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 13641 0 0 0 166134 26 0 0 25 0 1 0 246652227 58638336 13320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 14316 13320 170 317 0 13995 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 57264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1765600/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=57916 CPUtime=1721.58 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 13843 0 0 0 172131 27 0 0 25 0 1 0 246652227 59305984 13522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 14479 13522 170 317 0 14158 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 57916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1764896/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=58572 CPUtime=1781.56 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 14020 0 0 0 178128 28 0 0 25 0 1 0 246652227 59977728 13699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 14643 13699 170 317 0 14322 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 58572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7509 /proc/meminfo: memFree=1764704/2055920 swapFree=4154876/4192956 [pid=7310] ppid=7308 vsize=58704 CPUtime=1800.06 /proc/7310/stat : 7310 (oree) R 7308 7310 32348 0 -1 4194304 14064 0 0 0 179978 28 0 0 25 0 1 0 246652227 60112896 13743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7310/statm: 14676 13743 170 317 0 14355 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 58704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.11 CPU user time (s): 1799.82 CPU system time (s): 0.293955 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 58704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.293955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14080 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= 35889 runsolver used 1.38379 second user time and 4.14037 second system time The end
Begin job on node20 on Tue May 1 02:42:29 UTC 2007 IDJOB= 429699 IDBENCH= 47927 IDSOLVER= 172 FILE ID= node20/429699-1177987349 PBS_JOBID= 4728191 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=11-P1=37-P2=37-P3=29-B.opb COMMAND LINE= oree /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-429699-1177987349 -o ROOT/results/node20/conversion-429699-1177987349 -C 600 -M 1800 /tmp/evaluation/429699-1177987349/substituteSizeProductKeyword /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-429699-1177987349 -o ROOT/results/node20/solver-429699-1177987349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429699-1177987349/instance-429699-1177987349.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= cbe543752cefcfc8b074d7a209a42328 RANDOM SEED= 269676521 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1819896 kB Buffers: 45988 kB Cached: 97840 kB SwapCached: 16448 kB Active: 102140 kB Inactive: 68900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819896 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 34092 kB Slab: 50480 kB Committed_AS: 2329972 kB PageTables: 1756 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 node20 on Tue May 1 03:12:32 UTC 2007