Trace number 1113876

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)11 3600.08 3606.82

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-95-8.xml
MD5SUM508e40f01241f86cee2b8848995da857
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints3
Best CPU time to get the best result obtained on this benchmark167.157
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size565
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.66	c CPU-LOAD 0.81
1.57/1.66	c LOADED 100 V (565 E), 900 DTPConstraint, arity 2, 0.81 cpu
1.97/2.09	s SATISFIABLE
1.97/2.09	o 863
1.97/2.09	v 318 268 468 501 118 370 193 517 5 120 197 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 157 332 69 13 460 256 518 252 97 406 301 166 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 369 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 28 374 146 199 358 135 434 
1.97/2.10	o 864
1.97/2.10	v 318 268 468 501 118 370 193 517 5 120 197 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 157 332 40 13 460 256 518 252 97 406 301 166 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 369 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 28 374 146 199 358 135 434 
1.97/2.10	o 865
1.97/2.10	v 318 268 468 501 118 370 193 517 5 120 197 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 157 332 40 13 460 256 518 252 97 406 301 110 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 369 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 28 374 146 199 358 135 434 
1.97/2.10	o 866
1.97/2.10	v 318 268 468 501 118 370 193 517 5 120 197 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 157 332 40 13 460 256 518 252 97 406 301 110 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 256 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 28 374 146 199 358 135 434 
2.08/2.11	o 867
2.08/2.11	v 318 268 468 501 118 370 193 517 5 120 197 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 365 332 40 13 460 256 518 159 97 406 301 110 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 256 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 21 374 146 199 358 135 434 
2.08/2.11	o 868
2.08/2.11	v 318 268 468 501 118 370 193 517 5 120 476 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 365 332 40 13 460 256 518 159 97 406 301 110 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 256 153 101 13 7 237 476 169 133 357 338 236 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 175 292 21 374 146 199 358 135 434 
2.08/2.11	o 869
2.08/2.11	v 318 268 468 501 118 370 193 517 5 120 476 358 155 542 269 88 470 230 382 30 146 487 543 367 46 400 77 273 176 269 365 332 40 13 460 256 518 159 97 406 301 110 465 393 18 553 335 4 514 205 367 3 244 43 490 531 356 213 275 129 448 483 496 342 256 153 101 13 0 237 476 169 133 357 338 267 445 1 18 496 364 346 4 54 170 476 240 45 421 15 492 154 292 21 374 146 236 358 135 434 
2.08/2.16	o 870
2.08/2.16	v 318 268 468 40 373 368 193 517 5 120 469 358 155 542 269 88 467 230 382 33 60 487 543 367 20 398 103 258 176 269 365 332 40 13 461 256 518 159 97 406 301 110 465 398 15 553 335 4 157 205 367 3 244 43 490 530 354 213 275 130 448 483 496 342 256 154 101 13 6 234 476 169 138 357 338 277 445 1 18 481 451 346 4 69 170 476 240 45 373 15 492 154 292 21 374 146 236 358 135 434 
2.08/2.18	o 871
2.08/2.18	v 318 268 468 40 373 364 193 517 5 120 469 358 155 542 263 88 467 230 382 20 60 487 543 367 8 400 103 258 176 271 365 332 40 13 461 256 518 159 97 399 301 110 465 407 15 553 335 4 169 205 367 3 244 43 490 530 354 221 265 130 448 483 496 334 256 154 101 361 6 234 75 169 138 355 338 277 445 1 18 481 451 346 4 69 170 476 240 245 373 15 492 154 292 5 374 146 236 358 135 434 
2.18/2.22	o 872
2.18/2.22	v 318 268 468 40 358 364 193 517 10 138 541 358 155 50 270 88 467 230 382 376 56 487 543 367 8 404 103 263 176 268 364 332 40 13 461 256 518 159 97 404 301 110 127 370 19 553 335 4 492 205 389 3 244 56 490 530 355 221 265 130 448 483 496 348 256 145 101 361 6 234 75 169 138 355 338 277 445 1 20 461 451 346 4 69 170 476 252 240 373 15 492 154 292 23 384 146 236 358 135 434 
2.18/2.24	o 873
2.18/2.24	v 318 268 468 37 487 355 193 526 10 138 541 358 155 5 270 88 467 230 382 24 56 487 543 367 26 404 103 263 176 279 364 332 40 13 461 256 518 159 97 404 301 110 127 430 19 553 335 4 492 205 389 3 244 50 490 530 355 221 265 130 448 483 496 348 256 145 101 361 6 234 75 169 138 355 338 277 445 1 20 461 451 346 4 69 170 476 252 150 373 15 492 154 292 23 387 146 236 358 135 434 
2.18/2.24	o 874
2.18/2.24	v 318 268 468 37 487 355 193 526 32 138 541 358 155 5 270 88 467 230 382 24 56 487 543 367 26 404 103 263 176 279 364 332 40 13 461 256 518 159 97 404 301 110 127 430 19 553 335 4 492 205 389 3 244 51 490 530 355 221 265 130 448 483 496 362 256 145 101 361 6 234 75 169 138 355 338 277 445 1 20 461 451 346 4 69 170 476 252 253 373 15 492 154 292 23 387 146 236 358 135 324 
2.18/2.26	o 875
2.18/2.26	v 318 268 468 39 487 334 193 526 32 138 541 358 155 5 270 88 467 230 382 24 56 487 543 367 26 428 103 272 176 279 364 332 33 13 461 256 518 159 97 404 301 110 127 430 19 553 335 4 492 205 389 3 231 51 490 530 355 200 271 130 448 483 496 362 255 174 101 361 6 259 75 169 138 355 338 277 445 1 20 461 451 346 4 69 170 476 252 141 373 15 492 154 292 23 387 146 236 358 135 324 
2.18/2.30	o 876
2.18/2.30	v 318 263 468 39 487 334 193 527 350 138 541 358 155 5 270 88 467 230 382 24 56 487 543 367 26 428 413 260 176 259 367 332 33 13 463 256 518 159 97 404 301 110 127 363 19 553 335 4 492 205 122 3 230 54 490 530 355 429 272 130 448 483 496 357 255 174 101 360 6 259 75 169 131 359 338 251 445 1 20 497 464 346 4 57 169 484 252 232 373 15 492 154 292 20 387 146 236 358 135 324 
2.28/2.37	o 877
2.28/2.37	v 318 278 468 39 491 334 193 527 14 138 541 358 155 5 265 88 467 230 382 26 72 487 543 367 26 428 415 272 176 284 366 332 33 13 460 256 518 159 97 404 301 110 127 363 19 553 335 4 492 198 129 3 233 53 490 530 355 429 270 123 448 483 496 357 255 174 101 359 6 256 67 169 137 361 338 239 445 1 15 489 369 346 4 41 138 477 252 244 96 15 492 154 292 6 380 146 236 358 135 324 
2.77/2.80	o 878
2.77/2.80	v 318 427 468 43 488 335 193 259 341 138 541 358 155 5 262 88 469 230 389 30 76 487 543 499 26 428 419 276 176 267 357 456 38 13 367 256 518 158 97 301 301 110 127 363 19 553 335 4 492 210 134 3 236 49 473 530 342 429 264 127 448 483 496 353 250 175 101 324 6 145 72 171 126 353 338 260 445 1 20 476 361 346 4 41 274 477 355 144 96 15 492 154 292 6 386 146 236 358 135 324 
2.77/2.80	o 879
2.77/2.80	v 318 427 468 43 488 335 193 259 341 138 541 358 155 5 262 88 469 230 389 30 76 487 3 535 26 428 419 276 176 267 355 456 38 13 367 256 518 158 97 301 301 110 127 363 19 553 335 4 492 210 127 3 236 49 473 530 342 429 264 127 448 483 496 353 250 175 101 324 6 145 72 171 126 353 338 260 445 1 20 476 361 346 4 41 274 477 355 144 96 15 492 154 292 6 386 146 236 358 135 324 
2.77/2.81	o 880
2.77/2.81	v 318 427 468 43 488 14 193 259 341 138 541 358 155 5 262 88 469 230 389 30 55 487 3 535 26 359 419 276 176 262 355 456 38 13 367 256 518 158 97 301 301 110 127 363 415 553 335 4 492 210 127 3 236 53 473 530 342 429 268 127 448 483 496 353 250 175 101 338 6 145 72 171 126 353 338 260 445 1 20 476 361 346 4 41 252 477 362 144 96 15 492 154 292 6 386 146 236 358 135 324 
3.37/3.47	o 881
3.37/3.47	v 318 421 468 49 488 37 193 259 346 138 541 358 155 5 265 88 469 230 389 30 69 487 3 535 26 359 419 267 176 263 356 456 38 13 373 256 518 176 97 301 301 110 127 363 415 553 335 4 492 210 41 3 258 462 232 530 356 429 274 140 448 483 496 361 250 171 101 327 6 150 57 163 137 365 338 261 445 1 17 476 358 346 4 41 260 477 359 156 96 15 492 154 292 1 378 146 236 358 135 324 
7.58/7.70	o 882
7.58/7.70	v 318 0 468 492 484 40 191 259 342 138 541 252 156 5 260 88 473 355 389 31 69 487 3 535 26 359 419 262 176 268 359 456 38 13 376 256 518 178 97 301 301 110 127 363 415 553 335 4 492 210 40 3 254 457 232 530 354 429 272 140 448 483 496 361 250 172 101 326 9 152 63 218 123 363 338 271 445 1 19 476 364 346 4 41 264 477 367 143 96 15 493 154 292 4 388 146 236 358 135 324 
7.68/7.71	o 883
7.68/7.71	v 318 175 244 421 484 40 178 259 342 138 541 252 156 5 260 88 473 355 389 31 69 487 3 535 26 359 419 262 176 268 359 456 38 13 376 256 518 158 97 301 301 110 127 363 415 553 335 4 492 210 40 3 254 457 232 530 354 429 272 140 448 483 496 361 250 172 101 353 9 152 63 218 123 363 338 271 445 1 19 476 356 346 4 41 264 477 367 143 96 15 493 154 292 4 388 146 236 358 135 324 
115.23/115.39	o 884
115.23/115.39	v 36 524 181 52 437 336 195 0 258 138 469 558 245 539 149 0 330 489 64 407 465 143 229 195 107 3 393 254 311 59 365 513 7 538 355 258 458 167 293 86 441 549 183 2 247 139 101 462 147 353 117 242 360 496 219 458 356 1 40 280 459 549 512 107 394 24 38 194 196 295 140 216 349 35 10 283 197 460 479 472 14 454 337 492 217 482 356 61 177 293 463 248 200 259 357 179 74 233 152 0 
116.93/117.09	o 885
116.93/117.09	v 36 524 181 52 437 343 195 0 264 138 469 558 245 539 151 0 330 489 64 398 462 143 229 195 98 3 389 253 311 62 382 513 1 538 309 258 458 173 58 119 441 549 183 2 247 139 101 462 147 353 117 242 359 492 219 458 353 1 39 282 459 549 512 107 394 24 50 196 205 290 135 297 349 34 10 226 197 460 478 473 2 454 337 491 217 482 356 62 177 293 463 248 201 460 350 179 74 233 152 0 
117.54/117.67	o 886
117.54/117.67	v 36 524 181 52 437 348 195 0 268 138 469 558 245 539 145 0 330 489 64 403 461 150 229 195 164 8 390 251 311 61 382 513 1 538 316 258 458 173 59 119 441 344 183 2 247 139 101 462 147 355 119 242 356 495 219 458 493 1 30 282 459 549 512 107 394 24 58 195 197 288 296 297 362 35 10 119 197 460 481 230 65 454 337 504 225 2 356 60 177 293 463 248 28 462 350 179 74 233 152 0 
117.64/117.78	o 887
117.64/117.78	v 36 524 181 52 437 348 195 0 268 138 469 558 245 539 145 0 327 489 64 398 461 0 229 195 155 8 390 251 311 61 382 513 1 538 316 258 458 173 58 119 441 344 183 2 247 479 101 462 147 356 115 242 354 35 219 458 493 1 122 282 459 549 512 107 394 25 35 196 195 288 218 297 362 31 10 117 197 460 481 374 64 454 337 504 225 4 356 62 177 293 462 248 28 459 350 179 74 233 152 0 
121.23/121.32	o 888
121.23/121.32	v 36 524 181 52 437 344 195 0 268 138 469 558 245 539 145 0 321 489 64 409 462 2 229 195 155 8 393 254 311 61 382 513 1 538 311 258 458 173 58 119 437 344 183 2 247 479 101 462 147 355 118 242 360 32 219 458 493 1 119 283 459 549 512 100 388 25 43 196 193 290 3 306 358 123 286 57 197 460 481 219 59 454 337 504 226 0 356 59 177 293 459 248 198 468 358 179 74 233 152 0 
1369.18/1369.77	o 889
1369.18/1369.77	v 393 103 552 40 153 438 331 0 235 403 534 557 75 275 444 383 0 151 303 184 130 59 538 479 244 7 103 341 395 280 176 358 30 7 453 90 150 273 385 511 272 425 91 343 192 185 307 402 140 483 393 265 68 492 241 0 92 38 302 166 407 371 374 2 182 108 429 0 473 243 98 2 309 414 76 493 60 555 155 240 384 373 272 20 172 169 279 78 507 246 397 470 326 88 195 373 4 384 62 292

