Trace number 3438501

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)SAT 12295.8 1539.75

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
MD5SUMd6097a9814089eeede1d027388c17a02
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark114.827
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

12295.25/1539.66	
12295.25/1539.66	s SATISFIABLE
12295.25/1539.66	
12295.25/1539.66	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 153 -154 -155 -156 -157 -158 -159 -160 -161 -162 163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 735 -736 -737 -738 -739 -740 -741 742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3438501-1306919536/watcher-3438501-1306919536 -o /tmp/evaluation-result-3438501-1306919536/solver-3438501-1306919536 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438501-1306919536.cnf -threads=8 

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

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


[startup+0 s]
/proc/loadavg: 1.84 1.98 1.99 2/393 11922
/proc/meminfo: memFree=30447160/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=21012 CPUtime=0 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 684 0 1 0 0 0 0 0 25 0 1 0 803553360 21516288 493 33554432000 4194304 4625164 140737124382816 18446744073709551615 237278879488 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11922/statm: 5253 494 296 106 0 756 0

[startup+0.0276761 s]
/proc/loadavg: 1.84 1.98 1.99 2/393 11922
/proc/meminfo: memFree=30447160/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=30528 CPUtime=0.01 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 3191 0 1 0 1 0 0 0 25 0 1 0 803553360 31260672 2582 33554432000 4194304 4625164 140737124382816 18446744073709551615 237278577109 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11922/statm: 7632 2601 298 106 0 3135 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30528

[startup+0.15494 s]
/proc/loadavg: 1.84 1.98 1.99 2/393 11922
/proc/meminfo: memFree=30447160/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=434076 CPUtime=0.74 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) D 11920 11922 11896 0 -1 4202496 7090 0 1 0 73 1 0 0 25 0 8 0 803553360 444493824 6330 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11922/statm: 108519 6330 340 106 0 104022 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 434076

[startup+0.300632 s]
/proc/loadavg: 1.84 1.98 1.99 2/393 11922
/proc/meminfo: memFree=30447160/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=445844 CPUtime=1.49 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) D 11920 11922 11896 0 -1 4202496 10917 0 1 0 148 1 0 0 25 0 8 0 803553360 456544256 8743 33554432000 4194304 4625164 140737124382816 18446744073709551615 237278576848 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11922/statm: 111461 8743 340 106 0 106964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 445844

[startup+0.700563 s]
/proc/loadavg: 1.84 1.98 1.99 2/393 11922
/proc/meminfo: memFree=30447160/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=445320 CPUtime=4.19 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 24953 0 1 0 415 4 0 0 25 0 8 0 803553360 456007680 14632 33554432000 4194304 4625164 140737124382816 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11922/statm: 111330 14632 342 106 0 106833 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 445320

[startup+1.50042 s]
/proc/loadavg: 1.84 1.98 1.99 9/401 11930
/proc/meminfo: memFree=30312316/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=489212 CPUtime=10.52 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 62758 0 1 0 1043 9 0 0 25 0 8 0 803553360 500953088 38070 33554432000 4194304 4625164 140737124382816 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 122303 38070 657 106 0 117806 0
[pid=11922/tid=11924] ppid=11920 vsize=489212 CPUtime=1.25 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 3804 0 0 0 125 0 0 0 25 0 8 0 803553363 500953088 38070 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=489212 CPUtime=1.43 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4031 0 0 0 142 1 0 0 25 0 8 0 803553363 500953088 38070 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=489212 CPUtime=1.4 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 5423 0 0 0 140 0 0 0 19 0 8 0 803553363 500953088 38071 33554432000 4194304 4625164 140737124382816 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=489212 CPUtime=1.39 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 3140 0 0 0 139 0 0 0 18 0 8 0 803553363 500953088 38071 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=489212 CPUtime=1.37 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 3951 0 0 0 137 0 0 0 25 0 8 0 803553363 500953088 38071 33554432000 4194304 4625164 140737124382816 18446744073709551615 4374736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=489212 CPUtime=1.41 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4501 0 0 0 141 0 0 0 25 0 8 0 803553363 500953088 38071 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=489212 CPUtime=1.31 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4661 0 0 0 131 0 0 0 25 0 8 0 803553363 500953088 38071 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 489212

