Trace number 3372888

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 5901.75 186.472

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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 30.49 31.37 29.92 1/413 31124
/proc/meminfo: memFree=255355848/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=13844 CPUtime=0.02 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 1535 1238 0 0 2 0 0 0 22 0 1 0 725025696 14176256 1466 268435456000 4194304 4417452 140735546350928 18446744073709551615 258650649816 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 3461 1466 145 55 0 1347 0

[startup+0.106884 s]
/proc/loadavg: 30.49 31.37 29.92 1/413 31124
/proc/meminfo: memFree=255355848/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=20248 CPUtime=0.09 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 3177 1238 0 0 9 0 0 0 22 0 1 0 725025696 20733952 3084 268435456000 4194304 4417452 140735546350928 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 5062 3084 146 55 0 2948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20248

[startup+0.200891 s]
/proc/loadavg: 30.49 31.37 29.92 1/413 31124
/proc/meminfo: memFree=255355848/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=28580 CPUtime=0.19 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 5422 1238 0 0 18 1 0 0 23 0 1 0 725025696 29265920 5167 268435456000 4194304 4417452 140735546350928 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 7145 5167 146 55 0 5031 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28580

[startup+0.300894 s]
/proc/loadavg: 30.49 31.37 29.92 1/413 31124
/proc/meminfo: memFree=255355848/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=44636 CPUtime=0.29 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 9776 1238 0 0 27 2 0 0 23 0 1 0 725025696 45707264 9181 268435456000 4194304 4417452 140735546350928 18446744073709551615 4320656 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 11159 9181 146 55 0 9045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44636

[startup+0.7009 s]
/proc/loadavg: 30.49 31.37 29.92 1/413 31124
/proc/meminfo: memFree=255355848/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=77404 CPUtime=0.68 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 17968 1238 0 0 65 3 0 0 25 0 1 0 725025696 79261696 17373 268435456000 4194304 4417452 140735546350928 18446744073709551615 4274464 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 19351 17373 146 55 0 17237 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77404

[startup+1.50095 s]
/proc/loadavg: 28.12 30.87 29.77 2/414 31130
/proc/meminfo: memFree=255220556/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=142940 CPUtime=1.48 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 34352 1238 0 0 141 7 0 0 25 0 1 0 725025696 146370560 33757 268435456000 4194304 4417452 140735546350928 18446744073709551615 4231373 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31124/statm: 35735 33757 146 55 0 33621 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 142940

