Trace number 3372750

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 NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 2150.4 67.9931

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
MD5SUM9e18e0ee8a56ea2c59fe8e682ff6c747
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1252.79
Satisfiable
(Un)Satisfiability was proved
Number of variables596
Number of clauses2780
Sum of the clauses size10460
Maximum clause length5
Minimum clause length1
Number of clauses of size 1132
Number of clauses of size 280
Number of clauses of size 31168
Number of clauses of size 4336
Number of clauses of size 51064
Number of clauses of size over 50

Solver Data 

2150.29/67.99	s SATISFIABLE
2150.29/67.99	v -1 2 -3 4 5 6 7
2150.29/67.99	v 8 9 10 11 12 13 14 -15
2150.29/67.99	v -16 17 -18 19 20 21 -22 -23
2150.29/67.99	v 24 -25 -26 -27 -28 -29 30 31
2150.29/67.99	v 32 33 34 -35 -36 37 -38 39
2150.29/67.99	v 40 -41 -42 -43 -44 45 46 -47
2150.29/67.99	v 48 49 -50 -51 -52 -53 54 -55
2150.29/67.99	v 56 -57 -58 -59 60 61 62 -63
2150.29/67.99	v -64 -65 66 67 -68 69 70 71
2150.29/67.99	v -72 73 -74 75 76 77 78 -79
2150.29/67.99	v 80 81 -82 -83 84 -85 86 -87
2150.29/67.99	v 88 89 90 -91 -92 93 94 95
2150.29/67.99	v -96 -97 -98 99 -100 -101 -102 103
2150.29/67.99	v -104 105 -106 107 -108 -109 -110 111
2150.29/67.99	v -112 -113 114 -115 -116 -117 118 -119
2150.29/67.99	v -120 121 122 -123 -124 -125 126 -127
2150.29/67.99	v -128 129 130 131 -132 -133 134 -135
2150.29/67.99	v -136 137 -138 139 140 141 142 143
2150.29/67.99	v -144 145 -146 -147 -148 149 150 -151
2150.29/67.99	v -152 -153 -154 -155 156 -157 158 159
2150.29/67.99	v 160 161 162 163 164 -165 166 -167
2150.29/67.99	v -168 -169 170 -171 -172 -173 -174 175
2150.29/67.99	v 176 177 -178 -179 180 -181 182 -183
2150.29/67.99	v 184 -185 186 187 -188 189 -190 -191
2150.29/67.99	v 192 -193 -194 195 196 -197 -198 -199
2150.29/67.99	v 200 -201 202 -203 -204 -205 -206 -207
2150.29/67.99	v 208 -209 -210 211 -212 213 214 -215
2150.29/67.99	v -216 217 218 -219 -220 221 -222 -223
2150.29/67.99	v 224 225 226 227 -228 229 -230 -231
2150.29/67.99	v 232 233 -234 235 -236 237 238 239
2150.29/67.99	v 240 241 242 -243 -244 -245 -246 -247
2150.29/67.99	v 248 249 250 -251 252 253 -254 -255
2150.29/67.99	v -256 -257 258 -259 260 261 262 -263
2150.29/67.99	v 264 265 -266 -267 268 269 270 271
2150.29/67.99	v 272 273 274 -275 -276 277 -278 -279
2150.29/67.99	v -280 -281 282 -283 284 -285 -286 -287
2150.29/67.99	v 288 289 290 291 -292 293 -294 295
2150.29/67.99	v -296 297 298 299 300 -301 -302 303
2150.29/67.99	v 304 305 -306 307 -308 309 310 311
2150.29/67.99	v -312 -313 -314 315 316 -317 318 319
2150.29/67.99	v 320 321 -322 323 324 325 -326 -327
2150.29/67.99	v 328 -329 -330 331 -332 -333 -334 -335
2150.29/67.99	v 336 -337 338 -339 -340 -341 342 -343
2150.29/67.99	v -344 -345 346 -347 -348 -349 350 351
2150.29/67.99	v -352 -353 -354 -355 356 357 358 359
2150.29/67.99	v -360 361 -362 363 364 -365 -366 -367
2150.29/67.99	v -368 -369 -370 371 372 373 -374 375
2150.29/67.99	v 376 -377 378 -379 380 381 382 383
2150.29/67.99	v -384 -385 386 -387 -388 -389 -390 391
2150.29/67.99	v 392 393 394 395 396 397 -398 -399
2150.29/67.99	v 400 -401 402 -403 404 405 406 -407
2150.29/67.99	v 408 -409 -410 -411 412 413 -414 415
2150.29/67.99	v 416 -417 -418 -419 -420 421 -422 423
2150.29/67.99	v 424 -425 -426 427 -428 429 430 -431
2150.29/67.99	v 432 -433 -434 435 436 437 -438 439
2150.29/67.99	v 440 -441 -442 443 444 445 -446 -447
2150.29/67.99	v -448 -449 -450 -451 452 453 454 -455
2150.29/67.99	v -456 457 -458 -459 -460 461 462 -463
2150.29/67.99	v 464 -465 -466 467 -468 -469 470 471
2150.29/67.99	v -472 -473 474 -475 476 477 -478 -479
2150.29/67.99	v -480 -481 482 -483 484 485 486 487
2150.29/67.99	v 488 489 490 491 -492 -493 -494 495
2150.29/67.99	v -496 -497 -498 499 500 501 -502 -503
2150.29/67.99	v 504 -505 506 -507 -508 509 -510 511
2150.29/67.99	v -512 513 -514 -515 516 -517 -518 -519
2150.29/67.99	v -520 -521 522 -523 -524 -525 526 -527
2150.29/67.99	v -528 -529 530 531 -532 -533 534 -535
2150.29/67.99	v 536 537 538 539 -540 -541 -542 -543
2150.29/67.99	v -544 -545 -546 547 548 -549 550 -551
2150.29/67.99	v 552 553 -554 555 556 -557 558 559
2150.29/67.99	v -560 -561 562 -563 564 -565 566 -567
2150.29/67.99	v 568 569 570 571 -572 -573 574 575
2150.29/67.99	v -576 -577 -578 -579 580 -581 -582 583
2150.29/67.99	v -584 -585 -586 587 588 -589 -590 591
2150.29/67.99	v -592 -593 -594 595 -596
2150.29/67.99	v 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372750-1306030881/watcher-3372750-1306030881 -o /tmp/evaluation-result-3372750-1306030881/solver-3372750-1306030881 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372750-1306030881.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=11700 CPUtime=0.03 cores=0-31
/proc/16211/stat : 16211 (plingeling) R 16209 16211 16185 0 -1 4202496 986 1247 0 0 2 0 0 1 23 0 1 0 714574537 11980800 917 268435456000 4194304 4417452 140736891586688 18446744073709551615 4231353 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16211/statm: 2925 917 145 55 0 811 0

