Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.08 | 1801.16 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb |
MD5SUM | 0626939ca6144a564c8e59fb048e3266 |
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 | 93.7857 |
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 | 705 |
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.12 c Restart #1 #Var: 231 LB: 0 @ 0.112 0.25 c Restart #2 #Var: 231 LB: 0 @ 0.249 0.50 c Restart #3 #Var: 231 LB: 0 @ 0.49 0.82 c Restart #4 #Var: 231 LB: 0 @ 0.818 1.02 c Restart #5 #Var: 231 LB: 0 @ 1.016 1.24 c Restart #6 #Var: 231 LB: 0 @ 1.229 1.57 c Restart #7 #Var: 231 LB: 0 @ 1.565 2.09 c Restart #8 #Var: 231 LB: 0 @ 2.086 2.52 c Restart #9 #Var: 231 LB: 0 @ 2.513 3.08 c Restart #10 #Var: 231 LB: 0 @ 3.073 3.78 c Restart #11 #Var: 231 LB: 0 @ 3.776 4.43 c Restart #12 #Var: 231 LB: 0 @ 4.421 5.25 c Restart #13 #Var: 231 LB: 0 @ 5.243 6.24 c Restart #14 #Var: 231 LB: 0 @ 6.233 7.15 c Restart #15 #Var: 231 LB: 0 @ 7.141 8.61 c Restart #16 #Var: 231 LB: 0 @ 8.596 9.86 c Restart #17 #Var: 231 LB: 0 @ 9.853 11.49 c Restart #18 #Var: 231 LB: 0 @ 11.477 13.19 c Restart #19 #Var: 231 LB: 0 @ 13.18 15.54 c Restart #20 #Var: 231 LB: 0 @ 15.531 17.54 c Restart #21 #Var: 231 LB: 0 @ 17.532 19.49 c Restart #22 #Var: 231 LB: 0 @ 19.475 23.42 c Restart #23 #Var: 231 LB: 0 @ 23.405 26.63 c Restart #24 #Var: 231 LB: 0 @ 26.614 31.75 c Restart #25 #Var: 231 LB: 0 @ 31.733 35.93 c Restart #26 #Var: 231 LB: 0 @ 35.903 40.37 c Restart #27 #Var: 231 LB: 0 @ 40.343 49.90 c Restart #28 #Var: 231 LB: 0 @ 49.862 54.27 c Restart #29 #Var: 231 LB: 0 @ 54.234 57.73 c Restart #30 #Var: 231 LB: 0 @ 57.697 61.93 c Restart #31 #Var: 231 LB: 0 @ 61.892 66.95 c Restart #32 #Var: 231 LB: 0 @ 66.91 73.55 c Restart #33 #Var: 231 LB: 0 @ 73.504 80.12 c Restart #34 #Var: 231 LB: 0 @ 80.073 87.68 c Restart #35 #Var: 231 LB: 0 @ 87.632 94.93 c Restart #36 #Var: 231 LB: 0 @ 94.876 101.92 c Restart #37 #Var: 231 LB: 0 @ 101.86 111.09 c Restart #38 #Var: 231 LB: 0 @ 111.03 120.30 c Restart #39 #Var: 231 LB: 0 @ 120.23 132.24 c Restart #40 #Var: 231 LB: 0 @ 132.15 143.45 c Restart #41 #Var: 231 LB: 0 @ 143.36 151.47 c Restart #42 #Var: 231 LB: 0 @ 151.38 164.86 c Restart #43 #Var: 231 LB: 0 @ 164.76 193.16 c Restart #44 #Var: 231 LB: 0 @ 193.04 205.51 c Restart #45 #Var: 231 LB: 0 @ 205.39 219.05 c Restart #46 #Var: 231 LB: 0 @ 218.92 235.33 c Restart #47 #Var: 231 LB: 0 @ 235.19 262.23 c Restart #48 #Var: 231 LB: 0 @ 262.07 279.99 c Restart #49 #Var: 231 LB: 0 @ 279.82 293.40 c Restart #50 #Var: 231 LB: 0 @ 293.23 310.38 c Restart #51 #Var: 231 LB: 0 @ 310.19 332.39 c Restart #52 #Var: 231 LB: 0 @ 332.19 368.15 c Restart #53 #Var: 231 LB: 0 @ 367.93 395.80 c Restart #54 #Var: 231 LB: 0 @ 395.56 416.39 c Restart #55 #Var: 231 LB: 0 @ 416.14 442.15 c Restart #56 #Var: 231 LB: 0 @ 441.89 462.13 c Restart #57 #Var: 231 LB: 0 @ 461.86 496.27 c Restart #58 #Var: 231 LB: 0 @ 495.98 532.88 c Restart #59 #Var: 231 LB: 0 @ 532.57 555.45 c Restart #60 #Var: 231 LB: 0 @ 555.12 606.15 c Restart #61 #Var: 231 LB: 0 @ 605.8 638.20 c Restart #62 #Var: 231 LB: 0 @ 637.83 680.22 c Restart #63 #Var: 231 LB: 0 @ 679.83 707.80 c Restart #64 #Var: 231 LB: 0 @ 707.39 743.91 c Restart #65 #Var: 231 LB: 0 @ 743.48 779.13 c Restart #66 #Var: 231 LB: 0 @ 778.67 823.40 c Restart #67 #Var: 231 LB: 0 @ 822.92 863.84 c Restart #68 #Var: 231 LB: 0 @ 863.34 902.76 c CHANGE Heuristic... 902.76 c Restart #0 #Var: 231 LB: 0 @ 902.24 912.72 c Restart #1 #Var: 231 LB: 0 @ 912.18 916.59 c Restart #2 #Var: 231 LB: 0 @ 916.05 921.01 c Restart #3 #Var: 231 LB: 0 @ 920.47 924.66 c Restart #4 #Var: 231 LB: 0 @ 924.11 933.52 c Restart #5 #Var: 231 LB: 0 @ 932.97 940.41 c Restart #6 #Var: 231 LB: 0 @ 939.85 945.38 c Restart #7 #Var: 231 LB: 0 @ 944.82 951.71 c Restart #8 #Var: 231 LB: 0 @ 951.15 958.60 c Restart #9 #Var: 231 LB: 0 @ 958.04 984.46 c Restart #10 #Var: 231 LB: 0 @ 983.88 993.69 c Restart #11 #Var: 231 LB: 0 @ 993.11 1006.70 c Restart #12 #Var: 231 LB: 0 @ 1006.1 1018.00 c Restart #13 #Var: 231 LB: 0 @ 1017.4 1025.02 c Restart #14 #Var: 231 LB: 0 @ 1024.4 1039.25 c Restart #15 #Var: 231 LB: 0 @ 1038.6 1051.20 c Restart #16 #Var: 231 LB: 0 @ 1050.6 1069.09 c Restart #17 #Var: 231 LB: 0 @ 1068.5 1081.85 c Restart #18 #Var: 231 LB: 0 @ 1081.2 1094.27 c Restart #19 #Var: 231 LB: 0 @ 1093.6 1112.07 c Restart #20 #Var: 231 LB: 0 @ 1111.4 1127.64 c Restart #21 #Var: 231 LB: 0 @ 1127 1145.46 c Restart #22 #Var: 231 LB: 0 @ 1144.8 1159.02 c Restart #23 #Var: 231 LB: 0 @ 1158.3 1179.07 c Restart #24 #Var: 231 LB: 0 @ 1178.4 1194.38 c Restart #25 #Var: 231 LB: 0 @ 1193.7 1215.67 c Restart #26 #Var: 231 LB: 0 @ 1214.9 1236.09 c Restart #27 #Var: 231 LB: 0 @ 1235.3 1303.41 c Restart #28 #Var: 231 LB: 0 @ 1302.6 1327.34 c Restart #29 #Var: 231 LB: 0 @ 1326.5 1348.76 c Restart #30 #Var: 231 LB: 0 @ 1347.9 1377.95 c Restart #31 #Var: 231 LB: 0 @ 1377.1 1411.23 c Restart #32 #Var: 231 LB: 0 @ 1410.4 1441.06 c Restart #33 #Var: 231 LB: 0 @ 1440.2 1468.62 c Restart #34 #Var: 231 LB: 0 @ 1467.7 1508.92 c Restart #35 #Var: 231 LB: 0 @ 1508 1530.60 c Restart #36 #Var: 231 LB: 0 @ 1529.7 1574.61 c Restart #37 #Var: 231 LB: 0 @ 1573.7 1594.97 c Restart #38 #Var: 231 LB: 0 @ 1594 1621.74 c Restart #39 #Var: 231 LB: 0 @ 1620.8 1649.16 c Restart #40 #Var: 231 LB: 0 @ 1648.2 1682.63 c Restart #41 #Var: 231 LB: 0 @ 1681.6 1733.73 c Restart #42 #Var: 231 LB: 0 @ 1732.7 1785.46 c Restart #43 #Var: 230 LB: 0 @ 1784.4 1801.07 s UNKNOWN 1801.07 c Exit Code: 0 1801.07 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/node23/watcher-39616-1149224887 -o ROOT/results/node23/solver-39616-1149224887 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39616-1149224887/instance-39616-1149224887.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1392008/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=4932 CPUtime=0 /proc/8306/stat : 8306 (bsolo) D 8304 8306 8261 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 188152396 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0 /proc/8306/statm: 1241 332 227 55 0 133 0 [startup+10.0025 s] /proc/loadavg: 0.87 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1372848/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=23748 CPUtime=9.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 5183 0 0 0 994 5 0 0 25 0 1 0 188152396 24317952 5098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 5937 5098 296 55 0 4829 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 23748 [startup+20.0096 s] /proc/loadavg: 0.89 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1361328/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=35232 CPUtime=19.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 8083 0 0 0 1988 11 0 0 25 0 1 0 188152396 36077568 7998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 8808 7998 296 55 0 7700 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 35232 [startup+30.0168 s] /proc/loadavg: 0.91 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1354480/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=42088 CPUtime=29.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 9787 0 0 0 2984 15 0 0 25 0 1 0 188152396 43098112 9702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 10522 9702 296 55 0 9414 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 42088 [startup+40.0229 s] /proc/loadavg: 0.92 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1346672/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=49876 CPUtime=39.98 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 11739 0 0 0 3980 18 0 0 25 0 1 0 188152396 51073024 11654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 12469 11654 296 55 0 11361 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 49876 [startup+50.029 s] /proc/loadavg: 0.93 0.94 0.90 2/64 8306 /proc/meminfo: memFree=1342960/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=53708 CPUtime=49.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 12677 0 0 0 4979 20 0 0 25 0 1 0 188152396 54996992 12592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 13427 12592 296 55 0 12319 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 53708 [startup+60.0352 s] /proc/loadavg: 0.94 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1333296/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=63352 CPUtime=59.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 15095 0 0 0 5975 24 0 0 25 0 1 0 188152396 64872448 15010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 15838 15010 296 55 0 14730 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 63352 [startup+70.0413 s] /proc/loadavg: 0.95 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1326384/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=70216 CPUtime=69.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 16802 0 0 0 6972 27 0 0 25 0 1 0 188152396 71901184 16717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 17554 16717 296 55 0 16446 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 70216 [startup+80.0485 s] /proc/loadavg: 0.96 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1319472/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=77080 CPUtime=80 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 18519 0 0 0 7970 30 0 0 25 0 1 0 188152396 78929920 18434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8306/statm: 19270 18434 296 55 0 18162 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 77080 [startup+90.0556 s] /proc/loadavg: 0.96 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1313456/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=83168 CPUtime=89.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 20030 0 0 0 8967 32 0 0 25 0 1 0 188152396 85164032 19944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 20792 19944 296 55 0 19684 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 83168 [startup+100.062 s] /proc/loadavg: 0.97 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1307632/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=89108 CPUtime=99.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 21490 0 0 0 9964 35 0 0 25 0 1 0 188152396 91246592 21404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529227 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 22277 21404 296 55 0 21169 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 89108 [startup+110.068 s] /proc/loadavg: 0.97 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1301168/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=95572 CPUtime=110 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 23104 0 0 0 10963 37 0 0 25 0 1 0 188152396 97865728 23017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 23893 23017 296 55 0 22785 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 95572 [startup+120.074 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1295664/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=100996 CPUtime=119.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 24469 0 0 0 11959 40 0 0 25 0 1 0 188152396 103419904 24382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 25249 24382 296 55 0 24141 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 100996 [startup+130.081 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1291824/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=104840 CPUtime=129.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 25423 0 0 0 12957 42 0 0 25 0 1 0 188152396 107356160 25335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8306/statm: 26210 25335 296 55 0 25102 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 104840 [startup+140.088 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1287280/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=109372 CPUtime=139.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 26551 0 0 0 13955 44 0 0 25 0 1 0 188152396 111996928 26463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 27343 26463 296 55 0 26235 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 109372 [startup+150.095 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8306 /proc/meminfo: memFree=1279600/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=117160 CPUtime=150 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 28497 0 0 0 14953 47 0 0 25 0 1 0 188152396 119971840 28409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 29290 28409 296 55 0 28182 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 117160 [startup+160.101 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1274992/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=121784 CPUtime=160 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 29665 0 0 0 15951 49 0 0 25 0 1 0 188152396 124706816 29577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 30446 29577 296 55 0 29338 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 121784 [startup+170.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1271664/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=125108 CPUtime=170 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 30488 0 0 0 16950 50 0 0 25 0 1 0 188152396 128110592 30400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 31277 30400 296 55 0 30169 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 125108 [startup+180.115 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1270320/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=126564 CPUtime=180 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 30820 0 0 0 17949 51 0 0 25 0 1 0 188152396 129601536 30731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8306/statm: 31641 30731 296 55 0 30533 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 126564 [startup+190.122 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1267952/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=128944 CPUtime=189.99 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 31414 0 0 0 18947 52 0 0 25 0 1 0 188152396 132038656 31325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 32236 31325 296 55 0 31128 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 128944 [startup+200.129 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1263216/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=133704 CPUtime=200 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 32606 0 0 0 19946 54 0 0 25 0 1 0 188152396 136912896 32517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 33426 32517 296 55 0 32318 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 133704 [startup+210.136 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8306 /proc/meminfo: memFree=1258480/2055920 swapFree=4180892/4192956 ################ # More data... # ################ /proc/8306/statm: 126373 124728 296 55 0 125265 0 Current children cumulated CPU time (s) 1760.14 Current children cumulated vsize (Kb) 505492 [startup+1771.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=893040/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=506020 CPUtime=1770.14 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 124992 0 0 0 176796 218 0 0 25 0 1 0 188152396 518164480 124845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126505 124845 296 55 0 125397 0 Current children cumulated CPU time (s) 1770.14 Current children cumulated vsize (Kb) 506020 [startup+1781.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891888/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507208 CPUtime=1780.15 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125276 0 0 0 177796 219 0 0 25 0 1 0 188152396 519380992 125129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126802 125129 296 55 0 125694 0 Current children cumulated CPU time (s) 1780.15 Current children cumulated vsize (Kb) 507208 [startup+1782.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891888/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507208 CPUtime=1781.16 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125283 0 0 0 177897 219 0 0 25 0 1 0 188152396 519380992 125136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126802 125136 296 55 0 125694 0 Current children cumulated CPU time (s) 1781.16 Current children cumulated vsize (Kb) 507208 [startup+1783.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891824/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507208 CPUtime=1782.15 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125299 0 0 0 177996 219 0 0 25 0 1 0 188152396 519380992 125152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126802 125152 296 55 0 125694 0 Current children cumulated CPU time (s) 1782.15 Current children cumulated vsize (Kb) 507208 [startup+1784.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891760/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507340 CPUtime=1783.15 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125313 0 0 0 178096 219 0 0 25 0 1 0 188152396 519516160 125166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126835 125166 296 55 0 125727 0 Current children cumulated CPU time (s) 1783.15 Current children cumulated vsize (Kb) 507340 [startup+1785.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891760/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507340 CPUtime=1784.16 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125319 0 0 0 178197 219 0 0 25 0 1 0 188152396 519516160 125172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126835 125172 296 55 0 125727 0 Current children cumulated CPU time (s) 1784.16 Current children cumulated vsize (Kb) 507340 [startup+1786.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891696/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507340 CPUtime=1785.16 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125334 0 0 0 178297 219 0 0 25 0 1 0 188152396 519516160 125187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126835 125187 296 55 0 125727 0 Current children cumulated CPU time (s) 1785.16 Current children cumulated vsize (Kb) 507340 [startup+1787.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891632/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507340 CPUtime=1786.16 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125348 0 0 0 178397 219 0 0 25 0 1 0 188152396 519516160 125201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126835 125201 296 55 0 125727 0 Current children cumulated CPU time (s) 1786.16 Current children cumulated vsize (Kb) 507340 [startup+1788.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891568/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507472 CPUtime=1787.17 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125359 0 0 0 178498 219 0 0 25 0 1 0 188152396 519651328 125212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126868 125212 296 55 0 125760 0 Current children cumulated CPU time (s) 1787.17 Current children cumulated vsize (Kb) 507472 [startup+1789.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891504/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507472 CPUtime=1788.17 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125378 0 0 0 178598 219 0 0 25 0 1 0 188152396 519651328 125231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126868 125231 296 55 0 125760 0 Current children cumulated CPU time (s) 1788.17 Current children cumulated vsize (Kb) 507472 [startup+1790.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891440/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507604 CPUtime=1789.18 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125396 0 0 0 178699 219 0 0 25 0 1 0 188152396 519786496 125249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126901 125249 296 55 0 125793 0 Current children cumulated CPU time (s) 1789.18 Current children cumulated vsize (Kb) 507604 [startup+1791.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=891184/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=507868 CPUtime=1790.18 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125449 0 0 0 178799 219 0 0 25 0 1 0 188152396 520056832 125302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 126967 125302 296 55 0 125859 0 Current children cumulated CPU time (s) 1790.18 Current children cumulated vsize (Kb) 507868 [startup+1792.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890928/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508000 CPUtime=1791.19 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125511 0 0 0 178900 219 0 0 25 0 1 0 188152396 520192000 125364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127000 125364 296 55 0 125892 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (Kb) 508000 [startup+1793.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890800/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508132 CPUtime=1792.19 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125544 0 0 0 179000 219 0 0 25 0 1 0 188152396 520327168 125397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127033 125397 296 55 0 125925 0 Current children cumulated CPU time (s) 1792.19 Current children cumulated vsize (Kb) 508132 [startup+1794.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890736/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508264 CPUtime=1793.19 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125563 0 0 0 179100 219 0 0 25 0 1 0 188152396 520462336 125416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127066 125416 296 55 0 125958 0 Current children cumulated CPU time (s) 1793.19 Current children cumulated vsize (Kb) 508264 [startup+1795.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890608/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508396 CPUtime=1794.2 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125595 0 0 0 179201 219 0 0 25 0 1 0 188152396 520597504 125448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127099 125448 296 55 0 125991 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (Kb) 508396 [startup+1796.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890288/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508660 CPUtime=1795.21 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125671 0 0 0 179301 220 0 0 25 0 1 0 188152396 520867840 125524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127165 125524 296 55 0 126057 0 Current children cumulated CPU time (s) 1795.21 Current children cumulated vsize (Kb) 508660 [startup+1797.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890160/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508792 CPUtime=1796.21 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125707 0 0 0 179401 220 0 0 25 0 1 0 188152396 521003008 125560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127198 125560 296 55 0 126090 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (Kb) 508792 [startup+1798.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=890032/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=508924 CPUtime=1797.22 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125741 0 0 0 179502 220 0 0 25 0 1 0 188152396 521138176 125594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127231 125594 296 55 0 126123 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (Kb) 508924 [startup+1799.29 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=889840/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=509188 CPUtime=1798.22 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125792 0 0 0 179602 220 0 0 25 0 1 0 188152396 521408512 125645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127297 125645 296 55 0 126189 0 Current children cumulated CPU time (s) 1798.22 Current children cumulated vsize (Kb) 509188 [startup+1800.29 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8308 /proc/meminfo: memFree=889584/2055920 swapFree=4180892/4192956 [pid=8306] ppid=8304 vsize=509452 CPUtime=1799.22 /proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125846 0 0 0 179702 220 0 0 25 0 1 0 188152396 521678848 125699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8306/statm: 127363 125699 296 55 0 126255 0 Current children cumulated CPU time (s) 1799.22 Current children cumulated vsize (Kb) 509452 Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.08 CPU user time (s): 1797.8 CPU system time (s): 2.27965 CPU usage (%): 99.94 Max. virtual memory (cumulated for all children) (Kb): 509452
Begin job on node23 on Fri Jun 2 05:08:07 UTC 2006 FILE ID= 39616-1149224887 PBS_JOBID= 295753 BENCH NAME= ROOT/tmp/node23/39616-1149224887/instance-39616-1149224887.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39616-1149224887/instance-39616-1149224887.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-39616-1149224887 -o ROOT/results/node23/solver-39616-1149224887 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39616-1149224887/instance-39616-1149224887.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0626939ca6144a564c8e59fb048e3266 RANDOM SEED= 155961599 /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.213 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 : 5931.00 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.213 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: 1392216 kB Buffers: 40056 kB Cached: 547264 kB SwapCached: 3872 kB Active: 167488 kB Inactive: 428568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1392216 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 272 kB Writeback: 0 kB Mapped: 14696 kB Slab: 53652 kB Committed_AS: 220676 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 05:38:09 UTC 2006