Verifier Data (download as text)

OK	11	889
11 unsatisfied constraints, 889 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-1113876-1215892945/watcher-1113876-1215892945 -o /tmp/evaluation-result-1113876-1215892945/solver-1113876-1215892945 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1113876-1215892945.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 2.13 4/74 19961
/proc/meminfo: memFree=1864312/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5256 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) R 19959 19961 18763 0 -1 4194304 59 0 0 0 0 0 0 0 20 0 1 0 45996227 5382144 44 996147200 4194304 4889804 548682068752 18446744073709551615 264904926324 0 0 4096 0 0 0 0 17 1 0 0
/proc/19961/statm: 1314 44 33 169 0 13 0

[startup+0.050137 s]
/proc/loadavg: 1.92 1.98 2.13 4/74 19961
/proc/meminfo: memFree=1864312/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102384 s]
/proc/loadavg: 1.92 1.98 2.13 4/74 19961
/proc/meminfo: memFree=1864312/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301397 s]
/proc/loadavg: 1.92 1.98 2.13 4/74 19961
/proc/meminfo: memFree=1864312/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701424 s]
/proc/loadavg: 1.92 1.98 2.13 4/74 19961
/proc/meminfo: memFree=1864312/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50248 s]
/proc/loadavg: 1.92 1.98 2.13 3/85 19973
/proc/meminfo: memFree=1846048/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=1.48
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 8349 0 1 0 141 7 0 0 18 0 10 0 45996229 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 7476 2576 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=0.85
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3477 0 1 0 83 2 0 0 25 0 10 0 45996230 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.2
/proc/19964/task/19966/stat : 19966 (java) R 19961 19961 18763 0 -1 64 3041 0 0 0 18 2 0 0 15 0 10 0 45996231 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 45996231 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 45996231 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 45996233 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.39
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1096 0 0 0 38 1 0 0 15 0 10 0 45996233 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 45996233 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 45996233 867352576 7476 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19973] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19973/stat : 19973 (java) S 19961 19961 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 45996297 867352576 7476 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.10158 s]
/proc/loadavg: 1.92 1.98 2.13 4/84 19973
/proc/meminfo: memFree=1834016/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3.07
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10867 0 1 0 298 9 0 0 18 0 9 0 45996229 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9979 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=2.24
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3610 0 1 0 221 3 0 0 25 0 9 0 45996230 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4126907792 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.36
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5395 0 0 0 33 3 0 0 17 0 9 0 45996231 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.44
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1126 0 0 0 43 1 0 0 16 0 9 0 45996233 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9979 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 852380