[startup+0.125765 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=606656 CPUtime=1.23 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 2590 1247 0 0 121 1 0 1 18 0 33 0 714574537 621215744 2494 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 152265 3286 175 55 0 150151 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 606656

[startup+0.368015 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=615156 CPUtime=8.77 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 5287 1247 0 0 873 3 0 1 18 0 33 0 714574537 629919744 5095 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 154399 5938 175 55 0 152285 0
Current children cumulated CPU time (s) 8.77
Current children cumulated vsize (KiB) 615156

[startup+0.859776 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=625808 CPUtime=24.39 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 11863 1247 0 0 2427 11 0 1 18 0 33 0 714574537 640827392 8009 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 156452 8009 175 55 0 154338 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 625808

[startup+0.915286 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=629648 CPUtime=26.16 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 13627 1247 0 0 2601 14 0 1 18 0 33 0 714574537 644759552 8967 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 157412 8967 175 55 0 155298 0
Current children cumulated CPU time (s) 26.16
Current children cumulated vsize (KiB) 629648

[startup+1.50031 s]
/proc/loadavg: 29.60 31.52 31.88 1/413 16211
/proc/meminfo: memFree=255504964/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=640372 CPUtime=44.71 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 26980 1247 0 0 4436 34 0 1 18 0 33 0 714574537 655740928 11722 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 160093 11708 175 55 0 157979 0
Current children cumulated CPU time (s) 44.71
Current children cumulated vsize (KiB) 640372

[startup+3.10136 s]
/proc/loadavg: 29.60 31.52 31.88 33/446 16249
/proc/meminfo: memFree=255431428/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=665552 CPUtime=95.31 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 61214 1247 0 0 9440 90 0 1 18 0 33 0 714574537 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 166388 18025 175 55 0 164274 0
[pid=16211/tid=16218] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16218/stat : 16218 (plingeling) R 16209 16211 16185 0 -1 4202560 2406 1247 0 0 292 4 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4357787 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16211/tid=16219] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16219/stat : 16219 (plingeling) R 16209 16211 16185 0 -1 4202560 2261 1247 0 0 294 3 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 18446744073699065863 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16211/tid=16220] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16220/stat : 16220 (plingeling) R 16209 16211 16185 0 -1 4202560 1659 1247 0 0 296 2 0 1 20 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16211/tid=16221] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16221/stat : 16221 (plingeling) R 16209 16211 16185 0 -1 4202560 1989 1247 0 0 295 3 0 1 20 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16211/tid=16222] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16222/stat : 16222 (plingeling) R 16209 16211 16185 0 -1 4202560 1833 1247 0 0 295 2 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16211/tid=16223] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16223/stat : 16223 (plingeling) R 16209 16211 16185 0 -1 4202560 2120 1247 0 0 294 2 0 1 24 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16211/tid=16224] ppid=16209 vsize=665552 CPUtime=3 cores=0-31
/proc/16211/task/16224/stat : 16224 (plingeling) R 16209 16211 16185 0 -1 4202560 1582 1247 0 0 297 2 0 1 24 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16211/tid=16225] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16225/stat : 16225 (plingeling) R 16209 16211 16185 0 -1 4202560 1748 1247 0 0 294 2 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366149 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16211/tid=16226] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16226/stat : 16226 (plingeling) R 16209 16211 16185 0 -1 4202560 1697 1247 0 0 294 2 0 1 19 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4250807 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16211/tid=16227] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16227/stat : 16227 (plingeling) R 16209 16211 16185 0 -1 4202560 1799 1247 0 0 294 2 0 1 19 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364703 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16211/tid=16228] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16228/stat : 16228 (plingeling) R 16209 16211 16185 0 -1 4202560 1675 1247 0 0 295 2 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16211/tid=16229] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16229/stat : 16229 (plingeling) R 16209 16211 16185 0 -1 4202560 1589 1247 0 0 295 3 0 1 20 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16211/tid=16230] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16230/stat : 16230 (plingeling) R 16209 16211 16185 0 -1 4202560 1869 1247 0 0 296 2 0 1 19 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16211/tid=16231] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16231/stat : 16231 (plingeling) R 16209 16211 16185 0 -1 4202560 1895 1247 0 0 294 2 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16211/tid=16232] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16232/stat : 16232 (plingeling) R 16209 16211 16185 0 -1 4202560 2168 1247 0 0 294 3 0 1 18 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16211/tid=16233] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16233/stat : 16233 (plingeling) R 16209 16211 16185 0 -1 4202560 2150 1247 0 0 294 3 0 1 19 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16211/tid=16234] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16234/stat : 16234 (plingeling) R 16209 16211 16185 0 -1 4202560 2029 1247 0 0 296 2 0 1 25 0 33 0 714574546 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16211/tid=16235] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16235/stat : 16235 (plingeling) R 16209 16211 16185 0 -1 4202560 1942 1247 0 0 295 2 0 1 19 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4358947 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16211/tid=16236] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16236/stat : 16236 (plingeling) R 16209 16211 16185 0 -1 4202560 1615 1247 0 0 295 2 0 1 24 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16211/tid=16237] ppid=16209 vsize=665552 CPUtime=2.99 cores=0-31
/proc/16211/task/16237/stat : 16237 (plingeling) R 16209 16211 16185 0 -1 4202560 1387 1247 0 0 296 2 0 1 25 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16211/tid=16238] ppid=16209 vsize=665552 CPUtime=2.95 cores=0-31
/proc/16211/task/16238/stat : 16238 (plingeling) R 16209 16211 16185 0 -1 4202560 1772 1247 0 0 292 2 0 1 18 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4353615 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16211/tid=16239] ppid=16209 vsize=665552 CPUtime=2.95 cores=0-31
/proc/16211/task/16239/stat : 16239 (plingeling) R 16209 16211 16185 0 -1 4202560 1979 1247 0 0 291 3 0 1 19 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16211/tid=16240] ppid=16209 vsize=665552 CPUtime=2.95 cores=0-31
/proc/16211/task/16240/stat : 16240 (plingeling) R 16209 16211 16185 0 -1 4202560 1637 1247 0 0 292 2 0 1 25 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16211/tid=16241] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16241/stat : 16241 (plingeling) R 16209 16211 16185 0 -1 4202560 1764 1247 0 0 294 2 0 1 20 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16211/tid=16242] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16242/stat : 16242 (plingeling) R 16209 16211 16185 0 -1 4202560 1668 1247 0 0 294 2 0 1 25 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=16211/tid=16243] ppid=16209 vsize=665552 CPUtime=2.94 cores=0-31
/proc/16211/task/16243/stat : 16243 (plingeling) R 16209 16211 16185 0 -1 4202560 1574 1247 0 0 292 1 0 1 18 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16211/tid=16244] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16244/stat : 16244 (plingeling) R 16209 16211 16185 0 -1 4202560 2081 1247 0 0 294 3 0 1 18 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4357265 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16211/tid=16245] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16245/stat : 16245 (plingeling) R 16209 16211 16185 0 -1 4202560 1970 1247 0 0 294 3 0 1 18 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16211/tid=16246] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16246/stat : 16246 (plingeling) R 16209 16211 16185 0 -1 4202560 1894 1247 0 0 296 1 0 1 23 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16211/tid=16247] ppid=16209 vsize=665552 CPUtime=2.96 cores=0-31
/proc/16211/task/16247/stat : 16247 (plingeling) R 16209 16211 16185 0 -1 4202560 1566 1247 0 0 293 2 0 1 20 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16211/tid=16248] ppid=16209 vsize=665552 CPUtime=2.97 cores=0-31
/proc/16211/task/16248/stat : 16248 (plingeling) R 16209 16211 16185 0 -1 4202560 1562 1247 0 0 294 2 0 1 18 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16211/tid=16249] ppid=16209 vsize=665552 CPUtime=2.98 cores=0-31
/proc/16211/task/16249/stat : 16249 (plingeling) R 16209 16211 16185 0 -1 4202560 2035 1247 0 0 294 3 0 1 24 0 33 0 714574547 681525248 18025 268435456000 4194304 4417452 140736891586688 18446744073709551615 4250873 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 95.31
Current children cumulated vsize (KiB) 665552

