Trace number 3372900

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 18891.4 594.88

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
MD5SUMc9c90d9af49f4c08c7262ecb9a0b2a3d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18891.4
Satisfiable
(Un)Satisfiability was proved
Number of variables1296
Number of clauses230544
Sum of the clauses size603180
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 290828
Number of clauses of size 3139644
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 572

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 32.08 32.02 31.76 1/413 31784
/proc/meminfo: memFree=255361148/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=14328 CPUtime=0.03 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 1646 1245 0 0 2 0 0 1 21 0 1 0 725283727 14671872 1577 268435456000 4194304 4417452 140736024184304 18446744073709551615 258650649796 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 3582 1577 144 55 0 1468 0

[startup+0.11746 s]
/proc/loadavg: 32.08 32.02 31.76 1/413 31784
/proc/meminfo: memFree=255361148/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=18600 CPUtime=0.1 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 2739 1245 0 0 9 0 0 1 21 0 1 0 725283727 19046400 2670 268435456000 4194304 4417452 140736024184304 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 4650 2670 145 55 0 2536 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18600

[startup+0.200418 s]
/proc/loadavg: 32.08 32.02 31.76 1/413 31784
/proc/meminfo: memFree=255361148/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=31316 CPUtime=0.19 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 6082 1245 0 0 17 1 0 1 21 0 1 0 725283727 32067584 5850 268435456000 4194304 4417452 140736024184304 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 7829 5850 146 55 0 5715 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31316

[startup+0.300425 s]
/proc/loadavg: 32.08 32.02 31.76 1/413 31784
/proc/meminfo: memFree=255361148/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=31316 CPUtime=0.29 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 6082 1245 0 0 27 1 0 1 22 0 1 0 725283727 32067584 5850 268435456000 4194304 4417452 140736024184304 18446744073709551615 4259618 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 7829 5850 146 55 0 5715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31316

[startup+0.700477 s]
/proc/loadavg: 32.08 32.02 31.76 1/413 31784
/proc/meminfo: memFree=255361148/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=47256 CPUtime=0.69 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 10436 1245 0 0 66 2 0 1 23 0 1 0 725283727 48390144 9835 268435456000 4194304 4417452 140736024184304 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 11814 9835 146 55 0 9700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47256

[startup+1.50046 s]
/proc/loadavg: 29.59 31.51 31.60 2/414 31790
/proc/meminfo: memFree=255288832/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=145560 CPUtime=1.5 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 35012 1245 0 0 141 8 0 1 25 0 1 0 725283727 149053440 34411 268435456000 4194304 4417452 140736024184304 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 36390 34411 146 55 0 34276 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 145560

[startup+3.10052 s]
/proc/loadavg: 29.59 31.51 31.60 2/414 31790
/proc/meminfo: memFree=255194264/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=506008 CPUtime=3.1 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 124464 1245 0 0 281 28 0 1 25 0 1 0 725283727 518152192 123863 268435456000 4194304 4417452 140736024184304 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31784/statm: 126502 123881 146 55 0 124388 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 506008