[startup+3.10185 s]
/proc/loadavg: 28.12 30.87 29.77 33/446 31162
/proc/meminfo: memFree=255211580/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=670616 CPUtime=49.31 cores=0-31
/proc/31124/stat : 31124 (plingeling) S 31122 31124 31031 0 -1 4202496 71222 1238 0 0 4907 24 0 0 21 0 33 0 725025696 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/31124/statm: 167654 43738 175 55 0 165540 0
[pid=31124/tid=31131] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31131/stat : 31131 (plingeling) R 31122 31124 31031 0 -1 4202560 1280 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31132/stat : 31132 (plingeling) R 31122 31124 31031 0 -1 4202560 1227 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31133/stat : 31133 (plingeling) R 31122 31124 31031 0 -1 4202560 784 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=670616 CPUtime=1.46 cores=0-31
/proc/31124/task/31134/stat : 31134 (plingeling) R 31122 31124 31031 0 -1 4202560 8 1238 0 0 146 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31135/stat : 31135 (plingeling) R 31122 31124 31031 0 -1 4202560 1341 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31136/stat : 31136 (plingeling) R 31122 31124 31031 0 -1 4202560 1518 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31137/stat : 31137 (plingeling) R 31122 31124 31031 0 -1 4202560 972 1238 0 0 149 0 0 0 18 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4248242 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31138/stat : 31138 (plingeling) R 31122 31124 31031 0 -1 4202560 819 1238 0 0 149 0 0 0 23 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31139/stat : 31139 (plingeling) R 31122 31124 31031 0 -1 4202560 1238 1238 0 0 148 0 0 0 23 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31140/stat : 31140 (plingeling) R 31122 31124 31031 0 -1 4202560 1158 1238 0 0 149 0 0 0 23 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31141/stat : 31141 (plingeling) R 31122 31124 31031 0 -1 4202560 1451 1238 0 0 149 0 0 0 23 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4376693 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31142/stat : 31142 (plingeling) R 31122 31124 31031 0 -1 4202560 956 1238 0 0 148 0 0 0 20 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31143/stat : 31143 (plingeling) R 31122 31124 31031 0 -1 4202560 819 1238 0 0 149 0 0 0 19 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346369 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31124/tid=31144] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31144/stat : 31144 (plingeling) R 31122 31124 31031 0 -1 4202560 1079 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31124/tid=31145] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31145/stat : 31145 (plingeling) R 31122 31124 31031 0 -1 4202560 1499 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31124/tid=31146] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31146/stat : 31146 (plingeling) R 31122 31124 31031 0 -1 4202560 1216 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31124/tid=31147] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31147/stat : 31147 (plingeling) R 31122 31124 31031 0 -1 4202560 1148 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31124/tid=31148] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31148/stat : 31148 (plingeling) R 31122 31124 31031 0 -1 4202560 1437 1238 0 0 149 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31124/tid=31149] ppid=31122 vsize=670616 CPUtime=1.47 cores=0-31
/proc/31124/task/31149/stat : 31149 (plingeling) R 31122 31124 31031 0 -1 4202560 1289 1238 0 0 147 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4236324 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31124/tid=31150] ppid=31122 vsize=670616 CPUtime=1.47 cores=0-31
/proc/31124/task/31150/stat : 31150 (plingeling) R 31122 31124 31031 0 -1 4202560 1430 1238 0 0 147 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31124/tid=31151] ppid=31122 vsize=670616 CPUtime=1.45 cores=0-31
/proc/31124/task/31151/stat : 31151 (plingeling) R 31122 31124 31031 0 -1 4202560 839 1238 0 0 145 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31124/tid=31152] ppid=31122 vsize=670616 CPUtime=1.46 cores=0-31
/proc/31124/task/31152/stat : 31152 (plingeling) R 31122 31124 31031 0 -1 4202560 876 1238 0 0 146 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31124/tid=31153] ppid=31122 vsize=670616 CPUtime=1.46 cores=0-31
/proc/31124/task/31153/stat : 31153 (plingeling) R 31122 31124 31031 0 -1 4202560 1682 1238 0 0 146 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4336656 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31124/tid=31154] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31154/stat : 31154 (plingeling) R 31122 31124 31031 0 -1 4202560 829 1238 0 0 149 0 0 0 20 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31124/tid=31155] ppid=31122 vsize=670616 CPUtime=1.47 cores=0-31
/proc/31124/task/31155/stat : 31155 (plingeling) R 31122 31124 31031 0 -1 4202560 1489 1238 0 0 147 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31124/tid=31156] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31156/stat : 31156 (plingeling) R 31122 31124 31031 0 -1 4202560 1013 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31124/tid=31157] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31157/stat : 31157 (plingeling) R 31122 31124 31031 0 -1 4202560 1250 1238 0 0 148 0 0 0 18 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4249069 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31124/tid=31158] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31158/stat : 31158 (plingeling) R 31122 31124 31031 0 -1 4202560 1266 1238 0 0 148 0 0 0 18 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31124/tid=31159] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31159/stat : 31159 (plingeling) R 31122 31124 31031 0 -1 4202560 1748 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31124/tid=31160] ppid=31122 vsize=670616 CPUtime=1.48 cores=0-31
/proc/31124/task/31160/stat : 31160 (plingeling) R 31122 31124 31031 0 -1 4202560 838 1238 0 0 148 0 0 0 25 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31124/tid=31161] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31161/stat : 31161 (plingeling) R 31122 31124 31031 0 -1 4202560 1304 1238 0 0 149 0 0 0 18 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4376698 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31124/tid=31162] ppid=31122 vsize=670616 CPUtime=1.49 cores=0-31
/proc/31124/task/31162/stat : 31162 (plingeling) R 31122 31124 31031 0 -1 4202560 1027 1238 0 0 149 0 0 0 19 0 33 0 725025856 686710784 43738 268435456000 4194304 4417452 140735546350928 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 49.31
Current children cumulated vsize (KiB) 670616

