Trace number 1113881

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 - MCRW Engine 2008-05-30MSAT (TO)8 3600.07 3604.52

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.66/1.75	c CPU-LOAD 0.86
1.66/1.75	c LOADED 100 V (558 E), 900 DTPConstraint, arity 2, 0.86 cpu
2.06/2.18	s SATISFIABLE
2.06/2.18	o 860
2.06/2.18	v 38 360 475 537 1 181 394 292 183 71 455 339 23 158 174 275 411 19 122 492 10 11 401 498 352 110 253 252 437 178 478 472 76 5 348 228 259 444 324 221 168 411 78 338 454 490 270 420 12 497 507 23 359 16 397 114 246 551 186 322 11 152 98 367 307 261 544 492 364 156 395 97 354 233 421 137 5 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 204 317 451 200 471 20 114 339 
2.06/2.18	o 861
2.06/2.18	v 38 360 475 537 1 178 394 292 183 71 449 339 23 158 174 275 411 19 122 492 10 11 401 498 352 101 253 252 437 178 430 472 76 5 348 228 259 444 324 221 168 411 78 338 454 490 270 420 12 497 507 23 359 16 397 114 246 551 186 322 7 152 98 367 307 261 544 492 364 156 395 97 354 233 421 137 5 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 204 317 451 200 471 20 114 339 
2.06/2.19	o 862
2.06/2.19	v 38 360 475 537 1 178 394 292 183 71 449 339 4 158 174 275 411 19 383 487 10 11 401 498 333 101 253 484 437 178 430 472 76 5 348 225 106 444 324 2 166 411 78 338 454 490 270 408 12 497 507 16 359 103 397 114 246 551 186 322 13 152 98 371 307 261 544 492 364 156 395 97 354 233 421 137 31 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 204 317 451 200 471 16 114 339 
2.06/2.20	o 863
2.06/2.20	v 37 360 475 537 1 178 394 292 183 71 449 339 4 158 174 275 411 19 383 487 3 11 401 498 333 101 253 484 437 178 430 472 76 5 348 225 106 444 324 2 166 411 78 338 454 490 270 408 12 497 507 16 359 103 397 114 246 551 186 322 13 152 98 371 307 261 544 492 364 156 395 97 354 233 421 137 31 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 204 317 451 200 471 16 114 383 
2.06/2.20	o 864
2.06/2.20	v 37 360 475 537 1 175 394 292 183 71 449 339 4 158 174 275 411 19 383 487 3 11 393 498 333 111 253 484 437 178 430 472 76 5 348 225 106 444 324 2 166 411 78 338 454 490 270 408 12 497 507 16 359 103 397 114 246 551 186 322 13 152 98 371 307 261 544 492 364 156 395 97 354 233 421 137 31 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 204 320 451 200 471 16 114 383 
2.16/2.21	o 865
2.16/2.21	v 38 360 475 537 1 175 394 292 183 71 449 339 4 158 166 275 411 19 383 487 3 11 393 498 333 111 253 484 437 178 430 472 86 5 348 225 106 444 324 2 166 411 78 338 454 490 270 408 12 92 507 16 359 103 397 114 246 551 186 322 13 152 98 371 307 261 544 492 364 156 395 97 354 237 454 137 31 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 534 320 451 200 471 16 114 383 
2.16/2.21	o 866
2.16/2.21	v 38 360 475 537 1 175 394 292 183 71 449 339 4 158 166 275 411 19 383 487 3 11 393 498 333 111 253 484 437 178 430 472 86 5 348 225 106 444 324 2 166 411 78 338 454 490 270 408 12 92 507 16 359 103 397 114 246 551 186 322 13 152 98 371 307 261 544 492 364 166 395 97 354 237 454 137 31 260 79 546 56 126 9 438 461 178 232 83 306 475 281 181 534 320 451 200 471 16 114 383 
2.16/2.23	o 867
2.16/2.23	v 38 360 475 537 1 174 394 292 183 73 449 339 35 82 173 275 411 173 383 487 6 11 393 498 333 114 253 484 437 178 430 480 86 5 347 225 106 444 324 2 168 172 78 338 454 490 270 408 12 92 507 16 359 110 397 114 246 551 180 322 13 152 98 371 307 261 544 492 364 166 395 110 354 234 421 143 31 260 517 546 56 241 9 438 461 178 114 83 306 475 281 181 534 281 451 200 58 16 112 383 
2.16/2.23	o 868
2.16/2.23	v 38 360 475 537 1 174 394 292 183 73 449 339 35 82 173 275 411 173 383 487 6 11 393 498 333 114 253 484 437 178 430 480 86 5 347 225 106 444 324 2 168 172 78 338 454 490 270 408 12 92 507 16 359 110 397 114 246 551 180 322 13 279 98 371 307 261 544 492 364 166 395 110 354 234 421 143 31 260 517 546 56 241 9 438 461 178 114 83 306 475 281 181 534 281 451 200 58 6 112 383 
2.16/2.24	o 869
2.16/2.24	v 38 359 475 537 1 170 394 292 207 73 449 339 35 82 173 275 411 172 383 487 6 11 393 274 333 424 253 484 437 178 430 480 86 5 347 225 106 444 324 2 170 172 78 338 454 490 270 408 12 92 507 16 359 110 397 114 246 551 180 322 13 279 98 371 307 261 544 492 364 163 395 110 354 239 421 143 87 0 517 546 56 241 9 438 461 178 114 83 306 475 281 181 534 291 451 200 481 6 113 383 
2.16/2.26	o 870
2.16/2.26	v 38 357 475 537 1 263 394 292 207 73 452 339 35 82 173 275 411 172 383 476 6 0 393 274 333 101 210 484 437 178 189 480 86 5 363 225 365 444 324 2 360 172 78 338 454 490 270 408 12 92 507 160 359 178 397 114 246 551 12 322 9 196 98 369 307 348 544 492 364 163 395 110 354 239 114 405 87 0 517 546 56 241 9 438 461 178 114 83 306 475 498 181 534 291 451 200 21 20 113 383 
2.16/2.26	o 871
2.16/2.26	v 72 357 475 537 1 263 401 292 207 73 455 339 35 82 173 275 411 184 383 476 6 0 393 274 333 101 210 484 437 178 189 480 86 5 363 225 365 444 324 2 360 172 79 338 454 490 271 408 12 92 507 160 359 178 397 114 246 551 2 322 9 196 98 369 307 348 544 492 364 163 395 110 354 239 114 405 87 0 517 546 56 241 9 438 461 178 114 83 306 475 261 181 534 291 451 200 7 20 113 383 
2.26/2.36	o 872
2.26/2.36	v 42 362 475 537 5 276 401 335 207 82 455 424 35 81 178 275 411 178 383 281 7 15 393 274 333 108 210 484 424 151 189 236 87 4 354 203 469 444 324 2 361 149 167 120 454 490 259 404 12 200 507 61 358 178 397 114 265 551 2 322 9 197 114 372 307 348 544 492 364 20 11 207 354 269 106 407 445 9 517 546 392 492 9 438 461 178 114 83 306 475 261 181 534 294 451 106 476 25 201 383 
2.26/2.37	o 873
2.26/2.37	v 49 362 475 537 4 276 401 335 207 97 455 424 35 84 172 275 411 182 383 281 7 15 393 274 333 108 210 484 432 151 189 236 87 4 354 203 469 444 324 2 361 149 177 120 454 490 276 78 12 200 507 63 358 179 397 114 278 551 2 475 19 197 114 372 307 348 544 492 364 20 11 210 354 269 106 403 444 1 517 546 392 492 9 438 461 178 114 83 306 475 261 12 534 294 451 106 476 32 201 383 
2.26/2.38	o 874
2.26/2.38	v 49 362 475 537 4 258 401 335 207 97 455 424 35 84 172 275 411 182 383 281 7 15 393 274 333 108 210 484 432 151 189 236 87 4 354 203 469 444 324 2 361 149 177 120 454 490 276 78 12 200 507 63 358 179 397 114 278 551 2 475 19 197 114 372 307 348 544 492 364 20 11 210 354 269 106 403 444 1 517 546 392 492 9 438 461 178 114 83 306 475 261 12 534 294 451 106 476 32 201 383 
2.35/2.41	o 875
2.35/2.41	v 49 96 475 537 4 258 393 361 207 82 455 424 35 84 176 275 411 178 383 289 3 1 393 274 333 432 210 484 420 151 189 18 85 209 354 221 469 444 324 2 362 149 184 120 454 490 276 82 12 216 507 63 361 175 397 114 278 551 0 474 19 197 114 372 307 348 544 492 364 20 98 210 354 279 106 401 444 3 517 546 392 492 9 438 461 178 114 83 306 475 261 12 534 294 451 326 476 33 109 383 
2.35/2.42	o 876
2.35/2.42	v 49 96 475 537 4 258 393 361 207 82 455 424 35 84 174 275 411 178 383 289 3 1 393 274 333 430 210 484 420 151 189 14 80 209 354 221 469 444 324 2 362 149 186 120 454 490 276 82 12 204 507 63 361 175 397 114 278 551 0 329 19 197 114 372 307 348 544 492 364 179 99 210 354 280 112 406 444 3 517 546 392 492 9 438 461 178 114 83 306 475 261 12 534 294 451 326 476 33 109 383 
2.35/2.43	o 877
2.35/2.43	v 49 98 475 537 4 258 393 361 207 208 455 424 35 84 174 275 411 178 383 289 3 1 393 274 333 432 210 484 420 139 189 14 95 74 354 221 469 444 324 2 362 149 185 120 454 490 276 82 12 201 507 60 361 175 397 114 278 551 0 473 19 197 114 372 307 348 544 492 364 163 97 192 354 263 101 406 407 3 517 546 392 492 9 438 461 178 114 83 306 475 261 12 534 294 451 206 476 33 109 383 
2.45/2.54	o 878
2.45/2.54	v 43 260 475 537 419 171 394 361 203 258 455 356 35 84 174 556 411 180 383 292 4 15 393 189 334 291 232 508 413 137 189 14 88 77 354 211 469 444 324 2 360 149 265 120 454 484 278 82 12 203 198 59 361 253 397 114 243 551 0 474 33 464 302 370 144 348 544 493 364 180 9 192 371 363 101 276 447 8 517 548 392 492 9 438 461 178 102 83 291 475 261 12 534 291 451 203 476 42 123 380 
2.65/2.70	o 879
2.65/2.70	v 279 175 475 537 97 196 394 134 17 289 458 356 35 84 179 556 411 447 383 271 469 5 100 424 334 288 232 508 382 166 189 14 80 74 354 212 469 444 309 2 112 236 2 256 457 497 284 402 12 176 421 59 214 108 345 134 251 551 0 474 9 464 302 370 144 348 544 491 364 182 266 424 192 279 367 102 237 9 517 548 392 492 9 438 461 178 112 83 291 475 261 12 534 291 451 196 473 45 123 380 
2.65/2.71	o 880
2.65/2.71	v 279 177 475 537 97 186 394 134 17 289 457 356 35 84 179 556 411 447 383 271 9 5 100 424 334 117 232 508 382 166 189 14 83 74 354 212 469 444 309 2 112 236 2 256 457 497 284 414 1 397 60 429 214 104 345 134 251 551 0 474 9 466 302 370 144 348 544 491 364 182 266 422 192 279 366 102 237 9 517 548 392 492 9 438 461 178 119 83 291 475 261 12 534 291 451 196 473 45 118 380 
2.65/2.79	o 881
2.65/2.79	v 448 178 32 275 97 184 394 134 10 293 457 356 35 84 0 556 411 176 383 271 3 0 163 424 334 288 89 508 382 189 189 14 84 226 354 87 469 444 309 2 162 360 2 256 457 497 284 132 481 380 60 429 214 106 345 422 250 551 0 474 28 202 302 369 144 348 544 493 364 177 260 422 192 279 362 102 533 9 517 233 144 492 9 438 461 178 269 83 335 475 261 12 534 291 451 196 470 46 137 380 
3.64/3.78	o 882
3.64/3.78	v 41 185 294 535 408 331 483 146 449 12 305 380 420 467 148 556 109 7 121 236 4 187 525 101 331 475 275 135 393 439 460 180 465 365 243 14 473 444 126 2 150 434 252 4 457 498 253 108 41 346 220 0 509 343 46 265 124 551 204 311 305 464 5 43 132 289 544 409 2 165 11 490 462 197 327 299 431 45 166 180 144 185 9 438 39 203 276 83 335 543 256 15 534 288 442 196 470 58 132 377 
5.72/5.84	o 883
5.72/5.84	v 371 8 293 538 204 112 483 338 240 7 299 436 152 463 204 556 112 311 8 22 124 197 7 16 329 48 131 508 288 424 4 180 32 239 463 342 64 8 538 2 2 482 248 223 460 161 336 405 93 499 507 3 421 20 248 123 175 551 327 459 127 30 380 246 525 228 8 410 1 28 342 488 454 347 5 189 254 97 440 281 520 370 114 438 432 227 137 96 284 543 197 226 534 345 502 136 442 43 289 23 
7.41/7.58	o 885
7.41/7.58	v 14 293 406 250 214 307 134 522 448 1 189 15 395 467 223 556 451 87 8 316 294 290 177 64 194 497 102 441 397 4 4 469 292 220 35 438 124 8 387 2 408 379 252 508 536 161 397 56 96 0 340 114 42 18 240 191 460 551 388 515 154 151 244 58 496 532 8 415 1 277 340 435 305 183 89 437 534 0 265 295 520 383 113 365 272 40 203 4 279 543 499 155 410 231 538 444 1 66 177 340 
8.40/8.56	o 886
8.40/8.56	v 2 186 406 456 487 302 113 524 324 179 72 15 284 458 195 556 446 85 8 350 226 301 55 65 179 498 391 448 127 4 385 293 191 47 115 462 390 8 21 2 467 528 298 57 276 458 209 178 102 2 347 436 396 14 189 227 277 551 120 515 440 167 244 58 14 47 8 385 1 276 97 98 192 342 228 440 534 6 424 331 463 294 98 365 501 40 207 170 371 543 434 164 410 257 538 188 478 73 18 345 
8.40/8.56	o 887
8.40/8.56	v 2 186 406 456 487 290 113 524 342 179 72 15 284 458 199 556 446 69 8 350 226 301 55 65 179 498 391 448 127 4 385 302 191 47 115 462 390 8 21 2 467 413 298 57 276 458 209 178 102 2 347 436 396 14 192 227 277 551 120 515 440 167 244 58 14 47 8 385 1 277 97 192 284 342 228 440 534 6 424 331 463 294 98 365 501 40 207 170 371 543 434 164 410 257 538 188 478 73 5 345 
8.40/8.58	o 888
8.40/8.58	v 2 184 406 456 487 291 113 524 331 179 71 15 284 458 201 556 446 69 8 350 227 301 55 65 179 498 391 448 127 4 385 311 191 47 115 462 390 8 21 2 467 413 298 57 276 458 208 178 102 2 347 436 396 14 179 229 277 551 120 515 440 167 244 58 14 47 8 385 1 277 97 192 284 342 188 440 534 6 424 331 463 294 98 365 501 40 207 170 371 543 434 164 410 257 538 188 478 73 10 345 
41.58/42.07	o 889
41.58/42.07	v 419 300 186 5 28 223 122 524 68 422 184 150 482 393 5 2 128 24 550 300 468 198 549 118 67 304 362 417 153 5 6 34 191 284 104 421 350 546 13 2 300 391 200 151 176 63 410 122 481 0 518 441 391 286 67 219 9 5 147 60 267 20 354 102 234 548 538 486 2 390 428 184 520 99 182 294 404 7 384 276 67 472 104 557 528 222 6 137 291 540 34 540 76 198 4 288 486 397 347 114 
689.52/692.82	o 890
689.52/692.82	v 322 40 254 296 4 454 140 424 193 458 452 227 144 5 142 0 122 332 443 257 244 27 2 323 195 410 134 468 520 356 4 32 460 337 144 229 458 94 114 0 330 457 106 83 537 4 257 428 472 195 473 83 435 339 7 512 131 0 201 297 467 240 437 340 70 319 551 4 0 120 364 2 292 205 2 117 93 453 325 541 66 114 434 1 29 297 471 173 213 541 137 4 122 26 437 258 459 172 328 376 
1329.67/1333.28	o 891
1329.67/1333.28	v 174 77 269 1 401 305 457 19 508 57 294 451 478 23 201 2 5 354 17 116 395 370 546 56 129 3 487 242 329 185 168 23 292 394 478 173 88 10 270 0 127 278 308 5 533 220 398 81 466 22 13 62 471 273 386 111 218 3 159 523 465 58 176 293 17 6 549 408 555 235 218 237 353 387 21 469 330 112 2 204 11 309 137 3 555 389 74 218 456 286 237 3 27 379 283 491 176 97 50 316 
1329.77/1333.30	o 892
1329.77/1333.30	v 174 77 269 1 401 305 457 19 508 56 295 451 478 23 201 2 5 358 17 115 395 370 546 56 129 3 487 242 329 185 168 23 293 394 478 173 88 10 270 0 127 278 308 5 533 220 397 81 466 22 13 61 471 273 386 111 218 3 159 523 465 58 435 134 17 6 549 334 555 232 219 241 353 387 21 469 330 112 2 204 11 309 137 3 555 380 74 218 456 286 237 3 27 379 283 491 176 97 47 316 

