Trace number 3395034

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 6031.67 756.271

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
MD5SUM67948a6aed9ea09317abe3c8a9a27a03
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.0564
Satisfiable
(Un)Satisfiability was proved
Number of variables1590
Number of clauses272291
Sum of the clauses size546092
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2272251
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.58 2.35 3.69 1/491 12446
/proc/meminfo: memFree=30285992/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=11192 CPUtime=0.01 cores=0-7
/proc/12446/stat : 12446 (plingeling) R 12444 12446 12081 0 -1 4202496 889 1250 0 0 1 0 0 0 23 0 1 0 722762423 11460608 820 33554432000 4194304 4417452 140736108005888 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/12446/statm: 2798 820 147 55 0 684 0

[startup+0.054241 s]
/proc/loadavg: 2.58 2.35 3.69 1/491 12446
/proc/meminfo: memFree=30285992/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=18376 CPUtime=0.04 cores=0-7
/proc/12446/stat : 12446 (plingeling) R 12444 12446 12081 0 -1 4202496 2814 1250 0 0 4 0 0 0 23 0 1 0 722762423 18817024 2617 33554432000 4194304 4417452 140736108005888 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/12446/statm: 4594 2617 148 55 0 2480 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18376

[startup+0.100235 s]
/proc/loadavg: 2.58 2.35 3.69 1/491 12446
/proc/meminfo: memFree=30285992/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=26568 CPUtime=0.08 cores=0-7
/proc/12446/stat : 12446 (plingeling) R 12444 12446 12081 0 -1 4202496 4862 1250 0 0 8 0 0 0 23 0 1 0 722762423 27205632 4665 33554432000 4194304 4417452 140736108005888 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/12446/statm: 6642 4665 148 55 0 4528 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26568

[startup+0.300199 s]
/proc/loadavg: 2.58 2.35 3.69 1/491 12446
/proc/meminfo: memFree=30285992/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=75720 CPUtime=0.29 cores=0-7
/proc/12446/stat : 12446 (plingeling) R 12444 12446 12081 0 -1 4202496 17150 1250 0 0 27 2 0 0 24 0 1 0 722762423 77537280 16953 33554432000 4194304 4417452 140736108005888 18446744073709551615 4231554 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/12446/statm: 18930 16953 148 55 0 16816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75720

[startup+0.701092 s]
/proc/loadavg: 2.58 2.35 3.69 1/491 12446
/proc/meminfo: memFree=30285992/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=230332 CPUtime=3.21 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 34745 1250 0 0 315 6 0 0 18 0 9 0 722762423 235859968 18812 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 57583 18812 177 55 0 55469 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 230332

[startup+1.50096 s]
/proc/loadavg: 2.58 2.35 3.69 10/500 12460
/proc/meminfo: memFree=30194292/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=249824 CPUtime=9.59 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 42872 1250 0 0 952 7 0 0 18 0 9 0 722762423 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 62456 23864 180 55 0 60342 0
[pid=12446/tid=12453] ppid=12444 vsize=249824 CPUtime=1.16 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 3692 1250 0 0 116 0 0 0 19 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=249824 CPUtime=1.15 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 2225 1250 0 0 115 0 0 0 25 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=249824 CPUtime=1.14 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 2696 1250 0 0 114 0 0 0 25 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258627 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=249824 CPUtime=1.16 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 6461 1250 0 0 115 1 0 0 25 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4354515 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=249824 CPUtime=1.15 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 2767 1250 0 0 115 0 0 0 22 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=249824 CPUtime=1.15 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 3538 1250 0 0 115 0 0 0 22 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=249824 CPUtime=1.12 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 2162 1250 0 0 112 0 0 0 22 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258261 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=249824 CPUtime=1.15 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 2164 1250 0 0 115 0 0 0 19 0 9 0 722762456 255819776 23864 33554432000 4194304 4417452 140736108005888 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 249824

