Trace number 1113882

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)9 3600.01 3609.62

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-95-1.xml
MD5SUMc4bee948f28d4254d98dcb202c49f529
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark210.432
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size558
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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)

1.57/1.61	c CPU-LOAD 0.79
1.57/1.61	c LOADED 100 V (558 E), 900 DTPConstraint, arity 2, 0.79 cpu
1.97/2.02	s SATISFIABLE
1.97/2.02	o 866
1.97/2.02	v 242 458 194 3 140 474 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 368 50 119 50 286 17 490 22 155 411 272 323 249 527 264 0 96 417 244 329 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 341 0 472 372 466 160 279 79 49 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.03	o 867
1.97/2.03	v 242 458 194 3 140 474 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 368 50 119 50 286 17 490 22 155 411 272 323 249 527 264 0 96 417 244 329 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 341 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.03	o 868
1.97/2.03	v 242 458 194 3 140 474 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 368 50 119 50 286 17 490 22 155 411 272 323 249 130 264 0 96 417 244 329 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 341 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.03	o 869
1.97/2.03	v 242 458 194 3 140 474 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 368 50 119 50 286 17 490 22 155 411 272 323 249 130 264 0 96 436 244 329 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 341 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.04	o 870
1.97/2.04	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 368 45 119 50 362 17 490 22 155 411 272 323 249 130 264 0 96 436 244 346 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 289 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.04	o 871
1.97/2.04	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 1 45 119 50 362 17 490 22 155 411 272 323 249 130 264 0 96 436 244 346 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 289 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.04	o 872
1.97/2.04	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 1 45 119 50 362 17 490 22 155 401 272 323 249 130 264 0 96 436 244 346 369 124 214 262 270 183 47 481 385 106 290 505 39 221 339 9 357 142 11 442 548 283 192 493 348 190 289 0 472 372 466 160 279 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 230 11 192 414 474 47 334 
1.97/2.05	o 873
1.97/2.05	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 1 47 119 50 362 17 490 22 155 401 272 323 249 130 264 0 96 436 244 346 369 124 124 262 284 183 47 496 385 106 290 505 39 221 339 9 347 142 11 442 548 283 192 493 348 190 289 0 198 372 466 160 372 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 231 11 192 414 474 47 334 
1.97/2.05	o 874
1.97/2.05	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 1 476 119 50 362 17 490 22 155 401 272 323 249 130 264 0 96 436 244 346 369 124 124 262 284 183 47 496 385 106 290 505 39 221 339 9 347 142 11 442 548 283 192 493 348 190 289 45 198 372 466 160 372 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 231 11 192 414 474 47 334 
1.97/2.06	o 875
1.97/2.06	v 242 458 194 3 140 476 23 419 366 269 177 76 403 14 277 150 126 185 117 451 262 171 338 528 430 1 476 119 50 362 17 490 22 155 401 282 323 249 130 264 0 96 436 244 346 369 124 124 262 284 183 47 490 385 106 290 505 39 221 339 9 347 142 11 442 548 283 192 493 189 190 289 45 198 372 466 160 372 79 130 400 188 111 436 453 342 499 154 23 255 100 173 150 255 11 192 414 474 47 352 
1.97/2.07	o 876
1.97/2.07	v 242 458 194 3 140 477 23 419 366 258 177 368 403 14 277 150 126 185 117 483 262 171 338 528 430 1 476 119 50 362 17 490 22 155 401 282 290 249 130 264 0 96 436 244 346 369 124 121 262 284 183 47 490 385 106 290 505 39 221 339 9 347 142 11 442 548 283 194 493 189 190 289 45 198 372 466 160 372 79 130 400 188 111 436 453 340 499 154 23 255 100 173 150 255 11 192 414 474 47 352 
1.97/2.07	o 877
1.97/2.07	v 242 458 194 3 140 477 23 419 366 258 177 368 403 14 277 150 126 185 117 483 262 171 338 87 430 1 476 119 45 362 17 490 22 155 401 282 290 249 130 264 0 96 436 244 346 369 124 121 262 284 183 47 490 385 106 290 505 39 221 339 9 347 142 11 442 548 283 194 493 189 190 289 45 198 372 466 160 372 79 130 400 188 111 436 453 340 499 154 23 255 100 173 150 255 11 192 414 474 47 352 
1.97/2.09	o 878
1.97/2.09	v 242 458 194 3 140 477 23 419 366 238 177 368 403 14 277 150 126 185 117 488 262 171 338 87 430 1 476 119 45 362 17 490 25 155 383 282 290 249 130 264 0 96 436 244 260 369 124 120 488 284 183 47 490 385 106 290 505 39 221 339 9 347 142 8 442 548 283 195 493 189 190 289 45 198 372 466 160 280 79 130 400 188 111 436 453 274 499 154 23 255 100 173 150 255 11 192 414 478 47 352 
1.97/2.10	o 879
1.97/2.10	v 242 458 194 3 140 477 23 419 366 238 157 368 403 14 280 150 126 185 117 457 264 171 338 87 430 1 476 119 45 362 17 490 25 155 383 282 290 249 130 264 0 96 445 244 260 369 124 360 488 284 183 109 490 385 106 290 55 39 221 339 9 347 142 8 442 548 283 195 493 189 471 289 45 198 372 468 160 280 79 130 400 188 111 436 453 274 499 337 23 255 100 173 150 255 11 192 414 478 47 352 
2.09/2.11	o 880
2.09/2.11	v 242 458 194 3 140 477 23 419 366 238 157 368 403 14 280 150 126 185 117 490 264 171 547 87 430 1 476 119 45 362 17 490 25 155 383 282 290 249 130 264 0 96 448 244 260 369 124 340 488 284 183 109 490 385 106 290 55 39 221 339 2 347 142 8 442 548 283 195 493 189 471 289 45 198 372 468 160 280 79 130 400 188 111 436 453 274 499 337 23 255 100 173 150 255 11 192 414 478 47 352 
2.09/2.18	o 881
2.09/2.18	v 235 462 194 3 132 46 23 419 356 233 162 368 403 20 276 150 126 183 117 495 264 171 547 87 430 1 476 119 45 362 17 490 24 155 415 282 290 249 130 264 5 96 449 244 260 369 123 340 486 284 183 502 0 385 106 290 55 39 229 339 7 347 142 24 442 548 283 190 493 185 184 289 45 198 449 464 160 358 79 130 400 188 111 436 453 274 499 337 23 255 100 173 150 249 11 192 414 484 47 352 
2.38/2.42	o 882
2.38/2.42	v 459 457 194 3 44 94 23 419 356 236 154 368 403 11 276 150 126 23 117 476 264 171 547 87 430 1 476 119 45 362 17 490 25 155 413 284 294 249 130 264 0 96 460 244 260 369 174 340 481 284 183 488 2 385 106 290 44 39 226 339 15 341 142 2 442 548 283 290 493 188 192 289 45 201 454 449 160 362 79 130 400 188 111 436 453 274 499 337 25 255 100 173 150 251 11 196 414 475 47 352 
3.28/3.37	o 883
3.28/3.37	v 461 457 194 3 50 97 0 419 356 231 164 368 404 24 474 150 126 187 117 293 264 171 547 87 430 1 476 119 45 362 17 490 21 155 391 285 296 249 130 264 1 96 444 244 260 369 174 340 488 284 183 484 2 388 106 290 48 39 223 339 17 354 142 193 442 548 283 301 493 21 197 7 93 371 456 456 160 284 79 130 400 188 111 436 453 273 499 337 24 255 100 173 150 252 11 195 421 476 46 352 
3.58/3.66	o 884
3.58/3.66	v 252 460 194 349 50 95 0 419 367 250 161 368 404 28 474 150 126 198 117 293 264 171 547 87 430 1 476 119 45 362 17 490 21 155 391 292 294 249 130 264 4 96 467 244 260 369 174 129 494 284 183 507 1 394 106 290 53 39 229 339 18 354 142 192 442 548 283 299 493 34 195 0 93 371 453 460 160 283 79 130 400 188 111 436 453 273 499 337 7 255 100 173 150 252 11 193 421 476 46 352 
4.18/4.23	o 885
4.18/4.23	v 460 461 184 349 50 95 0 419 367 243 156 368 394 27 469 150 126 8 117 293 264 171 547 87 430 1 476 119 45 362 17 490 22 155 391 293 291 249 130 264 1 96 404 244 260 344 174 129 492 284 183 499 421 391 100 290 45 39 226 339 2 356 156 28 442 548 283 299 493 188 183 4 93 195 457 365 160 278 79 130 147 188 111 436 453 273 499 337 28 255 100 173 150 263 11 207 421 476 46 359 
6.38/6.49	o 886
6.38/6.49	v 463 459 383 353 50 93 0 419 187 242 164 368 394 161 477 150 126 6 117 278 264 171 547 87 430 1 476 119 45 362 17 490 21 155 387 282 297 249 130 264 3 96 402 244 260 344 174 129 494 284 183 514 477 381 103 290 46 39 224 339 96 362 15 1 442 548 283 297 493 184 191 1 93 192 369 467 160 278 79 130 147 188 111 436 453 264 499 337 0 367 100 173 150 226 11 499 421 480 46 318 
17.27/17.35	o 887
17.27/17.35	v 454 459 383 353 50 93 0 419 174 240 2 368 403 156 470 150 126 184 117 278 264 171 547 87 430 1 476 119 45 362 17 490 24 155 384 285 291 249 130 264 1 96 402 244 260 344 170 129 492 284 183 241 477 381 104 290 46 11 32 339 83 366 6 193 442 548 283 291 493 35 183 4 93 475 375 271 160 383 79 130 147 188 111 436 453 264 499 337 16 367 100 173 150 224 11 493 421 485 46 318 
540.43/540.76	o 888
540.43/540.76	v 194 456 419 289 327 116 368 86 4 319 197 171 312 469 90 296 449 0 362 372 196 470 138 389 330 424 79 20 149 279 322 345 205 13 15 102 428 0 530 339 437 304 67 356 230 488 0 256 156 376 435 359 321 4 479 195 102 422 241 162 116 481 390 440 208 420 382 303 435 19 234 0 169 77 69 348 322 472 456 223 5 219 112 461 434 28 291 397 474 275 368 1 204 20 466 502 406 118 218 264 
541.73/542.05	o 889
541.73/542.05	v 194 461 419 289 332 117 368 86 8 315 197 171 312 469 90 296 449 0 362 372 176 470 249 389 330 424 84 20 137 275 322 345 197 17 13 102 428 0 530 339 436 304 67 356 230 498 0 258 156 376 435 359 321 4 474 195 102 422 241 162 0 482 390 212 205 420 382 303 435 96 234 2 169 73 70 348 322 472 456 223 5 212 112 461 434 28 291 397 474 275 368 1 204 20 466 502 406 125 218 264 
2754.10/2755.67	o 890
2754.10/2755.67	v 422 193 319 294 522 116 61 13 371 422 203 323 1 113 474 97 78 202 52 393 479 122 52 9 64 429 367 318 275 220 165 461 194 91 308 209 386 520 24 46 67 175 200 52 13 294 292 527 390 465 105 57 431 313 143 0 468 295 234 520 463 198 282 368 161 328 314 5 548 62 89 311 526 91 215 0 176 387 512 203 182 91 524 38 74 213 448 3 318 274 162 296 534 315 198 460 405 66 222 1 
3046.91/3051.28	o 891
3046.91/3051.28	v 186 192 137 104 295 432 509 67 2 333 98 417 471 447 231 388 197 3 212 314 486 256 343 352 210 80 432 123 393 0 348 272 173 7 356 77 469 544 444 541 301 286 198 544 474 135 2 511 70 402 307 511 204 349 123 459 10 345 244 86 222 106 182 312 523 58 401 4 219 417 1 391 87 1 298 471 248 123 227 285 450 471 355 73 533 381 0 76 127 337 411 537 189 9 494 121 356 207 444 295

