Trace number 3439766

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
SArTagnan 2011-05-15 (fixed)SAT 19862 2507.65

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
MD5SUMf5a22d1154b549fd98215f1710a15f46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.650901
Satisfiable
(Un)Satisfiability was proved
Number of variables545
Number of clauses29734
Sum of the clauses size59963
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 229709
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3439766-1306965718/watcher-3439766-1306965718 -o /tmp/evaluation-result-3439766-1306965718/solver-3439766-1306965718 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439766-1306965718.cnf -threads=8 

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: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=19412 CPUtime=0 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 477 0 0 0 0 0 0 0 23 0 1 0 788988099 19877888 414 33554432000 4194304 4625164 140733790460528 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1459/statm: 4853 414 296 106 0 356 0
[pid=1459/tid=1460] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 47177385572274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 47177385572272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 47177385572274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 47177385572274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=95120 CPUtime=0 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 788988100 97402880 1205 33554432000 4194304 4625164 140733790460528 18446744073709551615 47177385572268 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.109475 s]
/proc/loadavg: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=445012 CPUtime=7.3 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 26564 0 0 0 726 4 0 0 25 0 8 0 788988099 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511926 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 111253 19296 405 106 0 106756 0
[pid=1459/tid=1460] ppid=1457 vsize=445012 CPUtime=0.92 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 3051 0 0 0 92 0 0 0 25 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4467266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=445012 CPUtime=0.9 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 1189 0 0 0 90 0 0 0 19 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=445012 CPUtime=0.9 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 4562 0 0 0 90 0 0 0 19 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4564019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=445012 CPUtime=0.91 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 2698 0 0 0 91 0 0 0 25 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=445012 CPUtime=0.91 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 2700 0 0 0 91 0 0 0 19 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=445012 CPUtime=0.91 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 2212 0 0 0 91 0 0 0 19 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 212039313817 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=445012 CPUtime=0.87 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 2449 0 0 0 87 0 0 0 25 0 8 0 788988100 455692288 19296 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 445012

[startup+1.03429 s]
/proc/loadavg: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=445012 CPUtime=8.1 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 27274 0 0 0 806 4 0 0 25 0 8 0 788988099 455692288 19667 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 111253 19672 386 106 0 106756 0
[pid=1459/tid=1460] ppid=1457 vsize=445012 CPUtime=1.02 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 3113 0 0 0 102 0 0 0 25 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=445012 CPUtime=1 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 1216 0 0 0 100 0 0 0 19 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=445012 CPUtime=1 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 4962 0 0 0 100 0 0 0 19 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4579408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=445012 CPUtime=1.01 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 2755 0 0 0 101 0 0 0 25 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=445012 CPUtime=1.01 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 2746 0 0 0 101 0 0 0 19 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=445012 CPUtime=1 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 2216 0 0 0 100 0 0 0 19 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352800 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=445012 CPUtime=0.97 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 2480 0 0 0 97 0 0 0 25 0 8 0 788988100 455692288 19672 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 445012

[startup+1.10128 s]
/proc/loadavg: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=445012 CPUtime=8.64 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 28413 0 0 0 859 5 0 0 25 0 8 0 788988099 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 111253 19239 362 106 0 106756 0
[pid=1459/tid=1460] ppid=1457 vsize=445012 CPUtime=1.08 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 3156 0 0 0 108 0 0 0 25 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=445012 CPUtime=1.07 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 1216 0 0 0 107 0 0 0 19 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=445012 CPUtime=1.06 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 5194 0 0 0 106 0 0 0 19 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4339400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=445012 CPUtime=1.08 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 2787 0 0 0 108 0 0 0 25 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=445012 CPUtime=1.07 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 2764 0 0 0 107 0 0 0 19 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=445012 CPUtime=1.07 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 2242 0 0 0 107 0 0 0 19 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=445012 CPUtime=1.05 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 3204 0 0 0 104 1 0 0 25 0 8 0 788988100 455692288 19239 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (KiB) 445012