[startup+3.10114 s]
/proc/loadavg: 1.84 1.98 1.99 9/401 11930
/proc/meminfo: memFree=30286276/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=489212 CPUtime=23.31 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 66739 0 1 0 2321 10 0 0 25 0 8 0 803553360 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 122303 41556 687 106 0 117806 0
[pid=11922/tid=11924] ppid=11920 vsize=489212 CPUtime=2.85 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4034 0 0 0 285 0 0 0 25 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=489212 CPUtime=3.03 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4236 0 0 0 302 1 0 0 25 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=489212 CPUtime=3.01 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 7345 0 0 0 300 1 0 0 23 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4547216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=489212 CPUtime=3 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4349 0 0 0 299 1 0 0 20 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=489212 CPUtime=2.97 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4194 0 0 0 297 0 0 0 25 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=489212 CPUtime=3.01 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4513 0 0 0 301 0 0 0 25 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=489212 CPUtime=2.89 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4818 0 0 0 289 0 0 0 25 0 8 0 803553363 500953088 41556 33554432000 4194304 4625164 140737124382816 18446744073709551615 4288719 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 489212

[startup+6.30057 s]
/proc/loadavg: 2.33 2.08 2.02 9/401 11930
/proc/meminfo: memFree=30265084/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=489212 CPUtime=48.87 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 78692 0 1 0 4873 14 0 0 25 0 8 0 803553360 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512029 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 122303 46473 604 106 0 117806 0
[pid=11922/tid=11924] ppid=11920 vsize=489212 CPUtime=6.05 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 5854 0 0 0 605 0 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=489212 CPUtime=6.23 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 5884 0 0 0 622 1 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=489212 CPUtime=6.2 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 10218 0 0 0 619 1 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339665 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=489212 CPUtime=6.19 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6033 0 0 0 618 1 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=489212 CPUtime=6.17 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 4441 0 0 0 617 0 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=489212 CPUtime=6.21 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6319 0 0 0 620 1 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=489212 CPUtime=6.06 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6537 0 0 0 605 1 0 0 25 0 8 0 803553363 500953088 46473 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (KiB) 489212

[startup+12.7004 s]
/proc/loadavg: 2.79 2.17 2.05 9/401 11930
/proc/meminfo: memFree=30225472/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=489212 CPUtime=99.98 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 98693 0 1 0 9979 19 0 0 25 0 8 0 803553360 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 122303 55936 582 106 0 117806 0
[pid=11922/tid=11924] ppid=11920 vsize=489212 CPUtime=12.45 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8556 0 0 0 1244 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=489212 CPUtime=12.62 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6173 0 0 0 1261 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=489212 CPUtime=12.6 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 20626 0 0 0 1256 4 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=489212 CPUtime=12.59 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6336 0 0 0 1258 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=489212 CPUtime=12.58 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 6694 0 0 0 1257 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=489212 CPUtime=12.61 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 9099 0 0 0 1260 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4463787 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=489212 CPUtime=12.37 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 7313 0 0 0 1236 1 0 0 25 0 8 0 803553363 500953088 55936 33554432000 4194304 4625164 140737124382816 18446744073709551615 4288755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (KiB) 489212

[startup+25.5012 s]
/proc/loadavg: 3.94 2.46 2.15 9/401 11930
/proc/meminfo: memFree=30135408/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=544132 CPUtime=202.2 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 143013 0 1 0 20194 26 0 0 25 0 8 0 803553360 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 136033 79133 763 106 0 131536 0
[pid=11922/tid=11924] ppid=11920 vsize=544132 CPUtime=25.25 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 12716 0 0 0 2524 1 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=544132 CPUtime=25.43 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8667 0 0 0 2541 2 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=544132 CPUtime=25.4 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 42466 0 0 0 2532 8 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4547606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=544132 CPUtime=25.4 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 9064 0 0 0 2538 2 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=544132 CPUtime=25.37 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 10571 0 0 0 2536 1 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=544132 CPUtime=25.42 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 14553 0 0 0 2539 3 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=544132 CPUtime=25 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 9956 0 0 0 2499 1 0 0 25 0 8 0 803553363 557191168 79133 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339660 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.2
Current children cumulated vsize (KiB) 544132

[startup+51.1006 s]
/proc/loadavg: 5.32 2.90 2.30 9/401 11931
/proc/meminfo: memFree=30056248/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=607404 CPUtime=406.68 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 274602 0 1 0 40619 49 0 0 25 0 8 0 803553360 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512475 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 151851 98582 694 106 0 147354 0
[pid=11922/tid=11924] ppid=11920 vsize=607404 CPUtime=50.85 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 19103 0 0 0 5083 2 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=607404 CPUtime=51.03 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 12210 0 0 0 5100 3 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=607404 CPUtime=51.01 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 141006 0 0 0 5076 25 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=607404 CPUtime=50.99 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 10601 0 0 0 5097 2 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4291922 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=607404 CPUtime=50.97 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 16425 0 0 0 5095 2 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=607404 CPUtime=51.01 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 21176 0 0 0 5097 4 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=607404 CPUtime=50.27 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 10569 0 0 0 5026 1 0 0 25 0 8 0 803553363 621981696 98582 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.68

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

