Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.77 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb |
MD5SUM | c67056006c43da82eed6e7cbb40287a1 |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 16.5735 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 68 |
Total number of constraints | 2 |
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 | 2 |
Minimum length of a constraint | 68 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 58925135 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 568217345 |
Number of bits of the biggest sum of numbers | 30 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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=68 #constraints=2 hasObjective=no 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.29/0.30 c restart after 401 decisions 0.39/0.41 c nbDecision=500 #constraints=486 0.79/0.82 c restart after 801 decisions 1.19/1.20 c nbDecision=1000 #constraints=975 2.69/2.76 c nbDecision=1500 #constraints=1476 3.09/3.20 c restart after 1601 decisions 5.09/5.15 c nbDecision=2000 #constraints=1967 8.79/8.88 c nbDecision=2500 #constraints=2468 13.49/13.55 c nbDecision=3000 #constraints=2969 15.78/15.86 c restart after 3201 decisions 19.58/19.67 c nbDecision=3500 #constraints=3465 26.68/26.73 c nbDecision=4000 #constraints=3962 35.19/35.22 c nbDecision=4500 #constraints=4461 43.68/43.75 c nbDecision=5000 #constraints=4961 53.08/53.12 c nbDecision=5500 #constraints=5463 65.47/65.56 c nbDecision=6000 #constraints=5961 78.27/78.35 c restart after 6401 decisions 81.47/81.56 c nbDecision=6500 #constraints=6455 97.87/97.95 c nbDecision=7000 #constraints=6955 117.67/117.74 c nbDecision=7500 #constraints=7447 140.15/140.27 c nbDecision=8000 #constraints=7944 163.04/163.13 c nbDecision=8500 #constraints=8442 190.04/190.10 c nbDecision=9000 #constraints=8946 217.24/217.33 c nbDecision=9500 #constraints=9445 243.92/244.03 c nbDecision=10000 #constraints=9942 272.52/272.63 c nbDecision=10500 #constraints=10444 302.32/302.41 c nbDecision=11000 #constraints=10946 331.51/331.61 c nbDecision=11500 #constraints=11442 366.70/366.85 c nbDecision=12000 #constraints=11946 402.69/402.82 c nbDecision=12500 #constraints=12444 423.68/423.84 c restart after 12801 decisions 438.18/438.35 c nbDecision=13000 #constraints=12931 476.77/476.90 c nbDecision=13500 #constraints=13426 518.55/518.77 c nbDecision=14000 #constraints=13928 562.75/562.90 c nbDecision=14500 #constraints=14429 601.03/601.29 c nbDecision=15000 #constraints=14931 644.63/644.81 c nbDecision=15500 #constraints=15427 689.81/690.04 c nbDecision=16000 #constraints=15929 735.40/735.63 c nbDecision=16500 #constraints=16428 784.29/784.57 c nbDecision=17000 #constraints=16927 834.18/834.47 c nbDecision=17500 #constraints=17428 878.77/879.09 c nbDecision=18000 #constraints=17930 932.15/932.45 c nbDecision=18500 #constraints=18428 981.24/981.57 c nbDecision=19000 #constraints=18932 1030.13/1030.40 c nbDecision=19500 #constraints=19433 1076.02/1076.36 c nbDecision=20000 #constraints=19927 1124.31/1124.61 c nbDecision=20500 #constraints=20429 1173.39/1173.77 c nbDecision=21000 #constraints=20929 1222.92/1223.32 c nbDecision=21500 #constraints=21427 1278.49/1278.90 c nbDecision=22000 #constraints=21931 1332.38/1332.83 c nbDecision=22500 #constraints=22432 1386.76/1387.23 c nbDecision=23000 #constraints=22930 1443.75/1444.27 c nbDecision=23500 #constraints=23428 1509.13/1509.62 c nbDecision=24000 #constraints=23926 1577.72/1578.28 c nbDecision=24500 #constraints=24427 1643.29/1643.81 c nbDecision=25000 #constraints=24930 1709.99/1710.53 c nbDecision=25500 #constraints=25431 1722.38/1722.93 c restart after 25601 decisions 1771.86/1772.45 c nbDecision=26000 #constraints=25918 1800.07/1800.61 Received signal 15 1800.17/1800.74 1800.17/1800.74 s UNKNOWN 1800.17/1800.74 1800.17/1800.74 c user time= 1799.96 s 1800.17/1800.74 c system time= 0.25696 s 1800.17/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-365739-1176997274 -o ROOT/results/node27/solver-365739-1176997274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.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 0.99 0.99 3/65 26252 /proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=1468 CPUtime=0 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 112423296 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 367 167 138 317 0 46 0 [startup+0.0445089 s] /proc/loadavg: 1.00 0.99 0.99 3/65 26252 /proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=1732 CPUtime=0.04 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 241 0 0 0 4 0 0 0 18 0 1 0 112423296 1773568 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 433 223 138 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.101514 s] /proc/loadavg: 1.00 0.99 0.99 3/65 26252 /proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=2112 CPUtime=0.09 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 334 0 0 0 9 0 0 0 18 0 1 0 112423296 2162688 316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564085 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 528 316 138 317 0 207 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2112 [startup+0.301534 s] /proc/loadavg: 1.00 0.99 0.99 3/65 26252 /proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=3020 CPUtime=0.29 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 112423296 3092480 548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 755 548 138 317 0 434 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3020 [startup+0.701574 s] /proc/loadavg: 1.00 0.99 0.99 3/65 26252 /proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=4204 CPUtime=0.69 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 879 0 0 0 69 0 0 0 22 0 1 0 112423296 4304896 861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 1051 861 139 317 0 730 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4204 [startup+1.50166 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1429080/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=5944 CPUtime=1.49 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 1260 0 0 0 149 0 0 0 25 0 1 0 112423296 6086656 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 1486 1242 139 317 0 1165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5944 [startup+3.10182 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1427096/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=7520 CPUtime=3.09 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 1687 0 0 0 309 0 0 0 25 0 1 0 112423296 7700480 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 1880 1669 139 317 0 1559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7520 [startup+6.30114 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1424600/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=10212 CPUtime=6.29 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 2276 0 0 0 628 1 0 0 25 0 1 0 112423296 10457088 2258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 2553 2258 139 317 0 2232 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10212 [startup+12.7018 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1421216/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=12724 CPUtime=12.69 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 2954 0 0 0 1267 2 0 0 25 0 1 0 112423296 13029376 2936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711020 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 3181 2936 139 317 0 2860 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12724 [startup+25.5011 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1417440/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=16124 CPUtime=25.49 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 3841 0 0 0 2546 3 0 0 25 0 1 0 112423296 16510976 3823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 4031 3823 139 317 0 3710 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16124 [startup+51.1017 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1411360/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=22964 CPUtime=51.08 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 5367 0 0 0 5103 5 0 0 25 0 1 0 112423296 23515136 5349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 5741 5349 139 317 0 5420 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22964 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1405152/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=28612 CPUtime=102.27 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 6889 0 0 0 10221 6 0 0 25 0 1 0 112423296 29298688 6871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 7153 6871 139 317 0 6832 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28612 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1399328/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=35948 CPUtime=162.25 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 8419 0 0 0 16218 7 0 0 25 0 1 0 112423296 36810752 8344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 8987 8344 139 317 0 8666 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35948 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1394912/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=40656 CPUtime=222.24 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 9487 0 0 0 22215 9 0 0 25 0 1 0 112423296 41631744 9412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 10164 9412 139 317 0 9843 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 40656 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1390944/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=44248 CPUtime=282.22 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 10471 0 0 0 28212 10 0 0 25 0 1 0 112423296 45309952 10396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 11062 10396 139 317 0 10741 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44248 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1387104/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=48140 CPUtime=342.21 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 11427 0 0 0 34210 11 0 0 25 0 1 0 112423296 49295360 11352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 12035 11352 139 317 0 11714 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 48140 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1383968/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=50928 CPUtime=402.19 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 12189 0 0 0 40208 11 0 0 25 0 1 0 112423296 52150272 12114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 12732 12114 139 317 0 12411 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 50928 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1381024/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=53616 CPUtime=462.18 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 12922 0 0 0 46206 12 0 0 25 0 1 0 112423296 54902784 12847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 13404 12847 139 317 0 13083 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 53616 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1378592/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=56160 CPUtime=522.16 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 13574 0 0 0 52203 13 0 0 25 0 1 0 112423296 57507840 13499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 14040 13499 139 317 0 13719 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 56160 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/66 26253 /proc/meminfo: memFree=1375968/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=58660 CPUtime=582.14 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 14232 0 0 0 58201 13 0 0 25 0 1 0 112423296 60067840 14157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 14665 14157 139 317 0 14344 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 58660 [startup+642.302 s] /proc/loadavg: 1.04 1.00 1.00 2/66 26253 /proc/meminfo: memFree=1373216/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=61684 CPUtime=642.13 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 14905 0 0 0 64199 14 0 0 25 0 1 0 112423296 63164416 14830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 15421 14830 139 317 0 15100 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 61684 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.06 1.05 1.01 2/66 26253 /proc/meminfo: memFree=1363040/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=75976 CPUtime=882.07 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 18307 0 0 0 88190 17 0 0 25 0 1 0 112423296 77799424 17360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 18994 17360 139 317 0 18673 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 75976 [startup+942.302 s] /proc/loadavg: 1.02 1.04 1.00 2/66 26253 /proc/meminfo: memFree=1360928/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=77936 CPUtime=942.05 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 18861 0 0 0 94188 17 0 0 25 0 1 0 112423296 79806464 17881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 19484 17881 139 317 0 19163 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 77936 [startup+1002.3 s] /proc/loadavg: 1.01 1.03 1.00 2/66 26253 /proc/meminfo: memFree=1358496/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=80180 CPUtime=1002.04 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 19468 0 0 0 100186 18 0 0 25 0 1 0 112423296 82104320 18488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 20045 18488 139 317 0 19724 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 80180 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 26253 /proc/meminfo: memFree=1356256/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=82276 CPUtime=1062.02 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 20043 0 0 0 106183 19 0 0 25 0 1 0 112423296 84250624 19063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 20569 19063 139 317 0 20248 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 82276 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 26253 /proc/meminfo: memFree=1353824/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=84644 CPUtime=1122.01 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 20677 0 0 0 112181 20 0 0 25 0 1 0 112423296 86675456 19664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 21161 19664 139 317 0 20840 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 84644 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 26253 /proc/meminfo: memFree=1351456/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=86840 CPUtime=1182 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 21312 0 0 0 118179 21 0 0 25 0 1 0 112423296 88924160 20266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 21710 20266 139 317 0 21389 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 86840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1348744/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=88924 CPUtime=1241.9 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 21865 0 0 0 124169 21 0 0 25 0 1 0 112423296 91058176 20819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 22231 20819 139 317 0 21910 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 88924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1346912/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=90756 CPUtime=1301.89 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 22373 0 0 0 130167 22 0 0 25 0 1 0 112423296 92934144 21327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 22689 21327 139 317 0 22368 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 90756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1344864/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=92708 CPUtime=1361.87 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 22927 0 0 0 136165 22 0 0 25 0 1 0 112423296 94932992 21848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 23177 21848 139 317 0 22856 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 92708 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1342752/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=95048 CPUtime=1421.85 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 23534 0 0 0 142163 22 0 0 25 0 1 0 112423296 97329152 22356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 23762 22356 139 317 0 23441 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 95048 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1341152/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=97000 CPUtime=1481.84 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24077 0 0 0 148161 23 0 0 25 0 1 0 112423296 99328000 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 24250 22800 139 317 0 23929 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 97000 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1339488/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=98556 CPUtime=1541.82 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24521 0 0 0 154159 23 0 0 25 0 1 0 112423296 100921344 23211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 24639 23211 139 317 0 24318 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 98556 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1337760/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=100132 CPUtime=1601.81 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24947 0 0 0 160157 24 0 0 25 0 1 0 112423296 102535168 23637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 25033 23637 139 317 0 24712 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 100132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1336224/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=101740 CPUtime=1661.79 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 25334 0 0 0 166155 24 0 0 25 0 1 0 112423296 104181760 24024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 25435 24024 139 317 0 25114 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 101740 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1334496/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=103424 CPUtime=1721.78 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 25772 0 0 0 172153 25 0 0 25 0 1 0 112423296 105906176 24462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 25856 24462 139 317 0 25535 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 103424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1332704/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=104980 CPUtime=1781.76 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26220 0 0 0 178151 25 0 0 25 0 1 0 112423296 107499520 24910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 26245 24910 139 317 0 25924 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 104980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1332000/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=105500 CPUtime=1800.07 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26386 0 0 0 179982 25 0 0 25 0 1 0 112423296 108032000 25076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 26375 25076 139 317 0 26054 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 105500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26451 /proc/meminfo: memFree=1332000/2055920 swapFree=4179984/4192956 [pid=26252] ppid=26250 vsize=105500 CPUtime=1800.17 /proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26386 0 0 0 179992 25 0 0 25 0 1 0 112423296 108032000 25076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26252/statm: 26375 25076 139 317 0 26054 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 105500 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.23 CPU user time (s): 1799.96 CPU system time (s): 0.275958 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 105500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.275958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26402 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= 2655 runsolver used 1.45678 second user time and 3.65144 second system time The end
Begin job on node27 on Thu Apr 19 15:41:14 UTC 2007 IDJOB= 365739 IDBENCH= 2557 IDSOLVER= 172 FILE ID= node27/365739-1176997274 PBS_JOBID= 4630447 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww3.opb COMMAND LINE= oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-365739-1176997274 -o ROOT/results/node27/solver-365739-1176997274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c67056006c43da82eed6e7cbb40287a1 RANDOM SEED= 190032671 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1432888 kB Buffers: 35396 kB Cached: 511564 kB SwapCached: 6696 kB Active: 54600 kB Inactive: 504776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1432888 kB SwapTotal: 4192956 kB SwapFree: 4179984 kB Dirty: 1304 kB Writeback: 0 kB Mapped: 15456 kB Slab: 49704 kB Committed_AS: 1692004 kB PageTables: 1412 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= 66376 MiB End job on node27 on Thu Apr 19 16:11:17 UTC 2007