Trace number 3380695

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 2474.02 310.183

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
MD5SUMccc3b90e7796ba48b01939580fe6357c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.19036
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=22520 CPUtime=0 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 994 0 0 0 0 0 0 0 23 0 1 0 660321966 23060480 828 33554432000 4194304 4964800 140736585742272 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10894/statm: 5630 828 386 189 0 504 0

[startup+0.0654719 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=24772 CPUtime=0.06 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 1686 0 0 0 6 0 0 0 23 0 1 0 660321966 25366528 1430 33554432000 4194304 4964800 140736585742272 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10894/statm: 6193 1430 399 189 0 1067 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24772

[startup+0.100466 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=24904 CPUtime=0.09 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 1726 0 0 0 9 0 0 0 23 0 1 0 660321966 25501696 1470 33554432000 4194304 4964800 140736585742272 18446744073709551615 4615538 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10894/statm: 6226 1470 400 189 0 1100 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24904

[startup+0.309795 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=384936 CPUtime=1.37 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 4321 0 0 0 136 1 0 0 18 0 8 0 660321966 394174464 3930 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 96667 7067 464 189 0 91016 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 384936

[startup+0.925406 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=453208 CPUtime=8.19 cores=0-7
/proc/10894/stat : 10894 (claspmt) D 10892 10894 10868 0 -1 4202496 9612 0 0 0 815 4 0 0 18 0 8 0 660321966 464084992 9221 33554432000 4194304 4964800 140736585742272 18446744073709551615 253640902839 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 113302 9221 464 189 0 107651 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 453208

[startup+1.51117 s]
/proc/loadavg: 6.87 7.78 7.92 2/438 10894
/proc/meminfo: memFree=21605960/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=453948 CPUtime=10.57 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 10450 0 0 0 1053 4 0 0 19 0 8 0 660321966 464842752 10059 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 113487 10059 464 189 0 107836 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (KiB) 453948

[startup+3.10088 s]
/proc/loadavg: 7.12 7.82 7.93 9/446 10902
/proc/meminfo: memFree=21558536/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=455088 CPUtime=23.33 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 12568 0 0 0 2328 5 0 0 22 0 8 0 660321966 466010112 12177 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 113772 12177 466 189 0 108121 0
[pid=10894/tid=10896] ppid=10892 vsize=455088 CPUtime=2.89 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 1094 0 0 0 289 0 0 0 22 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=455088 CPUtime=2.9 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 1346 0 0 0 290 0 0 0 23 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=455088 CPUtime=2.9 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 1204 0 0 0 290 0 0 0 25 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=455088 CPUtime=2.86 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 1204 0 0 0 286 0 0 0 22 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=455088 CPUtime=2.93 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 549 0 0 0 293 0 0 0 22 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=455088 CPUtime=2.87 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 1439 0 0 0 286 1 0 0 22 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=455088 CPUtime=2.9 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 2838 0 0 0 289 1 0 0 24 0 8 0 660321983 466010112 12178 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.33
Current children cumulated vsize (KiB) 455088

[startup+6.3013 s]
/proc/loadavg: 7.12 7.82 7.93 9/446 10902
/proc/meminfo: memFree=21546756/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=457580 CPUtime=48.82 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 16467 0 0 0 4874 8 0 0 25 0 8 0 660321966 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320993 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 114395 16076 466 189 0 108744 0
[pid=10894/tid=10896] ppid=10892 vsize=457580 CPUtime=6.08 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 1661 0 0 0 607 1 0 0 22 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=457580 CPUtime=6.08 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 2036 0 0 0 608 0 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=457580 CPUtime=6.08 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 1479 0 0 0 608 0 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=457580 CPUtime=6.02 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 1455 0 0 0 602 0 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=457580 CPUtime=6.12 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 891 0 0 0 612 0 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=457580 CPUtime=6.05 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 1793 0 0 0 604 1 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320865 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=457580 CPUtime=6.08 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 3811 0 0 0 607 1 0 0 25 0 8 0 660321983 468561920 16076 33554432000 4194304 4964800 140736585742272 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.82
Current children cumulated vsize (KiB) 457580

[startup+12.7011 s]
/proc/loadavg: 7.26 7.83 7.93 9/446 10903
/proc/meminfo: memFree=21523700/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=461056 CPUtime=99.92 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 22660 0 0 0 9980 12 0 0 25 0 8 0 660321966 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 115264 22269 466 189 0 109613 0
[pid=10894/tid=10896] ppid=10892 vsize=461056 CPUtime=12.48 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 2530 0 0 0 1247 1 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=461056 CPUtime=12.48 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 3133 0 0 0 1247 1 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=461056 CPUtime=12.48 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 1882 0 0 0 1248 0 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=461056 CPUtime=12.32 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 2376 0 0 0 1231 1 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627197 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=461056 CPUtime=12.51 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 1389 0 0 0 1251 0 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=461056 CPUtime=12.45 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 2261 0 0 0 1244 1 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=461056 CPUtime=12.47 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 5249 0 0 0 1245 2 0 0 25 0 8 0 660321983 472121344 22269 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (KiB) 461056

[startup+25.5008 s]
/proc/loadavg: 7.37 7.83 7.93 9/446 10903
/proc/meminfo: memFree=21491512/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=467684 CPUtime=202.11 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 30179 0 0 0 20194 17 0 0 25 0 8 0 660321966 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 116921 29788 466 189 0 111270 0
[pid=10894/tid=10896] ppid=10892 vsize=467684 CPUtime=25.27 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 3067 0 0 0 2526 1 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=467684 CPUtime=25.28 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 4052 0 0 0 2526 2 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=467684 CPUtime=25.27 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 2483 0 0 0 2527 0 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=467684 CPUtime=24.92 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 3080 0 0 0 2491 1 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=467684 CPUtime=25.31 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 1980 0 0 0 2530 1 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=467684 CPUtime=25.24 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 3180 0 0 0 2523 1 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=467684 CPUtime=25.28 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 8057 0 0 0 2523 5 0 0 25 0 8 0 660321983 478908416 29788 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.11
Current children cumulated vsize (KiB) 467684

[startup+51.1011 s]
/proc/loadavg: 7.58 7.84 7.93 9/446 10904
/proc/meminfo: memFree=21441512/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=477112 CPUtime=406.53 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 42982 0 0 0 40626 27 0 0 25 0 8 0 660321966 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670538 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 119278 42119 466 189 0 113627 0
[pid=10894/tid=10896] ppid=10892 vsize=477112 CPUtime=50.87 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 4393 0 0 0 5085 2 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=477112 CPUtime=50.88 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 5909 0 0 0 5085 3 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=477112 CPUtime=50.88 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 3319 0 0 0 5087 1 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=477112 CPUtime=50.16 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 4118 0 0 0 5014 2 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=477112 CPUtime=50.9 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 3009 0 0 0 5088 2 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=477112 CPUtime=50.85 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 4460 0 0 0 5082 3 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=477112 CPUtime=50.88 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 12420 0 0 0 5081 7 0 0 25 0 8 0 660321983 488562688 42119 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 406.53
Current children cumulated vsize (KiB) 477112

[startup+102.301 s]
/proc/loadavg: 7.89 7.88 7.93 9/446 10905
/proc/meminfo: memFree=21384592/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=482168 CPUtime=815.33 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 57043 0 0 0 81489 44 0 0 25 0 8 0 660321966 493740032 56084 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627611 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 120542 56084 466 189 0 114891 0
[pid=10894/tid=10896] ppid=10892 vsize=482168 CPUtime=102.06 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 5879 0 0 0 10202 4 0 0 25 0 8 0 660321983 493740032 56084 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320924 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=482168 CPUtime=102.07 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 7153 0 0 0 10203 4 0 0 25 0 8 0 660321983 493740032 56084 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=482168 CPUtime=102.07 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 4009 0 0 0 10206 1 0 0 25 0 8 0 660321983 493740032 56084 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0

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


[startup+282.501 s]
/proc/loadavg: 8.05 7.94 7.94 9/446 10910
/proc/meminfo: memFree=21270096/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=503204 CPUtime=2254.3 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 85979 0 0 0 225355 75 0 0 25 0 8 0 660321966 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4659352 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 125801 84532 466 189 0 120150 0
[pid=10894/tid=10896] ppid=10892 vsize=503204 CPUtime=282.26 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8457 0 0 0 28220 6 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=503204 CPUtime=282.29 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 10632 0 0 0 28223 6 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=503204 CPUtime=282.28 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5714 0 0 0 28224 4 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4687052 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=503204 CPUtime=278.19 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7488 0 0 0 27814 5 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=503204 CPUtime=282.26 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6205 0 0 0 28221 5 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=503204 CPUtime=282.25 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8004 0 0 0 28217 8 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4324693 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=503204 CPUtime=282.29 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 29257 0 0 0 28200 29 0 0 25 0 8 0 660321983 515280896 84532 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2254.3
Current children cumulated vsize (KiB) 503204

[startup+295.301 s]
/proc/loadavg: 8.05 7.94 7.94 9/446 10910
/proc/meminfo: memFree=21255460/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=504828 CPUtime=2356.45 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 89642 0 0 0 235565 80 0 0 25 0 8 0 660321966 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126207 88195 466 189 0 120556 0
[pid=10894/tid=10896] ppid=10892 vsize=504828 CPUtime=295.05 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8465 0 0 0 29499 6 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4632355 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=504828 CPUtime=295.08 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11138 0 0 0 29502 6 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=504828 CPUtime=295.06 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5988 0 0 0 29502 4 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4653207 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=504828 CPUtime=290.81 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7701 0 0 0 29075 6 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=504828 CPUtime=295.04 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6657 0 0 0 29499 5 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=504828 CPUtime=295.04 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8025 0 0 0 29496 8 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=504828 CPUtime=295.07 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 31293 0 0 0 29475 32 0 0 25 0 8 0 660321983 516943872 88195 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2356.45
Current children cumulated vsize (KiB) 504828

[startup+301.7 s]
/proc/loadavg: 8.04 7.95 7.94 9/446 10910
/proc/meminfo: memFree=21254096/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=504984 CPUtime=2407.56 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 90287 0 0 0 240675 81 0 0 25 0 8 0 660321966 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4653179 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126246 88840 466 189 0 120595 0
[pid=10894/tid=10896] ppid=10892 vsize=504984 CPUtime=301.45 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8478 0 0 0 30139 6 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=504984 CPUtime=301.48 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11351 0 0 0 30142 6 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=504984 CPUtime=301.46 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5989 0 0 0 30142 4 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=504984 CPUtime=297.11 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7746 0 0 0 29705 6 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=504984 CPUtime=301.44 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6665 0 0 0 30139 5 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=504984 CPUtime=301.44 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8025 0 0 0 30136 8 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=504984 CPUtime=301.47 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 31658 0 0 0 30114 33 0 0 25 0 8 0 660321983 517103616 88840 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2407.56
Current children cumulated vsize (KiB) 504984

[startup+304.901 s]
/proc/loadavg: 8.04 7.95 7.94 9/446 10910
/proc/meminfo: memFree=21247648/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=504984 CPUtime=2433.11 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 91741 0 0 0 243228 83 0 0 25 0 8 0 660321966 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126246 90294 466 189 0 120595 0
[pid=10894/tid=10896] ppid=10892 vsize=504984 CPUtime=304.65 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8508 0 0 0 30459 6 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=504984 CPUtime=304.68 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11521 0 0 0 30462 6 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=504984 CPUtime=304.66 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5999 0 0 0 30462 4 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=504984 CPUtime=300.27 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7776 0 0 0 30021 6 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=504984 CPUtime=304.64 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6794 0 0 0 30459 5 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=504984 CPUtime=304.63 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8058 0 0 0 30455 8 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=504984 CPUtime=304.67 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 32615 0 0 0 30433 34 0 0 25 0 8 0 660321983 517103616 90294 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2433.11
Current children cumulated vsize (KiB) 504984

[startup+308.101 s]
/proc/loadavg: 8.03 7.95 7.94 9/446 10910
/proc/meminfo: memFree=21246160/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=505460 CPUtime=2458.65 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 92037 0 0 0 245782 83 0 0 25 0 8 0 660321966 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126365 90590 466 189 0 120714 0
[pid=10894/tid=10896] ppid=10892 vsize=505460 CPUtime=307.85 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8574 0 0 0 30779 6 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4325216 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=505460 CPUtime=307.88 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11650 0 0 0 30782 6 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=505460 CPUtime=307.86 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5999 0 0 0 30782 4 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=505460 CPUtime=303.42 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7802 0 0 0 30336 6 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=505460 CPUtime=307.83 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6825 0 0 0 30778 5 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=505460 CPUtime=307.84 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8071 0 0 0 30776 8 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=505460 CPUtime=307.87 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 32646 0 0 0 30753 34 0 0 25 0 8 0 660321983 517591040 90590 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2458.65
Current children cumulated vsize (KiB) 505460

[startup+308.901 s]
/proc/loadavg: 8.03 7.95 7.94 9/446 10911
/proc/meminfo: memFree=21246036/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=505460 CPUtime=2465.12 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 92066 0 0 0 246429 83 0 0 25 0 8 0 660321966 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4684125 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126365 90619 466 189 0 120714 0
[pid=10894/tid=10896] ppid=10892 vsize=505460 CPUtime=308.66 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8574 0 0 0 30860 6 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=505460 CPUtime=308.69 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11651 0 0 0 30863 6 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=505460 CPUtime=308.68 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5999 0 0 0 30864 4 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=505460 CPUtime=304.22 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7802 0 0 0 30416 6 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=505460 CPUtime=308.65 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6836 0 0 0 30860 5 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=505460 CPUtime=308.65 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8082 0 0 0 30857 8 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=505460 CPUtime=308.68 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 32652 0 0 0 30834 34 0 0 25 0 8 0 660321983 517591040 90619 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2465.12
Current children cumulated vsize (KiB) 505460

[startup+309.701 s]
/proc/loadavg: 8.03 7.95 7.94 9/446 10911
/proc/meminfo: memFree=21246036/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=505460 CPUtime=2471.44 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 92155 0 0 0 247061 83 0 0 25 0 8 0 660321966 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10894/statm: 126365 90708 466 189 0 120714 0
[pid=10894/tid=10896] ppid=10892 vsize=505460 CPUtime=309.45 cores=0-7
/proc/10894/task/10896/stat : 10896 (claspmt) R 10892 10894 10868 0 -1 4202560 8575 0 0 0 30939 6 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10894/tid=10897] ppid=10892 vsize=505460 CPUtime=309.47 cores=0-7
/proc/10894/task/10897/stat : 10897 (claspmt) R 10892 10894 10868 0 -1 4202560 11707 0 0 0 30941 6 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10894/tid=10898] ppid=10892 vsize=505460 CPUtime=309.46 cores=0-7
/proc/10894/task/10898/stat : 10898 (claspmt) R 10892 10894 10868 0 -1 4202560 5999 0 0 0 30942 4 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10894/tid=10899] ppid=10892 vsize=505460 CPUtime=305 cores=0-7
/proc/10894/task/10899/stat : 10899 (claspmt) R 10892 10894 10868 0 -1 4202560 7802 0 0 0 30494 6 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10894/tid=10900] ppid=10892 vsize=505460 CPUtime=309.43 cores=0-7
/proc/10894/task/10900/stat : 10900 (claspmt) R 10892 10894 10868 0 -1 4202560 6836 0 0 0 30938 5 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10894/tid=10901] ppid=10892 vsize=505460 CPUtime=309.43 cores=0-7
/proc/10894/task/10901/stat : 10901 (claspmt) R 10892 10894 10868 0 -1 4202560 8098 0 0 0 30935 8 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10894/tid=10902] ppid=10892 vsize=505460 CPUtime=309.47 cores=0-7
/proc/10894/task/10902/stat : 10902 (claspmt) R 10892 10894 10868 0 -1 4202560 32668 0 0 0 30913 34 0 0 25 0 8 0 660321983 517591040 90708 33554432000 4194304 4964800 140736585742272 18446744073709551615 4658455 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2471.44
Current children cumulated vsize (KiB) 505460