[startup+3.10069 s]
/proc/loadavg: 3.01 2.45 3.71 9/500 12460
/proc/meminfo: memFree=30168044/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=274224 CPUtime=22.36 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 53251 1250 0 0 2227 9 0 0 18 0 9 0 722762423 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 68556 29964 180 55 0 66442 0
[pid=12446/tid=12453] ppid=12444 vsize=274224 CPUtime=2.76 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 3692 1250 0 0 276 0 0 0 22 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=274224 CPUtime=2.75 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 3040 1250 0 0 275 0 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=274224 CPUtime=2.74 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 2696 1250 0 0 274 0 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258263 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=274224 CPUtime=2.76 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 14757 1250 0 0 273 3 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=274224 CPUtime=2.75 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 2767 1250 0 0 275 0 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=274224 CPUtime=2.75 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 3991 1250 0 0 275 0 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258161 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=274224 CPUtime=2.7 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 2162 1250 0 0 270 0 0 0 25 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4378154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=274224 CPUtime=2.75 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 2979 1250 0 0 275 0 0 0 22 0 9 0 722762456 280805376 29964 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249296 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.36
Current children cumulated vsize (KiB) 274224

[startup+6.30116 s]
/proc/loadavg: 3.01 2.45 3.71 9/500 12460
/proc/meminfo: memFree=30156708/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=297584 CPUtime=46.98 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 63298 1250 0 0 4685 13 0 0 18 0 9 0 722762423 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 74396 35293 180 55 0 72282 0
[pid=12446/tid=12453] ppid=12444 vsize=297584 CPUtime=5.96 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 3692 1250 0 0 596 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=297584 CPUtime=5.95 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 3040 1250 0 0 595 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258389 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=297584 CPUtime=5.55 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 2924 1250 0 0 553 2 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364687 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=297584 CPUtime=5.42 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 22961 1250 0 0 538 4 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=297584 CPUtime=5.95 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 2767 1250 0 0 595 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258525 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=297584 CPUtime=5.94 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 3991 1250 0 0 594 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=297584 CPUtime=5.85 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 3777 1250 0 0 585 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=297584 CPUtime=5.95 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 2979 1250 0 0 595 0 0 0 25 0 9 0 722762456 304726016 35293 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.98
Current children cumulated vsize (KiB) 297584

[startup+12.7011 s]
/proc/loadavg: 3.78 2.63 3.75 9/500 12461
/proc/meminfo: memFree=30132464/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=312288 CPUtime=98.06 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 84188 1250 0 0 9786 20 0 0 18 0 9 0 722762423 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 78072 39480 180 55 0 75958 0
[pid=12446/tid=12453] ppid=12444 vsize=312288 CPUtime=12.36 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 3692 1250 0 0 1236 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=312288 CPUtime=12.35 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 3040 1250 0 0 1235 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=312288 CPUtime=11.92 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 3640 1250 0 0 1188 4 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=312288 CPUtime=11.82 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 42857 1250 0 0 1173 9 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4356463 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=312288 CPUtime=12.35 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 2767 1250 0 0 1235 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=312288 CPUtime=12.34 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 3991 1250 0 0 1234 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=312288 CPUtime=12.14 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 4055 1250 0 0 1214 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4353531 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=312288 CPUtime=12.35 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 2979 1250 0 0 1235 0 0 0 25 0 9 0 722762456 319782912 39480 33554432000 4194304 4417452 140736108005888 18446744073709551615 4258267 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.06
Current children cumulated vsize (KiB) 312288

[startup+25.5009 s]
/proc/loadavg: 4.43 2.81 3.80 9/500 12461
/proc/meminfo: memFree=30045556/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=391772 CPUtime=200.2 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 131376 1250 0 0 19989 31 0 0 18 0 9 0 722762423 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 97943 60090 180 55 0 95829 0
[pid=12446/tid=12453] ppid=12444 vsize=391772 CPUtime=25.16 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 4940 1250 0 0 2516 0 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=391772 CPUtime=25.15 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 5736 1250 0 0 2515 0 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=391772 CPUtime=24.7 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 8268 1250 0 0 2462 8 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=391772 CPUtime=24.62 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 69800 1250 0 0 2448 14 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=391772 CPUtime=25.16 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 5189 1250 0 0 2515 1 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=391772 CPUtime=25.13 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 6444 1250 0 0 2513 0 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=391772 CPUtime=24.73 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 4801 1250 0 0 2473 0 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=391772 CPUtime=25.15 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 9031 1250 0 0 2514 1 0 0 25 0 9 0 722762456 401174528 60090 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364877 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.2
Current children cumulated vsize (KiB) 391772