[startup+6.30196 s]
/proc/loadavg: 28.43 30.88 29.78 33/446 31162
/proc/meminfo: memFree=255164820/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=691084 CPUtime=151.59 cores=0-31
/proc/31124/stat : 31124 (plingeling) S 31122 31124 31031 0 -1 4202496 76941 1238 0 0 15134 25 0 0 21 0 33 0 725025696 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/31124/statm: 172771 49398 175 55 0 170657 0
[pid=31124/tid=31131] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31131/stat : 31131 (plingeling) R 31122 31124 31031 0 -1 4202560 1370 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31132/stat : 31132 (plingeling) R 31122 31124 31031 0 -1 4202560 1253 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31133/stat : 31133 (plingeling) R 31122 31124 31031 0 -1 4202560 1044 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=691084 CPUtime=4.66 cores=0-31
/proc/31124/task/31134/stat : 31134 (plingeling) R 31122 31124 31031 0 -1 4202560 937 1238 0 0 466 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31135/stat : 31135 (plingeling) R 31122 31124 31031 0 -1 4202560 1436 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31136/stat : 31136 (plingeling) R 31122 31124 31031 0 -1 4202560 1617 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31137/stat : 31137 (plingeling) R 31122 31124 31031 0 -1 4202560 1323 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365946 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31138/stat : 31138 (plingeling) R 31122 31124 31031 0 -1 4202560 934 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31139/stat : 31139 (plingeling) R 31122 31124 31031 0 -1 4202560 1456 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31140/stat : 31140 (plingeling) R 31122 31124 31031 0 -1 4202560 1328 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31141/stat : 31141 (plingeling) R 31122 31124 31031 0 -1 4202560 1732 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31142/stat : 31142 (plingeling) R 31122 31124 31031 0 -1 4202560 1084 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4236713 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31143/stat : 31143 (plingeling) R 31122 31124 31031 0 -1 4202560 939 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31124/tid=31144] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31144/stat : 31144 (plingeling) R 31122 31124 31031 0 -1 4202560 1101 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31124/tid=31145] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31145/stat : 31145 (plingeling) R 31122 31124 31031 0 -1 4202560 1794 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31124/tid=31146] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31146/stat : 31146 (plingeling) R 31122 31124 31031 0 -1 4202560 1216 1238 0 0 468 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31124/tid=31147] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31147/stat : 31147 (plingeling) R 31122 31124 31031 0 -1 4202560 1266 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4232693 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31124/tid=31148] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31148/stat : 31148 (plingeling) R 31122 31124 31031 0 -1 4202560 1538 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31124/tid=31149] ppid=31122 vsize=691084 CPUtime=4.68 cores=0-31
/proc/31124/task/31149/stat : 31149 (plingeling) R 31122 31124 31031 0 -1 4202560 1642 1238 0 0 467 1 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4367166 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31124/tid=31150] ppid=31122 vsize=691084 CPUtime=4.67 cores=0-31
/proc/31124/task/31150/stat : 31150 (plingeling) R 31122 31124 31031 0 -1 4202560 1602 1238 0 0 467 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31124/tid=31151] ppid=31122 vsize=691084 CPUtime=4.55 cores=0-31
/proc/31124/task/31151/stat : 31151 (plingeling) R 31122 31124 31031 0 -1 4202560 839 1238 0 0 455 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31124/tid=31152] ppid=31122 vsize=691084 CPUtime=4.66 cores=0-31
/proc/31124/task/31152/stat : 31152 (plingeling) R 31122 31124 31031 0 -1 4202560 970 1238 0 0 466 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4353891 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31124/tid=31153] ppid=31122 vsize=691084 CPUtime=4.66 cores=0-31
/proc/31124/task/31153/stat : 31153 (plingeling) R 31122 31124 31031 0 -1 4202560 2068 1238 0 0 466 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31124/tid=31154] ppid=31122 vsize=691084 CPUtime=4.69 cores=0-31
/proc/31124/task/31154/stat : 31154 (plingeling) R 31122 31124 31031 0 -1 4202560 960 1238 0 0 469 0 0 0 25 0 33 0 725025856 707670016 49398 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 28 0 0 0

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

