Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.79 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb |
MD5SUM | a94882f61e84be0ce1718fd53c8fd7c8 |
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 | 319.072 |
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 | 689 |
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 Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 231 variables and 2707 constraints. 0.08 c Using non-optimization problem switches. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.071 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.105 0.22 c Restart #2 #Var: 231 LB: 0 @ 0.211 0.36 c Restart #3 #Var: 231 LB: 0 @ 0.354 0.51 c Restart #4 #Var: 231 LB: 0 @ 0.501 0.73 c Restart #5 #Var: 231 LB: 0 @ 0.728 0.96 c Restart #6 #Var: 231 LB: 0 @ 0.959 1.27 c Restart #7 #Var: 231 LB: 0 @ 1.264 1.70 c Restart #8 #Var: 231 LB: 0 @ 1.697 2.19 c Restart #9 #Var: 231 LB: 0 @ 2.18 2.72 c Restart #10 #Var: 231 LB: 0 @ 2.718 3.34 c Restart #11 #Var: 231 LB: 0 @ 3.333 4.07 c Restart #12 #Var: 231 LB: 0 @ 4.061 5.04 c Restart #13 #Var: 231 LB: 0 @ 5.03 5.85 c Restart #14 #Var: 231 LB: 0 @ 5.844 7.01 c Restart #15 #Var: 231 LB: 0 @ 7.001 8.12 c Restart #16 #Var: 231 LB: 0 @ 8.115 9.15 c Restart #17 #Var: 231 LB: 0 @ 9.138 10.98 c Restart #18 #Var: 231 LB: 0 @ 10.974 12.55 c Restart #19 #Var: 231 LB: 0 @ 12.535 15.13 c Restart #20 #Var: 231 LB: 0 @ 15.122 16.99 c Restart #21 #Var: 231 LB: 0 @ 16.982 19.80 c Restart #22 #Var: 231 LB: 0 @ 19.787 23.42 c Restart #23 #Var: 231 LB: 0 @ 23.41 27.36 c Restart #24 #Var: 231 LB: 0 @ 27.339 30.43 c Restart #25 #Var: 231 LB: 0 @ 30.416 34.31 c Restart #26 #Var: 231 LB: 0 @ 34.293 41.32 c Restart #27 #Var: 231 LB: 0 @ 41.294 47.91 c Restart #28 #Var: 231 LB: 0 @ 47.884 53.18 c Restart #29 #Var: 231 LB: 0 @ 53.154 60.06 c Restart #30 #Var: 231 LB: 0 @ 60.032 69.12 c Restart #31 #Var: 231 LB: 0 @ 69.095 76.31 c Restart #32 #Var: 231 LB: 0 @ 76.273 83.58 c Restart #33 #Var: 231 LB: 0 @ 83.539 93.77 c Restart #34 #Var: 231 LB: 0 @ 93.731 102.38 c Restart #35 #Var: 231 LB: 0 @ 102.33 112.90 c Restart #36 #Var: 231 LB: 0 @ 112.85 127.60 c Restart #37 #Var: 231 LB: 0 @ 127.55 144.33 c Restart #38 #Var: 231 LB: 0 @ 144.28 156.84 c Restart #39 #Var: 231 LB: 0 @ 156.78 173.79 c Restart #40 #Var: 231 LB: 0 @ 173.72 188.71 c Restart #41 #Var: 231 LB: 0 @ 188.63 202.11 c Restart #42 #Var: 231 LB: 0 @ 202.03 217.69 c Restart #43 #Var: 231 LB: 0 @ 217.61 243.06 c Restart #44 #Var: 231 LB: 0 @ 242.97 263.09 c Restart #45 #Var: 231 LB: 0 @ 262.99 280.17 c Restart #46 #Var: 231 LB: 0 @ 280.06 298.06 c Restart #47 #Var: 231 LB: 0 @ 297.95 320.56 c Restart #48 #Var: 231 LB: 0 @ 320.44 347.49 c Restart #49 #Var: 231 LB: 0 @ 347.36 370.91 c Restart #50 #Var: 231 LB: 0 @ 370.77 404.74 c Restart #51 #Var: 231 LB: 0 @ 404.59 432.47 c Restart #52 #Var: 231 LB: 0 @ 432.31 461.93 c Restart #53 #Var: 231 LB: 0 @ 461.77 489.58 c Restart #54 #Var: 231 LB: 0 @ 489.4 519.79 c Restart #55 #Var: 231 LB: 0 @ 519.61 555.89 c Restart #56 #Var: 231 LB: 0 @ 555.69 587.83 c Restart #57 #Var: 231 LB: 0 @ 587.62 634.31 c Restart #58 #Var: 231 LB: 0 @ 634.08 662.95 c Restart #59 #Var: 231 LB: 0 @ 662.72 710.98 c Restart #60 #Var: 231 LB: 0 @ 710.73 757.56 c Restart #61 #Var: 231 LB: 0 @ 757.29 790.90 c Restart #62 #Var: 231 LB: 0 @ 790.62 843.50 c Restart #63 #Var: 231 LB: 0 @ 843.2 883.82 c Restart #64 #Var: 231 LB: 0 @ 883.5 938.01 c CHANGE Heuristic... 938.01 c Restart #0 #Var: 231 LB: 0 @ 937.68 945.61 c Restart #1 #Var: 231 LB: 0 @ 945.27 952.08 c Restart #2 #Var: 231 LB: 0 @ 951.75 959.20 c Restart #3 #Var: 231 LB: 0 @ 958.86 963.92 c Restart #4 #Var: 231 LB: 0 @ 963.58 972.15 c Restart #5 #Var: 231 LB: 0 @ 971.81 979.75 c Restart #6 #Var: 231 LB: 0 @ 979.41 987.22 c Restart #7 #Var: 231 LB: 0 @ 986.88 1001.29 c Restart #8 #Var: 231 LB: 0 @ 1000.9 1011.10 c Restart #9 #Var: 231 LB: 0 @ 1010.7 1021.91 c Restart #10 #Var: 231 LB: 0 @ 1021.6 1036.14 c Restart #11 #Var: 231 LB: 0 @ 1035.8 1048.47 c Restart #12 #Var: 231 LB: 0 @ 1048.1 1060.44 c Restart #13 #Var: 231 LB: 0 @ 1060.1 1080.57 c Restart #14 #Var: 231 LB: 0 @ 1080.2 1093.75 c Restart #15 #Var: 231 LB: 0 @ 1093.3 1114.41 c Restart #16 #Var: 231 LB: 0 @ 1113.9 1131.45 c Restart #17 #Var: 231 LB: 0 @ 1131 1153.41 c Restart #18 #Var: 231 LB: 0 @ 1152.9 1173.20 c Restart #19 #Var: 231 LB: 0 @ 1172.7 1197.91 c Restart #20 #Var: 231 LB: 0 @ 1197.4 1222.26 c Restart #21 #Var: 231 LB: 0 @ 1221.7 1242.54 c Restart #22 #Var: 231 LB: 0 @ 1242 1262.87 c Restart #23 #Var: 231 LB: 0 @ 1262.3 1288.14 c Restart #24 #Var: 231 LB: 0 @ 1287.6 1322.35 c Restart #25 #Var: 231 LB: 0 @ 1321.8 1350.03 c Restart #26 #Var: 231 LB: 0 @ 1349.5 1379.77 c Restart #27 #Var: 231 LB: 0 @ 1379.2 1418.09 c Restart #28 #Var: 231 LB: 0 @ 1417.5 1457.75 c Restart #29 #Var: 231 LB: 0 @ 1457.2 1483.37 c Restart #30 #Var: 231 LB: 0 @ 1482.8 1517.75 c Restart #31 #Var: 231 LB: 0 @ 1517.1 1549.71 c Restart #32 #Var: 231 LB: 0 @ 1549.1 1590.04 c Restart #33 #Var: 231 LB: 0 @ 1589.4 1622.70 c Restart #34 #Var: 231 LB: 0 @ 1622.1 1658.50 c Restart #35 #Var: 231 LB: 0 @ 1657.8 1688.01 c Restart #36 #Var: 231 LB: 0 @ 1687.3 1730.88 c Restart #37 #Var: 231 LB: 0 @ 1730.2 1767.64 c Restart #38 #Var: 231 LB: 0 @ 1766.9 1800.71 s UNKNOWN 1800.71 c Exit Code: 0 1800.71 c Total time: 1800 s
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/node34/watcher-39541-1149216170 -o ROOT/results/node34/solver-39541-1149216170 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1382744/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=436 CPUtime=0 /proc/11078/stat : 11078 (bsolo) D 11076 11078 11033 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 187280863 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/11078/statm: 109 23 18 55 0 18 0 [startup+10.0016 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1361256/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=26128 CPUtime=9.98 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 5787 0 0 0 992 6 0 0 25 0 1 0 187280863 26755072 5702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 6532 5702 296 55 0 5424 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 26128 [startup+20.0073 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1349032/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=38276 CPUtime=19.98 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 8847 0 0 0 1988 10 0 0 25 0 1 0 187280863 39194624 8762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 9569 8762 296 55 0 8461 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 38276 [startup+30.013 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1340072/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=47260 CPUtime=29.99 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 11074 0 0 0 2986 13 0 0 25 0 1 0 187280863 48394240 10989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 11815 10989 296 55 0 10707 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 47260 [startup+40.0187 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1333224/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=54132 CPUtime=39.99 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 12780 0 0 0 3984 15 0 0 25 0 1 0 187280863 55431168 12695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 13533 12695 296 55 0 12425 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 54132 [startup+50.0244 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1327400/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=59944 CPUtime=49.99 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 14240 0 0 0 4981 18 0 0 25 0 1 0 187280863 61382656 14155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 14986 14155 296 55 0 13878 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 59944 [startup+60.0301 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1320936/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=66412 CPUtime=59.99 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 15851 0 0 0 5979 20 0 0 25 0 1 0 187280863 68005888 15766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 16603 15766 296 55 0 15495 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 66412 [startup+70.0357 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1316712/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=70672 CPUtime=69.99 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 16908 0 0 0 6977 22 0 0 25 0 1 0 187280863 72368128 16823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 17668 16823 296 55 0 16560 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 70672 [startup+80.0414 s] /proc/loadavg: 1.00 1.01 0.95 2/64 11078 /proc/meminfo: memFree=1311272/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=76100 CPUtime=80 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 18264 0 0 0 7975 25 0 0 25 0 1 0 187280863 77926400 18178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 19025 18178 296 55 0 17917 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 76100 [startup+90.0471 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1304872/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=82568 CPUtime=90 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 19875 0 0 0 8972 28 0 0 25 0 1 0 187280863 84549632 19789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 20642 19789 296 55 0 19534 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 82568 [startup+100.054 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1299432/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=88008 CPUtime=100 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 21222 0 0 0 9970 30 0 0 25 0 1 0 187280863 90120192 21135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 22002 21135 296 55 0 20894 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 88008 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1294632/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=92760 CPUtime=110 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 22428 0 0 0 10967 33 0 0 25 0 1 0 187280863 94986240 22341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 23190 22341 296 55 0 22082 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 92760 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1290920/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=96476 CPUtime=120.01 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 23356 0 0 0 11966 35 0 0 25 0 1 0 187280863 98791424 23268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 24119 23268 296 55 0 23011 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 96476 [startup+130.073 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1286888/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=100572 CPUtime=130.02 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 24357 0 0 0 12965 37 0 0 25 0 1 0 187280863 102985728 24269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 25143 24269 296 55 0 24035 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 100572 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1283944/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=103476 CPUtime=140.01 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 25093 0 0 0 13963 38 0 0 25 0 1 0 187280863 105959424 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 25869 25005 296 55 0 24761 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 103476 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1280168/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=107180 CPUtime=150.02 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 26031 0 0 0 14962 40 0 0 25 0 1 0 187280863 109752320 25943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 26795 25943 296 55 0 25687 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 107180 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1276072/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=111288 CPUtime=160.01 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 27051 0 0 0 15960 41 0 0 25 0 1 0 187280863 113958912 26962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 27822 26962 296 55 0 26714 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 111288 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1272616/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=114876 CPUtime=170.03 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 27921 0 0 0 16959 44 0 0 25 0 1 0 187280863 117633024 27832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 28719 27832 296 55 0 27611 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 114876 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1268520/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=118860 CPUtime=180.03 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 28931 0 0 0 17958 45 0 0 25 0 1 0 187280863 121712640 28842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 29715 28842 296 55 0 28607 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 118860 [startup+190.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1264040/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=123352 CPUtime=190.03 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 30052 0 0 0 18955 48 0 0 25 0 1 0 187280863 126312448 29963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 30838 29963 296 55 0 29730 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 123352 [startup+200.116 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1259688/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=127708 CPUtime=200.03 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 31133 0 0 0 19953 50 0 0 25 0 1 0 187280863 130772992 31044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 31927 31044 296 55 0 30819 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 127708 [startup+210.122 s] /proc/loadavg: 1.00 1.00 0.95 2/64 11078 /proc/meminfo: memFree=1256296/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/11078/statm: 109171 107614 296 55 0 108063 0 Current children cumulated CPU time (s) 1760.33 Current children cumulated vsize (Kb) 436684 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=951272/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=437792 CPUtime=1770.33 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108051 0 0 0 176835 198 0 0 25 0 1 0 187280863 448299008 107905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 109448 107905 296 55 0 108340 0 Current children cumulated CPU time (s) 1770.33 Current children cumulated vsize (Kb) 437792 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=950120/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=439112 CPUtime=1780.33 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108341 0 0 0 177835 198 0 0 25 0 1 0 187280863 449650688 108194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 109778 108194 296 55 0 108670 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 439112 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=949864/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=439244 CPUtime=1781.34 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108404 0 0 0 177935 199 0 0 25 0 1 0 187280863 449785856 108257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 109811 108257 296 55 0 108703 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 439244 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=949480/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=439640 CPUtime=1782.34 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108501 0 0 0 178035 199 0 0 25 0 1 0 187280863 450191360 108354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 109910 108354 296 55 0 108802 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 439640 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=949096/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=440036 CPUtime=1783.34 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108596 0 0 0 178135 199 0 0 25 0 1 0 187280863 450596864 108449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110009 108449 296 55 0 108901 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 440036 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=948712/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=440432 CPUtime=1784.35 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108693 0 0 0 178236 199 0 0 25 0 1 0 187280863 451002368 108546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110108 108546 296 55 0 109000 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 440432 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=948520/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=440696 CPUtime=1785.35 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108742 0 0 0 178336 199 0 0 25 0 1 0 187280863 451272704 108595 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110174 108595 296 55 0 109066 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (Kb) 440696 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=948392/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=440828 CPUtime=1786.36 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108776 0 0 0 178436 200 0 0 25 0 1 0 187280863 451407872 108629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110207 108629 296 55 0 109099 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 440828 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=948200/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=440960 CPUtime=1787.37 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108823 0 0 0 178537 200 0 0 25 0 1 0 187280863 451543040 108676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110240 108676 296 55 0 109132 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 440960 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=947944/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=441224 CPUtime=1788.37 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108884 0 0 0 178637 200 0 0 25 0 1 0 187280863 451813376 108737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110306 108737 296 55 0 109198 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 441224 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=947688/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=441488 CPUtime=1789.38 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108943 0 0 0 178738 200 0 0 25 0 1 0 187280863 452083712 108796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110372 108796 296 55 0 109264 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 441488 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=947496/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=441620 CPUtime=1790.38 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108995 0 0 0 178838 200 0 0 25 0 1 0 187280863 452218880 108848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110405 108848 296 55 0 109297 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 441620 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=947304/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=441944 CPUtime=1791.38 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109051 0 0 0 178938 200 0 0 25 0 1 0 187280863 452550656 108900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110486 108900 296 55 0 109378 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 441944 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=946920/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=442208 CPUtime=1792.39 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109137 0 0 0 179039 200 0 0 25 0 1 0 187280863 452820992 108986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110552 108986 296 55 0 109444 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 442208 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=946536/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=442604 CPUtime=1793.39 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109232 0 0 0 179139 200 0 0 25 0 1 0 187280863 453226496 109081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110651 109081 296 55 0 109543 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 442604 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=946472/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=442736 CPUtime=1794.4 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109254 0 0 0 179240 200 0 0 25 0 1 0 187280863 453361664 109103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110684 109103 296 55 0 109576 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 442736 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=946280/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=442868 CPUtime=1795.4 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109298 0 0 0 179340 200 0 0 25 0 1 0 187280863 453496832 109147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110717 109147 296 55 0 109609 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 442868 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=946088/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=443132 CPUtime=1796.4 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109347 0 0 0 179440 200 0 0 25 0 1 0 187280863 453767168 109196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110783 109196 296 55 0 109675 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 443132 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=945960/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=443264 CPUtime=1797.41 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109375 0 0 0 179541 200 0 0 25 0 1 0 187280863 453902336 109224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110816 109224 296 55 0 109708 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 443264 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=945640/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=443528 CPUtime=1798.41 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109460 0 0 0 179641 200 0 0 25 0 1 0 187280863 454172672 109309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 110882 109309 296 55 0 109774 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 443528 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 11273 /proc/meminfo: memFree=945192/2055920 swapFree=4181356/4192956 [pid=11078] ppid=11076 vsize=444056 CPUtime=1799.42 /proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109573 0 0 0 179742 200 0 0 25 0 1 0 187280863 454713344 109422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11078/statm: 111014 109422 296 55 0 109906 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 444056 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.07 CPU user time (s): 1797.99 CPU system time (s): 2.07668 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (Kb): 444056
Begin job on node34 on Fri Jun 2 02:42:50 UTC 2006 FILE ID= 39541-1149216170 PBS_JOBID= 294781 BENCH NAME= ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-39541-1149216170 -o ROOT/results/node34/solver-39541-1149216170 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8 RANDOM SEED= 244474374 /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.277 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.277 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: 1383016 kB Buffers: 36820 kB Cached: 562872 kB SwapCached: 3536 kB Active: 91768 kB Inactive: 516860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1383016 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14828 kB Slab: 50344 kB Committed_AS: 224328 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 node34 on Fri Jun 2 03:12:51 UTC 2006