Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 928.762 | 929.083 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 199.53 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
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/40993-1149218829/instance-40993-1149218829.opb ...... 929.06 c done parsing opb. 929.06 s UNSATISFIABLE 929.06 c Total Run Time 928.724
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-40993-1149218829 -o ROOT/results/node82/solver-40993-1149218829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1194744/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=1400 CPUtime=0 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 179072196 1433600 138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630594 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 350 138 100 232 0 115 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1182968/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=13768 CPUtime=9.99 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 3427 0 0 0 993 6 0 0 25 0 1 0 179072196 14098432 3065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 3442 3065 104 232 0 3207 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13768 [startup+20.0083 s] /proc/loadavg: 0.94 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1176504/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=24952 CPUtime=19.99 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 5432 0 0 0 1988 11 0 0 25 0 1 0 179072196 25550848 4685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 6238 4685 105 232 0 6003 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24952 [startup+30.0142 s] /proc/loadavg: 0.95 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1171384/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=26116 CPUtime=30 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 6714 0 0 0 2986 14 0 0 25 0 1 0 179072196 26742784 5966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 6529 5966 105 232 0 6294 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26116 [startup+40.0201 s] /proc/loadavg: 0.96 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1166648/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=43864 CPUtime=40 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 7920 0 0 0 3983 17 0 0 25 0 1 0 179072196 44916736 7172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 10966 7172 105 232 0 10731 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43864 [startup+50.026 s] /proc/loadavg: 0.96 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1162808/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=47924 CPUtime=50 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 9631 0 0 0 4980 20 0 0 25 0 1 0 179072196 49074176 8114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 11981 8114 105 232 0 11746 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 47924 [startup+60.0319 s] /proc/loadavg: 0.97 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1159416/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=48892 CPUtime=60.01 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 10485 0 0 0 5978 23 0 0 25 0 1 0 179072196 50065408 8968 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 12223 8969 105 232 0 11988 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 48892 [startup+70.0378 s] /proc/loadavg: 0.97 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1155576/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=49904 CPUtime=70.01 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 11440 0 0 0 6975 26 0 0 25 0 1 0 179072196 51101696 9923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 12476 9923 105 232 0 12241 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49904 [startup+80.0437 s] /proc/loadavg: 0.98 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1152632/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=50684 CPUtime=80.01 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 12179 0 0 0 7974 27 0 0 25 0 1 0 179072196 51900416 10662 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 12671 10662 105 232 0 12436 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50684 [startup+90.0496 s] /proc/loadavg: 0.98 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1149496/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=51404 CPUtime=90.01 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 12950 0 0 0 8971 30 0 0 25 0 1 0 179072196 52637696 11433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 12851 11433 105 232 0 12616 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 51404 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1146936/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=51992 CPUtime=100.01 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 13598 0 0 0 9969 32 0 0 25 0 1 0 179072196 53239808 12081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 12998 12081 105 232 0 12763 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 51992 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1144056/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=85684 CPUtime=110.02 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 14314 0 0 0 10968 34 0 0 25 0 1 0 179072196 87740416 12797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 21421 12797 105 232 0 21186 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 85684 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1141944/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=86604 CPUtime=120.02 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 14837 0 0 0 11967 35 0 0 25 0 1 0 179072196 88682496 13320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 21651 13320 105 232 0 21416 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86604 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1139512/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=86868 CPUtime=130.02 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 15463 0 0 0 12965 37 0 0 25 0 1 0 179072196 88952832 13946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 21717 13946 105 232 0 21482 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 86868 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1137400/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=87468 CPUtime=140.02 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 15986 0 0 0 13964 38 0 0 25 0 1 0 179072196 89567232 14469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 21867 14469 105 232 0 21632 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 87468 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1135992/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=87864 CPUtime=150.03 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 16338 0 0 0 14963 40 0 0 25 0 1 0 179072196 89972736 14821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 21966 14821 105 232 0 21731 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 87864 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1133944/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=88352 CPUtime=160.02 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 16851 0 0 0 15961 41 0 0 25 0 1 0 179072196 90472448 15334 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 22088 15334 105 232 0 21853 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 88352 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1132216/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=95288 CPUtime=170.04 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 18822 0 0 0 16959 45 0 0 25 0 1 0 179072196 97574912 15768 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 23822 15768 105 232 0 23587 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 95288 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1130296/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=95448 CPUtime=180.03 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 19302 0 0 0 17957 46 0 0 25 0 1 0 179072196 97738752 16248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 23862 16248 105 232 0 23627 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 95448 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1128312/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=96064 CPUtime=190.03 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 19848 0 0 0 18955 48 0 0 25 0 1 0 179072196 98369536 16728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 24016 16728 105 232 0 23781 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 96064 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1127480/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=96824 CPUtime=200.04 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 20087 0 0 0 19955 49 0 0 25 0 1 0 179072196 99147776 16934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611838 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 24206 16934 105 232 0 23971 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 96824 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1126392/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/11756/statm: 31216 25574 105 232 0 30981 0 Current children cumulated CPU time (s) 710.16 Current children cumulated vsize (Kb) 124864 [startup+720.425 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1092536/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=124864 CPUtime=720.17 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32649 0 0 0 71905 112 0 0 25 0 1 0 179072196 127860736 25631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31216 25631 105 232 0 30981 0 Current children cumulated CPU time (s) 720.17 Current children cumulated vsize (Kb) 124864 [startup+730.431 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1091576/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126084 CPUtime=730.17 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32906 0 0 0 72904 113 0 0 25 0 1 0 179072196 129110016 25888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31521 25888 105 232 0 31286 0 Current children cumulated CPU time (s) 730.17 Current children cumulated vsize (Kb) 126084 [startup+740.437 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1091384/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126084 CPUtime=740.17 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32947 0 0 0 73903 114 0 0 25 0 1 0 179072196 129110016 25929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31521 25929 105 232 0 31286 0 Current children cumulated CPU time (s) 740.17 Current children cumulated vsize (Kb) 126084 [startup+750.442 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1091000/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126212 CPUtime=750.18 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33087 0 0 0 74903 115 0 0 25 0 1 0 179072196 129241088 26036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31553 26036 105 232 0 31318 0 Current children cumulated CPU time (s) 750.18 Current children cumulated vsize (Kb) 126212 [startup+760.448 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1090488/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126808 CPUtime=760.17 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33207 0 0 0 75901 116 0 0 25 0 1 0 179072196 129851392 26156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31702 26156 105 232 0 31467 0 Current children cumulated CPU time (s) 760.17 Current children cumulated vsize (Kb) 126808 [startup+770.454 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1090296/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126808 CPUtime=770.19 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33260 0 0 0 76901 118 0 0 25 0 1 0 179072196 129851392 26209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31702 26209 105 232 0 31467 0 Current children cumulated CPU time (s) 770.19 Current children cumulated vsize (Kb) 126808 [startup+780.46 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1090104/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=126808 CPUtime=780.18 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33300 0 0 0 77899 119 0 0 25 0 1 0 179072196 129851392 26249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31702 26249 105 232 0 31467 0 Current children cumulated CPU time (s) 780.18 Current children cumulated vsize (Kb) 126808 [startup+790.466 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1089656/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=127440 CPUtime=790.19 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33408 0 0 0 78899 120 0 0 25 0 1 0 179072196 130498560 26357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31860 26357 105 232 0 31625 0 Current children cumulated CPU time (s) 790.19 Current children cumulated vsize (Kb) 127440 [startup+800.471 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1089528/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=127440 CPUtime=800.19 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33444 0 0 0 79899 120 0 0 25 0 1 0 179072196 130498560 26393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31860 26393 105 232 0 31625 0 Current children cumulated CPU time (s) 800.19 Current children cumulated vsize (Kb) 127440 [startup+810.477 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1089400/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=127440 CPUtime=810.19 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33482 0 0 0 80898 121 0 0 25 0 1 0 179072196 130498560 26431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31860 26431 105 232 0 31625 0 Current children cumulated CPU time (s) 810.19 Current children cumulated vsize (Kb) 127440 [startup+820.484 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1089272/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=127440 CPUtime=820.19 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33513 0 0 0 81897 122 0 0 25 0 1 0 179072196 130498560 26462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558976 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31860 26462 105 232 0 31625 0 Current children cumulated CPU time (s) 820.19 Current children cumulated vsize (Kb) 127440 [startup+830.49 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1088760/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=127440 CPUtime=830.2 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33635 0 0 0 82897 123 0 0 25 0 1 0 179072196 130498560 26584 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 31860 26584 105 232 0 31625 0 Current children cumulated CPU time (s) 830.2 Current children cumulated vsize (Kb) 127440 [startup+840.496 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1088248/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=128240 CPUtime=840.2 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33801 0 0 0 83896 124 0 0 25 0 1 0 179072196 131317760 26717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32060 26717 105 232 0 31825 0 Current children cumulated CPU time (s) 840.2 Current children cumulated vsize (Kb) 128240 [startup+850.501 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1087800/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=128368 CPUtime=850.21 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33944 0 0 0 84895 126 0 0 25 0 1 0 179072196 131448832 26827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32092 26827 105 232 0 31857 0 Current children cumulated CPU time (s) 850.21 Current children cumulated vsize (Kb) 128368 [startup+860.508 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1087416/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=129080 CPUtime=860.21 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34040 0 0 0 85894 127 0 0 25 0 1 0 179072196 132177920 26923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32270 26923 105 232 0 32035 0 Current children cumulated CPU time (s) 860.21 Current children cumulated vsize (Kb) 129080 [startup+870.514 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1087224/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=129080 CPUtime=870.21 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34079 0 0 0 86893 128 0 0 25 0 1 0 179072196 132177920 26962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32270 26962 105 232 0 32035 0 Current children cumulated CPU time (s) 870.21 Current children cumulated vsize (Kb) 129080 [startup+880.52 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1086840/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=129080 CPUtime=880.21 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34179 0 0 0 87892 129 0 0 25 0 1 0 179072196 132177920 27062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32270 27062 105 232 0 32035 0 Current children cumulated CPU time (s) 880.21 Current children cumulated vsize (Kb) 129080 [startup+890.527 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1086200/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=129836 CPUtime=890.22 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34330 0 0 0 88892 130 0 0 25 0 1 0 179072196 132952064 27213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32459 27213 105 232 0 32224 0 Current children cumulated CPU time (s) 890.22 Current children cumulated vsize (Kb) 129836 [startup+900.533 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1085560/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=130640 CPUtime=900.22 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34496 0 0 0 89891 131 0 0 25 0 1 0 179072196 133775360 27379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32660 27379 105 232 0 32425 0 Current children cumulated CPU time (s) 900.22 Current children cumulated vsize (Kb) 130640 [startup+910.539 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1085432/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=130640 CPUtime=910.22 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34529 0 0 0 90889 133 0 0 25 0 1 0 179072196 133775360 27412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32660 27412 105 232 0 32425 0 Current children cumulated CPU time (s) 910.22 Current children cumulated vsize (Kb) 130640 [startup+920.545 s] /proc/loadavg: 0.99 0.97 0.91 2/68 11756 /proc/meminfo: memFree=1084472/2055892 swapFree=4087504/4096564 [pid=11756] ppid=11754 vsize=131496 CPUtime=920.22 /proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34761 0 0 0 91888 134 0 0 25 0 1 0 179072196 134651904 27644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/11756/statm: 32874 27644 105 232 0 32639 0 Current children cumulated CPU time (s) 920.22 Current children cumulated vsize (Kb) 131496 Child status: 0 Real time (s): 929.083 CPU time (s): 928.762 CPU user time (s): 927.39 CPU system time (s): 1.37179 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 131496
Begin job on node82 on Fri Jun 2 03:27:09 UTC 2006 FILE ID= 40993-1149218829 PBS_JOBID= 295068 BENCH NAME= ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-40993-1149218829 -o ROOT/results/node82/solver-40993-1149218829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED= 354963479 /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: 1194952 kB Buffers: 44276 kB Cached: 739160 kB SwapCached: 2848 kB Active: 117876 kB Inactive: 674264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1194952 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14532 kB Slab: 55084 kB Committed_AS: 210452 kB PageTables: 1468 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 03:42:38 UTC 2006