/proc/31124/task/31156/stat : 31156 (plingeling) R 31122 31124 31031 0 -1 4202560 10944 1238 0 0 18226 5 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31124/tid=31157] ppid=31122 vsize=1260140 CPUtime=182.34 cores=0-31
/proc/31124/task/31157/stat : 31157 (plingeling) R 31122 31124 31031 0 -1 4202560 14786 1238 0 0 18223 11 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31124/tid=31158] ppid=31122 vsize=1260140 CPUtime=182.35 cores=0-31
/proc/31124/task/31158/stat : 31158 (plingeling) R 31122 31124 31031 0 -1 4202560 28178 1238 0 0 18218 17 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4259629 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31124/tid=31159] ppid=31122 vsize=1260140 CPUtime=182.34 cores=0-31
/proc/31124/task/31159/stat : 31159 (plingeling) R 31122 31124 31031 0 -1 4202560 12044 1238 0 0 18219 15 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31124/tid=31160] ppid=31122 vsize=1260140 CPUtime=180.53 cores=0-31
/proc/31124/task/31160/stat : 31160 (plingeling) R 31122 31124 31031 0 -1 4202560 22086 1238 0 0 18031 22 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31124/tid=31161] ppid=31122 vsize=1260140 CPUtime=182.34 cores=0-31
/proc/31124/task/31161/stat : 31161 (plingeling) R 31122 31124 31031 0 -1 4202560 34956 1238 0 0 18217 17 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31124/tid=31162] ppid=31122 vsize=1260140 CPUtime=182.34 cores=0-31
/proc/31124/task/31162/stat : 31162 (plingeling) R 31122 31124 31031 0 -1 4202560 12888 1238 0 0 18222 12 0 0 25 0 33 0 725025856 1290383360 196334 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 5831.2
Current children cumulated vsize (KiB) 1260140