[startup+1.20126 s]
/proc/loadavg: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=445012 CPUtime=9.44 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 29900 0 0 0 939 5 0 0 25 0 8 0 788988099 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4512763 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 111253 20203 376 106 0 106756 0
[pid=1459/tid=1460] ppid=1457 vsize=445012 CPUtime=1.18 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 3230 0 0 0 118 0 0 0 25 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=445012 CPUtime=1.17 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 1216 0 0 0 117 0 0 0 19 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=445012 CPUtime=1.16 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 5775 0 0 0 116 0 0 0 19 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4334248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=445012 CPUtime=1.18 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 2811 0 0 0 118 0 0 0 25 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=445012 CPUtime=1.17 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 2805 0 0 0 117 0 0 0 19 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4318673 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=445012 CPUtime=1.17 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 2935 0 0 0 117 0 0 0 19 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=445012 CPUtime=1.15 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 3206 0 0 0 114 1 0 0 25 0 8 0 788988100 455692288 20203 33554432000 4194304 4625164 140733790460528 18446744073709551615 4467377 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 445012

[startup+1.5012 s]
/proc/loadavg: 6.95 7.87 7.95 1/528 1459
/proc/meminfo: memFree=21778236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=449092 CPUtime=11.84 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 35353 0 0 0 1178 6 0 0 25 0 8 0 788988099 459870208 22248 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 112273 22248 379 106 0 107776 0
[pid=1459/tid=1460] ppid=1457 vsize=449092 CPUtime=1.48 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 4621 0 0 0 148 0 0 0 25 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=449092 CPUtime=1.46 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 1397 0 0 0 146 0 0 0 20 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=449092 CPUtime=1.47 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 7283 0 0 0 146 1 0 0 20 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=449092 CPUtime=1.47 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 2897 0 0 0 147 0 0 0 25 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=449092 CPUtime=1.47 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 3967 0 0 0 147 0 0 0 20 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=449092 CPUtime=1.47 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 3165 0 0 0 147 0 0 0 20 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=449092 CPUtime=1.45 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 3293 0 0 0 144 1 0 0 25 0 8 0 788988100 459870208 22249 33554432000 4194304 4625164 140733790460528 18446744073709551615 4291811 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 449092

[startup+3.11992 s]
/proc/loadavg: 7.12 7.89 7.96 10/536 1467
/proc/meminfo: memFree=21647236/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=477864 CPUtime=24.74 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 56333 0 0 0 2463 11 0 0 25 0 8 0 788988099 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 119466 33127 448 106 0 114969 0
[pid=1459/tid=1460] ppid=1457 vsize=477864 CPUtime=3.1 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 7481 0 0 0 309 1 0 0 18 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=477864 CPUtime=3.08 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 2641 0 0 0 308 0 0 0 18 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 212039322586 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=477864 CPUtime=3.05 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 12516 0 0 0 303 2 0 0 25 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=477864 CPUtime=3.09 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 4749 0 0 0 308 1 0 0 25 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4278661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=477864 CPUtime=3.09 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 6050 0 0 0 309 0 0 0 25 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=477864 CPUtime=3.09 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 4606 0 0 0 308 1 0 0 25 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 212055639067 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=477864 CPUtime=3.06 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 5275 0 0 0 305 1 0 0 25 0 8 0 788988100 489332736 33127 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 477864

[startup+6.30135 s]
/proc/loadavg: 7.12 7.89 7.96 9/536 1467
/proc/meminfo: memFree=21579672/32951124 swapFree=50328308/67111528
[pid=1459] ppid=1457 vsize=504576 CPUtime=50.16 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 103161 0 0 0 4998 18 0 0 25 0 8 0 788988099 516685824 49923 33554432000 4194304 4625164 140733790460528 18446744073709551615 4327700 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1459/statm: 126144 49923 462 106 0 121647 0
[pid=1459/tid=1460] ppid=1457 vsize=504576 CPUtime=6.31 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 12249 0 0 0 629 2 0 0 25 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=504576 CPUtime=6.27 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 4706 0 0 0 627 0 0 0 25 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1459/tid=1462] ppid=1457 vsize=504576 CPUtime=6.19 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 32295 0 0 0 615 4 0 0 25 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1459/tid=1463] ppid=1457 vsize=504576 CPUtime=6.29 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 7439 0 0 0 628 1 0 0 21 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1459/tid=1464] ppid=1457 vsize=504576 CPUtime=6.29 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 6817 0 0 0 628 1 0 0 20 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1459/tid=1465] ppid=1457 vsize=504576 CPUtime=6.29 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 6858 0 0 0 628 1 0 0 25 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=504576 CPUtime=6.26 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 7782 0 0 0 624 2 0 0 25 0 8 0 788988100 516685824 49955 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 307906 0 0 0 231579 120 0 0 25 0 8 0 788988100 26569191424 5639722 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=25946476 CPUtime=2294.98 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 252953 0 0 0 229368 130 0 0 25 0 8 0 788988100 26569191424 5639723 33554432000 4194304 4625164 140733790460528 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=25946476 CPUtime=2319.24 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 405044 0 0 0 231845 79 0 0 25 0 8 0 788988100 26569191424 5639724 33554432000 4194304 4625164 140733790460528 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=25946476 CPUtime=2311.37 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 287896 0 0 0 231059 78 0 0 25 0 8 0 788988100 26569191424 5639725 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 18391.3
Current children cumulated vsize (KiB) 25946476