Verifier Data (download as text)

OK	9	891
9 unsatisfied constraints, 891 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-1113882-1215893036/watcher-1113882-1215893036 -o /tmp/evaluation-result-1113882-1215893036/solver-1113882-1215893036 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1113882-1215893036.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: 2.02 2.02 2.16 4/81 19498
/proc/meminfo: memFree=1909040/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) R 19496 19498 18592 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 46006828 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19498/statm: 1339 230 191 169 0 50 0
[pid=19499] ppid=19498 vsize=5356 CPUtime=0
/proc/19499/stat : 19499 (concrete.sh) R 19498 19498 18592 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 46006828 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19499/statm: 1339 230 191 169 0 50 0

[startup+0.09183 s]
/proc/loadavg: 2.02 2.02 2.16 4/81 19498
/proc/meminfo: memFree=1909040/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101832 s]
/proc/loadavg: 2.02 2.02 2.16 4/81 19498
/proc/meminfo: memFree=1909040/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301864 s]
/proc/loadavg: 2.02 2.02 2.16 4/81 19498
/proc/meminfo: memFree=1909040/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701938 s]
/proc/loadavg: 2.02 2.02 2.16 4/81 19498
/proc/meminfo: memFree=1909040/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50209 s]
/proc/loadavg: 2.02 2.02 2.16 4/92 19510
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=1.48
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 9366 0 1 0 142 6 0 0 18 0 10 0 46006829 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 8489 2576 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=0.84
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3480 0 1 0 82 2 0 0 25 0 10 0 46006830 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.19
/proc/19501/task/19503/stat : 19503 (java) R 19498 19498 18592 0 -1 64 4051 0 0 0 18 1 0 0 15 0 10 0 46006831 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 102477925 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 46006831 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 46006831 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 46006833 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.4
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1098 0 0 0 40 0 0 0 15 0 10 0 46006833 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 46006834 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 46006834 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19510] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19510/stat : 19510 (java) S 19498 19498 18592 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 46006895 867352576 8489 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 852380