[startup+185.602 s]
/proc/loadavg: 31.92 31.40 30.16 33/446 31168
/proc/meminfo: memFree=254591996/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=1265140 CPUtime=5882.36 cores=0-31
/proc/31124/stat : 31124 (plingeling) S 31122 31124 31031 0 -1 4202496 528843 1238 0 0 587837 399 0 0 21 0 33 0 725025696 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/31124/statm: 316285 196664 175 55 0 314171 0
[pid=31124/tid=31131] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31131/stat : 31131 (plingeling) R 31122 31124 31031 0 -1 4202560 15466 1238 0 0 18379 15 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=1265140 CPUtime=183.95 cores=0-31
/proc/31124/task/31132/stat : 31132 (plingeling) R 31122 31124 31031 0 -1 4202560 13046 1238 0 0 18388 7 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31133/stat : 31133 (plingeling) R 31122 31124 31031 0 -1 4202560 12861 1238 0 0 18387 7 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=1265140 CPUtime=183.9 cores=0-31
/proc/31124/task/31134/stat : 31134 (plingeling) R 31122 31124 31031 0 -1 4202560 18904 1238 0 0 18371 19 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31135/stat : 31135 (plingeling) R 31122 31124 31031 0 -1 4202560 6264 1238 0 0 18388 6 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31136/stat : 31136 (plingeling) R 31122 31124 31031 0 -1 4202560 25709 1238 0 0 18376 17 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=1265140 CPUtime=182.21 cores=0-31
/proc/31124/task/31137/stat : 31137 (plingeling) R 31122 31124 31031 0 -1 4202560 19925 1238 0 0 18210 11 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31138/stat : 31138 (plingeling) R 31122 31124 31031 0 -1 4202560 12677 1238 0 0 18384 10 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31139/stat : 31139 (plingeling) R 31122 31124 31031 0 -1 4202560 15903 1238 0 0 18380 13 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31140/stat : 31140 (plingeling) R 31122 31124 31031 0 -1 4202560 13827 1238 0 0 18387 7 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31141/stat : 31141 (plingeling) R 31122 31124 31031 0 -1 4202560 14598 1238 0 0 18386 7 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=1265140 CPUtime=183.92 cores=0-31
/proc/31124/task/31142/stat : 31142 (plingeling) R 31122 31124 31031 0 -1 4202560 15434 1238 0 0 18376 16 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31143/stat : 31143 (plingeling) R 31122 31124 31031 0 -1 4202560 12503 1238 0 0 18380 14 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31124/tid=31144] ppid=31122 vsize=1265140 CPUtime=183.92 cores=0-31
/proc/31124/task/31144/stat : 31144 (plingeling) R 31122 31124 31031 0 -1 4202560 16442 1238 0 0 18375 17 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31124/tid=31145] ppid=31122 vsize=1265140 CPUtime=183.92 cores=0-31
/proc/31124/task/31145/stat : 31145 (plingeling) R 31122 31124 31031 0 -1 4202560 16243 1238 0 0 18379 13 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31124/tid=31146] ppid=31122 vsize=1265140 CPUtime=183.95 cores=0-31
/proc/31124/task/31146/stat : 31146 (plingeling) R 31122 31124 31031 0 -1 4202560 12408 1238 0 0 18387 8 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31124/tid=31147] ppid=31122 vsize=1265140 CPUtime=183.95 cores=0-31
/proc/31124/task/31147/stat : 31147 (plingeling) R 31122 31124 31031 0 -1 4202560 9707 1238 0 0 18387 8 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31124/tid=31148] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31148/stat : 31148 (plingeling) R 31122 31124 31031 0 -1 4202560 13166 1238 0 0 18380 14 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31124/tid=31149] ppid=31122 vsize=1265140 CPUtime=183.83 cores=0-31
/proc/31124/task/31149/stat : 31149 (plingeling) R 31122 31124 31031 0 -1 4202560 9809 1238 0 0 18379 4 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31124/tid=31150] ppid=31122 vsize=1265140 CPUtime=183.9 cores=0-31
/proc/31124/task/31150/stat : 31150 (plingeling) R 31122 31124 31031 0 -1 4202560 18238 1238 0 0 18379 11 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31124/tid=31151] ppid=31122 vsize=1265140 CPUtime=182.27 cores=0-31
/proc/31124/task/31151/stat : 31151 (plingeling) R 31122 31124 31031 0 -1 4202560 9310 1238 0 0 18217 10 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31124/tid=31152] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31152/stat : 31152 (plingeling) R 31122 31124 31031 0 -1 4202560 13054 1238 0 0 18382 11 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31124/tid=31153] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31153/stat : 31153 (plingeling) R 31122 31124 31031 0 -1 4202560 16316 1238 0 0 18383 10 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31124/tid=31154] ppid=31122 vsize=1265140 CPUtime=183.93 cores=0-31
/proc/31124/task/31154/stat : 31154 (plingeling) R 31122 31124 31031 0 -1 4202560 9506 1238 0 0 18386 7 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31124/tid=31155] ppid=31122 vsize=1265140 CPUtime=183.87 cores=0-31
/proc/31124/task/31155/stat : 31155 (plingeling) R 31122 31124 31031 0 -1 4202560 17253 1238 0 0 18375 12 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31124/tid=31156] ppid=31122 vsize=1265140 CPUtime=183.91 cores=0-31
/proc/31124/task/31156/stat : 31156 (plingeling) R 31122 31124 31031 0 -1 4202560 10944 1238 0 0 18386 5 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31124/tid=31157] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31157/stat : 31157 (plingeling) R 31122 31124 31031 0 -1 4202560 14786 1238 0 0 18383 11 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31124/tid=31158] ppid=31122 vsize=1265140 CPUtime=183.95 cores=0-31
/proc/31124/task/31158/stat : 31158 (plingeling) R 31122 31124 31031 0 -1 4202560 28178 1238 0 0 18378 17 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31124/tid=31159] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31159/stat : 31159 (plingeling) R 31122 31124 31031 0 -1 4202560 12044 1238 0 0 18379 15 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31124/tid=31160] ppid=31122 vsize=1265140 CPUtime=182.09 cores=0-31
/proc/31124/task/31160/stat : 31160 (plingeling) R 31122 31124 31031 0 -1 4202560 22086 1238 0 0 18187 22 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31124/tid=31161] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31161/stat : 31161 (plingeling) R 31122 31124 31031 0 -1 4202560 34956 1238 0 0 18377 17 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31124/tid=31162] ppid=31122 vsize=1265140 CPUtime=183.94 cores=0-31
/proc/31124/task/31162/stat : 31162 (plingeling) R 31122 31124 31031 0 -1 4202560 12888 1238 0 0 18382 12 0 0 25 0 33 0 725025856 1295503360 196664 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 5882.36
Current children cumulated vsize (KiB) 1265140