[startup+51.1006 s]
/proc/loadavg: 5.72 3.24 3.91 9/500 12461
/proc/meminfo: memFree=29902504/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=553768 CPUtime=404.56 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 210708 1250 0 0 40411 45 0 0 18 0 9 0 722762423 567058432 99778 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 138442 99778 180 55 0 136328 0
[pid=12446/tid=12453] ppid=12444 vsize=553768 CPUtime=50.75 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 7681 1250 0 0 5075 0 0 0 25 0 9 0 722762456 567058432 99778 33554432000 4194304 4417452 140736108005888 18446744073709551615 4235981 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=553768 CPUtime=50.75 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 7578 1250 0 0 5075 0 0 0 25 0 9 0 722762456 567058432 99778 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249943 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=553768 CPUtime=50.3 cores=0-7

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

[pid=12446/tid=12460] ppid=12444 vsize=2446356 CPUtime=716.36 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 307529 1250 0 0 71590 46 0 0 25 0 9 0 722762456 2505068544 572925 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5717.86
Current children cumulated vsize (KiB) 2446356

[startup+742.3 s]
/proc/loadavg: 8.00 7.57 6.08 9/500 12480
/proc/meminfo: memFree=27808776/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2465896 CPUtime=5922.21 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1779884 1250 0 0 591895 326 0 0 18 0 9 0 722762423 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 616474 577810 180 55 0 614360 0
[pid=12446/tid=12453] ppid=12444 vsize=2465896 CPUtime=741.97 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 74176 21 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2465896 CPUtime=741.94 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 235681 1250 0 0 74150 44 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4244339 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2465896 CPUtime=741.29 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 218082 1250 0 0 74081 48 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2465896 CPUtime=741.44 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 74078 66 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366117 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=2465896 CPUtime=741.94 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 211763 1250 0 0 74164 30 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2465896 CPUtime=741.48 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 147431 1250 0 0 74121 27 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366494 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=2465896 CPUtime=729.8 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 186784 1250 0 0 72943 37 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=2465896 CPUtime=741.96 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 307529 1250 0 0 74150 46 0 0 25 0 9 0 722762456 2525077504 577810 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5922.21
Current children cumulated vsize (KiB) 2465896

[startup+748.701 s]
/proc/loadavg: 8.00 7.58 6.09 9/500 12480
/proc/meminfo: memFree=27985976/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2450156 CPUtime=5973.3 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1812853 1250 0 0 597000 330 0 0 18 0 9 0 722762423 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 612539 573875 180 55 0 610425 0
[pid=12446/tid=12453] ppid=12444 vsize=2450156 CPUtime=748.37 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 74816 21 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2450156 CPUtime=748.35 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 250735 1250 0 0 74789 46 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4316256 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2450156 CPUtime=747.69 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 74719 50 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2450156 CPUtime=747.84 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 74718 66 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=2450156 CPUtime=748.34 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 211763 1250 0 0 74804 30 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2450156 CPUtime=747.88 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 150279 1250 0 0 74760 28 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=2450156 CPUtime=736.09 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 186784 1250 0 0 73572 37 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4262479 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=2450156 CPUtime=748.36 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 307529 1250 0 0 74790 46 0 0 25 0 9 0 722762456 2508959744 573875 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5973.3
Current children cumulated vsize (KiB) 2450156

