Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (MO) | 1699.63 | 1700.09 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
MD5SUM | 99680d01aa100bfba038606e315bf03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 431 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 431 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 497468 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 497468 |
Number of bits of the biggest sum of numbers | 19 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 18.69/18.77 c starting to Solve 18.69/18.77 c #variables read: 10000 - #constraints read: 656901 25.49/25.56 o 6442 25.69/25.72 o 6386 25.79/25.88 o 6358 25.99/26.03 o 6302 27.69/27.79 o 6290 27.89/27.94 o 6252 51.96/52.09 o 6240 52.16/52.28 o 6180 52.56/52.63 o 6029 52.67/52.78 o 6026 52.86/52.93 o 5963 53.36/53.40 o 5929 53.96/54.01 o 5901 54.87/54.95 o 5897 55.16/55.24 o 5886 55.26/55.39 o 5840 55.96/56.07 o 5832 56.66/56.75 o 5827 57.46/57.52 o 5813 57.66/57.71 o 5808 58.06/58.17 o 5772 58.26/58.32 o 5746 67.45/67.54 o 5729 446.96/447.13 o 5720 447.66/447.86 o 5691 447.86/448.03 o 5682 448.06/448.28 o 5677 448.36/448.55 o 5659 448.56/448.71 o 5649 448.76/448.92 o 5596 451.45/451.64 o 5590 451.65/451.81 o 5581 459.16/459.32 o 5554 461.86/462.06 o 5549 462.05/462.27 o 5535 462.25/462.44 o 5521 462.85/463.01 o 5520 462.95/463.19 o 5509 463.15/463.36 o 5465 465.45/465.61 o 5461 518.74/518.93 o 5458 518.84/519.10 o 5455 522.73/522.97 o 5454 995.22/995.50 o 5450 995.32/995.64 o 5439 1113.79/1114.20 o 5437 1124.48/1124.82 o 5432 1129.29/1129.66 o 5427 1131.59/1131.94 o 5423 1131.68/1132.08 o 5412 1131.88/1132.23 o 5411 1132.18/1132.53 o 5398 1134.38/1134.74 o 5363 1151.57/1151.94 o 5361 1162.97/1163.36 o 5359 1238.05/1238.47 o 5354 1247.65/1248.00 o 5346 1247.74/1248.15 o 5334 1249.65/1250.04 o 5332 1257.54/1257.99 o 5324 1262.35/1262.71 o 5304 1291.14/1291.53 o 5297 1291.24/1291.67 o 5286 1300.14/1300.50 o 5282 1300.24/1300.64 o 5271 1302.04/1302.47 o 5267 1302.24/1302.61 o 5256 1376.31/1376.80 o 5252 1408.41/1408.84 o 5250 1492.78/1493.21 o 5248 1492.98/1493.46 o 5234 1561.97/1562.49 o 5229 1573.76/1574.29 o 5206 1575.77/1576.20 o 5175
ERROR: no interpretation found !
/tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-352450-1176632364 -o ROOT/results/node19/solver-352450-1176632364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb 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.78 0.95 0.98 3/77 22879 /proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=2552 CPUtime=0 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 111153846 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7943962 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 638 228 193 16 0 77 0 [startup+0.055843 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22879 /proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=3748 CPUtime=0.05 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 573 0 0 0 5 0 0 0 18 0 1 0 111153846 3837952 543 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 937 543 199 16 0 376 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3748 [startup+0.101848 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22879 /proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=4416 CPUtime=0.09 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 111153846 4521984 694 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 1104 694 199 16 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4416 [startup+0.30187 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22879 /proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=6948 CPUtime=0.29 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 1370 0 0 0 29 0 0 0 19 0 1 0 111153846 7114752 1340 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 1737 1340 199 16 0 1176 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6948 [startup+0.701913 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22879 /proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=11876 CPUtime=0.69 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 2618 0 0 0 69 0 0 0 23 0 1 0 111153846 12161024 2588 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 2969 2588 199 16 0 2408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11876 [startup+1.502 s] /proc/loadavg: 0.78 0.95 0.98 2/78 22880 /proc/meminfo: memFree=1835528/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=21732 CPUtime=1.49 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 5066 0 0 0 147 2 0 0 25 0 1 0 111153846 22253568 5037 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 5433 5037 199 16 0 4872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21732 [startup+3.10117 s] /proc/loadavg: 0.78 0.95 0.98 2/78 22880 /proc/meminfo: memFree=1822088/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=40784 CPUtime=3.09 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 9837 0 0 0 306 3 0 0 25 0 1 0 111153846 41762816 9807 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 10196 9807 199 16 0 9635 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40784 [startup+6.30152 s] /proc/loadavg: 0.80 0.95 0.98 2/78 22880 /proc/meminfo: memFree=1782864/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=78748 CPUtime=6.29 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 19313 0 0 0 619 10 0 0 25 0 1 0 111153846 80637952 19283 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 19687 19283 199 16 0 19126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 78748 [startup+12.7012 s] /proc/loadavg: 0.81 0.95 0.98 2/78 22880 /proc/meminfo: memFree=1766864/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=85476 CPUtime=12.69 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 20723 0 0 0 1258 11 0 0 25 0 1 0 111153846 87527424 20693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 21369 20693 204 16 0 20808 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85476 [startup+25.5016 s] /proc/loadavg: 0.85 0.95 0.98 2/78 22880 /proc/meminfo: memFree=1757648/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=95448 CPUtime=25.49 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 23016 0 0 0 2536 13 0 0 25 0 1 0 111153846 97738752 22986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95448 [startup+51.1014 s] /proc/loadavg: 0.90 0.96 0.98 2/78 22880 /proc/meminfo: memFree=1757712/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=95448 CPUtime=51.06 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 23016 0 0 0 5092 14 0 0 25 0 1 0 111153846 97738752 22986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 95448 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 22880 /proc/meminfo: memFree=1721168/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=132136 CPUtime=102.25 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 32168 0 0 0 10204 21 0 0 25 0 1 0 111153846 135307264 32138 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 33034 32138 206 16 0 32473 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 132136 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1643024/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=211188 CPUtime=162.24 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 51918 0 0 0 16190 34 0 0 25 0 1 0 111153846 216256512 51888 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 52797 51888 206 16 0 52236 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211188 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1563472/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=289584 CPUtime=222.22 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 71540 0 0 0 22177 45 0 0 25 0 1 0 111153846 296534016 71510 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 72396 71510 206 16 0 71835 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 289584 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1506704/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=346776 CPUtime=282.2 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 85803 0 0 0 28167 53 0 0 25 0 1 0 111153846 355098624 85773 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 86694 85773 206 16 0 86133 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 346776 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1452816/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=400328 CPUtime=342.19 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 99158 0 0 0 34159 60 0 0 25 0 1 0 111153846 409935872 99128 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 100082 99128 206 16 0 99521 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 400328 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1398992/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=454356 CPUtime=402.17 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 112692 0 0 0 40150 67 0 0 25 0 1 0 111153846 465260544 112662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 113589 112662 206 16 0 113028 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 454356 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1337488/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=514952 CPUtime=462.15 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 127853 0 0 0 46137 78 0 0 25 0 1 0 111153846 527310848 127823 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134531555 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 128738 127823 206 16 0 128177 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 514952 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1266704/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=586852 CPUtime=522.13 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 145846 0 0 0 52125 88 0 0 25 0 1 0 111153846 600936448 145816 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 146713 145816 206 16 0 146152 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 586852 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1194704/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=657608 CPUtime=582.12 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 163531 0 0 0 58114 98 0 0 25 0 1 0 111153846 673390592 163501 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 164402 163501 206 16 0 163841 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 657608 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1127760/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=724572 CPUtime=642.11 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 180151 0 0 0 64104 107 0 0 25 0 1 0 111153846 741961728 180121 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 181143 180121 206 16 0 180582 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 724572 ################ # More data... # ################ [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=1010832/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=841216 CPUtime=762.08 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 209303 0 0 0 76084 124 0 0 25 0 1 0 111153846 861405184 209271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 210304 209271 206 16 0 209743 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 841216 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=920912/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=931808 CPUtime=822.06 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 231995 0 0 0 82068 138 0 0 25 0 1 0 111153846 954171392 231963 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 232952 231963 206 16 0 232391 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 931808 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=844176/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1007384 CPUtime=882.05 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 250877 0 0 0 88054 151 0 0 25 0 1 0 111153846 1031561216 250845 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 251846 250845 206 16 0 251285 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1007384 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=769104/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1083116 CPUtime=942.03 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 269831 0 0 0 94039 164 0 0 25 0 1 0 111153846 1109110784 269799 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 270779 269799 206 16 0 270218 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1083116 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=689552/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1161872 CPUtime=1002.01 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 289571 0 0 0 100024 177 0 0 25 0 1 0 111153846 1189756928 289539 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 290468 289539 206 16 0 289907 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1161872 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22880 /proc/meminfo: memFree=614672/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1238108 CPUtime=1062 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 308358 0 0 0 106011 189 0 0 25 0 1 0 111153846 1267822592 308326 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7922637 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 309527 308327 206 16 0 308966 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1238108 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=538320/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1313716 CPUtime=1121.99 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 327282 0 0 0 111997 202 0 0 25 0 1 0 111153846 1345245184 327250 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 328429 327250 206 16 0 327868 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1313716 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=467600/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1384520 CPUtime=1181.97 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 344952 0 0 0 117983 214 0 0 25 0 1 0 111153846 1417748480 344920 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 346130 344920 206 16 0 345569 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1384520 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=402000/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1449648 CPUtime=1241.95 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 361216 0 0 0 123969 226 0 0 25 0 1 0 111153846 1484439552 361184 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 362412 361184 206 16 0 361851 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1449648 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=342224/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1508700 CPUtime=1301.94 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 376028 0 0 0 129956 238 0 0 25 0 1 0 111153846 1544908800 375996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 377175 375996 206 16 0 376614 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1508700 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=284816/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1566464 CPUtime=1361.92 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 390473 0 0 0 135942 250 0 0 25 0 1 0 111153846 1604059136 390441 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 391616 390441 206 16 0 391055 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1566464 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=230928/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1620080 CPUtime=1421.91 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 403844 0 0 0 141930 261 0 0 25 0 1 0 111153846 1658961920 403812 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 405020 403812 206 16 0 404459 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1620080 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=181456/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1669948 CPUtime=1481.89 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 416303 0 0 0 147918 271 0 0 25 0 1 0 111153846 1710026752 416271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 417487 416271 206 16 0 416926 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1669948 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=128080/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1722696 CPUtime=1541.88 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 429491 0 0 0 153905 283 0 0 25 0 1 0 111153846 1764040704 429459 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 430674 429459 206 16 0 430113 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1722696 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=80272/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1771004 CPUtime=1601.85 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 441524 0 0 0 159892 293 0 0 25 0 1 0 111153846 1813508096 441492 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 442751 441492 206 16 0 442190 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1771004 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=33680/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1817048 CPUtime=1661.84 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 453044 0 0 0 165882 302 0 0 25 0 1 0 111153846 1860657152 453012 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 454262 453012 206 16 0 453701 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1817048 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1699.8 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=14864/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=1843240 CPUtime=1699.34 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 459586 0 0 0 169629 305 0 0 25 0 1 0 111153846 1887477760 459554 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 460810 459554 206 16 0 460249 0 Current children cumulated CPU time (s) 1699.34 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1700 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22882 /proc/meminfo: memFree=14864/2055920 swapFree=4159528/4192956 [pid=22879] ppid=22877 vsize=0 CPUtime=1699.53 /proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4195332 459586 0 0 0 169629 324 0 0 25 0 1 0 111153846 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/22879/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1699.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1700.09 CPU time (s): 1699.63 CPU user time (s): 1696.29 CPU system time (s): 3.33849 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1696.29 system time used= 3.33849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459586 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= 11 involuntary context switches= 34329 runsolver used 2.06868 second user time and 4.01439 second system time The end
Begin job on node19 on Sun Apr 15 10:19:25 UTC 2007 IDJOB= 352450 IDBENCH= 1976 IDSOLVER= 165 FILE ID= node19/352450-1176632364 PBS_JOBID= 4556859 Free space on /tmp= 66526 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= Pueblo /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-352450-1176632364 -o ROOT/results/node19/conversion-352450-1176632364 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-352450-1176632364 -o ROOT/results/node19/solver-352450-1176632364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED= 673191372 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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 : 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.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: 1849256 kB Buffers: 24636 kB Cached: 107764 kB SwapCached: 2172 kB Active: 52768 kB Inactive: 102192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849256 kB SwapTotal: 4192956 kB SwapFree: 4159528 kB Dirty: 19304 kB Writeback: 0 kB Mapped: 30704 kB Slab: 37240 kB Committed_AS: 2869404 kB PageTables: 1784 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= 66526 MiB End job on node19 on Sun Apr 15 10:47:47 UTC 2007