Trace number 3499395

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
priss 1.0SAT 1199.93 300.316

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-24-57-sat.cnf
MD5SUM179851d97340610ea74d8d7b3cffb10b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.039993
Satisfiable
(Un)Satisfiability was proved
Number of variables1368
Number of clauses16308
Sum of the clauses size64296
Maximum clause length57
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 215732
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5576

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3499395-1307998985/watcher-3499395-1307998985 -o /tmp/evaluation-result-3499395-1307998985/solver-3499395-1307998985 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499395-1307998985.cnf 1515423746 40000 31000 8 

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

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


[startup+0 s]
/proc/loadavg: 2.75 2.54 3.16 2/170 15012
/proc/meminfo: memFree=32188612/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0

[startup+0.03515 s]
/proc/loadavg: 2.75 2.54 3.16 2/170 15012
/proc/meminfo: memFree=32188612/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101136 s]
/proc/loadavg: 2.75 2.54 3.16 2/170 15012
/proc/meminfo: memFree=32188612/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300099 s]
/proc/loadavg: 2.75 2.54 3.16 2/170 15012
/proc/meminfo: memFree=32188612/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701024 s]
/proc/loadavg: 2.75 2.54 3.16 2/170 15012
/proc/meminfo: memFree=32188612/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50087 s]
/proc/loadavg: 2.75 2.54 3.16 5/176 15018
/proc/meminfo: memFree=32165028/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=277556 CPUtime=5.91 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 11350 0 0 0 588 3 0 0 18 0 5 0 911500873 284217344 8186 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 69389 8186 404 389 0 65139 0
[pid=15013/tid=15015] ppid=15012 vsize=277556 CPUtime=1.47 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 2398 0 0 0 147 0 0 0 18 0 5 0 911500874 284217344 8186 33554432000 4194304 5787044 140736276072864 18446744073709551615 5592132 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=277556 CPUtime=1.46 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 1927 0 0 0 146 0 0 0 18 0 5 0 911500874 284217344 8186 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=277556 CPUtime=1.47 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 2612 0 0 0 147 0 0 0 18 0 5 0 911500874 284217344 8186 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=277556 CPUtime=1.47 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 2707 0 0 0 146 1 0 0 18 0 5 0 911500875 284217344 8186 33554432000 4194304 5787044 140736276072864 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 286256

[startup+3.10057 s]
/proc/loadavg: 2.75 2.54 3.16 5/176 15018
/proc/meminfo: memFree=32152108/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=281656 CPUtime=12.3 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 13375 0 0 0 1225 5 0 0 18 0 5 0 911500873 288415744 10211 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 70414 10211 404 389 0 66164 0
[pid=15013/tid=15015] ppid=15012 vsize=281656 CPUtime=3.06 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 2772 0 0 0 306 0 0 0 18 0 5 0 911500874 288415744 10211 33554432000 4194304 5787044 140736276072864 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=281656 CPUtime=3.06 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 3214 0 0 0 305 1 0 0 20 0 5 0 911500874 288415744 10211 33554432000 4194304 5787044 140736276072864 18446744073709551615 4229296 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=281656 CPUtime=3.06 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 2974 0 0 0 305 1 0 0 18 0 5 0 911500874 288415744 10211 33554432000 4194304 5787044 140736276072864 18446744073709551615 5592824 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=281656 CPUtime=3.07 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 2709 0 0 0 306 1 0 0 18 0 5 0 911500875 288415744 10211 33554432000 4194304 5787044 140736276072864 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 290356

