Trace number 3472521

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-R4095-patched (fixed)SAT 434.703 14.9054

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark434.703
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...824554/instance-3472521-1307824554.cnf
0.69/0.79	c Solving...
431.71/14.58	c Answer: 1
431.71/14.58	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
431.71/14.58	v -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38
431.71/14.58	v -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56
431.71/14.58	v -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74
431.71/14.58	v -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92
431.71/14.58	v -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108
431.71/14.58	v -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123
431.71/14.58	v -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138
431.71/14.58	v -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153
431.71/14.58	v -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168
431.71/14.58	v -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183
431.71/14.58	v -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198
431.71/14.58	v -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213
431.71/14.58	v -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228
431.71/14.58	v -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243
431.71/14.58	v -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258
431.71/14.58	v -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273
431.71/14.58	v -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288
431.71/14.58	v -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303
431.71/14.58	v -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318
431.71/14.58	v -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333
431.71/14.58	v -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348
431.71/14.58	v -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363
431.71/14.58	v -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378
431.71/14.58	v -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393
431.71/14.58	v -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408
431.71/14.58	v -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423
431.71/14.58	v -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438
431.71/14.58	v -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453
431.71/14.58	v -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468
431.71/14.58	v -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483
431.71/14.58	v -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498
431.71/14.58	v -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513
431.71/14.58	v -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528
431.71/14.58	v 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543
431.71/14.58	v -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558
431.71/14.58	v -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573
431.71/14.58	v -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588
431.71/14.58	v -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603
431.71/14.58	v 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618
431.71/14.58	v -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633
431.71/14.58	v -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648
431.71/14.58	v -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663
431.71/14.58	v -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678
431.71/14.58	v -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693
431.71/14.58	v -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708
431.71/14.58	v -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723
431.71/14.58	v -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738
431.71/14.58	v -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753
431.71/14.58	v -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768
431.71/14.58	v -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783
431.71/14.58	v -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798
431.71/14.58	v -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813
431.71/14.58	v -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828
431.71/14.58	v -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 0
434.69/14.90	s SATISFIABLE
434.69/14.90	
434.69/14.90	c Models        : 1+    
434.69/14.90	c Time          : 14.576s (Solving: 13.79s 1st Model: 13.79s Unsat: 0.00s)
434.69/14.90	c CPU Time      : 434.370s

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472521-1307824554/watcher-3472521-1307824554 -o /tmp/evaluation-result-3472521-1307824554/solver-3472521-1307824554 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472521-1307824554.cnf 

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

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


[startup+0 s]
/proc/loadavg: 24.15 25.89 28.99 1/413 12215
/proc/meminfo: memFree=261952664/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=22732 CPUtime=0.02 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 1063 0 0 0 2 0 0 0 21 0 1 0 47842331 23277568 897 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12215/statm: 5683 898 383 189 0 557 0

[startup+0.0849531 s]
/proc/loadavg: 24.15 25.89 28.99 1/413 12215
/proc/meminfo: memFree=261952664/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=26660 CPUtime=0.07 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 2387 0 0 0 7 0 0 0 21 0 1 0 47842331 27299840 1838 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12215/statm: 6665 1839 383 189 0 1539 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26660

[startup+0.100962 s]
/proc/loadavg: 24.15 25.89 28.99 1/413 12215
/proc/meminfo: memFree=261952664/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=27688 CPUtime=0.09 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 2666 0 0 0 8 1 0 0 21 0 1 0 47842331 28352512 2109 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12215/statm: 6922 2109 394 189 0 1796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27688

[startup+0.300983 s]
/proc/loadavg: 24.15 25.89 28.99 1/413 12215
/proc/meminfo: memFree=261952664/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=30132 CPUtime=0.29 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 3257 0 0 0 28 1 0 0 22 0 1 0 47842331 30855168 2700 270582939648 4194304 4964800 140733603532304 18446744073709551615 4607832 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12215/statm: 7533 2700 396 189 0 2407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30132

[startup+0.700973 s]
/proc/loadavg: 24.15 25.89 28.99 1/413 12215
/proc/meminfo: memFree=261952664/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=30132 CPUtime=0.69 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 3259 0 0 0 68 1 0 0 23 0 1 0 47842331 30855168 2702 270582939648 4194304 4964800 140733603532304 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12215/statm: 7533 2702 396 189 0 2407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30132