[startup+6.30278 s]
/proc/loadavg: 1.93 1.98 2.13 3/84 19973
/proc/meminfo: memFree=1833824/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=6.27
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10868 0 1 0 618 9 0 0 18 0 9 0 45996229 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9980 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=5.44
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3610 0 1 0 541 3 0 0 25 0 9 0 45996230 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4126902443 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.36
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5395 0 0 0 33 3 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.44
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1127 0 0 0 43 1 0 0 16 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 852380

[startup+12.7012 s]
/proc/loadavg: 2.01 2.00 2.14 3/84 19973
/proc/meminfo: memFree=1833568/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=12.67
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10869 0 1 0 1258 9 0 0 18 0 9 0 45996229 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9980 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=11.83
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3611 0 1 0 1180 3 0 0 25 0 9 0 45996230 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4126907933 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.36
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5395 0 0 0 33 3 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.44
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1127 0 0 0 43 1 0 0 16 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9980 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9980 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.502 s]
/proc/loadavg: 2.08 2.02 2.14 3/84 19973
/proc/meminfo: memFree=1833376/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=25.47
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10870 0 1 0 2538 9 0 0 18 0 9 0 45996229 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9981 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=24.63
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3611 0 1 0 2460 3 0 0 25 0 9 0 45996230 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4126870023 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.36
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5395 0 0 0 33 3 0 0 16 0 9 0 45996231 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.44
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1128 0 0 0 43 1 0 0 16 0 9 0 45996233 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9981 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