[startup+6.30148 s]
/proc/loadavg: 29.79 31.53 31.88 33/446 16249
/proc/meminfo: memFree=255393448/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=700356 CPUtime=196.81 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 117826 1247 0 0 19503 177 0 1 18 0 33 0 714574537 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 175089 26816 175 55 0 172975 0
[pid=16211/tid=16218] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16218/stat : 16218 (plingeling) R 16209 16211 16185 0 -1 4202560 4448 1247 0 0 607 6 0 1 21 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16211/tid=16219] ppid=16209 vsize=700356 CPUtime=6.16 cores=0-31
/proc/16211/task/16219/stat : 16219 (plingeling) R 16209 16211 16185 0 -1 4202560 4121 1247 0 0 610 5 0 1 20 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16211/tid=16220] ppid=16209 vsize=700356 CPUtime=6.16 cores=0-31
/proc/16211/task/16220/stat : 16220 (plingeling) R 16209 16211 16185 0 -1 4202560 3873 1247 0 0 610 5 0 1 25 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16211/tid=16221] ppid=16209 vsize=700356 CPUtime=6.17 cores=0-31
/proc/16211/task/16221/stat : 16221 (plingeling) R 16209 16211 16185 0 -1 4202560 3676 1247 0 0 610 6 0 1 22 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16211/tid=16222] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16222/stat : 16222 (plingeling) R 16209 16211 16185 0 -1 4202560 3683 1247 0 0 610 3 0 1 19 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16211/tid=16223] ppid=16209 vsize=700356 CPUtime=6.1 cores=0-31
/proc/16211/task/16223/stat : 16223 (plingeling) R 16209 16211 16185 0 -1 4202560 3872 1247 0 0 604 5 0 1 19 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16211/tid=16224] ppid=16209 vsize=700356 CPUtime=6.19 cores=0-31
/proc/16211/task/16224/stat : 16224 (plingeling) R 16209 16211 16185 0 -1 4202560 3031 1247 0 0 613 5 0 1 25 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16211/tid=16225] ppid=16209 vsize=700356 CPUtime=6.16 cores=0-31
/proc/16211/task/16225/stat : 16225 (plingeling) R 16209 16211 16185 0 -1 4202560 3287 1247 0 0 610 5 0 1 19 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16211/tid=16226] ppid=16209 vsize=700356 CPUtime=6.13 cores=0-31
/proc/16211/task/16226/stat : 16226 (plingeling) R 16209 16211 16185 0 -1 4202560 3074 1247 0 0 609 3 0 1 19 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4250678 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16211/tid=16227] ppid=16209 vsize=700356 CPUtime=6.16 cores=0-31
/proc/16211/task/16227/stat : 16227 (plingeling) R 16209 16211 16185 0 -1 4202560 3681 1247 0 0 610 5 0 1 18 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16211/tid=16228] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16228/stat : 16228 (plingeling) R 16209 16211 16185 0 -1 4202560 3372 1247 0 0 608 5 0 1 18 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16211/tid=16229] ppid=16209 vsize=700356 CPUtime=6.15 cores=0-31
/proc/16211/task/16229/stat : 16229 (plingeling) R 16209 16211 16185 0 -1 4202560 3263 1247 0 0 609 5 0 1 19 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4365999 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16211/tid=16230] ppid=16209 vsize=700356 CPUtime=6.15 cores=0-31
/proc/16211/task/16230/stat : 16230 (plingeling) R 16209 16211 16185 0 -1 4202560 3885 1247 0 0 609 5 0 1 18 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16211/tid=16231] ppid=16209 vsize=700356 CPUtime=6.17 cores=0-31
/proc/16211/task/16231/stat : 16231 (plingeling) R 16209 16211 16185 0 -1 4202560 3333 1247 0 0 611 5 0 1 25 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4237371 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16211/tid=16232] ppid=16209 vsize=700356 CPUtime=6.15 cores=0-31
/proc/16211/task/16232/stat : 16232 (plingeling) R 16209 16211 16185 0 -1 4202560 4053 1247 0 0 608 6 0 1 25 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4236569 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16211/tid=16233] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16233/stat : 16233 (plingeling) R 16209 16211 16185 0 -1 4202560 3869 1247 0 0 608 5 0 1 18 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16211/tid=16234] ppid=16209 vsize=700356 CPUtime=6.17 cores=0-31
/proc/16211/task/16234/stat : 16234 (plingeling) R 16209 16211 16185 0 -1 4202560 3929 1247 0 0 611 5 0 1 25 0 33 0 714574546 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366450 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16211/tid=16235] ppid=16209 vsize=700356 CPUtime=6.15 cores=0-31
/proc/16211/task/16235/stat : 16235 (plingeling) R 16209 16211 16185 0 -1 4202560 3370 1247 0 0 610 4 0 1 20 0 33 0 714574547 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16211/tid=16236] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16236/stat : 16236 (plingeling) R 16209 16211 16185 0 -1 4202560 3503 1247 0 0 609 4 0 1 21 0 33 0 714574547 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16211/tid=16237] ppid=16209 vsize=700356 CPUtime=6.17 cores=0-31
/proc/16211/task/16237/stat : 16237 (plingeling) R 16209 16211 16185 0 -1 4202560 3479 1247 0 0 612 4 0 1 18 0 33 0 714574547 717164544 26816 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16211/tid=16238] ppid=16209 vsize=700356 CPUtime=6.14 cores=0-31
/proc/16211/task/16238/stat : 16238 (plingeling) R 16209 16211 16185 0 -1 4202560 3611 1247 0 0 608 5 0 1 22 0 33 0 714574547 717164544 26797 268435456000 4194304 4417452 140736891586688 18446744073709551615 4353782 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16211/tid=16239] ppid=16209 vsize=700280 CPUtime=6.13 cores=0-31
/proc/16211/task/16239/stat : 16239 (plingeling) R 16209 16211 16185 0 -1 4202560 3988 1247 0 0 606 6 0 1 25 0 33 0 714574547 717086720 26797 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16211/tid=16240] ppid=16209 vsize=700280 CPUtime=6.12 cores=0-31
/proc/16211/task/16240/stat : 16240 (plingeling) R 16209 16211 16185 0 -1 4202560 3324 1247 0 0 606 5 0 1 19 0 33 0 714574547 717086720 26768 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16211/tid=16241] ppid=16209 vsize=700164 CPUtime=6.16 cores=0-31
/proc/16211/task/16241/stat : 16241 (plingeling) R 16209 16211 16185 0 -1 4202560 3838 1247 0 0 609 6 0 1 19 0 33 0 714574547 716967936 26768 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 25 0 0 0

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

