Trace number 3372884

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 4213.93 527.775

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM349e2f9eff952d4e42f8e1caefaa382b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.7873
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372884-1305443507/watcher-3372884-1305443507 -o /tmp/evaluation-result-3372884-1305443507/solver-3372884-1305443507 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372884-1305443507.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: 5.08 6.33 5.27 1/255 26864
/proc/meminfo: memFree=23038524/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=10296 CPUtime=0 cores=0-7
/proc/26864/stat : 26864 (plingeling) R 26862 26864 26699 0 -1 4202496 643 1254 0 0 0 0 0 0 23 0 1 0 655948897 10543104 573 33554432000 4194304 4417452 140735524747200 18446744073709551615 246516834048 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/26864/statm: 2574 573 148 55 0 460 0

[startup+0.071538 s]
/proc/loadavg: 5.08 6.33 5.27 1/255 26864
/proc/meminfo: memFree=23038524/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=26600 CPUtime=0.06 cores=0-7
/proc/26864/stat : 26864 (plingeling) R 26862 26864 26699 0 -1 4202496 4860 1254 0 0 6 0 0 0 23 0 1 0 655948897 27238400 4674 33554432000 4194304 4417452 140735524747200 18446744073709551615 4274387 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/26864/statm: 6650 4674 149 55 0 4536 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26600

[startup+0.100538 s]
/proc/loadavg: 5.08 6.33 5.27 1/255 26864
/proc/meminfo: memFree=23038524/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=26600 CPUtime=0.09 cores=0-7
/proc/26864/stat : 26864 (plingeling) R 26862 26864 26699 0 -1 4202496 4860 1254 0 0 9 0 0 0 23 0 1 0 655948897 27238400 4674 33554432000 4194304 4417452 140735524747200 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/26864/statm: 6650 4674 149 55 0 4536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26600

[startup+0.300517 s]
/proc/loadavg: 5.08 6.33 5.27 1/255 26864
/proc/meminfo: memFree=23038524/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=75752 CPUtime=0.28 cores=0-7
/proc/26864/stat : 26864 (plingeling) R 26862 26864 26699 0 -1 4202496 17148 1254 0 0 27 1 0 0 24 0 1 0 655948897 77570048 16962 33554432000 4194304 4417452 140735524747200 18446744073709551615 4259618 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/26864/statm: 18938 16962 149 55 0 16824 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 75752

[startup+0.700395 s]
/proc/loadavg: 5.08 6.33 5.27 1/255 26864
/proc/meminfo: memFree=23038524/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=354580 CPUtime=2.82 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 33708 1254 0 0 279 3 0 0 18 0 9 0 655948897 363089920 33506 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 88645 33506 175 55 0 86531 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 354580

[startup+1.50124 s]
/proc/loadavg: 5.08 6.33 5.27 9/264 26878
/proc/meminfo: memFree=22879424/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=357392 CPUtime=9.21 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 45344 1254 0 0 917 4 0 0 18 0 9 0 655948897 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 89348 34227 177 55 0 87234 0
[pid=26864/tid=26871] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 1728 1254 0 0 110 0 0 0 19 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=357392 CPUtime=1.09 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 1363 1254 0 0 109 0 0 0 25 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 1467 1254 0 0 110 0 0 0 25 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 55 1254 0 0 110 0 0 0 22 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 2453 1254 0 0 110 0 0 0 22 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346383 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 2109 1254 0 0 110 0 0 0 22 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=357392 CPUtime=1.1 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 1156 1254 0 0 110 0 0 0 22 0 9 0 655948936 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=357392 CPUtime=1.09 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 1464 1254 0 0 109 0 0 0 22 0 9 0 655948937 365969408 34227 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 357392

