Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | OPT | 52 | 494.308 | 496.741 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 7.08492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.53/0.95 o 453 1.56/1.68 o 429 2.56/2.62 o 428 3.44/3.60 o 427 4.40/4.55 o 426 5.38/5.55 o 425 5.47/6.53 o 424 7.39/7.52 o 423 8.38/8.51 o 422 9.39/9.50 o 421 10.38/10.52 o 420 11.40/11.61 o 419 12.37/12.65 o 418 13.44/13.71 o 417 14.42/14.76 o 416 15.52/15.84 o 415 16.63/16.91 o 414 17.70/18.00 o 413 18.75/19.12 o 412 19.85/20.20 o 411 20.90/21.33 o 410 22.03/22.51 o 409 23.02/23.69 o 408 24.18/24.84 o 407 25.27/25.96 o 406 26.37/27.07 o 405 27.47/28.19 o 404 28.66/29.35 o 403 29.72/30.49 o 402 30.91/31.64 o 401 32.01/32.80 o 400 33.19/33.97 o 399 34.38/35.15 o 398 35.59/36.33 o 397 36.81/37.61 o 396 37.88/38.79 o 395 39.07/39.99 o 394 40.27/41.18 o 393 41.46/42.38 o 392 42.66/43.59 o 391 43.91/44.83 o 390 45.09/46.06 o 389 46.29/47.27 o 388 47.57/48.51 o 387 48.75/49.73 o 386 49.95/50.96 o 385 51.14/52.19 o 384 52.45/53.43 o 383 53.65/54.68 o 382 54.95/55.94 o 381 56.14/57.19 o 380 57.44/58.45 o 379 58.75/59.71 o 378 59.92/60.98 o 377 61.22/62.25 o 376 62.54/63.51 o 375 63.71/64.78 o 374 65.01/66.06 o 373 66.28/67.36 o 372 67.59/68.64 o 371 68.90/69.91 o 370 70.08/71.18 o 369 71.37/72.47 o 368 72.68/73.76 o 367 73.97/75.06 o 366 75.27/76.37 o 365 76.57/77.68 o 364 77.87/79.00 o 363 79.28/80.31 o 362 80.56/81.64 o 361 81.85/82.95 o 360 83.15/84.27 o 359 84.57/85.62 o 358 85.85/86.94 o 357 87.15/88.27 o 356 88.44/89.60 o 355 89.84/90.92 o 354 91.14/92.26 o 353 92.45/93.60 o 352 93.85/94.95 o 351 95.14/96.30 o 350 96.53/97.65 o 349 97.94/99.02 o 348 99.24/100.38 o 347 100.67/101.82 o 346 101.96/103.18 o 345 103.36/104.54 o 344 104.76/105.91 o 343 106.05/107.27 o 342 107.45/108.64 o 341 108.87/110.01 o 340 110.15/111.38 o 339 111.55/112.77 o 338 112.95/114.16 o 337 114.33/115.55 o 336 115.72/116.94 o 335 117.13/118.34 o 334 118.51/119.74 o 333 119.91/121.14 o 332 121.32/122.51 o 331 122.72/123.90 o 330 124.10/125.31 o 329 125.50/126.71 o 328 126.90/128.11 o 327 128.29/129.53 o 326 129.69/130.94 o 325 131.08/132.35 o 324 132.48/133.77 o 323 134.00/135.20 o 322 135.37/136.64 o 321 136.78/138.07 o 320 138.29/139.51 o 319 139.68/140.94 o 318 141.08/142.37 o 317 142.59/143.80 o 316 143.97/145.23 o 315 145.36/146.66 o 314 146.77/148.09 o 313 148.27/149.52 o 312 149.65/150.94 o 311 151.05/152.39 o 310 152.54/153.84 o 309 153.94/155.29 o 308 155.45/156.74 o 307 156.85/158.19 o 306 158.33/159.65 o 305 159.86/161.10 o 304 161.23/162.56 o 303 162.76/164.00 o 302 164.13/165.47 o 301 165.64/166.92 o 300 167.04/168.37 o 299 168.54/169.81 o 298 169.93/171.26 o 297 171.44/172.71 o 296 172.83/174.17 o 295 174.33/175.63 o 294 175.71/177.07 o 293 177.21/178.53 o 292 178.69/180.09 o 291 180.12/181.55 o 290 181.62/183.01 o 289 183.01/184.45 o 288 184.52/185.91 o 287 185.89/187.35 o 286 187.41/188.80 o 285 188.79/190.27 o 284 190.29/191.73 o 283 191.70/193.15 o 282 193.19/194.62 o 281 194.59/196.08 o 280 196.09/197.54 o 279 197.60/199.01 o 278 198.97/200.46 o 277 200.47/201.93 o 276 201.87/203.38 o 275 203.39/204.84 o 274 204.78/206.29 o 273 206.27/207.74 o 272 207.67/209.19 o 271 209.16/210.64 o 270 210.57/212.09 o 269 212.08/213.55 o 268 213.57/215.01 o 267 214.96/216.48 o 266 216.47/217.94 o 265 217.98/219.40 o 264 219.36/220.86 o 263 220.86/222.32 o 262 222.26/223.77 o 261 223.76/225.21 o 260 225.22/226.70 o 259 226.62/228.15 o 258 228.00/229.59 o 257 229.52/231.04 o 256 230.90/232.48 o 255 232.40/233.98 o 254 233.85/235.44 o 253 235.25/236.88 o 252 236.72/238.33 o 251 238.14/239.78 o 250 239.63/241.24 o 249 241.03/242.69 o 248 242.55/244.21 o 247 243.93/245.65 o 246 245.33/247.08 o 245 246.85/248.51 o 244 248.23/249.94 o 243 249.63/251.37 o 242 251.03/252.78 o 241 252.53/254.22 o 240 253.92/255.66 o 239 255.32/257.09 o 238 256.82/258.52 o 237 258.21/259.96 o 236 259.61/261.39 o 235 261.09/262.82 o 234 262.50/264.24 o 233 263.89/265.65 o 232 265.29/267.07 o 231 266.69/268.48 o 230 268.09/269.85 o 229 269.51/271.25 o 228 270.89/272.66 o 227 272.29/274.08 o 226 273.80/275.50 o 225 275.19/276.91 o 224 276.59/278.33 o 223 277.98/279.74 o 222 279.39/281.14 o 221 280.77/282.55 o 220 282.18/283.94 o 219 283.56/285.33 o 218 284.97/286.72 o 217 286.36/288.11 o 216 287.68/289.50 o 215 289.07/290.88 o 214 290.46/292.26 o 213 291.86/293.65 o 212 293.26/295.04 o 211 294.66/296.42 o 210 296.07/297.80 o 209 297.35/299.17 o 208 298.75/300.55 o 207 300.15/301.93 o 206 301.44/303.29 o 205 302.84/304.66 o 204 304.24/306.02 o 203 305.54/307.38 o 202 306.91/308.75 o 201 308.31/310.10 o 200 309.61/311.44 o 199 310.91/312.79 o 198 312.30/314.14 o 197 313.60/315.49 o 196 315.01/316.84 o 195 316.28/318.19 o 194 317.69/319.54 o 193 319.01/320.88 o 192 320.39/322.22 o 191 321.69/323.56 o 190 322.99/324.88 o 189 324.39/326.21 o 188 325.68/327.52 o 187 326.98/328.84 o 186 328.29/330.15 o 185 329.58/331.49 o 184 330.99/332.80 o 183 332.28/334.12 o 182 333.56/335.44 o 181 334.87/336.75 o 180 336.16/338.06 o 179 337.45/339.36 o 178 338.76/340.67 o 177 340.05/341.97 o 176 341.35/343.26 o 175 342.65/344.54 o 174 343.95/345.82 o 173 345.14/347.09 o 172 346.45/348.36 o 171 347.76/349.62 o 170 348.96/350.89 o 169 350.24/352.15 o 168 351.54/353.45 o 167 352.83/354.71 o 166 354.03/355.95 o 165 355.34/357.21 o 164 356.52/358.46 o 163 357.84/359.72 o 162 359.02/360.97 o 161 360.32/362.21 o 160 361.53/363.44 o 159 362.71/364.67 o 158 364.02/365.90 o 157 365.21/367.12 o 156 366.40/368.34 o 155 367.60/369.55 o 154 368.82/370.75 o 153 370.01/371.96 o 152 371.20/373.17 o 151 372.40/374.38 o 150 373.60/375.58 o 149 374.79/376.78 o 148 375.99/377.98 o 147 377.18/379.17 o 146 378.39/380.37 o 145 379.59/381.56 o 144 380.79/382.74 o 143 382.00/383.91 o 142 383.10/385.07 o 141 384.24/386.23 o 140 385.44/387.40 o 139 386.52/388.55 o 138 387.63/389.70 o 137 388.83/390.84 o 136 389.93/391.97 o 135 391.14/393.11 o 134 392.22/394.24 o 133 393.32/395.38 o 132 394.52/396.51 o 131 395.61/397.64 o 130 396.71/398.73 o 129 397.81/399.85 o 128 398.91/400.96 o 127 400.00/402.08 o 126 401.10/403.18 o 125 402.20/404.29 o 124 403.29/405.38 o 123 404.40/406.47 o 122 405.52/407.63 o 121 406.59/408.72 o 120 407.58/409.80 o 119 408.68/410.87 o 118 409.77/411.93 o 117 410.89/413.00 o 116 411.88/414.06 o 115 412.98/415.13 o 114 413.98/416.15 o 113 415.05/417.21 o 112 416.07/418.26 o 111 417.15/419.31 o 110 418.17/420.36 o 109 419.17/421.39 o 108 420.27/422.43 o 107 420.32/423.45 o 106 422.25/424.46 o 105 423.25/425.46 o 104 424.26/426.45 o 103 425.24/427.46 o 102 426.24/428.45 o 101 427.25/429.40 o 100 428.14/430.39 o 99 429.13/431.37 o 98 430.15/432.34 o 97 430.21/433.32 o 96 432.03/434.29 o 95 433.03/435.25 o 94 434.04/436.21 o 93 434.94/437.16 o 92 435.93/438.11 o 91 436.84/439.05 o 90 437.74/440.07 o 89 437.83/441.00 o 88 439.62/441.93 o 87 440.54/442.89 o 86 441.53/443.82 o 85 442.43/444.76 o 84 443.43/445.70 o 83 444.34/446.64 o 82 444.40/447.53 o 81 446.21/448.53 o 80 447.16/449.54 o 79 448.03/450.42 o 78 448.91/451.33 o 77 449.72/452.20 o 76 449.83/453.09 o 75 451.53/453.95 o 74 452.41/454.89 o 73 453.52/455.95 o 72 454.40/456.83 o 71 455.30/457.71 o 70 456.90/459.30 o 69 457.71/460.15 o 68 458.60/461.01 o 67 459.68/462.14 o 66 460.67/463.13 o 65 460.72/464.08 o 64 462.47/464.90 o 63 463.47/465.92 o 62 464.27/466.79 o 61 465.07/467.59 o 60 466.26/468.76 o 59 466.35/469.58 o 58 468.06/470.57 o 57 469.16/471.69 o 56 470.25/472.71 o 55 471.25/473.73 o 54 476.05/478.54 o 53 477.34/479.80 o 52 494.24/496.73 s OPTIMUM FOUND 494.24/496.73 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137 494.24/496.73 v x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 x349 x354 x399 x400 x416 x429 x460 x540 x545 x546 x547 x548 x566 x576 x612 494.24/496.73 v x620 x627 x703 x746 x774 x778 x809 x817 x820 x829 x850 x861 x874 x1022 x1037 x1084 x1156 x1178 x1199 x1209 x1238 x1252 x1288 494.24/496.73 v x1306 x1354 x1390 x1443 x1457 x1571 x1586 x1590 x1593 x1599 x1602 x1625 x1637 x1642 x1660 x1663 x1666 x1734 x1752 x1758 x1798 494.24/496.73 v x1903 x1915 x1926 x1985 x1996 x1999 x2010 x2066 x2072
OK 52
/tmp/evaluation/373235-1177365095/instance-373235-1177365095.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-373235-1177365095 -o ROOT/results/node39/solver-373235-1177365095 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373235-1177365095.opb /tmp/evaluation/373235-1177365095/temp 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.38 0.82 0.89 3/77 21885 /proc/meminfo: memFree=1582600/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12268 CPUtime=0 /proc/21885/stat : 21885 (pbclasp) R 21883 21885 20896 0 -1 4194304 395 0 0 0 0 0 0 0 18 0 1 0 184421581 12562432 363 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231511175485 0 0 4224 0 0 0 0 17 1 0 0 /proc/21885/statm: 3067 364 276 3 0 167 0 [startup+0.102775 s] /proc/loadavg: 0.38 0.82 0.89 3/77 21885 /proc/meminfo: memFree=1582600/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12532 CPUtime=0.01 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 533 0 0 0 1 0 0 0 16 0 1 0 184421581 12832768 487 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502557282 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/21885/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12532 [startup+0.20179 s] /proc/loadavg: 0.38 0.82 0.89 3/77 21885 /proc/meminfo: memFree=1582600/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12532 CPUtime=0.01 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 533 0 0 0 1 0 0 0 16 0 1 0 184421581 12832768 487 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502557282 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/21885/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12532 [startup+0.301806 s] /proc/loadavg: 0.38 0.82 0.89 3/77 21885 /proc/meminfo: memFree=1582600/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12532 CPUtime=0.01 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 533 0 0 0 1 0 0 0 16 0 1 0 184421581 12832768 487 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502557282 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/21885/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12532 [startup+0.701874 s] /proc/loadavg: 0.38 0.82 0.89 3/77 21885 /proc/meminfo: memFree=1582600/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=0.53 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 630 1596 0 0 1 0 51 1 16 0 1 0 184421581 12967936 518 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21885/statm: 3166 518 343 3 0 266 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 12664 [startup+1.50301 s] /proc/loadavg: 0.38 0.82 0.89 2/81 21903 /proc/meminfo: memFree=1578072/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=0.94 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 788 4868 0 0 3 0 87 4 16 0 1 0 184421581 12967936 537 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21885/statm: 3166 537 343 3 0 266 0 [pid=21901] ppid=21885 vsize=5356 CPUtime=0 /proc/21901/stat : 21901 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184421678 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21901/statm: 1339 227 188 169 0 50 0 [pid=21903] ppid=21901 vsize=22716 CPUtime=0.52 /proc/21903/stat : 21903 (clasp) R 21901 21885 20896 0 -1 4194304 6186 0 0 0 50 2 0 0 25 0 1 0 184421678 23261184 5326 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0 /proc/21903/statm: 5679 5326 195 154 0 5149 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 40736 [startup+3.10128 s] /proc/loadavg: 0.38 0.82 0.89 2/80 21911 /proc/meminfo: memFree=1556512/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=2.6 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 1052 22301 0 0 9 0 237 14 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 12664 [startup+6.30182 s] /proc/loadavg: 0.43 0.82 0.89 2/80 21935 /proc/meminfo: memFree=1556064/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=5.47 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 1439 52768 0 0 17 1 498 31 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 12664 [startup+12.7019 s] /proc/loadavg: 0.48 0.82 0.89 2/80 21991 /proc/meminfo: memFree=1557208/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=12.43 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 2342 128906 0 0 35 2 1134 72 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 12664 [startup+25.5011 s] /proc/loadavg: 0.59 0.83 0.89 2/80 22087 /proc/meminfo: memFree=1561472/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=24.24 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 3761 255970 0 0 63 3 2217 141 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=22085] ppid=21885 vsize=5356 CPUtime=0 /proc/22085/stat : 22085 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184424067 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/22085/statm: 1339 227 188 169 0 50 0 [pid=22087] ppid=22085 vsize=37316 CPUtime=0.63 /proc/22087/stat : 22087 (clasp) R 22085 21885 20896 0 -1 4194304 9955 0 0 0 58 5 0 0 25 0 1 0 184424067 38211584 8682 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0 /proc/22087/statm: 9329 8683 194 154 0 8799 0 Current children cumulated CPU time (s) 24.87 Current children cumulated vsize (KiB) 55336 [startup+51.1014 s] /proc/loadavg: 0.73 0.84 0.89 2/80 22255 /proc/meminfo: memFree=1541056/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=50.03 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 6581 535044 0 0 117 6 4593 287 17 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 50.03 Current children cumulated vsize (KiB) 12664 [startup+102.302 s] /proc/loadavg: 0.88 0.86 0.90 2/81 22575 /proc/meminfo: memFree=1555880/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=100.71 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 11573 1126762 0 0 208 12 9251 600 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=22573] ppid=21885 vsize=5356 CPUtime=0 /proc/22573/stat : 22573 (sh) S 21885 21885 20896 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 184431764 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/22573/statm: 1339 227 188 169 0 50 0 [pid=22574] ppid=22573 vsize=2520 CPUtime=0 /proc/22574/stat : 22574 (cat) S 22573 21885 20896 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 184431765 2580480 87 18446744073709551615 4194304 4211220 548682069312 18446744073709551615 231493828834 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/22574/statm: 630 87 71 4 0 42 0 [pid=22575] ppid=22573 vsize=26336 CPUtime=0.45 /proc/22575/stat : 22575 (clasp) R 22573 21885 20896 0 -1 4194304 6500 0 0 0 43 2 0 0 20 0 1 0 184431765 26968064 6157 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134684131 0 0 4096 0 0 0 0 17 1 0 0 /proc/22575/statm: 6584 6157 184 154 0 6054 0 Current children cumulated CPU time (s) 101.16 Current children cumulated vsize (KiB) 46876 [startup+162.301 s] /proc/loadavg: 0.95 0.89 0.90 2/80 22911 /proc/meminfo: memFree=1550448/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=159.86 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 16949 1827969 0 0 290 17 14711 968 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=22909] ppid=21885 vsize=5356 CPUtime=0 /proc/22909/stat : 22909 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184437693 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/22909/statm: 1339 227 188 169 0 50 0 [pid=22911] ppid=22909 vsize=56340 CPUtime=1.17 /proc/22911/stat : 22911 (clasp) R 22909 21885 20896 0 -1 4194304 15892 0 0 0 109 8 0 0 25 0 1 0 184437693 57692160 13432 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134682899 0 0 4096 0 0 0 0 17 1 0 0 /proc/22911/statm: 14085 13432 196 154 0 13555 0 Current children cumulated CPU time (s) 161.03 Current children cumulated vsize (KiB) 74360 [startup+222.305 s] /proc/loadavg: 0.98 0.90 0.91 2/80 23239 /proc/meminfo: memFree=1522280/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=219.45 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 22197 2558604 0 0 354 23 20212 1356 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=23237] ppid=21885 vsize=5356 CPUtime=0 /proc/23237/stat : 23237 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184443669 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23237/statm: 1339 227 188 169 0 50 0 [pid=23239] ppid=23237 vsize=41744 CPUtime=1.41 /proc/23239/stat : 23239 (clasp) R 23237 21885 20896 0 -1 4194304 16815 0 0 0 135 6 0 0 25 0 1 0 184443669 42745856 9883 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134726441 0 0 4096 0 0 0 0 17 1 0 0 /proc/23239/statm: 10436 9883 201 154 0 9906 0 Current children cumulated CPU time (s) 220.86 Current children cumulated vsize (KiB) 59764 [startup+282.301 s] /proc/loadavg: 0.99 0.92 0.91 2/81 23575 /proc/meminfo: memFree=1556576/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=279.45 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 27528 3323272 0 0 406 28 25755 1756 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=23573] ppid=21885 vsize=5356 CPUtime=0 /proc/23573/stat : 23573 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184449697 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23573/statm: 1339 227 188 169 0 50 0 [pid=23575] ppid=23573 vsize=60280 CPUtime=1.12 /proc/23575/stat : 23575 (clasp) R 23573 21885 20896 0 -1 4194304 16578 0 0 0 105 7 0 0 25 0 1 0 184449697 61726720 14287 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 11522055 0 0 4096 0 0 0 0 17 1 0 0 /proc/23575/statm: 15070 14287 195 154 0 14540 0 Current children cumulated CPU time (s) 280.57 Current children cumulated vsize (KiB) 78300 [startup+342.303 s] /proc/loadavg: 0.99 0.93 0.91 2/81 23935 /proc/meminfo: memFree=1576480/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=340.15 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 33131 4120177 0 0 447 34 31358 2176 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=23933] ppid=21885 vsize=5356 CPUtime=0 /proc/23933/stat : 23933 (sh) S 21885 21885 20896 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 184455779 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/23933/statm: 1339 227 188 169 0 50 0 [pid=23934] ppid=23933 vsize=2520 CPUtime=0 /proc/23934/stat : 23934 (cat) S 23933 21885 20896 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 184455780 2580480 87 18446744073709551615 4194304 4211220 548682069312 18446744073709551615 231493828834 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/23934/statm: 630 87 71 4 0 42 0 [pid=23935] ppid=23933 vsize=14376 CPUtime=0.3 /proc/23935/stat : 23935 (clasp) R 23933 21885 20896 0 -1 4194304 3277 0 0 0 29 1 0 0 20 0 1 0 184455780 14721024 3206 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0 /proc/23935/statm: 3594 3206 184 154 0 3064 0 Current children cumulated CPU time (s) 340.45 Current children cumulated vsize (KiB) 34916 [startup+402.302 s] /proc/loadavg: 0.99 0.94 0.91 2/80 24327 /proc/meminfo: memFree=1554208/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=400.11 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 39208 4939482 0 0 474 40 36896 2601 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 400.11 Current children cumulated vsize (KiB) 12664 [startup+462.302 s] /proc/loadavg: 1.06 0.96 0.91 2/80 24807 /proc/meminfo: memFree=1548960/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=459.75 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 46252 5731720 0 0 492 47 42405 3031 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 Current children cumulated CPU time (s) 459.75 Current children cumulated vsize (KiB) 12664 Solver just ended. Dumping a history of the last processes samples [startup+473.602 s] /proc/loadavg: 1.05 0.97 0.91 2/81 24903 /proc/meminfo: memFree=1571096/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=470.3 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47526 5844678 0 0 493 49 43394 3094 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24901] ppid=21885 vsize=5356 CPUtime=0 /proc/24901/stat : 24901 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184468854 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24901/statm: 1339 227 188 169 0 50 0 [pid=24903] ppid=24901 vsize=29740 CPUtime=0.85 /proc/24903/stat : 24903 (clasp) R 24901 21885 20896 0 -1 4194304 8187 0 0 0 82 3 0 0 24 0 1 0 184468854 30453760 7037 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0 /proc/24903/statm: 7435 7037 196 154 0 6905 0 Current children cumulated CPU time (s) 471.15 Current children cumulated vsize (KiB) 47760 [startup+486.402 s] /proc/loadavg: 1.04 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552768/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28372 CPUtime=6.57 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 7942 0 0 0 653 4 0 0 25 0 1 0 184469563 29052928 6577 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7093 6577 196 154 0 6563 0 Current children cumulated CPU time (s) 483.95 Current children cumulated vsize (KiB) 46392 [startup+492.802 s] /proc/loadavg: 1.04 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552792/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28372 CPUtime=12.97 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 7945 0 0 0 1293 4 0 0 25 0 1 0 184469563 29052928 6580 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134753569 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7093 6580 196 154 0 6563 0 Current children cumulated CPU time (s) 490.35 Current children cumulated vsize (KiB) 46392 [startup+494.402 s] /proc/loadavg: 1.03 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552728/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28768 CPUtime=14.56 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 8015 0 0 0 1452 4 0 0 25 0 1 0 184469563 29458432 6650 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7192 6650 196 154 0 6662 0 Current children cumulated CPU time (s) 491.94 Current children cumulated vsize (KiB) 46788 [startup+496.001 s] /proc/loadavg: 1.03 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552472/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28768 CPUtime=16.16 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 8015 0 0 0 1612 4 0 0 25 0 1 0 184469563 29458432 6650 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134769196 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7192 6650 196 154 0 6662 0 Current children cumulated CPU time (s) 493.54 Current children cumulated vsize (KiB) 46788 [startup+496.402 s] /proc/loadavg: 1.03 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552472/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28768 CPUtime=16.56 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 8015 0 0 0 1652 4 0 0 25 0 1 0 184469563 29458432 6650 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134741223 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7192 6650 196 154 0 6662 0 Current children cumulated CPU time (s) 493.94 Current children cumulated vsize (KiB) 46788 [startup+496.602 s] /proc/loadavg: 1.03 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552472/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28768 CPUtime=16.76 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 8015 0 0 0 1672 4 0 0 25 0 1 0 184469563 29458432 6650 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740840 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7192 6650 196 154 0 6662 0 Current children cumulated CPU time (s) 494.14 Current children cumulated vsize (KiB) 46788 [startup+496.702 s] /proc/loadavg: 1.03 0.97 0.91 2/80 24927 /proc/meminfo: memFree=1552472/2055920 swapFree=4159384/4192956 [pid=21885] ppid=21883 vsize=12664 CPUtime=477.38 /proc/21885/stat : 21885 (pbclasp) S 21883 21885 20896 0 -1 4194304 47873 5873112 0 0 494 49 44085 3110 16 0 1 0 184421581 12967936 540 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21885/statm: 3166 540 343 3 0 266 0 [pid=24925] ppid=21885 vsize=5356 CPUtime=0 /proc/24925/stat : 24925 (sh) S 21885 21885 20896 0 -1 4194304 289 121 0 0 0 0 0 0 15 0 1 0 184469563 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/24925/statm: 1339 227 188 169 0 50 0 [pid=24927] ppid=24925 vsize=28768 CPUtime=16.86 /proc/24927/stat : 24927 (clasp) R 24925 21885 20896 0 -1 4194304 8015 0 0 0 1682 4 0 0 25 0 1 0 184469563 29458432 6650 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0 /proc/24927/statm: 7192 6650 196 154 0 6662 0 Current children cumulated CPU time (s) 494.24 Current children cumulated vsize (KiB) 46788 Child status: 0 Real time (s): 496.741 CPU time (s): 494.308 CPU user time (s): 462.654 CPU system time (s): 31.6542 CPU usage (%): 99.5102 Max. virtual memory (cumulated for all children) (KiB): 80228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 462.654 system time used= 31.6542 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5929726 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= 42746 involuntary context switches= 27565 runsolver used 0.45693 second user time and 1.38379 second system time The end
Begin job on node39 on Mon Apr 23 21:51:35 UTC 2007 IDJOB= 373235 IDBENCH= 25029 IDSOLVER= 158 FILE ID= node39/373235-1177365095 PBS_JOBID= 4675264 Free space on /tmp= 66488 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= pbclasp instance-373235-1177365095.opb /tmp/evaluation/373235-1177365095/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-373235-1177365095 -o ROOT/results/node39/conversion-373235-1177365095 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373235-1177365095/instance-373235-1177365095.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-373235-1177365095 -o ROOT/results/node39/solver-373235-1177365095 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373235-1177365095.opb /tmp/evaluation/373235-1177365095/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED= 781062517 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 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: 1583200 kB Buffers: 42668 kB Cached: 335772 kB SwapCached: 14056 kB Active: 202284 kB Inactive: 200492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1583200 kB SwapTotal: 4192956 kB SwapFree: 4159384 kB Dirty: 1280 kB Writeback: 0 kB Mapped: 31196 kB Slab: 55236 kB Committed_AS: 1943784 kB PageTables: 2012 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66487 MiB End job on node39 on Mon Apr 23 21:59:52 UTC 2007