[startup+6.30096 s]
/proc/loadavg: 2.85 2.56 3.16 5/176 15018
/proc/meminfo: memFree=32143564/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=285420 CPUtime=25.07 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 15991 0 0 0 2494 13 0 0 18 0 5 0 911500873 292270080 12123 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 71355 12123 417 389 0 67105 0
[pid=15013/tid=15015] ppid=15012 vsize=285420 CPUtime=6.26 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 3178 0 0 0 624 2 0 0 18 0 5 0 911500874 292270080 12123 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=285420 CPUtime=6.26 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 3519 0 0 0 623 3 0 0 25 0 5 0 911500874 292270080 12123 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=285420 CPUtime=6.26 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 3293 0 0 0 623 3 0 0 18 0 5 0 911500874 292270080 12123 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=285420 CPUtime=6.24 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 4295 0 0 0 622 2 0 0 18 0 5 0 911500875 292270080 12123 33554432000 4194304 5787044 140736276072864 18446744073709551615 212435713648 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 294120

[startup+12.7008 s]
/proc/loadavg: 2.94 2.58 3.17 5/176 15018
/proc/meminfo: memFree=32127240/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=293568 CPUtime=50.57 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 20710 0 0 0 5030 27 0 0 18 0 5 0 911500873 300613632 16841 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 73392 16841 417 389 0 69142 0
[pid=15013/tid=15015] ppid=15012 vsize=293568 CPUtime=12.65 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 4104 0 0 0 1259 6 0 0 18 0 5 0 911500874 300613632 16841 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=293568 CPUtime=12.65 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 4404 0 0 0 1259 6 0 0 21 0 5 0 911500874 300613632 16841 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=293568 CPUtime=12.65 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 4128 0 0 0 1258 7 0 0 18 0 5 0 911500874 300613632 16841 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=293568 CPUtime=12.58 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 6368 0 0 0 1251 7 0 0 18 0 5 0 911500875 300613632 16841 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122094 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 302268

[startup+25.5003 s]
/proc/loadavg: 3.17 2.65 3.18 5/176 15020
/proc/meminfo: memFree=32097496/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=306264 CPUtime=101.57 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 27783 0 0 0 10105 52 0 0 18 0 5 0 911500873 313614336 23886 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 76566 23886 417 389 0 72316 0
[pid=15013/tid=15015] ppid=15012 vsize=306264 CPUtime=25.43 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 5377 0 0 0 2530 13 0 0 18 0 5 0 911500874 313614336 23886 33554432000 4194304 5787044 140736276072864 18446744073709551615 5586640 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=306264 CPUtime=25.41 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 5459 0 0 0 2530 11 0 0 25 0 5 0 911500874 313614336 23886 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=306264 CPUtime=25.42 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 7438 0 0 0 2529 13 0 0 18 0 5 0 911500874 313614336 23886 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=306264 CPUtime=25.27 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 7803 0 0 0 2513 14 0 0 18 0 5 0 911500875 313614336 23886 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 314964

[startup+51.1005 s]
/proc/loadavg: 3.45 2.76 3.20 5/176 15022
/proc/meminfo: memFree=32050548/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=326620 CPUtime=203.79 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 40235 0 0 0 20292 87 0 0 18 0 5 0 911500873 334458880 36278 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 81655 36278 417 389 0 77405 0
[pid=15013/tid=15015] ppid=15012 vsize=326620 CPUtime=51.01 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 8784 0 0 0 5081 20 0 0 18 0 5 0 911500874 334458880 36278 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=326620 CPUtime=50.99 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 9150 0 0 0 5080 19 0 0 25 0 5 0 911500874 334458880 36278 33554432000 4194304 5787044 140736276072864 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=326620 CPUtime=51 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 10132 0 0 0 5079 21 0 0 18 0 5 0 911500874 334458880 36278 33554432000 4194304 5787044 140736276072864 18446744073709551615 212436122143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=326620 CPUtime=50.74 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 10463 0 0 0 5049 25 0 0 18 0 5 0 911500875 334458880 36278 33554432000 4194304 5787044 140736276072864 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 335320

