Trace number 3322508

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
claspmt 2.0-R4095SAT 3153.86 394.995

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 benchmark91.1631
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3322508-1304387360/watcher-3322508-1304387360 -o /tmp/evaluation-result-3322508-1304387360/solver-3322508-1304387360 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322508-1304387360.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/stat : 17399 (claspmt) S 17397 17399 17373 0 -1 4202496 1096 0 0 0 0 0 0 0 25 0 8 0 628966642 122687488 992 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17399/statm: 29953 992 453 189 0 24302 0
[pid=17399/tid=17400] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 993 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 993 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) S 17397 17399 17373 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 993 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446604440321913152 0 0 -1 4 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) S 17397 17399 17373 0 -1 4202560 46 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 993 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446604440321913152 0 0 -1 4 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) S 17397 17399 17373 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 994 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446604440321913152 0 0 -1 4 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) S 17397 17399 17373 0 -1 4202560 53 0 0 0 0 0 0 0 25 0 8 0 628966643 122687488 994 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446604440321913152 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=119812 CPUtime=0 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 8 0 628966644 122687488 994 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284587041 0 0 4096 18946 0 0 0 -1 6 0 0 0

[startup+0.0211181 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=185480 CPUtime=0.03 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 1189 0 0 0 3 0 0 0 25 0 8 0 628966642 189931520 1085 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17399/statm: 46370 1085 464 189 0 40719 0
[pid=17399/tid=17400] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1085 33554432000 4194304 4964704 140734373092400 18446744073709551615 4660433 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1085 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668508 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1085 33554432000 4194304 4964704 140734373092400 18446744073709551615 224285030894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 54 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1086 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1086 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284587041 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) S 17397 17399 17373 0 -1 4202560 53 0 0 0 0 0 0 0 25 0 8 0 628966643 189931520 1086 33554432000 4194304 4964704 140734373092400 18446744073709551615 224296741785 0 0 4096 18946 18446604440321913152 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=185480 CPUtime=0 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 112 0 0 0 0 0 0 0 18 0 8 0 628966644 189931520 1086 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 185480

[startup+0.113294 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=316816 CPUtime=1.36 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 1740 0 0 0 136 0 0 0 25 0 8 0 628966642 324419584 1636 33554432000 4194304 4964704 140734373092400 18446744073709551615 224285030943 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79204 1703 464 189 0 73553 0
[pid=17399/tid=17400] ppid=17397 vsize=316816 CPUtime=0.28 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 142 0 0 0 28 0 0 0 25 0 8 0 628966643 324419584 1815 33554432000 4194304 4964704 140734373092400 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=316952 CPUtime=0.37 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 204 0 0 0 37 0 0 0 25 0 8 0 628966643 324558848 1981 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=316952 CPUtime=0.36 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 154 0 0 0 36 0 0 0 18 0 8 0 628966643 324558848 1981 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=317352 CPUtime=0.63 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) S 17397 17399 17373 0 -1 4202560 197 0 0 0 63 0 0 0 18 0 8 0 628966643 324968448 2333 33554432000 4194304 4964704 140734373092400 18446744073709551615 224285030894 0 0 4096 18946 18446604440321913152 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=317488 CPUtime=0.8 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 182 0 0 0 80 0 0 0 25 0 8 0 628966643 325107712 2532 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284969143 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=317488 CPUtime=0.79 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 226 0 0 0 79 0 0 0 25 0 8 0 628966643 325107712 2533 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=317488 CPUtime=0.8 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 327 0 0 0 80 0 0 0 19 0 8 0 628966644 325107712 2533 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320989 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 316816