[startup+6.30149 s]
/proc/loadavg: 29.78 31.52 31.60 33/446 31824
/proc/meminfo: memFree=254799796/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=1264096 CPUtime=88.22 cores=0-31
/proc/31784/stat : 31784 (plingeling) S 31782 31784 31758 0 -1 4202496 201729 1245 0 0 8765 56 0 1 18 0 33 0 725283727 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/31784/statm: 316024 135957 172 55 0 313910 0
[pid=31784/tid=31791] ppid=31782 vsize=1264096 CPUtime=2.68 cores=0-31
/proc/31784/task/31791/stat : 31791 (plingeling) R 31782 31784 31758 0 -1 4202560 3009 1245 0 0 267 0 0 1 23 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31784/tid=31792] ppid=31782 vsize=1264096 CPUtime=2.45 cores=0-31
/proc/31784/task/31792/stat : 31792 (plingeling) R 31782 31784 31758 0 -1 4202560 2506 1245 0 0 244 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31784/tid=31793] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31793/stat : 31793 (plingeling) R 31782 31784 31758 0 -1 4202560 1699 1245 0 0 266 0 0 1 22 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31784/tid=31794] ppid=31782 vsize=1264096 CPUtime=2.68 cores=0-31
/proc/31784/task/31794/stat : 31794 (plingeling) R 31782 31784 31758 0 -1 4202560 495 1245 0 0 267 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31784/tid=31795] ppid=31782 vsize=1264096 CPUtime=2.64 cores=0-31
/proc/31784/task/31795/stat : 31795 (plingeling) R 31782 31784 31758 0 -1 4202560 1651 1245 0 0 263 0 0 1 20 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31784/tid=31796] ppid=31782 vsize=1264096 CPUtime=2.68 cores=0-31
/proc/31784/task/31796/stat : 31796 (plingeling) R 31782 31784 31758 0 -1 4202560 2388 1245 0 0 267 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31784/tid=31797] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31797/stat : 31797 (plingeling) R 31782 31784 31758 0 -1 4202560 1780 1245 0 0 266 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31784/tid=31798] ppid=31782 vsize=1264096 CPUtime=2.61 cores=0-31
/proc/31784/task/31798/stat : 31798 (plingeling) R 31782 31784 31758 0 -1 4202560 1517 1245 0 0 260 0 0 1 22 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31784/tid=31799] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31799/stat : 31799 (plingeling) R 31782 31784 31758 0 -1 4202560 1624 1245 0 0 266 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31784/tid=31800] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31800/stat : 31800 (plingeling) R 31782 31784 31758 0 -1 4202560 2407 1245 0 0 266 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31784/tid=31801] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31801/stat : 31801 (plingeling) R 31782 31784 31758 0 -1 4202560 2231 1245 0 0 266 0 0 1 20 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31784/tid=31802] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31802/stat : 31802 (plingeling) R 31782 31784 31758 0 -1 4202560 1661 1245 0 0 265 0 0 1 19 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346539 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31784/tid=31803] ppid=31782 vsize=1264096 CPUtime=2.64 cores=0-31
/proc/31784/task/31803/stat : 31803 (plingeling) R 31782 31784 31758 0 -1 4202560 2870 1245 0 0 263 0 0 1 19 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346490 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31784/tid=31804] ppid=31782 vsize=1264096 CPUtime=2.64 cores=0-31
/proc/31784/task/31804/stat : 31804 (plingeling) R 31782 31784 31758 0 -1 4202560 1757 1245 0 0 263 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31784/tid=31805] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31805/stat : 31805 (plingeling) R 31782 31784 31758 0 -1 4202560 2621 1245 0 0 263 3 0 1 20 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346490 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31784/tid=31806] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31806/stat : 31806 (plingeling) R 31782 31784 31758 0 -1 4202560 2654 1245 0 0 265 1 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31784/tid=31807] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31807/stat : 31807 (plingeling) R 31782 31784 31758 0 -1 4202560 2374 1245 0 0 264 1 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31784/tid=31808] ppid=31782 vsize=1264096 CPUtime=2.63 cores=0-31
/proc/31784/task/31808/stat : 31808 (plingeling) R 31782 31784 31758 0 -1 4202560 2400 1245 0 0 262 0 0 1 25 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31784/tid=31809] ppid=31782 vsize=1264096 CPUtime=2.58 cores=0-31
/proc/31784/task/31809/stat : 31809 (plingeling) R 31782 31784 31758 0 -1 4202560 3108 1245 0 0 256 1 0 1 20 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31784/tid=31810] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31810/stat : 31810 (plingeling) R 31782 31784 31758 0 -1 4202560 3124 1245 0 0 266 0 0 1 22 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31784/tid=31811] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31811/stat : 31811 (plingeling) R 31782 31784 31758 0 -1 4202560 2018 1245 0 0 265 0 0 1 22 0 33 0 725284088 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31784/tid=31812] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31812/stat : 31812 (plingeling) R 31782 31784 31758 0 -1 4202560 2338 1245 0 0 265 0 0 1 23 0 33 0 725284089 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31784/tid=31813] ppid=31782 vsize=1264096 CPUtime=2.62 cores=0-31
/proc/31784/task/31813/stat : 31813 (plingeling) R 31782 31784 31758 0 -1 4202560 2289 1245 0 0 261 0 0 1 25 0 33 0 725284089 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31784/tid=31814] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31814/stat : 31814 (plingeling) R 31782 31784 31758 0 -1 4202560 3290 1245 0 0 264 1 0 1 25 0 33 0 725284089 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31784/tid=31815] ppid=31782 vsize=1264096 CPUtime=2.61 cores=0-31
/proc/31784/task/31815/stat : 31815 (plingeling) R 31782 31784 31758 0 -1 4202560 1627 1245 0 0 259 1 0 1 19 0 33 0 725284089 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31784/tid=31816] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31816/stat : 31816 (plingeling) R 31782 31784 31758 0 -1 4202560 1968 1245 0 0 265 0 0 1 19 0 33 0 725284089 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31784/tid=31817] ppid=31782 vsize=1264096 CPUtime=2.66 cores=0-31
/proc/31784/task/31817/stat : 31817 (plingeling) R 31782 31784 31758 0 -1 4202560 4050 1245 0 0 265 0 0 1 25 0 33 0 725284090 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31784/tid=31818] ppid=31782 vsize=1264096 CPUtime=2.65 cores=0-31
/proc/31784/task/31818/stat : 31818 (plingeling) R 31782 31784 31758 0 -1 4202560 2423 1245 0 0 264 0 0 1 25 0 33 0 725284090 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31784/tid=31819] ppid=31782 vsize=1264096 CPUtime=2.67 cores=0-31
/proc/31784/task/31819/stat : 31819 (plingeling) R 31782 31784 31758 0 -1 4202560 412 1245 0 0 266 0 0 1 25 0 33 0 725284090 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31784/tid=31820] ppid=31782 vsize=1264096 CPUtime=2.65 cores=0-31
/proc/31784/task/31820/stat : 31820 (plingeling) R 31782 31784 31758 0 -1 4202560 2181 1245 0 0 264 0 0 1 19 0 33 0 725284090 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31784/tid=31821] ppid=31782 vsize=1264096 CPUtime=2.54 cores=0-31
/proc/31784/task/31821/stat : 31821 (plingeling) R 31782 31784 31758 0 -1 4202560 29 1245 0 0 253 0 0 1 25 0 33 0 725284091 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31784/tid=31822] ppid=31782 vsize=1264096 CPUtime=2.65 cores=0-31
/proc/31784/task/31822/stat : 31822 (plingeling) R 31782 31784 31758 0 -1 4202560 1871 1245 0 0 264 0 0 1 25 0 33 0 725284091 1294434304 135957 268435456000 4194304 4417452 140736024184304 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 88.22
Current children cumulated vsize (KiB) 1264096

