Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.16 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb |
MD5SUM | 1ce0037c3d80e79a7b72360f6130d1f3 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
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 | 266.04 |
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 | 713 |
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.07 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.12 c Restart #1 #Var: 231 LB: 0 @ 0.111 0.24 c Restart #2 #Var: 231 LB: 0 @ 0.235 0.48 c Restart #3 #Var: 231 LB: 0 @ 0.47 0.77 c Restart #4 #Var: 231 LB: 0 @ 0.758 1.05 c Restart #5 #Var: 231 LB: 0 @ 1.045 1.34 c Restart #6 #Var: 231 LB: 0 @ 1.332 1.75 c Restart #7 #Var: 231 LB: 0 @ 1.746 2.22 c Restart #8 #Var: 231 LB: 0 @ 2.215 2.69 c Restart #9 #Var: 231 LB: 0 @ 2.685 3.29 c Restart #10 #Var: 231 LB: 0 @ 3.284 3.91 c Restart #11 #Var: 231 LB: 0 @ 3.898 4.70 c Restart #12 #Var: 231 LB: 0 @ 4.693 5.64 c Restart #13 #Var: 231 LB: 0 @ 5.631 6.65 c Restart #14 #Var: 231 LB: 0 @ 6.643 7.82 c Restart #15 #Var: 231 LB: 0 @ 7.811 9.45 c Restart #16 #Var: 231 LB: 0 @ 9.44 11.06 c Restart #17 #Var: 231 LB: 0 @ 11.052 13.11 c Restart #18 #Var: 231 LB: 0 @ 13.099 14.74 c Restart #19 #Var: 231 LB: 0 @ 14.721 17.05 c Restart #20 #Var: 231 LB: 0 @ 17.035 19.29 c Restart #21 #Var: 231 LB: 0 @ 19.277 22.35 c Restart #22 #Var: 231 LB: 0 @ 22.336 24.50 c Restart #23 #Var: 231 LB: 0 @ 24.487 27.92 c Restart #24 #Var: 231 LB: 0 @ 27.899 31.67 c Restart #25 #Var: 231 LB: 0 @ 31.65 36.98 c Restart #26 #Var: 231 LB: 0 @ 36.963 40.76 c Restart #27 #Var: 231 LB: 0 @ 40.738 46.17 c Restart #28 #Var: 231 LB: 0 @ 46.144 52.39 c Restart #29 #Var: 231 LB: 0 @ 52.367 58.27 c Restart #30 #Var: 231 LB: 0 @ 58.24 66.28 c Restart #31 #Var: 231 LB: 0 @ 66.25 73.83 c Restart #32 #Var: 231 LB: 0 @ 73.802 81.61 c Restart #33 #Var: 231 LB: 0 @ 81.58 89.78 c Restart #34 #Var: 231 LB: 0 @ 89.74 95.80 c Restart #35 #Var: 231 LB: 0 @ 95.758 106.58 c Restart #36 #Var: 231 LB: 0 @ 106.54 116.09 c Restart #37 #Var: 231 LB: 0 @ 116.04 127.75 c Restart #38 #Var: 231 LB: 0 @ 127.71 139.94 c Restart #39 #Var: 231 LB: 0 @ 139.89 150.87 c Restart #40 #Var: 231 LB: 0 @ 150.82 163.19 c Restart #41 #Var: 231 LB: 0 @ 163.13 172.31 c Restart #42 #Var: 231 LB: 0 @ 172.25 189.27 c Restart #43 #Var: 231 LB: 0 @ 189.21 204.60 c Restart #44 #Var: 231 LB: 0 @ 204.54 217.49 c Restart #45 #Var: 231 LB: 0 @ 217.42 233.63 c Restart #46 #Var: 231 LB: 0 @ 233.56 249.50 c Restart #47 #Var: 231 LB: 0 @ 249.42 273.06 c Restart #48 #Var: 231 LB: 0 @ 272.98 291.09 c Restart #49 #Var: 231 LB: 0 @ 291 313.51 c Restart #50 #Var: 231 LB: 0 @ 313.42 339.05 c Restart #51 #Var: 231 LB: 0 @ 338.95 365.82 c Restart #52 #Var: 231 LB: 0 @ 365.71 386.17 c Restart #53 #Var: 231 LB: 0 @ 386.05 410.58 c Restart #54 #Var: 231 LB: 0 @ 410.46 431.86 c Restart #55 #Var: 231 LB: 0 @ 431.73 453.36 c Restart #56 #Var: 231 LB: 0 @ 453.22 486.57 c Restart #57 #Var: 231 LB: 0 @ 486.43 525.54 c Restart #58 #Var: 231 LB: 0 @ 525.39 557.84 c Restart #59 #Var: 231 LB: 0 @ 557.68 603.26 c Restart #60 #Var: 231 LB: 0 @ 603.09 651.72 c Restart #61 #Var: 231 LB: 0 @ 651.54 689.66 c Restart #62 #Var: 231 LB: 0 @ 689.47 727.45 c Restart #63 #Var: 231 LB: 0 @ 727.25 767.26 c Restart #64 #Var: 231 LB: 0 @ 767.04 814.88 c Restart #65 #Var: 231 LB: 0 @ 814.65 867.93 c Restart #66 #Var: 231 LB: 0 @ 867.69 923.81 c CHANGE Heuristic... 923.81 c Restart #0 #Var: 231 LB: 0 @ 923.55 931.97 c Restart #1 #Var: 231 LB: 0 @ 931.71 944.20 c Restart #2 #Var: 231 LB: 0 @ 943.94 954.33 c Restart #3 #Var: 231 LB: 0 @ 954.06 961.68 c Restart #4 #Var: 231 LB: 0 @ 961.41 969.70 c Restart #5 #Var: 231 LB: 0 @ 969.43 980.63 c Restart #6 #Var: 231 LB: 0 @ 980.35 986.45 c Restart #7 #Var: 231 LB: 0 @ 986.17 995.22 c Restart #8 #Var: 231 LB: 0 @ 994.95 999.30 c Restart #9 #Var: 231 LB: 0 @ 999.02 1009.58 c Restart #10 #Var: 231 LB: 0 @ 1009.3 1016.84 c Restart #11 #Var: 231 LB: 0 @ 1016.6 1027.86 c Restart #12 #Var: 231 LB: 0 @ 1027.6 1040.36 c Restart #13 #Var: 231 LB: 0 @ 1040.1 1054.61 c Restart #14 #Var: 231 LB: 0 @ 1054.3 1074.96 c Restart #15 #Var: 231 LB: 0 @ 1074.7 1090.38 c Restart #16 #Var: 231 LB: 0 @ 1090.1 1105.11 c Restart #17 #Var: 231 LB: 0 @ 1104.8 1124.68 c Restart #18 #Var: 231 LB: 0 @ 1124.4 1145.80 c Restart #19 #Var: 231 LB: 0 @ 1145.5 1166.18 c Restart #20 #Var: 231 LB: 0 @ 1165.9 1188.86 c Restart #21 #Var: 231 LB: 0 @ 1188.5 1209.64 c Restart #22 #Var: 231 LB: 0 @ 1209.3 1226.16 c Restart #23 #Var: 231 LB: 0 @ 1225.8 1254.11 c Restart #24 #Var: 231 LB: 0 @ 1253.8 1275.85 c Restart #25 #Var: 231 LB: 0 @ 1275.5 1298.09 c Restart #26 #Var: 231 LB: 0 @ 1297.7 1316.74 c Restart #27 #Var: 231 LB: 0 @ 1316.4 1335.38 c Restart #28 #Var: 231 LB: 0 @ 1335 1368.42 c Restart #29 #Var: 231 LB: 0 @ 1368 1396.82 c Restart #30 #Var: 231 LB: 0 @ 1396.4 1433.44 c Restart #31 #Var: 231 LB: 0 @ 1433 1469.68 c Restart #32 #Var: 231 LB: 0 @ 1469.3 1507.04 c Restart #33 #Var: 231 LB: 0 @ 1506.6 1535.44 c Restart #34 #Var: 231 LB: 0 @ 1535 1569.00 c Restart #35 #Var: 231 LB: 0 @ 1568.6 1600.13 c Restart #36 #Var: 231 LB: 0 @ 1599.7 1638.86 c Restart #37 #Var: 231 LB: 0 @ 1638.4 1658.24 c Restart #38 #Var: 231 LB: 0 @ 1657.8 1697.18 c Restart #39 #Var: 231 LB: 0 @ 1696.7 1745.62 c Restart #40 #Var: 231 LB: 0 @ 1745.1 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 c Total time: 1800.1 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/node90/watcher-39532-1149215127 -o ROOT/results/node90/solver-39532-1149215127 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/39532-1149215127/instance-39532-1149215127.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.92 0.90 2/67 10347 /proc/meminfo: memFree=1623776/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=4932 CPUtime=0 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 347 0 0 0 0 0 0 0 19 0 1 0 187151712 5050368 313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 1234 325 221 55 0 125 0 [startup+10.0025 s] /proc/loadavg: 0.87 0.92 0.90 2/67 10347 /proc/meminfo: memFree=1605168/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=23096 CPUtime=9.98 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 5041 0 0 0 995 3 0 0 25 0 1 0 187151712 23650304 4957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 5774 4957 293 55 0 4665 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 23096 [startup+20.0086 s] /proc/loadavg: 0.89 0.93 0.90 2/67 10347 /proc/meminfo: memFree=1593144/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=35108 CPUtime=19.98 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 8040 0 0 0 1991 7 0 0 25 0 1 0 187151712 35950592 7956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 8777 7956 293 55 0 7668 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 35108 [startup+30.0147 s] /proc/loadavg: 0.90 0.93 0.90 2/67 10347 /proc/meminfo: memFree=1583608/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=44612 CPUtime=29.98 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 10423 0 0 0 2987 11 0 0 25 0 1 0 187151712 45682688 10339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 11153 10339 293 55 0 10044 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 44612 [startup+40.0197 s] /proc/loadavg: 0.92 0.93 0.90 2/67 10347 /proc/meminfo: memFree=1576248/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=52004 CPUtime=39.99 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 12250 0 0 0 3985 14 0 0 25 0 1 0 187151712 53252096 12166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 13001 12166 293 55 0 11892 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 52004 [startup+50.0258 s] /proc/loadavg: 0.93 0.93 0.90 2/67 10347 /proc/meminfo: memFree=1569272/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=59000 CPUtime=49.99 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 13988 0 0 0 4984 15 0 0 25 0 1 0 187151712 60416000 13904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 14750 13904 293 55 0 13641 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 59000 [startup+60.0319 s] /proc/loadavg: 0.94 0.93 0.90 2/67 10347 /proc/meminfo: memFree=1562808/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=65488 CPUtime=60 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 15607 0 0 0 5982 18 0 0 25 0 1 0 187151712 67059712 15523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 16372 15523 293 55 0 15263 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 65488 [startup+70.038 s] /proc/loadavg: 0.95 0.93 0.91 2/67 10347 /proc/meminfo: memFree=1558136/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=70100 CPUtime=70 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 16764 0 0 0 6980 20 0 0 25 0 1 0 187151712 71782400 16680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 17525 16680 293 55 0 16416 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 70100 [startup+80.0441 s] /proc/loadavg: 0.96 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1552248/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=76056 CPUtime=80.01 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 18245 0 0 0 7979 22 0 0 25 0 1 0 187151712 77881344 18161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 19014 18161 293 55 0 17905 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 76056 [startup+90.0502 s] /proc/loadavg: 0.96 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1547000/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=81204 CPUtime=90.01 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 19550 0 0 0 8977 24 0 0 25 0 1 0 187151712 83152896 19465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 20301 19465 293 55 0 19192 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 81204 [startup+100.055 s] /proc/loadavg: 0.97 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1540536/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=87692 CPUtime=100.01 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 21156 0 0 0 9976 25 0 0 25 0 1 0 187151712 89796608 21071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 21923 21071 293 55 0 20814 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 87692 [startup+110.061 s] /proc/loadavg: 0.97 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1535992/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=92188 CPUtime=110.01 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 22284 0 0 0 10973 28 0 0 25 0 1 0 187151712 94400512 22199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 23047 22199 293 55 0 21938 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 92188 [startup+120.067 s] /proc/loadavg: 0.98 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1531128/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=97212 CPUtime=120.01 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 23502 0 0 0 11972 29 0 0 25 0 1 0 187151712 99545088 23417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 24303 23417 293 55 0 23194 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 97212 [startup+130.074 s] /proc/loadavg: 0.98 0.94 0.91 2/67 10347 /proc/meminfo: memFree=1526584/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=101708 CPUtime=130.02 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 24632 0 0 0 12970 32 0 0 25 0 1 0 187151712 104148992 24547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 25427 24547 293 55 0 24318 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 101708 [startup+140.08 s] /proc/loadavg: 0.98 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1521208/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=106988 CPUtime=140.02 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 25968 0 0 0 13968 34 0 0 25 0 1 0 187151712 109555712 25883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 26747 25883 293 55 0 25638 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 106988 [startup+150.086 s] /proc/loadavg: 0.98 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1516024/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=112268 CPUtime=150.03 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 27265 0 0 0 14967 36 0 0 25 0 1 0 187151712 114962432 27180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 28067 27180 293 55 0 26958 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 112268 [startup+160.091 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1512056/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=116228 CPUtime=160.03 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 28255 0 0 0 15965 38 0 0 25 0 1 0 187151712 119017472 28170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 29057 28170 293 55 0 27948 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 116228 [startup+170.097 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1506232/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=122052 CPUtime=170.03 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 29712 0 0 0 16963 40 0 0 25 0 1 0 187151712 124981248 29627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 30513 29627 293 55 0 29404 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 122052 [startup+180.103 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1501944/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=126424 CPUtime=180.04 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 30783 0 0 0 17962 42 0 0 25 0 1 0 187151712 129458176 30698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 31606 30698 293 55 0 30497 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 126424 [startup+190.109 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1498360/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=129984 CPUtime=190.04 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 31677 0 0 0 18961 43 0 0 25 0 1 0 187151712 133103616 31592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 32496 31592 293 55 0 31387 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 129984 [startup+200.115 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1494840/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=133416 CPUtime=200.04 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 32560 0 0 0 19959 45 0 0 25 0 1 0 187151712 136617984 32475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 33354 32475 293 55 0 32245 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 133416 [startup+210.121 s] /proc/loadavg: 0.99 0.95 0.91 2/67 10347 /proc/meminfo: memFree=1489976/2055888 swapFree=4085308/4096564 ################ # More data... # ################ /proc/10347/statm: 111956 110320 293 55 0 110847 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 447824 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1181688/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=448484 CPUtime=1770.55 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110691 0 0 0 176871 184 0 0 25 0 1 0 187151712 459247616 110507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112121 110507 293 55 0 111012 0 Current children cumulated CPU time (s) 1770.55 Current children cumulated vsize (Kb) 448484 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180984/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449340 CPUtime=1780.56 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110876 0 0 0 177872 184 0 0 25 0 1 0 187151712 460124160 110689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112335 110689 293 55 0 111226 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 449340 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180984/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449340 CPUtime=1781.56 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110876 0 0 0 177972 184 0 0 25 0 1 0 187151712 460124160 110689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112335 110689 293 55 0 111226 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 449340 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180920/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449472 CPUtime=1782.57 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110885 0 0 0 178073 184 0 0 25 0 1 0 187151712 460259328 110698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112368 110698 293 55 0 111259 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 449472 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180792/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449472 CPUtime=1783.57 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110915 0 0 0 178173 184 0 0 25 0 1 0 187151712 460259328 110728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112368 110728 293 55 0 111259 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 449472 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180728/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449604 CPUtime=1784.57 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110936 0 0 0 178273 184 0 0 25 0 1 0 187151712 460394496 110749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112401 110749 293 55 0 111292 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 449604 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180664/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449736 CPUtime=1785.58 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110954 0 0 0 178374 184 0 0 25 0 1 0 187151712 460529664 110767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112434 110767 293 55 0 111325 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 449736 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180600/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449736 CPUtime=1786.58 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110959 0 0 0 178474 184 0 0 25 0 1 0 187151712 460529664 110772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112434 110772 293 55 0 111325 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 449736 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180536/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449736 CPUtime=1787.58 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110981 0 0 0 178574 184 0 0 25 0 1 0 187151712 460529664 110794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112434 110794 293 55 0 111325 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 449736 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180408/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=449868 CPUtime=1788.59 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111009 0 0 0 178675 184 0 0 25 0 1 0 187151712 460664832 110822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112467 110822 293 55 0 111358 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 449868 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180216/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450132 CPUtime=1789.59 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111061 0 0 0 178775 184 0 0 25 0 1 0 187151712 460935168 110874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112533 110874 293 55 0 111424 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 450132 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1180152/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450132 CPUtime=1790.6 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111075 0 0 0 178876 184 0 0 25 0 1 0 187151712 460935168 110888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112533 110888 293 55 0 111424 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 450132 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1179960/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450396 CPUtime=1791.6 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111129 0 0 0 178976 184 0 0 25 0 1 0 187151712 461205504 110942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112599 110942 293 55 0 111490 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 450396 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1179896/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450396 CPUtime=1792.61 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111148 0 0 0 179077 184 0 0 25 0 1 0 187151712 461205504 110961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112599 110961 293 55 0 111490 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 450396 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1179704/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450528 CPUtime=1793.61 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111184 0 0 0 179177 184 0 0 25 0 1 0 187151712 461340672 110997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112632 110997 293 55 0 111523 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 450528 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1179576/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=450792 CPUtime=1794.62 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111226 0 0 0 179277 185 0 0 25 0 1 0 187151712 461611008 111039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112698 111039 293 55 0 111589 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 450792 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1179320/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=451056 CPUtime=1795.63 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111291 0 0 0 179378 185 0 0 25 0 1 0 187151712 461881344 111104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112764 111104 293 55 0 111655 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 451056 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1178872/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=451452 CPUtime=1796.63 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111392 0 0 0 179478 185 0 0 25 0 1 0 187151712 462286848 111205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112863 111205 293 55 0 111754 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 451452 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1178616/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=451716 CPUtime=1797.64 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111458 0 0 0 179579 185 0 0 25 0 1 0 187151712 462557184 111271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112929 111271 293 55 0 111820 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 451716 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1178360/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=451980 CPUtime=1798.64 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111523 0 0 0 179679 185 0 0 25 0 1 0 187151712 462827520 111336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112995 111336 293 55 0 111886 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 451980 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 10349 /proc/meminfo: memFree=1178296/2055888 swapFree=4085308/4096564 [pid=10347] ppid=10345 vsize=451980 CPUtime=1799.64 /proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111532 0 0 0 179779 185 0 0 25 0 1 0 187151712 462827520 111345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10347/statm: 112995 111345 293 55 0 111886 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 451980 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.16 CPU user time (s): 1798.24 CPU system time (s): 1.92071 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 451980
Begin job on node90 on Fri Jun 2 02:25:27 UTC 2006 FILE ID= 39532-1149215127 PBS_JOBID= 294662 BENCH NAME= ROOT/tmp/node90/39532-1149215127/instance-39532-1149215127.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/39532-1149215127/instance-39532-1149215127.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-39532-1149215127 -o ROOT/results/node90/solver-39532-1149215127 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/39532-1149215127/instance-39532-1149215127.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1ce0037c3d80e79a7b72360f6130d1f3 RANDOM SEED= 508879046 /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1623984 kB Buffers: 22700 kB Cached: 342680 kB SwapCached: 2568 kB Active: 88812 kB Inactive: 285380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1623984 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 152 kB Writeback: 0 kB Mapped: 16048 kB Slab: 44488 kB Committed_AS: 246888 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Fri Jun 2 02:55:28 UTC 2006