Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
Number of bits of the biggest sum of numbers | 8 |
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/0.12 c PB-wave - v2 0.00/0.12 c command line = ./PB-wave 0.00/0.12 c seed = 60112179 0.00/0.12 c cutoff = 1000000 0.00/0.12 c tries = 1000000 0.00/0.12 c heuristic = c best, noise 50 / 100 0.00/0.12 #var 14400 #con 1088 0.00/0.12 mode is SAT 0.00/0.12 c tail starts after flip = 43200 0.00/0.12 c numatom = 14400, numclause = 1088, numliterals = 144000 0.00/0.12 c wff read in 0.00/0.12 c 0.00/0.12 c lowest final avg noise noise total avg mean mean 0.00/0.12 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.12 c this this this this this this success success until std 0.00/0.12 c try try try try try try rate tries assign dev 0.00/0.12 c 9.59/9.60 c 183 250 234.03 11.95 19.58 1000000 0 18.98/19.09 c 178 220 233.99 12.17 19.22 1000000 0 28.49/28.58 c 183 262 234.27 12.05 19.45 1000000 0 37.98/38.07 c 178 240 234.03 11.94 19.61 1000000 0 47.47/47.56 c 183 211 234.16 12.11 19.33 1000000 0 56.97/57.04 c 186 236 233.85 11.96 19.55 1000000 0 66.47/66.53 c 180 229 233.95 12.03 19.44 1000000 0 75.96/76.01 c 181 249 233.85 12.03 19.45 1000000 0 85.36/85.49 c 186 236 233.77 12.15 19.24 1000000 0 94.86/94.98 c 181 233 233.81 11.91 19.63 1000000 0 104.36/104.46 c 185 251 234.15 11.93 19.62 1000000 0 113.85/113.96 c 185 207 234.19 11.91 19.66 1000000 0 123.35/123.44 c 179 226 233.87 11.97 19.53 1000000 0 132.84/132.93 c 180 242 233.98 11.96 19.57 1000000 0 142.34/142.42 c 182 224 233.79 12.04 19.41 1000000 0 151.84/151.90 c 182 241 233.97 11.98 19.53 1000000 0 161.23/161.39 c 178 233 233.95 12.02 19.47 1000000 0 170.73/170.88 c 178 217 233.88 12.13 19.28 1000000 0 180.23/180.36 c 182 260 233.74 11.88 19.67 1000000 0 189.72/189.85 c 183 234 233.64 11.95 19.56 1000000 0 199.22/199.34 c 182 217 234.21 12.11 19.34 1000000 0 208.72/208.82 c 185 247 233.84 12.05 19.41 1000000 0 218.21/218.31 c 181 225 233.70 12.09 19.34 1000000 0 227.62/227.79 c 184 236 233.94 12.11 19.32 1000000 0 237.11/237.28 c 181 240 233.89 11.94 19.58 1000000 0 246.61/246.77 c 177 232 233.87 12.05 19.42 1000000 0 256.11/256.25 c 182 224 234.06 11.94 19.60 1000000 0 265.60/265.73 c 183 216 233.92 11.94 19.59 1000000 0 275.10/275.22 c 182 235 233.94 11.97 19.55 1000000 0 284.59/284.70 c 181 209 233.93 11.93 19.61 1000000 0 293.99/294.19 c 184 223 234.07 11.94 19.60 1000000 0 303.49/303.66 c 179 234 234.01 11.93 19.61 1000000 0 312.98/313.15 c 178 226 234.04 12.07 19.38 1000000 0 322.48/322.65 c 185 241 233.98 11.93 19.61 1000000 0 331.98/332.14 c 178 236 233.79 12.04 19.42 1000000 0 341.47/341.62 c 179 263 233.76 12.09 19.34 1000000 0 350.97/351.11 c 185 208 233.69 11.94 19.57 1000000 0 360.47/360.60 c 179 227 233.88 12.06 19.39 1000000 0 369.86/370.09 c 184 236 233.61 12.01 19.45 1000000 0 379.37/379.58 c 186 227 233.96 12.04 19.44 1000000 0 388.86/389.06 c 184 243 233.90 11.94 19.59 1000000 0 398.35/398.55 c 184 245 233.91 12.03 19.44 1000000 0 407.86/408.03 c 183 253 233.86 11.92 19.63 1000000 0 417.35/417.52 c 184 279 233.86 11.90 19.65 1000000 0 426.84/427.00 c 181 233 233.98 11.99 19.52 1000000 0 436.24/436.49 c 182 239 234.10 11.97 19.55 1000000 0 445.74/445.97 c 184 244 233.97 11.92 19.63 1000000 0 455.23/455.48 c 183 220 233.81 12.03 19.44 1000000 0 464.72/464.97 c 183 244 233.90 11.87 19.70 1000000 0 474.22/474.46 c 184 217 233.92 12.14 19.27 1000000 0 483.72/483.94 c 181 212 233.92 12.00 19.49 1000000 0 493.21/493.43 c 172 225 234.08 12.08 19.38 1000000 0 502.71/502.91 c 185 234 234.15 11.93 19.63 1000000 0 512.21/512.40 c 176 240 233.94 12.00 19.50 1000000 0 521.60/521.88 c 184 225 233.63 11.85 19.71 1000000 0 531.11/531.37 c 182 253 233.85 11.94 19.58 1000000 0 540.60/540.85 c 174 244 234.21 11.96 19.59 1000000 0 550.09/550.34 c 184 231 234.21 11.99 19.53 1000000 0 559.60/559.82 c 182 235 234.06 12.03 19.45 1000000 0 569.09/569.31 c 183 258 234.02 12.04 19.43 1000000 0 578.48/578.79 c 182 223 233.96 12.07 19.38 1000000 0 587.98/588.27 c 179 216 234.19 12.12 19.32 1000000 0 597.48/597.76 c 181 241 234.17 12.37 18.93 1000000 0 606.98/607.24 c 175 228 233.97 11.88 19.70 1000000 0 616.47/616.73 c 184 192 234.03 12.00 19.50 1000000 0 625.97/626.23 c 172 220 233.93 12.05 19.41 1000000 0 635.47/635.72 c 185 261 234.15 11.94 19.61 1000000 0 644.96/645.20 c 180 237 233.84 11.99 19.50 1000000 0 654.36/654.69 c 179 226 234.02 11.96 19.56 1000000 0 663.85/664.17 c 181 248 234.04 12.07 19.39 1000000 0 673.35/673.66 c 183 230 233.98 11.95 19.58 1000000 0 682.86/683.14 c 177 212 234.04 12.01 19.49 1000000 0 692.34/692.63 c 178 223 233.61 11.94 19.56 1000000 0 701.84/702.11 c 183 227 233.92 11.89 19.67 1000000 0 711.34/711.60 c 176 233 234.04 12.03 19.46 1000000 0 720.74/721.09 c 181 220 234.17 12.13 19.30 1000000 0 730.23/730.58 c 175 244 233.80 12.04 19.42 1000000 0 739.73/740.07 c 180 231 233.82 12.06 19.38 1000000 0 749.23/749.55 c 176 226 233.95 12.01 19.48 1000000 0 758.73/759.04 c 180 246 233.77 12.01 19.46 1000000 0 768.22/768.52 c 184 238 234.11 11.93 19.63 1000000 0 777.71/778.01 c 177 248 233.73 12.03 19.43 1000000 0 787.22/787.50 c 179 241 234.15 12.05 19.44 1000000 0 796.61/796.99 c 182 223 234.02 12.12 19.30 1000000 0 806.11/806.49 c 177 214 234.13 12.00 19.51 1000000 0 815.60/815.97 c 180 234 233.85 11.84 19.74 1000000 0 825.10/825.46 c 184 228 233.92 12.01 19.47 1000000 0 834.60/834.95 c 177 227 234.12 12.04 19.45 1000000 0 844.09/844.43 c 179 230 234.02 11.91 19.65 1000000 0 853.59/853.93 c 184 226 233.96 12.10 19.34 1000000 0 863.09/863.41 c 186 229 233.99 12.02 19.47 1000000 0 872.48/872.89 c 181 236 234.15 11.92 19.64 1000000 0 881.98/882.38 c 175 251 234.03 11.95 19.59 1000000 0 891.48/891.86 c 176 251 233.84 11.98 19.51 1000000 0 900.97/901.35 c 181 243 233.88 11.98 19.53 1000000 0 910.48/910.84 c 180 242 233.99 11.94 19.59 1000000 0 919.97/920.33 c 182 240 234.31 12.05 19.44 1000000 0 929.46/929.82 c 176 229 233.80 11.95 19.57 1000000 0 938.86/939.30 c 183 244 233.97 12.03 19.44 1000000 0 948.36/948.78 c 180 212 233.96 11.95 19.59 1000000 0 957.86/958.26 c 183 268 234.05 11.99 19.52 1000000 0 967.35/967.74 c 186 203 233.83 12.01 19.47 1000000 0 976.85/977.22 c 183 225 233.98 11.80 19.83 1000000 0 986.35/986.71 c 182 225 233.95 11.99 19.51 1000000 0 995.84/996.20 c 181 220 233.99 11.94 19.60 1000000 0 1005.24/1005.68 c 181 223 233.92 12.02 19.46 1000000 0 1014.74/1015.16 c 183 244 234.14 11.96 19.58 1000000 0 1024.23/1024.64 c 184 219 233.84 12.01 19.48 1000000 0 1033.73/1034.12 c 180 231 233.85 12.06 19.39 1000000 0 1043.23/1043.61 c 175 220 233.89 11.89 19.67 1000000 0 1052.62/1053.09 c 183 227 233.92 11.94 19.60 1000000 0 1062.13/1062.57 c 180 250 233.82 11.90 19.65 1000000 0 1071.62/1072.06 c 184 237 234.00 12.10 19.34 1000000 0 1081.11/1081.55 c 184 228 233.87 12.00 19.48 1000000 0 1090.61/1091.03 c 180 231 233.85 12.02 19.45 1000000 0 1100.11/1100.51 c 178 240 234.22 12.01 19.50 1000000 0 1109.60/1110.00 c 181 224 233.72 11.99 19.49 1000000 0 1119.00/1119.48 c 186 238 233.82 11.99 19.51 1000000 0 1128.50/1128.97 c 180 251 233.88 11.93 19.61 1000000 0 1138.00/1138.46 c 179 246 233.91 12.08 19.37 1000000 0 1147.49/1147.95 c 182 226 234.19 12.04 19.46 1000000 0 1156.99/1157.44 c 185 227 233.99 11.99 19.51 1000000 0 1166.48/1166.92 c 182 231 234.07 12.01 19.49 1000000 0 1175.98/1176.40 c 183 209 233.85 12.02 19.45 1000000 0 1185.39/1185.89 c 169 222 233.97 11.96 19.56 1000000 0 1194.87/1195.37 c 183 238 234.30 11.93 19.64 1000000 0 1204.37/1204.86 c 181 219 233.69 12.04 19.41 1000000 0 1213.88/1214.36 c 182 223 233.94 12.03 19.44 1000000 0 1223.37/1223.85 c 175 208 233.85 12.03 19.43 1000000 0 1232.86/1233.33 c 183 228 233.89 11.89 19.67 1000000 0 1242.36/1242.82 c 180 231 234.07 11.98 19.53 1000000 0 1251.86/1252.30 c 178 217 233.82 12.05 19.40 1000000 0 1261.26/1261.79 c 177 240 233.79 11.96 19.55 1000000 0 1270.75/1271.27 c 178 246 233.89 12.01 19.47 1000000 0 1280.25/1280.74 c 180 241 234.05 12.10 19.35 1000000 0 1289.75/1290.23 c 181 246 233.84 12.07 19.38 1000000 0 1299.24/1299.72 c 178 241 233.88 11.99 19.50 1000000 0 1308.74/1309.21 c 179 233 234.07 11.99 19.52 1000000 0 1318.13/1318.69 c 182 251 233.95 12.09 19.35 1000000 0 1327.63/1328.18 c 178 224 233.69 12.07 19.37 1000000 0 1337.13/1337.67 c 181 228 233.96 11.92 19.63 1000000 0 1346.62/1347.15 c 182 235 233.88 12.10 19.32 1000000 0 1356.12/1356.64 c 186 232 234.09 12.12 19.31 1000000 0 1365.63/1366.12 c 179 254 233.97 11.92 19.62 1000000 0 1375.11/1375.61 c 183 237 233.85 11.96 19.55 1000000 0 1384.51/1385.09 c 162 237 234.04 11.99 19.52 1000000 0 1394.01/1394.59 c 183 249 233.77 12.06 19.39 1000000 0 1403.50/1404.06 c 177 246 233.79 12.01 19.46 1000000 0 1413.01/1413.54 c 181 231 233.79 11.94 19.58 1000000 0 1422.50/1423.02 c 183 239 234.13 12.02 19.47 1000000 0 1431.99/1432.51 c 181 239 233.72 11.99 19.49 1000000 0 1441.39/1441.99 c 180 238 233.87 12.09 19.34 1000000 0 1450.89/1451.47 c 175 241 234.05 12.08 19.38 1000000 0 1460.39/1460.97 c 176 246 234.11 11.82 19.80 1000000 0 1469.88/1470.45 c 178 232 233.90 12.06 19.39 1000000 0 1479.38/1479.94 c 172 233 233.80 11.96 19.55 1000000 0 1488.88/1489.43 c 180 237 234.08 12.17 19.24 1000000 0 1498.37/1498.91 c 179 238 234.09 12.07 19.39 1000000 0 1507.77/1508.39 c 186 235 234.00 11.97 19.56 1000000 0 1517.27/1517.89 c 180 187 234.24 11.99 19.54 1000000 0 1526.76/1527.38 c 184 218 234.18 12.05 19.44 1000000 0 1536.26/1536.85 c 181 257 233.95 11.95 19.58 1000000 0 1545.76/1546.34 c 185 232 234.12 12.09 19.36 1000000 0 1555.25/1555.82 c 183 226 233.88 11.88 19.69 1000000 0 1564.76/1565.30 c 181 244 233.92 12.03 19.45 1000000 0 1574.25/1574.80 c 184 258 234.07 12.00 19.50 1000000 0 1583.64/1584.29 c 182 233 234.13 12.02 19.47 1000000 0 1593.14/1593.78 c 177 236 233.78 11.98 19.52 1000000 0 1602.64/1603.26 c 179 240 234.17 11.97 19.56 1000000 0 1612.13/1612.75 c 183 247 234.16 11.97 19.56 1000000 0 1621.63/1622.23 c 180 215 233.71 12.12 19.28 1000000 0 1631.13/1631.71 c 176 258 234.04 12.07 19.40 1000000 0 1640.53/1641.19 c 183 243 233.67 12.03 19.42 1000000 0 1650.02/1650.68 c 181 241 233.81 11.99 19.49 1000000 0 1659.52/1660.16 c 181 229 233.88 12.08 19.36 1000000 0 1669.02/1669.65 c 183 243 233.95 12.07 19.38 1000000 0 1678.51/1679.14 c 177 229 233.75 11.94 19.58 1000000 0 1688.01/1688.64 c 178 228 234.04 12.04 19.44 1000000 0 1697.51/1698.12 c 179 229 234.08 11.90 19.67 1000000 0 1707.00/1707.60 c 180 225 233.83 11.97 19.53 1000000 0 1716.41/1717.09 c 186 219 234.02 12.10 19.34 1000000 0 1725.90/1726.58 c 183 224 233.97 12.06 19.40 1000000 0 1735.39/1736.07 c 182 245 233.80 11.95 19.57 1000000 0 1744.89/1745.56 c 182 226 233.97 12.06 19.40 1000000 0 1754.39/1755.05 c 183 228 233.96 11.94 19.60 1000000 0 1763.88/1764.53 c 181 244 234.14 12.10 19.35 1000000 0 1773.38/1774.02 c 181 223 233.81 12.22 19.13 1000000 0 1782.88/1783.51 c 183 234 234.30 11.94 19.62 1000000 0 1792.28/1793.00 c 182 232 233.84 11.99 19.50 1000000 0 1800.09/1800.71 HOME/run: line 2: 4589 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669560-1276602811/watcher-2669560-1276602811 -o /tmp/evaluation-result-2669560-1276602811/solver-2669560-1276602811 -C 1800 -W 2000 -M 1800 run HOME/instance-2669560-1276602811.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 1.00 1.00 3/106 4588 /proc/meminfo: memFree=1808152/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) R 4586 4588 3956 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173351829 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [startup+0.0188079 s] /proc/loadavg: 0.98 1.00 1.00 3/106 4588 /proc/meminfo: memFree=1808152/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100822 s] /proc/loadavg: 0.98 1.00 1.00 3/106 4588 /proc/meminfo: memFree=1808152/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300859 s] /proc/loadavg: 0.98 1.00 1.00 3/106 4588 /proc/meminfo: memFree=1808152/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700933 s] /proc/loadavg: 0.98 1.00 1.00 3/106 4588 /proc/meminfo: memFree=1808152/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50108 s] /proc/loadavg: 0.98 1.00 1.00 2/108 4590 /proc/meminfo: memFree=1803300/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1.49 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1230 0 0 0 149 0 0 0 25 0 1 0 35884611 41422848 1159 1992294400 134512640 135071400 4293131584 18446744073709551615 134525968 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1159 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10138 s] /proc/loadavg: 0.98 1.00 1.00 2/108 4590 /proc/meminfo: memFree=1803052/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=3.09 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1230 0 0 0 309 0 0 0 25 0 1 0 35884611 41422848 1159 1992294400 134512640 135071400 4293131584 18446744073709551615 134526842 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1159 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30097 s] /proc/loadavg: 0.98 1.00 1.00 2/108 4590 /proc/meminfo: memFree=1802928/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=6.29 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1230 0 0 0 629 0 0 0 25 0 1 0 35884611 41422848 1159 1992294400 134512640 135071400 4293131584 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1159 62 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 0.98 1.00 1.00 2/108 4590 /proc/meminfo: memFree=1802804/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=12.68 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 1268 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5005 s] /proc/loadavg: 0.98 1.00 1.00 2/108 4592 /proc/meminfo: memFree=1802804/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=25.48 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 2548 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526666 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/108 4592 /proc/meminfo: memFree=1802680/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=51.07 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 5107 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.99 1.00 1.00 2/108 4594 /proc/meminfo: memFree=1802556/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=102.26 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 10226 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.06 1.01 1.00 2/108 4594 /proc/meminfo: memFree=1802432/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=162.23 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 16223 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.02 1.01 1.00 2/108 4596 /proc/meminfo: memFree=1802432/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=222.21 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 22221 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526523 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.06 1.02 1.00 2/108 4598 /proc/meminfo: memFree=1802432/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=282.19 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 28219 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.07 1.03 1.00 2/108 4600 /proc/meminfo: memFree=1802308/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=342.17 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 34217 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.07 1.04 1.00 2/108 4602 /proc/meminfo: memFree=1802184/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=402.15 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 40215 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1121.9 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 112190 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4631 /proc/meminfo: memFree=1801440/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1181.88 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 118188 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.05 1.02 1.00 2/108 4636 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1241.86 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 124186 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 4638 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1301.85 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 130185 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 4638 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1361.82 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 136182 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4640 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1421.81 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 142181 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4642 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1481.78 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 148178 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4644 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1541.76 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 154176 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525856 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4646 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1601.74 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 160174 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134519880 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4646 /proc/meminfo: memFree=1800696/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1661.72 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 166172 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4648 /proc/meminfo: memFree=1800572/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1721.7 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 172170 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/108 4650 /proc/meminfo: memFree=1800324/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1781.68 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 178168 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.04 1.01 1.00 2/108 4650 /proc/meminfo: memFree=1800324/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1800.09 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 180009 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.04 1.01 1.00 2/108 4650 /proc/meminfo: memFree=1800324/2059040 swapFree=4140360/4192956 [pid=4588] ppid=4586 vsize=8700 CPUtime=0 /proc/4588/stat : 4588 (run) S 4586 4588 3956 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 35884611 8908800 244 1992294400 4194304 4922060 140733698696560 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/4588/statm: 2175 244 204 178 0 68 0 [pid=4589] ppid=4588 vsize=40452 CPUtime=1800.09 /proc/4589/stat : 4589 (PB-wave) R 4588 4588 3956 0 -1 4202496 1238 0 0 0 180009 0 0 0 25 0 1 0 35884611 41422848 1167 1992294400 134512640 135071400 4293131584 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4589/statm: 10113 1167 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1800.09 CPU system time (s): 0.009998 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.009998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1611 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4494 runsolver used 3.04154 second user time and 8.45172 second system time The end
Begin job on node007 at 2010-06-15 13:53:32 IDJOB=2669560 IDBENCH=1153 IDSOLVER=1171 FILE ID=node007/2669560-1276602811 PBS_JOBID= 11172230 Free space on /tmp= 62484 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669560-1276602811/watcher-2669560-1276602811 -o /tmp/evaluation-result-2669560-1276602811/solver-2669560-1276602811 -C 1800 -W 2000 -M 1800 run HOME/instance-2669560-1276602811.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED=549381912 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1808556 kB Buffers: 38164 kB Cached: 119532 kB SwapCached: 6652 kB Active: 96728 kB Inactive: 74920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1808556 kB SwapTotal: 4192956 kB SwapFree: 4140360 kB Dirty: 2024 kB Writeback: 0 kB AnonPages: 12080 kB Mapped: 13128 kB Slab: 57028 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182488 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62484 MiB End job on node007 at 2010-06-15 14:23:32