Verifier Data (download as text)

OK	8	892
8 unsatisfied constraints, 892 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-1113881-1215893025/watcher-1113881-1215893025 -o /tmp/evaluation-result-1113881-1215893025/solver-1113881-1215893025 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1113881-1215893025.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.98 1.98 1.99 4/81 14520
/proc/meminfo: memFree=1925720/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) R 14518 14520 13412 0 -1 4194304 295 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134583909 0 2147483391 4100 65536 0 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0

[startup+0.0249079 s]
/proc/loadavg: 1.98 1.98 1.99 4/81 14520
/proc/meminfo: memFree=1925720/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103693 s]
/proc/loadavg: 1.98 1.98 1.99 4/81 14520
/proc/meminfo: memFree=1925720/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302713 s]
/proc/loadavg: 1.98 1.98 1.99 4/81 14520
/proc/meminfo: memFree=1925720/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701764 s]
/proc/loadavg: 1.98 1.98 1.99 4/81 14520
/proc/meminfo: memFree=1925720/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50406 s]
/proc/loadavg: 1.98 1.98 1.99 4/92 14532
/proc/meminfo: memFree=1907568/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=1.46
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 8284 0 1 0 141 5 0 0 18 0 10 0 46003736 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 7423 2575 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=0.83
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3458 0 1 0 81 2 0 0 24 0 10 0 46003737 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.18
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 3000 0 0 0 17 1 0 0 16 0 10 0 46003738 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 46003739 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 46003739 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 46003741 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.41
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1089 0 0 0 41 0 0 0 15 0 10 0 46003741 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 46003741 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 46003741 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14532] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14532/stat : 14532 (java) S 14520 14520 13412 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 46003808 867352576 7423 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852380

