Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.51 | 1801.17 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb |
MD5SUM | b1cb8dfc9613a6d80968091d3346a684 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5507 |
Best CPU time to get the best result obtained on this benchmark | 1782.8 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5507 |
Optimality of the best value was proved | NO |
Number of variables | 23384 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 1202 |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7037881 |
Number of bits of the biggest sum of numbers | 23 |
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/node82/41198-1149244226/instance-41198-1149244226.opb ...... 1.00 c done parsing opb. 1.00 o 8300
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/node82/watcher-41198-1149244226 -o ROOT/results/node82/solver-41198-1149244226 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 14514 /proc/meminfo: memFree=1092472/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=1368 CPUtime=0 /proc/14514/stat : 14514 (PBS4L) D 14512 14514 14468 0 -1 4194304 110 0 0 0 0 0 0 0 21 0 1 0 181611846 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/14514/statm: 342 95 84 232 0 107 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.90 2/68 14514 /proc/meminfo: memFree=1083000/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=10860 CPUtime=9.98 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 2583 0 0 0 993 5 0 0 25 0 1 0 181611846 11120640 2481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 2715 2481 108 232 0 2480 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10860 [startup+20.0093 s] /proc/loadavg: 0.94 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1081912/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=12668 CPUtime=19.99 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 2853 0 0 0 1992 7 0 0 25 0 1 0 181611846 12972032 2751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 3167 2751 108 232 0 2932 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12668 [startup+30.0152 s] /proc/loadavg: 0.95 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1080696/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=13332 CPUtime=29.99 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3147 0 0 0 2991 8 0 0 25 0 1 0 181611846 13651968 3045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 3333 3045 108 232 0 3098 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 13332 [startup+40.0211 s] /proc/loadavg: 0.95 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1079608/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=15920 CPUtime=39.99 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3416 0 0 0 3990 9 0 0 25 0 1 0 181611846 16302080 3314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 3980 3314 108 232 0 3745 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15920 [startup+50.028 s] /proc/loadavg: 0.96 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1078904/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=16168 CPUtime=49.99 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3597 0 0 0 4989 10 0 0 25 0 1 0 181611846 16556032 3495 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 4042 3495 108 232 0 3807 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16168 [startup+60.0339 s] /proc/loadavg: 0.97 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1078328/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=16596 CPUtime=60 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3751 0 0 0 5989 11 0 0 25 0 1 0 181611846 16994304 3649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 4149 3649 108 232 0 3914 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 16596 [startup+70.0398 s] /proc/loadavg: 0.97 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1077752/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=16596 CPUtime=70 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 3900 0 0 0 6988 12 0 0 25 0 1 0 181611846 16994304 3798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564201 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 4149 3798 108 232 0 3914 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 16596 [startup+80.0467 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1077112/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=16732 CPUtime=80.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4055 0 0 0 7988 13 0 0 25 0 1 0 181611846 17133568 3953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 4183 3953 108 232 0 3948 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 16732 [startup+90.0526 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1076664/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=20828 CPUtime=90.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4166 0 0 0 8987 14 0 0 25 0 1 0 181611846 21327872 4064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5207 4064 108 232 0 4972 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 20828 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1076216/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=20828 CPUtime=100.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4264 0 0 0 9986 15 0 0 25 0 1 0 181611846 21327872 4162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5207 4162 108 232 0 4972 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 20828 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14514 /proc/meminfo: memFree=1075704/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=20920 CPUtime=110.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4396 0 0 0 10986 15 0 0 25 0 1 0 181611846 21422080 4294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5230 4294 108 232 0 4995 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 20920 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1075320/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21056 CPUtime=120.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4514 0 0 0 11985 16 0 0 25 0 1 0 181611846 21561344 4412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546344 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5264 4412 108 232 0 5029 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 21056 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1074808/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21252 CPUtime=130.02 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4636 0 0 0 12985 17 0 0 25 0 1 0 181611846 21762048 4534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5313 4534 108 232 0 5078 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 21252 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1074104/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21252 CPUtime=140.01 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4801 0 0 0 13984 17 0 0 25 0 1 0 181611846 21762048 4699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5313 4699 108 232 0 5078 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 21252 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1073528/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21356 CPUtime=150.02 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 4956 0 0 0 14984 18 0 0 25 0 1 0 181611846 21868544 4854 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5339 4854 108 232 0 5104 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 21356 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1072952/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21484 CPUtime=160.02 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5099 0 0 0 15984 18 0 0 25 0 1 0 181611846 21999616 4997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552768 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5371 4997 108 232 0 5136 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 21484 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1072376/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=21484 CPUtime=170.02 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5230 0 0 0 16983 19 0 0 25 0 1 0 181611846 21999616 5128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 5371 5128 108 232 0 5136 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 21484 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1071864/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=29784 CPUtime=180.03 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5359 0 0 0 17982 21 0 0 25 0 1 0 181611846 30498816 5257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 7446 5257 108 232 0 7211 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 29784 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1071416/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=29784 CPUtime=190.03 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5478 0 0 0 18982 21 0 0 25 0 1 0 181611846 30498816 5376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 7446 5376 108 232 0 7211 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 29784 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1070776/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=29916 CPUtime=200.03 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 5623 0 0 0 19981 22 0 0 25 0 1 0 181611846 30633984 5521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 7479 5521 108 232 0 7244 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 29916 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1070328/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18326 0 0 0 178041 99 0 0 25 0 1 0 181611846 56598528 11244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11244 108 232 0 13583 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 55272 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1782.4 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18327 0 0 0 178141 99 0 0 25 0 1 0 181611846 56598528 11245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11245 108 232 0 13583 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 55272 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1783.41 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18327 0 0 0 178242 99 0 0 25 0 1 0 181611846 56598528 11245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11245 108 232 0 13583 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 55272 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047608/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1784.41 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18328 0 0 0 178342 99 0 0 25 0 1 0 181611846 56598528 11246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11246 108 232 0 13583 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 55272 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1785.42 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18385 0 0 0 178443 99 0 0 25 0 1 0 181611846 56598528 11257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11257 108 232 0 13583 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 55272 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1786.42 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18385 0 0 0 178543 99 0 0 25 0 1 0 181611846 56598528 11257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11257 108 232 0 13583 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 55272 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1787.43 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18386 0 0 0 178644 99 0 0 25 0 1 0 181611846 56598528 11258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11258 108 232 0 13583 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 55272 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1788.43 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178744 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11260 108 232 0 13583 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 55272 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1789.44 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178845 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11260 108 232 0 13583 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 55272 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1790.44 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18388 0 0 0 178945 99 0 0 25 0 1 0 181611846 56598528 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11260 108 232 0 13583 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 55272 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1791.44 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18389 0 0 0 179045 99 0 0 25 0 1 0 181611846 56598528 11261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11261 108 232 0 13583 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 55272 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55272 CPUtime=1792.45 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18389 0 0 0 179146 99 0 0 25 0 1 0 181611846 56598528 11261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13818 11261 108 232 0 13583 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 55272 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1793.45 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18392 0 0 0 179246 99 0 0 25 0 1 0 181611846 56705024 11264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564930 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11264 108 232 0 13609 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 55376 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047544/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1794.46 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18393 0 0 0 179347 99 0 0 25 0 1 0 181611846 56705024 11265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11265 108 232 0 13609 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 55376 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1795.46 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18440 0 0 0 179447 99 0 0 25 0 1 0 181611846 56705024 11266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11266 108 232 0 13609 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 55376 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1796.47 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18440 0 0 0 179548 99 0 0 25 0 1 0 181611846 56705024 11266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11266 108 232 0 13609 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 55376 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1797.47 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18441 0 0 0 179648 99 0 0 25 0 1 0 181611846 56705024 11267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11267 108 232 0 13609 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 55376 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1798.47 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18441 0 0 0 179748 99 0 0 25 0 1 0 181611846 56705024 11267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11267 108 232 0 13609 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 55376 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1799.48 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179849 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11268 108 232 0 13609 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 55376 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1800.48 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179949 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11268 108 232 0 13609 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 55376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14514 /proc/meminfo: memFree=1047480/2055892 swapFree=4087504/4096564 [pid=14514] ppid=14512 vsize=55376 CPUtime=1800.49 /proc/14514/stat : 14514 (PBS4L) R 14512 14514 14468 0 -1 4194304 18442 0 0 0 179950 99 0 0 25 0 1 0 181611846 56705024 11268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/14514/statm: 13844 11268 108 232 0 13609 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 55376 Sending SIGTERM to -14514 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.51 CPU user time (s): 1799.5 CPU system time (s): 1.00385 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 55376 The end
Begin job on node82 on Fri Jun 2 10:30:26 UTC 2006 FILE ID= 41198-1149244226 PBS_JOBID= 297663 BENCH NAME= ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41198-1149244226 -o ROOT/results/node82/solver-41198-1149244226 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41198-1149244226/instance-41198-1149244226.opb 245341801 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= b1cb8dfc9613a6d80968091d3346a684 RANDOM SEED= 245341801 /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.17 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: 1092680 kB Buffers: 45224 kB Cached: 839804 kB SwapCached: 2848 kB Active: 130944 kB Inactive: 762888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1092680 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14548 kB Slab: 55668 kB Committed_AS: 240724 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 11:00:27 UTC 2006