[startup+186.023 s]
/proc/loadavg: 31.92 31.41 30.17 33/446 31168
/proc/meminfo: memFree=254587272/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=1264020 CPUtime=5895.8 cores=0-31
/proc/31124/stat : 31124 (plingeling) S 31122 31124 31031 0 -1 4202496 529149 1238 0 0 589181 399 0 0 21 0 33 0 725025696 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/31124/statm: 316005 196384 175 55 0 313891 0
[pid=31124/tid=31131] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31131/stat : 31131 (plingeling) R 31122 31124 31031 0 -1 4202560 15466 1238 0 0 18421 15 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31124/tid=31132] ppid=31122 vsize=1264020 CPUtime=184.37 cores=0-31
/proc/31124/task/31132/stat : 31132 (plingeling) R 31122 31124 31031 0 -1 4202560 13046 1238 0 0 18430 7 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31124/tid=31133] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31133/stat : 31133 (plingeling) R 31122 31124 31031 0 -1 4202560 12861 1238 0 0 18429 7 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31124/tid=31134] ppid=31122 vsize=1264020 CPUtime=184.32 cores=0-31
/proc/31124/task/31134/stat : 31134 (plingeling) R 31122 31124 31031 0 -1 4202560 18904 1238 0 0 18413 19 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31124/tid=31135] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31135/stat : 31135 (plingeling) R 31122 31124 31031 0 -1 4202560 6264 1238 0 0 18430 6 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31124/tid=31136] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31136/stat : 31136 (plingeling) R 31122 31124 31031 0 -1 4202560 25709 1238 0 0 18418 17 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31124/tid=31137] ppid=31122 vsize=1264020 CPUtime=182.63 cores=0-31
/proc/31124/task/31137/stat : 31137 (plingeling) R 31122 31124 31031 0 -1 4202560 19925 1238 0 0 18252 11 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31124/tid=31138] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31138/stat : 31138 (plingeling) R 31122 31124 31031 0 -1 4202560 12677 1238 0 0 18426 10 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31124/tid=31139] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31139/stat : 31139 (plingeling) R 31122 31124 31031 0 -1 4202560 15903 1238 0 0 18422 13 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31124/tid=31140] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31140/stat : 31140 (plingeling) R 31122 31124 31031 0 -1 4202560 13827 1238 0 0 18429 7 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31124/tid=31141] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31141/stat : 31141 (plingeling) R 31122 31124 31031 0 -1 4202560 14598 1238 0 0 18428 7 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31124/tid=31142] ppid=31122 vsize=1264020 CPUtime=184.34 cores=0-31
/proc/31124/task/31142/stat : 31142 (plingeling) R 31122 31124 31031 0 -1 4202560 15434 1238 0 0 18418 16 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31124/tid=31143] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31143/stat : 31143 (plingeling) R 31122 31124 31031 0 -1 4202560 12503 1238 0 0 18422 14 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31124/tid=31144] ppid=31122 vsize=1264020 CPUtime=184.34 cores=0-31
/proc/31124/task/31144/stat : 31144 (plingeling) R 31122 31124 31031 0 -1 4202560 16442 1238 0 0 18417 17 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31124/tid=31145] ppid=31122 vsize=1264020 CPUtime=184.34 cores=0-31
/proc/31124/task/31145/stat : 31145 (plingeling) R 31122 31124 31031 0 -1 4202560 16243 1238 0 0 18421 13 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31124/tid=31146] ppid=31122 vsize=1264020 CPUtime=184.37 cores=0-31
/proc/31124/task/31146/stat : 31146 (plingeling) R 31122 31124 31031 0 -1 4202560 12408 1238 0 0 18429 8 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31124/tid=31147] ppid=31122 vsize=1264020 CPUtime=184.37 cores=0-31
/proc/31124/task/31147/stat : 31147 (plingeling) R 31122 31124 31031 0 -1 4202560 9707 1238 0 0 18429 8 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31124/tid=31148] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31148/stat : 31148 (plingeling) R 31122 31124 31031 0 -1 4202560 13166 1238 0 0 18422 14 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31124/tid=31149] ppid=31122 vsize=1264020 CPUtime=184.25 cores=0-31
/proc/31124/task/31149/stat : 31149 (plingeling) R 31122 31124 31031 0 -1 4202560 9809 1238 0 0 18421 4 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31124/tid=31150] ppid=31122 vsize=1264020 CPUtime=184.32 cores=0-31
/proc/31124/task/31150/stat : 31150 (plingeling) R 31122 31124 31031 0 -1 4202560 18238 1238 0 0 18421 11 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31124/tid=31151] ppid=31122 vsize=1264020 CPUtime=182.69 cores=0-31
/proc/31124/task/31151/stat : 31151 (plingeling) R 31122 31124 31031 0 -1 4202560 9310 1238 0 0 18259 10 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31124/tid=31152] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31152/stat : 31152 (plingeling) R 31122 31124 31031 0 -1 4202560 13054 1238 0 0 18424 11 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31124/tid=31153] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31153/stat : 31153 (plingeling) R 31122 31124 31031 0 -1 4202560 16316 1238 0 0 18425 10 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31124/tid=31154] ppid=31122 vsize=1264020 CPUtime=184.35 cores=0-31
/proc/31124/task/31154/stat : 31154 (plingeling) R 31122 31124 31031 0 -1 4202560 9506 1238 0 0 18428 7 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31124/tid=31155] ppid=31122 vsize=1264020 CPUtime=184.29 cores=0-31
/proc/31124/task/31155/stat : 31155 (plingeling) R 31122 31124 31031 0 -1 4202560 17559 1238 0 0 18417 12 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4232623 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31124/tid=31156] ppid=31122 vsize=1264020 CPUtime=184.33 cores=0-31
/proc/31124/task/31156/stat : 31156 (plingeling) R 31122 31124 31031 0 -1 4202560 10944 1238 0 0 18428 5 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31124/tid=31157] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31157/stat : 31157 (plingeling) R 31122 31124 31031 0 -1 4202560 14786 1238 0 0 18425 11 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31124/tid=31158] ppid=31122 vsize=1264020 CPUtime=184.37 cores=0-31
/proc/31124/task/31158/stat : 31158 (plingeling) R 31122 31124 31031 0 -1 4202560 28178 1238 0 0 18420 17 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4353711 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31124/tid=31159] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31159/stat : 31159 (plingeling) R 31122 31124 31031 0 -1 4202560 12044 1238 0 0 18421 15 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31124/tid=31160] ppid=31122 vsize=1264020 CPUtime=182.49 cores=0-31
/proc/31124/task/31160/stat : 31160 (plingeling) R 31122 31124 31031 0 -1 4202560 22086 1238 0 0 18227 22 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31124/tid=31161] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31161/stat : 31161 (plingeling) R 31122 31124 31031 0 -1 4202560 34956 1238 0 0 18419 17 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31124/tid=31162] ppid=31122 vsize=1264020 CPUtime=184.36 cores=0-31
/proc/31124/task/31162/stat : 31162 (plingeling) R 31122 31124 31031 0 -1 4202560 12888 1238 0 0 18424 12 0 0 25 0 33 0 725025856 1294356480 196384 268435456000 4194304 4417452 140735546350928 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 5895.8
Current children cumulated vsize (KiB) 1264020