[startup+3.10202 s]
/proc/loadavg: 1.98 1.98 1.99 3/91 14532
/proc/meminfo: memFree=1896752/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3.05
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10523 0 1 0 298 7 0 0 18 0 9 0 46003736 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9636 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=2.2
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3607 0 1 0 218 2 0 0 25 0 9 0 46003737 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4126867181 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.34
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5051 0 0 0 32 2 0 0 17 0 9 0 46003738 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.46
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1127 0 0 0 46 0 0 0 15 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) R 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 852380

[startup+6.30238 s]
/proc/loadavg: 1.98 1.98 1.99 3/91 14532
/proc/meminfo: memFree=1896560/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=6.22
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10524 0 1 0 615 7 0 0 18 0 9 0 46003736 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9636 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=5.37
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3608 0 1 0 535 2 0 0 25 0 9 0 46003737 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4126855719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.34
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5051 0 0 0 32 2 0 0 16 0 9 0 46003738 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.46
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1127 0 0 0 46 0 0 0 16 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9636 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 852380

[startup+12.7011 s]
/proc/loadavg: 1.98 1.98 1.99 4/91 14532
/proc/meminfo: memFree=1896368/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=12.56
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10525 0 1 0 1249 7 0 0 18 0 9 0 46003736 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9637 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=11.71
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3608 0 1 0 1169 2 0 0 25 0 9 0 46003737 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4126896491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.34
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5051 0 0 0 32 2 0 0 16 0 9 0 46003738 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.46
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1128 0 0 0 46 0 0 0 16 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 852380