[startup+3.10138 s]
/proc/loadavg: 2.02 2.02 2.16 3/91 19510
/proc/meminfo: memFree=1878872/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3.08
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10860 0 1 0 301 7 0 0 18 0 9 0 46006829 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9973 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=2.28
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3609 0 1 0 225 3 0 0 25 0 9 0 46006830 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4126902467 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5388 0 0 0 31 2 0 0 17 0 9 0 46006831 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.44
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1125 0 0 0 44 0 0 0 16 0 9 0 46006833 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9973 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 852380

[startup+6.30298 s]
/proc/loadavg: 2.02 2.02 2.16 3/91 19510
/proc/meminfo: memFree=1878616/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=6.28
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10862 0 1 0 621 7 0 0 18 0 9 0 46006829 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9974 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=5.48
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3609 0 1 0 545 3 0 0 25 0 9 0 46006830 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4126849486 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5388 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.44
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1127 0 0 0 44 0 0 0 16 0 9 0 46006833 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 852380

[startup+12.7012 s]
/proc/loadavg: 2.01 2.02 2.16 3/91 19510
/proc/meminfo: memFree=1878424/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=12.67
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10864 0 1 0 1260 7 0 0 18 0 9 0 46006829 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9975 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=11.87
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3610 0 1 0 1184 3 0 0 25 0 9 0 46006830 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4126902832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5388 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.44
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1128 0 0 0 44 0 0 0 16 0 9 0 46006833 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 852380