[startup+1.50289 s]
/proc/loadavg: 24.15 25.89 28.99 25/445 12247
/proc/meminfo: memFree=261940992/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=1011420 CPUtime=16.78 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 8334 0 0 0 1661 17 0 0 17 0 32 0 47842331 1035694080 7494 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/12215/statm: 252855 7495 461 189 0 247204 0
[pid=12215/tid=12217] ppid=12213 vsize=1011420 CPUtime=0.49 cores=0-31
/proc/12215/task/12217/stat : 12217 (claspmt) R 12213 12215 11974 0 -1 4202560 67 0 0 0 49 0 0 0 16 0 32 0 47842411 1035694080 7495 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12215/tid=12218] ppid=12213 vsize=1011420 CPUtime=0.5 cores=0-31
/proc/12215/task/12218/stat : 12218 (claspmt) R 12213 12215 11974 0 -1 4202560 184 0 0 0 50 0 0 0 16 0 32 0 47842411 1035694080 7495 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12215/tid=12219] ppid=12213 vsize=1011420 CPUtime=0.5 cores=0-31
/proc/12215/task/12219/stat : 12219 (claspmt) R 12213 12215 11974 0 -1 4202560 139 0 0 0 50 0 0 0 16 0 32 0 47842411 1035694080 7496 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12215/tid=12220] ppid=12213 vsize=1011420 CPUtime=0.3 cores=0-31
/proc/12215/task/12220/stat : 12220 (claspmt) R 12213 12215 11974 0 -1 4202560 69 0 0 0 30 0 0 0 18 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12215/tid=12221] ppid=12213 vsize=1011420 CPUtime=0.67 cores=0-31
/proc/12215/task/12221/stat : 12221 (claspmt) R 12213 12215 11974 0 -1 4202560 37 0 0 0 67 0 0 0 18 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12215/tid=12222] ppid=12213 vsize=1011420 CPUtime=0.44 cores=0-31
/proc/12215/task/12222/stat : 12222 (claspmt) R 12213 12215 11974 0 -1 4202560 309 0 0 0 43 1 0 0 18 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12215/tid=12223] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12223/stat : 12223 (claspmt) R 12213 12215 11974 0 -1 4202560 369 0 0 0 47 0 0 0 16 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12215/tid=12224] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12224/stat : 12224 (claspmt) R 12213 12215 11974 0 -1 4202560 86 0 0 0 47 0 0 0 18 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12215/tid=12225] ppid=12213 vsize=1011420 CPUtime=0.44 cores=0-31
/proc/12215/task/12225/stat : 12225 (claspmt) R 12213 12215 11974 0 -1 4202560 110 0 0 0 44 0 0 0 25 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12215/tid=12226] ppid=12213 vsize=1011420 CPUtime=0.42 cores=0-31
/proc/12215/task/12226/stat : 12226 (claspmt) R 12213 12215 11974 0 -1 4202560 151 0 0 0 42 0 0 0 18 0 32 0 47842411 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12215/tid=12227] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12227/stat : 12227 (claspmt) R 12213 12215 11974 0 -1 4202560 73 0 0 0 47 0 0 0 18 0 32 0 47842412 1035694080 7497 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12215/tid=12228] ppid=12213 vsize=1011420 CPUtime=0.52 cores=0-31
/proc/12215/task/12228/stat : 12228 (claspmt) R 12213 12215 11974 0 -1 4202560 85 0 0 0 52 0 0 0 25 0 32 0 47842412 1035694080 7498 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12215/tid=12229] ppid=12213 vsize=1011420 CPUtime=0.68 cores=0-31
/proc/12215/task/12229/stat : 12229 (claspmt) R 12213 12215 11974 0 -1 4202560 20 0 0 0 68 0 0 0 18 0 32 0 47842412 1035694080 7498 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12215/tid=12230] ppid=12213 vsize=1011420 CPUtime=0.48 cores=0-31
/proc/12215/task/12230/stat : 12230 (claspmt) R 12213 12215 11974 0 -1 4202560 294 0 0 0 48 0 0 0 18 0 32 0 47842412 1035694080 7498 270582939648 4194304 4964800 140733603532304 18446744073709551615 4653515 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12215/tid=12231] ppid=12213 vsize=1011420 CPUtime=0.46 cores=0-31
/proc/12215/task/12231/stat : 12231 (claspmt) R 12213 12215 11974 0 -1 4202560 215 0 0 0 46 0 0 0 18 0 32 0 47842412 1035694080 7499 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12215/tid=12232] ppid=12213 vsize=1011420 CPUtime=0.49 cores=0-31
/proc/12215/task/12232/stat : 12232 (claspmt) R 12213 12215 11974 0 -1 4202560 179 0 0 0 49 0 0 0 16 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12215/tid=12233] ppid=12213 vsize=1011420 CPUtime=0.49 cores=0-31
/proc/12215/task/12233/stat : 12233 (claspmt) R 12213 12215 11974 0 -1 4202560 174 0 0 0 49 0 0 0 16 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12215/tid=12234] ppid=12213 vsize=1011420 CPUtime=0.49 cores=0-31
/proc/12215/task/12234/stat : 12234 (claspmt) R 12213 12215 11974 0 -1 4202560 159 0 0 0 49 0 0 0 18 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12215/tid=12235] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12235/stat : 12235 (claspmt) R 12213 12215 11974 0 -1 4202560 72 0 0 0 47 0 0 0 18 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12215/tid=12236] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12236/stat : 12236 (claspmt) R 12213 12215 11974 0 -1 4202560 89 0 0 0 47 0 0 0 18 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12215/tid=12237] ppid=12213 vsize=1011420 CPUtime=0.67 cores=0-31
/proc/12215/task/12237/stat : 12237 (claspmt) R 12213 12215 11974 0 -1 4202560 31 0 0 0 67 0 0 0 18 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12215/tid=12238] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12238/stat : 12238 (claspmt) R 12213 12215 11974 0 -1 4202560 374 0 0 0 46 1 0 0 16 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12215/tid=12239] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12239/stat : 12239 (claspmt) R 12213 12215 11974 0 -1 4202560 322 0 0 0 47 0 0 0 16 0 32 0 47842412 1035694080 7500 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12215/tid=12240] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12240/stat : 12240 (claspmt) R 12213 12215 11974 0 -1 4202560 65 0 0 0 47 0 0 0 18 0 32 0 47842412 1035694080 7501 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12215/tid=12241] ppid=12213 vsize=1011420 CPUtime=0.48 cores=0-31
/proc/12215/task/12241/stat : 12241 (claspmt) R 12213 12215 11974 0 -1 4202560 76 0 0 0 48 0 0 0 18 0 32 0 47842412 1035694080 7502 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12215/tid=12242] ppid=12213 vsize=1011420 CPUtime=0.46 cores=0-31
/proc/12215/task/12242/stat : 12242 (claspmt) R 12213 12215 11974 0 -1 4202560 166 0 0 0 46 0 0 0 18 0 32 0 47842412 1035694080 7502 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12215/tid=12243] ppid=12213 vsize=1011420 CPUtime=0.47 cores=0-31
/proc/12215/task/12243/stat : 12243 (claspmt) R 12213 12215 11974 0 -1 4202560 158 0 0 0 47 0 0 0 16 0 32 0 47842412 1035694080 7502 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12215/tid=12244] ppid=12213 vsize=1011420 CPUtime=0.48 cores=0-31
/proc/12215/task/12244/stat : 12244 (claspmt) R 12213 12215 11974 0 -1 4202560 146 0 0 0 48 0 0 0 18 0 32 0 47842412 1035694080 7502 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12215/tid=12245] ppid=12213 vsize=1011420 CPUtime=0.58 cores=0-31
/proc/12215/task/12245/stat : 12245 (claspmt) R 12213 12215 11974 0 -1 4202560 30 0 0 0 58 0 0 0 19 0 32 0 47842412 1035694080 7502 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12215/tid=12246] ppid=12213 vsize=1011420 CPUtime=0.43 cores=0-31
/proc/12215/task/12246/stat : 12246 (claspmt) R 12213 12215 11974 0 -1 4202560 332 0 0 0 42 1 0 0 18 0 32 0 47842412 1035694080 7503 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12215/tid=12247] ppid=12213 vsize=1011420 CPUtime=0.49 cores=0-31
/proc/12215/task/12247/stat : 12247 (claspmt) R 12213 12215 11974 0 -1 4202560 244 0 0 0 49 0 0 0 16 0 32 0 47842412 1035694080 7503 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 1011420

