Trace number 1112414

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-30MSAT (TO)36 3600.06 3609.03

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-24.xml
MD5SUM9306ef7954ddac95b00e0f57746494c3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints33
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size548
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

6.31/6.46	c CPU-LOAD 4.81
6.31/6.46	c LOADED 200 V (548 E), 100 ExtensionConstraint2D, 2700 DTPConstraint, arity 2, 4.81 cpu
7.50/7.70	s SATISFIABLE
7.50/7.70	o 2670
7.50/7.70	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 147 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 121 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 199 129 422 518 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 165 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.71	o 2672
7.60/7.71	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 147 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 199 129 422 518 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 165 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.71	o 2674
7.60/7.71	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 147 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 199 129 422 518 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.72	o 2675
7.60/7.72	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 147 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 199 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.72	o 2676
7.60/7.72	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 199 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.72	o 2677
7.60/7.72	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 104 364 362 
7.60/7.72	o 2678
7.60/7.72	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 187 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.73	o 2679
7.60/7.73	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 523 230 357 4 422 2 267 5 522 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.74	o 2681
7.60/7.74	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 371 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.74	o 2682
7.60/7.74	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 331 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.74	o 2683
7.60/7.74	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 274 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.74	o 2684
7.60/7.74	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 465 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 448 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.75	o 2685
7.60/7.75	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 448 34 398 401 248 348 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.75	o 2686
7.60/7.75	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 350 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.75	o 2687
7.60/7.75	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 25 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.75	o 2688
7.60/7.75	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 265 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.76	o 2689
7.60/7.76	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 325 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.76	o 2690
7.60/7.76	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 272 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.76	o 2691
7.60/7.76	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 290 144 12 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.76	o 2692
7.60/7.76	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 439 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 12 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.77	o 2693
7.60/7.77	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 12 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.77	o 2694
7.60/7.77	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 446 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.77	o 2695
7.60/7.77	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 173 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.77	o 2696
7.60/7.77	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 299 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.78	o 2697
7.60/7.78	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 302 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.78	o 2698
7.60/7.78	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 135 241 235 484 2 286 24 285 4 94 47 371 60 419 5 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.78	o 2699
7.60/7.78	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 277 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.78	o 2700
7.60/7.78	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 114 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.79	o 2701
7.60/7.79	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 314 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.79	o 2702
7.60/7.79	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 283 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 397 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.79	o 2703
7.60/7.79	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 283 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 184 472 458 53 244 423 4 80 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.60/7.79	o 2704
7.60/7.79	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 283 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 103 472 458 53 244 423 4 80 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.70/7.80	o 2705
7.70/7.80	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 283 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 172 356 103 472 458 53 244 423 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.70/7.80	o 2706
7.70/7.80	v 383 248 213 263 130 149 369 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 137 299 285 283 135 241 235 484 2 286 24 285 4 94 47 371 60 419 428 383 12 272 189 147 163 486 65 532 533 491 492 296 1 360 364 200 204 356 103 472 458 53 244 423 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 37 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 297 13 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.70/7.82	o 2707
7.70/7.82	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 7 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.70/7.83	o 2708
7.70/7.83	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 370 470 473 295 129 364 362 
7.70/7.83	o 2709
7.70/7.83	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 511 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 14 470 473 295 129 364 362 
7.70/7.83	o 2710
7.70/7.83	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 6 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 325 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 14 470 473 295 129 364 362 
7.70/7.83	o 2711
7.70/7.83	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 6 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 511 144 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 14 470 473 295 129 364 362 
7.70/7.83	o 2712
7.70/7.83	v 383 248 213 263 130 149 421 270 480 476 476 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 135 498 518 150 136 299 285 283 135 241 235 484 2 282 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 204 356 103 472 471 53 22 422 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 426 10 367 4 124 135 461 245 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 30 126 119 46 13 52 43 42 126 294 129 422 150 283 111 13 522 506 105 185 183 458 133 351 350 448 34 398 401 248 247 360 88 450 12 112 75 371 80 512 6 150 0 272 274 250 1 380 141 188 124 520 126 290 32 38 35 511 1 282 138 392 1 430 441 301 138 213 56 57 53 230 16 533 133 11 16 369 14 470 473 295 129 364 362 
7.70/7.88	o 2713
7.70/7.88	v 383 248 213 263 130 120 421 254 480 476 474 243 234 202 352 303 21 29 96 89 122 131 23 32 413 8 95 90 381 11 498 518 150 136 299 285 283 135 241 235 484 2 187 24 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 121 356 103 472 471 53 42 250 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 427 10 367 4 124 135 461 244 332 302 515 230 357 4 422 2 267 5 522 5 382 100 448 44 126 119 46 13 52 43 399 126 294 129 422 150 283 111 13 522 506 105 185 166 458 133 351 350 448 34 398 401 248 247 360 88 450 4 113 9 371 80 512 6 150 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 511 1 282 124 392 1 430 441 290 138 213 31 57 53 230 16 533 133 11 16 369 14 470 473 295 129 364 362 
7.80/7.94	o 2714
7.80/7.94	v 383 248 213 263 130 120 279 4 482 476 474 251 234 202 352 365 21 29 96 89 122 131 23 32 413 8 95 90 388 11 498 518 150 136 299 285 283 135 241 235 493 2 187 16 285 4 94 47 371 60 419 428 383 12 272 1 147 163 486 65 532 533 491 492 298 1 360 364 200 121 362 103 472 471 53 26 250 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 427 10 368 4 124 135 461 244 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 126 294 129 422 15 283 111 13 522 506 105 185 166 458 133 351 350 445 34 398 401 248 247 360 88 450 4 113 30 370 80 511 6 150 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 124 475 1 430 441 290 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 295 129 360 362 
7.80/7.95	o 2715
7.80/7.95	v 362 248 213 263 130 120 279 4 482 476 474 251 234 202 352 365 21 29 96 89 122 131 23 32 413 8 95 90 388 11 498 518 150 136 299 285 283 135 241 235 305 2 477 16 285 4 94 47 371 60 419 428 383 12 272 1 147 171 486 65 532 533 491 492 298 1 360 364 200 121 362 103 472 471 53 26 250 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 427 10 368 127 124 135 461 244 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 126 294 129 422 15 283 111 13 522 506 105 185 166 458 133 351 350 445 34 398 401 248 247 360 88 450 4 113 30 370 80 511 6 150 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 124 475 1 430 441 290 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 295 129 360 362 
7.80/7.97	o 2716
7.80/7.97	v 362 361 213 263 130 128 279 298 482 476 474 251 234 202 352 365 21 29 96 89 122 131 23 32 413 8 95 90 388 11 498 518 150 136 299 291 283 135 241 235 305 2 477 16 285 4 94 47 254 60 419 428 383 12 272 1 147 171 486 65 532 533 491 492 298 1 360 364 204 121 354 103 472 471 53 26 250 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 427 10 368 127 124 135 461 242 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 126 294 129 422 15 283 111 13 522 506 105 185 166 458 133 351 350 445 34 398 401 248 247 360 88 451 4 118 30 370 80 511 6 150 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 124 475 1 430 441 290 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 295 129 360 362 
7.80/7.97	o 2717
7.80/7.97	v 362 361 213 263 130 128 279 298 482 476 474 251 234 202 352 365 21 29 96 89 122 131 23 32 413 8 95 90 388 11 498 518 150 136 299 291 283 135 241 235 305 2 477 16 285 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 298 1 360 364 204 121 354 103 472 471 53 26 250 4 105 104 460 221 419 32 83 60 274 270 109 254 482 3 427 10 368 127 124 135 461 242 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 126 294 129 422 15 283 111 13 522 506 105 185 166 458 133 351 350 445 34 398 401 248 247 360 88 451 4 118 30 370 80 511 6 150 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 124 475 1 430 441 290 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 295 129 360 362 
7.89/8.01	o 2718
7.89/8.01	v 362 361 213 263 129 128 279 24 484 485 474 251 234 202 352 365 21 29 100 89 122 131 23 32 413 8 95 90 388 11 498 518 150 136 299 291 283 135 241 235 305 2 477 16 285 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 298 1 360 364 204 130 354 103 472 471 42 19 240 4 105 104 460 221 419 32 83 60 266 270 109 254 481 3 427 10 368 11 124 135 467 242 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 126 294 129 422 0 283 111 13 522 506 105 185 166 458 133 351 350 445 34 398 401 248 247 360 88 451 4 118 30 370 80 510 6 132 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 3 475 1 430 441 297 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 295 129 360 362 
7.89/8.07	o 2719
7.89/8.07	v 362 361 213 263 129 127 279 9 484 470 453 246 234 202 352 364 21 29 100 89 122 131 23 32 413 8 95 90 388 11 523 518 150 138 299 291 283 136 241 235 305 2 477 16 285 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 298 1 360 364 204 198 354 103 472 471 42 246 433 4 105 104 460 221 419 32 83 60 266 270 109 254 491 3 427 10 368 11 124 135 470 257 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 39 294 129 422 0 283 111 13 33 506 105 182 178 458 133 351 350 445 34 398 401 248 247 360 88 439 20 118 54 370 80 510 6 132 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 3 475 1 430 441 297 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 285 129 360 362 
7.89/8.08	o 2720
7.89/8.08	v 362 361 213 263 129 127 279 302 484 470 453 246 234 202 352 364 21 29 100 89 122 131 23 32 422 8 95 90 388 11 523 518 150 138 299 291 283 136 241 235 305 2 477 16 285 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 298 1 360 364 204 198 354 103 472 471 42 246 433 4 102 104 460 221 380 32 83 60 266 270 109 254 491 3 427 10 368 11 124 135 470 257 332 302 515 230 357 4 422 2 267 5 522 5 382 100 466 41 126 119 46 13 52 43 399 39 294 129 422 48 283 111 13 33 506 105 182 178 458 133 351 350 445 34 398 401 248 247 360 88 439 20 118 126 376 80 510 6 132 0 272 274 250 1 381 141 188 124 520 126 290 3 38 35 509 1 282 3 475 1 430 441 297 138 213 32 57 53 230 16 533 133 11 16 369 14 470 473 285 129 360 362 
7.99/8.16	o 2721
7.99/8.16	v 362 361 213 263 126 127 301 8 484 470 453 246 234 202 356 364 21 29 100 89 122 131 23 32 422 8 95 90 388 0 523 518 150 138 300 291 283 136 241 235 296 2 477 16 278 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 306 1 360 361 204 198 354 103 472 471 50 20 425 4 102 104 460 221 380 32 83 60 266 270 109 254 491 3 427 10 368 11 124 135 470 257 332 302 515 230 357 4 422 2 267 5 522 5 380 100 466 41 126 119 46 13 53 43 399 39 294 129 422 140 283 111 13 33 506 105 182 178 458 133 351 350 445 34 398 401 248 247 360 88 439 8 111 58 375 80 501 6 133 0 272 274 250 1 381 141 188 124 520 126 292 3 179 35 509 1 282 3 475 1 430 441 290 138 200 32 57 53 230 16 533 133 11 16 369 14 470 473 285 129 360 362 
8.09/8.21	o 2722
8.09/8.21	v 362 361 213 263 130 70 301 13 484 470 453 253 234 202 356 361 21 29 100 89 122 131 23 32 422 8 95 90 388 0 523 518 154 138 298 291 284 136 241 235 298 2 477 16 287 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 306 1 360 361 204 198 354 103 472 471 50 20 425 4 102 104 460 221 380 32 83 60 266 270 109 254 491 3 427 10 368 30 124 135 470 257 332 302 515 230 357 4 422 2 267 5 522 5 380 100 466 29 126 119 46 13 230 43 399 39 294 129 422 34 283 111 13 33 506 105 182 139 458 133 351 350 445 34 398 401 248 247 360 88 439 20 138 17 375 80 491 6 143 0 272 274 250 1 381 141 182 124 520 126 292 3 179 35 509 1 282 3 475 1 430 441 290 138 200 32 57 53 230 16 533 133 11 16 369 14 470 473 285 129 358 362 
8.09/8.21	o 2723
8.09/8.21	v 362 361 213 78 130 70 301 13 484 470 453 253 234 202 356 361 21 29 100 89 122 131 23 32 422 8 95 90 388 0 523 518 154 138 298 291 284 136 241 235 298 2 477 16 287 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 306 1 360 361 204 198 354 103 472 471 50 20 425 4 102 104 460 221 380 32 83 60 266 270 109 254 491 3 427 10 368 30 124 135 470 257 332 302 515 230 357 4 422 2 267 5 522 5 380 100 466 29 126 119 46 13 230 43 399 39 294 129 422 34 283 111 13 33 506 105 182 139 458 133 351 350 445 34 398 401 248 247 360 88 439 20 138 17 375 80 491 6 143 0 272 274 250 1 381 141 182 124 520 126 292 3 179 35 509 1 282 3 475 1 430 441 290 138 200 32 57 53 230 16 533 133 11 16 369 14 470 473 285 129 358 362 
8.09/8.28	o 2724
8.09/8.28	v 362 361 213 78 130 27 276 23 489 470 453 253 234 202 356 361 21 29 100 89 122 131 23 32 422 8 95 90 388 0 523 518 154 138 288 291 284 142 241 235 299 2 477 16 287 4 94 47 254 60 419 428 383 12 272 1 147 148 486 65 532 533 491 492 306 1 360 15 204 198 351 103 472 471 50 20 426 4 102 104 460 221 380 32 83 60 266 270 109 254 484 3 427 10 368 139 124 135 470 252 332 302 515 230 357 4 423 2 267 5 383 5 522 100 466 29 126 119 46 13 230 43 399 39 294 129 417 34 283 111 13 33 506 105 182 132 458 133 351 350 443 34 398 401 248 247 360 88 439 20 136 17 375 80 491 6 152 0 272 274 250 1 381 141 182 124 520 126 284 3 179 43 509 1 282 3 475 1 430 441 290 138 200 32 57 53 230 16 533 133 11 16 380 14 470 473 285 129 358 362 
8.19/8.35	o 2725
8.19/8.35	v 362 361 213 78 130 27 288 23 489 481 476 253 234 202 356 348 11 29 100 89 122 131 23 32 422 8 95 90 388 0 523 518 154 142 288 291 284 140 241 235 366 2 477 16 279 4 94 47 254 60 419 428 383 12 272 1 156 152 482 65 532 533 491 492 306 1 360 41 204 198 351 103 472 471 50 20 432 4 102 105 460 221 379 32 83 60 266 270 109 254 485 3 427 10 368 2 124 135 470 252 332 302 515 230 357 4 420 2 267 5 96 5 522 20 466 29 126 119 46 13 230 43 399 39 294 129 417 34 283 111 13 33 506 105 182 134 458 133 351 350 443 34 398 401 248 247 360 88 439 13 136 17 375 80 491 6 152 0 272 274 250 1 381 141 182 124 520 126 296 3 179 43 509 1 282 3 477 1 430 441 307 138 199 28 57 53 230 16 533 133 11 16 380 14 470 473 285 129 360 362 
8.19/8.39	o 2726
8.19/8.39	v 362 361 213 78 130 70 297 267 489 481 474 253 234 202 356 20 11 29 100 89 122 131 12 32 422 8 95 90 388 0 523 518 154 142 288 291 284 140 241 235 373 2 477 16 279 4 94 47 254 60 419 428 383 12 272 1 156 148 482 65 532 533 491 492 306 1 360 41 204 198 351 103 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 485 3 427 10 368 2 124 135 470 252 332 302 515 230 357 4 420 2 267 5 96 5 522 20 464 29 126 119 46 13 230 43 399 39 294 129 417 34 283 111 13 33 506 105 182 57 458 133 351 350 443 34 398 401 248 247 360 88 439 34 136 17 375 80 491 6 152 0 272 274 250 1 381 141 182 124 520 126 296 3 179 43 510 1 282 3 477 1 430 441 307 138 199 28 276 53 230 16 533 133 11 16 380 14 470 473 285 129 360 362 
8.39/8.54	o 2727
8.39/8.54	v 362 361 213 78 127 82 297 306 481 467 470 253 234 202 359 3 10 29 100 89 122 131 22 32 422 8 95 90 388 2 523 518 154 142 288 0 284 285 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 482 65 532 533 491 492 302 1 354 372 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 515 3 427 10 368 32 124 135 461 252 332 302 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 46 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 506 6 152 0 272 274 250 1 381 141 191 124 520 126 283 3 179 14 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 365 14 470 473 285 129 360 362 
8.39/8.56	o 2728
8.39/8.56	v 362 361 213 78 127 82 297 46 481 467 470 253 234 202 359 25 1 29 100 89 122 131 22 32 422 8 95 90 388 2 523 518 154 142 288 0 284 285 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 485 65 532 533 491 492 302 1 354 372 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 506 3 425 10 368 32 124 135 461 252 332 302 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 46 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 501 6 152 0 272 274 250 1 381 141 191 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 367 14 470 473 285 129 366 362 
8.39/8.58	o 2729
8.39/8.58	v 362 361 213 78 127 82 297 46 481 467 470 253 234 202 359 25 1 29 104 89 122 131 384 32 422 8 95 90 388 2 523 518 154 5 288 9 284 285 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 485 65 532 533 491 492 302 1 354 18 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 506 3 425 10 368 132 124 135 461 252 332 302 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 46 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 501 6 152 0 272 274 250 1 381 141 183 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 367 14 470 473 285 129 366 362 
8.39/8.59	o 2730
8.39/8.59	v 362 361 213 78 127 82 297 46 481 467 470 253 234 202 359 25 1 29 104 89 122 131 384 32 422 8 95 90 388 2 523 518 154 5 288 9 284 2 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 485 65 532 533 491 492 302 1 354 18 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 506 3 425 10 368 132 124 135 461 252 332 302 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 46 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 501 6 152 0 272 274 250 1 381 141 183 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 367 14 470 473 285 129 366 362 
8.39/8.59	o 2731
8.39/8.59	v 362 361 213 78 127 82 297 46 481 467 470 253 234 202 359 25 1 29 104 89 122 131 183 32 422 8 95 90 388 2 523 518 154 5 288 9 284 2 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 485 65 532 533 491 492 302 1 354 18 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 506 3 425 10 368 132 124 135 461 252 332 302 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 46 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 501 6 152 0 272 274 250 1 381 141 183 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 367 14 470 473 285 129 366 362 
8.49/8.60	o 2732
8.49/8.60	v 362 361 213 78 127 82 267 46 481 467 257 253 234 202 359 25 1 29 104 89 122 131 183 32 422 8 95 90 388 2 523 518 154 5 288 9 284 2 241 235 373 2 477 16 280 4 94 47 254 60 419 428 385 12 272 1 156 148 485 65 532 533 491 492 302 1 354 18 204 198 354 100 472 471 50 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 506 3 425 10 368 132 124 135 461 252 332 334 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 47 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 375 80 501 6 152 0 272 274 250 1 381 141 183 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 199 28 285 53 232 16 533 133 11 16 367 14 470 473 285 129 366 362 
8.49/8.63	o 2733
8.49/8.63	v 362 361 213 78 127 82 264 46 481 467 257 253 234 202 359 25 1 29 104 89 134 131 183 32 422 8 100 90 388 2 523 518 154 5 288 9 284 2 241 235 373 2 477 16 290 4 94 47 254 60 419 428 385 12 272 1 155 148 485 65 532 533 491 492 313 1 354 18 204 198 354 100 472 471 44 20 432 4 102 109 460 221 379 32 83 60 264 270 109 254 514 3 425 10 368 132 124 135 461 463 332 334 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 47 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 439 34 137 17 376 80 501 6 152 0 272 274 250 1 381 141 184 124 520 126 283 3 179 31 510 1 282 3 477 1 430 441 293 138 206 28 285 53 232 16 533 133 11 16 367 14 470 473 297 129 366 362 
8.49/8.67	o 2734
8.49/8.67	v 366 361 213 78 127 49 135 46 481 467 257 253 234 202 359 25 1 29 104 89 134 131 183 32 422 8 100 90 388 2 523 518 154 5 288 9 284 2 241 235 373 2 477 16 290 4 94 47 254 60 419 428 385 12 272 1 155 148 485 65 532 533 491 492 313 1 354 5 204 198 354 97 472 471 44 20 435 4 102 109 460 221 379 32 83 60 264 270 109 254 369 3 420 10 368 132 124 135 461 463 332 334 515 230 357 4 412 2 259 5 96 5 522 20 463 37 126 119 47 13 230 43 399 39 294 129 423 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 453 34 137 17 376 80 501 6 152 0 272 274 250 1 381 141 184 124 520 126 283 3 179 57 510 1 282 3 477 1 430 441 293 138 196 28 285 53 241 16 533 133 11 16 367 14 470 473 297 129 366 362 
8.59/8.76	o 2735
8.59/8.76	v 366 361 213 78 127 62 136 46 481 467 257 253 234 202 359 47 0 29 104 89 134 131 183 32 422 8 100 90 384 2 523 518 153 5 292 9 284 2 241 235 373 2 477 16 266 4 94 47 254 60 419 428 385 12 272 1 155 148 485 65 532 533 491 492 313 1 354 28 204 198 354 95 472 471 44 20 435 4 107 109 458 221 379 32 83 60 264 270 109 254 492 3 420 10 368 131 124 135 461 256 332 334 515 230 357 4 412 2 259 5 96 5 522 20 463 457 126 147 47 13 230 43 399 39 294 129 418 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 453 34 137 17 376 80 501 6 147 0 272 274 250 1 381 141 184 124 520 126 270 3 179 30 510 1 282 3 477 1 430 441 183 138 195 28 285 53 237 16 533 133 11 16 272 14 470 473 297 129 366 362 
8.59/8.78	o 2736
8.59/8.78	v 366 361 213 78 127 18 136 46 481 467 257 253 234 202 359 41 0 29 104 89 134 131 183 32 422 8 100 90 384 2 523 518 153 5 292 9 284 2 241 235 373 2 477 16 266 4 94 47 254 60 419 428 385 12 272 1 155 148 485 65 532 533 491 492 292 1 354 28 204 206 354 95 472 471 44 20 409 4 107 109 458 221 361 32 83 60 264 270 109 254 492 3 420 10 368 28 124 135 454 256 332 334 515 230 357 4 412 2 259 5 96 5 522 20 463 43 126 147 292 13 230 43 399 39 294 129 418 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 453 34 137 17 376 80 501 6 147 0 272 274 250 1 381 141 184 124 520 126 270 3 179 60 510 1 282 3 477 1 430 441 183 138 195 28 285 53 234 16 533 133 11 16 272 14 470 473 297 129 366 362 
8.69/8.81	o 2737
8.69/8.81	v 366 361 213 78 134 26 136 46 481 467 257 253 234 202 359 12 0 29 104 89 134 131 183 32 422 8 100 90 387 2 523 518 153 5 292 9 284 2 241 235 373 2 477 16 266 4 94 47 254 60 419 428 385 12 272 1 155 147 485 65 532 533 491 492 311 1 354 352 204 206 354 95 472 471 44 20 432 4 107 109 458 221 361 32 88 60 264 270 109 254 492 3 420 10 368 28 124 135 454 12 332 334 515 230 357 4 413 2 259 5 96 5 522 20 463 43 126 124 292 13 230 43 399 39 294 129 418 34 283 111 13 33 506 105 179 57 458 133 351 350 451 34 398 401 248 247 360 88 453 34 137 17 378 80 501 6 147 0 272 274 250 1 381 141 187 124 520 126 270 3 179 46 510 1 282 3 477 1 430 441 183 138 195 28 285 53 234 16 533 133 11 16 272 14 470 473 404 129 366 362 
8.98/9.14	o 2738
8.98/9.14	v 367 362 213 78 135 38 123 46 481 467 257 253 234 202 359 62 0 29 104 89 134 131 191 32 411 8 100 90 387 2 523 518 153 5 299 9 288 2 241 235 373 2 477 16 272 4 94 47 254 60 419 428 386 12 268 1 150 152 481 65 532 533 491 492 314 1 294 21 204 12 358 94 472 471 42 20 413 4 107 99 458 221 370 32 88 60 264 270 109 254 506 3 420 10 368 28 124 135 454 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 230 43 399 39 288 129 416 34 282 111 13 33 506 76 179 57 458 133 351 350 447 34 398 401 248 247 360 88 453 34 130 17 375 80 207 6 103 0 272 274 250 1 380 141 193 124 523 126 271 3 180 42 511 1 282 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 291 129 366 362 
8.98/9.14	o 2739
8.98/9.14	v 367 362 213 78 135 38 123 46 481 467 257 253 234 202 359 62 0 29 104 89 134 131 191 32 411 8 100 90 387 2 523 518 153 5 299 9 288 2 241 235 373 2 477 16 272 4 94 47 254 60 419 428 386 12 268 1 150 152 481 65 532 533 491 492 314 1 294 21 204 12 358 94 472 471 42 20 413 4 107 99 458 221 370 32 88 60 264 270 109 254 506 3 420 10 368 28 124 135 454 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 230 43 399 39 288 129 416 34 282 111 13 33 506 76 179 57 458 133 351 350 447 34 398 401 248 247 360 88 453 7 130 17 375 80 207 6 103 0 272 274 250 1 380 141 193 124 523 126 271 3 180 42 511 1 282 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 291 129 366 362 
8.98/9.14	o 2740
8.98/9.14	v 367 362 213 78 135 38 123 46 481 467 257 253 234 202 359 62 0 29 104 89 134 131 191 32 411 8 100 90 387 2 523 518 153 5 299 9 288 2 241 235 373 2 477 16 272 4 94 47 254 60 419 428 386 12 276 1 150 152 481 65 532 533 491 492 314 1 294 21 204 12 358 94 472 471 404 20 229 4 107 99 458 221 370 32 88 60 264 270 109 254 506 3 420 10 368 28 124 135 454 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 230 43 399 39 288 129 416 34 282 111 13 33 506 76 179 57 458 133 351 350 447 34 398 401 248 247 360 88 453 7 130 17 375 80 207 6 103 0 272 274 250 1 380 141 193 124 523 126 271 3 180 42 511 1 282 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 291 129 366 362 
8.98/9.15	o 2741
8.98/9.15	v 367 362 213 78 135 38 123 46 481 467 257 253 234 202 359 62 0 29 104 89 134 131 191 32 411 8 100 90 387 2 523 518 153 5 299 9 288 2 241 235 373 2 477 16 272 4 94 47 254 60 419 428 386 12 276 1 150 152 481 65 532 533 491 492 314 1 294 21 204 12 358 94 472 471 404 20 229 4 107 99 458 221 370 32 88 60 264 270 109 254 506 3 420 10 368 28 124 135 454 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 230 43 399 39 288 129 416 34 282 111 13 33 506 76 179 57 458 133 351 350 447 34 398 37 248 247 360 88 453 7 130 17 375 80 207 6 103 0 272 274 250 1 380 141 193 124 523 126 271 3 180 42 511 1 282 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 291 129 366 362 
9.08/9.24	o 2742
9.08/9.24	v 367 362 213 78 135 28 123 46 481 467 257 253 234 202 359 4 0 29 101 89 134 131 185 32 411 8 100 90 387 2 523 518 153 5 299 9 285 2 241 235 372 2 476 16 272 4 146 47 254 60 419 428 386 12 271 1 150 13 481 65 532 533 491 492 301 1 294 21 204 12 358 94 472 471 413 20 355 4 107 43 458 221 364 32 88 60 264 270 109 254 500 3 420 10 368 28 124 135 464 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 230 43 399 39 294 129 420 34 282 111 13 33 506 76 179 57 458 133 351 350 469 34 400 37 248 247 360 88 453 7 121 17 368 80 198 6 103 0 272 274 250 1 380 141 182 124 523 126 271 3 180 42 511 1 270 3 475 1 430 441 183 138 198 28 286 53 234 16 533 133 11 16 269 14 470 473 286 129 366 362 
9.18/9.31	o 2743
9.18/9.31	v 367 365 213 78 130 24 124 46 481 467 257 253 234 202 359 4 0 29 101 89 134 131 189 32 411 8 100 90 387 2 523 518 149 5 295 9 285 2 241 235 372 2 476 16 272 4 146 47 254 60 419 428 386 12 271 1 150 13 481 65 532 533 491 492 314 1 294 21 204 12 358 67 472 471 404 20 355 4 107 43 458 221 357 32 88 60 264 270 109 254 504 3 420 10 368 28 124 135 464 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 125 7 292 13 230 43 399 39 297 129 420 34 283 111 13 33 506 76 179 57 458 133 351 350 368 34 413 37 248 247 360 88 453 7 108 17 198 80 208 6 103 0 272 274 250 1 380 141 187 124 522 126 271 3 180 42 511 1 270 3 475 1 430 441 183 138 198 28 286 53 234 16 533 133 11 16 269 14 470 473 402 129 367 62 
9.18/9.36	o 2744
9.18/9.36	v 367 365 340 78 122 3 124 46 481 467 257 253 234 202 359 39 0 29 101 89 134 131 189 32 412 8 100 90 387 2 523 518 149 5 295 9 288 2 241 235 372 2 476 16 271 4 146 47 254 60 419 428 386 12 271 1 151 13 485 65 532 533 491 492 314 1 238 21 204 12 358 59 472 471 404 20 355 4 107 43 458 221 357 32 88 60 264 270 109 254 504 3 420 10 368 28 124 135 464 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 182 43 399 39 297 129 420 34 283 111 0 33 506 76 179 57 458 133 351 350 368 34 413 37 248 247 360 88 453 7 108 17 198 80 503 6 103 0 272 274 250 93 380 141 187 124 522 126 271 3 180 42 511 1 270 3 475 1 430 441 183 138 198 28 286 53 234 16 533 133 11 16 269 14 470 473 367 129 367 16 
9.38/9.56	o 2745
9.38/9.56	v 362 365 218 78 124 28 136 46 481 1 257 253 234 202 484 34 295 29 103 89 134 131 183 32 418 8 100 90 387 2 523 518 152 5 288 9 288 2 241 235 372 2 477 16 271 4 142 47 254 60 419 428 387 12 274 1 152 13 485 65 532 533 491 492 286 1 297 21 202 12 357 2 472 471 400 20 212 4 107 43 460 221 357 32 88 60 264 270 109 254 399 3 420 10 483 28 124 135 464 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 182 43 399 39 236 129 418 34 283 111 0 33 506 76 179 57 458 133 351 350 368 34 413 37 248 247 360 88 453 7 107 17 198 80 497 6 104 0 272 274 250 93 378 141 187 124 522 126 271 3 182 42 508 1 272 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 394 129 365 16 
9.38/9.57	o 2746
9.38/9.57	v 362 365 218 78 124 28 136 46 481 1 257 20 234 202 484 34 295 29 103 89 134 131 183 32 418 8 100 90 387 2 523 518 152 5 288 9 288 2 241 235 372 2 477 16 271 4 142 47 254 60 419 428 387 12 274 1 152 13 485 65 532 533 491 492 286 1 297 21 202 12 357 2 472 471 400 20 212 4 107 43 460 221 357 32 88 60 264 270 109 254 399 3 420 10 483 28 124 135 464 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 182 43 399 39 236 129 418 34 283 111 0 33 506 76 179 57 458 133 351 350 368 34 413 37 248 247 360 88 453 7 107 17 198 80 497 6 104 0 272 274 250 93 378 141 187 124 522 126 271 3 182 42 508 1 272 3 475 1 430 441 183 138 198 28 285 53 234 16 533 133 11 16 269 14 470 473 394 129 365 16 
9.58/9.71	o 2747
9.58/9.71	v 362 365 216 78 124 28 147 46 478 1 257 20 234 202 469 34 300 29 103 89 134 131 187 32 406 8 100 90 387 2 523 518 152 5 295 9 289 2 241 235 365 2 477 16 271 4 142 47 254 60 419 428 388 12 270 1 153 13 480 65 532 533 491 492 305 1 300 21 202 12 357 2 472 471 400 20 227 4 107 43 455 221 357 32 88 60 264 270 109 254 400 3 420 10 495 28 124 135 456 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 126 7 292 13 494 43 399 39 289 129 417 34 283 111 0 33 265 76 179 57 458 133 351 350 368 34 413 37 248 247 360 88 453 7 101 17 198 80 504 6 104 0 272 274 250 93 378 141 193 124 522 126 271 3 182 42 496 1 270 3 369 1 430 441 183 138 399 28 291 53 234 16 533 133 11 16 271 14 470 473 382 129 380 16 
9.87/10.02	o 2748
9.87/10.02	v 362 365 216 78 135 28 122 46 484 1 251 20 234 202 468 34 296 29 103 89 134 131 184 32 408 8 100 90 385 2 523 518 152 5 285 9 284 2 241 235 373 2 476 16 274 4 139 47 254 60 419 428 388 12 275 1 155 13 484 65 532 533 491 492 308 1 139 21 204 12 353 2 472 471 251 20 204 4 107 43 455 221 357 32 88 60 264 270 256 254 400 3 420 10 494 28 124 135 456 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 107 7 291 13 492 43 399 39 304 129 422 34 283 111 0 33 265 76 179 57 458 133 351 350 367 34 413 37 248 247 360 88 453 7 106 17 185 80 208 6 108 0 272 274 250 93 372 141 185 124 522 126 270 3 179 42 507 1 272 3 378 1 430 441 183 138 398 28 286 53 234 16 533 133 11 16 273 14 470 473 396 129 363 16 
9.97/10.12	o 2749
9.97/10.12	v 362 365 216 78 136 28 129 46 484 1 251 20 234 202 486 34 282 29 103 89 134 131 195 32 411 8 100 90 385 2 523 518 150 5 315 9 284 2 241 235 368 2 478 16 274 4 139 47 254 60 419 428 385 12 275 1 148 13 486 65 532 533 491 492 314 1 149 21 207 12 353 2 472 471 246 20 204 4 107 43 464 221 357 32 88 60 264 270 256 254 398 3 420 10 495 28 124 135 456 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 104 7 291 13 494 43 399 39 304 129 422 34 283 111 0 33 265 76 179 57 458 133 351 350 367 34 413 37 248 247 360 88 453 7 119 17 200 80 208 6 104 0 272 274 250 93 372 141 178 124 522 126 270 3 179 42 501 1 271 3 369 1 430 441 183 138 445 28 287 53 234 16 533 133 11 16 270 14 470 35 375 129 362 16 
9.97/10.15	o 2750
9.97/10.15	v 362 365 216 78 136 28 145 46 484 1 251 20 234 202 484 34 297 29 103 89 134 131 195 32 409 8 100 90 385 2 523 518 150 5 315 9 284 2 241 235 368 2 478 16 274 4 139 47 254 60 419 428 385 12 275 1 148 13 486 65 532 533 491 492 314 1 149 21 207 12 353 2 472 471 261 20 204 4 111 43 450 221 357 32 88 60 264 270 256 254 398 3 415 10 489 28 124 135 472 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 461 43 104 7 291 13 494 43 399 39 293 129 422 34 283 111 0 33 265 76 179 57 458 133 351 350 367 34 413 37 248 247 360 88 453 7 119 17 200 80 208 6 104 0 272 274 250 93 372 141 178 124 522 126 270 3 179 42 501 1 271 3 369 1 430 441 183 138 445 28 287 53 234 16 533 133 11 16 270 14 470 35 375 129 362 16 
11.26/11.44	o 2751
11.26/11.44	v 362 365 216 78 141 28 125 46 482 1 263 20 234 202 466 34 290 29 103 89 134 131 187 32 429 8 100 90 384 2 523 518 147 5 301 9 285 2 241 235 364 2 476 16 270 4 134 47 254 60 419 428 388 12 269 1 151 13 190 65 532 533 491 492 306 1 138 21 201 12 352 2 472 471 249 20 210 4 107 43 450 221 357 32 88 60 264 270 256 254 400 3 409 10 484 28 124 135 471 12 332 334 515 230 357 4 416 2 259 5 375 5 522 20 461 43 106 7 291 13 494 43 397 39 286 129 461 34 282 111 211 33 265 76 178 57 7 133 351 350 367 34 412 37 248 247 360 88 453 7 123 17 520 80 205 6 102 0 272 274 250 93 382 141 195 124 479 126 273 3 179 42 504 1 270 3 367 1 430 441 184 138 448 28 289 53 234 16 533 133 11 16 270 14 474 35 373 129 362 16 
12.05/12.25	o 2752
12.05/12.25	v 362 365 216 78 135 28 146 46 483 1 250 20 234 202 466 34 309 29 103 89 134 131 194 32 424 8 100 90 387 2 523 518 285 5 155 9 283 2 241 235 368 2 476 16 271 4 134 47 254 60 419 428 389 12 274 1 150 13 190 65 532 533 491 492 140 1 295 21 204 12 353 2 472 471 411 20 200 4 104 43 450 221 357 32 88 60 264 270 256 254 399 3 415 10 478 28 124 135 470 12 332 334 515 230 357 4 416 2 259 5 375 5 522 20 461 43 105 7 292 13 496 43 398 39 298 129 466 34 282 111 212 33 265 76 179 57 7 133 351 350 367 34 413 37 248 247 360 88 454 7 119 17 526 80 205 6 105 0 272 274 250 93 371 141 183 124 479 126 273 3 179 42 504 1 270 3 378 1 430 441 184 138 449 28 290 53 234 16 533 133 11 16 275 14 472 35 367 129 366 16 
12.35/12.59	o 2753
12.35/12.59	v 362 365 216 78 128 28 139 46 487 1 257 20 234 202 474 34 294 29 103 89 134 131 160 32 415 8 100 90 388 2 523 518 286 5 155 9 285 2 241 235 369 2 476 16 273 4 135 47 254 60 419 428 385 12 274 1 159 13 190 65 532 533 491 492 136 1 295 21 196 12 350 2 472 471 280 20 221 4 104 43 450 221 357 32 88 60 264 270 256 254 399 3 415 10 485 28 124 135 473 12 332 334 515 230 357 4 416 2 259 5 375 5 522 20 461 43 106 7 290 13 488 43 398 39 289 129 458 34 282 111 218 33 265 76 179 57 7 133 351 350 367 34 415 37 248 247 360 88 454 7 112 17 528 80 205 6 104 0 272 274 250 93 377 141 195 31 479 126 271 3 179 42 504 1 271 3 381 1 430 441 184 138 448 28 294 53 234 16 533 133 11 16 271 14 474 35 367 129 366 16 
50.67/51.21	o 2754
50.67/51.21	v 362 365 216 78 132 28 126 46 485 1 244 20 234 202 471 34 317 29 103 89 134 131 155 32 398 8 100 90 387 2 523 518 289 5 155 9 283 2 241 235 370 2 476 16 270 4 135 47 254 60 419 428 385 12 272 1 147 13 191 65 532 533 491 492 137 1 293 21 206 12 374 2 472 471 404 20 207 4 111 43 104 221 357 32 88 60 264 270 256 254 398 3 416 10 492 28 124 135 472 12 332 334 515 230 357 4 419 2 259 5 375 5 522 20 461 43 107 7 292 13 482 43 398 39 305 129 420 34 283 35 0 33 265 76 179 57 460 133 351 350 367 34 413 37 248 247 360 88 453 7 114 17 524 80 205 6 105 0 272 274 250 93 377 141 194 31 479 126 274 3 176 42 504 1 280 3 379 1 430 441 184 138 446 28 285 53 234 16 533 133 11 16 270 14 461 35 361 129 364 16 
52.65/53.30	o 2755
52.65/53.30	v 362 365 216 78 125 28 136 46 477 1 244 20 234 202 480 34 316 29 103 89 134 131 156 32 405 8 100 90 388 2 523 518 293 5 153 9 284 2 241 235 375 2 476 16 271 4 134 47 254 60 419 428 382 12 282 1 149 13 191 65 532 533 491 492 138 1 293 21 202 12 361 2 472 471 418 20 210 4 106 43 104 221 357 32 88 60 264 270 256 254 398 3 432 10 495 28 124 135 472 12 332 334 515 230 357 4 415 2 259 5 375 5 522 20 466 43 105 7 288 13 494 43 398 39 300 129 460 34 283 35 0 33 265 76 179 22 104 133 351 350 421 34 484 37 248 247 360 88 384 7 126 17 521 80 205 6 111 0 272 274 250 93 372 141 193 31 479 126 272 3 176 42 506 1 272 3 513 1 430 441 182 138 450 28 296 53 234 16 533 133 11 16 275 14 459 35 390 129 369 16 
292.09/294.96	o 2756
292.09/294.96	v 304 242 526 527 12 240 400 241 4 239 456 225 161 168 451 229 83 86 136 278 372 256 26 25 154 208 179 268 63 254 0 1 73 246 456 312 450 249 404 254 155 244 405 264 11 240 337 243 534 213 130 235 97 96 390 239 1 203 494 245 79 198 431 224 32 253 133 143 395 206 298 190 6 270 483 243 94 246 297 206 0 265 498 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 380 227 512 515 428 294 343 255 179 174 39 239 456 240 79 255 488 236 503 250 28 205 334 206 135 137 2 4 330 241 171 231 410 243 402 236 300 299 174 206 384 375 79 200 1 3 527 201 339 340 393 203 79 211 537 533 7 207 476 471 143 216 382 238 45 216 168 288 353 278 0 279 98 250 76 77 132 247 346 256 208 311 3 258 547 271 146 245 18 257 23 245 451 449 
292.19/295.07	o 2757
292.19/295.07	v 304 242 526 527 8 240 400 241 2 239 456 225 161 168 451 229 83 86 136 278 372 256 26 25 154 208 169 268 63 254 0 1 73 246 456 312 450 249 404 254 155 244 131 264 11 240 336 243 534 213 395 235 97 96 390 239 1 203 488 245 79 198 424 224 32 253 133 246 459 206 305 190 6 270 484 243 94 246 306 190 0 265 498 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 380 227 512 515 425 294 343 255 179 174 38 239 455 240 79 255 484 236 503 250 21 205 334 206 135 137 2 4 331 241 171 231 410 243 401 236 300 299 174 206 384 375 79 200 1 3 527 201 339 340 400 203 79 211 537 533 127 207 476 471 143 216 387 238 59 216 168 288 347 278 0 279 89 250 76 77 132 247 346 256 208 311 3 258 547 271 146 245 18 257 23 245 451 449 
294.67/297.56	o 2758
294.67/297.56	v 304 242 526 527 10 240 399 241 6 239 457 225 161 168 451 229 83 86 133 278 372 256 26 25 154 208 171 268 63 254 0 1 71 246 452 312 449 249 404 254 156 244 132 264 10 240 336 243 534 213 401 235 97 96 389 239 0 203 495 245 79 198 425 224 32 253 131 246 455 206 326 190 6 270 461 243 94 246 305 227 0 265 503 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 377 227 512 515 425 294 343 255 179 174 41 239 456 240 79 255 487 236 25 250 153 205 320 206 135 137 2 4 331 241 182 231 410 243 404 236 298 299 174 206 384 375 79 200 1 3 527 201 339 340 407 204 81 211 537 533 127 207 476 471 132 216 387 238 1 216 168 288 349 278 0 279 85 250 76 77 129 247 345 256 202 311 3 258 547 271 147 245 18 257 20 245 451 449 
297.54/300.40	o 2759
297.54/300.40	v 304 242 526 527 14 240 405 241 1 239 456 457 161 168 177 229 83 86 133 278 372 256 26 25 152 208 167 268 61 254 0 1 71 246 453 312 448 249 404 254 451 244 129 264 11 240 336 243 534 213 393 235 97 96 390 239 1 203 495 245 79 198 425 224 32 253 133 246 462 206 305 190 6 270 405 243 94 246 304 197 0 265 494 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 382 227 512 515 425 294 343 255 179 174 38 239 465 240 77 255 483 236 20 250 153 205 323 206 135 137 2 4 329 241 182 231 410 243 403 236 302 299 176 206 384 375 80 199 1 3 527 201 339 340 393 241 85 211 537 533 132 207 476 471 132 216 382 238 22 216 169 288 350 278 0 279 89 250 76 77 130 247 346 256 204 311 3 258 547 271 146 245 18 257 20 245 451 449 
305.26/308.24	o 2760
305.26/308.24	v 312 242 526 527 20 240 404 241 8 239 456 239 161 168 177 229 83 86 133 278 372 256 26 25 154 208 179 268 62 254 0 1 72 246 456 312 449 249 404 254 452 244 127 264 11 240 334 243 534 213 131 235 97 96 389 239 1 203 498 245 79 198 427 224 32 253 134 246 463 206 305 190 6 270 406 243 94 246 303 241 0 265 493 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 0 227 512 515 409 294 343 255 179 174 44 239 468 240 471 255 487 236 415 250 45 205 328 206 135 137 2 4 335 241 182 231 78 243 397 236 489 299 172 206 384 375 78 239 1 3 527 201 339 340 393 244 82 211 537 533 33 207 476 471 131 216 385 238 4 216 168 288 348 278 0 279 91 250 76 77 134 247 346 256 207 311 3 258 547 271 146 245 389 257 22 245 451 449 
337.86/341.12	o 2761
337.86/341.12	v 312 242 526 527 16 240 403 241 14 239 454 239 161 168 177 229 83 86 133 278 372 256 26 25 154 208 391 268 63 254 0 1 73 246 465 312 450 249 401 254 452 244 133 264 9 240 334 243 534 213 127 235 97 96 392 239 0 203 498 245 79 198 426 224 34 253 133 246 463 213 304 190 6 270 404 243 94 246 308 205 0 265 489 250 403 222 34 39 25 285 373 372 418 239 298 295 451 201 126 131 364 253 450 174 168 161 0 227 512 515 411 294 343 255 179 174 45 239 469 240 78 255 486 236 418 250 49 205 325 206 135 137 2 4 336 241 182 231 8 243 404 236 486 299 175 206 384 375 81 239 1 3 527 201 339 340 392 244 84 211 537 533 175 207 476 471 136 216 385 238 58 216 161 288 352 278 1 279 95 250 76 77 131 247 345 256 206 311 3 258 547 271 147 245 380 257 20 245 451 449 
537.97/543.12	o 2762
537.97/543.12	v 17 215 531 274 397 222 135 259 469 228 313 214 108 234 321 221 475 215 116 286 0 279 505 501 309 222 416 252 13 211 471 447 120 204 144 234 316 209 61 226 504 211 431 241 63 213 149 227 5 246 95 214 24 27 311 231 405 216 372 231 6 5 154 124 24 211 63 89 452 206 450 204 185 189 395 217 28 215 303 248 5 212 310 216 108 229 124 215 537 241 357 228 389 394 37 32 433 211 131 223 29 121 48 207 1 207 61 266 460 223 316 119 5 215 498 497 341 209 143 212 9 243 469 217 308 254 356 275 123 195 425 220 1 213 112 203 392 202 66 229 49 231 504 511 400 251 2 230 287 222 427 205 29 235 96 244 100 180 425 205 414 282 369 252 310 225 425 226 465 207 129 217 42 228 450 199 79 208 6 226 90 220 469 224 7 208 394 258 376 224 392 239 440 203 140 244 303 199 6 220 
544.61/549.83	o 2763
544.61/549.83	v 17 215 531 274 396 222 135 259 465 228 312 214 108 234 316 221 381 215 116 286 0 279 505 501 307 222 416 252 13 211 471 447 120 204 144 234 308 209 57 226 504 211 431 241 62 213 347 227 5 246 152 214 24 27 311 231 409 216 97 231 6 5 154 124 23 211 63 89 458 206 450 204 185 189 398 217 27 215 304 248 5 212 309 216 108 229 124 215 537 241 357 228 389 394 37 32 430 211 130 223 29 121 48 207 1 207 69 266 460 223 316 119 5 215 498 497 339 209 165 212 6 243 455 217 309 254 366 275 132 195 425 220 1 213 114 203 402 202 63 229 49 231 504 511 406 251 2 230 289 222 428 205 29 235 99 244 97 180 425 205 414 282 368 252 310 225 425 226 465 207 132 217 42 228 450 199 79 208 3 226 88 220 473 224 0 208 394 258 376 224 392 239 443 203 142 244 303 199 3 220 
553.23/558.59	o 2764
553.23/558.59	v 17 215 531 274 399 222 135 259 468 228 311 214 108 234 316 221 381 215 116 286 0 279 505 271 315 222 416 252 13 211 471 447 116 204 144 234 308 209 54 226 504 211 434 241 68 213 351 227 5 246 151 214 24 27 315 231 409 216 94 231 6 5 154 124 24 211 63 89 458 206 450 204 185 189 400 217 27 215 306 248 5 212 311 216 108 229 123 215 537 241 357 228 389 394 37 32 440 211 131 223 29 121 48 207 1 207 69 266 460 223 316 119 5 215 498 497 346 209 154 212 6 243 476 217 314 254 362 275 127 195 425 220 1 213 113 203 402 202 63 229 49 231 504 511 406 251 2 230 289 222 430 205 29 235 96 244 108 180 428 205 414 282 374 252 310 225 425 226 461 207 129 217 42 228 451 199 79 208 6 226 88 220 467 224 5 208 394 258 376 224 392 239 448 203 142 244 303 199 5 220