/proc/16211/task/16219/stat : 16219 (plingeling) R 16209 16211 16185 0 -1 4202560 25808 1247 0 0 6522 35 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16211/tid=16220] ppid=16209 vsize=898152 CPUtime=65.87 cores=0-31
/proc/16211/task/16220/stat : 16220 (plingeling) R 16209 16211 16185 0 -1 4202560 21057 1247 0 0 6556 30 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16211/tid=16221] ppid=16209 vsize=898152 CPUtime=65.67 cores=0-31
/proc/16211/task/16221/stat : 16221 (plingeling) R 16209 16211 16185 0 -1 4202560 25271 1247 0 0 6526 40 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16211/tid=16222] ppid=16209 vsize=898152 CPUtime=65.72 cores=0-31
/proc/16211/task/16222/stat : 16222 (plingeling) R 16209 16211 16185 0 -1 4202560 24054 1247 0 0 6540 31 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16211/tid=16223] ppid=16209 vsize=898152 CPUtime=65.72 cores=0-31
/proc/16211/task/16223/stat : 16223 (plingeling) R 16209 16211 16185 0 -1 4202560 20149 1247 0 0 6545 26 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4344138 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16211/tid=16224] ppid=16209 vsize=898152 CPUtime=65.8 cores=0-31
/proc/16211/task/16224/stat : 16224 (plingeling) R 16209 16211 16185 0 -1 4202560 21483 1247 0 0 6548 31 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16211/tid=16225] ppid=16209 vsize=898152 CPUtime=65.51 cores=0-31
/proc/16211/task/16225/stat : 16225 (plingeling) R 16209 16211 16185 0 -1 4202560 21329 1247 0 0 6520 30 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366082 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16211/tid=16226] ppid=16209 vsize=898152 CPUtime=65.44 cores=0-31
/proc/16211/task/16226/stat : 16226 (plingeling) R 16209 16211 16185 0 -1 4202560 21856 1247 0 0 6516 27 0 1 19 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16211/tid=16227] ppid=16209 vsize=898152 CPUtime=65.76 cores=0-31
/proc/16211/task/16227/stat : 16227 (plingeling) R 16209 16211 16185 0 -1 4202560 23212 1247 0 0 6545 30 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16211/tid=16228] ppid=16209 vsize=898152 CPUtime=65.76 cores=0-31
/proc/16211/task/16228/stat : 16228 (plingeling) R 16209 16211 16185 0 -1 4202560 26297 1247 0 0 6546 29 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16211/tid=16229] ppid=16209 vsize=898152 CPUtime=65.79 cores=0-31
/proc/16211/task/16229/stat : 16229 (plingeling) R 16209 16211 16185 0 -1 4202560 23164 1247 0 0 6552 26 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16211/tid=16230] ppid=16209 vsize=898152 CPUtime=65.77 cores=0-31
/proc/16211/task/16230/stat : 16230 (plingeling) R 16209 16211 16185 0 -1 4202560 25088 1247 0 0 6540 36 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16211/tid=16231] ppid=16209 vsize=898152 CPUtime=65.66 cores=0-31
/proc/16211/task/16231/stat : 16231 (plingeling) R 16209 16211 16185 0 -1 4202560 23781 1247 0 0 6535 30 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16211/tid=16232] ppid=16209 vsize=898152 CPUtime=65.81 cores=0-31
/proc/16211/task/16232/stat : 16232 (plingeling) R 16209 16211 16185 0 -1 4202560 26363 1247 0 0 6544 36 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16211/tid=16233] ppid=16209 vsize=898152 CPUtime=65.52 cores=0-31
/proc/16211/task/16233/stat : 16233 (plingeling) R 16209 16211 16185 0 -1 4202560 23935 1247 0 0 6516 35 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16211/tid=16234] ppid=16209 vsize=898152 CPUtime=65.38 cores=0-31
/proc/16211/task/16234/stat : 16234 (plingeling) R 16209 16211 16185 0 -1 4202560 21343 1247 0 0 6510 27 0 1 25 0 33 0 714574546 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16211/tid=16235] ppid=16209 vsize=898152 CPUtime=65.79 cores=0-31
/proc/16211/task/16235/stat : 16235 (plingeling) R 16209 16211 16185 0 -1 4202560 23039 1247 0 0 6550 28 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16211/tid=16236] ppid=16209 vsize=898152 CPUtime=65.78 cores=0-31
/proc/16211/task/16236/stat : 16236 (plingeling) R 16209 16211 16185 0 -1 4202560 22782 1247 0 0 6549 28 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16211/tid=16237] ppid=16209 vsize=898152 CPUtime=65.21 cores=0-31
/proc/16211/task/16237/stat : 16237 (plingeling) R 16209 16211 16185 0 -1 4202560 19554 1247 0 0 6495 25 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16211/tid=16238] ppid=16209 vsize=898152 CPUtime=65.67 cores=0-31
/proc/16211/task/16238/stat : 16238 (plingeling) R 16209 16211 16185 0 -1 4202560 26255 1247 0 0 6531 35 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16211/tid=16239] ppid=16209 vsize=898152 CPUtime=65.86 cores=0-31
/proc/16211/task/16239/stat : 16239 (plingeling) R 16209 16211 16185 0 -1 4202560 27250 1247 0 0 6553 32 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16211/tid=16240] ppid=16209 vsize=898152 CPUtime=65.58 cores=0-31
/proc/16211/task/16240/stat : 16240 (plingeling) R 16209 16211 16185 0 -1 4202560 20064 1247 0 0 6524 33 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16211/tid=16241] ppid=16209 vsize=898152 CPUtime=65.73 cores=0-31
/proc/16211/task/16241/stat : 16241 (plingeling) R 16209 16211 16185 0 -1 4202560 25882 1247 0 0 6540 32 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16211/tid=16242] ppid=16209 vsize=898152 CPUtime=65.8 cores=0-31
/proc/16211/task/16242/stat : 16242 (plingeling) R 16209 16211 16185 0 -1 4202560 21503 1247 0 0 6549 30 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16211/tid=16243] ppid=16209 vsize=898152 CPUtime=65.81 cores=0-31
/proc/16211/task/16243/stat : 16243 (plingeling) R 16209 16211 16185 0 -1 4202560 23882 1247 0 0 6546 34 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16211/tid=16244] ppid=16209 vsize=898152 CPUtime=65.77 cores=0-31
/proc/16211/task/16244/stat : 16244 (plingeling) R 16209 16211 16185 0 -1 4202560 20314 1247 0 0 6548 28 0 1 21 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16211/tid=16245] ppid=16209 vsize=898152 CPUtime=65.8 cores=0-31
/proc/16211/task/16245/stat : 16245 (plingeling) R 16209 16211 16185 0 -1 4202560 26099 1247 0 0 6550 29 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16211/tid=16246] ppid=16209 vsize=898152 CPUtime=65.71 cores=0-31
/proc/16211/task/16246/stat : 16246 (plingeling) R 16209 16211 16185 0 -1 4202560 23588 1247 0 0 6541 29 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16211/tid=16247] ppid=16209 vsize=898152 CPUtime=65.72 cores=0-31
/proc/16211/task/16247/stat : 16247 (plingeling) R 16209 16211 16185 0 -1 4202560 25655 1247 0 0 6539 32 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16211/tid=16248] ppid=16209 vsize=898152 CPUtime=65.76 cores=0-31
/proc/16211/task/16248/stat : 16248 (plingeling) R 16209 16211 16185 0 -1 4202560 21086 1247 0 0 6547 28 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16211/tid=16249] ppid=16209 vsize=898152 CPUtime=65.31 cores=0-31
/proc/16211/task/16249/stat : 16249 (plingeling) R 16209 16211 16185 0 -1 4202560 19607 1247 0 0 6503 27 0 1 25 0 33 0 714574547 919707648 77120 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 2101.63
Current children cumulated vsize (KiB) 898152