[startup+25.5025 s]
/proc/loadavg: 2.01 2.02 2.15 3/91 19510
/proc/meminfo: memFree=1878360/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=25.47
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10864 0 1 0 2540 7 0 0 18 0 9 0 46006829 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9975 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=24.66
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3610 0 1 0 2463 3 0 0 25 0 9 0 46006830 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4126902668 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5388 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.44
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1128 0 0 0 44 0 0 0 16 0 9 0 46006833 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9975 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 852380

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

/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3335.25
Current children cumulated vsize (KiB) 852380

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19553
/proc/meminfo: memFree=1689368/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3394.68
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10894 0 1 0 339456 12 0 0 18 0 9 0 46006829 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9992 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=3393.87
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3623 0 1 0 339378 9 0 0 25 0 9 0 46006830 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4126849503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5400 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.45
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3394.68
Current children cumulated vsize (KiB) 852380

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19559
/proc/meminfo: memFree=1689176/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3454.1
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10894 0 1 0 345397 13 0 0 18 0 9 0 46006829 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9992 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=3453.29
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3623 0 1 0 345320 9 0 0 25 0 9 0 46006830 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4126907975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5400 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.45
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3454.1
Current children cumulated vsize (KiB) 852380

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19559
/proc/meminfo: memFree=1689112/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3513.53
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10894 0 1 0 351340 13 0 0 18 0 9 0 46006829 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9992 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=3512.71
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3623 0 1 0 351262 9 0 0 25 0 9 0 46006830 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4126870032 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5400 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.45
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3513.53
Current children cumulated vsize (KiB) 852380

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19559
/proc/meminfo: memFree=1689112/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3572.97
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10894 0 1 0 357284 13 0 0 18 0 9 0 46006829 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9992 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=3572.15
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3623 0 1 0 357206 9 0 0 25 0 9 0 46006830 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4126907760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5400 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.45
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3572.97
Current children cumulated vsize (KiB) 852380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19559
/proc/meminfo: memFree=1689112/2055920 swapFree=4192812/4192956
[pid=19498] ppid=19496 vsize=5356 CPUtime=0
/proc/19498/stat : 19498 (concrete.sh) S 19496 19498 18592 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46006828 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19498/statm: 1339 242 201 169 0 50 0
[pid=19501] ppid=19498 vsize=847024 CPUtime=3600.01
/proc/19501/stat : 19501 (java) S 19498 19498 18592 0 -1 0 10894 0 1 0 359988 13 0 0 18 0 9 0 46006829 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19501/statm: 211756 9992 2578 9 0 206316 0
[pid=19501/tid=19502] ppid=19498 vsize=847024 CPUtime=3599.19
/proc/19501/task/19502/stat : 19502 (java) R 19498 19498 18592 0 -1 64 3623 0 1 0 359910 9 0 0 25 0 9 0 46006830 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4126855747 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19503] ppid=19498 vsize=847024 CPUtime=0.33
/proc/19501/task/19503/stat : 19503 (java) S 19498 19498 18592 0 -1 64 5400 0 0 0 31 2 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19504] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19504/stat : 19504 (java) S 19498 19498 18592 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19505] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19505/stat : 19505 (java) S 19498 19498 18592 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46006831 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19506] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19506/stat : 19506 (java) S 19498 19498 18592 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19507] ppid=19498 vsize=847024 CPUtime=0.45
/proc/19501/task/19507/stat : 19507 (java) S 19498 19498 18592 0 -1 64 1133 0 0 0 45 0 0 0 16 0 9 0 46006833 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19501/tid=19508] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19508/stat : 19508 (java) S 19498 19498 18592 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19501/tid=19509] ppid=19498 vsize=847024 CPUtime=0
/proc/19501/task/19509/stat : 19509 (java) S 19498 19498 18592 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46006834 867352576 9992 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 852380

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 19498 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3609.62
CPU time (s): 3600.01
CPU user time (s): 3599.88
CPU system time (s): 0.13
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 852380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.001999
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= 13
involuntary context switches= 4

runsolver used 4.19336 second user time and 12.2261 second system time

The end

Launcher Data (download as text)

Begin job on node7 at 2008-07-12 22:03:56
IDJOB=1113882
IDBENCH=61657
IDSOLVER=336
FILE ID=node7/1113882-1215893036
PBS_JOBID= 7903623
Free space on /tmp= 66524 MiB

SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/os-taillard-10/normalized-os-taillard-10-95-1.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-1113882-1215893036/watcher-1113882-1215893036 -o /tmp/evaluation-result-1113882-1215893036/solver-1113882-1215893036 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1113882-1215893036.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c4bee948f28d4254d98dcb202c49f529
RANDOM SEED=551665663

node7.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.259
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.259
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:       1909520 kB
Buffers:          9580 kB
Cached:          43256 kB
SwapCached:          0 kB
Active:          81248 kB
Inactive:        14920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             936 kB
Writeback:           0 kB
Mapped:          63532 kB
Slab:            35080 kB
Committed_AS:   339596 kB
PageTables:       2128 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= 66520 MiB
End job on node7 at 2008-07-12 23:04:08