Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.47 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
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 | 131.514 |
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 | 17831 |
Number of constraints which are clauses | 17831 |
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/node89/41916-1149292753/instance-41916-1149292753.opb ...... 0.10 c done parsing opb. 0.10 o 450 0.10 o 449 0.10 o 448 0.10 o 447 0.12 o 446 0.12 o 430 0.15 o 429 0.15 o 428 0.15 o 427 5.50 o 426 20.58 o 425 54.58 o 424 1146.89 o 423
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/node89/watcher-41916-1149292753 -o ROOT/results/node89/solver-41916-1149292753 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/68 22007 /proc/meminfo: memFree=1627544/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=1400 CPUtime=0 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 194914357 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 350 140 97 232 0 115 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/68 22007 /proc/meminfo: memFree=1585368/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=71120 CPUtime=9.99 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 10793 0 0 0 994 5 0 0 25 0 1 0 194914357 72826880 10618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 17780 10618 108 232 0 17545 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 71120 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1576664/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=75104 CPUtime=19.99 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 13164 0 0 0 1990 9 0 0 25 0 1 0 194914357 76906496 12796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 18776 12796 108 232 0 18541 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 75104 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1572056/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=77472 CPUtime=30 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 14335 0 0 0 2989 11 0 0 25 0 1 0 194914357 79331328 13967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 19368 13967 108 232 0 19133 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 77472 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1570008/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=80400 CPUtime=39.99 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15218 0 0 0 3987 12 0 0 25 0 1 0 194914357 82329600 14465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 20100 14465 108 232 0 19865 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 80400 [startup+50.0267 s] /proc/loadavg: 0.96 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1568984/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=81116 CPUtime=50 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15486 0 0 0 4986 14 0 0 25 0 1 0 194914357 83062784 14733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 20279 14733 108 232 0 20044 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 81116 [startup+60.0326 s] /proc/loadavg: 0.97 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1567704/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=82304 CPUtime=60 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 15795 0 0 0 5984 16 0 0 25 0 1 0 194914357 84279296 15042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 20576 15042 108 232 0 20341 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 82304 [startup+70.0384 s] /proc/loadavg: 0.97 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1566424/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=83408 CPUtime=70.01 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16105 0 0 0 6983 18 0 0 25 0 1 0 194914357 85409792 15352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550805 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 20852 15352 108 232 0 20617 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 83408 [startup+80.0443 s] /proc/loadavg: 0.98 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1565656/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=84180 CPUtime=80 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16312 0 0 0 7981 19 0 0 25 0 1 0 194914357 86200320 15559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 21045 15559 108 232 0 20810 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 84180 [startup+90.0502 s] /proc/loadavg: 0.98 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1564952/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=84476 CPUtime=90.01 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16494 0 0 0 8981 20 0 0 25 0 1 0 194914357 86503424 15741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 21119 15741 108 232 0 20884 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 84476 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.91 2/68 22007 /proc/meminfo: memFree=1564312/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=85092 CPUtime=100.01 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 16661 0 0 0 9979 22 0 0 25 0 1 0 194914357 87134208 15908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 21273 15908 108 232 0 21038 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 85092 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.91 2/74 22030 /proc/meminfo: memFree=1562536/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=88328 CPUtime=110.01 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17561 0 0 0 10977 24 0 0 25 0 1 0 194914357 90447872 16039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549510 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22082 16039 108 232 0 21847 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 88328 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/74 22120 /proc/meminfo: memFree=1561640/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=89164 CPUtime=119.98 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17751 0 0 0 11972 26 0 0 25 0 1 0 194914357 91303936 16229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22291 16229 108 232 0 22056 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 89164 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1561928/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=89520 CPUtime=129.93 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 17898 0 0 0 12966 27 0 0 25 0 1 0 194914357 91668480 16376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0 /proc/22007/statm: 22380 16376 108 232 0 22145 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 89520 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1561560/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=89888 CPUtime=139.93 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18035 0 0 0 13964 29 0 0 25 0 1 0 194914357 92045312 16513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559731 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22472 16513 108 232 0 22237 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 89888 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1561176/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=90108 CPUtime=149.94 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18150 0 0 0 14963 31 0 0 25 0 1 0 194914357 92270592 16628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549031 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22527 16628 108 232 0 22292 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 90108 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1560664/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=90340 CPUtime=159.94 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18276 0 0 0 15962 32 0 0 25 0 1 0 194914357 92508160 16754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22585 16754 108 232 0 22350 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 90340 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1560152/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=90748 CPUtime=169.94 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18407 0 0 0 16961 33 0 0 25 0 1 0 194914357 92925952 16885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22687 16885 108 232 0 22452 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 90748 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1559704/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=91012 CPUtime=179.95 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18523 0 0 0 17960 35 0 0 25 0 1 0 194914357 93196288 17001 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549073 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22753 17001 108 232 0 22518 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 91012 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1559128/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=91172 CPUtime=189.95 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18653 0 0 0 18959 36 0 0 25 0 1 0 194914357 93360128 17131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22793 17131 108 232 0 22558 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 91172 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1558680/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=91612 CPUtime=199.95 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 18782 0 0 0 19958 37 0 0 25 0 1 0 194914357 93810688 17260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 22903 17260 108 232 0 22668 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 91612 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1558296/2055892 swapFree=4085360/4096564 ################ # More data... # ################ /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43328 0 0 0 177960 176 0 0 25 0 1 0 194914357 163385344 31051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31051 108 232 0 39654 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (Kb) 159556 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503320/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1782.36 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43336 0 0 0 178060 176 0 0 25 0 1 0 194914357 163385344 31059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31059 108 232 0 39654 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 159556 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1783.37 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43343 0 0 0 178161 176 0 0 25 0 1 0 194914357 163385344 31066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31066 108 232 0 39654 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 159556 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1784.37 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43346 0 0 0 178261 176 0 0 25 0 1 0 194914357 163385344 31069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31069 108 232 0 39654 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 159556 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1785.37 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43352 0 0 0 178361 176 0 0 25 0 1 0 194914357 163385344 31075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31075 108 232 0 39654 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 159556 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503256/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1786.38 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43354 0 0 0 178462 176 0 0 25 0 1 0 194914357 163385344 31077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31077 108 232 0 39654 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 159556 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1787.38 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43361 0 0 0 178562 176 0 0 25 0 1 0 194914357 163385344 31084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31084 108 232 0 39654 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 159556 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1788.38 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43367 0 0 0 178662 176 0 0 25 0 1 0 194914357 163385344 31090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31090 108 232 0 39654 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 159556 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503192/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1789.39 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43370 0 0 0 178763 176 0 0 25 0 1 0 194914357 163385344 31093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31093 108 232 0 39654 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 159556 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1790.39 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43377 0 0 0 178863 176 0 0 25 0 1 0 194914357 163385344 31100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31100 108 232 0 39654 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 159556 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1791.39 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43378 0 0 0 178963 176 0 0 25 0 1 0 194914357 163385344 31101 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31101 108 232 0 39654 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 159556 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1792.4 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43379 0 0 0 179064 176 0 0 25 0 1 0 194914357 163385344 31102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31102 108 232 0 39654 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 159556 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503128/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1793.4 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43387 0 0 0 179164 176 0 0 25 0 1 0 194914357 163385344 31110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31110 108 232 0 39654 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 159556 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503064/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1794.42 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43393 0 0 0 179265 177 0 0 25 0 1 0 194914357 163385344 31116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31116 108 232 0 39654 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 159556 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503064/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1795.42 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43401 0 0 0 179365 177 0 0 25 0 1 0 194914357 163385344 31124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31124 108 232 0 39654 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 159556 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503000/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1796.42 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43409 0 0 0 179465 177 0 0 25 0 1 0 194914357 163385344 31132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31132 108 232 0 39654 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 159556 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1503000/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1797.43 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43412 0 0 0 179566 177 0 0 25 0 1 0 194914357 163385344 31135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31135 108 232 0 39654 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 159556 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1798.43 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43420 0 0 0 179666 177 0 0 25 0 1 0 194914357 163385344 31143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31143 108 232 0 39654 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 159556 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1799.44 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43427 0 0 0 179767 177 0 0 25 0 1 0 194914357 163385344 31150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31150 108 232 0 39654 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 159556 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1800.44 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43433 0 0 0 179867 177 0 0 25 0 1 0 194914357 163385344 31156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31156 108 232 0 39654 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 159556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 22202 /proc/meminfo: memFree=1502936/2055892 swapFree=4085360/4096564 [pid=22007] ppid=22005 vsize=159556 CPUtime=1800.44 /proc/22007/stat : 22007 (PBS4L) R 22005 22007 21961 0 -1 4194304 43433 0 0 0 179867 177 0 0 25 0 1 0 194914357 163385344 31156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/22007/statm: 39889 31156 108 232 0 39654 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 159556 Sending SIGTERM to -22007 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.47 CPU user time (s): 1798.68 CPU system time (s): 1.79273 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (Kb): 159556 The end
Begin job on node89 on Fri Jun 2 23:59:13 UTC 2006 FILE ID= 41916-1149292753 PBS_JOBID= 306933 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-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-41916-1149292753 -o ROOT/results/node89/solver-41916-1149292753 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41916-1149292753/instance-41916-1149292753.opb 72006942 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED= 72006942 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1627752 kB Buffers: 33740 kB Cached: 322740 kB SwapCached: 2560 kB Active: 103800 kB Inactive: 261524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1627752 kB SwapTotal: 4096564 kB SwapFree: 4085360 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16536 kB Slab: 49400 kB Committed_AS: 299260 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 3 00:29:14 UTC 2006