[startup+3.10095 s]
/proc/loadavg: 5.08 6.33 5.27 9/264 26878
/proc/meminfo: memFree=22900876/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=357392 CPUtime=22 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 45347 1254 0 0 2196 4 0 0 18 0 9 0 655948897 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 89348 34230 180 55 0 87234 0
[pid=26864/tid=26871] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 1728 1254 0 0 270 0 0 0 23 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=357392 CPUtime=2.69 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 1363 1254 0 0 269 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4250047 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 1470 1254 0 0 270 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249919 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 55 1254 0 0 270 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 2453 1254 0 0 270 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249242 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 2109 1254 0 0 270 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=357392 CPUtime=2.7 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 1156 1254 0 0 270 0 0 0 25 0 9 0 655948936 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=357392 CPUtime=2.68 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 1464 1254 0 0 268 0 0 0 25 0 9 0 655948937 365969408 34230 33554432000 4194304 4417452 140735524747200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22
Current children cumulated vsize (KiB) 357392

[startup+6.30037 s]
/proc/loadavg: 5.31 6.36 5.29 9/264 26878
/proc/meminfo: memFree=22954840/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=305812 CPUtime=47.57 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 46758 1254 0 0 4752 5 0 0 18 0 9 0 655948897 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 76453 21305 180 55 0 74339 0
[pid=26864/tid=26871] ppid=26862 vsize=305812 CPUtime=5.9 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 1829 1254 0 0 590 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=305812 CPUtime=5.89 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 1462 1254 0 0 589 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=305812 CPUtime=5.9 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 1613 1254 0 0 590 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=305812 CPUtime=5.9 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 766 1254 0 0 590 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=305812 CPUtime=5.9 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 2453 1254 0 0 590 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4232848 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=305812 CPUtime=5.9 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 2182 1254 0 0 590 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=305812 CPUtime=5.89 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 1440 1254 0 0 589 0 0 0 25 0 9 0 655948936 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=305812 CPUtime=5.85 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 1464 1254 0 0 585 0 0 0 25 0 9 0 655948937 313151488 21305 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.57
Current children cumulated vsize (KiB) 305812

[startup+12.7012 s]
/proc/loadavg: 5.53 6.39 5.30 9/264 26879
/proc/meminfo: memFree=22934024/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=324836 CPUtime=98.71 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 52454 1254 0 0 9866 5 0 0 18 0 9 0 655948897 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 81209 26096 180 55 0 79095 0
[pid=26864/tid=26871] ppid=26862 vsize=324836 CPUtime=12.3 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 2392 1254 0 0 1230 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4248877 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=324836 CPUtime=12.29 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 2332 1254 0 0 1229 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=324836 CPUtime=12.3 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 2526 1254 0 0 1230 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=324836 CPUtime=12.3 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 1564 1254 0 0 1230 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=324836 CPUtime=12.3 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 2556 1254 0 0 1230 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=324836 CPUtime=12.3 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 2886 1254 0 0 1230 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=324836 CPUtime=12.29 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 2918 1254 0 0 1229 0 0 0 25 0 9 0 655948936 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=324836 CPUtime=12.2 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 1731 1254 0 0 1220 0 0 0 25 0 9 0 655948937 332632064 26096 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.71
Current children cumulated vsize (KiB) 324836

[startup+25.5009 s]
/proc/loadavg: 6.08 6.47 5.34 9/264 26879
/proc/meminfo: memFree=22921192/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=340440 CPUtime=201 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 59933 1254 0 0 20094 6 0 0 18 0 9 0 655948897 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 85110 29988 180 55 0 82996 0
[pid=26864/tid=26871] ppid=26862 vsize=340440 CPUtime=25.1 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 3409 1254 0 0 2510 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=340440 CPUtime=25.09 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 2332 1254 0 0 2509 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=340440 CPUtime=25.1 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 3139 1254 0 0 2510 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=340440 CPUtime=25.1 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 2806 1254 0 0 2510 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=340440 CPUtime=25.1 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 4230 1254 0 0 2510 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=340440 CPUtime=25.1 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 3222 1254 0 0 2510 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4321721 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=340440 CPUtime=25.09 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 3611 1254 0 0 2509 0 0 0 25 0 9 0 655948936 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4311285 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=340440 CPUtime=24.89 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 3635 1254 0 0 2489 0 0 0 25 0 9 0 655948937 348610560 29988 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201
Current children cumulated vsize (KiB) 340440