[startup+751.901 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=27956960/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2492232 CPUtime=5998.84 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1839700 1250 0 0 599546 338 0 0 18 0 9 0 722762423 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 623058 584394 180 55 0 620944 0
[pid=12446/tid=12453] ppid=12444 vsize=2492232 CPUtime=751.57 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 75136 21 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2492232 CPUtime=751.54 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 250735 1250 0 0 75108 46 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4310024 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2492232 CPUtime=750.9 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 75039 51 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366092 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2492232 CPUtime=751.04 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 75038 66 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=2492232 CPUtime=751.54 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 211763 1250 0 0 75124 30 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2492232 CPUtime=751.08 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 150279 1250 0 0 75080 28 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=2492232 CPUtime=739.23 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 186784 1250 0 0 73886 37 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=2492232 CPUtime=751.56 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 334376 1250 0 0 75102 54 0 0 25 0 9 0 722762456 2552045568 584394 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5998.84
Current children cumulated vsize (KiB) 2492232

[startup+753.519 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=28000980/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2435208 CPUtime=6011.75 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1839700 1250 0 0 600836 339 0 0 18 0 9 0 722762423 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 608802 570138 180 55 0 606688 0
[pid=12446/tid=12453] ppid=12444 vsize=2435208 CPUtime=753.18 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 75297 21 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2435208 CPUtime=753.16 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 250735 1250 0 0 75270 46 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2435208 CPUtime=752.51 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 75200 51 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2435208 CPUtime=752.65 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 75199 66 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=2435208 CPUtime=753.16 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 211763 1250 0 0 75286 30 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2435208 CPUtime=752.69 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 150279 1250 0 0 75241 28 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=2435208 CPUtime=740.81 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 186784 1250 0 0 74044 37 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=2435208 CPUtime=753.18 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 334376 1250 0 0 75264 54 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6011.75
Current children cumulated vsize (KiB) 2435208

[startup+755.101 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=28000984/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2435208 CPUtime=6024.39 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1839700 1250 0 0 602100 339 0 0 18 0 9 0 722762423 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 608802 570138 180 55 0 606688 0
[pid=12446/tid=12453] ppid=12444 vsize=2435208 CPUtime=754.77 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 75456 21 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2435208 CPUtime=754.74 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 250735 1250 0 0 75428 46 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2435208 CPUtime=754.1 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 75359 51 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2435208 CPUtime=754.24 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 75358 66 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12457] ppid=12444 vsize=2435208 CPUtime=754.74 cores=0-7
/proc/12446/task/12457/stat : 12457 (plingeling) R 12444 12446 12081 0 -1 4202560 211763 1250 0 0 75444 30 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2435208 CPUtime=754.27 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 150279 1250 0 0 75399 28 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12446/tid=12459] ppid=12444 vsize=2435208 CPUtime=742.38 cores=0-7
/proc/12446/task/12459/stat : 12459 (plingeling) R 12444 12446 12081 0 -1 4202560 186784 1250 0 0 74201 37 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12446/tid=12460] ppid=12444 vsize=2435208 CPUtime=754.76 cores=0-7
/proc/12446/task/12460/stat : 12460 (plingeling) R 12444 12446 12081 0 -1 4202560 334376 1250 0 0 75422 54 0 0 25 0 9 0 722762456 2493652992 570138 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6024.39
Current children cumulated vsize (KiB) 2435208

[startup+755.901 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=28000984/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2435208 CPUtime=6030.63 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1839701 1250 0 0 602724 339 0 0 18 0 6 0 722762423 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 608802 570139 181 55 0 606688 0
[pid=12446/tid=12453] ppid=12444 vsize=2435208 CPUtime=755.57 cores=0-7
/proc/12446/task/12453/stat : 12453 (plingeling) R 12444 12446 12081 0 -1 4202560 111194 1250 0 0 75536 21 0 0 25 0 6 0 722762456 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 4343291 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12446/tid=12454] ppid=12444 vsize=2435208 CPUtime=755.54 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 250735 1250 0 0 75508 46 0 0 25 0 6 0 722762456 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 4234629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2435208 CPUtime=754.9 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 75439 51 0 0 25 0 6 0 722762456 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12446/tid=12456] ppid=12444 vsize=2435208 CPUtime=755.04 cores=0-7
/proc/12446/task/12456/stat : 12456 (plingeling) R 12444 12446 12081 0 -1 4202560 344253 1250 0 0 75438 66 0 0 25 0 6 0 722762456 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12446/tid=12458] ppid=12444 vsize=2435208 CPUtime=755.07 cores=0-7
/proc/12446/task/12458/stat : 12458 (plingeling) R 12444 12446 12081 0 -1 4202560 150279 1250 0 0 75479 28 0 0 25 0 6 0 722762456 2493652992 570139 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6030.63
Current children cumulated vsize (KiB) 2435208