[startup+51.1027 s]
/proc/loadavg: 2.05 2.01 2.14 3/84 19973

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

/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3336.87
Current children cumulated vsize (KiB) 852380

[startup+3402.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/91 20014
/proc/meminfo: memFree=1364208/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3396.59
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10890 0 1 0 339639 20 0 0 18 0 9 0 45996229 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9989 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=3395.73
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3623 0 1 0 339559 14 0 0 25 0 9 0 45996230 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4126870097 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.37
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5398 0 0 0 34 3 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.46
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3396.59
Current children cumulated vsize (KiB) 852380

[startup+3462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 20014
/proc/meminfo: memFree=1364144/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3456.29
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10890 0 1 0 345609 20 0 0 18 0 9 0 45996229 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9989 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=3455.43
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3623 0 1 0 345529 14 0 0 25 0 9 0 45996230 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4126902492 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.37
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5398 0 0 0 34 3 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.46
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3456.29
Current children cumulated vsize (KiB) 852380

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 20020
/proc/meminfo: memFree=1363888/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3515.99
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10890 0 1 0 351579 20 0 0 18 0 9 0 45996229 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9989 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=3515.13
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3623 0 1 0 351499 14 0 0 25 0 9 0 45996230 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4126849444 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.37
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5398 0 0 0 34 3 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.46
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3515.99
Current children cumulated vsize (KiB) 852380

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 20020
/proc/meminfo: memFree=1363888/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3575.7
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10890 0 1 0 357550 20 0 0 18 0 9 0 45996229 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9989 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=3574.84
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3623 0 1 0 357470 14 0 0 25 0 9 0 45996230 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4126902503 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.37
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5398 0 0 0 34 3 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.46
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3575.7
Current children cumulated vsize (KiB) 852380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 20020
/proc/meminfo: memFree=1363888/2055920 swapFree=4180348/4192956
[pid=19961] ppid=19959 vsize=5356 CPUtime=0
/proc/19961/stat : 19961 (concrete.sh) S 19959 19961 18763 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 45996227 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19961/statm: 1339 242 201 169 0 50 0
[pid=19964] ppid=19961 vsize=847024 CPUtime=3600.08
/proc/19964/stat : 19964 (java) S 19961 19961 18763 0 -1 0 10890 0 1 0 359988 20 0 0 18 0 9 0 45996229 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19964/statm: 211756 9989 2578 9 0 206316 0
[pid=19964/tid=19965] ppid=19961 vsize=847024 CPUtime=3599.22
/proc/19964/task/19965/stat : 19965 (java) R 19961 19961 18763 0 -1 64 3623 0 1 0 359908 14 0 0 25 0 9 0 45996230 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4126855696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19966] ppid=19961 vsize=847024 CPUtime=0.37
/proc/19964/task/19966/stat : 19966 (java) S 19961 19961 18763 0 -1 64 5398 0 0 0 34 3 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19967/stat : 19967 (java) S 19961 19961 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19968] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19968/stat : 19968 (java) S 19961 19961 18763 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 45996231 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19969] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19969/stat : 19969 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19970] ppid=19961 vsize=847024 CPUtime=0.46
/proc/19964/task/19970/stat : 19970 (java) S 19961 19961 18763 0 -1 64 1133 0 0 0 45 1 0 0 16 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19964/tid=19971] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19971/stat : 19971 (java) S 19961 19961 18763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19964/tid=19972] ppid=19961 vsize=847024 CPUtime=0
/proc/19964/task/19972/stat : 19972 (java) S 19961 19961 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45996233 867352576 9989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.08
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 19961 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=3999
# CPU time returned by wait4() is 0.005998
# while last known CPU time is 3600.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3606.82
CPU time (s): 3600.08
CPU user time (s): 3599.88
CPU system time (s): 0.2
CPU usage (%): 99.813
Max. virtual memory (cumulated for all children) (KiB): 852380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.003999
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 3.70444 second user time and 12.7161 second system time

The end

Launcher Data (download as text)

Begin job on node30 at 2008-07-12 22:02:25
IDJOB=1113876
IDBENCH=61656
IDSOLVER=336
FILE ID=node30/1113876-1215892945
PBS_JOBID= 7903545
Free space on /tmp= 66536 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 508e40f01241f86cee2b8848995da857
RANDOM SEED=413831723

node30.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.234
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.234
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:       1864792 kB
Buffers:         13872 kB
Cached:          63964 kB
SwapCached:       6144 kB
Active:         124780 kB
Inactive:        24996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864792 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:             880 kB
Writeback:           0 kB
Mapped:          79260 kB
Slab:            26492 kB
Committed_AS:   286356 kB
PageTables:       1996 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= 66480 MiB
End job on node30 at 2008-07-12 23:02:34