[startup+0.924925 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=317620 CPUtime=7.23 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 2751 0 0 0 722 1 0 0 25 0 8 0 628966642 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4342228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79405 2647 464 189 0 73754 0
[pid=17399/tid=17400] ppid=17397 vsize=317620 CPUtime=0.9 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 278 0 0 0 90 0 0 0 25 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4682029 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=317620 CPUtime=0.9 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 332 0 0 0 90 0 0 0 18 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=317620 CPUtime=0.89 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 221 0 0 0 89 0 0 0 19 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4660034 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=317620 CPUtime=0.9 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 238 0 0 0 90 0 0 0 19 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=317620 CPUtime=0.9 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 187 0 0 0 90 0 0 0 25 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=317620 CPUtime=0.89 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 240 0 0 0 89 0 0 0 25 0 8 0 628966643 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=317620 CPUtime=0.9 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 342 0 0 0 90 0 0 0 19 0 8 0 628966644 325242880 2647 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 317620

[startup+1.02491 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=317620 CPUtime=8.03 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 2786 0 0 0 802 1 0 0 25 0 8 0 628966642 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4653219 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79405 2682 464 189 0 73754 0
[pid=17399/tid=17400] ppid=17397 vsize=317620 CPUtime=1 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 280 0 0 0 100 0 0 0 25 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284584365 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=317620 CPUtime=1 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 339 0 0 0 100 0 0 0 18 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=317620 CPUtime=0.99 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 229 0 0 0 99 0 0 0 19 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669013 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=317620 CPUtime=1 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 243 0 0 0 100 0 0 0 19 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=317620 CPUtime=1 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 191 0 0 0 100 0 0 0 25 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=317620 CPUtime=0.99 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 244 0 0 0 99 0 0 0 25 0 8 0 628966643 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4660083 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=317620 CPUtime=1 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 345 0 0 0 100 0 0 0 19 0 8 0 628966644 325242880 2682 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 317620

[startup+1.50083 s]
/proc/loadavg: 7.41 7.90 8.01 2/359 17399
/proc/meminfo: memFree=6903468/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=317900 CPUtime=11.83 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 3107 0 0 0 1182 1 0 0 25 0 8 0 628966642 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4654523 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79475 3003 464 189 0 73824 0
[pid=17399/tid=17400] ppid=17397 vsize=317900 CPUtime=1.48 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 331 0 0 0 148 0 0 0 25 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=317900 CPUtime=1.48 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 400 0 0 0 148 0 0 0 19 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=317900 CPUtime=1.47 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 256 0 0 0 147 0 0 0 20 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4346000 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=317900 CPUtime=1.47 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 294 0 0 0 147 0 0 0 20 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=317900 CPUtime=1.48 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 209 0 0 0 148 0 0 0 25 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=317900 CPUtime=1.46 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 292 0 0 0 146 0 0 0 25 0 8 0 628966643 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=317900 CPUtime=1.48 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 384 0 0 0 148 0 0 0 20 0 8 0 628966644 325529600 3003 33554432000 4194304 4964704 140734373092400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 317900

[startup+3.10056 s]
/proc/loadavg: 7.46 7.90 8.01 9/367 17407
/proc/meminfo: memFree=6891124/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=318440 CPUtime=24.6 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 3874 0 0 0 2458 2 0 0 25 0 8 0 628966642 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4362522 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79610 3770 464 189 0 73959 0
[pid=17399/tid=17400] ppid=17397 vsize=318440 CPUtime=3.07 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 447 0 0 0 307 0 0 0 20 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=318440 CPUtime=3.08 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 560 0 0 0 308 0 0 0 22 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=318440 CPUtime=3.07 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 329 0 0 0 307 0 0 0 25 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4342154 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=318440 CPUtime=3.05 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 403 0 0 0 305 0 0 0 25 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=318440 CPUtime=3.08 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 262 0 0 0 308 0 0 0 25 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4324701 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=318440 CPUtime=3.06 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 379 0 0 0 306 0 0 0 25 0 8 0 628966643 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4684024 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=318440 CPUtime=3.08 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 487 0 0 0 308 0 0 0 25 0 8 0 628966644 326082560 3770 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 318440

[startup+6.30103 s]
/proc/loadavg: 7.46 7.90 8.01 9/367 17409
/proc/meminfo: memFree=6888644/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=318712 CPUtime=50.14 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 4543 0 0 0 5010 4 0 0 25 0 8 0 628966642 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4627338 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17399/statm: 79678 4439 464 189 0 74027 0
[pid=17399/tid=17400] ppid=17397 vsize=318712 CPUtime=6.27 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 609 0 0 0 627 0 0 0 25 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=318712 CPUtime=6.28 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 684 0 0 0 628 0 0 0 22 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=318712 CPUtime=6.27 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 378 0 0 0 627 0 0 0 25 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=318712 CPUtime=6.2 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 500 0 0 0 620 0 0 0 25 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=318712 CPUtime=6.26 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 285 0 0 0 626 0 0 0 25 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=318712 CPUtime=6.26 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 460 0 0 0 626 0 0 0 25 0 8 0 628966643 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=318712 CPUtime=6.28 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 572 0 0 0 627 1 0 0 25 0 8 0 628966644 326361088 4439 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0

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

/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1335 0 0 0 37106 17 0 0 25 0 8 0 628966643 335007744 14345 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327156 CPUtime=371.5 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1146 0 0 0 37135 15 0 0 25 0 8 0 628966643 335007744 14345 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327156 CPUtime=371.58 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1796 0 0 0 37142 16 0 0 25 0 8 0 628966643 335007744 14345 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670080 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327156 CPUtime=371.58 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1485 0 0 0 37140 18 0 0 25 0 8 0 628966644 335007744 14345 33554432000 4194304 4964704 140734373092400 18446744073709551615 4325305 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2968.7
Current children cumulated vsize (KiB) 327156

[startup+384.614 s]
/proc/loadavg: 8.05 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849544/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327308 CPUtime=3071.02 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14616 0 0 0 306962 140 0 0 25 0 8 0 628966642 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81827 14512 464 189 0 76176 0
[pid=17399/tid=17400] ppid=17397 vsize=327308 CPUtime=384.46 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3551 0 0 0 38428 18 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4660369 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327308 CPUtime=384.5 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1922 0 0 0 38436 14 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327308 CPUtime=380.63 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1304 0 0 0 38047 16 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327308 CPUtime=383.88 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1336 0 0 0 38371 17 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327308 CPUtime=384.31 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1171 0 0 0 38416 15 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4658136 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327308 CPUtime=384.39 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1853 0 0 0 38422 17 0 0 25 0 8 0 628966643 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669443 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327308 CPUtime=384.39 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1485 0 0 0 38421 18 0 0 25 0 8 0 628966644 335163392 14512 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3071.02
Current children cumulated vsize (KiB) 327308

[startup+391.001 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849416/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327444 CPUtime=3122.04 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14701 0 0 0 312062 142 0 0 25 0 8 0 628966642 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670281 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81861 14597 464 189 0 76210 0
[pid=17399/tid=17400] ppid=17397 vsize=327444 CPUtime=390.86 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3562 0 0 0 39067 19 0 0 25 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327444 CPUtime=390.89 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1922 0 0 0 39074 15 0 0 25 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4660057 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327444 CPUtime=387.01 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1316 0 0 0 38685 16 0 0 25 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327444 CPUtime=390.21 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39003 18 0 0 20 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327444 CPUtime=390.7 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39054 16 0 0 25 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669997 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327444 CPUtime=390.77 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1886 0 0 0 39060 17 0 0 25 0 8 0 628966643 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327444 CPUtime=390.78 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1485 0 0 0 39059 19 0 0 25 0 8 0 628966644 335302656 14597 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3122.04
Current children cumulated vsize (KiB) 327444

[startup+392.601 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849292/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327444 CPUtime=3134.81 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14724 0 0 0 313339 142 0 0 25 0 8 0 628966642 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81861 14620 464 189 0 76210 0
[pid=17399/tid=17400] ppid=17397 vsize=327444 CPUtime=392.46 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3573 0 0 0 39227 19 0 0 25 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284593114 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327444 CPUtime=392.49 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1922 0 0 0 39234 15 0 0 25 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327444 CPUtime=388.61 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1316 0 0 0 38845 16 0 0 25 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4325732 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327444 CPUtime=391.78 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39160 18 0 0 25 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327444 CPUtime=392.3 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39214 16 0 0 18 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327444 CPUtime=392.37 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1898 0 0 0 39220 17 0 0 25 0 8 0 628966643 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327444 CPUtime=392.38 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1485 0 0 0 39219 19 0 0 25 0 8 0 628966644 335302656 14620 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3134.81
Current children cumulated vsize (KiB) 327444

[startup+394.2 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849292/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327596 CPUtime=3147.59 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14759 0 0 0 314617 142 0 0 25 0 8 0 628966642 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81899 14655 464 189 0 76248 0
[pid=17399/tid=17400] ppid=17397 vsize=327596 CPUtime=394.06 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3584 0 0 0 39387 19 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669306 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327596 CPUtime=394.09 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1930 0 0 0 39394 15 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327596 CPUtime=390.21 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1317 0 0 0 39005 16 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4312169 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327596 CPUtime=393.36 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39318 18 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327596 CPUtime=393.9 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39374 16 0 0 21 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327596 CPUtime=393.97 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1906 0 0 0 39380 17 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327596 CPUtime=393.98 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1486 0 0 0 39379 19 0 0 25 0 8 0 628966644 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3147.59
Current children cumulated vsize (KiB) 327596

[startup+394.6 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849044/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327596 CPUtime=3150.78 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14759 0 0 0 314936 142 0 0 25 0 8 0 628966642 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81899 14655 464 189 0 76248 0
[pid=17399/tid=17400] ppid=17397 vsize=327596 CPUtime=394.46 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3584 0 0 0 39427 19 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4627461 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327596 CPUtime=394.49 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1930 0 0 0 39434 15 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327596 CPUtime=390.61 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1317 0 0 0 39045 16 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4653356 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327596 CPUtime=393.75 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39357 18 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670145 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327596 CPUtime=394.3 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39414 16 0 0 22 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327596 CPUtime=394.37 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1906 0 0 0 39420 17 0 0 25 0 8 0 628966643 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327596 CPUtime=394.38 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1486 0 0 0 39419 19 0 0 25 0 8 0 628966644 335458304 14655 33554432000 4194304 4964704 140734373092400 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3150.78
Current children cumulated vsize (KiB) 327596

[startup+394.801 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849044/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327596 CPUtime=3152.39 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14765 0 0 0 315096 143 0 0 25 0 8 0 628966642 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670080 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81899 14661 464 189 0 76248 0
[pid=17399/tid=17400] ppid=17397 vsize=327596 CPUtime=394.66 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3584 0 0 0 39447 19 0 0 25 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327596 CPUtime=394.69 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1930 0 0 0 39454 15 0 0 25 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4361367 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327596 CPUtime=390.81 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1317 0 0 0 39065 16 0 0 25 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327596 CPUtime=393.95 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39377 18 0 0 25 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669462 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327596 CPUtime=394.5 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39434 16 0 0 23 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4684720 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327596 CPUtime=394.57 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1906 0 0 0 39440 17 0 0 25 0 8 0 628966643 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327596 CPUtime=394.58 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1486 0 0 0 39439 19 0 0 25 0 8 0 628966644 335458304 14661 33554432000 4194304 4964704 140734373092400 18446744073709551615 224284593114 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3152.39
Current children cumulated vsize (KiB) 327596

[startup+394.901 s]
/proc/loadavg: 8.04 8.00 8.00 9/367 17419
/proc/meminfo: memFree=6849044/32951124 swapFree=61020464/67111528
[pid=17399] ppid=17397 vsize=327596 CPUtime=3153.19 cores=0-7
/proc/17399/stat : 17399 (claspmt) R 17397 17399 17373 0 -1 4202496 14773 0 0 0 315176 143 0 0 25 0 8 0 628966642 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/17399/statm: 81899 14669 464 189 0 76248 0
[pid=17399/tid=17400] ppid=17397 vsize=327596 CPUtime=394.76 cores=0-7
/proc/17399/task/17400/stat : 17400 (claspmt) R 17397 17399 17373 0 -1 4202560 3584 0 0 0 39457 19 0 0 25 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=327596 CPUtime=394.79 cores=0-7
/proc/17399/task/17401/stat : 17401 (claspmt) R 17397 17399 17373 0 -1 4202560 1930 0 0 0 39464 15 0 0 25 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669192 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=327596 CPUtime=390.91 cores=0-7
/proc/17399/task/17402/stat : 17402 (claspmt) R 17397 17399 17373 0 -1 4202560 1317 0 0 0 39075 16 0 0 25 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=327596 CPUtime=394.05 cores=0-7
/proc/17399/task/17403/stat : 17403 (claspmt) R 17397 17399 17373 0 -1 4202560 1344 0 0 0 39387 18 0 0 25 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=327596 CPUtime=394.6 cores=0-7
/proc/17399/task/17404/stat : 17404 (claspmt) R 17397 17399 17373 0 -1 4202560 1178 0 0 0 39444 16 0 0 23 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=327596 CPUtime=394.67 cores=0-7
/proc/17399/task/17405/stat : 17405 (claspmt) R 17397 17399 17373 0 -1 4202560 1914 0 0 0 39450 17 0 0 25 0 8 0 628966643 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670049 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=327596 CPUtime=394.68 cores=0-7
/proc/17399/task/17406/stat : 17406 (claspmt) R 17397 17399 17373 0 -1 4202560 1486 0 0 0 39449 19 0 0 18 0 8 0 628966644 335458304 14669 33554432000 4194304 4964704 140734373092400 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3153.19
Current children cumulated vsize (KiB) 327596

Child status: 10
Real time (s): 394.995
CPU time (s): 3153.86
CPU user time (s): 3152.42
CPU system time (s): 1.43578
CPU usage (%): 798.455
Max. virtual memory (cumulated for all children) (KiB): 327596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3152.42
system time used= 1.43578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14784
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= 198587
involuntary context switches= 14477

runsolver used 1.46278 second user time and 3.20451 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-03 03:49:20
IDJOB=3322508
IDBENCH=83420
IDSOLVER=1711
FILE ID=node118/3322508-1304387360
RUNJOBID= node118-1304387360-17387
PBS_JOBID= 13181815
Free space on /tmp= 73240 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322508-1304387360/watcher-3322508-1304387360 -o /tmp/evaluation-result-3322508-1304387360/solver-3322508-1304387360 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322508-1304387360.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=691273150

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       6903624 kB
Buffers:         30936 kB
Cached:         181424 kB
SwapCached:      96828 kB
Active:       12758216 kB
Inactive:     13050300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6903624 kB
SwapTotal:    67111528 kB
SwapFree:     61020464 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:    25511352 kB
Mapped:          17236 kB
Slab:            79752 kB
PageTables:      89840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88625780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73240 MiB
End job on node118 at 2011-05-03 03:55:55