[startup+310.117 s]
/proc/loadavg: 8.03 7.95 7.94 3/441 10911
/proc/meminfo: memFree=21244672/32951124 swapFree=56449232/67111528
[pid=10894] ppid=10892 vsize=502212 CPUtime=2473.95 cores=0-7
/proc/10894/stat : 10894 (claspmt) R 10892 10894 10868 0 -1 4202496 92363 0 0 0 247312 83 0 0 25 0 1 0 660321966 514265088 90012 33554432000 4194304 4964800 140736585742272 18446744073709551615 253640515718 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10894/statm: 125553 90012 476 189 0 119902 0
Current children cumulated CPU time (s) 2473.95
Current children cumulated vsize (KiB) 502212

Child status: 10
Real time (s): 310.183
CPU time (s): 2474.02
CPU user time (s): 2473.17
CPU system time (s): 0.855869
CPU usage (%): 797.6
Max. virtual memory (cumulated for all children) (KiB): 505460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2473.17
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92364
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= 11150
involuntary context switches= 8165

runsolver used 1.3208 second user time and 3.19451 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-15 21:20:16
IDJOB=3380695
IDBENCH=71354
IDSOLVER=1865
FILE ID=node106/3380695-1305487216
RUNJOBID= node106-1305487216-10882
PBS_JOBID= 13325387
Free space on /tmp= 73384 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes5.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-3380695-1305487216/watcher-3380695-1305487216 -o /tmp/evaluation-result-3380695-1305487216/solver-3380695-1305487216 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380695-1305487216.cnf

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

MD5SUM BENCH= ccc3b90e7796ba48b01939580fe6357c
RANDOM SEED=855879402

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21606480 kB
Buffers:        306272 kB
Cached:        6236200 kB
SwapCached:      27536 kB
Active:        2743492 kB
Inactive:      8341884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21606480 kB
SwapTotal:    67111528 kB
SwapFree:     56449232 kB
Dirty:            1680 kB
Writeback:           0 kB
AnonPages:     4523816 kB
Mapped:          19576 kB
Slab:           129624 kB
PageTables:      59952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 123523272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73384 MiB
End job on node106 at 2011-05-15 21:25:26