[startup+25.5025 s]
/proc/loadavg: 1.98 1.98 1.99 3/91 14532
/proc/meminfo: memFree=1896368/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=25.24
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10525 0 1 0 2517 7 0 0 18 0 9 0 46003736 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9637 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=24.38
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3608 0 1 0 2436 2 0 0 25 0 9 0 46003737 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4126849425 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.34
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5051 0 0 0 32 2 0 0 16 0 9 0 46003738 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.47
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1128 0 0 0 47 0 0 0 17 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 852380

[startup+51.1024 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 14532

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

/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3397.95
Current children cumulated vsize (KiB) 852380

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 14712
/proc/meminfo: memFree=1142256/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3457.92
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10554 0 1 0 345775 17 0 0 18 0 9 0 46003736 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9651 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=3457.05
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3623 0 1 0 345693 12 0 0 25 0 9 0 46003737 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4126896557 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.36
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5059 0 0 0 33 3 0 0 16 0 9 0 46003738 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.49
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3457.92
Current children cumulated vsize (KiB) 852380

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 14712
/proc/meminfo: memFree=1142256/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3517.89
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10554 0 1 0 351772 17 0 0 18 0 9 0 46003736 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9651 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=3517.02
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3623 0 1 0 351690 12 0 0 25 0 9 0 46003737 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4126896567 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.36
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5059 0 0 0 33 3 0 0 16 0 9 0 46003738 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.49
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3517.89
Current children cumulated vsize (KiB) 852380

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 14712
/proc/meminfo: memFree=1142256/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3577.87
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10554 0 1 0 357770 17 0 0 18 0 9 0 46003736 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9651 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=3577
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3623 0 1 0 357688 12 0 0 25 0 9 0 46003737 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4126849512 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.36
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5059 0 0 0 33 3 0 0 16 0 9 0 46003738 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.49
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3577.87
Current children cumulated vsize (KiB) 852380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 14712
/proc/meminfo: memFree=1142256/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3600.07
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10554 0 1 0 359990 17 0 0 18 0 9 0 46003736 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9651 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=3599.19
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3623 0 1 0 359907 12 0 0 25 0 9 0 46003737 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4126896491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.36
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5059 0 0 0 33 3 0 0 16 0 9 0 46003738 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.49
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.07
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

[startup+3604.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 14712
/proc/meminfo: memFree=1142256/2055920 swapFree=4192812/4192956
[pid=14520] ppid=14518 vsize=5356 CPUtime=0
/proc/14520/stat : 14520 (concrete.sh) S 14518 14520 13412 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 46003735 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14520/statm: 1339 242 201 169 0 50 0
[pid=14523] ppid=14520 vsize=847024 CPUtime=3600.07
/proc/14523/stat : 14523 (java) S 14520 14520 13412 0 -1 0 10554 0 1 0 359990 17 0 0 18 0 9 0 46003736 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14523/statm: 211756 9651 2578 9 0 206316 0
[pid=14523/tid=14524] ppid=14520 vsize=847024 CPUtime=3599.19
/proc/14523/task/14524/stat : 14524 (java) R 14520 14520 13412 0 -1 64 3623 0 1 0 359907 12 0 0 25 0 9 0 46003737 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4126896491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14525] ppid=14520 vsize=847024 CPUtime=0.36
/proc/14523/task/14525/stat : 14525 (java) S 14520 14520 13412 0 -1 64 5059 0 0 0 33 3 0 0 16 0 9 0 46003738 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14526] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14526/stat : 14526 (java) S 14520 14520 13412 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14527] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14527/stat : 14527 (java) S 14520 14520 13412 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46003739 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14528] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14528/stat : 14528 (java) S 14520 14520 13412 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14529] ppid=14520 vsize=847024 CPUtime=0.49
/proc/14523/task/14529/stat : 14529 (java) S 14520 14520 13412 0 -1 64 1134 0 0 0 48 1 0 0 16 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14523/tid=14530] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14530/stat : 14530 (java) S 14520 14520 13412 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14523/tid=14531] ppid=14520 vsize=847024 CPUtime=0
/proc/14523/task/14531/stat : 14531 (java) S 14520 14520 13412 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 46003741 867352576 9651 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 852380

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 3604.52
CPU time (s): 3600.07
CPU user time (s): 3599.9
CPU system time (s): 0.17
CPU usage (%): 99.8765
Max. virtual memory (cumulated for all children) (KiB): 852380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 5

runsolver used 4.73628 second user time and 11.6642 second system time

The end

Launcher Data (download as text)

Begin job on node35 at 2008-07-12 22:03:45
IDJOB=1113881
IDBENCH=61657
IDSOLVER=335
FILE ID=node35/1113881-1215893025
PBS_JOBID= 7903571
Free space on /tmp= 66484 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c4bee948f28d4254d98dcb202c49f529
RANDOM SEED=217044226

node35.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.229
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.229
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:       1926264 kB
Buffers:          7728 kB
Cached:          41300 kB
SwapCached:          0 kB
Active:          64996 kB
Inactive:        11956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1926264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             912 kB
Writeback:           0 kB
Mapped:          48128 kB
Slab:            37808 kB
Committed_AS:   178432 kB
PageTables:       2028 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= 66412 MiB
End job on node35 at 2008-07-12 23:03:52