[startup+12.7017 s]
/proc/loadavg: 29.96 31.52 31.60 33/446 31824
/proc/meminfo: memFree=255038548/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=1021628 CPUtime=292.81 cores=0-31
/proc/31784/stat : 31784 (plingeling) S 31782 31784 31758 0 -1 4202496 208958 1245 0 0 29217 63 0 1 18 0 33 0 725283727 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/31784/statm: 255407 77403 175 55 0 253293 0
[pid=31784/tid=31791] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31791/stat : 31791 (plingeling) R 31782 31784 31758 0 -1 4202560 3134 1245 0 0 906 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31784/tid=31792] ppid=31782 vsize=1021628 CPUtime=8.85 cores=0-31
/proc/31784/task/31792/stat : 31792 (plingeling) R 31782 31784 31758 0 -1 4202560 2555 1245 0 0 884 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31784/tid=31793] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31793/stat : 31793 (plingeling) R 31782 31784 31758 0 -1 4202560 2193 1245 0 0 906 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31784/tid=31794] ppid=31782 vsize=1021628 CPUtime=9.08 cores=0-31
/proc/31784/task/31794/stat : 31794 (plingeling) R 31782 31784 31758 0 -1 4202560 2029 1245 0 0 905 2 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31784/tid=31795] ppid=31782 vsize=1021628 CPUtime=9.04 cores=0-31
/proc/31784/task/31795/stat : 31795 (plingeling) R 31782 31784 31758 0 -1 4202560 1851 1245 0 0 903 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4264930 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31784/tid=31796] ppid=31782 vsize=1021628 CPUtime=9.08 cores=0-31
/proc/31784/task/31796/stat : 31796 (plingeling) R 31782 31784 31758 0 -1 4202560 2592 1245 0 0 907 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31784/tid=31797] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31797/stat : 31797 (plingeling) R 31782 31784 31758 0 -1 4202560 2202 1245 0 0 906 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365488 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31784/tid=31798] ppid=31782 vsize=1021628 CPUtime=8.83 cores=0-31
/proc/31784/task/31798/stat : 31798 (plingeling) R 31782 31784 31758 0 -1 4202560 1517 1245 0 0 882 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31784/tid=31799] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31799/stat : 31799 (plingeling) R 31782 31784 31758 0 -1 4202560 1760 1245 0 0 906 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31784/tid=31800] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31800/stat : 31800 (plingeling) R 31782 31784 31758 0 -1 4202560 2407 1245 0 0 905 1 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31784/tid=31801] ppid=31782 vsize=1021628 CPUtime=9.06 cores=0-31
/proc/31784/task/31801/stat : 31801 (plingeling) R 31782 31784 31758 0 -1 4202560 2501 1245 0 0 905 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31784/tid=31802] ppid=31782 vsize=1021628 CPUtime=9.06 cores=0-31
/proc/31784/task/31802/stat : 31802 (plingeling) R 31782 31784 31758 0 -1 4202560 1838 1245 0 0 905 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31784/tid=31803] ppid=31782 vsize=1021628 CPUtime=9.04 cores=0-31
/proc/31784/task/31803/stat : 31803 (plingeling) R 31782 31784 31758 0 -1 4202560 3031 1245 0 0 903 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31784/tid=31804] ppid=31782 vsize=1021628 CPUtime=9.04 cores=0-31
/proc/31784/task/31804/stat : 31804 (plingeling) R 31782 31784 31758 0 -1 4202560 1865 1245 0 0 903 0 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31784/tid=31805] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31805/stat : 31805 (plingeling) R 31782 31784 31758 0 -1 4202560 2936 1245 0 0 903 3 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31784/tid=31806] ppid=31782 vsize=1021628 CPUtime=9.07 cores=0-31
/proc/31784/task/31806/stat : 31806 (plingeling) R 31782 31784 31758 0 -1 4202560 2792 1245 0 0 905 1 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31784/tid=31807] ppid=31782 vsize=1021628 CPUtime=9.06 cores=0-31
/proc/31784/task/31807/stat : 31807 (plingeling) R 31782 31784 31758 0 -1 4202560 2481 1245 0 0 904 1 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31784/tid=31808] ppid=31782 vsize=1021628 CPUtime=9.03 cores=0-31
/proc/31784/task/31808/stat : 31808 (plingeling) R 31782 31784 31758 0 -1 4202560 2492 1245 0 0 901 1 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31784/tid=31809] ppid=31782 vsize=1021628 CPUtime=8.98 cores=0-31
/proc/31784/task/31809/stat : 31809 (plingeling) R 31782 31784 31758 0 -1 4202560 3516 1245 0 0 896 1 0 1 25 0 33 0 725284088 1046147072 77403 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31784/tid=31810] ppid=31782 vsize=1021628 CPUtime=9.08 cores=0-31

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