[startup+51.1012 s]
/proc/loadavg: 6.80 6.60 5.42 9/264 26880
/proc/meminfo: memFree=22893032/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=368816 CPUtime=405.6 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 70296 1254 0 0 40553 7 0 0 18 0 9 0 655948897 377667584 37144 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 92204 37144 180 55 0 90090 0
[pid=26864/tid=26871] ppid=26862 vsize=368816 CPUtime=50.7 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 4882 1254 0 0 5070 0 0 0 25 0 9 0 655948936 377667584 37144 33554432000 4194304 4417452 140735524747200 18446744073709551615 4310560 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=368816 CPUtime=50.69 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 3939 1254 0 0 5069 0 0 0 25 0 9 0 655948936 377667584 37144 33554432000 4194304 4417452 140735524747200 18446744073709551615 4346490 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=368816 CPUtime=50.7 cores=0-7

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

/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 32766 1254 0 0 39857 5 0 0 25 0 9 0 655948937 616366080 95328 33554432000 4194304 4417452 140735524747200 18446744073709551615 4321417 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3212.35
Current children cumulated vsize (KiB) 601920

[startup+462.301 s]
/proc/loadavg: 8.10 7.71 6.36 9/264 26891
/proc/meminfo: memFree=22640604/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=621880 CPUtime=3691.86 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 384564 1254 0 0 369124 62 0 0 18 0 9 0 655948897 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 155470 100318 180 55 0 153356 0
[pid=26864/tid=26871] ppid=26862 vsize=621880 CPUtime=461.91 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 44377 1254 0 0 46184 7 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=621880 CPUtime=461.9 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 55173 1254 0 0 46181 9 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=621880 CPUtime=461.9 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 42534 1254 0 0 46183 7 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=621880 CPUtime=461.91 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 32349 1254 0 0 46186 5 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=621880 CPUtime=461.9 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 37662 1254 0 0 46185 5 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=621880 CPUtime=461.91 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 54388 1254 0 0 46183 8 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=621880 CPUtime=461.84 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 46553 1254 0 0 46176 8 0 0 25 0 9 0 655948936 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=621880 CPUtime=458.13 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 37979 1254 0 0 45807 6 0 0 25 0 9 0 655948937 636805120 100318 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3691.86
Current children cumulated vsize (KiB) 621880

[startup+522.301 s]
/proc/loadavg: 8.32 7.83 6.48 10/264 26892
/proc/meminfo: memFree=22654624/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=603568 CPUtime=4171.37 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 443361 1254 0 0 417066 71 0 0 18 0 9 0 655948897 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 150892 95740 180 55 0 148778 0
[pid=26864/tid=26871] ppid=26862 vsize=603568 CPUtime=521.91 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55050 1254 0 0 52183 8 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4236670 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=603568 CPUtime=521.9 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 59334 1254 0 0 52180 10 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=603568 CPUtime=521.9 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 50863 1254 0 0 52182 8 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=603568 CPUtime=521.91 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52185 6 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=603568 CPUtime=521.91 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42059 1254 0 0 52185 6 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=603568 CPUtime=521.91 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 64024 1254 0 0 52181 10 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=603568 CPUtime=521.83 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 56339 1254 0 0 52174 9 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=603568 CPUtime=517.64 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 45716 1254 0 0 51757 7 0 0 25 0 9 0 655948937 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4171.37
Current children cumulated vsize (KiB) 603568

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