[startup+102.307 s]
/proc/loadavg: 3.76 2.95 3.24 5/176 15024
/proc/meminfo: memFree=31978192/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=350580 CPUtime=408.38 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 57766 0 0 0 40717 121 0 0 18 0 5 0 911500873 358993920 53516 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 87645 53516 417 389 0 83395 0
[pid=15013/tid=15015] ppid=15012 vsize=350580 CPUtime=102.18 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 14017 0 0 0 10191 27 0 0 18 0 5 0 911500874 358993920 53516 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447842997 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=350580 CPUtime=102.16 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 13442 0 0 0 10190 26 0 0 25 0 5 0 911500874 358993920 53516 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447842997 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=350580 CPUtime=102.17 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 13040 0 0 0 10189 28 0 0 18 0 5 0 911500874 358993920 53516 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=350580 CPUtime=101.82 cores=0-7

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

[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=380176 CPUtime=648.15 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 76349 0 0 0 64659 156 0 0 18 0 5 0 911500873 389300224 71905 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 95044 71905 417 389 0 90794 0
[pid=15013/tid=15015] ppid=15012 vsize=380176 CPUtime=162.16 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 17670 0 0 0 16181 35 0 0 18 0 5 0 911500874 389300224 71905 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=380176 CPUtime=162.12 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 16903 0 0 0 16179 33 0 0 25 0 5 0 911500874 389300224 71905 33554432000 4194304 5787044 140736276072864 18446744073709551615 4220674 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=380176 CPUtime=162.14 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 16749 0 0 0 16179 35 0 0 18 0 5 0 911500874 389300224 71905 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=380176 CPUtime=161.69 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 23321 0 0 0 16118 51 0 0 20 0 5 0 911500875 389300224 71905 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 648.15
Current children cumulated vsize (KiB) 388876

[startup+222.301 s]
/proc/loadavg: 3.97 3.29 3.33 5/176 15027
/proc/meminfo: memFree=31809440/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=619464 CPUtime=888.03 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 100274 0 0 0 88609 194 0 0 18 0 5 0 911500873 634331136 95423 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 154866 95423 417 389 0 150616 0
[pid=15013/tid=15015] ppid=15012 vsize=619464 CPUtime=222.13 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 25455 0 0 0 22169 44 0 0 18 0 5 0 911500874 634331136 95423 33554432000 4194304 5787044 140736276072864 18446744073709551615 4238732 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=619464 CPUtime=222.11 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 23310 0 0 0 22171 40 0 0 25 0 5 0 911500874 634331136 95423 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=619464 CPUtime=222.11 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 22369 0 0 0 22168 43 0 0 18 0 5 0 911500874 634331136 95423 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=619464 CPUtime=221.64 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 27434 0 0 0 22099 65 0 0 20 0 5 0 911500875 634331136 95423 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 888.03
Current children cumulated vsize (KiB) 628164

[startup+282.301 s]
/proc/loadavg: 3.98 3.42 3.37 5/176 15029
/proc/meminfo: memFree=31775544/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=635864 CPUtime=1127.97 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 110484 0 0 0 112586 211 0 0 18 0 5 0 911500873 651124736 105428 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 158966 105428 417 389 0 154716 0
[pid=15013/tid=15015] ppid=15012 vsize=635864 CPUtime=282.13 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 28370 0 0 0 28163 50 0 0 18 0 5 0 911500874 651124736 105428 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591241 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=635864 CPUtime=282.09 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 27342 0 0 0 28163 46 0 0 25 0 5 0 911500874 651124736 105428 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=635864 CPUtime=282.12 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 25051 0 0 0 28165 47 0 0 18 0 5 0 911500874 651124736 105428 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=635864 CPUtime=281.6 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 28015 0 0 0 28093 67 0 0 18 0 5 0 911500875 651124736 105428 33554432000 4194304 5787044 140736276072864 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1127.97
Current children cumulated vsize (KiB) 644564

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

[startup+287.901 s]
/proc/loadavg: 3.99 3.43 3.37 5/176 15029
/proc/meminfo: memFree=31761408/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=635864 CPUtime=1150.37 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 112954 0 0 0 114822 215 0 0 18 0 5 0 911500873 651124736 107898 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 158966 107898 417 389 0 154716 0
[pid=15013/tid=15015] ppid=15012 vsize=635864 CPUtime=287.73 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 28875 0 0 0 28722 51 0 0 18 0 5 0 911500874 651124736 107898 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=635864 CPUtime=287.69 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 28180 0 0 0 28723 46 0 0 25 0 5 0 911500874 651124736 107898 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=635864 CPUtime=287.71 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 25819 0 0 0 28724 47 0 0 18 0 5 0 911500874 651124736 107898 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=635864 CPUtime=287.19 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 28374 0 0 0 28651 68 0 0 18 0 5 0 911500875 651124736 107898 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1150.37
Current children cumulated vsize (KiB) 644564

[startup+294.3 s]
/proc/loadavg: 3.99 3.44 3.37 5/176 15029
/proc/meminfo: memFree=31750112/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=644064 CPUtime=1175.96 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 116696 0 0 0 117376 220 0 0 18 0 5 0 911500873 659521536 111640 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 161016 111640 417 389 0 156766 0
[pid=15013/tid=15015] ppid=15012 vsize=644064 CPUtime=294.13 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 29801 0 0 0 29361 52 0 0 18 0 5 0 911500874 659521536 111640 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=644064 CPUtime=294.09 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 29595 0 0 0 29362 47 0 0 25 0 5 0 911500874 659521536 111640 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591322 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=644064 CPUtime=294.12 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 26300 0 0 0 29363 49 0 0 18 0 5 0 911500874 659521536 111640 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=644064 CPUtime=293.59 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 29294 0 0 0 29288 71 0 0 18 0 5 0 911500875 659521536 111640 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1175.96
Current children cumulated vsize (KiB) 652764

[startup+297.501 s]
/proc/loadavg: 3.99 3.45 3.38 5/176 15029
/proc/meminfo: memFree=31740564/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=644064 CPUtime=1188.77 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 118061 0 0 0 118653 224 0 0 18 0 5 0 911500873 659521536 113005 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 161016 113005 417 389 0 156766 0
[pid=15013/tid=15015] ppid=15012 vsize=644064 CPUtime=297.33 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 29811 0 0 0 29681 52 0 0 18 0 5 0 911500874 659521536 113005 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=644064 CPUtime=297.29 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 30066 0 0 0 29681 48 0 0 25 0 5 0 911500874 659521536 113005 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=644064 CPUtime=297.31 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 26728 0 0 0 29682 49 0 0 18 0 5 0 911500874 659521536 113005 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=644064 CPUtime=296.8 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 29750 0 0 0 29606 74 0 0 18 0 5 0 911500875 659521536 113005 33554432000 4194304 5787044 140736276072864 18446744073709551615 4238736 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1188.77
Current children cumulated vsize (KiB) 652764

[startup+299.101 s]
/proc/loadavg: 3.99 3.45 3.38 5/176 15029
/proc/meminfo: memFree=31736100/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=644596 CPUtime=1195.18 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 118906 0 0 0 119292 226 0 0 18 0 5 0 911500873 660066304 113850 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 161149 113850 417 389 0 156899 0
[pid=15013/tid=15015] ppid=15012 vsize=644596 CPUtime=298.93 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 29970 0 0 0 29841 52 0 0 18 0 5 0 911500874 660066304 113850 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=644596 CPUtime=298.89 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 30302 0 0 0 29841 48 0 0 25 0 5 0 911500874 660066304 113850 33554432000 4194304 5787044 140736276072864 18446744073709551615 5586623 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=644596 CPUtime=298.92 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 26944 0 0 0 29842 50 0 0 18 0 5 0 911500874 660066304 113850 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=644596 CPUtime=298.4 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 29984 0 0 0 29765 75 0 0 18 0 5 0 911500875 660066304 113850 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1195.18
Current children cumulated vsize (KiB) 653296

[startup+299.9 s]
/proc/loadavg: 3.99 3.45 3.38 5/176 15029
/proc/meminfo: memFree=31736100/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=644992 CPUtime=1198.36 cores=0-7
/proc/15013/stat : 15013 (priss) S 15012 15012 14809 0 -1 4202496 119348 0 0 0 119609 227 0 0 18 0 5 0 911500873 660471808 114292 33554432000 4194304 5787044 140736276072864 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 161248 114292 417 389 0 156998 0
[pid=15013/tid=15015] ppid=15012 vsize=644992 CPUtime=299.73 cores=0-7
/proc/15013/task/15015/stat : 15015 (priss) R 15012 15012 14809 0 -1 4202560 30074 0 0 0 29921 52 0 0 18 0 5 0 911500874 660471808 114292 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15013/tid=15016] ppid=15012 vsize=644992 CPUtime=299.68 cores=0-7
/proc/15013/task/15016/stat : 15016 (priss) R 15012 15012 14809 0 -1 4202560 30407 0 0 0 29920 48 0 0 25 0 5 0 911500874 660471808 114292 33554432000 4194304 5787044 140736276072864 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15012 vsize=644992 CPUtime=299.72 cores=0-7
/proc/15013/task/15017/stat : 15017 (priss) R 15012 15012 14809 0 -1 4202560 27052 0 0 0 29922 50 0 0 18 0 5 0 911500874 660471808 114292 33554432000 4194304 5787044 140736276072864 18446744073709551615 5590976 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15013/tid=15018] ppid=15012 vsize=644992 CPUtime=299.19 cores=0-7
/proc/15013/task/15018/stat : 15018 (priss) R 15012 15012 14809 0 -1 4202560 30109 0 0 0 29844 75 0 0 19 0 5 0 911500875 660471808 114292 33554432000 4194304 5787044 140736276072864 18446744073709551615 5527019 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1198.36
Current children cumulated vsize (KiB) 653692