/proc/31784/task/31815/stat : 31815 (plingeling) R 31782 31784 31758 0 -1 4202560 67639 1245 0 0 58744 43 0 1 25 0 33 0 725284089 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31784/tid=31816] ppid=31782 vsize=1973936 CPUtime=588.25 cores=0-31
/proc/31784/task/31816/stat : 31816 (plingeling) R 31782 31784 31758 0 -1 4202560 16384 1245 0 0 58813 11 0 1 25 0 33 0 725284089 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31784/tid=31817] ppid=31782 vsize=1973936 CPUtime=588.22 cores=0-31
/proc/31784/task/31817/stat : 31817 (plingeling) R 31782 31784 31758 0 -1 4202560 85650 1245 0 0 58785 36 0 1 25 0 33 0 725284090 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31784/tid=31818] ppid=31782 vsize=1973936 CPUtime=588.2 cores=0-31
/proc/31784/task/31818/stat : 31818 (plingeling) R 31782 31784 31758 0 -1 4202560 27150 1245 0 0 58794 25 0 1 25 0 33 0 725284090 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31784/tid=31819] ppid=31782 vsize=1973936 CPUtime=585.29 cores=0-31
/proc/31784/task/31819/stat : 31819 (plingeling) R 31782 31784 31758 0 -1 4202560 12132 1245 0 0 58526 2 0 1 25 0 33 0 725284090 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31784/tid=31820] ppid=31782 vsize=1973936 CPUtime=588.2 cores=0-31
/proc/31784/task/31820/stat : 31820 (plingeling) R 31782 31784 31758 0 -1 4202560 65183 1245 0 0 58782 37 0 1 25 0 33 0 725284090 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31784/tid=31821] ppid=31782 vsize=1973936 CPUtime=588.12 cores=0-31
/proc/31784/task/31821/stat : 31821 (plingeling) R 31782 31784 31758 0 -1 4202560 20435 1245 0 0 58802 9 0 1 25 0 33 0 725284091 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31784/tid=31822] ppid=31782 vsize=1973936 CPUtime=587.91 cores=0-31
/proc/31784/task/31822/stat : 31822 (plingeling) R 31782 31784 31758 0 -1 4202560 9435 1245 0 0 58788 2 0 1 25 0 33 0 725284091 2021310464 352413 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18809.5
Current children cumulated vsize (KiB) 1973936