Verifier Data (download as text)

OK	36	2764
36 unsatisfied constraints, 2764 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112414-1215867632/watcher-1112414-1215867632 -o /tmp/evaluation-result-1112414-1215867632/solver-1112414-1215867632 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112414-1215867632.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 17736
/proc/meminfo: memFree=1668232/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 43461857 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 248761778258 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/17736/statm: 1339 230 191 169 0 50 0
[pid=17737] ppid=17736 vsize=124 CPUtime=0
/proc/17737/stat : 17737 (dirname) R 17736 17736 17192 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 43461857 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 248758990162 0 0 4096 0 0 0 0 17 1 0 0
/proc/17737/statm: 31 22 16 3 0 3 0

[startup+0.0931021 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 17736
/proc/meminfo: memFree=1668232/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101471 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 17736
/proc/meminfo: memFree=1668232/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301488 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 17736
/proc/meminfo: memFree=1668232/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701525 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 17736
/proc/meminfo: memFree=1668232/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5016 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 17747
/proc/meminfo: memFree=1657016/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=844336 CPUtime=1.47
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 5568 0 1 0 143 4 0 0 18 0 9 0 43461858 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 211084 4861 1900 9 0 205645 0
[pid=17739/tid=17740] ppid=17736 vsize=844336 CPUtime=1.21
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 3429 0 1 0 119 2 0 0 25 0 9 0 43461859 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4125824936 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17741] ppid=17736 vsize=844336 CPUtime=0.07
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 877 0 0 0 7 0 0 0 16 0 9 0 43461860 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17742] ppid=17736 vsize=844336 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=844336 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43461860 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=844336 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=844336 CPUtime=0.14
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 529 0 0 0 14 0 0 0 16 0 9 0 43461862 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17746] ppid=17736 vsize=844336 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 864600064 4861 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=844336 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 864600064 4861 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) 849692