[startup+66.9016 s]
/proc/loadavg: 31.65 31.73 31.92 34/453 17042
/proc/meminfo: memFree=255177748/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=899160 CPUtime=2127.01 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 753844 1247 0 0 211699 1001 0 1 18 0 33 0 714574537 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 224790 77371 175 55 0 222676 0
[pid=16211/tid=16218] ppid=16209 vsize=899160 CPUtime=66.28 cores=0-31
/proc/16211/task/16218/stat : 16218 (plingeling) R 16209 16211 16185 0 -1 4202560 24070 1247 0 0 6601 26 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4356667 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=16211/tid=16219] ppid=16209 vsize=899160 CPUtime=66.38 cores=0-31
/proc/16211/task/16219/stat : 16219 (plingeling) R 16209 16211 16185 0 -1 4202560 25853 1247 0 0 6602 35 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16211/tid=16220] ppid=16209 vsize=899160 CPUtime=66.67 cores=0-31
/proc/16211/task/16220/stat : 16220 (plingeling) R 16209 16211 16185 0 -1 4202560 21374 1247 0 0 6636 30 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16211/tid=16221] ppid=16209 vsize=899160 CPUtime=66.46 cores=0-31
/proc/16211/task/16221/stat : 16221 (plingeling) R 16209 16211 16185 0 -1 4202560 25746 1247 0 0 6605 40 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16211/tid=16222] ppid=16209 vsize=899160 CPUtime=66.49 cores=0-31
/proc/16211/task/16222/stat : 16222 (plingeling) R 16209 16211 16185 0 -1 4202560 25233 1247 0 0 6614 34 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16211/tid=16223] ppid=16209 vsize=899160 CPUtime=66.52 cores=0-31
/proc/16211/task/16223/stat : 16223 (plingeling) R 16209 16211 16185 0 -1 4202560 20149 1247 0 0 6625 26 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366698 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16211/tid=16224] ppid=16209 vsize=899160 CPUtime=66.6 cores=0-31
/proc/16211/task/16224/stat : 16224 (plingeling) R 16209 16211 16185 0 -1 4202560 21483 1247 0 0 6628 31 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16211/tid=16225] ppid=16209 vsize=899160 CPUtime=66.31 cores=0-31
/proc/16211/task/16225/stat : 16225 (plingeling) R 16209 16211 16185 0 -1 4202560 21329 1247 0 0 6600 30 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16211/tid=16226] ppid=16209 vsize=899160 CPUtime=66.24 cores=0-31
/proc/16211/task/16226/stat : 16226 (plingeling) R 16209 16211 16185 0 -1 4202560 21857 1247 0 0 6596 27 0 1 21 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16211/tid=16227] ppid=16209 vsize=899160 CPUtime=66.55 cores=0-31
/proc/16211/task/16227/stat : 16227 (plingeling) R 16209 16211 16185 0 -1 4202560 23667 1247 0 0 6624 30 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16211/tid=16228] ppid=16209 vsize=899160 CPUtime=66.56 cores=0-31
/proc/16211/task/16228/stat : 16228 (plingeling) R 16209 16211 16185 0 -1 4202560 26313 1247 0 0 6626 29 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4237349 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16211/tid=16229] ppid=16209 vsize=899160 CPUtime=66.54 cores=0-31
/proc/16211/task/16229/stat : 16229 (plingeling) R 16209 16211 16185 0 -1 4202560 23458 1247 0 0 6627 26 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16211/tid=16230] ppid=16209 vsize=899160 CPUtime=66.57 cores=0-31
/proc/16211/task/16230/stat : 16230 (plingeling) R 16209 16211 16185 0 -1 4202560 25627 1247 0 0 6620 36 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16211/tid=16231] ppid=16209 vsize=899160 CPUtime=66.44 cores=0-31
/proc/16211/task/16231/stat : 16231 (plingeling) R 16209 16211 16185 0 -1 4202560 23781 1247 0 0 6613 30 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16211/tid=16232] ppid=16209 vsize=899160 CPUtime=66.58 cores=0-31
/proc/16211/task/16232/stat : 16232 (plingeling) R 16209 16211 16185 0 -1 4202560 27104 1247 0 0 6619 38 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16211/tid=16233] ppid=16209 vsize=899160 CPUtime=66.32 cores=0-31
/proc/16211/task/16233/stat : 16233 (plingeling) R 16209 16211 16185 0 -1 4202560 23935 1247 0 0 6596 35 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16211/tid=16234] ppid=16209 vsize=899160 CPUtime=66.18 cores=0-31
/proc/16211/task/16234/stat : 16234 (plingeling) R 16209 16211 16185 0 -1 4202560 21343 1247 0 0 6590 27 0 1 25 0 33 0 714574546 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16211/tid=16235] ppid=16209 vsize=899160 CPUtime=66.59 cores=0-31
/proc/16211/task/16235/stat : 16235 (plingeling) R 16209 16211 16185 0 -1 4202560 23039 1247 0 0 6630 28 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16211/tid=16236] ppid=16209 vsize=899160 CPUtime=66.57 cores=0-31
/proc/16211/task/16236/stat : 16236 (plingeling) R 16209 16211 16185 0 -1 4202560 22782 1247 0 0 6628 28 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16211/tid=16237] ppid=16209 vsize=899160 CPUtime=65.98 cores=0-31
/proc/16211/task/16237/stat : 16237 (plingeling) R 16209 16211 16185 0 -1 4202560 19851 1247 0 0 6572 25 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16211/tid=16238] ppid=16209 vsize=899160 CPUtime=66.47 cores=0-31
/proc/16211/task/16238/stat : 16238 (plingeling) R 16209 16211 16185 0 -1 4202560 26271 1247 0 0 6611 35 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16211/tid=16239] ppid=16209 vsize=899160 CPUtime=66.66 cores=0-31
/proc/16211/task/16239/stat : 16239 (plingeling) R 16209 16211 16185 0 -1 4202560 27909 1247 0 0 6633 32 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16211/tid=16240] ppid=16209 vsize=899160 CPUtime=66.37 cores=0-31
/proc/16211/task/16240/stat : 16240 (plingeling) R 16209 16211 16185 0 -1 4202560 20464 1247 0 0 6603 33 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16211/tid=16241] ppid=16209 vsize=899160 CPUtime=66.52 cores=0-31
/proc/16211/task/16241/stat : 16241 (plingeling) R 16209 16211 16185 0 -1 4202560 25882 1247 0 0 6619 32 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16211/tid=16242] ppid=16209 vsize=899160 CPUtime=66.57 cores=0-31
/proc/16211/task/16242/stat : 16242 (plingeling) R 16209 16211 16185 0 -1 4202560 21931 1247 0 0 6625 31 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16211/tid=16243] ppid=16209 vsize=899160 CPUtime=66.6 cores=0-31
/proc/16211/task/16243/stat : 16243 (plingeling) R 16209 16211 16185 0 -1 4202560 23919 1247 0 0 6625 34 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16211/tid=16244] ppid=16209 vsize=899160 CPUtime=66.56 cores=0-31
/proc/16211/task/16244/stat : 16244 (plingeling) R 16209 16211 16185 0 -1 4202560 20679 1247 0 0 6627 28 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16211/tid=16245] ppid=16209 vsize=899160 CPUtime=66.6 cores=0-31
/proc/16211/task/16245/stat : 16245 (plingeling) R 16209 16211 16185 0 -1 4202560 26109 1247 0 0 6630 29 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16211/tid=16246] ppid=16209 vsize=899160 CPUtime=66.5 cores=0-31
/proc/16211/task/16246/stat : 16246 (plingeling) R 16209 16211 16185 0 -1 4202560 23610 1247 0 0 6620 29 0 1 18 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16211/tid=16247] ppid=16209 vsize=899160 CPUtime=66.51 cores=0-31
/proc/16211/task/16247/stat : 16247 (plingeling) R 16209 16211 16185 0 -1 4202560 25882 1247 0 0 6618 32 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16211/tid=16248] ppid=16209 vsize=899160 CPUtime=66.57 cores=0-31
/proc/16211/task/16248/stat : 16248 (plingeling) R 16209 16211 16185 0 -1 4202560 21286 1247 0 0 6627 29 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16211/tid=16249] ppid=16209 vsize=899160 CPUtime=66.11 cores=0-31
/proc/16211/task/16249/stat : 16249 (plingeling) R 16209 16211 16185 0 -1 4202560 19609 1247 0 0 6583 27 0 1 25 0 33 0 714574547 920739840 77371 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2127.01
Current children cumulated vsize (KiB) 899160