[startup+593.602 s]
/proc/loadavg: 32.12 32.02 31.83 33/446 31838
/proc/meminfo: memFree=253941184/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=1986836 CPUtime=18860.7 cores=0-31
/proc/31784/stat : 31784 (plingeling) S 31782 31784 31758 0 -1 4202496 1475505 1245 0 0 1885321 744 0 1 18 0 33 0 725283727 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/31784/statm: 496709 356265 175 55 0 494595 0
[pid=31784/tid=31791] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31791/stat : 31791 (plingeling) R 31782 31784 31758 0 -1 4202560 41066 1245 0 0 58969 15 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31784/tid=31792] ppid=31782 vsize=1986836 CPUtime=589.63 cores=0-31
/proc/31784/task/31792/stat : 31792 (plingeling) R 31782 31784 31758 0 -1 4202560 31569 1245 0 0 58942 20 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 18446744073699065958 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31784/tid=31793] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31793/stat : 31793 (plingeling) R 31782 31784 31758 0 -1 4202560 56319 1245 0 0 58964 20 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31784/tid=31794] ppid=31782 vsize=1986836 CPUtime=589.7 cores=0-31
/proc/31784/task/31794/stat : 31794 (plingeling) R 31782 31784 31758 0 -1 4202560 62759 1245 0 0 58923 46 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31784/tid=31795] ppid=31782 vsize=1986836 CPUtime=589.82 cores=0-31
/proc/31784/task/31795/stat : 31795 (plingeling) R 31782 31784 31758 0 -1 4202560 49594 1245 0 0 58963 18 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31784/tid=31796] ppid=31782 vsize=1986836 CPUtime=589.83 cores=0-31
/proc/31784/task/31796/stat : 31796 (plingeling) R 31782 31784 31758 0 -1 4202560 31357 1245 0 0 58952 30 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31784/tid=31797] ppid=31782 vsize=1986836 CPUtime=589.86 cores=0-31
/proc/31784/task/31797/stat : 31797 (plingeling) R 31782 31784 31758 0 -1 4202560 63292 1245 0 0 58943 42 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31784/tid=31798] ppid=31782 vsize=1986836 CPUtime=587.06 cores=0-31
/proc/31784/task/31798/stat : 31798 (plingeling) R 31782 31784 31758 0 -1 4202560 19746 1245 0 0 58686 19 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31784/tid=31799] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31799/stat : 31799 (plingeling) R 31782 31784 31758 0 -1 4202560 46230 1245 0 0 58968 16 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31784/tid=31800] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31800/stat : 31800 (plingeling) R 31782 31784 31758 0 -1 4202560 48142 1245 0 0 58954 30 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31784/tid=31801] ppid=31782 vsize=1986836 CPUtime=589.84 cores=0-31
/proc/31784/task/31801/stat : 31801 (plingeling) R 31782 31784 31758 0 -1 4202560 12652 1245 0 0 58981 2 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31784/tid=31802] ppid=31782 vsize=1986836 CPUtime=589.83 cores=0-31
/proc/31784/task/31802/stat : 31802 (plingeling) R 31782 31784 31758 0 -1 4202560 34443 1245 0 0 58968 14 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31784/tid=31803] ppid=31782 vsize=1986836 CPUtime=589.82 cores=0-31
/proc/31784/task/31803/stat : 31803 (plingeling) R 31782 31784 31758 0 -1 4202560 30581 1245 0 0 58959 22 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31784/tid=31804] ppid=31782 vsize=1986836 CPUtime=589.81 cores=0-31
/proc/31784/task/31804/stat : 31804 (plingeling) R 31782 31784 31758 0 -1 4202560 27579 1245 0 0 58963 17 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365458 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31784/tid=31805] ppid=31782 vsize=1986836 CPUtime=589.84 cores=0-31
/proc/31784/task/31805/stat : 31805 (plingeling) R 31782 31784 31758 0 -1 4202560 28030 1245 0 0 58975 8 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31784/tid=31806] ppid=31782 vsize=1986836 CPUtime=589.83 cores=0-31
/proc/31784/task/31806/stat : 31806 (plingeling) R 31782 31784 31758 0 -1 4202560 89511 1245 0 0 58957 25 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31784/tid=31807] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31807/stat : 31807 (plingeling) R 31782 31784 31758 0 -1 4202560 47129 1245 0 0 58968 16 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31784/tid=31808] ppid=31782 vsize=1986836 CPUtime=589.81 cores=0-31
/proc/31784/task/31808/stat : 31808 (plingeling) R 31782 31784 31758 0 -1 4202560 48568 1245 0 0 58955 25 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31784/tid=31809] ppid=31782 vsize=1986836 CPUtime=589.75 cores=0-31
/proc/31784/task/31809/stat : 31809 (plingeling) R 31782 31784 31758 0 -1 4202560 25637 1245 0 0 58949 25 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31784/tid=31810] ppid=31782 vsize=1986836 CPUtime=589.84 cores=0-31
/proc/31784/task/31810/stat : 31810 (plingeling) R 31782 31784 31758 0 -1 4202560 65886 1245 0 0 58953 30 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31784/tid=31811] ppid=31782 vsize=1986836 CPUtime=579.24 cores=0-31
/proc/31784/task/31811/stat : 31811 (plingeling) R 31782 31784 31758 0 -1 4202560 31716 1245 0 0 57902 21 0 1 25 0 33 0 725284088 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4352627 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31784/tid=31812] ppid=31782 vsize=1986836 CPUtime=589.81 cores=0-31
/proc/31784/task/31812/stat : 31812 (plingeling) R 31782 31784 31758 0 -1 4202560 26164 1245 0 0 58959 21 0 1 25 0 33 0 725284089 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31784/tid=31813] ppid=31782 vsize=1986836 CPUtime=589.8 cores=0-31
/proc/31784/task/31813/stat : 31813 (plingeling) R 31782 31784 31758 0 -1 4202560 58345 1245 0 0 58956 23 0 1 25 0 33 0 725284089 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31784/tid=31814] ppid=31782 vsize=1986836 CPUtime=589.81 cores=0-31
/proc/31784/task/31814/stat : 31814 (plingeling) R 31782 31784 31758 0 -1 4202560 61825 1245 0 0 58954 26 0 1 25 0 33 0 725284089 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4357018 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31784/tid=31815] ppid=31782 vsize=1986836 CPUtime=589.48 cores=0-31
/proc/31784/task/31815/stat : 31815 (plingeling) R 31782 31784 31758 0 -1 4202560 67639 1245 0 0 58904 43 0 1 25 0 33 0 725284089 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31784/tid=31816] ppid=31782 vsize=1986836 CPUtime=589.85 cores=0-31
/proc/31784/task/31816/stat : 31816 (plingeling) R 31782 31784 31758 0 -1 4202560 16384 1245 0 0 58973 11 0 1 25 0 33 0 725284089 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31784/tid=31817] ppid=31782 vsize=1986836 CPUtime=589.82 cores=0-31
/proc/31784/task/31817/stat : 31817 (plingeling) R 31782 31784 31758 0 -1 4202560 85650 1245 0 0 58945 36 0 1 25 0 33 0 725284090 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31784/tid=31818] ppid=31782 vsize=1986836 CPUtime=589.8 cores=0-31
/proc/31784/task/31818/stat : 31818 (plingeling) R 31782 31784 31758 0 -1 4202560 27150 1245 0 0 58954 25 0 1 25 0 33 0 725284090 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31784/tid=31819] ppid=31782 vsize=1986836 CPUtime=586.89 cores=0-31
/proc/31784/task/31819/stat : 31819 (plingeling) R 31782 31784 31758 0 -1 4202560 12132 1245 0 0 58686 2 0 1 25 0 33 0 725284090 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31784/tid=31820] ppid=31782 vsize=1986836 CPUtime=589.8 cores=0-31
/proc/31784/task/31820/stat : 31820 (plingeling) R 31782 31784 31758 0 -1 4202560 65183 1245 0 0 58942 37 0 1 25 0 33 0 725284090 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31784/tid=31821] ppid=31782 vsize=1986836 CPUtime=589.72 cores=0-31
/proc/31784/task/31821/stat : 31821 (plingeling) R 31782 31784 31758 0 -1 4202560 20435 1245 0 0 58962 9 0 1 25 0 33 0 725284091 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31784/tid=31822] ppid=31782 vsize=1986836 CPUtime=589.51 cores=0-31
/proc/31784/task/31822/stat : 31822 (plingeling) R 31782 31784 31758 0 -1 4202560 9435 1245 0 0 58948 2 0 1 25 0 33 0 725284091 2034520064 356265 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18860.7
Current children cumulated vsize (KiB) 1986836