[startup+524.71 s]
/proc/loadavg: 8.30 7.84 6.49 9/264 26892
/proc/meminfo: memFree=22659336/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=603568 CPUtime=4190.62 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 443361 1254 0 0 418991 71 0 0 18 0 9 0 655948897 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 150892 95740 180 55 0 148778 0
[pid=26864/tid=26871] ppid=26862 vsize=603568 CPUtime=524.32 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55050 1254 0 0 52424 8 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=603568 CPUtime=524.31 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 59334 1254 0 0 52421 10 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4343993 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=603568 CPUtime=524.31 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 50863 1254 0 0 52423 8 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=603568 CPUtime=524.32 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52426 6 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=603568 CPUtime=524.32 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42059 1254 0 0 52426 6 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=603568 CPUtime=524.32 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 64024 1254 0 0 52422 10 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=603568 CPUtime=524.24 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 56339 1254 0 0 52415 9 0 0 25 0 9 0 655948936 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=603568 CPUtime=520.02 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 45716 1254 0 0 51995 7 0 0 25 0 9 0 655948937 618053632 95740 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4190.62
Current children cumulated vsize (KiB) 603568

[startup+526.3 s]
/proc/loadavg: 8.30 7.84 6.49 9/264 26892
/proc/meminfo: memFree=22656484/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=606416 CPUtime=4203.33 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 444073 1254 0 0 420262 71 0 0 18 0 9 0 655948897 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 151604 96452 180 55 0 149490 0
[pid=26864/tid=26871] ppid=26862 vsize=606416 CPUtime=525.91 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55050 1254 0 0 52583 8 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=606416 CPUtime=525.9 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 59334 1254 0 0 52580 10 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=606416 CPUtime=525.9 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 50863 1254 0 0 52582 8 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=606416 CPUtime=525.91 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52585 6 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=606416 CPUtime=525.91 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42771 1254 0 0 52585 6 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=606416 CPUtime=525.91 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 64024 1254 0 0 52581 10 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=606416 CPUtime=525.83 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 56339 1254 0 0 52574 9 0 0 25 0 9 0 655948936 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=606416 CPUtime=521.61 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 45716 1254 0 0 52154 7 0 0 25 0 9 0 655948937 620969984 96452 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4203.33
Current children cumulated vsize (KiB) 606416

[startup+527.101 s]
/proc/loadavg: 8.30 7.84 6.49 9/264 26892
/proc/meminfo: memFree=22656476/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=608888 CPUtime=4209.73 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 444913 1254 0 0 420902 71 0 0 18 0 9 0 655948897 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 152222 97070 180 55 0 150108 0
[pid=26864/tid=26871] ppid=26862 vsize=608888 CPUtime=526.71 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55050 1254 0 0 52663 8 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=608888 CPUtime=526.7 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 60174 1254 0 0 52660 10 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=608888 CPUtime=526.7 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 50863 1254 0 0 52662 8 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=608888 CPUtime=526.71 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52665 6 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=608888 CPUtime=526.71 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42771 1254 0 0 52665 6 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=608888 CPUtime=526.71 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 64024 1254 0 0 52661 10 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=608888 CPUtime=526.63 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 56339 1254 0 0 52654 9 0 0 25 0 9 0 655948936 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=608888 CPUtime=522.4 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 45716 1254 0 0 52233 7 0 0 25 0 9 0 655948937 623501312 97070 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4209.73
Current children cumulated vsize (KiB) 608888

[startup+527.501 s]
/proc/loadavg: 8.30 7.84 6.49 9/264 26892
/proc/meminfo: memFree=22656476/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=612192 CPUtime=4212.93 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 445739 1254 0 0 421222 71 0 0 18 0 9 0 655948897 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 153048 97896 180 55 0 150934 0
[pid=26864/tid=26871] ppid=26862 vsize=612192 CPUtime=527.11 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55638 1254 0 0 52703 8 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26872] ppid=26862 vsize=612192 CPUtime=527.1 cores=0-7
/proc/26864/task/26872/stat : 26872 (plingeling) R 26862 26864 26699 0 -1 4202560 60174 1254 0 0 52700 10 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26864/tid=26873] ppid=26862 vsize=612192 CPUtime=527.1 cores=0-7
/proc/26864/task/26873/stat : 26873 (plingeling) R 26862 26864 26699 0 -1 4202560 50863 1254 0 0 52702 8 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=612192 CPUtime=527.11 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52705 6 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=612192 CPUtime=527.11 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42771 1254 0 0 52705 6 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26864/tid=26876] ppid=26862 vsize=612192 CPUtime=527.11 cores=0-7
/proc/26864/task/26876/stat : 26876 (plingeling) R 26862 26864 26699 0 -1 4202560 64024 1254 0 0 52701 10 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4250975 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26864/tid=26877] ppid=26862 vsize=612192 CPUtime=527.03 cores=0-7
/proc/26864/task/26877/stat : 26877 (plingeling) R 26862 26864 26699 0 -1 4202560 56339 1254 0 0 52694 9 0 0 25 0 9 0 655948936 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26864/tid=26878] ppid=26862 vsize=612192 CPUtime=522.8 cores=0-7
/proc/26864/task/26878/stat : 26878 (plingeling) R 26862 26864 26699 0 -1 4202560 45954 1254 0 0 52273 7 0 0 25 0 9 0 655948937 626884608 97896 33554432000 4194304 4417452 140735524747200 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4212.93
Current children cumulated vsize (KiB) 612192

