Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.78 | 1801.22 |
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 | 1782.73 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb ...... 0.01 c done parsing opb. 0.01 o 48513 0.03 o 48386 0.09 o 46812 0.26 o 43835 0.28 o 38334 0.38 o 38170 0.57 o 38138 0.74 o 38003 0.97 o 37844 1.00 o 37583 1.13 o 37532 1.34 o 37517 1.36 o 37502 1.45 o 28086 1.47 o 28049 1.54 o 28044 2.25 o 27930 2.46 o 27887 3.01 o 27870 3.11 o 27720 3.70 o 27659 3.99 o 27651 4.53 o 27565 5.11 o 27553 5.99 o 27443 6.88 o 27442 7.15 o 27393 7.90 o 27325 8.65 o 27292 9.38 o 27245 11.21 o 27214 11.44 o 27032 12.85 o 27029 13.18 o 26952 13.97 o 26865 14.83 o 26761 16.24 o 26590 16.25 o 26554 17.88 o 26358 20.48 o 26300 21.71 o 26100 24.60 o 26090 25.70 o 26079 27.30 o 25893 30.11 o 25846 31.94 o 25752 33.96 o 25618 35.65 o 25600 38.78 o 25477 40.29 o 25411 42.29 o 25383 43.39 o 25348 43.81 o 25278 44.98 o 25257 45.53 o 25091 47.04 o 25036 47.45 o 24947 48.71 o 24849 49.36 o 24777 49.83 o 24706 51.49 o 24605 52.43 o 24561 54.25 o 24556 54.92 o 24383 55.64 o 24331 56.46 o 24279 56.52 o 24204 57.07 o 24172 58.68 o 24148 59.75 o 24044 62.11 o 24031 63.97 o 24021 66.39 o 24000 66.56 o 23829 67.92 o 23784 69.54 o 23758 71.52 o 23580 73.29 o 23489 74.10 o 23332 74.20 o 23276 75.73 o 23206 76.61 o 23190 78.73 o 23108 80.80 o 23086 81.50 o 23027 81.61 o 22958 82.54 o 22907 82.67 o 22875 84.28 o 22840 88.25 o 22817 89.25 o 22680 90.43 o 22631 92.62 o 22519 93.25 o 22423 93.54 o 22223 94.99 o 22196 95.88 o 21993 96.23 o 21979 96.82 o 21974 97.25 o 21850 97.49 o 21815 97.67 o 21788 98.22 o 21729 99.49 o 21727 99.94 o 21706 100.57 o 21515 100.75 o 21442 100.91 o 21399 101.08 o 21340 101.29 o 21309 101.46 o 21279 101.56 o 21081 101.65 o 21076 102.07 o 21065 102.73 o 21044 103.01 o 21021 103.95 o 20913 104.05 o 20864 104.63 o 20835 106.73 o 20804 110.19 o 20796 110.42 o 20646 110.82 o 20529 111.16 o 20472 111.49 o 20292 112.22 o 20256 112.49 o 20219 113.05 o 20159 113.64 o 20068 113.82 o 20047 114.15 o 19957 114.49 o 19944 114.79 o 19877 116.58 o 19735 116.78 o 19725 117.48 o 19714 118.39 o 19693 118.49 o 19618 119.04 o 19578 119.06 o 19531 119.46 o 19339 119.46 o 19307 119.96 o 19180 120.36 o 19087 120.90 o 18935 122.57 o 18894 122.76 o 18846 123.63 o 18724 124.08 o 18595 124.44 o 18556 125.19 o 18496 126.38 o 18311 126.81 o 18251 127.54 o 18056 128.04 o 18030 129.26 o 18013 129.27 o 17986 130.17 o 17905 131.10 o 17778 133.46 o 17734 135.56 o 17605 136.50 o 17603 137.46 o 17527 137.90 o 17451 139.43 o 17428 140.40 o 17237 141.33 o 17115 144.78 o 17024 146.73 o 16834 149.35 o 16822 152.12 o 16761 153.31 o 16661 153.33 o 16640 156.91 o 16612 158.91 o 16473 159.16 o 16389 159.31 o 16277 161.20 o 16209 163.63 o 16190 165.41 o 16093 166.13 o 15994 167.80 o 15961 168.39 o 15825 170.07 o 15783 170.35 o 15733 172.62 o 15692 172.81 o 15551 175.80 o 15457 176.27 o 15441 177.25 o 15406 179.92 o 15365 180.91 o 15363 181.99 o 15350 183.33 o 15213 185.60 o 15123 187.71 o 15067 188.70 o 15007 189.59 o 14970 189.80 o 14910 192.18 o 14880 193.51 o 14852 193.99 o 14652 195.74 o 14629 199.40 o 14622 202.60 o 14503 202.90 o 14392 205.57 o 14224 205.97 o 14159 207.33 o 14150 210.07 o 14046 211.46 o 13987 214.33 o 13961 214.51 o 13902 216.01 o 13875 218.00 o 13860 218.50 o 13842 223.82 o 13804 224.26 o 13608 225.16 o 13432 225.49 o 13426 227.59 o 13309 227.97 o 13307 228.52 o 13290 230.85 o 13248 231.04 o 13187 232.47 o 12995 233.36 o 12929 233.95 o 12818 234.26 o 12782 239.38 o 12594 243.83 o 12558 245.11 o 12497 252.60 o 12431 255.39 o 12366 257.80 o 12330 258.77 o 12149 260.80 o 12063 263.54 o 12017 271.64 o 12001 276.47 o 11808 277.43 o 11794 282.34 o 11735 301.80 o 11658 302.66 o 11597 333.72 o 11539 334.42 o 11506 352.22 o 11462 367.72 o 11385 391.19 o 11265 397.77 o 11202 402.73 o 11187 405.28 o 11091 411.50 o 11074 428.50 o 10954 431.72 o 10884 434.02 o 10828 442.63 o 10816 449.49 o 10644 453.52 o 10634 459.16 o 10476 463.19 o 10424 471.74 o 10412 473.38 o 10290 474.88 o 10221 478.76 o 10201 481.99 o 10194 485.86 o 10129 486.70 o 10060 498.07 o 9895 502.70 o 9821 506.70 o 9754 509.37 o 9624 513.14 o 9592 534.09 o 9403 554.11 o 9310 565.07 o 9175 604.09 o 9111 636.92 o 8947 665.41 o 8933 687.13 o 8852 692.33 o 8820 709.99 o 8784 719.47 o 8778 729.24 o 8754 811.48 o 8675 818.99 o 8654 819.76 o 8608 822.57 o 8526 901.04 o 8334 904.01 o 8258 924.88 o 8204 1044.86 o 8179 1057.95 o 7998 1138.46 o 7928 1213.81 o 7845 1282.12 o 7840 1312.56 o 7714 1387.68 o 7671 1460.02 o 7580 1493.39 o 7475
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-41504-1149272829 -o ROOT/results/node43/solver-41504-1149272829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1844280/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=1400 CPUtime=0 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 192949712 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 350 145 99 232 0 115 0 [startup+10.0026 s] /proc/loadavg: 0.87 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1834432/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=11720 CPUtime=9.99 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 2755 0 0 0 994 5 0 0 25 0 1 0 192949712 12001280 2580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 2930 2580 108 232 0 2695 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11720 [startup+20.0085 s] /proc/loadavg: 0.89 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1829248/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=21496 CPUtime=19.99 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 4228 0 0 0 1990 9 0 0 25 0 1 0 192949712 22011904 3860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 5374 3860 108 232 0 5139 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21496 [startup+30.0153 s] /proc/loadavg: 0.90 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1825664/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=22296 CPUtime=30 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 5131 0 0 0 2988 12 0 0 25 0 1 0 192949712 22831104 4763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 5574 4763 108 232 0 5339 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 22296 [startup+40.0212 s] /proc/loadavg: 0.92 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1824192/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=22884 CPUtime=40 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 5500 0 0 0 3985 15 0 0 25 0 1 0 192949712 23433216 5132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 5721 5132 108 232 0 5486 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22884 [startup+50.0271 s] /proc/loadavg: 0.93 0.94 0.96 2/64 1316 /proc/meminfo: memFree=1820288/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=41868 CPUtime=50.01 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 6845 0 0 0 4982 19 0 0 25 0 1 0 192949712 42872832 6092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10467 6092 108 232 0 10232 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 41868 [startup+60.0329 s] /proc/loadavg: 0.94 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1815424/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=42504 CPUtime=60.01 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8062 0 0 0 5980 21 0 0 25 0 1 0 192949712 43524096 7309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10626 7309 108 232 0 10391 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 42504 [startup+70.0388 s] /proc/loadavg: 0.95 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1814912/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=42804 CPUtime=70.01 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8196 0 0 0 6978 23 0 0 25 0 1 0 192949712 43831296 7443 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10701 7443 108 232 0 10466 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 42804 [startup+80.0447 s] /proc/loadavg: 0.96 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1814464/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=43156 CPUtime=80.02 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8304 0 0 0 7977 25 0 0 25 0 1 0 192949712 44191744 7551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10789 7551 108 232 0 10554 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 43156 [startup+90.0505 s] /proc/loadavg: 0.96 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1814080/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=43428 CPUtime=90.02 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8389 0 0 0 8976 26 0 0 25 0 1 0 192949712 44470272 7636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10857 7636 108 232 0 10622 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 43428 [startup+100.055 s] /proc/loadavg: 0.97 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1813632/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=43560 CPUtime=100.02 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8505 0 0 0 9973 29 0 0 25 0 1 0 192949712 44605440 7752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 10890 7752 108 232 0 10655 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 43560 [startup+110.061 s] /proc/loadavg: 0.97 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1812864/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=47068 CPUtime=110.03 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 9411 0 0 0 10970 33 0 0 25 0 1 0 192949712 48197632 7889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 11767 7889 108 232 0 11532 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 47068 [startup+120.067 s] /proc/loadavg: 0.98 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1812032/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=47360 CPUtime=120.03 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 9667 0 0 0 11968 35 0 0 25 0 1 0 192949712 48496640 8145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 11840 8145 108 232 0 11605 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 47360 [startup+130.073 s] /proc/loadavg: 0.98 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1804928/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=47832 CPUtime=130.03 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11436 0 0 0 12965 38 0 0 25 0 1 0 192949712 48979968 9914 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 11958 9914 108 232 0 11723 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 47832 [startup+140.08 s] /proc/loadavg: 0.98 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1804160/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=48436 CPUtime=140.04 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11622 0 0 0 13964 40 0 0 25 0 1 0 192949712 49598464 10100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12109 10100 108 232 0 11874 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 48436 [startup+150.087 s] /proc/loadavg: 0.98 0.95 0.96 2/64 1316 /proc/meminfo: memFree=1802880/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=49260 CPUtime=150.05 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11941 0 0 0 14962 43 0 0 25 0 1 0 192949712 50442240 10419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12315 10419 108 232 0 12080 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 49260 [startup+160.092 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1802112/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=50004 CPUtime=160.05 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12136 0 0 0 15960 45 0 0 25 0 1 0 192949712 51204096 10614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12501 10614 108 232 0 12266 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 50004 [startup+170.097 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1801280/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=50388 CPUtime=170.05 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12341 0 0 0 16957 48 0 0 25 0 1 0 192949712 51597312 10819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12597 10819 108 232 0 12362 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 50388 [startup+180.103 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1800512/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=50916 CPUtime=180.05 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12538 0 0 0 17954 51 0 0 25 0 1 0 192949712 52137984 11016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12729 11016 108 232 0 12494 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 50916 [startup+190.109 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1799872/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=51204 CPUtime=190.05 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12693 0 0 0 18952 53 0 0 25 0 1 0 192949712 52432896 11171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12801 11171 108 232 0 12566 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 51204 [startup+200.115 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1799168/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=51512 CPUtime=200.06 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12873 0 0 0 19949 57 0 0 25 0 1 0 192949712 52748288 11351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 12878 11351 108 232 0 12643 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 51512 [startup+210.122 s] /proc/loadavg: 0.99 0.96 0.96 2/64 1316 /proc/meminfo: memFree=1798464/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49146 0 0 0 177727 439 0 0 25 0 1 0 192949712 178974720 36869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43695 36869 108 232 0 43460 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (Kb) 174780 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1696448/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1782.66 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49167 0 0 0 177827 439 0 0 25 0 1 0 192949712 179109888 36890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 36890 108 232 0 43493 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (Kb) 174912 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1696192/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1783.67 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49223 0 0 0 177928 439 0 0 25 0 1 0 192949712 179109888 36946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 36946 108 232 0 43493 0 Current children cumulated CPU time (s) 1783.67 Current children cumulated vsize (Kb) 174912 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1696064/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1784.67 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49264 0 0 0 178028 439 0 0 25 0 1 0 192949712 179109888 36987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 36987 108 232 0 43493 0 Current children cumulated CPU time (s) 1784.67 Current children cumulated vsize (Kb) 174912 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1696000/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1785.67 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49269 0 0 0 178128 439 0 0 25 0 1 0 192949712 179109888 36992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 36992 108 232 0 43493 0 Current children cumulated CPU time (s) 1785.67 Current children cumulated vsize (Kb) 174912 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1696000/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1786.67 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49279 0 0 0 178228 439 0 0 25 0 1 0 192949712 179109888 37002 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 37002 108 232 0 43493 0 Current children cumulated CPU time (s) 1786.67 Current children cumulated vsize (Kb) 174912 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1787.69 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49285 0 0 0 178329 440 0 0 25 0 1 0 192949712 179109888 37008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 37008 108 232 0 43493 0 Current children cumulated CPU time (s) 1787.69 Current children cumulated vsize (Kb) 174912 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1788.69 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49291 0 0 0 178429 440 0 0 25 0 1 0 192949712 179109888 37014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 37014 108 232 0 43493 0 Current children cumulated CPU time (s) 1788.69 Current children cumulated vsize (Kb) 174912 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=174912 CPUtime=1789.69 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49296 0 0 0 178529 440 0 0 25 0 1 0 192949712 179109888 37019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43728 37019 108 232 0 43493 0 Current children cumulated CPU time (s) 1789.69 Current children cumulated vsize (Kb) 174912 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695808/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1790.7 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49325 0 0 0 178630 440 0 0 25 0 1 0 192949712 179245056 37048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37048 108 232 0 43526 0 Current children cumulated CPU time (s) 1790.7 Current children cumulated vsize (Kb) 175044 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695744/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1791.7 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49333 0 0 0 178730 440 0 0 25 0 1 0 192949712 179245056 37056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37056 108 232 0 43526 0 Current children cumulated CPU time (s) 1791.7 Current children cumulated vsize (Kb) 175044 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695744/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1792.71 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49342 0 0 0 178830 441 0 0 25 0 1 0 192949712 179245056 37065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37065 108 232 0 43526 0 Current children cumulated CPU time (s) 1792.71 Current children cumulated vsize (Kb) 175044 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1793.71 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49379 0 0 0 178930 441 0 0 25 0 1 0 192949712 179245056 37102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37102 108 232 0 43526 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (Kb) 175044 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1794.71 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49383 0 0 0 179030 441 0 0 25 0 1 0 192949712 179245056 37106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37106 108 232 0 43526 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (Kb) 175044 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1795.72 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49388 0 0 0 179131 441 0 0 25 0 1 0 192949712 179245056 37111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37111 108 232 0 43526 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (Kb) 175044 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695488/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1796.72 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49399 0 0 0 179231 441 0 0 25 0 1 0 192949712 179245056 37122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37122 108 232 0 43526 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 175044 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695488/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1797.73 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49404 0 0 0 179332 441 0 0 25 0 1 0 192949712 179245056 37127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37127 108 232 0 43526 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 175044 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1798.74 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49410 0 0 0 179432 442 0 0 25 0 1 0 192949712 179245056 37133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37133 108 232 0 43526 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (Kb) 175044 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1799.74 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49417 0 0 0 179532 442 0 0 25 0 1 0 192949712 179245056 37140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37140 108 232 0 43526 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 175044 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1800.75 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49421 0 0 0 179633 442 0 0 25 0 1 0 192949712 179245056 37144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549573 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37144 108 232 0 43526 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 175044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1318 /proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956 [pid=1316] ppid=1314 vsize=175044 CPUtime=1800.75 /proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49421 0 0 0 179633 442 0 0 25 0 1 0 192949712 179245056 37144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1316/statm: 43761 37144 108 232 0 43526 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 175044 Sending SIGTERM to -1316 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.78 CPU user time (s): 1796.33 CPU system time (s): 4.44832 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (Kb): 175044 The end
Begin job on node43 on Fri Jun 2 18:27:10 UTC 2006 FILE ID= 41504-1149272829 PBS_JOBID= 301567 BENCH NAME= ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-41504-1149272829 -o ROOT/results/node43/solver-41504-1149272829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED= 533953951 /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.216 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.216 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: 1844488 kB Buffers: 15752 kB Cached: 135028 kB SwapCached: 3716 kB Active: 27048 kB Inactive: 132356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1844488 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14828 kB Slab: 38040 kB Committed_AS: 260120 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jun 2 18:57:11 UTC 2006