/proc/loadavg: 8.09 8.02 6.84 9/401 11970
/proc/meminfo: memFree=28774260/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12061.3 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8601367 0 1 0 1204739 1393 0 0 25 0 8 0 803553360 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 417356 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1510.11 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116433 0 0 0 150990 21 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1510.19 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47601 0 0 0 151004 15 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1510.24 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 7975437 0 0 0 149778 1246 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4547603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1510.23 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54649 0 0 0 151009 14 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1509.89 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50962 0 0 0 150975 14 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1510.27 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164816 0 0 0 150987 40 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1490.66 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37742 0 0 0 149053 13 0 0 25 0 8 0 803553363 2260586496 417356 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12061.3
Current children cumulated vsize (KiB) 2207604

[startup+1523.1 s]
/proc/loadavg: 8.16 8.04 6.85 9/401 11970
/proc/meminfo: memFree=28775244/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12163.5 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8676370 0 1 0 1214941 1405 0 0 25 0 8 0 803553360 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 418833 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1522.9 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116473 0 0 0 152269 21 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1522.98 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47650 0 0 0 152283 15 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1523.03 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8050259 0 0 0 151045 1258 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1523.01 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54680 0 0 0 152287 14 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1522.68 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50994 0 0 0 152254 14 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1523.05 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164845 0 0 0 152265 40 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4330968 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1503.3 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37742 0 0 0 150317 13 0 0 25 0 8 0 803553363 2260586496 418833 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12163.5
Current children cumulated vsize (KiB) 2207604

[startup+1529.5 s]
/proc/loadavg: 8.14 8.04 6.86 9/401 11971
/proc/meminfo: memFree=28769292/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12214.6 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8720858 0 1 0 1220046 1411 0 0 25 0 8 0 803553360 2260586496 418102 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 418102 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1529.3 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116485 0 0 0 152909 21 0 0 25 0 8 0 803553363 2260586496 418103 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1529.38 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47653 0 0 0 152923 15 0 0 25 0 8 0 803553363 2260586496 418104 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351801 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1529.43 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8094720 0 0 0 151679 1264 0 0 25 0 8 0 803553363 2260586496 418104 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1529.41 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54681 0 0 0 152927 14 0 0 25 0 8 0 803553363 2260586496 418105 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1529.08 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50995 0 0 0 152894 14 0 0 25 0 8 0 803553363 2260586496 418105 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349050 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1529.45 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164857 0 0 0 152905 40 0 0 25 0 8 0 803553363 2260586496 418105 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1509.61 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37742 0 0 0 150948 13 0 0 25 0 8 0 803553363 2260586496 418106 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12214.6
Current children cumulated vsize (KiB) 2207604

[startup+1535.9 s]
/proc/loadavg: 8.12 8.04 6.87 9/401 11971
/proc/meminfo: memFree=28774740/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12265.7 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8771639 0 1 0 1225151 1418 0 0 25 0 8 0 803553360 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 417721 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1535.7 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116508 0 0 0 153549 21 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1535.78 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47689 0 0 0 153563 15 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1535.83 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8145381 0 0 0 152312 1271 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1535.81 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54709 0 0 0 153567 14 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1535.48 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50995 0 0 0 153534 14 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4374182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1535.85 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164871 0 0 0 153545 40 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1515.92 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37758 0 0 0 151579 13 0 0 25 0 8 0 803553363 2260586496 417721 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12265.7
Current children cumulated vsize (KiB) 2207604

[startup+1537.5 s]
/proc/loadavg: 8.12 8.04 6.87 9/401 11971
/proc/meminfo: memFree=28774740/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12278.5 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8771653 0 1 0 1226429 1418 0 0 25 0 8 0 803553360 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 417735 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1537.3 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116512 0 0 0 153709 21 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1537.38 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47690 0 0 0 153723 15 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1537.43 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8145384 0 0 0 152472 1271 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1537.41 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54712 0 0 0 153727 14 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1537.08 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50995 0 0 0 153694 14 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1537.45 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164874 0 0 0 153705 40 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1517.51 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37758 0 0 0 151738 13 0 0 25 0 8 0 803553363 2260586496 417735 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12278.5
Current children cumulated vsize (KiB) 2207604

[startup+1539.1 s]
/proc/loadavg: 8.12 8.04 6.87 9/401 11971
/proc/meminfo: memFree=28774244/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12291.2 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8771696 0 1 0 1227706 1418 0 0 25 0 8 0 803553360 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 417778 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1538.9 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116515 0 0 0 153869 21 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1538.98 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47690 0 0 0 153883 15 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1539.03 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8145386 0 0 0 152632 1271 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1539.01 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54744 0 0 0 153887 14 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1538.68 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50995 0 0 0 153854 14 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4348870 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1539.05 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164876 0 0 0 153865 40 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1519.08 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37762 0 0 0 151895 13 0 0 25 0 8 0 803553363 2260586496 417778 33554432000 4194304 4625164 140737124382816 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12291.2
Current children cumulated vsize (KiB) 2207604