[startup+3.10274 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 17748
/proc/meminfo: memFree=1647216/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=850984 CPUtime=3.05
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 10558 0 1 0 298 7 0 0 18 0 10 0 43461858 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212746 9468 2580 9 0 207306 0
[pid=17739/tid=17740] ppid=17736 vsize=850984 CPUtime=2.17
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 3602 0 1 0 215 2 0 0 25 0 10 0 43461859 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17741] ppid=17736 vsize=850984 CPUtime=0.3
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 3966 0 0 0 28 2 0 0 16 0 10 0 43461860 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17742] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43461860 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43461860 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 43461862 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=850984 CPUtime=0.54
/proc/17739/task/17745/stat : 17745 (java) R 17736 17736 17192 0 -1 64 2253 0 0 0 53 1 0 0 16 0 10 0 43461862 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 102385980 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17746] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43461862 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43461862 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17748] ppid=17736 vsize=850984 CPUtime=0
/proc/17739/task/17748/stat : 17748 (java) S 17736 17736 17192 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 43462034 871407616 9468 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 856340

[startup+6.30205 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 17748
/proc/meminfo: memFree=1635248/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=6.22
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 19498 0 1 0 610 12 0 0 18 0 10 0 43461858 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 17128 2585 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=4.87
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4120 0 1 0 484 3 0 0 25 0 10 0 43461859 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17741/stat : 17741 (java) R 17736 17736 17192 0 -1 64 12312 0 0 0 63 6 0 0 16 0 10 0 43461860 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 103735859 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43461860 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 43461860 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 43461862 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.63
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2329 0 0 0 61 2 0 0 15 0 10 0 43461862 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43461862 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43461862 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17748] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17748/stat : 17748 (java) S 17736 17736 17192 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 43462034 871579648 17128 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 856508