[startup+594.402 s]
/proc/loadavg: 32.12 32.02 31.83 33/446 31838
/proc/meminfo: memFree=253941136/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=1975516 CPUtime=18886.2 cores=0-31
/proc/31784/stat : 31784 (plingeling) S 31782 31784 31758 0 -1 4202496 1476117 1245 0 0 1887877 744 0 1 18 0 32 0 725283727 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/31784/statm: 493879 353436 176 55 0 491765 0
[pid=31784/tid=31791] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31791/stat : 31791 (plingeling) R 31782 31784 31758 0 -1 4202560 41066 1245 0 0 59049 15 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31784/tid=31792] ppid=31782 vsize=1975516 CPUtime=590.43 cores=0-31
/proc/31784/task/31792/stat : 31792 (plingeling) R 31782 31784 31758 0 -1 4202560 31569 1245 0 0 59022 20 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31784/tid=31793] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31793/stat : 31793 (plingeling) R 31782 31784 31758 0 -1 4202560 56339 1245 0 0 59044 20 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4213168 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31784/tid=31794] ppid=31782 vsize=1975516 CPUtime=590.5 cores=0-31
/proc/31784/task/31794/stat : 31794 (plingeling) R 31782 31784 31758 0 -1 4202560 62759 1245 0 0 59003 46 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31784/tid=31795] ppid=31782 vsize=1975516 CPUtime=590.62 cores=0-31
/proc/31784/task/31795/stat : 31795 (plingeling) R 31782 31784 31758 0 -1 4202560 49594 1245 0 0 59043 18 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31784/tid=31796] ppid=31782 vsize=1975516 CPUtime=590.63 cores=0-31
/proc/31784/task/31796/stat : 31796 (plingeling) R 31782 31784 31758 0 -1 4202560 31357 1245 0 0 59032 30 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31784/tid=31797] ppid=31782 vsize=1975516 CPUtime=590.66 cores=0-31
/proc/31784/task/31797/stat : 31797 (plingeling) R 31782 31784 31758 0 -1 4202560 63292 1245 0 0 59023 42 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31784/tid=31798] ppid=31782 vsize=1975516 CPUtime=587.83 cores=0-31
/proc/31784/task/31798/stat : 31798 (plingeling) R 31782 31784 31758 0 -1 4202560 19746 1245 0 0 58763 19 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31784/tid=31799] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31799/stat : 31799 (plingeling) R 31782 31784 31758 0 -1 4202560 46230 1245 0 0 59048 16 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31784/tid=31800] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31800/stat : 31800 (plingeling) R 31782 31784 31758 0 -1 4202560 48142 1245 0 0 59034 30 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31784/tid=31801] ppid=31782 vsize=1975516 CPUtime=590.64 cores=0-31
/proc/31784/task/31801/stat : 31801 (plingeling) R 31782 31784 31758 0 -1 4202560 12652 1245 0 0 59061 2 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31784/tid=31802] ppid=31782 vsize=1975516 CPUtime=590.63 cores=0-31
/proc/31784/task/31802/stat : 31802 (plingeling) R 31782 31784 31758 0 -1 4202560 34443 1245 0 0 59048 14 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31784/tid=31804] ppid=31782 vsize=1975516 CPUtime=590.61 cores=0-31
/proc/31784/task/31804/stat : 31804 (plingeling) R 31782 31784 31758 0 -1 4202560 27579 1245 0 0 59043 17 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31784/tid=31805] ppid=31782 vsize=1975516 CPUtime=590.64 cores=0-31
/proc/31784/task/31805/stat : 31805 (plingeling) R 31782 31784 31758 0 -1 4202560 28030 1245 0 0 59055 8 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4366117 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31784/tid=31806] ppid=31782 vsize=1975516 CPUtime=590.63 cores=0-31
/proc/31784/task/31806/stat : 31806 (plingeling) R 31782 31784 31758 0 -1 4202560 89511 1245 0 0 59037 25 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31784/tid=31807] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31807/stat : 31807 (plingeling) R 31782 31784 31758 0 -1 4202560 47129 1245 0 0 59048 16 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31784/tid=31808] ppid=31782 vsize=1975516 CPUtime=590.61 cores=0-31
/proc/31784/task/31808/stat : 31808 (plingeling) R 31782 31784 31758 0 -1 4202560 48568 1245 0 0 59035 25 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365943 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31784/tid=31809] ppid=31782 vsize=1975516 CPUtime=590.55 cores=0-31
/proc/31784/task/31809/stat : 31809 (plingeling) R 31782 31784 31758 0 -1 4202560 25637 1245 0 0 59029 25 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31784/tid=31810] ppid=31782 vsize=1975516 CPUtime=590.64 cores=0-31
/proc/31784/task/31810/stat : 31810 (plingeling) R 31782 31784 31758 0 -1 4202560 65886 1245 0 0 59033 30 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31784/tid=31811] ppid=31782 vsize=1975516 CPUtime=580.04 cores=0-31
/proc/31784/task/31811/stat : 31811 (plingeling) R 31782 31784 31758 0 -1 4202560 31716 1245 0 0 57982 21 0 1 25 0 32 0 725284088 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4366197 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31784/tid=31812] ppid=31782 vsize=1975516 CPUtime=590.61 cores=0-31
/proc/31784/task/31812/stat : 31812 (plingeling) R 31782 31784 31758 0 -1 4202560 26164 1245 0 0 59039 21 0 1 25 0 32 0 725284089 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31784/tid=31813] ppid=31782 vsize=1975516 CPUtime=590.6 cores=0-31
/proc/31784/task/31813/stat : 31813 (plingeling) R 31782 31784 31758 0 -1 4202560 58345 1245 0 0 59036 23 0 1 25 0 32 0 725284089 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31784/tid=31814] ppid=31782 vsize=1975516 CPUtime=590.61 cores=0-31
/proc/31784/task/31814/stat : 31814 (plingeling) R 31782 31784 31758 0 -1 4202560 61825 1245 0 0 59034 26 0 1 25 0 32 0 725284089 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31784/tid=31815] ppid=31782 vsize=1975516 CPUtime=590.28 cores=0-31
/proc/31784/task/31815/stat : 31815 (plingeling) R 31782 31784 31758 0 -1 4202560 67639 1245 0 0 58984 43 0 1 25 0 32 0 725284089 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31784/tid=31816] ppid=31782 vsize=1975516 CPUtime=590.65 cores=0-31
/proc/31784/task/31816/stat : 31816 (plingeling) R 31782 31784 31758 0 -1 4202560 16384 1245 0 0 59053 11 0 1 25 0 32 0 725284089 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31784/tid=31817] ppid=31782 vsize=1975516 CPUtime=590.62 cores=0-31
/proc/31784/task/31817/stat : 31817 (plingeling) R 31782 31784 31758 0 -1 4202560 85650 1245 0 0 59025 36 0 1 25 0 32 0 725284090 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4366657 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31784/tid=31818] ppid=31782 vsize=1975516 CPUtime=590.6 cores=0-31
/proc/31784/task/31818/stat : 31818 (plingeling) R 31782 31784 31758 0 -1 4202560 27150 1245 0 0 59034 25 0 1 25 0 32 0 725284090 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31784/tid=31819] ppid=31782 vsize=1975516 CPUtime=587.69 cores=0-31
/proc/31784/task/31819/stat : 31819 (plingeling) R 31782 31784 31758 0 -1 4202560 12132 1245 0 0 58766 2 0 1 25 0 32 0 725284090 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31784/tid=31820] ppid=31782 vsize=1975516 CPUtime=590.6 cores=0-31
/proc/31784/task/31820/stat : 31820 (plingeling) R 31782 31784 31758 0 -1 4202560 65183 1245 0 0 59022 37 0 1 25 0 32 0 725284090 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31784/tid=31821] ppid=31782 vsize=1975516 CPUtime=590.52 cores=0-31
/proc/31784/task/31821/stat : 31821 (plingeling) R 31782 31784 31758 0 -1 4202560 20435 1245 0 0 59042 9 0 1 25 0 32 0 725284091 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31784/tid=31822] ppid=31782 vsize=1975516 CPUtime=590.31 cores=0-31
/proc/31784/task/31822/stat : 31822 (plingeling) R 31782 31784 31758 0 -1 4202560 9435 1245 0 0 59028 2 0 1 25 0 32 0 725284091 2022928384 353436 268435456000 4194304 4417452 140736024184304 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18886.2
Current children cumulated vsize (KiB) 1975516