[startup+756.101 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=28000984/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=2498592 CPUtime=6031.45 cores=0-7
/proc/12446/stat : 12446 (plingeling) S 12444 12446 12081 0 -1 4202496 1855547 1250 0 0 602803 342 0 0 18 0 3 0 722762423 2558558208 585985 33554432000 4194304 4417452 140736108005888 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12446/statm: 624648 585985 181 55 0 622534 0
[pid=12446/tid=12454] ppid=12444 vsize=2498592 CPUtime=755.74 cores=0-7
/proc/12446/task/12454/stat : 12454 (plingeling) R 12444 12446 12081 0 -1 4202560 266581 1250 0 0 75525 49 0 0 25 0 3 0 722762456 2558558208 585985 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12446/tid=12455] ppid=12444 vsize=2498592 CPUtime=755.1 cores=0-7
/proc/12446/task/12455/stat : 12455 (plingeling) R 12444 12446 12081 0 -1 4202560 233149 1250 0 0 75459 51 0 0 25 0 3 0 722762456 2558558208 585985 33554432000 4194304 4417452 140736108005888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6031.45
Current children cumulated vsize (KiB) 2498592

[startup+756.201 s]
/proc/loadavg: 8.00 7.58 6.10 9/500 12480
/proc/meminfo: memFree=28000984/32951132 swapFree=59085544/67111528
[pid=12446] ppid=12444 vsize=1774004 CPUtime=6031.59 cores=0-7
/proc/12446/stat : 12446 (plingeling) R 12444 12446 12081 0 -1 4202496 1855547 1250 0 0 602814 345 0 0 16 0 1 0 722762423 1816580096 405596 33554432000 4194304 4417452 140736108005888 18446744073709551615 210647172202 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12446/statm: 443501 405084 181 55 0 441387 0
Current children cumulated CPU time (s) 6031.59
Current children cumulated vsize (KiB) 1774004

Child status: 10
Real time (s): 756.271
CPU time (s): 6031.67
CPU user time (s): 6028.15
CPU system time (s): 3.52346
CPU usage (%): 797.554
Max. virtual memory (cumulated for all children) (KiB): 2627060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6028.15
system time used= 3.52346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1856811
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= 252
involuntary context switches= 21578

runsolver used 3.56246 second user time and 8.82066 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-23 02:47:08
IDJOB=3395034
IDBENCH=88225
IDSOLVER=1851
FILE ID=node129/3395034-1306111628
RUNJOBID= node129-1306107473-12095
PBS_JOBID= 13388031
Free space on /tmp= 72972 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p15-s54275047.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3395034-1306111628/watcher-3395034-1306111628 -o /tmp/evaluation-result-3395034-1306111628/solver-3395034-1306111628 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3395034-1306111628.cnf

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

MD5SUM BENCH= 67948a6aed9ea09317abe3c8a9a27a03
RANDOM SEED=2029843253

node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30286272 kB
Buffers:         18156 kB
Cached:         126668 kB
SwapCached:      72304 kB
Active:          76056 kB
Inactive:      2402984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30286272 kB
SwapTotal:    67111528 kB
SwapFree:     59085544 kB
Dirty:            3696 kB
Writeback:           0 kB
AnonPages:     2271304 kB
Mapped:          17592 kB
Slab:            57864 kB
PageTables:      58400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147298484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72972 MiB
End job on node129 at 2011-05-23 02:59:44