[startup+2382.3 s]
/proc/loadavg: 8.09 8.16 8.15 9/536 1535
/proc/meminfo: memFree=2899980/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=26012012 CPUtime=18870.1 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 32681658 0 4206 0 1880169 6842 0 0 25 0 8 0 788988099 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 4714
/proc/1459/statm: 6503003 5654960 513 106 0 6498506 0
[pid=1459/tid=1460] ppid=1457 vsize=26012012 CPUtime=2375.76 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 426944 0 0 0 237506 70 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=26012012 CPUtime=2352.98 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 263164 0 0 0 235187 111 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 313
[pid=1459/tid=1462] ppid=1457 vsize=26012012 CPUtime=2345.05 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 17601262 0 0 0 231419 3086 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4335584 0 0 4096 2 0 0 0 -1 0 0 0 1403
[pid=1459/tid=1463] ppid=1457 vsize=26012012 CPUtime=2376.99 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 308263 0 0 0 237579 120 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=26012012 CPUtime=2354.97 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 253744 0 0 0 235366 131 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=26012012 CPUtime=2379.23 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 405100 0 0 0 237844 79 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=26012012 CPUtime=2371.38 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 288179 0 0 0 237059 79 0 0 25 0 8 0 788988100 26636300288 5654960 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 18870.1
Current children cumulated vsize (KiB) 26012012

[startup+2442.3 s]
/proc/loadavg: 8.08 8.14 8.14 9/536 1537
/proc/meminfo: memFree=2796544/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=26077548 CPUtime=19348.5 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 33268923 0 4247 0 1927902 6946 0 0 25 0 8 0 788988099 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 4753
/proc/1459/statm: 6519387 5682334 523 106 0 6514890 0
[pid=1459/tid=1460] ppid=1457 vsize=26077548 CPUtime=2435.76 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 427122 0 0 0 243506 70 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=26077548 CPUtime=2411.96 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 264467 0 0 0 241083 113 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 313
[pid=1459/tid=1462] ppid=1457 vsize=26077548 CPUtime=2405.02 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 18141300 0 0 0 237327 3175 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 1403
[pid=1459/tid=1463] ppid=1457 vsize=26077548 CPUtime=2436.99 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 308303 0 0 0 243579 120 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=26077548 CPUtime=2414.94 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 257583 0 0 0 241359 135 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=26077548 CPUtime=2439.21 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 406506 0 0 0 243842 79 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=26077548 CPUtime=2431.38 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 288786 0 0 0 243059 79 0 0 25 0 8 0 788988100 26703409152 5682334 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19348.5
Current children cumulated vsize (KiB) 26077548

