Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7904 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
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/node49/41553-1149371407/instance-41553-1149371407.opb ...... 7.14 c done parsing opb. 7.14 o 12434 7.37 o 11479 7.68 o 11474 9.40 o 11379 9.50 o 11374 11.12 o 11369 11.80 o 11302 12.12 o 11300 12.17 o 11299 12.22 o 11294 14.50 o 11291 15.32 o 11286 15.44 o 11282 16.31 o 11085 16.33 o 10400 23.26 o 10398 23.76 o 10396 57.18 o 10394 57.52 o 10391 63.69 o 10390 64.78 o 10388 65.98 o 10385 66.16 o 10384 66.27 o 10379 74.25 o 10376 76.72 o 10372 78.55 o 10371 79.43 o 10370 80.80 o 10368 82.44 o 10367 82.81 o 10363 85.57 o 10360 95.36 o 10358 95.47 o 10354 95.63 o 10350 95.73 o 10345 104.47 o 10343 114.55 o 10342 140.49 o 10340 140.89 o 10339 144.12 o 10336 146.32 o 10332 149.16 o 10331 154.18 o 10330 155.53 o 10326 156.40 o 10325 158.67 o 10324 160.62 o 10323 161.93 o 10320 164.50 o 10317 177.62 o 10314 182.36 o 10311 183.72 o 10309 184.57 o 10304 195.29 o 10301 197.41 o 10299 198.21 o 10297 199.85 o 10294 200.78 o 10291 204.62 o 10290 206.77 o 10289 208.70 o 10286 212.55 o 10284 212.90 o 10280 223.57 o 10279 225.38 o 10275 232.48 o 10271 232.91 o 10267 235.45 o 10266 244.99 o 10265 248.98 o 10263 257.23 o 10260 257.83 o 10258 257.89 o 10257 259.42 o 10255 266.34 o 10254 267.22 o 10250 272.00 o 10245 279.75 o 10243 281.04 o 10240 285.86 o 10237 293.39 o 10234 294.30 o 10233 297.55 o 10229 299.35 o 10225 305.14 o 10224 321.75 o 10223 328.08 o 10220 330.37 o 10219 334.35 o 10216 343.91 o 10214 344.16 o 10213 350.04 o 10210 354.25 o 10209 356.14 o 10205 356.92 o 10204 357.51 o 10200 358.97 o 10196 359.04 o 10195 359.75 o 10190 360.95 o 10187 361.57 o 10184 361.70 o 10180 361.87 o 10175 365.54 o 10172 367.93 o 10170 371.38 o 10166 371.96 o 10163 373.39 o 10160 375.16 o 10155 380.36 o 10150 380.82 o 10149 381.76 o 10148 385.55 o 10140 386.65 o 10137 389.41 o 10134 396.22 o 10130 400.29 o 10129 400.39 o 10125 401.97 o 10124 406.39 o 10122 410.85 o 10119 416.75 o 10115 417.95 o 10114 419.27 o 10110 436.56 o 10105 436.68 o 10100 440.81 o 10095 444.13 o 10094 444.89 o 10090 445.27 o 10086 448.99 o 10082 450.48 o 10079 453.55 o 10076 456.20 o 10074 456.66 o 10072 458.36 o 10071 459.51 o 10068 459.71 o 10066 460.65 o 10065 461.14 o 10061 461.45 o 10060 462.25 o 10055 463.04 o 10054 463.41 o 10052 464.07 o 10051 467.79 o 10049 467.98 o 10048 470.50 o 10044 471.29 o 10039 474.90 o 10035 482.12 o 10030 494.64 o 10025 495.39 o 10024 495.83 o 10021 496.35 o 10017 498.57 o 10013 504.17 o 10009 506.09 o 10005 506.47 o 10003 507.52 o 10000 512.85 o 9997 515.07 o 9993 517.04 o 9990 517.51 o 9986 524.84 o 9985 528.45 o 9983 532.38 o 9980 533.38 o 9975 537.86 o 9974 548.55 o 9970 564.03 o 9969 567.43 o 9965 567.76 o 9961 571.90 o 9960 576.73 o 9957 577.04 o 9955 577.07 o 9952 578.81 o 9949 579.46 o 9946 581.88 o 9945 583.22 o 9940 583.56 o 9935 583.68 o 9930 585.21 o 9925 585.29 o 9921 585.32 o 9918 585.35 o 9914 585.37 o 9913 585.39 o 9910 585.41 o 9909 587.07 o 9905 588.85 o 9903 589.86 o 9902 590.52 o 9899 593.09 o 9896 593.55 o 9895 593.92 o 9889 593.95 o 9888 594.20 o 9884 594.26 o 9879 594.29 o 9529 598.46 o 9525 606.89 o 9521 616.43 o 9520 616.51 o 9516 621.28 o 9511 647.03 o 9508 647.40 o 9507 649.83 o 9504 650.79 o 9502 652.83 o 9501 653.27 o 9499 653.58 o 9495 662.89 o 9494 666.78 o 9492 670.33 o 9491 679.25 o 9488 686.57 o 9486 690.57 o 9485 698.12 o 9480 698.76 o 9477 699.32 o 9474 701.17 o 9470 703.15 o 9467 706.25 o 9463 711.88 o 9459 715.46 o 9458 724.98 o 9457 731.59 o 9453 754.80 o 9450 761.34 o 9448 772.04 o 9447 774.25 o 9444 777.25 o 9443 789.55 o 9440 798.74 o 9436 798.85 o 9433 799.36 o 9430 799.82 o 9425 799.93 o 9420 800.01 o 9415 800.41 o 9414 801.10 o 9410 803.38 o 9409 803.63 o 9406 803.69 o 9405 803.71 o 9401 803.74 o 9399 803.76 o 9396 803.78 o 9393 803.80 o 9392 803.83 o 9391 803.85 o 9389 803.87 o 9386 803.89 o 9385 803.91 o 9384 803.94 o 9381 803.97 o 9377 804.00 o 9374 804.02 o 9373 804.04 o 9371 804.06 o 9368 804.09 o 9366 804.11 o 9364 804.13 o 9363 804.15 o 9360 804.17 o 9359 804.20 o 9355 804.22 o 9354 804.24 o 9350 804.26 o 9348 804.29 o 9347 804.31 o 9344 804.33 o 9342 804.35 o 9341 804.38 o 9339 804.40 o 9337 804.42 o 9336 804.44 o 9334 804.46 o 9333 804.49 o 9331 804.51 o 9330 804.53 o 9329 804.55 o 9328 804.58 o 9325 804.60 o 9324 804.62 o 9323 804.64 o 9322 804.67 o 9320 804.69 o 9316 804.71 o 9315 804.73 o 9311 804.75 o 9308 804.78 o 9307 804.80 o 9304 804.82 o 9303 804.84 o 9301 804.87 o 9297 821.41 o 9295 857.27 o 9291 860.31 o 9288 861.46 o 9284 864.78 o 9280 870.07 o 9279 872.48 o 9276 882.94 o 9274 889.34 o 9270 893.99 o 9268 894.04 o 9265 894.06 o 9264 894.24 o 9262 894.28 o 9259 894.84 o 9256 895.15 o 9252 895.36 o 9251 895.79 o 9248 897.46 o 9245 902.94 o 9241 905.52 o 9240 905.56 o 9237 905.58 o 9236 905.61 o 9233 905.63 o 9228 905.65 o 9225 905.68 o 9217 905.70 o 9167 905.72 o 9162 905.75 o 9152 906.01 o 9150 906.44 o 9147 913.00 o 9146 927.85 o 9145 927.89 o 8986 928.11 o 8983 928.15 o 8971 928.17 o 8966 928.20 o 8955 928.22 o 8950 928.24 o 8943 928.27 o 8937 928.29 o 8924 928.31 o 8916 928.34 o 8892 928.36 o 8888 928.38 o 8887 928.41 o 8882 928.43 o 8837 928.45 o 8819 928.48 o 8814 928.50 o 8811 928.52 o 8803 928.55 o 8792 928.57 o 8791 928.59 o 8788 928.62 o 8784 928.64 o 8781 928.66 o 8779 928.69 o 8778 928.78 o 8777 928.82 o 8756 928.84 o 8750 928.86 o 8744 928.89 o 8651 928.91 o 8530 928.93 o 8508 928.96 o 8505 928.98 o 8499 929.00 o 8496 929.03 o 8492 929.05 o 8491 929.07 o 8467 929.10 o 8463 929.12 o 8458 929.14 o 8443 929.17 o 8442 929.19 o 8437 929.21 o 8433 929.24 o 8429 929.26 o 8407 929.28 o 8404 929.31 o 8399 929.33 o 8394 929.35 o 8387 929.38 o 8373 929.40 o 8368 929.42 o 8344 929.45 o 8334 929.47 o 8320 929.49 o 8313 929.52 o 8304 929.54 o 8297 929.56 o 8293 929.59 o 8288 929.61 o 8198 929.63 o 8184 929.66 o 8181 929.68 o 8171 930.30 o 8170 1022.93 o 8165 1028.76 o 8163 1038.17 o 8160 1062.35 o 8155 1068.53 o 8154 1114.75 o 8149 1114.85 o 8144 1115.45 o 8139 1118.92 o 8135 1120.47 o 8133 1189.28 o 8130 1223.16 o 8127 1244.26 o 8125 1256.73 o 8121 1257.88 o 8117 1261.67 o 8115 1520.23 o 8110 1520.42 o 8108 1532.78 o 8107 1535.47 o 8105 1565.23 o 8104 1622.66 o 8101 1622.80 o 8096 1625.41 o 8095 1628.29 o 8091 1638.94 o 8086 1639.34 o 8084 1639.73 o 8079 1639.88 o 8069 1640.73 o 8064 1640.84 o 8059 1640.90 o 8058 1646.85 o 8054 1651.21 o 8049 1651.43 o 8044 1652.79 o 8040 1652.90 o 8035 1654.25 o 8030 1664.64 o 8025 1666.64 o 8020 1671.01 o 8016 1676.21 o 8014 1685.63 o 8013 1708.72 o 8010
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/node49/watcher-41553-1149371407 -o ROOT/results/node49/solver-41553-1149371407 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1590424/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=1368 CPUtime=0 /proc/16296/stat : 16296 (PBS4L) D 16294 16296 16250 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 202807823 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16296/statm: 342 95 84 232 0 107 0 [startup+10.004 s] /proc/loadavg: 0.87 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1579992/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=12844 CPUtime=9.99 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3005 0 0 0 988 11 0 0 25 0 1 0 202807823 13152256 2705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 3211 2705 108 232 0 2976 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12844 [startup+20.0095 s] /proc/loadavg: 0.89 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1578264/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=16164 CPUtime=19.99 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3592 0 0 0 1979 20 0 0 25 0 1 0 202807823 16551936 3195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 4041 3195 108 232 0 3806 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 16164 [startup+30.0154 s] /proc/loadavg: 0.91 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1576984/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=16536 CPUtime=30 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3912 0 0 0 2971 29 0 0 25 0 1 0 202807823 16932864 3515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 4134 3515 108 232 0 3899 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 16536 [startup+40.0212 s] /proc/loadavg: 0.92 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1576280/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=16736 CPUtime=40 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4108 0 0 0 3963 37 0 0 25 0 1 0 202807823 17137664 3711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 4184 3711 108 232 0 3949 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 16736 [startup+50.027 s] /proc/loadavg: 0.93 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1575576/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=17752 CPUtime=50 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4472 0 0 0 4957 43 0 0 25 0 1 0 202807823 18178048 3882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546600 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 4438 3882 108 232 0 4203 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 17752 [startup+60.0328 s] /proc/loadavg: 0.94 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1575000/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=18044 CPUtime=60.01 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4616 0 0 0 5951 50 0 0 25 0 1 0 202807823 18477056 4026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 4511 4026 108 232 0 4276 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 18044 [startup+70.0396 s] /proc/loadavg: 0.95 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1574232/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=22292 CPUtime=70.01 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4805 0 0 0 6944 57 0 0 25 0 1 0 202807823 22827008 4215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553299 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5573 4215 108 232 0 5338 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 22292 [startup+80.0455 s] /proc/loadavg: 0.96 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1573528/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=22476 CPUtime=80.01 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4982 0 0 0 7938 63 0 0 25 0 1 0 202807823 23015424 4392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5619 4392 108 232 0 5384 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 22476 [startup+90.0513 s] /proc/loadavg: 0.96 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1572504/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=22476 CPUtime=90.02 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5253 0 0 0 8932 70 0 0 25 0 1 0 202807823 23015424 4663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5619 4663 108 232 0 5384 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 22476 [startup+100.057 s] /proc/loadavg: 0.97 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1571864/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=22668 CPUtime=100.02 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5411 0 0 0 9925 77 0 0 25 0 1 0 202807823 23212032 4821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5667 4821 108 232 0 5432 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 22668 [startup+110.063 s] /proc/loadavg: 0.97 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1571608/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=22952 CPUtime=110.02 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5474 0 0 0 10920 82 0 0 25 0 1 0 202807823 23502848 4884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5738 4884 108 232 0 5503 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 22952 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1571288/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=23068 CPUtime=120.03 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5551 0 0 0 11915 88 0 0 25 0 1 0 202807823 23621632 4961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 5767 4961 108 232 0 5532 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 23068 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1570328/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=24716 CPUtime=130.03 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6169 0 0 0 12908 95 0 0 25 0 1 0 202807823 25309184 5194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 6179 5194 108 232 0 5944 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 24716 [startup+140.079 s] /proc/loadavg: 0.98 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1569240/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=24828 CPUtime=140.03 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6437 0 0 0 13902 101 0 0 25 0 1 0 202807823 25423872 5462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 6207 5462 108 232 0 5972 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24828 [startup+150.085 s] /proc/loadavg: 0.98 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1568408/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33072 CPUtime=150.04 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6648 0 0 0 14896 108 0 0 25 0 1 0 202807823 33865728 5673 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551263 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8268 5673 108 232 0 8033 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 33072 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1567640/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33364 CPUtime=160.04 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6837 0 0 0 15890 114 0 0 25 0 1 0 202807823 34164736 5862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8341 5862 108 232 0 8106 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 33364 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1566808/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33416 CPUtime=170.04 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7047 0 0 0 16885 119 0 0 25 0 1 0 202807823 34217984 6072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8354 6072 108 232 0 8119 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 33416 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1565976/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33500 CPUtime=180.05 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7254 0 0 0 17878 127 0 0 25 0 1 0 202807823 34304000 6279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8375 6279 108 232 0 8140 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 33500 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1565720/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33564 CPUtime=190.05 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7319 0 0 0 18871 134 0 0 25 0 1 0 202807823 34369536 6344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8391 6344 108 232 0 8156 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 33564 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1565528/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=33684 CPUtime=200.05 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7365 0 0 0 19865 140 0 0 25 0 1 0 202807823 34492416 6390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 8421 6390 108 232 0 8186 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 33684 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16296 /proc/meminfo: memFree=1565336/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21626 0 0 0 177367 788 0 0 25 0 1 0 202807823 104742912 18345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18345 108 232 0 25337 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 102288 [startup+1783.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1782.55 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21627 0 0 0 177467 788 0 0 25 0 1 0 202807823 104742912 18346 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18346 108 232 0 25337 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 102288 [startup+1784.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1783.56 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21628 0 0 0 177567 789 0 0 25 0 1 0 202807823 104742912 18347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18347 108 232 0 25337 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 102288 [startup+1785.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1784.56 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21628 0 0 0 177667 789 0 0 25 0 1 0 202807823 104742912 18347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18347 108 232 0 25337 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 102288 [startup+1786.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1785.56 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21629 0 0 0 177767 789 0 0 25 0 1 0 202807823 104742912 18348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18348 108 232 0 25337 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 102288 [startup+1787.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1786.57 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21631 0 0 0 177867 790 0 0 25 0 1 0 202807823 104742912 18350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559028 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18350 108 232 0 25337 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 102288 [startup+1788.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1787.58 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21632 0 0 0 177968 790 0 0 25 0 1 0 202807823 104742912 18351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18351 108 232 0 25337 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 102288 [startup+1789.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1788.58 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21632 0 0 0 178068 790 0 0 25 0 1 0 202807823 104742912 18351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551682 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18351 108 232 0 25337 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 102288 [startup+1790.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102288 CPUtime=1789.58 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21633 0 0 0 178168 790 0 0 25 0 1 0 202807823 104742912 18352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25572 18352 108 232 0 25337 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 102288 [startup+1791.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1790.59 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21676 0 0 0 178268 791 0 0 25 0 1 0 202807823 104808448 18395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611827 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18395 108 232 0 25353 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 102352 [startup+1792.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1791.59 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21678 0 0 0 178368 791 0 0 25 0 1 0 202807823 104808448 18397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18397 108 232 0 25353 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 102352 [startup+1793.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1792.6 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21679 0 0 0 178469 791 0 0 25 0 1 0 202807823 104808448 18398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18398 108 232 0 25353 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 102352 [startup+1794.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1793.61 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21680 0 0 0 178569 792 0 0 25 0 1 0 202807823 104808448 18399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18399 108 232 0 25353 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 102352 [startup+1795.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1794.61 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21681 0 0 0 178669 792 0 0 25 0 1 0 202807823 104808448 18400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18400 108 232 0 25353 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 102352 [startup+1796.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1795.61 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21682 0 0 0 178769 792 0 0 25 0 1 0 202807823 104808448 18401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18401 108 232 0 25353 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 102352 [startup+1797.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1796.62 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21682 0 0 0 178869 793 0 0 25 0 1 0 202807823 104808448 18401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18401 108 232 0 25353 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 102352 [startup+1798.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1797.62 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21683 0 0 0 178969 793 0 0 25 0 1 0 202807823 104808448 18402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18402 108 232 0 25353 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 102352 [startup+1799.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1798.63 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21685 0 0 0 179070 793 0 0 25 0 1 0 202807823 104808448 18404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18404 108 232 0 25353 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 102352 [startup+1800.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1799.63 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179170 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18406 108 232 0 25353 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 102352 [startup+1801.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1800.63 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179270 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18406 108 232 0 25353 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 102352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 16491 /proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956 [pid=16296] ppid=16294 vsize=102352 CPUtime=1800.63 /proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179270 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16296/statm: 25588 18406 108 232 0 25353 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 102352 Sending SIGTERM to -16296 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.14 CPU time (s): 1800.66 CPU user time (s): 1792.71 CPU system time (s): 7.95279 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (Kb): 102352 The end
Begin job on node49 on Sat Jun 3 21:50:07 UTC 2006 FILE ID= 41553-1149371407 PBS_JOBID= 312212 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-41553-1149371407 -o ROOT/results/node49/solver-41553-1149371407 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 343407822 /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: 1590696 kB Buffers: 26800 kB Cached: 379824 kB SwapCached: 3280 kB Active: 52440 kB Inactive: 362936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1590696 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14832 kB Slab: 35916 kB Committed_AS: 357056 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 22:20:08 UTC 2006