Trace number 3394046

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 20624.7 2584.82

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
MD5SUMeded74bffb721f48c45af6ff95302642
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.17
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 

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

[startup+0.11029 s]
/proc/loadavg: 7.52 7.90 7.95 1/491 26210
/proc/meminfo: memFree=18464112/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=26776 CPUtime=0.09 cores=0-7
/proc/26210/stat : 26210 (plingeling) R 26208 26210 25975 0 -1 4202496 4764 1256 0 0 9 0 0 0 25 0 1 0 719623557 27418624 4694 33554432000 4194304 4417452 140733990870784 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/26210/statm: 6694 4694 148 55 0 4580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26776

[startup+0.20024 s]
/proc/loadavg: 7.52 7.90 7.95 1/491 26210
/proc/meminfo: memFree=18464112/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=179380 CPUtime=0.76 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 7655 1256 0 0 75 1 0 0 25 0 9 0 719623557 183685120 5839 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 44845 5894 177 55 0 42731 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 179380

[startup+0.30022 s]
/proc/loadavg: 7.52 7.90 7.95 1/491 26210
/proc/meminfo: memFree=18464112/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=178196 CPUtime=1.56 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 9431 1256 0 0 155 1 0 0 25 0 9 0 719623557 182472704 5653 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 44549 5653 177 55 0 42435 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 178196

[startup+0.700147 s]
/proc/loadavg: 7.52 7.90 7.95 1/491 26210
/proc/meminfo: memFree=18464112/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=191304 CPUtime=4.76 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 14455 1256 0 0 474 2 0 0 25 0 9 0 719623557 195895296 9060 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 47826 9060 180 55 0 45712 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 191304

[startup+1.50101 s]
/proc/loadavg: 7.52 7.90 7.95 9/500 26224
/proc/meminfo: memFree=18428708/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=198112 CPUtime=11.14 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 17626 1256 0 0 1112 2 0 0 25 0 9 0 719623557 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 49528 10762 180 55 0 47414 0
[pid=26210/tid=26217] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 807 1256 0 0 138 0 0 0 19 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 1108 1256 0 0 138 0 0 0 19 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 819 1256 0 0 138 0 0 0 25 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 6289 1256 0 0 137 1 0 0 25 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 1176 1256 0 0 138 0 0 0 19 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4236280 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=198112 CPUtime=1.38 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 839 1256 0 0 138 0 0 0 25 0 9 0 719623568 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=198112 CPUtime=1.37 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 842 1256 0 0 137 0 0 0 19 0 9 0 719623569 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=198112 CPUtime=1.35 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 965 1256 0 0 135 0 0 0 25 0 9 0 719623570 202866688 10762 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 198112

[startup+3.10072 s]
/proc/loadavg: 7.52 7.90 7.95 9/500 26224
/proc/meminfo: memFree=18410728/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=214912 CPUtime=23.92 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 25842 1256 0 0 2388 4 0 0 25 0 9 0 719623557 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 53728 14962 180 55 0 51614 0
[pid=26210/tid=26217] ppid=26208 vsize=214912 CPUtime=2.98 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 1408 1256 0 0 298 0 0 0 24 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249113 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=214912 CPUtime=2.97 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 1408 1256 0 0 297 0 0 0 24 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4248888 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=214912 CPUtime=2.98 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 1307 1256 0 0 298 0 0 0 25 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4377419 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=214912 CPUtime=2.98 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 11591 1256 0 0 296 2 0 0 25 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=214912 CPUtime=2.98 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 1476 1256 0 0 298 0 0 0 24 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4258401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=214912 CPUtime=2.98 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 1139 1256 0 0 298 0 0 0 25 0 9 0 719623568 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=214912 CPUtime=2.97 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 1467 1256 0 0 297 0 0 0 24 0 9 0 719623569 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4258553 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=214912 CPUtime=2.93 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 1265 1256 0 0 293 0 0 0 25 0 9 0 719623570 220069888 14962 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.92
Current children cumulated vsize (KiB) 214912