[startup+2502.3 s]
/proc/loadavg: 8.03 8.11 8.13 9/536 1538
/proc/meminfo: memFree=2616964/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=26187036 CPUtime=19826.8 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 33788804 0 4308 0 1975641 7037 0 0 25 0 8 0 788988099 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4519559 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4808
/proc/1459/statm: 6546759 5726572 233 106 0 6542262 0
[pid=1459/tid=1460] ppid=1457 vsize=26187036 CPUtime=2495.77 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 427410 0 0 0 249506 71 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=26187036 CPUtime=2471.95 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 265120 0 0 0 247082 113 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 6 0 0 313
[pid=1459/tid=1462] ppid=1457 vsize=26187036 CPUtime=2464.71 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 18595319 0 0 0 243228 3243 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 1403
[pid=1459/tid=1463] ppid=1457 vsize=26187036 CPUtime=2496.99 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 308328 0 0 0 249579 120 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=26187036 CPUtime=2474.89 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 260386 0 0 0 247348 141 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=26187036 CPUtime=2499.19 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 406884 0 0 0 249840 79 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=26187036 CPUtime=2491.38 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 290062 0 0 0 249059 79 0 0 25 0 8 0 788988100 26815524864 5726572 33554432000 4194304 4625164 140733790460528 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19826.8
Current children cumulated vsize (KiB) 26187036

Solver just ended. Dumping a history of the last processes samples

[startup+2503.5 s]
/proc/loadavg: 8.02 8.11 8.13 9/536 1538
/proc/meminfo: memFree=2615596/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=26187036 CPUtime=19836.3 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 33789064 0 4311 0 1976594 7037 0 0 25 0 8 0 788988099 26815524864 5726811 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 6546759 5726811 233 106 0 6542262 0
[pid=1459/tid=1460] ppid=1457 vsize=26187036 CPUtime=2496.99 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 427410 0 0 0 249628 71 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=26187036 CPUtime=2473.17 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 265120 0 0 0 247204 113 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 313
[pid=1459/tid=1462] ppid=1457 vsize=26187036 CPUtime=2465.89 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 18595323 0 0 0 243346 3243 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 1403
[pid=1459/tid=1463] ppid=1457 vsize=26187036 CPUtime=2498.21 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 308328 0 0 0 249701 120 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=26187036 CPUtime=2476.09 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 260550 0 0 0 247467 142 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4349336 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=26187036 CPUtime=2500.41 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 406886 0 0 0 249962 79 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=26187036 CPUtime=2492.6 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 290063 0 0 0 249181 79 0 0 25 0 8 0 788988100 26815524864 5726813 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19836.3
Current children cumulated vsize (KiB) 26187036

[startup+2505.1 s]
/proc/loadavg: 8.02 8.11 8.13 9/536 1538
/proc/meminfo: memFree=2614604/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=26187036 CPUtime=19849.1 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) R 1457 1459 590 0 -1 4202496 33789428 0 4311 0 1977868 7038 0 0 25 0 8 0 788988099 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 6546759 5727160 231 106 0 6542262 0
[pid=1459/tid=1460] ppid=1457 vsize=26187036 CPUtime=2498.57 cores=0-7
/proc/1459/task/1460/stat : 1460 (SArTagnan) R 1457 1459 590 0 -1 4202560 427416 0 0 0 249786 71 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1459/tid=1461] ppid=1457 vsize=26187036 CPUtime=2474.75 cores=0-7
/proc/1459/task/1461/stat : 1461 (SArTagnan) R 1457 1459 590 0 -1 4202560 265120 0 0 0 247362 113 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 313
[pid=1459/tid=1462] ppid=1457 vsize=26187036 CPUtime=2467.45 cores=0-7
/proc/1459/task/1462/stat : 1462 (SArTagnan) R 1457 1459 590 0 -1 4202560 18595468 0 0 0 243502 3243 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 1403
[pid=1459/tid=1463] ppid=1457 vsize=26187036 CPUtime=2499.79 cores=0-7
/proc/1459/task/1463/stat : 1463 (SArTagnan) R 1457 1459 590 0 -1 4202560 308328 0 0 0 249859 120 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 11
[pid=1459/tid=1464] ppid=1457 vsize=26187036 CPUtime=2477.68 cores=0-7
/proc/1459/task/1464/stat : 1464 (SArTagnan) R 1457 1459 590 0 -1 4202560 260705 0 0 0 247625 143 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 1 0 0 116
[pid=1459/tid=1465] ppid=1457 vsize=26187036 CPUtime=2501.99 cores=0-7
/proc/1459/task/1465/stat : 1465 (SArTagnan) R 1457 1459 590 0 -1 4202560 406887 0 0 0 250120 79 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 6
[pid=1459/tid=1466] ppid=1457 vsize=26187036 CPUtime=2494.18 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4202560 290064 0 0 0 249339 79 0 0 25 0 8 0 788988100 26815524864 5727160 33554432000 4194304 4625164 140733790460528 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19849.1
Current children cumulated vsize (KiB) 26187036