[startup+594.801 s]
/proc/loadavg: 32.12 32.02 31.83 33/446 31838
/proc/meminfo: memFree=253941136/264257624 swapFree=67111528/67111528
[pid=31784] ppid=31782 vsize=1148008 CPUtime=18891.3 cores=0-31
/proc/31784/stat : 31784 (plingeling) R 31782 31784 31758 0 -1 4202496 1477641 1245 0 0 1888382 750 0 1 15 0 1 0 725283727 1175560192 201435 268435456000 4194304 4417452 140736024184304 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/31784/statm: 287002 201435 176 55 0 284888 0
Current children cumulated CPU time (s) 18891.3
Current children cumulated vsize (KiB) 1148008

Child status: 10
Real time (s): 594.88
CPU time (s): 18891.4
CPU user time (s): 18883.8
CPU system time (s): 7.59485
CPU usage (%): 3175.67
Max. virtual memory (cumulated for all children) (KiB): 2015344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18883.8
system time used= 7.59485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1478901
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= 1992
involuntary context switches= 46809

runsolver used 3.42148 second user time and 13.379 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 10:06:13
IDJOB=3372900
IDBENCH=85991
IDSOLVER=1852
FILE ID=node200/3372900-1306137973
RUNJOBID= node200-1306137973-31772
PBS_JOBID= 13387837
Free space on /tmp= 62044 MiB

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

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

MD5SUM BENCH= c9c90d9af49f4c08c7262ecb9a0b2a3d
RANDOM SEED=979011

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255361296 kB
Buffers:        458628 kB
Cached:        8033912 kB
SwapCached:          0 kB
Active:        7588640 kB
Inactive:       972648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255361296 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3660 kB
Writeback:           0 kB
AnonPages:       69780 kB
Mapped:          14480 kB
Slab:           253836 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-23 10:16:08