Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.12 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb |
MD5SUM | 08913f3dd730f4c3a659694fd4c06001 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3591 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3591 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 10575 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524466 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 20152 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524466 |
Number of bits of the biggest sum of numbers | 20 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/351831-1176614856/instance-351831-1176614856.opb ...... 0.00/0.01 c done parsing opb. 0.00/0.01 o 48513 0.00/0.03 o 48386 0.09/0.10 o 46812 0.19/0.29 o 43835 0.29/0.31 o 38334 0.39/0.41 o 38170 0.59/0.63 o 38138 0.80/0.81 o 38003 1.00/1.07 o 37844 1.10/1.10 o 37583 1.19/1.24 o 37532 1.39/1.47 o 37517 1.39/1.49 o 37502 1.49/1.58 o 28086 1.59/1.60 o 28049 1.59/1.68 o 28044 2.39/2.46 o 27930 2.58/2.68 o 27887 3.20/3.29 o 27870 3.39/3.40 o 27720 3.99/4.05 o 27659 4.29/4.36 o 27651 4.89/4.91 o 27565 5.49/5.52 o 27553 6.39/6.47 o 27443 7.39/7.40 o 27442 7.59/7.69 o 27393 8.38/8.45 o 27325 9.19/9.21 o 27292 9.90/9.99 o 27245 11.79/11.87 o 27214 12.09/12.11 o 27032 13.49/13.54 o 27029 13.79/13.88 o 26952 14.58/14.68 o 26865 15.49/15.57 o 26761 16.99/17.05 o 26590 16.99/17.05 o 26554 18.69/18.71 o 26358 21.38/21.42 o 26300 22.58/22.67 o 26100 25.59/25.70 o 26090 26.78/26.85 o 26079 28.48/28.54 o 25893 31.38/31.43 o 25846 33.17/33.29 o 25752 35.38/35.40 o 25618 37.07/37.14 o 25600 40.28/40.33 o 25477 41.87/41.94 o 25411 43.88/43.97 o 25383 45.08/45.11 o 25348 45.47/45.56 o 25278 46.67/46.76 o 25257 47.27/47.34 o 25091 48.77/48.85 o 25036 49.17/49.28 o 24947 50.47/50.55 o 24849 51.17/51.23 o 24777 51.68/51.71 o 24706 53.27/53.38 o 24605 54.27/54.34 o 24561 56.07/56.18 o 24556 56.77/56.87 o 24383 57.47/57.59 o 24331 58.37/58.43 o 24279 58.37/58.50 o 24204 58.97/59.04 o 24172 60.66/60.72 o 24148 61.77/61.80 o 24044 64.17/64.29 o 24031 66.26/66.31 o 24021 68.76/68.84 o 24000 68.96/69.02 o 23829 70.46/70.52 o 23784 72.06/72.19 o 23758 74.16/74.29 o 23580 75.96/76.06 o 23489 76.86/76.94 o 23332 76.96/77.03 o 23276 78.46/78.59 o 23206 79.36/79.48 o 23190 81.75/81.83 o 23108 84.06/84.14 o 23086 84.86/84.90 o 23027 84.96/85.01 o 22958 85.86/85.95 o 22907 85.95/86.09 o 22875 87.65/87.74 o 22840 91.76/91.88 o 22817 92.86/92.91 o 22680 94.05/94.19 o 22631 96.36/96.49 o 22519 97.05/97.14 o 22423 97.35/97.46 o 22223 98.86/98.94 o 22196 99.75/99.85 o 21993 100.15/100.20 o 21979 100.75/100.80 o 21974 101.15/101.24 o 21850 101.35/101.48 o 21815 101.55/101.66 o 21788 102.15/102.22 o 21729 103.45/103.53 o 21727 103.94/104.01 o 21706 104.54/104.68 o 21515 104.74/104.86 o 21442 104.94/105.02 o 21399 105.04/105.19 o 21340 105.35/105.41 o 21309 105.45/105.58 o 21279 105.55/105.68 o 21081 105.65/105.77 o 21076 106.05/106.19 o 21065 106.75/106.88 o 21044 107.04/107.16 o 21021 108.05/108.11 o 20913 108.15/108.21 o 20864 108.65/108.80 o 20835 110.95/111.01 o 20804 114.44/114.57 o 20796 114.75/114.81 o 20646 115.15/115.23 o 20529 115.45/115.59 o 20472 115.84/115.92 o 20292 116.55/116.66 o 20256 116.84/116.92 o 20219 117.44/117.50 o 20159 117.94/118.09 o 20068 118.14/118.27 o 20047 118.54/118.61 o 19957 118.84/118.95 o 19944 119.14/119.26 o 19877 120.95/121.05 o 19735 121.14/121.26 o 19725 121.84/121.97 o 19714 122.74/122.88 o 19693 122.84/122.99 o 19618 123.44/123.55 o 19578 123.44/123.58 o 19531 123.84/123.97 o 19339 123.84/123.98 o 19307 124.34/124.48 o 19180 124.84/124.91 o 19087 125.34/125.48 o 18935 127.03/127.19 o 18894 127.24/127.39 o 18846 128.14/128.27 o 18724 128.64/128.71 o 18595 128.94/129.08 o 18556 129.74/129.85 o 18496 130.94/131.06 o 18311 131.44/131.50 o 18251 132.13/132.26 o 18056 132.63/132.76 o 18030 133.94/134.00 o 18013 133.94/134.01 o 17986 134.84/134.93 o 17905 135.73/135.86 o 17778 138.14/138.22 o 17734 140.23/140.34 o 17605 141.23/141.31 o 17603 142.13/142.30 o 17527 142.63/142.74 o 17451 144.13/144.30 o 17428 145.13/145.27 o 17237 146.13/146.23 o 17115 149.63/149.74 o 17024 151.63/151.71 o 16834 154.22/154.38 o 16822 157.12/157.23 o 16761 158.33/158.45 o 16661 158.33/158.48 o 16640 161.92/162.09 o 16612 164.03/164.12 o 16473 164.22/164.38 o 16389 164.42/164.53 o 16277 166.32/166.46 o 16209 168.82/168.92 o 16190 170.62/170.71 o 16093 171.32/171.43 o 15994 173.01/173.13 o 15961 173.63/173.72 o 15825 175.32/175.42 o 15783 175.62/175.70 o 15733 177.81/177.96 o 15692 178.02/178.16 o 15551 181.11/181.22 o 15457 181.61/181.70 o 15441 182.62/182.75 o 15406 185.31/185.49 o 15365 186.41/186.53 o 15363 187.51/187.65 o 15350 188.81/188.99 o 15213 191.21/191.35 o 15123 193.41/193.53 o 15067 194.41/194.54 o 15007 195.31/195.43 o 14970 195.51/195.64 o 14910 197.92/198.06 o 14880 199.31/199.42 o 14852 199.81/199.91 o 14652 201.50/201.67 o 14629 205.20/205.40 o 14622 208.60/208.75 o 14503 208.91/209.05 o 14392 211.60/211.78 o 14224 212.00/212.18 o 14159 213.40/213.57 o 14150 216.20/216.33 o 14046 217.60/217.74 o 13987 220.50/220.68 o 13961 220.70/220.87 o 13902 222.20/222.38 o 13875 224.20/224.39 o 13860 224.79/224.90 o 13842 230.19/230.32 o 13804 230.59/230.77 o 13608 231.49/231.68 o 13432 231.89/232.02 o 13426 233.99/234.17 o 13309 234.39/234.55 o 13307 234.99/235.11 o 13290 237.29/237.47 o 13248 237.50/237.66 o 13187 238.99/239.13 o 12995 239.89/240.02 o 12929 240.49/240.62 o 12818 240.79/240.94 o 12782 245.99/246.17 o 12594 250.49/250.70 o 12558 251.88/252.02 o 12497 259.38/259.59 o 12431 262.18/262.39 o 12366 264.68/264.84 o 12330 265.68/265.83 o 12149 267.78/267.97 o 12063 270.58/270.76 o 12017 278.87/279.00 o 12001 283.68/283.85 o 11808 284.67/284.80 o 11794 289.67/289.86 o 11735 309.36/309.52 o 11658 310.16/310.38 o 11597 341.55/341.79 o 11539 342.25/342.49 o 11506 360.35/360.54 o 11462 376.04/376.28 o 11385 399.83/400.06 o 11265 406.52/406.70 o 11202 411.53/411.73 o 11187 414.12/414.31 o 11091 420.42/420.61 o 11074 437.71/437.91 o 10954 440.92/441.17 o 10884 443.21/443.49 o 10828 452.10/452.35 o 10816 459.10/459.37 o 10644 463.20/463.47 o 10634 469.00/469.22 o 10476 473.10/473.36 o 10424 481.89/482.14 o 10412 483.50/483.79 o 10290 485.09/485.32 o 10221 488.99/489.24 o 10201 492.28/492.54 o 10194 496.29/496.54 o 10129 497.19/497.40 o 10060 508.78/509.02 o 9895 513.68/513.91 o 9821 517.68/517.99 o 9754 520.47/520.79 o 9624 524.37/524.69 o 9592 545.87/546.10 o 9403 566.27/566.55 o 9310 577.45/577.73 o 9175 617.24/617.50 o 9111 650.63/650.99 o 8947 679.61/679.95 o 8933 701.61/701.95 o 8852 707.01/707.31 o 8820 724.90/725.27 o 8784 734.50/734.87 o 8778 744.49/744.80 o 8754 828.15/828.50 o 8675 835.65/836.01 o 8654 836.35/836.79 o 8608 839.25/839.68 o 8526 919.13/919.57 o 8334 922.12/922.57 o 8258 943.32/943.79 o 8204 1065.37/1065.89 o 8179 1078.67/1079.11 o 7998 1160.33/1160.85 o 7928 1236.50/1237.09 o 7845 1305.18/1305.79 o 7840 1335.86/1336.48 o 7714 1411.54/1412.14 o 7671 1485.00/1485.62 o 7580 1518.89/1519.53 o 7475 1800.09/1800.80 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351831-1176614856/instance-351831-1176614856.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-351831-1176614856 -o ROOT/results/node33/solver-351831-1176614856 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351831-1176614856/PBS4 /tmp/evaluation/351831-1176614856/instance-351831-1176614856.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.96 1.00 1.00 3/77 14516 /proc/meminfo: memFree=1542072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=1456 CPUtime=0 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 109401059 1490944 142 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0 /proc/14516/statm: 364 142 87 219 0 141 0 [startup+0.0845231 s] /proc/loadavg: 0.96 1.00 1.00 3/77 14516 /proc/meminfo: memFree=1542072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=1612 CPUtime=0.07 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 264 0 0 0 7 0 0 0 18 0 1 0 109401059 1650688 246 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 403 246 102 219 0 180 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1612 [startup+0.101526 s] /proc/loadavg: 0.96 1.00 1.00 3/77 14516 /proc/meminfo: memFree=1542072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=1868 CPUtime=0.09 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 292 0 0 0 9 0 0 0 18 0 1 0 109401059 1912832 274 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 467 275 103 219 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.301567 s] /proc/loadavg: 0.96 1.00 1.00 3/77 14516 /proc/meminfo: memFree=1542072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=2532 CPUtime=0.29 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 109401059 2592768 392 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 633 392 103 219 0 410 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2532 [startup+0.701649 s] /proc/loadavg: 0.96 1.00 1.00 3/77 14516 /proc/meminfo: memFree=1542072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=3704 CPUtime=0.69 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 712 0 0 0 69 0 0 0 23 0 1 0 109401059 3792896 694 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 926 694 103 219 0 703 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3704 [startup+1.50181 s] /proc/loadavg: 0.96 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1539376/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=6076 CPUtime=1.49 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 1070 0 0 0 148 1 0 0 25 0 1 0 109401059 6221824 1052 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 1519 1052 103 219 0 1296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6076 [startup+3.10114 s] /proc/loadavg: 0.96 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1537072/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=6532 CPUtime=3.09 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 1400 0 0 0 306 3 0 0 25 0 1 0 109401059 6688768 1333 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 1633 1333 104 219 0 1410 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6532 [startup+6.3018 s] /proc/loadavg: 0.96 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1535984/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=11280 CPUtime=6.29 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 2032 0 0 0 625 4 0 0 25 0 1 0 109401059 11550720 1868 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 2820 1868 104 219 0 2597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11280 [startup+12.7011 s] /proc/loadavg: 0.96 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1531632/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=11940 CPUtime=12.69 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 2940 0 0 0 1261 8 0 0 25 0 1 0 109401059 12226560 2776 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 2985 2776 104 219 0 2762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11940 [startup+25.5017 s] /proc/loadavg: 0.97 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1523504/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=21980 CPUtime=25.49 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 5004 0 0 0 2535 14 0 0 25 0 1 0 109401059 22507520 4647 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 5495 4647 104 219 0 5272 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21980 [startup+51.102 s] /proc/loadavg: 0.98 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1519216/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=41676 CPUtime=51.07 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 6559 0 0 0 5087 20 0 0 25 0 1 0 109401059 42676224 5817 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 10419 5817 104 219 0 10196 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41676 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14517 /proc/meminfo: memFree=1511152/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=43512 CPUtime=102.25 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 8472 0 0 0 10191 34 0 0 25 0 1 0 109401059 44556288 7730 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 10878 7730 104 219 0 10655 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 43512 [startup+162.302 s] /proc/loadavg: 1.06 1.01 1.00 2/78 14517 /proc/meminfo: memFree=1500016/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=49588 CPUtime=162.22 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 12054 0 0 0 16172 50 0 0 25 0 1 0 109401059 50778112 10543 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 12397 10543 104 219 0 12174 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49588 [startup+222.301 s] /proc/loadavg: 1.21 1.05 1.01 2/78 14517 /proc/meminfo: memFree=1495344/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=58424 CPUtime=222.2 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 14717 0 0 0 22151 69 0 0 25 0 1 0 109401059 59826176 11669 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 14606 11669 104 219 0 14383 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 58424 [startup+282.301 s] /proc/loadavg: 1.13 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1491632/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=60300 CPUtime=282.18 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 15619 0 0 0 28132 86 0 0 25 0 1 0 109401059 61747200 12571 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 15075 12571 104 219 0 14852 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 60300 [startup+342.302 s] /proc/loadavg: 1.09 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1484464/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=63012 CPUtime=342.15 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 17407 0 0 0 34117 98 0 0 25 0 1 0 109401059 64524288 14359 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 15753 14359 104 219 0 15530 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 63012 [startup+402.303 s] /proc/loadavg: 1.08 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1474480/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=99028 CPUtime=402.13 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 19902 0 0 0 40100 113 0 0 25 0 1 0 109401059 101404672 16854 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 24757 16854 104 219 0 24534 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 99028 [startup+462.301 s] /proc/loadavg: 1.07 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1470576/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=113500 CPUtime=462.1 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 23927 0 0 0 46078 132 0 0 25 0 1 0 109401059 116224000 17806 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 28375 17806 104 219 0 28152 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 113500 [startup+522.302 s] /proc/loadavg: 1.06 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1467440/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=115068 CPUtime=522.08 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 24728 0 0 0 52054 154 0 0 25 0 1 0 109401059 117829632 18607 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 28767 18607 104 219 0 28544 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 115068 [startup+582.302 s] /proc/loadavg: 1.06 1.06 1.01 2/78 14517 /proc/meminfo: memFree=1464176/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=117352 CPUtime=582.05 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 25560 0 0 0 58034 171 0 0 25 0 1 0 109401059 120168448 19439 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 29338 19439 104 219 0 29115 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 117352 [startup+642.301 s] /proc/loadavg: 1.02 1.05 1.01 2/78 14519 /proc/meminfo: memFree=1460080/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=119508 CPUtime=642.03 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 26579 0 0 0 64016 187 0 0 25 0 1 0 109401059 122376192 20458 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 29877 20458 104 219 0 29654 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 119508 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14519 /proc/meminfo: memFree=1450096/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=124788 CPUtime=821.96 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 29063 0 0 0 81960 236 0 0 25 0 1 0 109401059 127782912 22942 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 31197 22942 104 219 0 30974 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 124788 [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14519 /proc/meminfo: memFree=1447088/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=126180 CPUtime=881.93 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 29808 0 0 0 87942 251 0 0 25 0 1 0 109401059 129208320 23687 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 31545 23687 104 219 0 31322 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 126180 [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14519 /proc/meminfo: memFree=1443952/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=152748 CPUtime=941.91 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 36738 0 0 0 93922 269 0 0 25 0 1 0 109401059 156413952 24472 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 38187 24472 104 219 0 37964 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 152748 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 14519 /proc/meminfo: memFree=1440880/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=154772 CPUtime=1001.89 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 37483 0 0 0 99905 284 0 0 25 0 1 0 109401059 158486528 25217 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 38693 25217 104 219 0 38470 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 154772 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1437360/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=156736 CPUtime=1061.87 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 38405 0 0 0 105886 301 0 0 25 0 1 0 109401059 160497664 26139 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 39184 26139 104 219 0 38961 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 156736 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1434352/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=158512 CPUtime=1121.84 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 39129 0 0 0 111868 316 0 0 25 0 1 0 109401059 162316288 26863 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 39628 26863 104 219 0 39405 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 158512 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1432048/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=158512 CPUtime=1181.82 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 39715 0 0 0 117853 329 0 0 25 0 1 0 109401059 162316288 27449 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 39628 27449 104 219 0 39405 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 158512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1429552/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=160876 CPUtime=1241.8 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 40365 0 0 0 123836 344 0 0 25 0 1 0 109401059 164737024 28099 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 40219 28099 104 219 0 39996 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 160876 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 14519 /proc/meminfo: memFree=1416304/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=162004 CPUtime=1301.77 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 43642 0 0 0 129820 357 0 0 25 0 1 0 109401059 165892096 31376 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 40501 31376 104 219 0 40278 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 162004 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1413936/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=164332 CPUtime=1361.75 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 44242 0 0 0 135807 368 0 0 25 0 1 0 109401059 168275968 31976 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 41083 31976 104 219 0 40860 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 164332 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1410864/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=166620 CPUtime=1421.73 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 45016 0 0 0 141790 383 0 0 25 0 1 0 109401059 170618880 32750 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 41655 32750 104 219 0 41432 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 166620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1408240/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=166812 CPUtime=1481.71 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 45658 0 0 0 147774 397 0 0 25 0 1 0 109401059 170815488 33392 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 41703 33392 104 219 0 41480 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 166812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1405616/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=169072 CPUtime=1541.68 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 46325 0 0 0 153758 410 0 0 25 0 1 0 109401059 173129728 34059 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 42268 34059 104 219 0 42045 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 169072 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1402928/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=169072 CPUtime=1601.66 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 46990 0 0 0 159739 427 0 0 25 0 1 0 109401059 173129728 34724 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 42268 34724 104 219 0 42045 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 169072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1400176/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=171608 CPUtime=1661.63 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 47688 0 0 0 165725 438 0 0 25 0 1 0 109401059 175726592 35422 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 42902 35422 104 219 0 42679 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 171608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1397936/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=172184 CPUtime=1721.61 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 48235 0 0 0 171709 452 0 0 25 0 1 0 109401059 176316416 35969 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 43046 35969 104 219 0 42823 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 172184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1395120/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=174736 CPUtime=1781.59 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 48930 0 0 0 177696 463 0 0 25 0 1 0 109401059 178929664 36664 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 43684 36664 104 219 0 43461 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 174736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14519 /proc/meminfo: memFree=1394672/2055920 swapFree=4150156/4192956 [pid=14516] ppid=14514 vsize=174736 CPUtime=1800.09 /proc/14516/stat : 14516 (PBS4) R 14514 14516 13852 0 -1 4194304 49036 0 0 0 179541 468 0 0 25 0 1 0 109401059 178929664 36770 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14516/statm: 43684 36770 104 219 0 43461 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 174736 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.83 CPU time (s): 1800.12 CPU user time (s): 1795.41 CPU system time (s): 4.71028 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 175336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.41 system time used= 4.71028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49037 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= 5966 runsolver used 2.07468 second user time and 4.35634 second system time The end
Begin job on node33 on Sun Apr 15 05:27:36 UTC 2007 IDJOB= 351831 IDBENCH= 1826 IDSOLVER= 157 FILE ID= node33/351831-1176614856 PBS_JOBID= 4557024 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb COMMAND LINE= /tmp/evaluation/351831-1176614856/PBS4 /tmp/evaluation/351831-1176614856/instance-351831-1176614856.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-351831-1176614856 -o ROOT/results/node33/conversion-351831-1176614856 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351831-1176614856/instance-351831-1176614856.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-351831-1176614856 -o ROOT/results/node33/solver-351831-1176614856 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351831-1176614856/PBS4 /tmp/evaluation/351831-1176614856/instance-351831-1176614856.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED= 277148513 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1542480 kB Buffers: 57484 kB Cached: 191280 kB SwapCached: 2360 kB Active: 134544 kB Inactive: 281288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1542480 kB SwapTotal: 4192956 kB SwapFree: 4150156 kB Dirty: 1176 kB Writeback: 0 kB Mapped: 163192 kB Slab: 82936 kB Committed_AS: 1347464 kB PageTables: 1992 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 node33 on Sun Apr 15 05:57:39 UTC 2007