Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (MO) | 1595.2 | 1595.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 443 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
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 | 492823 |
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 | 492823 |
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 17.39/17.48 c starting to Solve 17.39/17.48 c #variables read: 10000 - #constraints read: 656901 23.48/23.56 o 7109 23.98/24.08 o 6647 24.18/24.23 o 6616 24.37/24.48 o 6569 24.57/24.64 o 6552 24.77/24.80 o 6544 46.16/46.30 o 6429 46.36/46.45 o 6409 46.56/46.61 o 6406 46.66/46.77 o 6386 46.86/46.93 o 6384 47.05/47.19 o 6374 47.26/47.36 o 6371 47.45/47.51 o 6332 47.55/47.67 o 6309 47.75/47.84 o 6308 48.55/48.64 o 6281 52.15/52.29 o 6274 52.35/52.45 o 6258 81.93/82.08 o 6239 82.13/82.28 o 6176 82.33/82.47 o 6133 82.63/82.71 o 6114 82.93/83.04 o 6111 83.13/83.24 o 6103 83.33/83.45 o 6097 83.53/83.66 o 6071 83.73/83.85 o 6034 83.93/84.09 o 6021 84.13/84.28 o 5974 84.53/84.65 o 5972 84.83/84.91 o 5932 85.13/85.25 o 5923 85.33/85.49 o 5873 99.73/99.85 o 5865 99.93/100.05 o 5864 100.13/100.23 o 5863 100.23/100.40 o 5855 100.43/100.53 o 5850 100.63/100.75 o 5845 100.72/100.90 o 5840 101.22/101.37 o 5829 101.42/101.50 o 5824 101.52/101.64 o 5813 101.62/101.78 o 5808 106.92/107.04 o 5785 107.02/107.18 o 5768 107.22/107.32 o 5740 107.32/107.46 o 5723 107.52/107.63 o 5700 107.62/107.77 o 5683 107.92/108.01 o 5671 108.02/108.15 o 5670 108.12/108.29 o 5653 108.42/108.50 o 5640 108.52/108.69 o 5575 108.72/108.83 o 5573 108.92/109.00 o 5562 109.02/109.14 o 5560 110.32/110.43 o 5557 110.72/110.82 o 5544 116.31/116.41 o 5539 116.42/116.55 o 5526 116.52/116.69 o 5513 117.21/117.32 o 5512 117.31/117.46 o 5499
ERROR: no interpretation found !
/tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-352281-1176628025 -o ROOT/results/node74/solver-352281-1176628025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352281-1176628025/instance-352281-1176628025.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.99 0.98 0.98 3/66 31087 /proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=2552 CPUtime=0 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 110717258 2613248 232 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546924 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 638 233 193 16 0 77 0 [startup+0.0261261 s] /proc/loadavg: 0.99 0.98 0.98 3/66 31087 /proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=3216 CPUtime=0.02 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 422 0 0 0 2 0 0 0 18 0 1 0 110717258 3293184 392 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 804 392 193 16 0 243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3216 [startup+0.101134 s] /proc/loadavg: 0.99 0.98 0.98 3/66 31087 /proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=4416 CPUtime=0.09 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 749 0 0 0 9 0 0 0 18 0 1 0 110717258 4521984 719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 1104 719 199 16 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4416 [startup+0.301156 s] /proc/loadavg: 0.99 0.98 0.98 3/66 31087 /proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=7212 CPUtime=0.29 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 1439 0 0 0 29 0 0 0 19 0 1 0 110717258 7385088 1409 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134547134 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 1803 1409 199 16 0 1242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7212 [startup+0.701202 s] /proc/loadavg: 0.99 0.98 0.98 3/66 31087 /proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=12540 CPUtime=0.69 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 2775 0 0 0 68 1 0 0 23 0 1 0 110717258 12840960 2745 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134543011 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 3135 2745 199 16 0 2574 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12540 [startup+1.5013 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1752784/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=23064 CPUtime=1.49 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 5390 0 0 0 147 2 0 0 25 0 1 0 110717258 23617536 5360 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10217247 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 5766 5360 199 16 0 5205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23064 [startup+3.10149 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1738448/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=43448 CPUtime=3.09 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 10499 0 0 0 305 4 0 0 25 0 1 0 110717258 44490752 10469 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10217172 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 10862 10469 199 16 0 10301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43448 [startup+6.30185 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1696272/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=83428 CPUtime=6.29 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 20367 0 0 0 619 10 0 0 25 0 1 0 110717258 85430272 20337 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 20857 20337 204 16 0 20296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 83428 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1684888/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=85476 CPUtime=12.68 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 20771 0 0 0 1258 10 0 0 25 0 1 0 110717258 87527424 20741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532442 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 21369 20741 204 16 0 20808 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85476 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1675864/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=95448 CPUtime=25.47 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 23016 0 0 0 2536 11 0 0 25 0 1 0 110717258 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 95448 [startup+51.102 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1675736/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=95448 CPUtime=51.05 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 23016 0 0 0 5093 12 0 0 25 0 1 0 110717258 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 95448 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1627544/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=143932 CPUtime=102.23 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 35131 0 0 0 10203 20 0 0 25 0 1 0 110717258 147386368 35101 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 0 0 0 /proc/31087/statm: 35983 35101 206 16 0 35422 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 143932 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1529944/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=242200 CPUtime=162.18 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 59683 0 0 0 16184 34 0 0 25 0 1 0 110717258 248012800 59653 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 60550 59653 206 16 0 59989 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 242200 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1445080/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=326404 CPUtime=222.16 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 80694 0 0 0 22169 47 0 0 25 0 1 0 110717258 334237696 80664 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10192507 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 81601 80664 206 16 0 81040 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 326404 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1356696/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=414824 CPUtime=282.14 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 102815 0 0 0 28151 63 0 0 25 0 1 0 110717258 424779776 102785 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 103706 102785 206 16 0 103145 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 414824 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1275608/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=496144 CPUtime=342.13 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 123012 0 0 0 34135 78 0 0 25 0 1 0 110717258 508051456 122982 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 124036 122982 206 16 0 123475 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 496144 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1197464/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=575000 CPUtime=402.12 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 142764 0 0 0 40120 92 0 0 25 0 1 0 110717258 588800000 142734 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 143750 142734 206 16 0 143189 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 575000 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1112280/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=658644 CPUtime=462.1 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 163706 0 0 0 46103 107 0 0 25 0 1 0 110717258 674451456 163676 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 164661 163676 206 16 0 164100 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 658644 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=1030872/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=741048 CPUtime=522.08 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 184325 0 0 0 52090 118 0 0 25 0 1 0 110717258 758833152 184295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 185262 184295 206 16 0 184701 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 741048 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=979288/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=791556 CPUtime=582.07 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 196940 0 0 0 58082 125 0 0 25 0 1 0 110717258 810553344 196906 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 197889 196906 206 16 0 197328 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 791556 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=947928/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=822340 CPUtime=642.05 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 204641 0 0 0 64077 128 0 0 25 0 1 0 110717258 842076160 204606 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 205585 204606 206 16 0 205024 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 822340 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=919512/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=851040 CPUtime=702.03 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 211847 0 0 0 70071 132 0 0 25 0 1 0 110717258 871464960 211811 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 212760 211811 206 16 0 212199 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 851040 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=850392/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=919632 CPUtime=762.02 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 228989 0 0 0 76058 144 0 0 25 0 1 0 110717258 941703168 228953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 229908 228953 206 16 0 229347 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 919632 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=782360/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=989020 CPUtime=822.01 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 246107 0 0 0 82047 154 0 0 25 0 1 0 110717258 1012756480 246071 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 247255 246071 206 16 0 246694 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 989020 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=713432/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1057416 CPUtime=881.99 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 263201 0 0 0 88034 165 0 0 25 0 1 0 110717258 1082793984 263164 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 264354 263164 206 16 0 263793 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1057416 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=648152/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1123332 CPUtime=941.97 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 279656 0 0 0 94022 175 0 0 25 0 1 0 110717258 1150291968 279619 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 280833 279619 206 16 0 280272 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1123332 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=574616/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1196128 CPUtime=1001.96 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 297863 0 0 0 100011 185 0 0 25 0 1 0 110717258 1224835072 297826 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 299032 297826 206 16 0 298471 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1196128 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=499800/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1271364 CPUtime=1061.94 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 316695 0 0 0 105998 196 0 0 25 0 1 0 110717258 1301876736 316658 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 317841 316658 206 16 0 317280 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1271364 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=428248/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1342116 CPUtime=1121.92 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 334388 0 0 0 111986 206 0 0 25 0 1 0 110717258 1374326784 334350 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 335529 334350 206 16 0 334968 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1342116 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=362264/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1408736 CPUtime=1181.9 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 351042 0 0 0 117973 217 0 0 25 0 1 0 110717258 1442545664 351004 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 352184 351004 206 16 0 351623 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1408736 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=291224/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1478896 CPUtime=1241.89 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 368594 0 0 0 123960 229 0 0 25 0 1 0 110717258 1514389504 368556 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 369724 368556 206 16 0 369163 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1478896 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=224984/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1544400 CPUtime=1301.88 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 384985 0 0 0 129949 239 0 0 25 0 1 0 110717258 1581465600 384947 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 386100 384947 206 16 0 385539 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1544400 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=160600/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1609216 CPUtime=1361.85 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 401211 0 0 0 135937 248 0 0 25 0 1 0 110717258 1647837184 401173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 402304 401173 206 16 0 401743 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1609216 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=92312/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1676836 CPUtime=1421.85 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 418109 0 0 0 141927 258 0 0 25 0 1 0 110717258 1717080064 418071 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 419209 418071 206 16 0 418648 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1676836 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=31960/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1737396 CPUtime=1481.82 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 433262 0 0 0 147915 267 0 0 25 0 1 0 110717258 1779093504 433224 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 434349 433224 206 16 0 433788 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1737396 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/67 31088 /proc/meminfo: memFree=15448/2055920 swapFree=4191892/4192956 [pid=31087] ppid=31085 vsize=1792304 CPUtime=1541.81 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 446979 0 0 0 153904 277 0 0 25 0 1 0 110717258 1835319296 446941 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 448076 446941 206 16 0 447515 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1792304 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1595.4 s] /proc/loadavg: 1.03 1.00 0.99 2/67 31088 /proc/meminfo: memFree=15704/2055920 swapFree=4183824/4192956 [pid=31087] ppid=31085 vsize=1843420 CPUtime=1594.9 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 459755 0 0 0 159203 287 0 0 25 0 1 0 110717258 1887662080 459717 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 460855 459717 206 16 0 460294 0 Current children cumulated CPU time (s) 1594.9 Current children cumulated vsize (KiB) 1843420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1595.6 s] /proc/loadavg: 1.03 1.00 0.99 2/67 31088 /proc/meminfo: memFree=15704/2055920 swapFree=4183824/4192956 [pid=31087] ppid=31085 vsize=0 CPUtime=1595.09 /proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4195332 459755 0 0 0 159203 306 0 0 25 0 1 0 110717258 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/31087/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1595.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1595.7 CPU time (s): 1595.2 CPU user time (s): 1592.04 CPU system time (s): 3.15952 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1843440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1592.04 system time used= 3.15952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459755 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= 1947 runsolver used 1.71874 second user time and 3.65044 second system time The end
Begin job on node74 on Sun Apr 15 09:07:05 UTC 2007 IDJOB= 352281 IDBENCH= 1963 IDSOLVER= 165 FILE ID= node74/352281-1176628025 PBS_JOBID= 4557069 Free space on /tmp= 103226 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_11.opb.PB06.opb COMMAND LINE= Pueblo /tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-352281-1176628025 -o ROOT/results/node74/conversion-352281-1176628025 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-352281-1176628025 -o ROOT/results/node74/solver-352281-1176628025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED= 18325277 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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: 1767536 kB Buffers: 18000 kB Cached: 153576 kB SwapCached: 396 kB Active: 57876 kB Inactive: 130964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767536 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 19104 kB Writeback: 0 kB Mapped: 26264 kB Slab: 85404 kB Committed_AS: 1462076 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103226 MiB End job on node74 on Sun Apr 15 09:33:43 UTC 2007