[startup+2506.7 s]
/proc/loadavg: 8.02 8.11 8.13 9/536 1539
/proc/meminfo: memFree=2614108/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=0 CPUtime=19861.1 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) Z 1457 1459 590 0 -1 4203548 33789688 0 4319 0 1979060 7049 0 0 25 0 2 0 788988099 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 0 0 0 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=0 CPUtime=2495.78 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4203588 290065 0 0 0 249488 90 0 0 25 0 2 0 788988100 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19861.1
Current children cumulated vsize (KiB) 0

[startup+2507.1 s]
/proc/loadavg: 8.02 8.11 8.13 2/530 1539
/proc/meminfo: memFree=6842684/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=0 CPUtime=19861.5 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) Z 1457 1459 590 0 -1 4203548 33789688 0 4319 0 1979060 7089 0 0 25 0 2 0 788988099 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 0 0 0 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=0 CPUtime=2496.18 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4203588 290065 0 0 0 249488 130 0 0 25 0 2 0 788988100 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19861.5
Current children cumulated vsize (KiB) 0

[startup+2507.5 s]
/proc/loadavg: 8.02 8.11 8.13 2/530 1539
/proc/meminfo: memFree=6842684/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=0 CPUtime=19861.9 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) Z 1457 1459 590 0 -1 4203548 33789688 0 4319 0 1979060 7129 0 0 25 0 2 0 788988099 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 0 0 0 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=0 CPUtime=2496.58 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4203588 290065 0 0 0 249488 170 0 0 25 0 2 0 788988100 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19861.9
Current children cumulated vsize (KiB) 0

[startup+2507.6 s]
/proc/loadavg: 8.02 8.11 8.13 2/530 1539
/proc/meminfo: memFree=6842684/32951124 swapFree=46646012/67111528
[pid=1459] ppid=1457 vsize=0 CPUtime=19862 cores=0-7
/proc/1459/stat : 1459 (SArTagnan) Z 1457 1459 590 0 -1 4203548 33789688 0 4319 0 1979060 7139 0 0 25 0 2 0 788988099 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 4811
/proc/1459/statm: 0 0 0 0 0 0 0
[pid=1459/tid=1466] ppid=1457 vsize=0 CPUtime=2496.68 cores=0-7
/proc/1459/task/1466/stat : 1466 (SArTagnan) R 1457 1459 590 0 -1 4203588 290065 0 0 0 249488 180 0 0 25 0 2 0 788988100 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 215
Current children cumulated CPU time (s) 19862
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2507.65
CPU time (s): 19862
CPU user time (s): 19790.6
CPU system time (s): 71.4401
CPU usage (%): 792.059
Max. virtual memory (cumulated for all children) (KiB): 31341612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19790.6
system time used= 71.4401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33789688
page faults= 4319
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62638
involuntary context switches= 90202

runsolver used 12.0932 second user time and 33.4069 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-02 00:01:58
IDJOB=3439766
IDBENCH=88220
IDSOLVER=1936
FILE ID=node146/3439766-1306965718
RUNJOBID= node146-1306960404-614
PBS_JOBID= 13497605
Free space on /tmp= 73644 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439766-1306965718/watcher-3439766-1306965718 -o /tmp/evaluation-result-3439766-1306965718/solver-3439766-1306965718 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439766-1306965718.cnf -threads=8

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

MD5SUM BENCH= f5a22d1154b549fd98215f1710a15f46
RANDOM SEED=518240920

node146.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.830
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.66
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.830
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.830
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21778516 kB
Buffers:        162484 kB
Cached:         271236 kB
SwapCached:       9256 kB
Active:       10618828 kB
Inactive:       253724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21778516 kB
SwapTotal:    67111528 kB
SwapFree:     50328308 kB
Dirty:             920 kB
Writeback:           0 kB
AnonPages:    10437008 kB
Mapped:          27436 kB
Slab:           127836 kB
PageTables:      97340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160667780 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= 73640 MiB
End job on node146 at 2011-06-02 00:43:46