[startup+12.7026 s]
/proc/loadavg: 1.93 1.98 1.99 3/91 17748
/proc/meminfo: memFree=1599856/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=12.56
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21771 0 1 0 1241 15 0 0 18 0 9 0 43461858 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19395 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=10.94
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4464 0 1 0 1089 5 0 0 25 0 9 0 43461859 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4127423344 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14224 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.68
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2345 0 0 0 66 2 0 0 16 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 856508

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/91 17748
/proc/meminfo: memFree=1599856/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=25.24
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21771 0 1 0 2509 15 0 0 18 0 9 0 43461858 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19395 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=23.62
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4464 0 1 0 2357 5 0 0 25 0 9 0 43461859 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4127318933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14224 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.68
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2345 0 0 0 66 2 0 0 16 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19395 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

################
# More data... #
################

/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3333.46
Current children cumulated vsize (KiB) 856508

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17797
/proc/meminfo: memFree=1090352/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=3393.44
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21815 0 1 0 339319 25 0 0 18 0 9 0 43461858 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19426 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=3391.8
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4477 0 1 0 339165 15 0 0 25 0 9 0 43461859 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4127318919 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14248 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3393.44
Current children cumulated vsize (KiB) 856508

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17797
/proc/meminfo: memFree=1090224/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=3453.41
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21815 0 1 0 345316 25 0 0 18 0 9 0 43461858 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19426 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=3451.78
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4477 0 1 0 345163 15 0 0 25 0 9 0 43461859 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4127352365 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14248 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3453.41
Current children cumulated vsize (KiB) 856508

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17797
/proc/meminfo: memFree=1090224/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=3513.39
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21815 0 1 0 351314 25 0 0 18 0 9 0 43461858 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19426 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=3511.75
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4477 0 1 0 351160 15 0 0 25 0 9 0 43461859 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4127352274 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14248 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3513.39
Current children cumulated vsize (KiB) 856508

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17797
/proc/meminfo: memFree=1090096/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=3573.36
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21815 0 1 0 357311 25 0 0 18 0 9 0 43461858 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19426 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=3571.73
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4477 0 1 0 357158 15 0 0 25 0 9 0 43461859 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4127422861 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14248 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3573.36
Current children cumulated vsize (KiB) 856508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17797
/proc/meminfo: memFree=1090096/2055920 swapFree=4192812/4192956
[pid=17736] ppid=17734 vsize=5356 CPUtime=0
/proc/17736/stat : 17736 (concrete.sh) S 17734 17736 17192 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43461857 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17736/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17736 vsize=851152 CPUtime=3600.06
/proc/17739/stat : 17739 (java) S 17736 17736 17192 0 -1 0 21815 0 1 0 359981 25 0 0 18 0 9 0 43461858 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17739/statm: 212788 19426 2587 9 0 207348 0
[pid=17739/tid=17740] ppid=17736 vsize=851152 CPUtime=3598.42
/proc/17739/task/17740/stat : 17740 (java) R 17736 17736 17192 0 -1 64 4477 0 1 0 359827 15 0 0 25 0 9 0 43461859 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4127422957 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17741] ppid=17736 vsize=851152 CPUtime=0.92
/proc/17739/task/17741/stat : 17741 (java) S 17736 17736 17192 0 -1 64 14248 0 0 0 85 7 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17742] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17742/stat : 17742 (java) S 17736 17736 17192 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17743] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17743/stat : 17743 (java) S 17736 17736 17192 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43461860 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17744] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17744/stat : 17744 (java) S 17736 17736 17192 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17745] ppid=17736 vsize=851152 CPUtime=0.69
/proc/17739/task/17745/stat : 17745 (java) S 17736 17736 17192 0 -1 64 2352 0 0 0 67 2 0 0 16 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17739/tid=17746] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17746/stat : 17746 (java) S 17736 17736 17192 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17739/tid=17747] ppid=17736 vsize=851152 CPUtime=0
/proc/17739/task/17747/stat : 17747 (java) S 17736 17736 17192 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43461862 871579648 19426 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 856508

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17736 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 3600.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3609.03
CPU time (s): 3600.06
CPU user time (s): 3599.81
CPU system time (s): 0.25
CPU usage (%): 99.7515
Max. virtual memory (cumulated for all children) (KiB): 859076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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.07123 second user time and 11.3833 second system time

The end

Launcher Data (download as text)

Begin job on node55 at 2008-07-12 15:00:32
IDJOB=1112414
IDBENCH=61414
IDSOLVER=336
FILE ID=node55/1112414-1215867632
PBS_JOBID= 7903479
Free space on /tmp= 66424 MiB

SOLVER NAME= Concrete + CSP4J - Tabu 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 -max -s Tabu BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112414-1215867632/watcher-1112414-1215867632 -o /tmp/evaluation-result-1112414-1215867632/solver-1112414-1215867632 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112414-1215867632.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9306ef7954ddac95b00e0f57746494c3
RANDOM SEED=687296452

node55.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.225
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.225
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:       1668712 kB
Buffers:         26344 kB
Cached:          62940 kB
SwapCached:          0 kB
Active:         294360 kB
Inactive:        42120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1668712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1104 kB
Writeback:           0 kB
Mapped:         267416 kB
Slab:            35384 kB
Committed_AS:   606260 kB
PageTables:       2304 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= 66428 MiB
End job on node55 at 2008-07-12 16:00:43