Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.53 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 45.2231 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
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/node37/41913-1149291187/instance-41913-1149291187.opb ...... 0.10 c done parsing opb. 0.10 o 450 0.11 o 449 0.11 o 448 0.11 o 447 0.11 o 446 0.12 o 445 0.12 o 444 0.13 o 443 0.13 o 429 0.13 o 428 0.34 o 427 0.43 o 426 20.08 o 425 70.66 o 424
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/node37/watcher-41913-1149291187 -o ROOT/results/node37/solver-41913-1149291187 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 28599 /proc/meminfo: memFree=1659432/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=1400 CPUtime=0 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 194784956 1433600 140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 350 140 97 232 0 115 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.90 2/64 28599 /proc/meminfo: memFree=1619704/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=70808 CPUtime=9.99 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 10242 0 0 0 993 6 0 0 25 0 1 0 194784956 72507392 10065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 17702 10065 108 232 0 17467 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 70808 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1610232/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=74324 CPUtime=19.99 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 12820 0 0 0 1990 9 0 0 25 0 1 0 194784956 76107776 12450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 18581 12450 108 232 0 18346 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 74324 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1597112/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=77128 CPUtime=30 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 16070 0 0 0 2987 13 0 0 25 0 1 0 194784956 78979072 15700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 19282 15700 108 232 0 19047 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 77128 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1595768/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=78472 CPUtime=40 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 16401 0 0 0 3986 14 0 0 25 0 1 0 194784956 80355328 16031 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 19618 16031 108 232 0 19383 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 78472 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1594360/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=81384 CPUtime=50.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17137 0 0 0 4985 16 0 0 25 0 1 0 194784956 83337216 16382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 20346 16382 108 232 0 20111 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 81384 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1593400/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=82256 CPUtime=60 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17375 0 0 0 5983 17 0 0 25 0 1 0 194784956 84230144 16620 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 20564 16620 108 232 0 20329 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 82256 [startup+70.0393 s] /proc/loadavg: 0.97 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1592824/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=82692 CPUtime=70.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17545 0 0 0 6983 18 0 0 25 0 1 0 194784956 84676608 16790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 20673 16790 108 232 0 20438 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 82692 [startup+80.0452 s] /proc/loadavg: 0.98 0.96 0.91 2/64 28599 /proc/meminfo: memFree=1591544/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=83824 CPUtime=80.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17851 0 0 0 7982 19 0 0 25 0 1 0 194784956 85835776 17096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 20956 17096 108 232 0 20721 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 83824 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/64 28600 /proc/meminfo: memFree=1590968/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=84260 CPUtime=90.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 17988 0 0 0 8980 21 0 0 25 0 1 0 194784956 86282240 17233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 21065 17233 108 232 0 20830 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 84260 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 28601 /proc/meminfo: memFree=1590264/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=84860 CPUtime=100.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 18164 0 0 0 9978 23 0 0 25 0 1 0 194784956 86896640 17409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546046 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 21215 17409 108 232 0 20980 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 84860 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 28601 /proc/meminfo: memFree=1589688/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=88088 CPUtime=110.01 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19063 0 0 0 10977 24 0 0 25 0 1 0 194784956 90202112 17539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22022 17539 108 232 0 21787 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 88088 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1589048/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=88588 CPUtime=120.02 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19225 0 0 0 11976 26 0 0 25 0 1 0 194784956 90714112 17701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22147 17701 108 232 0 21912 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 88588 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1588600/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=88932 CPUtime=130.02 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19353 0 0 0 12975 27 0 0 25 0 1 0 194784956 91066368 17829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22233 17829 108 232 0 21998 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 88932 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1587960/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=89288 CPUtime=140.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19512 0 0 0 13975 28 0 0 25 0 1 0 194784956 91430912 17988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22322 17988 108 232 0 22087 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 89288 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1587448/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=89656 CPUtime=150.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19641 0 0 0 14974 29 0 0 25 0 1 0 194784956 91807744 18117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22414 18117 108 232 0 22179 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 89656 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1587000/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=89876 CPUtime=160.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19756 0 0 0 15973 30 0 0 25 0 1 0 194784956 92033024 18232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22469 18232 108 232 0 22234 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 89876 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1586488/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=90272 CPUtime=170.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 19879 0 0 0 16972 31 0 0 25 0 1 0 194784956 92438528 18355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558780 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22568 18355 108 232 0 22333 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 90272 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1585912/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=90684 CPUtime=180.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20013 0 0 0 17971 32 0 0 25 0 1 0 194784956 92860416 18489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22671 18489 108 232 0 22436 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 90684 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1585528/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=90684 CPUtime=190.04 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20115 0 0 0 18970 34 0 0 25 0 1 0 194784956 92860416 18591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22671 18591 108 232 0 22436 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 90684 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1585080/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=91108 CPUtime=200.03 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 20234 0 0 0 19968 35 0 0 25 0 1 0 194784956 93294592 18710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 22777 18710 108 232 0 22542 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 91108 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28601 /proc/meminfo: memFree=1584632/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41926 0 0 0 177951 189 0 0 25 0 1 0 194784956 162177024 29647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29647 108 232 0 39359 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 158376 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540608/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1782.42 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41931 0 0 0 178052 190 0 0 25 0 1 0 194784956 162177024 29652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29652 108 232 0 39359 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 158376 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1783.42 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41937 0 0 0 178152 190 0 0 25 0 1 0 194784956 162177024 29658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29658 108 232 0 39359 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 158376 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1784.42 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41939 0 0 0 178252 190 0 0 25 0 1 0 194784956 162177024 29660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29660 108 232 0 39359 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 158376 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540544/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1785.43 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41945 0 0 0 178353 190 0 0 25 0 1 0 194784956 162177024 29666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29666 108 232 0 39359 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 158376 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1786.43 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41951 0 0 0 178453 190 0 0 25 0 1 0 194784956 162177024 29672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29672 108 232 0 39359 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 158376 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1787.44 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41955 0 0 0 178554 190 0 0 25 0 1 0 194784956 162177024 29676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29676 108 232 0 39359 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 158376 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540480/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1788.44 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41961 0 0 0 178654 190 0 0 25 0 1 0 194784956 162177024 29682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560697 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29682 108 232 0 39359 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 158376 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1789.45 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41967 0 0 0 178755 190 0 0 25 0 1 0 194784956 162177024 29688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29688 108 232 0 39359 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 158376 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1790.45 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41969 0 0 0 178855 190 0 0 25 0 1 0 194784956 162177024 29690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29690 108 232 0 39359 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 158376 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1791.45 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41975 0 0 0 178955 190 0 0 25 0 1 0 194784956 162177024 29696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29696 108 232 0 39359 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 158376 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1792.46 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41977 0 0 0 179056 190 0 0 25 0 1 0 194784956 162177024 29698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29698 108 232 0 39359 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 158376 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1793.46 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41982 0 0 0 179156 190 0 0 25 0 1 0 194784956 162177024 29703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29703 108 232 0 39359 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 158376 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1794.47 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41985 0 0 0 179257 190 0 0 25 0 1 0 194784956 162177024 29706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29706 108 232 0 39359 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 158376 [startup+1796.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540416/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1795.48 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41991 0 0 0 179357 191 0 0 25 0 1 0 194784956 162177024 29712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29712 108 232 0 39359 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 158376 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1796.48 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 41997 0 0 0 179457 191 0 0 25 0 1 0 194784956 162177024 29718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29718 108 232 0 39359 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 158376 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1797.49 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42000 0 0 0 179558 191 0 0 25 0 1 0 194784956 162177024 29721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29721 108 232 0 39359 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 158376 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540352/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1798.49 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42006 0 0 0 179658 191 0 0 25 0 1 0 194784956 162177024 29727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29727 108 232 0 39359 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 158376 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1799.49 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42013 0 0 0 179758 191 0 0 25 0 1 0 194784956 162177024 29734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29734 108 232 0 39359 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 158376 [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1800.49 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42016 0 0 0 179858 191 0 0 25 0 1 0 194784956 162177024 29737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29737 108 232 0 39359 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 158376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 28796 /proc/meminfo: memFree=1540288/2055920 swapFree=4181380/4192956 [pid=28599] ppid=28597 vsize=158376 CPUtime=1800.5 /proc/28599/stat : 28599 (PBS4L) R 28597 28599 28553 0 -1 4194304 42016 0 0 0 179859 191 0 0 25 0 1 0 194784956 162177024 29737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28599/statm: 39594 29737 108 232 0 39359 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 158376 Sending SIGTERM to -28599 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.53 CPU user time (s): 1798.59 CPU system time (s): 1.9347 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (Kb): 158376 The end
Begin job on node37 on Fri Jun 2 23:33:07 UTC 2006 FILE ID= 41913-1149291187 PBS_JOBID= 306885 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-41913-1149291187 -o ROOT/results/node37/solver-41913-1149291187 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41913-1149291187/instance-41913-1149291187.opb 245694770 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED= 245694770 /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.281 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.281 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: 1659832 kB Buffers: 18956 kB Cached: 307740 kB SwapCached: 3308 kB Active: 44888 kB Inactive: 290544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1659832 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14932 kB Slab: 46744 kB Committed_AS: 245232 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node37 on Sat Jun 3 00:03:09 UTC 2006