[startup+527.701 s]
/proc/loadavg: 8.30 7.84 6.49 9/264 26892
/proc/meminfo: memFree=22656476/32951124 swapFree=61565116/67111528
[pid=26864] ppid=26862 vsize=612192 CPUtime=4213.84 cores=0-7
/proc/26864/stat : 26864 (plingeling) S 26862 26864 26699 0 -1 4202496 445740 1254 0 0 421313 71 0 0 18 0 4 0 655948897 626884608 97897 33554432000 4194304 4417452 140735524747200 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/26864/statm: 153048 97897 181 55 0 150934 0
[pid=26864/tid=26871] ppid=26862 vsize=612192 CPUtime=527.31 cores=0-7
/proc/26864/task/26871/stat : 26871 (plingeling) R 26862 26864 26699 0 -1 4202560 55638 1254 0 0 52723 8 0 0 25 0 4 0 655948936 626884608 97897 33554432000 4194304 4417452 140735524747200 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26864/tid=26874] ppid=26862 vsize=612192 CPUtime=527.31 cores=0-7
/proc/26864/task/26874/stat : 26874 (plingeling) R 26862 26864 26699 0 -1 4202560 36427 1254 0 0 52725 6 0 0 25 0 4 0 655948936 626884608 97897 33554432000 4194304 4417452 140735524747200 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26864/tid=26875] ppid=26862 vsize=612192 CPUtime=527.31 cores=0-7
/proc/26864/task/26875/stat : 26875 (plingeling) R 26862 26864 26699 0 -1 4202560 42771 1254 0 0 52725 6 0 0 25 0 4 0 655948936 626884608 97897 33554432000 4194304 4417452 140735524747200 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4213.84
Current children cumulated vsize (KiB) 612192

Child status: 10
Real time (s): 527.775
CPU time (s): 4213.93
CPU user time (s): 4213.2
CPU system time (s): 0.736887
CPU usage (%): 798.434
Max. virtual memory (cumulated for all children) (KiB): 635328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4213.2
system time used= 0.736887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447009
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= 214
involuntary context switches= 36591

runsolver used 1.26881 second user time and 3.05253 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 09:11:47
IDJOB=3372884
IDBENCH=85965
IDSOLVER=1851
FILE ID=node134/3372884-1305443507
RUNJOBID= node134-1305442901-26713
PBS_JOBID= 13324831
Free space on /tmp= 73508 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372884-1305443507/watcher-3372884-1305443507 -o /tmp/evaluation-result-3372884-1305443507/solver-3372884-1305443507 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372884-1305443507.cnf

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

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=590651454

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23038680 kB
Buffers:        269648 kB
Cached:        6092800 kB
SwapCached:      13768 kB
Active:         960968 kB
Inactive:      8733848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23038680 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:            3268 kB
Writeback:           0 kB
AnonPages:     3325404 kB
Mapped:          11796 kB
Slab:           123372 kB
PageTables:      30508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38870224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73504 MiB
End job on node134 at 2011-05-15 09:20:35