[startup+3.10194 s]
/proc/loadavg: 24.15 25.89 28.99 33/445 12247
/proc/meminfo: memFree=261905180/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=1014088 CPUtime=67.75 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 19647 0 0 0 6725 50 0 0 18 0 32 0 47842331 1038426112 18807 270582939648 4194304 4964800 140733603532304 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/12215/statm: 253522 18808 461 189 0 247871 0
[pid=12215/tid=12217] ppid=12213 vsize=1014088 CPUtime=2.08 cores=0-31
/proc/12215/task/12217/stat : 12217 (claspmt) R 12213 12215 11974 0 -1 4202560 423 0 0 0 207 1 0 0 18 0 32 0 47842411 1038426112 18808 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12215/tid=12218] ppid=12213 vsize=1014088 CPUtime=2.09 cores=0-31
/proc/12215/task/12218/stat : 12218 (claspmt) R 12213 12215 11974 0 -1 4202560 683 0 0 0 208 1 0 0 18 0 32 0 47842411 1038426112 18808 270582939648 4194304 4964800 140733603532304 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12215/tid=12219] ppid=12213 vsize=1014088 CPUtime=2.09 cores=0-31
/proc/12215/task/12219/stat : 12219 (claspmt) R 12213 12215 11974 0 -1 4202560 482 0 0 0 208 1 0 0 18 0 32 0 47842411 1038426112 18808 270582939648 4194304 4964800 140733603532304 18446744073709551615 4338788 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12215/tid=12220] ppid=12213 vsize=1014088 CPUtime=1.85 cores=0-31
/proc/12215/task/12220/stat : 12220 (claspmt) R 12213 12215 11974 0 -1 4202560 384 0 0 0 184 1 0 0 20 0 32 0 47842411 1038426112 18809 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12215/tid=12221] ppid=12213 vsize=1014088 CPUtime=2.27 cores=0-31
/proc/12215/task/12221/stat : 12221 (claspmt) R 12213 12215 11974 0 -1 4202560 85 0 0 0 227 0 0 0 21 0 32 0 47842411 1038426112 18809 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12215/tid=12222] ppid=12213 vsize=1014088 CPUtime=2.04 cores=0-31
/proc/12215/task/12222/stat : 12222 (claspmt) R 12213 12215 11974 0 -1 4202560 525 0 0 0 202 2 0 0 19 0 32 0 47842411 1038426112 18810 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12215/tid=12223] ppid=12213 vsize=1014088 CPUtime=2.08 cores=0-31
/proc/12215/task/12223/stat : 12223 (claspmt) R 12213 12215 11974 0 -1 4202560 1081 0 0 0 205 3 0 0 18 0 32 0 47842411 1038426112 18810 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320961 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12215/tid=12224] ppid=12213 vsize=1014088 CPUtime=2.07 cores=0-31
/proc/12215/task/12224/stat : 12224 (claspmt) R 12213 12215 11974 0 -1 4202560 387 0 0 0 207 0 0 0 21 0 32 0 47842411 1038426112 18811 270582939648 4194304 4964800 140733603532304 18446744073709551615 4684197 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12215/tid=12225] ppid=12213 vsize=1014088 CPUtime=2.03 cores=0-31
/proc/12215/task/12225/stat : 12225 (claspmt) R 12213 12215 11974 0 -1 4202560 452 0 0 0 202 1 0 0 25 0 32 0 47842411 1038426112 18811 270582939648 4194304 4964800 140733603532304 18446744073709551615 4658556 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12215/tid=12226] ppid=12213 vsize=1014088 CPUtime=2.01 cores=0-31
/proc/12215/task/12226/stat : 12226 (claspmt) R 12213 12215 11974 0 -1 4202560 659 0 0 0 199 2 0 0 18 0 32 0 47842411 1038426112 18811 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12215/tid=12227] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12227/stat : 12227 (claspmt) R 12213 12215 11974 0 -1 4202560 317 0 0 0 206 0 0 0 18 0 32 0 47842412 1038426112 18811 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12215/tid=12228] ppid=12213 vsize=1014088 CPUtime=2.11 cores=0-31
/proc/12215/task/12228/stat : 12228 (claspmt) R 12213 12215 11974 0 -1 4202560 523 0 0 0 210 1 0 0 18 0 32 0 47842412 1038426112 18812 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12215/tid=12229] ppid=12213 vsize=1014088 CPUtime=2.27 cores=0-31
/proc/12215/task/12229/stat : 12229 (claspmt) R 12213 12215 11974 0 -1 4202560 60 0 0 0 227 0 0 0 21 0 32 0 47842412 1038426112 18813 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12215/tid=12230] ppid=12213 vsize=1014088 CPUtime=2.08 cores=0-31
/proc/12215/task/12230/stat : 12230 (claspmt) R 12213 12215 11974 0 -1 4202560 524 0 0 0 207 1 0 0 21 0 32 0 47842412 1038426112 18813 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12215/tid=12231] ppid=12213 vsize=1014088 CPUtime=2.05 cores=0-31
/proc/12215/task/12231/stat : 12231 (claspmt) R 12213 12215 11974 0 -1 4202560 907 0 0 0 203 2 0 0 21 0 32 0 47842412 1038426112 18813 270582939648 4194304 4964800 140733603532304 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12215/tid=12232] ppid=12213 vsize=1014088 CPUtime=2.09 cores=0-31
/proc/12215/task/12232/stat : 12232 (claspmt) R 12213 12215 11974 0 -1 4202560 591 0 0 0 207 2 0 0 18 0 32 0 47842412 1038426112 18813 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12215/tid=12233] ppid=12213 vsize=1014088 CPUtime=2.08 cores=0-31
/proc/12215/task/12233/stat : 12233 (claspmt) R 12213 12215 11974 0 -1 4202560 486 0 0 0 207 1 0 0 18 0 32 0 47842412 1038426112 18814 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12215/tid=12234] ppid=12213 vsize=1014088 CPUtime=2.09 cores=0-31
/proc/12215/task/12234/stat : 12234 (claspmt) R 12213 12215 11974 0 -1 4202560 635 0 0 0 207 2 0 0 18 0 32 0 47842412 1038426112 18814 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12215/tid=12235] ppid=12213 vsize=1014088 CPUtime=2.07 cores=0-31
/proc/12215/task/12235/stat : 12235 (claspmt) R 12213 12215 11974 0 -1 4202560 293 0 0 0 206 1 0 0 21 0 32 0 47842412 1038426112 18814 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12215/tid=12236] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12236/stat : 12236 (claspmt) R 12213 12215 11974 0 -1 4202560 420 0 0 0 205 1 0 0 19 0 32 0 47842412 1038426112 18815 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12215/tid=12237] ppid=12213 vsize=1014088 CPUtime=2.26 cores=0-31
/proc/12215/task/12237/stat : 12237 (claspmt) R 12213 12215 11974 0 -1 4202560 56 0 0 0 226 0 0 0 22 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12215/tid=12238] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12238/stat : 12238 (claspmt) R 12213 12215 11974 0 -1 4202560 671 0 0 0 205 1 0 0 18 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12215/tid=12239] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12239/stat : 12239 (claspmt) R 12213 12215 11974 0 -1 4202560 1049 0 0 0 203 3 0 0 18 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12215/tid=12240] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12240/stat : 12240 (claspmt) R 12213 12215 11974 0 -1 4202560 344 0 0 0 206 0 0 0 21 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12215/tid=12241] ppid=12213 vsize=1014088 CPUtime=2.07 cores=0-31
/proc/12215/task/12241/stat : 12241 (claspmt) R 12213 12215 11974 0 -1 4202560 361 0 0 0 206 1 0 0 21 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12215/tid=12242] ppid=12213 vsize=1014088 CPUtime=2.05 cores=0-31
/proc/12215/task/12242/stat : 12242 (claspmt) R 12213 12215 11974 0 -1 4202560 805 0 0 0 203 2 0 0 21 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12215/tid=12243] ppid=12213 vsize=1014088 CPUtime=2.07 cores=0-31
/proc/12215/task/12243/stat : 12243 (claspmt) R 12213 12215 11974 0 -1 4202560 489 0 0 0 206 1 0 0 18 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12215/tid=12244] ppid=12213 vsize=1014088 CPUtime=2.06 cores=0-31
/proc/12215/task/12244/stat : 12244 (claspmt) R 12213 12215 11974 0 -1 4202560 564 0 0 0 206 0 0 0 19 0 32 0 47842412 1038426112 18816 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12215/tid=12245] ppid=12213 vsize=1014088 CPUtime=2.18 cores=0-31
/proc/12215/task/12245/stat : 12245 (claspmt) R 12213 12215 11974 0 -1 4202560 63 0 0 0 218 0 0 0 25 0 32 0 47842412 1038426112 18817 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12215/tid=12246] ppid=12213 vsize=1014088 CPUtime=2.03 cores=0-31

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