[startup+6.30116 s]
/proc/loadavg: 7.56 7.90 7.95 9/500 26224
/proc/meminfo: memFree=18403988/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=229816 CPUtime=49.47 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 38444 1256 0 0 4941 6 0 0 25 0 9 0 719623557 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 57454 18688 180 55 0 55340 0
[pid=26210/tid=26217] ppid=26208 vsize=229816 CPUtime=6.18 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 2008 1256 0 0 618 0 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=229816 CPUtime=6.17 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 2008 1256 0 0 617 0 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4236255 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=229816 CPUtime=6.17 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 3937 1256 0 0 617 0 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=229816 CPUtime=6.18 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 18479 1256 0 0 615 3 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=229816 CPUtime=6.18 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 2076 1256 0 0 618 0 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4236319 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=229816 CPUtime=6.18 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 1739 1256 0 0 618 0 0 0 25 0 9 0 719623568 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=229816 CPUtime=6.17 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 2151 1256 0 0 617 0 0 0 25 0 9 0 719623569 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4348569 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=229816 CPUtime=6.08 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 1265 1256 0 0 608 0 0 0 25 0 9 0 719623570 235331584 18688 33554432000 4194304 4417452 140733990870784 18446744073709551615 4258462 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (KiB) 229816

[startup+12.701 s]
/proc/loadavg: 7.59 7.90 7.95 10/501 26225
/proc/meminfo: memFree=18337140/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=280064 CPUtime=100.46 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 60418 1256 0 0 10036 10 0 0 25 0 9 0 719623557 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 70016 31250 180 55 0 67902 0
[pid=26210/tid=26217] ppid=26208 vsize=280064 CPUtime=12.58 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 2761 1256 0 0 1258 0 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4306324 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=280064 CPUtime=12.57 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 2819 1256 0 0 1257 0 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4312542 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=280064 CPUtime=12.48 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 6856 1256 0 0 1247 1 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=280064 CPUtime=12.58 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 31298 1256 0 0 1252 6 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4250882 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=280064 CPUtime=12.57 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 2905 1256 0 0 1257 0 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4254452 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=280064 CPUtime=12.58 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 2015 1256 0 0 1258 0 0 0 25 0 9 0 719623568 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4311285 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=280064 CPUtime=12.57 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 4766 1256 0 0 1257 0 0 0 25 0 9 0 719623569 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4235978 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=280064 CPUtime=12.37 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 2217 1256 0 0 1237 0 0 0 25 0 9 0 719623570 286785536 31250 33554432000 4194304 4417452 140733990870784 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.46
Current children cumulated vsize (KiB) 280064

[startup+25.5008 s]
/proc/loadavg: 7.97 7.97 7.97 10/501 26226
/proc/meminfo: memFree=18263424/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=331200 CPUtime=202.11 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 118065 1256 0 0 20191 20 0 0 25 0 9 0 719623557 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 82800 44034 180 55 0 80686 0
[pid=26210/tid=26217] ppid=26208 vsize=331200 CPUtime=25.37 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 9196 1256 0 0 2536 1 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=331200 CPUtime=25.35 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 8985 1256 0 0 2535 0 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=331200 CPUtime=25.14 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 13646 1256 0 0 2512 2 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4309862 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=331200 CPUtime=24.99 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 50265 1256 0 0 2490 9 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=331200 CPUtime=25.38 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 6396 1256 0 0 2537 1 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4357726 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=331200 CPUtime=25.38 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 7550 1256 0 0 2537 1 0 0 25 0 9 0 719623568 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=331200 CPUtime=25.38 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 9496 1256 0 0 2536 2 0 0 25 0 9 0 719623569 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=331200 CPUtime=24.95 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 7750 1256 0 0 2495 0 0 0 25 0 9 0 719623570 339148800 44034 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.11
Current children cumulated vsize (KiB) 331200

