Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete + CSP4J - MCRW Engine 2008-05-30 | MSAT (TO) | 33 | 3600.03 | 3602.92 |
| Name | csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-24.xml |
| MD5SUM | 9306ef7954ddac95b00e0f57746494c3 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 33 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 2800 |
| Maximum constraint arity | 2 |
| Maximum domain size | 548 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 2800 |
| Global constraints used (with number of constraints) |
6.51/6.63 c CPU-LOAD 4.97 6.51/6.63 c LOADED 200 V (548 E), 2700 DTPConstraint, 100 ExtensionConstraint2D, arity 2, 4.97 cpu 7.79/7.92 s SATISFIABLE 7.79/7.92 o 2697 7.79/7.92 v 163 454 140 134 34 456 214 462 360 463 276 456 438 530 39 460 137 388 3 512 525 52 17 457 135 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 104 477 378 475 260 425 183 195 57 65 2 491 448 507 285 346 80 78 15 518 45 48 322 444 0 472 210 382 78 437 173 353 527 384 271 372 282 404 80 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 370 379 38 347 107 420 357 91 112 500 278 467 177 177 374 436 0 477 216 440 51 487 309 465 56 450 315 461 9 75 450 451 418 421 522 115 120 157 380 286 200 199 373 94 1 0 478 85 222 220 236 453 275 451 51 78 166 168 260 349 361 73 259 256 116 419 177 477 270 356 170 405 454 453 4 19 111 328 304 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 217 394 283 274 7.79/7.92 o 2701 7.79/7.92 v 163 454 140 134 34 456 214 462 360 463 276 456 438 530 39 460 301 388 3 512 525 52 17 457 135 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 104 477 378 475 260 425 183 195 57 65 2 491 448 507 285 346 80 78 15 518 45 48 322 444 0 472 210 382 78 437 173 353 527 384 271 372 282 404 80 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 370 379 38 347 107 420 357 91 112 500 278 467 177 177 374 436 0 477 216 440 51 487 309 465 56 450 315 461 9 75 450 451 418 421 522 115 120 157 380 286 200 199 373 94 1 0 478 85 222 220 236 453 275 451 51 78 166 168 260 349 361 73 259 256 116 419 177 477 270 356 170 405 454 453 4 19 111 328 304 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 217 394 283 274 7.79/7.93 o 2702 7.79/7.93 v 163 454 140 134 34 456 214 462 360 463 276 456 438 530 39 460 301 450 3 512 525 52 17 457 135 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 111 477 378 475 254 425 196 195 57 65 2 491 448 507 285 346 80 78 15 518 45 48 322 444 0 472 213 382 78 437 173 353 527 384 271 372 282 404 92 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 370 379 38 347 107 420 357 91 112 500 278 467 177 177 374 436 0 477 216 440 51 487 309 465 56 450 315 461 9 75 450 451 418 421 522 115 120 157 380 286 200 199 373 94 1 0 478 85 222 220 236 453 275 451 51 78 166 168 260 349 361 73 259 256 116 419 177 477 270 356 170 405 454 453 4 19 111 328 304 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 217 394 283 274 7.79/7.95 o 2703 7.79/7.95 v 163 454 140 134 34 456 211 462 360 463 276 456 438 530 39 460 301 450 3 512 525 52 17 457 164 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 111 477 378 475 254 419 196 195 57 65 2 491 448 507 279 337 80 78 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 370 379 38 347 107 420 357 91 112 500 369 467 177 177 374 436 1 477 216 440 51 487 309 465 56 447 315 461 9 64 450 451 418 421 522 115 120 157 380 286 200 199 373 94 1 0 478 85 222 220 241 453 275 451 51 78 166 168 261 349 367 73 259 256 120 419 177 477 270 356 170 405 454 453 4 19 111 328 296 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 57 388 157 390 1 394 283 274 7.79/7.96 o 2704 7.79/7.96 v 163 454 140 134 52 456 211 462 360 463 276 456 438 530 39 460 301 450 3 512 525 52 17 457 164 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 111 477 378 475 254 419 196 195 57 65 2 491 448 507 279 337 94 78 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 177 177 374 436 1 477 216 440 51 487 309 448 56 447 315 461 9 64 450 451 418 421 522 115 120 157 380 286 200 199 113 94 1 0 478 85 222 220 241 453 275 451 51 78 166 168 261 349 367 402 259 256 120 419 177 477 270 356 170 360 454 453 4 19 111 347 296 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 57 388 157 390 1 394 283 274 7.79/7.97 o 2705 7.79/7.97 v 163 454 140 134 52 456 211 462 360 463 276 456 438 530 43 460 301 450 3 512 525 52 17 457 164 426 263 261 70 441 230 452 337 443 4 459 328 339 295 465 111 477 378 475 254 419 196 195 57 65 2 491 448 507 279 337 94 74 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 43 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 177 177 374 436 1 477 216 440 51 487 309 448 56 447 315 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 94 1 0 478 85 222 220 241 453 274 451 51 78 166 168 261 349 367 402 259 256 120 419 177 477 270 356 170 360 455 453 4 19 111 347 296 418 58 43 163 425 146 401 39 419 219 505 256 450 538 522 57 388 157 390 3 394 283 274 7.79/7.99 o 2706 7.79/7.99 v 163 454 140 134 44 456 211 462 360 463 271 456 438 530 43 460 301 450 3 512 525 52 17 457 164 426 263 261 75 441 230 452 337 443 4 459 340 339 295 465 111 477 378 475 254 419 196 481 57 65 2 491 448 507 281 337 94 74 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 3 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 177 177 374 436 1 477 216 440 51 487 311 448 56 447 315 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 501 1 0 478 85 222 220 241 453 274 451 58 78 166 168 261 349 367 402 259 256 120 419 177 477 270 356 170 360 455 453 4 19 111 410 296 418 60 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 3 394 283 274 7.79/7.99 o 2707 7.79/7.99 v 163 454 140 134 44 456 211 462 360 463 271 456 438 530 43 460 301 450 3 512 525 52 17 457 164 426 263 261 75 441 230 452 337 443 4 459 340 339 295 465 111 477 378 475 254 419 196 481 57 65 2 491 448 507 281 337 94 74 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 3 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 165 177 374 436 1 477 216 440 51 487 311 448 56 447 315 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 501 1 0 478 85 222 220 241 453 274 451 58 78 166 168 261 349 367 402 259 256 120 419 177 477 270 356 170 360 455 453 4 19 111 410 296 418 60 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 3 394 283 274 7.89/8.00 o 2708 7.89/8.00 v 163 454 140 134 44 456 211 462 360 463 271 456 438 530 43 460 301 450 3 512 525 52 17 457 164 426 263 261 75 441 230 452 337 443 4 459 340 339 295 465 111 477 378 475 254 419 196 481 57 65 2 491 448 507 281 337 94 74 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 3 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 165 177 374 436 1 477 216 440 51 487 311 448 56 447 371 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 501 1 0 81 85 222 220 241 453 274 451 58 78 166 168 261 349 363 402 259 256 120 419 177 477 270 356 170 360 455 453 4 19 111 410 296 418 60 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 3 394 283 274 7.89/8.00 o 2709 7.89/8.00 v 163 454 140 134 44 456 211 462 360 463 271 456 438 530 43 460 301 450 3 512 525 52 17 457 164 426 263 261 75 441 230 452 337 443 0 459 340 339 295 465 111 477 378 475 254 419 196 481 57 65 2 491 448 507 281 337 94 74 15 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 3 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 165 177 374 436 1 477 216 440 51 487 311 448 56 447 371 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 501 1 0 81 85 222 220 241 453 274 451 58 78 166 168 261 349 360 402 259 256 120 419 177 477 270 356 170 360 455 453 4 19 111 410 296 418 60 43 163 425 146 401 39 419 219 505 256 450 538 522 56 388 157 390 3 394 283 274 7.89/8.01 o 2710 7.89/8.01 v 163 454 140 134 44 456 211 462 360 463 271 456 438 530 43 460 301 450 3 512 525 61 17 457 164 426 263 261 75 441 230 452 337 443 0 459 340 339 295 465 111 477 378 475 254 419 196 481 57 65 2 491 448 507 281 337 94 74 216 518 45 48 322 444 0 472 213 382 74 437 173 353 527 384 271 372 282 404 92 457 130 126 3 446 533 513 6 447 158 461 96 100 336 471 168 449 228 223 371 379 38 347 107 420 357 91 112 500 369 467 165 177 374 436 1 477 216 440 51 487 311 448 56 447 371 461 9 64 450 451 418 421 522 115 120 157 285 286 200 199 116 501 1 0 81 85 222 220 241 453 274 451 58 78 166 168 261 349 360 402 259 256 120 419 177 447 270 356 170 360 455 453 4 19 111 410 302 418 60 43 163 425 85 401 39 419 219 505 256 450 538 522 56 388 157 390 3 394 283 274 7.99/8.15 o 2711 7.99/8.15 v 163 160 140 134 44 374 207 462 360 463 265 447 118 530 43 479 303 450 0 512 525 61 13 457 164 433 263 261 75 441 171 467 337 443 0 459 330 338 297 446 256 477 378 475 254 360 2 481 57 65 1 491 448 507 267 354 94 89 220 518 45 48 322 444 0 472 202 161 71 437 173 353 528 384 270 453 284 404 64 321 130 126 22 447 533 513 4 446 158 461 96 100 335 471 165 449 228 223 371 379 38 347 107 420 48 91 114 500 369 467 165 177 0 408 201 477 217 343 51 487 319 454 56 437 371 461 9 489 0 451 420 531 522 115 119 124 285 286 214 199 420 501 1 0 77 85 222 220 239 453 271 472 58 480 166 168 259 349 365 402 259 256 307 310 102 371 270 356 443 360 455 456 4 19 112 410 212 210 60 61 163 425 147 370 39 419 218 505 256 450 538 522 56 386 157 479 1 394 272 274 7.99/8.17 o 2713 7.99/8.17 v 163 160 140 134 44 374 207 462 360 463 265 447 118 530 43 479 306 450 17 512 525 61 5 457 164 436 263 261 75 441 171 467 337 443 0 459 330 338 297 446 256 477 378 475 254 360 2 481 57 65 1 491 448 507 267 354 94 89 220 518 45 48 322 444 0 472 202 161 75 437 173 353 528 384 270 453 284 404 64 321 130 126 55 447 533 513 5 446 158 461 96 100 335 471 165 449 228 223 371 379 38 347 107 420 48 91 114 500 369 467 165 177 0 408 201 477 217 343 51 487 317 454 56 437 371 461 9 489 0 451 420 531 522 115 119 124 285 286 214 199 420 501 1 0 77 85 222 220 239 453 271 472 58 480 166 168 259 349 365 402 259 256 307 310 102 371 270 356 443 360 99 456 4 19 112 343 212 210 60 61 163 425 145 370 39 419 218 505 256 450 538 522 56 386 157 479 1 394 272 274 7.99/8.17 o 2714 7.99/8.17 v 163 160 140 134 44 374 207 462 360 463 265 447 118 530 43 479 306 450 17 512 525 61 5 457 164 436 263 261 75 441 171 467 337 443 0 459 330 338 297 446 256 477 378 475 254 360 2 481 57 65 1 491 448 507 267 354 94 89 220 518 45 48 322 444 0 472 202 161 75 437 173 353 528 384 270 453 284 404 64 321 130 126 55 447 533 513 5 446 158 461 96 100 335 471 165 449 228 223 371 379 38 347 107 420 48 91 114 500 369 467 165 177 0 408 201 477 217 343 51 487 317 454 56 437 371 461 9 489 0 451 420 531 522 115 119 124 285 286 214 199 420 501 1 0 77 85 222 220 239 453 271 472 58 480 166 168 259 349 365 402 259 256 307 310 102 371 270 356 443 360 454 456 4 19 112 343 212 210 60 61 163 425 145 370 39 419 218 505 256 450 538 522 56 386 157 479 1 394 272 274 8.19/8.40 o 2716 8.19/8.40 v 165 442 140 134 44 373 204 474 360 463 275 446 29 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 334 422 116 446 250 477 376 371 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 72 437 172 402 526 384 270 452 125 404 281 321 348 465 55 400 533 513 124 445 328 45 15 454 85 471 169 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 355 487 317 454 56 440 52 461 1 489 241 451 420 531 522 115 119 124 325 485 214 199 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 454 360 458 456 4 19 347 342 203 210 60 61 99 425 4 381 294 419 222 505 256 260 538 547 76 386 160 165 4 372 281 444 8.29/8.40 o 2717 8.29/8.40 v 165 442 140 134 44 373 204 474 360 463 275 446 29 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 334 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 72 437 172 402 526 384 270 452 125 404 281 321 348 465 55 400 533 513 124 445 328 45 15 454 85 471 169 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 317 454 56 440 52 461 1 489 241 451 420 531 522 115 119 124 325 485 214 199 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 454 360 458 456 4 19 347 342 203 210 60 61 99 425 4 381 294 419 222 505 256 260 538 547 76 386 160 165 4 372 281 444 8.29/8.41 o 2718 8.29/8.41 v 165 442 140 134 44 373 204 474 360 463 275 452 29 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 334 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 72 437 166 402 526 384 270 452 125 404 281 321 348 465 55 400 533 513 124 445 328 45 15 454 85 471 169 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 317 454 56 440 52 461 1 489 241 451 420 531 522 115 119 124 325 485 214 450 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 454 360 458 456 4 19 347 342 203 210 60 61 99 425 4 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 281 444 8.29/8.41 o 2720 8.29/8.41 v 165 442 140 134 44 373 204 474 360 463 275 452 29 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 69 437 166 402 526 384 270 452 125 404 281 321 348 465 55 400 533 513 136 445 328 45 15 454 85 471 169 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 317 454 56 440 52 461 1 489 203 451 420 531 522 115 119 124 325 485 214 450 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 454 360 458 456 4 19 347 342 203 210 60 61 99 425 4 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 281 444 8.29/8.42 o 2721 8.29/8.42 v 163 442 140 134 44 373 204 474 360 463 270 452 29 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 69 437 166 402 526 384 270 452 125 404 281 321 348 465 55 400 533 513 136 445 328 45 15 454 85 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 299 454 56 440 52 461 1 489 203 451 420 531 352 115 119 124 325 485 214 450 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 454 360 458 456 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 281 444 8.29/8.44 o 2722 8.29/8.44 v 162 442 140 134 51 373 204 474 345 463 262 453 33 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 68 437 166 402 526 384 270 405 125 404 281 321 348 465 55 400 533 513 136 445 47 45 15 454 85 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 420 460 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.44 o 2723 8.29/8.44 v 162 442 140 134 51 373 204 474 345 463 262 453 33 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 267 337 94 89 221 518 47 48 1 444 0 472 215 161 68 437 166 402 526 384 270 405 125 404 281 321 348 465 55 400 533 513 136 445 47 45 15 454 85 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 119 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 275 460 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.45 o 2724 8.29/8.45 v 162 442 140 134 51 442 204 474 345 463 262 453 404 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 266 337 94 89 221 518 47 48 1 444 0 472 162 161 75 437 166 402 526 384 270 376 125 404 281 448 348 465 55 400 533 513 136 445 47 45 15 454 85 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 1 467 270 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 275 456 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.46 o 2725 8.29/8.46 v 162 442 140 134 51 442 204 474 345 463 262 453 404 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 266 337 94 89 221 518 47 48 1 444 0 472 162 161 75 437 166 402 526 384 286 376 125 404 281 448 348 465 55 400 533 513 136 445 47 45 15 454 84 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 56 467 270 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 275 456 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.46 o 2726 8.29/8.46 v 162 442 140 134 51 442 204 474 345 463 262 453 404 530 49 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 266 337 94 89 221 518 47 48 1 444 0 472 162 465 75 437 166 402 526 384 286 376 125 404 281 448 348 465 55 400 533 513 136 445 47 45 15 454 84 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 56 467 270 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 275 456 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.47 o 2727 8.29/8.47 v 162 442 140 134 51 442 204 474 345 463 262 453 404 530 58 479 300 450 2 512 525 61 5 457 163 164 263 261 75 441 83 467 338 443 0 459 337 422 116 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 266 337 94 89 221 518 47 48 1 444 0 472 162 465 75 437 166 402 526 384 286 376 125 404 281 448 348 465 55 400 533 513 115 445 47 45 15 454 82 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 56 467 270 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 361 456 259 256 307 310 107 94 270 275 456 360 458 450 4 19 347 352 203 210 60 61 99 425 1 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.29/8.49 o 2728 8.29/8.49 v 165 442 140 134 38 422 204 474 345 463 262 448 404 530 58 479 301 450 2 512 525 61 5 457 163 164 263 261 80 441 83 467 337 443 0 459 337 422 119 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 257 337 94 89 221 518 47 48 219 444 0 472 162 465 75 437 166 402 525 384 294 390 125 404 281 446 348 465 120 400 533 513 115 445 47 45 15 454 82 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 54 467 162 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 243 453 376 472 58 480 166 168 249 258 363 456 259 256 307 310 107 94 270 275 459 360 458 450 4 19 347 352 203 210 60 61 109 425 2 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.39/8.50 o 2729 8.39/8.50 v 165 442 140 134 38 422 204 474 345 463 262 448 404 530 55 479 301 450 2 512 525 61 5 457 163 164 263 261 80 441 83 467 337 443 0 459 337 326 119 446 250 477 376 476 254 360 2 481 57 65 2 491 449 507 257 337 94 89 221 518 47 48 219 444 0 472 162 465 75 437 166 402 525 384 294 390 125 404 281 446 348 465 120 400 533 513 115 445 47 45 15 454 82 471 161 449 228 223 370 379 38 347 107 492 48 91 118 500 54 467 162 177 10 408 201 477 217 422 362 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 214 356 115 501 1 0 90 85 222 220 242 453 376 472 58 480 166 168 249 258 363 456 259 256 307 310 107 94 270 275 459 360 458 450 4 6 347 352 203 210 60 61 109 425 2 381 294 419 223 505 256 260 538 547 76 386 167 165 4 372 289 444 8.39/8.56 o 2730 8.39/8.56 v 165 442 140 134 38 422 204 474 345 463 256 448 408 530 55 479 301 450 2 512 525 61 5 457 163 164 263 261 254 441 77 467 338 443 0 459 337 424 119 446 250 477 354 476 249 360 1 481 57 65 2 491 449 507 70 337 94 89 219 518 47 48 219 444 0 472 162 465 66 437 166 402 528 384 294 390 125 404 288 446 348 465 74 400 533 513 115 445 47 45 5 454 82 471 159 449 228 223 370 379 38 347 107 492 48 91 118 500 54 467 162 510 16 408 203 477 213 422 366 487 299 454 56 440 1 461 4 489 203 451 420 531 352 115 119 124 276 485 207 198 112 501 1 0 90 85 222 220 242 453 362 472 58 480 166 168 251 452 364 456 259 256 307 310 107 94 270 275 459 465 454 450 4 6 347 351 203 210 60 61 75 425 2 381 297 419 223 505 256 260 538 547 75 386 167 165 4 372 284 444 8.49/8.69 o 2731 8.49/8.69 v 165 442 140 134 38 422 205 474 349 463 269 448 408 530 58 479 301 450 2 512 525 61 0 457 162 164 266 261 79 441 77 467 338 443 0 459 337 424 119 446 205 477 310 476 253 418 1 481 57 65 8 491 449 507 255 337 94 89 197 518 47 48 315 444 0 472 162 465 64 437 172 401 527 384 297 390 123 404 286 436 348 465 73 445 533 513 115 445 47 45 4 454 82 471 159 449 228 223 370 379 38 347 107 492 48 91 118 500 55 467 266 510 5 408 203 477 213 422 366 487 300 454 55 440 5 461 2 489 370 451 420 531 352 115 119 124 276 485 207 198 120 501 1 0 90 85 222 220 265 453 362 472 58 480 166 168 253 452 360 456 259 256 307 310 107 94 270 275 168 456 455 447 4 6 350 352 203 210 60 61 75 425 2 381 308 419 223 505 256 260 538 547 75 386 167 165 5 485 285 444 8.68/8.87 o 2733 8.68/8.87 v 165 442 140 134 31 422 205 474 347 463 262 448 408 530 43 479 301 450 9 512 525 61 8 457 167 437 266 261 76 438 88 467 304 443 0 459 338 422 119 446 217 477 310 476 263 421 3 481 57 65 9 491 233 507 282 403 94 89 197 518 47 48 220 444 0 472 160 465 71 437 346 401 527 477 267 464 124 451 276 444 325 465 55 445 533 513 115 445 47 45 9 454 2 471 159 449 228 223 370 449 38 347 107 492 48 91 118 500 58 467 176 510 9 408 205 477 262 422 366 487 300 454 55 440 9 461 2 489 121 451 385 531 352 115 119 457 276 485 207 198 120 501 1 0 90 85 222 220 265 453 371 472 58 480 166 168 253 452 363 456 259 256 307 310 107 94 270 275 162 456 381 447 4 6 347 352 206 472 60 61 101 486 30 466 299 419 223 505 256 260 538 547 298 386 167 165 3 485 277 443 8.68/8.88 o 2734 8.68/8.88 v 165 442 140 134 347 422 205 474 347 463 262 448 408 530 43 479 301 450 11 512 525 61 8 457 167 437 266 261 76 438 88 467 304 443 0 459 338 422 119 446 217 477 310 476 263 421 3 481 57 65 9 491 233 507 282 403 94 89 197 518 47 48 220 444 0 472 160 465 69 437 346 401 527 477 267 464 124 451 276 444 325 465 55 445 533 513 115 445 47 45 9 454 2 471 159 449 228 223 358 449 38 347 107 492 48 91 118 500 58 467 176 510 9 408 205 477 262 422 366 487 300 454 55 440 9 461 2 489 129 451 385 531 352 115 119 457 276 485 207 198 120 501 1 0 90 85 222 220 265 453 371 472 58 480 166 168 253 452 363 456 259 256 307 310 107 94 270 275 162 456 365 447 4 6 350 352 206 472 60 61 101 486 30 466 299 419 223 505 256 260 538 547 298 386 167 165 3 485 277 443 8.68/8.89 o 2735 8.68/8.89 v 165 442 140 134 347 422 205 474 347 463 262 448 408 530 43 479 301 450 11 512 525 61 8 457 167 437 266 261 76 438 88 467 298 443 0 459 338 422 119 446 217 477 310 476 263 421 3 481 57 65 9 491 233 507 282 403 94 89 197 518 47 48 220 444 0 472 160 465 69 437 346 401 527 477 267 464 124 451 276 444 325 465 55 445 533 513 115 445 47 45 9 454 2 471 159 449 228 223 358 449 38 347 107 492 48 91 118 500 58 467 176 510 9 408 205 477 262 422 366 487 300 454 55 440 9 461 2 489 129 451 385 531 352 115 119 457 276 485 207 198 120 501 1 0 90 85 222 220 265 453 371 472 58 480 166 168 253 452 363 456 259 256 307 310 107 94 270 275 162 456 365 447 4 6 350 352 206 472 60 61 101 486 30 466 361 419 223 505 256 260 538 547 298 386 167 165 3 485 277 443 8.78/8.94 o 2737 8.78/8.94 v 165 442 140 134 347 422 204 474 347 463 268 448 408 530 43 479 57 450 11 512 525 61 8 457 159 437 266 261 74 438 88 467 298 443 0 459 327 449 119 446 217 477 299 476 261 421 3 481 57 65 9 491 233 507 266 403 94 89 372 518 47 48 226 444 3 472 160 465 69 437 346 401 526 477 96 464 124 451 279 444 325 465 55 445 533 513 115 445 47 45 100 454 2 471 159 449 228 448 358 449 38 459 107 492 48 91 118 500 58 467 260 510 9 408 205 477 262 422 404 487 300 454 55 440 9 461 2 489 128 451 385 531 352 115 119 457 276 485 207 198 120 501 1 0 90 85 222 220 265 453 374 472 230 480 166 168 253 452 363 456 259 256 307 310 107 94 270 275 170 456 365 447 4 6 348 451 206 472 60 61 106 486 32 466 364 419 223 505 256 260 538 547 275 386 167 165 3 485 277 443 8.78/8.95 o 2738 8.78/8.95 v 165 442 140 134 347 422 207 474 347 463 268 448 408 530 58 479 57 450 11 512 525 61 12 457 159 437 266 261 74 438 76 467 298 443 0 459 327 449 119 446 207 477 299 476 261 421 3 481 57 65 9 491 233 507 271 403 94 89 372 518 47 48 226 444 3 472 160 465 69 437 311 401 526 477 96 464 124 451 279 444 325 465 55 445 533 513 115 445 47 45 100 454 2 471 159 449 228 448 350 449 38 459 107 492 48 91 118 500 58 467 260 510 9 457 205 477 262 422 404 487 300 454 55 440 9 461 2 489 128 451 385 531 352 115 119 457 276 485 207 198 120 501 1 0 90 85 222 220 265 453 374 472 230 480 166 168 253 452 363 456 259 256 307 310 107 94 270 275 170 456 365 447 4 6 348 451 206 472 60 61 106 486 32 466 364 419 223 505 256 260 538 547 275 386 167 165 3 485 277 443 8.88/9.08 o 2739 8.88/9.08 v 165 442 140 134 347 478 207 474 347 463 268 277 408 530 55 479 59 450 11 512 525 434 12 478 157 437 266 261 68 438 76 467 293 443 0 445 327 387 65 446 212 477 286 465 261 421 2 481 57 65 9 491 225 507 69 403 82 430 182 518 47 48 225 496 0 472 160 163 66 437 311 401 527 477 96 464 119 451 284 444 249 465 54 445 328 513 115 445 47 45 96 510 2 471 159 449 230 448 350 449 38 459 107 492 48 91 118 500 58 467 257 510 9 457 205 477 294 296 404 487 303 454 54 437 355 483 6 510 128 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 364 465 230 480 166 168 253 452 357 460 259 256 304 310 107 94 270 275 170 456 365 447 4 6 348 451 204 472 60 61 109 486 33 466 371 419 223 505 256 260 538 547 278 374 167 165 3 485 281 443 8.88/9.08 o 2740 8.88/9.08 v 165 442 140 134 347 478 207 474 347 463 268 277 408 530 55 479 59 450 11 512 525 434 12 478 157 437 266 261 68 438 76 467 293 443 0 445 327 387 65 446 212 477 286 465 261 421 2 481 57 65 9 491 225 507 69 403 82 430 182 518 47 48 225 496 0 472 160 163 66 437 311 401 527 477 96 464 122 451 284 444 249 465 54 445 328 513 115 445 47 45 96 510 2 471 159 449 230 448 350 449 38 459 107 492 48 91 118 500 58 467 257 510 9 457 205 477 294 296 404 487 303 454 54 437 355 483 6 510 128 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 364 465 230 480 166 168 253 452 357 460 259 256 304 310 107 94 270 275 170 456 354 447 4 6 348 451 204 472 60 61 109 486 33 466 371 419 223 505 256 260 538 547 278 374 167 165 3 485 281 443 8.98/9.15 o 2741 8.98/9.15 v 165 442 140 134 347 478 204 474 348 463 268 277 408 530 55 479 59 450 27 512 525 434 12 478 165 434 253 261 62 438 87 467 287 465 402 445 327 406 162 446 374 477 289 465 261 421 4 481 57 65 9 491 223 507 73 403 79 430 182 518 47 48 298 496 2 472 160 163 66 437 336 401 260 477 64 464 122 451 284 444 135 465 54 445 328 513 167 445 47 45 96 510 3 471 159 449 223 448 350 449 38 459 107 492 48 91 118 500 55 467 257 510 9 457 170 477 294 448 407 487 1 481 54 437 355 483 6 510 320 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 364 465 230 480 166 168 249 452 357 460 259 256 304 482 107 94 270 275 166 456 350 447 4 6 344 451 204 472 60 61 109 486 30 466 368 419 223 505 256 260 538 547 278 374 162 479 3 485 275 443 8.98/9.16 o 2746 8.98/9.16 v 165 442 140 134 347 478 204 474 348 463 268 277 408 530 55 479 59 450 27 512 525 434 12 478 165 434 253 261 62 438 87 467 287 465 0 445 327 406 162 446 374 477 289 465 261 421 4 481 57 65 9 491 230 507 73 403 79 430 182 518 47 48 298 496 2 472 160 163 66 437 336 401 260 477 64 464 125 451 284 444 135 465 55 445 328 513 167 445 47 45 96 510 3 471 159 449 223 448 350 449 38 459 107 492 48 91 118 500 55 467 257 510 9 457 170 477 294 448 407 487 1 481 54 437 355 483 6 510 320 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 364 465 230 480 166 168 249 452 357 460 259 256 304 482 107 94 270 275 166 456 350 447 4 6 344 451 204 472 60 61 109 486 30 466 368 419 223 505 256 260 538 547 278 374 162 479 3 485 275 443 8.98/9.16 o 2747 8.98/9.16 v 165 442 140 134 347 478 204 474 348 463 268 277 408 530 55 479 59 450 27 512 525 434 12 478 165 434 253 261 62 438 87 467 287 440 0 445 327 406 162 446 374 477 289 465 261 421 2 481 57 65 9 491 230 507 73 403 79 430 182 518 47 48 298 496 2 472 160 163 66 437 336 401 260 477 64 464 125 451 284 444 135 465 55 445 328 513 167 445 47 45 96 510 3 471 159 449 223 448 350 449 38 459 107 492 48 91 118 500 55 467 257 510 9 457 170 477 294 448 407 487 1 481 54 437 355 483 6 510 320 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 364 465 230 480 166 168 249 452 357 460 259 256 304 482 107 94 270 275 166 456 350 447 4 6 340 451 204 472 60 61 109 486 30 466 368 419 223 505 256 260 538 547 278 374 162 479 3 485 275 443 8.98/9.17 o 2749 8.98/9.17 v 165 442 140 134 347 478 204 474 348 463 268 277 408 530 55 479 59 450 6 512 525 434 12 478 165 434 253 261 78 438 87 467 287 440 0 445 327 406 162 446 374 477 289 465 261 421 2 481 57 65 9 491 230 507 73 403 79 430 182 518 47 48 298 496 2 472 160 163 75 437 336 401 260 477 64 464 125 451 284 444 135 465 55 445 328 513 167 445 47 45 96 510 3 471 159 449 223 448 351 449 38 459 107 492 48 91 118 500 55 467 257 510 9 457 170 477 294 448 407 487 1 481 54 437 355 483 6 510 320 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 371 465 230 480 166 168 249 452 357 460 259 256 304 482 107 94 270 275 166 456 350 447 4 6 340 451 204 472 60 61 109 486 30 466 368 419 223 505 256 260 538 547 279 441 162 479 3 485 283 443 8.98/9.18 o 2750 8.98/9.18 v 162 442 140 134 347 478 205 474 348 463 268 277 408 530 55 479 59 450 6 512 525 434 12 478 165 434 253 261 78 438 87 467 287 440 0 445 327 406 162 446 374 477 289 465 261 421 2 481 57 65 9 491 230 507 73 433 79 430 182 518 47 48 298 496 2 472 160 163 75 437 336 401 260 477 64 464 125 451 284 444 135 465 55 445 328 513 166 445 47 45 96 510 3 471 159 449 223 448 351 449 38 459 107 492 48 91 118 500 55 467 257 510 9 457 170 477 294 448 407 487 1 481 54 437 355 483 298 510 320 479 417 531 411 115 119 120 276 272 207 198 120 501 1 0 90 85 222 220 263 453 371 465 230 480 166 168 253 452 357 460 259 256 304 482 107 94 270 275 166 456 350 447 4 6 340 451 204 472 60 61 109 486 30 466 368 419 223 505 256 260 538 547 279 441 162 479 3 485 283 443 10.47/10.66 o 2751 10.47/10.66 v 352 442 37 36 152 443 215 474 292 453 266 465 117 530 56 479 394 502 9 512 38 501 1 493 160 437 389 499 301 434 56 505 267 450 100 97 271 446 221 495 218 477 264 262 347 433 2 3 57 533 3 475 221 507 85 442 78 430 187 518 382 460 227 496 15 508 160 465 75 425 285 449 267 477 56 486 108 462 268 444 74 504 33 502 328 513 236 442 228 529 0 510 118 506 164 168 252 448 349 420 188 459 107 492 220 513 41 500 8 467 410 510 86 83 135 498 288 448 230 487 357 456 4 437 26 485 85 510 313 479 414 531 78 521 119 450 276 272 207 198 365 501 1 0 157 505 222 220 263 453 364 465 53 480 179 460 246 445 73 72 431 497 354 482 154 457 121 476 262 462 261 447 389 496 122 443 222 472 60 61 277 486 1 466 367 419 220 223 256 260 538 547 75 448 304 467 0 482 134 443 10.47/10.69 o 2752 10.47/10.69 v 352 442 37 36 152 443 215 474 292 453 266 465 117 530 56 479 394 502 9 512 38 501 1 493 161 437 389 499 301 434 56 505 267 450 100 97 278 446 226 495 218 477 264 262 347 433 1 484 57 533 3 475 222 507 85 442 75 430 187 518 382 460 227 496 5 508 160 465 70 425 285 449 267 477 58 486 108 462 273 444 74 504 33 502 37 513 236 442 228 529 0 510 118 506 164 168 252 448 349 420 188 459 107 492 220 513 41 500 8 467 410 510 86 83 135 498 288 448 230 487 357 456 4 437 21 485 85 510 322 479 414 531 78 521 119 450 276 272 207 198 365 501 1 0 157 505 222 220 263 453 364 465 53 480 179 460 246 445 73 72 431 497 354 482 151 457 121 476 258 462 280 447 389 496 122 443 222 472 60 61 277 486 1 466 367 419 220 223 256 260 538 547 87 448 285 467 0 482 134 443 10.57/10.71 o 2753 10.57/10.71 v 352 442 37 36 152 443 215 474 292 453 266 465 117 530 56 479 391 502 9 512 38 501 1 493 161 437 389 499 301 434 56 505 267 450 100 97 278 446 226 495 218 477 264 262 347 433 1 484 57 533 3 475 222 507 85 442 75 430 187 518 382 460 227 496 5 508 160 465 70 425 285 449 267 477 58 486 108 462 273 444 74 504 33 502 331 513 244 442 225 529 0 510 118 506 164 168 252 448 349 420 188 459 107 492 220 513 41 500 8 467 410 510 86 83 135 498 288 448 230 487 348 456 4 437 24 485 85 510 324 479 414 531 78 521 119 450 276 272 207 198 365 501 1 0 157 505 222 220 263 453 364 465 53 480 179 460 246 445 73 72 431 497 354 482 161 457 121 476 258 462 280 447 389 496 122 443 222 472 60 61 288 486 1 466 367 464 220 223 256 260 538 547 87 448 387 467 0 482 134 443 11.36/11.53 o 2754 11.36/11.53 v 345 442 37 36 356 443 219 217 278 448 276 465 1 530 59 479 120 502 9 512 38 501 1 493 173 437 389 406 82 434 56 505 262 450 99 97 261 446 172 495 3 477 289 473 166 433 189 484 57 533 4 475 401 507 270 442 71 430 365 518 385 460 227 231 61 499 165 493 60 425 284 415 3 439 177 481 126 443 278 444 74 504 375 440 42 513 254 442 66 529 221 510 121 506 164 168 254 451 351 420 170 459 107 492 39 513 117 500 190 467 10 510 86 83 383 498 282 448 236 234 359 456 6 437 90 441 175 431 282 411 9 531 78 521 141 450 311 502 230 228 386 501 1 0 229 505 222 150 259 453 361 465 53 480 178 460 261 445 73 72 431 497 354 482 164 457 1 476 265 462 96 447 394 496 254 443 222 472 60 61 296 473 2 466 363 464 187 443 270 444 538 547 85 448 29 467 227 482 105 443 11.36/11.54 o 2755 11.36/11.54 v 345 442 37 36 356 443 219 217 278 448 276 465 1 530 59 479 120 502 9 512 38 501 1 493 173 437 389 406 82 434 56 505 262 450 99 97 261 446 176 495 5 477 289 473 174 433 189 484 57 533 1 475 401 507 270 442 71 430 365 518 385 460 227 231 8 499 165 493 60 425 284 415 3 439 177 481 126 443 280 444 74 504 375 440 42 513 254 442 66 529 221 510 121 506 164 168 254 451 351 420 170 459 107 492 39 513 117 500 190 467 10 510 86 83 383 498 278 448 236 234 359 456 6 437 90 441 175 431 282 411 9 531 78 521 141 450 311 502 230 228 386 501 1 0 229 505 222 150 259 453 361 465 53 480 178 460 261 445 73 72 431 497 354 482 164 457 1 476 265 462 96 447 394 496 254 443 222 472 60 61 296 473 2 466 363 464 187 443 280 444 538 547 85 448 29 467 227 482 105 443 11.36/11.55 o 2756 11.36/11.55 v 351 442 37 36 356 443 219 217 278 448 276 465 1 530 59 479 120 502 9 512 38 501 1 493 173 437 389 406 82 434 56 505 262 450 99 482 261 446 176 495 5 477 289 473 174 433 189 484 57 533 1 475 401 507 270 442 71 430 371 518 385 460 227 231 8 499 165 493 60 425 284 415 3 439 177 481 126 443 280 444 74 504 375 440 42 513 254 442 66 529 221 510 99 506 164 168 254 451 351 420 170 459 107 492 39 513 117 500 190 467 10 510 86 83 383 498 278 448 236 234 359 456 6 437 90 441 175 431 282 411 82 531 78 521 141 450 311 502 230 228 386 501 1 0 229 505 222 150 259 453 361 465 53 480 178 460 261 445 73 72 431 497 354 482 164 457 1 476 265 462 96 447 394 496 254 443 222 472 60 61 296 473 2 466 363 464 187 443 280 444 538 547 86 448 29 467 227 482 105 443 11.36/11.58 o 2757 11.36/11.58 v 348 442 37 36 363 443 219 217 286 448 276 465 1 530 59 479 120 502 9 512 38 501 1 493 172 437 389 406 82 434 56 505 262 450 96 482 262 446 184 495 5 477 289 473 174 433 189 484 57 533 1 475 401 507 270 442 71 430 371 518 385 460 227 231 8 499 161 493 60 425 284 415 30 439 177 481 126 443 280 444 74 504 0 440 42 513 254 442 66 529 221 510 99 506 164 168 254 451 351 420 170 459 107 492 39 513 117 500 191 467 10 510 86 83 383 498 280 448 236 234 359 456 1 437 93 441 175 431 282 411 82 531 78 521 138 450 296 502 230 228 386 501 1 0 229 505 222 150 267 453 361 465 53 480 178 460 257 445 73 72 431 497 354 482 164 457 1 476 270 462 97 447 394 496 254 443 222 472 60 61 303 473 2 466 363 464 187 443 280 444 538 547 86 448 29 467 227 482 104 443 16.40/16.61 o 2758 16.40/16.61 v 332 442 34 529 197 485 276 478 108 99 259 460 1 530 371 485 55 478 11 526 414 456 374 449 278 451 69 516 96 432 194 193 278 443 218 482 95 433 3 495 2 501 219 468 362 458 225 488 156 527 168 497 294 516 332 445 52 453 332 500 278 495 82 451 35 509 140 483 311 444 112 450 9 17 209 479 407 494 298 444 237 525 10 493 140 439 53 443 0 529 158 511 195 498 260 486 329 421 64 436 44 527 107 492 39 529 226 495 78 522 195 515 55 525 140 498 326 434 218 479 343 478 35 448 398 469 194 479 257 452 11 9 3 453 104 450 159 465 262 485 391 501 7 478 227 488 44 487 264 439 64 474 368 480 141 451 266 449 51 457 279 497 2 473 209 455 415 495 111 461 340 442 55 496 95 443 229 445 295 513 186 452 115 465 359 439 0 495 277 446 433 547 187 446 39 444 118 482 292 443 28.87/29.24 o 2759 28.87/29.24 v 356 440 220 529 11 449 237 239 292 454 122 461 1 533 356 457 127 460 72 526 99 518 61 509 211 464 422 521 118 460 27 520 223 457 151 478 323 450 367 454 2 1 278 458 127 448 278 491 235 532 366 488 91 489 349 448 124 442 55 46 229 526 265 510 63 458 376 490 114 458 110 451 211 523 6 5 304 299 339 453 90 506 4 503 305 520 347 437 46 475 14 517 55 510 222 477 123 447 342 444 239 517 231 541 110 529 167 503 122 449 254 517 83 89 285 450 345 444 21 472 300 483 53 445 218 476 267 511 377 446 11 9 357 0 121 460 30 520 296 447 212 227 62 58 299 500 1 2 348 445 353 471 280 270 9 506 111 446 114 455 59 439 71 504 153 479 4 15 210 450 223 478 294 511 340 448 304 513 113 482 10 498 363 385 231 453 70 514 214 506 1 547 120 457 3 492 303 488 114 441 28.97/29.39 o 2760 28.97/29.39 v 353 440 220 529 11 449 237 239 292 454 146 461 1 533 379 457 127 460 72 526 99 518 61 509 215 464 422 521 121 460 27 520 223 457 152 478 323 450 374 454 2 1 276 458 120 448 273 491 235 532 361 488 91 489 349 448 140 442 55 46 229 526 265 510 57 458 390 490 119 458 109 451 211 523 6 5 304 299 339 453 87 506 4 503 305 520 108 437 46 475 3 517 54 510 223 477 125 447 358 444 239 517 231 541 110 529 159 503 113 449 254 517 72 464 280 450 345 444 21 472 59 483 54 445 218 476 267 511 364 446 11 9 357 0 139 460 30 520 296 447 212 227 62 58 299 500 1 2 346 445 364 471 280 270 9 506 111 446 133 455 59 439 71 504 149 479 4 15 213 450 351 478 296 511 341 448 305 513 113 482 20 498 363 385 229 453 70 514 214 506 1 547 119 457 14 492 308 488 126 441 29.07/29.48 o 2761 29.07/29.48 v 351 440 220 529 11 449 237 239 292 454 146 461 1 533 379 457 307 460 72 526 99 518 61 509 215 464 422 521 119 460 74 520 219 457 1 478 324 450 379 454 2 1 279 458 121 448 283 491 235 532 361 488 91 489 349 448 140 442 55 46 229 526 265 510 60 458 367 490 125 458 108 451 211 523 6 5 304 299 339 453 87 506 4 503 305 520 108 437 46 475 323 517 54 510 223 477 125 447 358 444 239 517 231 541 110 529 2 503 113 449 254 517 72 464 281 450 345 444 164 472 160 483 54 445 218 476 267 511 366 446 11 9 357 0 139 460 30 520 296 447 212 227 62 58 299 500 1 2 348 445 364 471 280 270 9 506 102 446 128 455 59 439 71 504 148 479 4 15 207 450 368 478 294 511 339 448 305 513 113 482 10 498 363 385 232 453 70 514 214 506 1 547 120 457 14 492 304 488 126 441 46.70/47.23 o 2762 46.70/47.23 v 352 451 252 449 12 481 293 497 163 460 77 463 283 538 158 463 389 469 299 520 248 530 271 498 160 459 311 517 351 446 121 493 151 461 5 458 339 437 76 469 70 495 270 450 247 461 390 493 42 529 342 496 115 517 149 443 151 450 0 498 6 446 59 481 251 470 179 470 158 461 291 449 24 502 396 498 109 464 293 453 29 469 253 480 0 530 299 448 17 539 84 492 114 515 396 409 151 451 305 460 2 517 440 455 334 529 255 449 28 513 115 446 337 482 392 466 146 445 70 63 355 452 277 465 111 481 76 465 183 448 258 450 1 0 344 468 156 158 13 9 216 501 268 498 26 487 3 458 349 445 271 450 149 522 110 511 11 451 183 469 0 465 11 451 91 484 265 499 163 444 159 457 46 510 340 446 292 515 410 452 251 489 373 476 177 469 139 480 307 533 1 547 345 457 174 487 59 495 33 465 46.70/47.24 o 2763 46.70/47.24 v 352 451 252 449 12 481 293 497 163 460 77 463 283 538 158 463 389 469 299 520 248 530 271 498 160 459 311 517 351 446 121 493 151 461 5 458 339 437 76 469 70 495 270 450 250 461 390 493 42 529 342 496 115 517 149 443 151 450 0 498 6 446 59 481 251 470 179 470 158 461 292 449 24 502 396 498 109 464 293 453 29 469 253 480 0 530 299 448 17 539 84 492 114 515 396 409 151 451 305 460 2 517 440 455 334 529 255 449 28 513 115 446 337 482 392 466 146 445 70 63 355 452 277 465 111 481 76 465 183 448 258 450 1 0 364 468 156 158 13 9 210 501 268 498 26 487 3 458 349 445 271 450 149 522 110 511 11 451 183 469 0 465 11 451 91 484 265 499 163 444 159 457 46 510 340 446 292 515 410 452 251 489 373 476 177 469 139 480 307 533 1 547 343 457 174 487 59 495 33 465 62.55/63.27 o 2764 62.55/63.27 v 339 451 212 460 62 487 243 477 70 488 368 453 442 538 135 461 1 452 301 529 0 530 20 23 354 432 321 469 213 460 82 523 212 460 347 487 111 439 141 506 223 449 0 443 342 452 122 494 103 508 21 476 273 518 115 446 341 453 301 304 2 478 68 518 302 301 131 465 360 451 347 451 49 528 74 473 234 511 203 454 48 463 269 495 316 469 109 462 3 0 72 514 14 15 209 487 333 411 132 438 215 534 279 282 207 204 60 502 102 468 290 445 313 516 11 469 335 443 163 476 236 485 315 478 78 481 238 517 377 465 60 523 220 537 133 456 293 478 13 471 295 300 235 466 212 512 0 7 346 454 114 462 192 509 387 498 18 453 115 463 0 535 362 479 215 463 81 502 131 461 274 475 12 493 114 451 49 474 407 452 264 444 125 477 347 474 314 486 3 533 210 547 93 458 19 478 211 469 347 458 871.05/872.93 o 2765 871.05/872.93 v 184 453 8 7 54 469 297 446 192 444 373 377 348 521 286 473 120 499 44 460 128 516 83 82 173 464 48 520 360 444 11 12 351 467 275 476 175 450 308 501 80 496 355 464 261 446 294 493 135 536 86 485 17 521 350 454 150 445 49 506 0 457 148 481 180 448 220 448 355 460 349 443 279 455 298 484 18 16 55 454 85 491 306 499 64 517 357 458 21 10 117 504 31 473 251 493 153 451 173 472 366 540 289 518 132 177 374 506 2 475 425 465 136 138 204 499 28 447 303 463 285 462 220 488 134 503 70 502 353 481 188 187 0 535 99 458 430 437 15 494 212 463 260 469 120 118 0 539 347 443 35 40 8 12 306 478 163 451 348 469 42 525 7 456 289 465 261 263 348 461 61 478 139 482 346 434 227 486 186 496 75 480 355 453 259 460 147 480 3 11 1 460 34 458 288 486 197 451 369 449 871.05/872.95 o 2766 871.05/872.95 v 184 453 8 7 71 469 298 446 189 444 373 377 348 521 286 473 132 499 44 460 128 516 83 82 173 464 48 520 360 444 11 12 351 467 275 476 175 450 308 501 80 496 353 464 262 446 259 493 135 536 85 485 17 521 350 454 150 445 49 506 0 457 148 481 180 448 220 448 357 460 349 443 279 455 298 484 18 16 55 454 85 491 306 499 64 517 357 458 21 10 117 504 31 473 251 493 153 451 173 472 366 540 289 518 132 177 375 506 2 475 425 465 136 138 204 499 28 447 303 463 285 462 220 488 141 503 70 502 353 481 188 187 0 535 99 458 430 437 15 494 212 463 260 469 120 118 0 539 347 443 35 40 8 12 306 478 165 451 348 469 42 525 7 456 289 465 261 263 347 461 61 478 139 482 346 434 227 486 186 496 75 480 355 453 259 460 147 480 3 11 1 460 34 458 285 486 197 451 369 449 2842.22/2844.83 o 2767 2842.22/2844.83 v 157 456 73 532 96 463 282 497 11 10 333 335 0 525 267 451 406 403 248 507 86 84 42 480 361 454 328 497 356 456 304 472 123 465 234 488 128 450 0 500 5 452 295 476 11 448 298 476 371 536 383 487 101 451 178 449 184 453 140 515 0 479 79 479 277 449 98 479 365 462 177 450 154 520 24 492 316 480 352 450 351 352 273 493 108 485 143 445 334 505 373 489 234 514 277 492 134 440 2 466 321 487 132 534 1 0 51 54 97 510 4 441 157 475 232 490 341 442 189 184 175 488 54 59 229 495 372 494 277 274 20 23 6 540 149 468 127 521 405 484 59 502 281 467 18 465 1 540 354 449 154 471 40 525 118 500 352 451 263 460 42 535 145 483 383 468 372 523 186 461 112 464 4 0 271 441 62 483 407 450 86 490 186 463 360 473 33 40 7 531 1 522 172 447 285 448 73 470 356 447
OK 33 2767 33 unsatisfied constraints, 2767 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112413-1215867631/watcher-1112413-1215867631 -o /tmp/evaluation-result-1112413-1215867631/solver-1112413-1215867631 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112413-1215867631.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 1.92 1.98 1.99 4/81 17933 /proc/meminfo: memFree=1757840/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 271 0 0 0 0 0 0 0 22 0 1 0 43466524 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 233632923730 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0 /proc/17933/statm: 1339 230 191 169 0 50 0 [pid=17934] ppid=17933 vsize=124 CPUtime=0 /proc/17934/stat : 17934 (dirname) R 17933 17933 17413 0 -1 4194304 47 0 0 0 0 0 0 0 24 0 1 0 43466525 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 233630135573 0 0 4096 0 0 0 0 17 1 0 0 /proc/17934/statm: 31 22 16 3 0 3 0 [startup+0.0505851 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17933 /proc/meminfo: memFree=1757840/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.102263 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17933 /proc/meminfo: memFree=1757840/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301274 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17933 /proc/meminfo: memFree=1757840/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701311 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17933 /proc/meminfo: memFree=1757840/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50137 s] /proc/loadavg: 1.92 1.98 1.99 3/91 17944 /proc/meminfo: memFree=1746944/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=844340 CPUtime=1.47 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 5512 0 1 0 142 5 0 0 18 0 9 0 43466525 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 211085 4817 1900 9 0 205646 0 [pid=17936/tid=17937] ppid=17933 vsize=844340 CPUtime=1.21 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 3418 0 1 0 119 2 0 0 25 0 9 0 43466526 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4125826167 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17938] ppid=17933 vsize=844340 CPUtime=0.08 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 832 0 0 0 7 1 0 0 16 0 9 0 43466527 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17939] ppid=17933 vsize=844340 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=844340 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43466528 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=844340 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=844340 CPUtime=0.15 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 528 0 0 0 15 0 0 0 16 0 9 0 43466530 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17943] ppid=17933 vsize=844340 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=844340 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 864604160 4817 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 849696 [startup+3.10251 s] /proc/loadavg: 1.92 1.98 1.99 3/92 17945 /proc/meminfo: memFree=1737848/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=850824 CPUtime=3.05 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 10409 0 1 0 296 9 0 0 18 0 10 0 43466525 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212706 9332 2579 9 0 207267 0 [pid=17936/tid=17937] ppid=17933 vsize=850824 CPUtime=2.21 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 3580 0 1 0 218 3 0 0 25 0 10 0 43466526 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4126310301 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17938] ppid=17933 vsize=850824 CPUtime=0.28 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 3869 0 0 0 26 2 0 0 16 0 10 0 43466527 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17939] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43466528 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43466528 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43466530 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=850824 CPUtime=0.52 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2222 0 0 0 51 1 0 0 16 0 10 0 43466530 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17943] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43466530 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43466530 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17945] ppid=17933 vsize=850824 CPUtime=0 /proc/17936/task/17945/stat : 17945 (java) S 17933 17933 17413 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 43466713 871243776 9332 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 856180 [startup+6.30278 s] /proc/loadavg: 1.93 1.98 1.99 3/92 17945 /proc/meminfo: memFree=1725048/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=6.22 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 14919 0 1 0 609 13 0 0 18 0 10 0 43466525 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 12556 2585 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=4.97 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 3939 0 1 0 492 5 0 0 25 0 10 0 43466526 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.59 /proc/17936/task/17938/stat : 17938 (java) R 17933 17933 17413 0 -1 64 7914 0 0 0 55 4 0 0 16 0 10 0 43466527 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 104182533 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43466528 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43466528 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43466530 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.62 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2328 0 0 0 60 2 0 0 15 0 10 0 43466530 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43466530 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43466530 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17945] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17945/stat : 17945 (java) S 17933 17933 17413 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 43466713 871591936 12556 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 856520 [startup+12.7023 s] /proc/loadavg: 1.93 1.98 1.99 3/91 17945 /proc/meminfo: memFree=1690168/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=12.55 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21603 0 1 0 1239 16 0 0 18 0 9 0 43466525 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19226 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=10.91 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4404 0 1 0 1086 5 0 0 25 0 9 0 43466526 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4127409235 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.67 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2341 0 0 0 65 2 0 0 16 0 9 0 43466530 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19226 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 856520 [startup+25.5013 s] /proc/loadavg: 1.95 1.98 1.99 3/91 17945 /proc/meminfo: memFree=1690168/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=25.22 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21604 0 1 0 2506 16 0 0 18 0 9 0 43466525 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19227 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=23.59 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4404 0 1 0 2354 5 0 0 25 0 9 0 43466526 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4127339610 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.68 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2342 0 0 0 66 2 0 0 16 0 9 0 43466530 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19227 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3399.51 Current children cumulated vsize (KiB) 856520 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18123 /proc/meminfo: memFree=1027960/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=3459.48 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21621 0 1 0 345924 24 0 0 18 0 9 0 43466525 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19233 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=3457.83 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4415 0 1 0 345770 13 0 0 25 0 9 0 43466526 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4127416534 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.69 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3459.48 Current children cumulated vsize (KiB) 856520 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18123 /proc/meminfo: memFree=1027960/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=3519.46 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21621 0 1 0 351922 24 0 0 18 0 9 0 43466525 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19233 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=3517.81 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4415 0 1 0 351768 13 0 0 25 0 9 0 43466526 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4127351085 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.69 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3519.46 Current children cumulated vsize (KiB) 856520 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18123 /proc/meminfo: memFree=1027896/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=3579.44 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21621 0 1 0 357920 24 0 0 18 0 9 0 43466525 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19233 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=3577.79 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4415 0 1 0 357766 13 0 0 25 0 9 0 43466526 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4127351085 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.69 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3579.44 Current children cumulated vsize (KiB) 856520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3602.9 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18123 /proc/meminfo: memFree=1027896/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=3600.03 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21621 0 1 0 359979 24 0 0 18 0 9 0 43466525 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19233 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=3598.38 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4415 0 1 0 359825 13 0 0 25 0 9 0 43466526 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4127339731 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.69 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.03 Current children cumulated vsize (KiB) 856520 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+3602.9 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18123 /proc/meminfo: memFree=1027896/2055920 swapFree=4192812/4192956 [pid=17933] ppid=17931 vsize=5356 CPUtime=0 /proc/17933/stat : 17933 (concrete.sh) S 17931 17933 17413 0 -1 4194304 315 128 0 0 0 0 0 0 23 0 1 0 43466524 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17933/statm: 1339 242 201 169 0 50 0 [pid=17936] ppid=17933 vsize=851164 CPUtime=3600.03 /proc/17936/stat : 17936 (java) S 17933 17933 17413 0 -1 0 21621 0 1 0 359979 24 0 0 18 0 9 0 43466525 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17936/statm: 212791 19233 2587 9 0 207351 0 [pid=17936/tid=17937] ppid=17933 vsize=851164 CPUtime=3598.38 /proc/17936/task/17937/stat : 17937 (java) R 17933 17933 17413 0 -1 64 4415 0 1 0 359825 13 0 0 25 0 9 0 43466526 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4127339731 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17938] ppid=17933 vsize=851164 CPUtime=0.93 /proc/17936/task/17938/stat : 17938 (java) S 17933 17933 17413 0 -1 64 14119 0 0 0 86 7 0 0 16 0 9 0 43466527 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17939] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17939/stat : 17939 (java) S 17933 17933 17413 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17940] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17940/stat : 17940 (java) S 17933 17933 17413 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43466528 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17941] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17941/stat : 17941 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17942] ppid=17933 vsize=851164 CPUtime=0.69 /proc/17936/task/17942/stat : 17942 (java) S 17933 17933 17413 0 -1 64 2348 0 0 0 67 2 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17936/tid=17943] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17943/stat : 17943 (java) S 17933 17933 17413 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17936/tid=17944] ppid=17933 vsize=851164 CPUtime=0 /proc/17936/task/17944/stat : 17944 (java) S 17933 17933 17413 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43466530 871591936 19233 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.03 Current children cumulated vsize (KiB) 856520 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17933 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.004998 # while last known CPU time is 3600.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3602.92 CPU time (s): 3600.03 CPU user time (s): 3599.79 CPU system time (s): 0.24 CPU usage (%): 99.9198 Max. virtual memory (cumulated for all children) (KiB): 859088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443 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= 15 involuntary context switches= 5 runsolver used 5.09622 second user time and 11.3403 second system time The end
Begin job on node3 at 2008-07-12 15:00:31 IDJOB=1112413 IDBENCH=61414 IDSOLVER=335 FILE ID=node3/1112413-1215867631 PBS_JOBID= 7903465 Free space on /tmp= 66540 MiB SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30 BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-24.xml COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112413-1215867631/watcher-1112413-1215867631 -o /tmp/evaluation-result-1112413-1215867631/solver-1112413-1215867631 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112413-1215867631.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 9306ef7954ddac95b00e0f57746494c3 RANDOM SEED=570409979 node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.238 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.238 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: 1758320 kB Buffers: 50480 kB Cached: 85520 kB SwapCached: 0 kB Active: 171708 kB Inactive: 67532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758320 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1148 kB Writeback: 0 kB Mapped: 123392 kB Slab: 43364 kB Committed_AS: 303956 kB PageTables: 2040 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= 66536 MiB End job on node3 at 2008-07-12 16:00:36