[pid=12215/tid=12245] ppid=12213 vsize=1019528 CPUtime=5.37 cores=0-31
/proc/12215/task/12245/stat : 12245 (claspmt) R 12213 12215 11974 0 -1 4202560 154 0 0 0 537 0 0 0 25 0 32 0 47842412 1043996672 36733 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12215/tid=12246] ppid=12213 vsize=1019528 CPUtime=5.22 cores=0-31
/proc/12215/task/12246/stat : 12246 (claspmt) R 12213 12215 11974 0 -1 4202560 1113 0 0 0 519 3 0 0 22 0 32 0 47842412 1043996672 36734 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12215/tid=12247] ppid=12213 vsize=1019528 CPUtime=5.27 cores=0-31
/proc/12215/task/12247/stat : 12247 (claspmt) R 12213 12215 11974 0 -1 4202560 1770 0 0 0 521 6 0 0 18 0 32 0 47842412 1043996672 36735 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 169.84
Current children cumulated vsize (KiB) 1019528

[startup+12.7023 s]
/proc/loadavg: 25.35 26.09 29.02 33/445 12249
/proc/meminfo: memFree=261727676/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=1090660 CPUtime=374.2 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 57924 0 0 0 37262 158 0 0 19 0 32 0 47842331 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4321042 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/12215/statm: 272665 57080 463 189 0 267014 0
[pid=12215/tid=12217] ppid=12213 vsize=1090660 CPUtime=11.67 cores=0-31
/proc/12215/task/12217/stat : 12217 (claspmt) R 12213 12215 11974 0 -1 4202560 1164 0 0 0 1164 3 0 0 25 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12215/tid=12218] ppid=12213 vsize=1090660 CPUtime=11.67 cores=0-31
/proc/12215/task/12218/stat : 12218 (claspmt) R 12213 12215 11974 0 -1 4202560 2559 0 0 0 1161 6 0 0 19 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4660185 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12215/tid=12219] ppid=12213 vsize=1090660 CPUtime=11.67 cores=0-31
/proc/12215/task/12219/stat : 12219 (claspmt) R 12213 12215 11974 0 -1 4202560 1346 0 0 0 1164 3 0 0 25 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12215/tid=12220] ppid=12213 vsize=1090660 CPUtime=11.41 cores=0-31
/proc/12215/task/12220/stat : 12220 (claspmt) R 12213 12215 11974 0 -1 4202560 1657 0 0 0 1137 4 0 0 23 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12215/tid=12221] ppid=12213 vsize=1090660 CPUtime=11.86 cores=0-31
/proc/12215/task/12221/stat : 12221 (claspmt) R 12213 12215 11974 0 -1 4202560 935 0 0 0 1184 2 0 0 19 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12215/tid=12222] ppid=12213 vsize=1090660 CPUtime=11.63 cores=0-31
/proc/12215/task/12222/stat : 12222 (claspmt) R 12213 12215 11974 0 -1 4202560 1579 0 0 0 1159 4 0 0 25 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12215/tid=12223] ppid=12213 vsize=1090660 CPUtime=11.64 cores=0-31
/proc/12215/task/12223/stat : 12223 (claspmt) R 12213 12215 11974 0 -1 4202560 3050 0 0 0 1156 8 0 0 25 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4653159 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12215/tid=12224] ppid=12213 vsize=1090660 CPUtime=11.65 cores=0-31
/proc/12215/task/12224/stat : 12224 (claspmt) R 12213 12215 11974 0 -1 4202560 1153 0 0 0 1162 3 0 0 25 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12215/tid=12225] ppid=12213 vsize=1090660 CPUtime=11.62 cores=0-31
/proc/12215/task/12225/stat : 12225 (claspmt) R 12213 12215 11974 0 -1 4202560 1331 0 0 0 1158 4 0 0 20 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12215/tid=12226] ppid=12213 vsize=1090660 CPUtime=11.43 cores=0-31
/proc/12215/task/12226/stat : 12226 (claspmt) R 12213 12215 11974 0 -1 4202560 2613 0 0 0 1136 7 0 0 22 0 32 0 47842411 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4653191 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12215/tid=12227] ppid=12213 vsize=1090660 CPUtime=11.66 cores=0-31
/proc/12215/task/12227/stat : 12227 (claspmt) R 12213 12215 11974 0 -1 4202560 1313 0 0 0 1163 3 0 0 19 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12215/tid=12228] ppid=12213 vsize=1090660 CPUtime=11.69 cores=0-31
/proc/12215/task/12228/stat : 12228 (claspmt) R 12213 12215 11974 0 -1 4202560 1900 0 0 0 1165 4 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12215/tid=12229] ppid=12213 vsize=1090660 CPUtime=11.86 cores=0-31
/proc/12215/task/12229/stat : 12229 (claspmt) R 12213 12215 11974 0 -1 4202560 865 0 0 0 1185 1 0 0 20 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12215/tid=12230] ppid=12213 vsize=1090660 CPUtime=11.66 cores=0-31
/proc/12215/task/12230/stat : 12230 (claspmt) R 12213 12215 11974 0 -1 4202560 1406 0 0 0 1164 2 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4336812 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12215/tid=12231] ppid=12213 vsize=1090660 CPUtime=11.63 cores=0-31
/proc/12215/task/12231/stat : 12231 (claspmt) R 12213 12215 11974 0 -1 4202560 2864 0 0 0 1154 9 0 0 22 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12215/tid=12232] ppid=12213 vsize=1090660 CPUtime=11.68 cores=0-31
/proc/12215/task/12232/stat : 12232 (claspmt) R 12213 12215 11974 0 -1 4202560 1396 0 0 0 1164 4 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12215/tid=12233] ppid=12213 vsize=1090660 CPUtime=11.66 cores=0-31
/proc/12215/task/12233/stat : 12233 (claspmt) R 12213 12215 11974 0 -1 4202560 1262 0 0 0 1163 3 0 0 19 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12215/tid=12234] ppid=12213 vsize=1090660 CPUtime=11.67 cores=0-31
/proc/12215/task/12234/stat : 12234 (claspmt) R 12213 12215 11974 0 -1 4202560 2815 0 0 0 1161 6 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12215/tid=12235] ppid=12213 vsize=1090660 CPUtime=11.57 cores=0-31
/proc/12215/task/12235/stat : 12235 (claspmt) R 12213 12215 11974 0 -1 4202560 1223 0 0 0 1154 3 0 0 19 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12215/tid=12236] ppid=12213 vsize=1090660 CPUtime=11.65 cores=0-31
/proc/12215/task/12236/stat : 12236 (claspmt) R 12213 12215 11974 0 -1 4202560 1731 0 0 0 1160 5 0 0 22 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12215/tid=12237] ppid=12213 vsize=1090660 CPUtime=11.85 cores=0-31
/proc/12215/task/12237/stat : 12237 (claspmt) R 12213 12215 11974 0 -1 4202560 903 0 0 0 1182 3 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12215/tid=12238] ppid=12213 vsize=1090660 CPUtime=11.65 cores=0-31
/proc/12215/task/12238/stat : 12238 (claspmt) R 12213 12215 11974 0 -1 4202560 1602 0 0 0 1161 4 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12215/tid=12239] ppid=12213 vsize=1090660 CPUtime=11.64 cores=0-31
/proc/12215/task/12239/stat : 12239 (claspmt) R 12213 12215 11974 0 -1 4202560 2944 0 0 0 1153 11 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12215/tid=12240] ppid=12213 vsize=1090660 CPUtime=11.64 cores=0-31
/proc/12215/task/12240/stat : 12240 (claspmt) R 12213 12215 11974 0 -1 4202560 1170 0 0 0 1162 2 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12215/tid=12241] ppid=12213 vsize=1090660 CPUtime=11.67 cores=0-31
/proc/12215/task/12241/stat : 12241 (claspmt) R 12213 12215 11974 0 -1 4202560 1210 0 0 0 1163 4 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12215/tid=12242] ppid=12213 vsize=1090660 CPUtime=11.63 cores=0-31
/proc/12215/task/12242/stat : 12242 (claspmt) R 12213 12215 11974 0 -1 4202560 2803 0 0 0 1157 6 0 0 23 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12215/tid=12243] ppid=12213 vsize=1090660 CPUtime=11.66 cores=0-31
/proc/12215/task/12243/stat : 12243 (claspmt) R 12213 12215 11974 0 -1 4202560 1448 0 0 0 1161 5 0 0 18 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12215/tid=12244] ppid=12213 vsize=1090660 CPUtime=11.65 cores=0-31
/proc/12215/task/12244/stat : 12244 (claspmt) R 12213 12215 11974 0 -1 4202560 1804 0 0 0 1162 3 0 0 19 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12215/tid=12245] ppid=12213 vsize=1090660 CPUtime=11.77 cores=0-31
/proc/12215/task/12245/stat : 12245 (claspmt) R 12213 12215 11974 0 -1 4202560 841 0 0 0 1175 2 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12215/tid=12246] ppid=12213 vsize=1090660 CPUtime=11.61 cores=0-31
/proc/12215/task/12246/stat : 12246 (claspmt) R 12213 12215 11974 0 -1 4202560 1574 0 0 0 1157 4 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12215/tid=12247] ppid=12213 vsize=1090660 CPUtime=11.66 cores=0-31
/proc/12215/task/12247/stat : 12247 (claspmt) R 12213 12215 11974 0 -1 4202560 2760 0 0 0 1157 9 0 0 25 0 32 0 47842412 1116835840 57080 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 374.2
Current children cumulated vsize (KiB) 1090660

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