[startup+67.7207 s]
/proc/loadavg: 31.65 31.73 31.92 21/439 17181
/proc/meminfo: memFree=255170224/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=897044 CPUtime=2149.66 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 758809 1247 0 0 213961 1004 0 1 18 0 8 0 714574537 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 224261 76851 176 55 0 222147 0
[pid=16211/tid=16219] ppid=16209 vsize=897044 CPUtime=67.2 cores=0-31
/proc/16211/task/16219/stat : 16219 (plingeling) R 16209 16211 16185 0 -1 4202560 26370 1247 0 0 6684 35 0 1 25 0 8 0 714574546 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16211/tid=16231] ppid=16209 vsize=897044 CPUtime=67.26 cores=0-31
/proc/16211/task/16231/stat : 16231 (plingeling) R 16209 16211 16185 0 -1 4202560 23793 1247 0 0 6695 30 0 1 25 0 8 0 714574546 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16211/tid=16235] ppid=16209 vsize=897044 CPUtime=67.41 cores=0-31
/proc/16211/task/16235/stat : 16235 (plingeling) R 16209 16211 16185 0 -1 4202560 23905 1247 0 0 6711 29 0 1 25 0 8 0 714574547 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16211/tid=16237] ppid=16209 vsize=897044 CPUtime=66.79 cores=0-31
/proc/16211/task/16237/stat : 16237 (plingeling) R 16209 16211 16185 0 -1 4202560 19851 1247 0 0 6653 25 0 1 25 0 8 0 714574547 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16211/tid=16247] ppid=16209 vsize=897044 CPUtime=67.33 cores=0-31
/proc/16211/task/16247/stat : 16247 (plingeling) R 16209 16211 16185 0 -1 4202560 25888 1247 0 0 6700 32 0 1 25 0 8 0 714574547 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16211/tid=16248] ppid=16209 vsize=897044 CPUtime=67.39 cores=0-31
/proc/16211/task/16248/stat : 16248 (plingeling) R 16209 16211 16185 0 -1 4202560 21293 1247 0 0 6709 29 0 1 25 0 8 0 714574547 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16211/tid=16249] ppid=16209 vsize=897044 CPUtime=66.92 cores=0-31
/proc/16211/task/16249/stat : 16249 (plingeling) R 16209 16211 16185 0 -1 4202560 19609 1247 0 0 6664 27 0 1 25 0 8 0 714574547 918573056 76851 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2149.66
Current children cumulated vsize (KiB) 897044