[startup+51.1012 s]
/proc/loadavg: 8.04 7.99 7.98 9/500 26227
/proc/meminfo: memFree=18241348/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=334772 CPUtime=406.35 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 241190 1256 0 0 40590 45 0 0 25 0 9 0 719623557 342806528 44927 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 83693 44927 180 55 0 81579 0
[pid=26210/tid=26217] ppid=26208 vsize=334772 CPUtime=50.98 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 26204 1256 0 0 5093 5 0 0 25 0 9 0 719623568 342806528 44927 33554432000 4194304 4417452 140733990870784 18446744073709551615 4355841 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=334772 CPUtime=50.96 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 20482 1256 0 0 5094 2 0 0 25 0 9 0 719623568 342806528 44927 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=334772 CPUtime=50.72 cores=0-7

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

[pid=26210/tid=26220] ppid=26208 vsize=3662128 CPUtime=2441.63 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 626538 1256 0 0 244028 135 0 0 25 0 9 0 719623568 3750019072 876766 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=3662128 CPUtime=2442.21 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 244106 115 0 0 25 0 9 0 719623568 3750019072 876766 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=3662128 CPUtime=2442.23 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 244134 89 0 0 25 0 9 0 719623568 3750019072 876766 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=3662128 CPUtime=2442.23 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 495177 1256 0 0 244126 97 0 0 25 0 9 0 719623569 3750019072 876766 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=3662128 CPUtime=2402.26 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 240115 111 0 0 25 0 9 0 719623570 3750019072 876766 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19496.5
Current children cumulated vsize (KiB) 3662128