[startup+1539.5 s]
/proc/loadavg: 8.12 8.04 6.87 9/401 11971
/proc/meminfo: memFree=28774244/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=2207604 CPUtime=12294.5 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) R 11920 11922 11896 0 -1 4202496 8773051 0 1 0 1228026 1419 0 0 25 0 8 0 803553360 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 551901 417782 381 106 0 547404 0
[pid=11922/tid=11924] ppid=11920 vsize=2207604 CPUtime=1539.3 cores=0-7
/proc/11922/task/11924/stat : 11924 (SArTagnan) R 11920 11922 11896 0 -1 4202560 116516 0 0 0 153909 21 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=2207604 CPUtime=1539.38 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4202560 47690 0 0 0 153923 15 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11922/tid=11926] ppid=11920 vsize=2207604 CPUtime=1539.43 cores=0-7
/proc/11922/task/11926/stat : 11926 (SArTagnan) R 11920 11922 11896 0 -1 4202560 8146737 0 0 0 152672 1271 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11922/tid=11927] ppid=11920 vsize=2207604 CPUtime=1539.41 cores=0-7
/proc/11922/task/11927/stat : 11927 (SArTagnan) R 11920 11922 11896 0 -1 4202560 54746 0 0 0 153927 14 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11922/tid=11928] ppid=11920 vsize=2207604 CPUtime=1539.08 cores=0-7
/proc/11922/task/11928/stat : 11928 (SArTagnan) R 11920 11922 11896 0 -1 4202560 50995 0 0 0 153894 14 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11922/tid=11929] ppid=11920 vsize=2207604 CPUtime=1539.45 cores=0-7
/proc/11922/task/11929/stat : 11929 (SArTagnan) R 11920 11922 11896 0 -1 4202560 164877 0 0 0 153905 40 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11922/tid=11930] ppid=11920 vsize=2207604 CPUtime=1519.48 cores=0-7
/proc/11922/task/11930/stat : 11930 (SArTagnan) R 11920 11922 11896 0 -1 4202560 37762 0 0 0 151935 13 0 0 25 0 8 0 803553363 2260586496 417782 33554432000 4194304 4625164 140737124382816 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12294.5
Current children cumulated vsize (KiB) 2207604

[startup+1539.7 s]
/proc/loadavg: 8.12 8.04 6.87 9/401 11971
/proc/meminfo: memFree=28774244/32950904 swapFree=56615552/67111528
[pid=11922] ppid=11920 vsize=0 CPUtime=12295.8 cores=0-7
/proc/11922/stat : 11922 (SArTagnan) Z 11920 11922 11896 0 -1 4203548 8773078 0 1 0 1228154 1423 0 0 25 0 2 0 803553360 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11922/statm: 0 0 0 0 0 0 0
[pid=11922/tid=11925] ppid=11920 vsize=0 CPUtime=1539.58 cores=0-7
/proc/11922/task/11925/stat : 11925 (SArTagnan) R 11920 11922 11896 0 -1 4203588 47700 0 0 0 153939 19 0 0 25 0 2 0 803553363 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12295.8
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1539.75
CPU time (s): 12295.8
CPU user time (s): 12281.5
CPU system time (s): 14.2768
CPU usage (%): 798.561
Max. virtual memory (cumulated for all children) (KiB): 2207604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12281.5
system time used= 14.2768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8773078
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16672
involuntary context switches= 52037

runsolver used 5.52216 second user time and 14.3248 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-01 11:12:16
IDJOB=3438501
IDBENCH=71433
IDSOLVER=1936
FILE ID=node121/3438501-1306919536
RUNJOBID= node121-1306919536-11910
PBS_JOBID= 13488529
Free space on /tmp= 73844 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes1.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438501-1306919536/watcher-3438501-1306919536 -o /tmp/evaluation-result-3438501-1306919536/solver-3438501-1306919536 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438501-1306919536.cnf -threads=8

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

MD5SUM BENCH= d6097a9814089eeede1d027388c17a02
RANDOM SEED=1771047373

node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30447432 kB
Buffers:        174204 kB
Cached:         224784 kB
SwapCached:       9896 kB
Active:        1991064 kB
Inactive:       252080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30447432 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            1644 kB
Writeback:           0 kB
AnonPages:     1841748 kB
Mapped:          12484 kB
Slab:           139568 kB
PageTables:      52588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83504112 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= 73844 MiB
End job on node121 at 2011-06-01 11:37:56