[startup+14.3213 s]
/proc/loadavg: 25.89 26.18 29.03 33/445 12249
/proc/meminfo: memFree=261722520/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=1090792 CPUtime=425.92 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 58967 0 0 0 42431 161 0 0 23 0 32 0 47842331 1116971008 58123 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/12215/statm: 272698 58124 463 189 0 267047 0
[pid=12215/tid=12217] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12217/stat : 12217 (claspmt) R 12213 12215 11974 0 -1 4202560 1167 0 0 0 1326 3 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12215/tid=12218] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12218/stat : 12218 (claspmt) R 12213 12215 11974 0 -1 4202560 2586 0 0 0 1323 6 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12215/tid=12219] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12219/stat : 12219 (claspmt) R 12213 12215 11974 0 -1 4202560 1357 0 0 0 1326 3 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12215/tid=12220] ppid=12213 vsize=1090792 CPUtime=13.02 cores=0-31
/proc/12215/task/12220/stat : 12220 (claspmt) R 12213 12215 11974 0 -1 4202560 1766 0 0 0 1298 4 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12215/tid=12221] ppid=12213 vsize=1090792 CPUtime=13.48 cores=0-31
/proc/12215/task/12221/stat : 12221 (claspmt) R 12213 12215 11974 0 -1 4202560 973 0 0 0 1345 3 0 0 22 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12215/tid=12222] ppid=12213 vsize=1090792 CPUtime=13.24 cores=0-31
/proc/12215/task/12222/stat : 12222 (claspmt) R 12213 12215 11974 0 -1 4202560 1604 0 0 0 1320 4 0 0 19 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12215/tid=12223] ppid=12213 vsize=1090792 CPUtime=13.26 cores=0-31
/proc/12215/task/12223/stat : 12223 (claspmt) R 12213 12215 11974 0 -1 4202560 3092 0 0 0 1318 8 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12215/tid=12224] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12224/stat : 12224 (claspmt) R 12213 12215 11974 0 -1 4202560 1193 0 0 0 1324 3 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12215/tid=12225] ppid=12213 vsize=1090792 CPUtime=13.24 cores=0-31
/proc/12215/task/12225/stat : 12225 (claspmt) R 12213 12215 11974 0 -1 4202560 1334 0 0 0 1320 4 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12215/tid=12226] ppid=12213 vsize=1090792 CPUtime=12.99 cores=0-31
/proc/12215/task/12226/stat : 12226 (claspmt) R 12213 12215 11974 0 -1 4202560 2658 0 0 0 1292 7 0 0 25 0 32 0 47842411 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12215/tid=12227] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12227/stat : 12227 (claspmt) R 12213 12215 11974 0 -1 4202560 1327 0 0 0 1324 3 0 0 24 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12215/tid=12228] ppid=12213 vsize=1090792 CPUtime=13.31 cores=0-31
/proc/12215/task/12228/stat : 12228 (claspmt) R 12213 12215 11974 0 -1 4202560 1904 0 0 0 1327 4 0 0 25 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12215/tid=12229] ppid=12213 vsize=1090792 CPUtime=13.48 cores=0-31
/proc/12215/task/12229/stat : 12229 (claspmt) R 12213 12215 11974 0 -1 4202560 874 0 0 0 1347 1 0 0 25 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12215/tid=12230] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12230/stat : 12230 (claspmt) R 12213 12215 11974 0 -1 4202560 1448 0 0 0 1326 3 0 0 25 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12215/tid=12231] ppid=12213 vsize=1090792 CPUtime=13.24 cores=0-31
/proc/12215/task/12231/stat : 12231 (claspmt) R 12213 12215 11974 0 -1 4202560 2871 0 0 0 1315 9 0 0 25 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12215/tid=12232] ppid=12213 vsize=1090792 CPUtime=13.3 cores=0-31
/proc/12215/task/12232/stat : 12232 (claspmt) R 12213 12215 11974 0 -1 4202560 1411 0 0 0 1326 4 0 0 25 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12215/tid=12233] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12233/stat : 12233 (claspmt) R 12213 12215 11974 0 -1 4202560 1309 0 0 0 1325 4 0 0 23 0 32 0 47842412 1116971008 58124 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12215/tid=12234] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12234/stat : 12234 (claspmt) R 12213 12215 11974 0 -1 4202560 2865 0 0 0 1323 6 0 0 18 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670203 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12215/tid=12235] ppid=12213 vsize=1090792 CPUtime=13.18 cores=0-31
/proc/12215/task/12235/stat : 12235 (claspmt) R 12213 12215 11974 0 -1 4202560 1242 0 0 0 1315 3 0 0 23 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12215/tid=12236] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12236/stat : 12236 (claspmt) R 12213 12215 11974 0 -1 4202560 1817 0 0 0 1322 5 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12215/tid=12237] ppid=12213 vsize=1090792 CPUtime=13.47 cores=0-31
/proc/12215/task/12237/stat : 12237 (claspmt) R 12213 12215 11974 0 -1 4202560 903 0 0 0 1344 3 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4337265 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12215/tid=12238] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12238/stat : 12238 (claspmt) R 12213 12215 11974 0 -1 4202560 1623 0 0 0 1323 4 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12215/tid=12239] ppid=12213 vsize=1090792 CPUtime=13.26 cores=0-31
/proc/12215/task/12239/stat : 12239 (claspmt) R 12213 12215 11974 0 -1 4202560 2981 0 0 0 1315 11 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12215/tid=12240] ppid=12213 vsize=1090792 CPUtime=13.26 cores=0-31
/proc/12215/task/12240/stat : 12240 (claspmt) R 12213 12215 11974 0 -1 4202560 1184 0 0 0 1324 2 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12215/tid=12241] ppid=12213 vsize=1090792 CPUtime=13.29 cores=0-31
/proc/12215/task/12241/stat : 12241 (claspmt) R 12213 12215 11974 0 -1 4202560 1279 0 0 0 1325 4 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12215/tid=12242] ppid=12213 vsize=1090792 CPUtime=13.25 cores=0-31
/proc/12215/task/12242/stat : 12242 (claspmt) R 12213 12215 11974 0 -1 4202560 2875 0 0 0 1319 6 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12215/tid=12243] ppid=12213 vsize=1090792 CPUtime=13.28 cores=0-31
/proc/12215/task/12243/stat : 12243 (claspmt) R 12213 12215 11974 0 -1 4202560 1455 0 0 0 1323 5 0 0 20 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12215/tid=12244] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12244/stat : 12244 (claspmt) R 12213 12215 11974 0 -1 4202560 1932 0 0 0 1324 3 0 0 24 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12215/tid=12245] ppid=12213 vsize=1090792 CPUtime=13.38 cores=0-31
/proc/12215/task/12245/stat : 12245 (claspmt) R 12213 12215 11974 0 -1 4202560 850 0 0 0 1336 2 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12215/tid=12246] ppid=12213 vsize=1090792 CPUtime=13.23 cores=0-31
/proc/12215/task/12246/stat : 12246 (claspmt) R 12213 12215 11974 0 -1 4202560 1580 0 0 0 1319 4 0 0 19 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12215/tid=12247] ppid=12213 vsize=1090792 CPUtime=13.27 cores=0-31
/proc/12215/task/12247/stat : 12247 (claspmt) R 12213 12215 11974 0 -1 4202560 2782 0 0 0 1318 9 0 0 25 0 32 0 47842412 1116971008 58125 270582939648 4194304 4964800 140733603532304 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 425.92
Current children cumulated vsize (KiB) 1090792