[startup+2502.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/500 26292
/proc/meminfo: memFree=15275468/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=3335152 CPUtime=19975.6 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4397483 1256 0 0 1996702 854 0 0 25 0 9 0 719623557 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 833788 795054 180 55 0 831674 0
[pid=26210/tid=26217] ppid=26208 vsize=3335152 CPUtime=2502.23 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 511953 1256 0 0 250132 91 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=3335152 CPUtime=2502.21 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 530175 1256 0 0 250122 99 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=3335152 CPUtime=2501.33 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 538941 1256 0 0 250026 107 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=3335152 CPUtime=2501.63 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 626538 1256 0 0 250028 135 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=3335152 CPUtime=2502.21 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 250106 115 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=3335152 CPUtime=2502.23 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 250134 89 0 0 25 0 9 0 719623568 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=3335152 CPUtime=2502.23 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 517193 1256 0 0 250122 101 0 0 25 0 9 0 719623569 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=3335152 CPUtime=2461.29 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 246018 111 0 0 25 0 9 0 719623570 3415195648 795054 33554432000 4194304 4417452 140733990870784 18446744073709551615 4354244 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19975.6
Current children cumulated vsize (KiB) 3335152

[startup+2562.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/500 26293
/proc/meminfo: memFree=15675404/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2936520 CPUtime=20454.6 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420127 1256 0 0 2044594 862 0 0 25 0 9 0 719623557 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 734130 695396 180 55 0 732016 0
[pid=26210/tid=26217] ppid=26208 vsize=2936520 CPUtime=2562.24 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 523007 1256 0 0 256129 95 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=2936520 CPUtime=2562.21 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 530175 1256 0 0 256122 99 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=2936520 CPUtime=2561.31 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 538941 1256 0 0 256024 107 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=2936520 CPUtime=2561.63 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 638128 1256 0 0 256023 140 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=2936520 CPUtime=2562.21 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 256106 115 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=2936520 CPUtime=2562.23 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 256134 89 0 0 25 0 9 0 719623568 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=2936520 CPUtime=2562.23 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 517193 1256 0 0 256122 101 0 0 25 0 9 0 719623569 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=2936520 CPUtime=2520.3 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 251919 111 0 0 25 0 9 0 719623570 3006996480 695396 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20454.6
Current children cumulated vsize (KiB) 2936520

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

[startup+2572.8 s]
/proc/loadavg: 8.00 8.02 8.00 9/500 26294
/proc/meminfo: memFree=15674532/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2937372 CPUtime=20538.4 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420340 1256 0 0 2052977 862 0 0 25 0 9 0 719623557 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 734343 695609 180 55 0 732229 0
[pid=26210/tid=26217] ppid=26208 vsize=2937372 CPUtime=2572.74 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 523007 1256 0 0 257179 95 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=2937372 CPUtime=2572.71 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 530175 1256 0 0 257172 99 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4236630 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=2937372 CPUtime=2571.81 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 538941 1256 0 0 257074 107 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=2937372 CPUtime=2572.13 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 638341 1256 0 0 257073 140 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=2937372 CPUtime=2572.71 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 257156 115 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=2937372 CPUtime=2572.73 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 257184 89 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=2937372 CPUtime=2572.73 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 517193 1256 0 0 257172 101 0 0 25 0 9 0 719623569 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=2937372 CPUtime=2530.64 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 252953 111 0 0 25 0 9 0 719623570 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20538.4
Current children cumulated vsize (KiB) 2937372

[startup+2579.2 s]
/proc/loadavg: 8.00 8.02 8.00 9/500 26294
/proc/meminfo: memFree=15674528/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2937372 CPUtime=20589.5 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420340 1256 0 0 2058087 862 0 0 25 0 9 0 719623557 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 734343 695609 180 55 0 732229 0
[pid=26210/tid=26217] ppid=26208 vsize=2937372 CPUtime=2579.14 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 523007 1256 0 0 257819 95 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=2937372 CPUtime=2579.11 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 530175 1256 0 0 257812 99 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=2937372 CPUtime=2578.21 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 538941 1256 0 0 257714 107 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=2937372 CPUtime=2578.53 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 638341 1256 0 0 257713 140 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=2937372 CPUtime=2579.11 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 257796 115 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=2937372 CPUtime=2579.13 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 257824 89 0 0 25 0 9 0 719623568 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=2937372 CPUtime=2579.13 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 517193 1256 0 0 257812 101 0 0 25 0 9 0 719623569 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=2937372 CPUtime=2536.93 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 253582 111 0 0 25 0 9 0 719623570 3007868928 695609 33554432000 4194304 4417452 140733990870784 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20589.5
Current children cumulated vsize (KiB) 2937372

[startup+2582.4 s]
/proc/loadavg: 8.00 8.02 8.00 9/500 26294
/proc/meminfo: memFree=15673412/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2938508 CPUtime=20615 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420624 1256 0 0 2060642 862 0 0 25 0 9 0 719623557 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 734627 695893 180 55 0 732513 0
[pid=26210/tid=26217] ppid=26208 vsize=2938508 CPUtime=2582.34 cores=0-7
/proc/26210/task/26217/stat : 26217 (plingeling) R 26208 26210 25975 0 -1 4202560 523007 1256 0 0 258139 95 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4263287 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26210/tid=26218] ppid=26208 vsize=2938508 CPUtime=2582.31 cores=0-7
/proc/26210/task/26218/stat : 26218 (plingeling) R 26208 26210 25975 0 -1 4202560 530175 1256 0 0 258132 99 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26210/tid=26219] ppid=26208 vsize=2938508 CPUtime=2581.41 cores=0-7
/proc/26210/task/26219/stat : 26219 (plingeling) R 26208 26210 25975 0 -1 4202560 538941 1256 0 0 258034 107 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26210/tid=26220] ppid=26208 vsize=2938508 CPUtime=2581.73 cores=0-7
/proc/26210/task/26220/stat : 26220 (plingeling) R 26208 26210 25975 0 -1 4202560 638625 1256 0 0 258033 140 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26210/tid=26221] ppid=26208 vsize=2938508 CPUtime=2582.31 cores=0-7
/proc/26210/task/26221/stat : 26221 (plingeling) R 26208 26210 25975 0 -1 4202560 616914 1256 0 0 258116 115 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26210/tid=26222] ppid=26208 vsize=2938508 CPUtime=2582.33 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 258144 89 0 0 25 0 9 0 719623568 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26210/tid=26223] ppid=26208 vsize=2938508 CPUtime=2582.33 cores=0-7
/proc/26210/task/26223/stat : 26223 (plingeling) R 26208 26210 25975 0 -1 4202560 517193 1256 0 0 258132 101 0 0 25 0 9 0 719623569 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26210/tid=26224] ppid=26208 vsize=2938508 CPUtime=2540.08 cores=0-7
/proc/26210/task/26224/stat : 26224 (plingeling) R 26208 26210 25975 0 -1 4202560 599784 1256 0 0 253897 111 0 0 25 0 9 0 719623570 3009032192 695893 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20615
Current children cumulated vsize (KiB) 2938508