[startup+67.9008 s]
/proc/loadavg: 31.65 31.73 31.92 21/439 17181
/proc/meminfo: memFree=255170224/264257624 swapFree=67111528/67111528
[pid=16211] ppid=16209 vsize=610232 CPUtime=2150.29 cores=0-31
/proc/16211/stat : 16211 (plingeling) S 16209 16211 16185 0 -1 4202496 758814 1247 0 0 214024 1004 0 1 15 0 2 0 714574537 624877568 76680 268435456000 4194304 4417452 140736891586688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16211/statm: 152558 76680 176 55 0 150444 0
[pid=16211/tid=16249] ppid=16209 vsize=610232 CPUtime=67.1 cores=0-31
/proc/16211/task/16249/stat : 16249 (plingeling) R 16209 16211 16185 0 -1 4202560 19614 1247 0 0 6682 27 0 1 25 0 2 0 714574547 624877568 76680 268435456000 4194304 4417452 140736891586688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2150.29
Current children cumulated vsize (KiB) 610232

Child status: 10
Real time (s): 67.9931
CPU time (s): 2150.4
CPU user time (s): 2140.31
CPU system time (s): 10.0955
CPU usage (%): 3162.68
Max. virtual memory (cumulated for all children) (KiB): 910992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2140.31
system time used= 10.0955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 760077
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= 6534
involuntary context switches= 5859

runsolver used 0.373943 second user time and 1.55676 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 04:21:21
IDJOB=3372750
IDBENCH=83420
IDSOLVER=1852
FILE ID=node200/3372750-1306030881
RUNJOBID= node200-1306030881-16199
PBS_JOBID= 13387803
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372750-1306030881/watcher-3372750-1306030881 -o /tmp/evaluation-result-3372750-1306030881/solver-3372750-1306030881 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372750-1306030881.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=1947419916

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255505368 kB
Buffers:        454300 kB
Cached:        7897868 kB
SwapCached:          0 kB
Active:        7423164 kB
Inactive:       998096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255505368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              24 kB
Writeback:           0 kB
AnonPages:       69744 kB
Mapped:          13500 kB
Slab:           252912 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189028 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-22 04:22:29