[startup+14.7015 s]
/proc/loadavg: 25.89 26.18 29.03 33/445 12249
/proc/meminfo: memFree=261722520/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=1000592 CPUtime=434.49 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 59100 0 0 0 43288 161 0 0 25 0 1 0 47842331 1024606208 58212 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/12215/statm: 250148 58212 474 189 0 244497 0
Current children cumulated CPU time (s) 434.49
Current children cumulated vsize (KiB) 1000592

[startup+14.9005 s]
/proc/loadavg: 25.89 26.18 29.03 33/445 12249
/proc/meminfo: memFree=261722520/264257624 swapFree=67111528/67111528
[pid=12215] ppid=12213 vsize=984388 CPUtime=434.69 cores=0-31
/proc/12215/stat : 12215 (claspmt) R 12213 12215 11974 0 -1 4202496 59100 0 0 0 43305 164 0 0 25 0 1 0 47842331 1008013312 10727 270582939648 4194304 4964800 140733603532304 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/12215/statm: 246097 10616 474 189 0 240446 0
Current children cumulated CPU time (s) 434.69
Current children cumulated vsize (KiB) 984388

Child status: 10
Real time (s): 14.9054
CPU time (s): 434.703
CPU user time (s): 433.057
CPU system time (s): 1.64575
CPU usage (%): 2916.41
Max. virtual memory (cumulated for all children) (KiB): 1090792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.057
system time used= 1.64575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59101
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= 25450
involuntary context switches= 1066

runsolver used 0.100984 second user time and 0.365944 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 22:35:54
IDJOB=3472521
IDBENCH=85973
IDSOLVER=1961
FILE ID=node200/3472521-1307824554
RUNJOBID= node200-1307824379-11988
PBS_JOBID= 13551021
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.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-3472521-1307824554/watcher-3472521-1307824554 -o /tmp/evaluation-result-3472521-1307824554/solver-3472521-1307824554 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472521-1307824554.cnf

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

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=1671415880

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      261953456 kB
Buffers:        297336 kB
Cached:        1684084 kB
SwapCached:          0 kB
Active:         326268 kB
Inactive:      1718724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261953456 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2720 kB
Writeback:           0 kB
AnonPages:       63516 kB
Mapped:          14872 kB
Slab:           185192 kB
PageTables:       4512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-11 22:36:10