[startup+2584.02 s]
/proc/loadavg: 8.00 8.02 8.00 2/493 26294
/proc/meminfo: memFree=15673468/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2918020 CPUtime=20623.9 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420625 1256 0 0 2061528 862 0 0 15 0 2 0 719623557 2988052480 695890 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 729505 695890 181 55 0 727391 0
[pid=26210/tid=26222] ppid=26208 vsize=2918020 CPUtime=2583.95 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 258306 89 0 0 25 0 2 0 719623568 2988052480 695890 33554432000 4194304 4417452 140733990870784 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20623.9
Current children cumulated vsize (KiB) 2918020

[startup+2584.4 s]
/proc/loadavg: 8.00 8.02 8.00 2/493 26294
/proc/meminfo: memFree=15673468/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=2918020 CPUtime=20624.3 cores=0-7
/proc/26210/stat : 26210 (plingeling) S 26208 26210 25975 0 -1 4202496 4420625 1256 0 0 2061567 862 0 0 15 0 2 0 719623557 2988052480 695890 33554432000 4194304 4417452 140733990870784 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/26210/statm: 729505 695890 181 55 0 727391 0
[pid=26210/tid=26222] ppid=26208 vsize=2918020 CPUtime=2584.33 cores=0-7
/proc/26210/task/26222/stat : 26222 (plingeling) R 26208 26210 25975 0 -1 4202560 451204 1256 0 0 258344 89 0 0 25 0 2 0 719623568 2988052480 695890 33554432000 4194304 4417452 140733990870784 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20624.3
Current children cumulated vsize (KiB) 2918020

[startup+2584.8 s]
/proc/loadavg: 8.00 8.02 8.00 2/493 26294
/proc/meminfo: memFree=15673468/32951124 swapFree=60609112/67111528
[pid=26210] ppid=26208 vsize=463896 CPUtime=20624.7 cores=0-7
/proc/26210/stat : 26210 (plingeling) R 26208 26210 25975 0 -1 4202496 4420625 1256 0 0 2061597 871 0 0 16 0 1 0 719623557 475029504 89767 33554432000 4194304 4417452 140733990870784 18446744073709551615 270613153927 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26210/statm: 115974 89767 181 55 0 113860 0
Current children cumulated CPU time (s) 20624.7
Current children cumulated vsize (KiB) 463896

Child status: 10
Real time (s): 2584.82
CPU time (s): 20624.7
CPU user time (s): 20616
CPU system time (s): 8.73867
CPU usage (%): 797.918
Max. virtual memory (cumulated for all children) (KiB): 3929608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20616
system time used= 8.73867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4421896
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= 502
involuntary context switches= 99537

runsolver used 11.9842 second user time and 30.3104 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-22 18:03:46
IDJOB=3394046
IDBENCH=71273
IDSOLVER=1851
FILE ID=node108/3394046-1306080226
RUNJOBID= node108-1306078107-25989
PBS_JOBID= 13387910
Free space on /tmp= 73076 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394046-1306080226/watcher-3394046-1306080226 -o /tmp/evaluation-result-3394046-1306080226/solver-3394046-1306080226 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3394046-1306080226.cnf

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

MD5SUM BENCH= eded74bffb721f48c45af6ff95302642
RANDOM SEED=588103928

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18464392 kB
Buffers:        202632 kB
Cached:        6292748 kB
SwapCached:      27044 kB
Active:        3561956 kB
Inactive:     10672356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18464392 kB
SwapTotal:    67111528 kB
SwapFree:     60609112 kB
Dirty:            1196 kB
Writeback:           0 kB
AnonPages:     7722764 kB
Mapped:          28720 kB
Slab:           116424 kB
PageTables:      65272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134536364 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= 73076 MiB
End job on node108 at 2011-05-22 18:46:51