[startup+300.306 s]
/proc/loadavg: 3.99 3.45 3.38 5/176 15029
/proc/meminfo: memFree=31733744/32951124 swapFree=67050540/67111528
[pid=15012] ppid=15010 vsize=8700 CPUtime=0 cores=0-7
/proc/15012/stat : 15012 (priss.sh) S 15010 15012 14809 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 911500873 8908800 252 33554432000 4194304 4922060 140737324146544 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15012/statm: 2175 252 211 178 0 68 0
[pid=15013] ppid=15012 vsize=0 CPUtime=1199.91 cores=0-7
/proc/15013/stat : 15013 (priss) R 15012 15012 14809 0 -1 4202500 119532 0 0 0 119763 228 0 0 18 0 1 0 911500873 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15013/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.91
Current children cumulated vsize (KiB) 8700

Child status: 10
Real time (s): 300.316
CPU time (s): 1199.93
CPU user time (s): 1197.63
CPU system time (s): 2.29665
CPU usage (%): 399.556
Max. virtual memory (cumulated for all children) (KiB): 653824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.63
system time used= 2.29665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119871
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= 85295
involuntary context switches= 4567

runsolver used 0.464929 second user time and 1.04884 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-13 23:03:05
IDJOB=3499395
IDBENCH=83208
IDSOLVER=1994
FILE ID=node102/3499395-1307998985
RUNJOBID= node102-1307998947-14823
PBS_JOBID= 13559835
Free space on /tmp= 74136 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-24-57-sat.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499395-1307998985/watcher-3499395-1307998985 -o /tmp/evaluation-result-3499395-1307998985/solver-3499395-1307998985 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499395-1307998985.cnf 1515423746 40000 31000 8

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

MD5SUM BENCH= 179851d97340610ea74d8d7b3cffb10b
RANDOM SEED=1515423746

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32189032 kB
Buffers:        208144 kB
Cached:         323712 kB
SwapCached:      25152 kB
Active:         289084 kB
Inactive:       272656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32189032 kB
SwapTotal:    67111528 kB
SwapFree:     67050540 kB
Dirty:            1952 kB
Writeback:          48 kB
AnonPages:       27548 kB
Mapped:           8960 kB
Slab:           133156 kB
PageTables:       3880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190272 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= 74132 MiB
End job on node102 at 2011-06-13 23:08:06