[startup+186.401 s]
/proc/loadavg: 31.92 31.41 30.17 33/446 31168
/proc/meminfo: memFree=254587272/264257624 swapFree=67111528/67111528
[pid=31124] ppid=31122 vsize=902284 CPUtime=5901.65 cores=0-31
/proc/31124/stat : 31124 (plingeling) R 31122 31124 31031 0 -1 4202496 529811 1238 0 0 589765 400 0 0 15 0 1 0 725025696 923938816 178927 268435456000 4194304 4417452 140735546350928 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 28 0 0 0
/proc/31124/statm: 225571 178927 176 55 0 223457 0
Current children cumulated CPU time (s) 5901.65
Current children cumulated vsize (KiB) 902284

Child status: 10
Real time (s): 186.472
CPU time (s): 5901.75
CPU user time (s): 5897.66
CPU system time (s): 4.08838
CPU usage (%): 3164.95
Max. virtual memory (cumulated for all children) (KiB): 1275052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5897.66
system time used= 4.08838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531065
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= 2037
involuntary context switches= 14411

runsolver used 1.07284 second user time and 4.22736 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 09:23:13
IDJOB=3372888
IDBENCH=85973
IDSOLVER=1852
FILE ID=node200/3372888-1306135393
RUNJOBID= node200-1306135367-31045
PBS_JOBID= 13387834
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372888-1306135393/watcher-3372888-1306135393 -o /tmp/evaluation-result-3372888-1306135393/solver-3372888-1306135393 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372888-1306135393.cnf

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

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=126429714

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255356004 kB
Buffers:        458344 kB
Cached:        8029584 kB
SwapCached:          0 kB
Active:        7584772 kB
Inactive:       972536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255356004 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1716 kB
Writeback:           0 kB
AnonPages:       69708 kB
Mapped:          14508 kB
Slab:           253576 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191408 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-23 09:26:19