Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb |
MD5SUM | 3972d8c24730f4742ee881de3ad25c62 |
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 | 33.7979 |
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 | 707 |
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.01 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 231 variables and 2707 constraints. 0.07 c Using non-optimization problem switches. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.068 0.07 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.13 c Restart #1 #Var: 231 LB: 0 @ 0.125 0.28 c Restart #2 #Var: 231 LB: 0 @ 0.277 0.48 c Restart #3 #Var: 231 LB: 0 @ 0.475 0.71 c Restart #4 #Var: 231 LB: 0 @ 0.703 0.92 c Restart #5 #Var: 231 LB: 0 @ 0.912 1.15 c Restart #6 #Var: 231 LB: 0 @ 1.141 1.45 c Restart #7 #Var: 231 LB: 0 @ 1.439 1.80 c Restart #8 #Var: 231 LB: 0 @ 1.79 2.25 c Restart #9 #Var: 231 LB: 0 @ 2.242 2.71 c Restart #10 #Var: 231 LB: 0 @ 2.699 3.19 c Restart #11 #Var: 231 LB: 0 @ 3.179 3.86 c Restart #12 #Var: 231 LB: 0 @ 3.854 4.82 c Restart #13 #Var: 231 LB: 0 @ 4.816 6.01 c Restart #14 #Var: 231 LB: 0 @ 6.002 6.99 c Restart #15 #Var: 231 LB: 0 @ 6.979 8.51 c Restart #16 #Var: 231 LB: 0 @ 8.505 10.49 c Restart #17 #Var: 231 LB: 0 @ 10.476 12.44 c Restart #18 #Var: 231 LB: 0 @ 12.424 14.24 c Restart #19 #Var: 231 LB: 0 @ 14.226 16.50 c Restart #20 #Var: 231 LB: 0 @ 16.487 18.78 c Restart #21 #Var: 231 LB: 0 @ 18.764 23.06 c Restart #22 #Var: 231 LB: 0 @ 23.041 26.35 c Restart #23 #Var: 231 LB: 0 @ 26.337 30.60 c Restart #24 #Var: 231 LB: 0 @ 30.582 33.94 c Restart #25 #Var: 231 LB: 0 @ 33.92 38.41 c Restart #26 #Var: 231 LB: 0 @ 38.387 44.15 c Restart #27 #Var: 231 LB: 0 @ 44.129 50.72 c Restart #28 #Var: 231 LB: 0 @ 50.7 56.41 c Restart #29 #Var: 231 LB: 0 @ 56.383 63.49 c Restart #30 #Var: 231 LB: 0 @ 63.457 74.59 c Restart #31 #Var: 231 LB: 0 @ 74.558 82.32 c Restart #32 #Var: 231 LB: 0 @ 82.285 93.08 c Restart #33 #Var: 231 LB: 0 @ 93.043 102.71 c Restart #34 #Var: 231 LB: 0 @ 102.67 116.07 c Restart #35 #Var: 231 LB: 0 @ 116.03 127.70 c Restart #36 #Var: 231 LB: 0 @ 127.65 143.15 c Restart #37 #Var: 231 LB: 0 @ 143.09 151.14 c Restart #38 #Var: 231 LB: 0 @ 151.08 164.12 c Restart #39 #Var: 231 LB: 0 @ 164.06 177.17 c Restart #40 #Var: 231 LB: 0 @ 177.11 191.88 c Restart #41 #Var: 231 LB: 0 @ 191.81 203.98 c Restart #42 #Var: 231 LB: 0 @ 203.91 217.06 c Restart #43 #Var: 231 LB: 0 @ 216.99 243.44 c Restart #44 #Var: 231 LB: 0 @ 243.36 261.87 c Restart #45 #Var: 231 LB: 0 @ 261.78 280.60 c Restart #46 #Var: 231 LB: 0 @ 280.5 299.66 c Restart #47 #Var: 231 LB: 0 @ 299.55 321.12 c Restart #48 #Var: 231 LB: 0 @ 321.01 338.16 c Restart #49 #Var: 231 LB: 0 @ 338.05 363.21 c Restart #50 #Var: 231 LB: 0 @ 363.08 386.30 c Restart #51 #Var: 231 LB: 0 @ 386.17 409.98 c Restart #52 #Var: 231 LB: 0 @ 409.85 434.07 c Restart #53 #Var: 231 LB: 0 @ 433.93 464.07 c Restart #54 #Var: 231 LB: 0 @ 463.91 491.69 c Restart #55 #Var: 231 LB: 0 @ 491.52 516.57 c Restart #56 #Var: 231 LB: 0 @ 516.4 565.28 c Restart #57 #Var: 231 LB: 0 @ 565.09 601.06 c Restart #58 #Var: 231 LB: 0 @ 600.86 630.99 c Restart #59 #Var: 231 LB: 0 @ 630.78 669.63 c Restart #60 #Var: 231 LB: 0 @ 669.41 718.80 c Restart #61 #Var: 231 LB: 0 @ 718.56 765.50 c Restart #62 #Var: 231 LB: 0 @ 765.25 814.26 c Restart #63 #Var: 231 LB: 0 @ 813.99 873.66 c Restart #64 #Var: 231 LB: 0 @ 873.38 917.05 c CHANGE Heuristic... 917.05 c Restart #0 #Var: 231 LB: 0 @ 916.75 924.50 c Restart #1 #Var: 231 LB: 0 @ 924.19 930.30 c Restart #2 #Var: 231 LB: 0 @ 929.99 941.04 c Restart #3 #Var: 231 LB: 0 @ 940.74 947.47 c Restart #4 #Var: 231 LB: 0 @ 947.16 953.91 c Restart #5 #Var: 231 LB: 0 @ 953.6 960.34 c Restart #6 #Var: 231 LB: 0 @ 960.02 967.66 c Restart #7 #Var: 231 LB: 0 @ 967.34 975.55 c Restart #8 #Var: 231 LB: 0 @ 975.23 985.14 c Restart #9 #Var: 231 LB: 0 @ 984.82 995.87 c Restart #10 #Var: 231 LB: 0 @ 995.55 1010.63 c Restart #11 #Var: 231 LB: 0 @ 1010.3 1024.09 c Restart #12 #Var: 231 LB: 0 @ 1023.8 1034.10 c Restart #13 #Var: 231 LB: 0 @ 1033.8 1047.10 c Restart #14 #Var: 231 LB: 0 @ 1046.8 1062.34 c Restart #15 #Var: 231 LB: 0 @ 1062 1084.20 c Restart #16 #Var: 231 LB: 0 @ 1083.8 1103.04 c Restart #17 #Var: 231 LB: 0 @ 1102.7 1121.69 c Restart #18 #Var: 231 LB: 0 @ 1121.3 1145.05 c Restart #19 #Var: 231 LB: 0 @ 1144.7 1164.18 c Restart #20 #Var: 231 LB: 0 @ 1163.8 1195.76 c Restart #21 #Var: 231 LB: 0 @ 1195.4 1221.28 c Restart #22 #Var: 231 LB: 0 @ 1220.9 1240.09 c Restart #23 #Var: 231 LB: 0 @ 1239.7 1263.82 c Restart #24 #Var: 231 LB: 0 @ 1263.4 1292.07 c Restart #25 #Var: 231 LB: 0 @ 1291.7 1320.49 c Restart #26 #Var: 231 LB: 0 @ 1320.1 1342.10 c Restart #27 #Var: 231 LB: 0 @ 1341.7 1363.75 c Restart #28 #Var: 231 LB: 0 @ 1363.3 1392.14 c Restart #29 #Var: 231 LB: 0 @ 1391.7 1427.42 c Restart #30 #Var: 231 LB: 0 @ 1427 1451.49 c Restart #31 #Var: 231 LB: 0 @ 1451 1492.02 c Restart #32 #Var: 231 LB: 0 @ 1491.5 1521.08 c Restart #33 #Var: 231 LB: 0 @ 1520.6 1556.78 c Restart #34 #Var: 231 LB: 0 @ 1556.3 1597.16 c Restart #35 #Var: 231 LB: 0 @ 1596.6 1627.09 c Restart #36 #Var: 231 LB: 0 @ 1626.6 1655.56 c Restart #37 #Var: 231 LB: 0 @ 1655 1697.65 c Restart #38 #Var: 231 LB: 0 @ 1697.1 1740.64 c Restart #39 #Var: 231 LB: 0 @ 1740.1 1792.35 c Restart #40 #Var: 231 LB: 0 @ 1791.7 1800.68 s UNKNOWN 1800.68 c Exit Code: 0 1800.68 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/node22/watcher-39599-1149222689 -o ROOT/results/node22/solver-39599-1149222689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39599-1149222689/instance-39599-1149222689.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 14181 /proc/meminfo: memFree=1468728/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=4928 CPUtime=0 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 353 0 0 0 0 0 0 0 19 0 1 0 83703236 5046272 318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459154 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 1233 328 224 55 0 125 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.90 2/64 14181 /proc/meminfo: memFree=1448504/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=24804 CPUtime=9.99 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 5453 0 0 0 995 4 0 0 25 0 1 0 83703236 25399296 5368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 6201 5368 296 55 0 5093 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 24804 [startup+20.0097 s] /proc/loadavg: 0.94 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1437688/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=35628 CPUtime=19.98 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 8162 0 0 0 1991 7 0 0 25 0 1 0 83703236 36483072 8077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 8907 8077 296 55 0 7799 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 35628 [startup+30.0163 s] /proc/loadavg: 0.95 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1428856/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=44340 CPUtime=29.99 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 10352 0 0 0 2989 10 0 0 25 0 1 0 83703236 45404160 10267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 11085 10267 296 55 0 9977 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 44340 [startup+40.022 s] /proc/loadavg: 0.95 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1420664/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=52536 CPUtime=39.99 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 12398 0 0 0 3986 13 0 0 25 0 1 0 83703236 53796864 12313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 13134 12313 296 55 0 12026 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 52536 [startup+50.0287 s] /proc/loadavg: 0.96 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1414840/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=58480 CPUtime=49.99 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 13854 0 0 0 4984 15 0 0 25 0 1 0 83703236 59883520 13769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 14620 13769 296 55 0 13512 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 58480 [startup+60.0344 s] /proc/loadavg: 0.97 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1408504/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=64676 CPUtime=60 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 15424 0 0 0 5982 18 0 0 25 0 1 0 83703236 66228224 15339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 16169 15339 296 55 0 15061 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 64676 [startup+70.041 s] /proc/loadavg: 0.97 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1403960/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=69292 CPUtime=70 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 16566 0 0 0 6981 19 0 0 25 0 1 0 83703236 70955008 16481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 17323 16481 296 55 0 16215 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 69292 [startup+80.0467 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1399032/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=74176 CPUtime=80 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 17798 0 0 0 7978 22 0 0 25 0 1 0 83703236 75956224 17713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 18544 17713 296 55 0 17436 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 74176 [startup+90.0524 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1393848/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=79332 CPUtime=90 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 19081 0 0 0 8976 24 0 0 25 0 1 0 83703236 81235968 18996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 19833 18996 296 55 0 18725 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 79332 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1388920/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=84220 CPUtime=100.01 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 20309 0 0 0 9974 27 0 0 25 0 1 0 83703236 86241280 20224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 21055 20224 296 55 0 19947 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 84220 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14181 /proc/meminfo: memFree=1384888/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=88316 CPUtime=110.01 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 21316 0 0 0 10972 29 0 0 25 0 1 0 83703236 90435584 21231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 22079 21231 296 55 0 20971 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 88316 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1381048/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=92148 CPUtime=120.01 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 22277 0 0 0 11971 30 0 0 25 0 1 0 83703236 94359552 22192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 23037 22192 296 55 0 21929 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 92148 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1376696/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=96508 CPUtime=130.01 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 23359 0 0 0 12968 33 0 0 25 0 1 0 83703236 98824192 23274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 24127 23274 296 55 0 23019 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 96508 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1372792/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=100348 CPUtime=140.02 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 24323 0 0 0 13967 35 0 0 25 0 1 0 83703236 102756352 24237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 25087 24237 296 55 0 23979 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 100348 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1367608/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=105640 CPUtime=150.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 25638 0 0 0 14965 38 0 0 25 0 1 0 83703236 108175360 25552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 26410 25552 296 55 0 25302 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 105640 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1364024/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=109216 CPUtime=160.02 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 26518 0 0 0 15963 39 0 0 25 0 1 0 83703236 111837184 26432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 27304 26432 296 55 0 26196 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 109216 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1360120/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=113184 CPUtime=170.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 27500 0 0 0 16962 41 0 0 25 0 1 0 83703236 115900416 27414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 28296 27414 296 55 0 27188 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 113184 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1355704/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=117552 CPUtime=180.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 28603 0 0 0 17959 44 0 0 25 0 1 0 83703236 120373248 28517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 29388 28517 296 55 0 28280 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 117552 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1351736/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=121512 CPUtime=190.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 29590 0 0 0 18958 45 0 0 25 0 1 0 83703236 124428288 29504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 30378 29504 296 55 0 29270 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 121512 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1347256/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=126000 CPUtime=200.03 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 30698 0 0 0 19956 47 0 0 25 0 1 0 83703236 129024000 30611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 31500 30611 296 55 0 30392 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 126000 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1342200/2055920 swapFree=4183844/4192956 ################ # More data... # ################ /proc/14181/statm: 108498 106961 296 55 0 107390 0 Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 433992 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14181 /proc/meminfo: memFree=1040376/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=434784 CPUtime=1770.45 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107297 0 0 0 176862 183 0 0 25 0 1 0 83703236 445218816 107148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 108696 107148 296 55 0 107588 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 434784 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.91 2/70 14252 /proc/meminfo: memFree=1037704/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=436236 CPUtime=1780.45 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107672 0 0 0 177860 185 0 0 25 0 1 0 83703236 446705664 107523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109059 107523 296 55 0 107951 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 436236 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.91 2/70 14302 /proc/meminfo: memFree=1037440/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=436368 CPUtime=1781.43 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107693 0 0 0 177958 185 0 0 25 0 1 0 83703236 446840832 107544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109092 107544 296 55 0 107984 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 436368 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/70 14302 /proc/meminfo: memFree=1037248/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=436500 CPUtime=1782.43 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107748 0 0 0 178058 185 0 0 25 0 1 0 83703236 446976000 107599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109125 107599 296 55 0 108017 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 436500 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/70 14302 /proc/meminfo: memFree=1036992/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=436764 CPUtime=1783.44 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107811 0 0 0 178159 185 0 0 25 0 1 0 83703236 447246336 107662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109191 107662 296 55 0 108083 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 436764 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1037616/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=437028 CPUtime=1784.41 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107881 0 0 0 178256 185 0 0 25 0 1 0 83703236 447516672 107732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109257 107732 296 55 0 108149 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 437028 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1037616/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=437292 CPUtime=1785.41 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107927 0 0 0 178356 185 0 0 25 0 1 0 83703236 447787008 107778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109323 107778 296 55 0 108215 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 437292 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1037360/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=437424 CPUtime=1786.42 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107986 0 0 0 178457 185 0 0 25 0 1 0 83703236 447922176 107837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109356 107837 296 55 0 108248 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 437424 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1036912/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=437952 CPUtime=1787.43 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108100 0 0 0 178557 186 0 0 25 0 1 0 83703236 448462848 107951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109488 107951 296 55 0 108380 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 437952 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1036656/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=438216 CPUtime=1788.43 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108172 0 0 0 178657 186 0 0 25 0 1 0 83703236 448733184 108023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109554 108023 296 55 0 108446 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 438216 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1036464/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=438348 CPUtime=1789.43 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108216 0 0 0 178757 186 0 0 25 0 1 0 83703236 448868352 108067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109587 108067 296 55 0 108479 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 438348 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1036272/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=438612 CPUtime=1790.44 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108260 0 0 0 178858 186 0 0 25 0 1 0 83703236 449138688 108111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109653 108111 296 55 0 108545 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 438612 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1036024/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=438876 CPUtime=1791.44 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108336 0 0 0 178958 186 0 0 25 0 1 0 83703236 449409024 108187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109719 108187 296 55 0 108611 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 438876 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035832/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439168 CPUtime=1792.45 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108371 0 0 0 179059 186 0 0 25 0 1 0 83703236 449708032 108222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109792 108222 296 55 0 108684 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 439168 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035832/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439168 CPUtime=1793.45 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108382 0 0 0 179159 186 0 0 25 0 1 0 83703236 449708032 108233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109792 108233 296 55 0 108684 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 439168 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035768/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439168 CPUtime=1794.45 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108397 0 0 0 179259 186 0 0 25 0 1 0 83703236 449708032 108248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109792 108248 296 55 0 108684 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 439168 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035640/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439300 CPUtime=1795.46 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108418 0 0 0 179360 186 0 0 25 0 1 0 83703236 449843200 108269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109825 108269 296 55 0 108717 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 439300 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035512/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439432 CPUtime=1796.46 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108451 0 0 0 179460 186 0 0 25 0 1 0 83703236 449978368 108302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534051 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109858 108302 296 55 0 108750 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 439432 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035448/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439564 CPUtime=1797.47 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108479 0 0 0 179561 186 0 0 25 0 1 0 83703236 450113536 108330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109891 108330 296 55 0 108783 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 439564 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035384/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439564 CPUtime=1798.47 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108491 0 0 0 179661 186 0 0 25 0 1 0 83703236 450113536 108342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529177 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109891 108342 296 55 0 108783 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 439564 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14376 /proc/meminfo: memFree=1035320/2055920 swapFree=4183844/4192956 [pid=14181] ppid=14179 vsize=439696 CPUtime=1799.48 /proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108505 0 0 0 179762 186 0 0 25 0 1 0 83703236 450248704 108356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14181/statm: 109924 108356 296 55 0 108816 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 439696 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.1 CPU user time (s): 1798.16 CPU system time (s): 1.9367 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (Kb): 439696
Begin job on node22 on Fri Jun 2 04:31:29 UTC 2006 FILE ID= 39599-1149222689 PBS_JOBID= 295537 BENCH NAME= ROOT/tmp/node22/39599-1149222689/instance-39599-1149222689.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39599-1149222689/instance-39599-1149222689.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-39599-1149222689 -o ROOT/results/node22/solver-39599-1149222689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39599-1149222689/instance-39599-1149222689.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62 RANDOM SEED= 404770767 /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.261 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.261 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: 1468936 kB Buffers: 39200 kB Cached: 471948 kB SwapCached: 3204 kB Active: 168252 kB Inactive: 351636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1468936 kB SwapTotal: 4192956 kB SwapFree: 4183844 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14896 kB Slab: 53076 kB Committed_AS: 187128 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node22 on Fri Jun 2 05:01:30 UTC 2006