Trace number 3393970

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 20723.4 2596.49

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
MD5SUMc848a5766cfcc1d1c3f26c7818e48eb2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8495
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses11563
Sum of the clauses size37576
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Solver Data 

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

[startup+0.0500661 s]
/proc/loadavg: 8.09 8.04 8.01 1/422 16350
/proc/meminfo: memFree=15951000/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=227964 CPUtime=0.14 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2019 1250 0 0 14 0 0 0 25 0 9 0 719312151 233435136 1873 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 56991 1873 174 55 0 54877 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 227964

[startup+0.192749 s]
/proc/loadavg: 8.09 8.04 8.01 1/422 16350
/proc/meminfo: memFree=15951000/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=231120 CPUtime=1.29 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 3049 1250 0 0 129 0 0 0 25 0 9 0 719312151 236666880 2675 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 57780 2675 180 55 0 55666 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 231120

[startup+0.30073 s]
/proc/loadavg: 8.09 8.04 8.01 1/422 16350
/proc/meminfo: memFree=15951000/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=232080 CPUtime=2.15 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 3761 1250 0 0 215 0 0 0 25 0 9 0 719312151 237649920 2992 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 58020 2992 180 55 0 55906 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 232080

[startup+0.700658 s]
/proc/loadavg: 8.09 8.04 8.01 1/422 16350
/proc/meminfo: memFree=15951000/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=242316 CPUtime=5.35 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 7474 1250 0 0 535 0 0 0 25 0 9 0 719312151 248131584 5847 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 60579 5847 180 55 0 58465 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 242316

[startup+1.50051 s]
/proc/loadavg: 8.08 8.04 8.00 9/431 16364
/proc/meminfo: memFree=15924772/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=254876 CPUtime=11.73 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 16874 1250 0 0 1170 3 0 0 25 0 9 0 719312151 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 63719 8977 180 55 0 61605 0
[pid=16350/tid=16357] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 1334 1250 0 0 146 0 0 0 20 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4342592 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 1633 1250 0 0 146 0 0 0 25 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 1440 1250 0 0 146 0 0 0 25 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 3849 1250 0 0 146 0 0 0 25 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 1902 1250 0 0 146 0 0 0 25 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 1670 1250 0 0 146 0 0 0 19 0 9 0 719312154 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=254876 CPUtime=1.46 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 1591 1250 0 0 146 0 0 0 25 0 9 0 719312155 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4353585 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=254876 CPUtime=1.43 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 1629 1250 0 0 143 0 0 0 25 0 9 0 719312156 260993024 8977 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 254876

[startup+3.10121 s]
/proc/loadavg: 8.08 8.04 8.00 9/431 16364
/proc/meminfo: memFree=15909036/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=266536 CPUtime=24.52 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 43575 1250 0 0 2445 7 0 0 25 0 9 0 719312151 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 66634 11742 180 55 0 64520 0
[pid=16350/tid=16357] ppid=16348 vsize=266536 CPUtime=3.06 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 5024 1250 0 0 306 0 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=266536 CPUtime=3.06 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 5128 1250 0 0 305 1 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=266536 CPUtime=3.06 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 3531 1250 0 0 306 0 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=266536 CPUtime=3.07 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 6338 1250 0 0 306 1 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=266536 CPUtime=3.06 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 6504 1250 0 0 306 0 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=266536 CPUtime=3.05 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 5465 1250 0 0 305 0 0 0 25 0 9 0 719312154 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=266536 CPUtime=3.06 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 4993 1250 0 0 305 1 0 0 25 0 9 0 719312155 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=266536 CPUtime=3.01 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 4766 1250 0 0 301 0 0 0 25 0 9 0 719312156 272932864 11742 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 266536

[startup+6.30062 s]
/proc/loadavg: 8.08 8.04 8.00 9/431 16364
/proc/meminfo: memFree=15897848/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=278292 CPUtime=50.07 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 66359 1250 0 0 4995 12 0 0 25 0 9 0 719312151 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 69573 14723 180 55 0 67459 0
[pid=16350/tid=16357] ppid=16348 vsize=278292 CPUtime=6.26 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 7625 1250 0 0 625 1 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=278292 CPUtime=6.25 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 8023 1250 0 0 624 1 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=278292 CPUtime=6.26 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 6118 1250 0 0 625 1 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4307384 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=278292 CPUtime=6.27 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 11436 1250 0 0 625 2 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=278292 CPUtime=6.26 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 8720 1250 0 0 625 1 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4312199 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=278292 CPUtime=6.26 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 7619 1250 0 0 625 1 0 0 25 0 9 0 719312154 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=278292 CPUtime=6.25 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 7780 1250 0 0 624 1 0 0 25 0 9 0 719312155 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=278292 CPUtime=6.17 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 7212 1250 0 0 616 1 0 0 25 0 9 0 719312156 284971008 14723 33554432000 4194304 4417452 140733253413200 18446744073709551615 4307609 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 278292

[startup+12.7004 s]
/proc/loadavg: 8.07 8.04 8.00 9/431 16365
/proc/meminfo: memFree=15852560/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=329280 CPUtime=101.17 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 161087 1250 0 0 10087 30 0 0 25 0 9 0 719312151 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 82320 27558 180 55 0 80206 0
[pid=16350/tid=16357] ppid=16348 vsize=329280 CPUtime=12.66 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 22658 1250 0 0 1262 4 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=329280 CPUtime=12.66 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 19792 1250 0 0 1262 4 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=329280 CPUtime=12.65 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 20429 1250 0 0 1262 3 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=329280 CPUtime=12.66 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 20326 1250 0 0 1263 3 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=329280 CPUtime=12.66 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 19942 1250 0 0 1263 3 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=329280 CPUtime=12.65 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 19902 1250 0 0 1262 3 0 0 25 0 9 0 719312154 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=329280 CPUtime=12.65 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 19398 1250 0 0 1261 4 0 0 25 0 9 0 719312155 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=329280 CPUtime=12.48 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 16814 1250 0 0 1246 2 0 0 25 0 9 0 719312156 337182720 27558 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 329280

[startup+25.501 s]
/proc/loadavg: 8.06 8.04 8.00 9/431 16365
/proc/meminfo: memFree=15784300/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=385568 CPUtime=203.4 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 228602 1250 0 0 20296 44 0 0 25 0 9 0 719312151 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 96392 43121 180 55 0 94278 0
[pid=16350/tid=16357] ppid=16348 vsize=385568 CPUtime=25.46 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 34237 1250 0 0 2541 5 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=385568 CPUtime=25.45 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 24926 1250 0 0 2541 4 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=385568 CPUtime=25.45 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 29651 1250 0 0 2540 5 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=385568 CPUtime=25.46 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 35614 1250 0 0 2540 6 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=385568 CPUtime=25.46 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 28072 1250 0 0 2542 4 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=385568 CPUtime=25.46 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 24546 1250 0 0 2541 5 0 0 25 0 9 0 719312154 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=385568 CPUtime=25.46 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 27394 1250 0 0 2540 6 0 0 25 0 9 0 719312155 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=385568 CPUtime=25.1 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 22336 1250 0 0 2506 4 0 0 25 0 9 0 719312156 394821632 43121 33554432000 4194304 4417452 140733253413200 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.4
Current children cumulated vsize (KiB) 385568

[startup+51.1013 s]
/proc/loadavg: 8.04 8.03 8.00 9/431 16366
/proc/meminfo: memFree=15674860/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=492164 CPUtime=407.84 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 326966 1250 0 0 40722 62 0 0 25 0 9 0 719312151 503975936 71406 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 123041 71406 180 55 0 120927 0
[pid=16350/tid=16357] ppid=16348 vsize=492164 CPUtime=51.06 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 43458 1250 0 0 5099 7 0 0 25 0 9 0 719312154 503975936 71406 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=492164 CPUtime=51.06 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 39189 1250 0 0 5099 7 0 0 25 0 9 0 719312154 503975936 71406 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=492164 CPUtime=51.06 cores=0-7

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

[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2562.35 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 256163 72 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=3045360 CPUtime=2562.33 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 360862 1250 0 0 256168 65 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2562.34 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 256157 77 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=3045360 CPUtime=2561.76 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 416708 1250 0 0 256097 79 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2562.27 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 256164 63 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=3045360 CPUtime=2562.34 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 309161 1250 0 0 256177 57 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=3045360 CPUtime=2562.34 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 489494 1250 0 0 256156 78 0 0 25 0 9 0 719312155 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=3045360 CPUtime=2525.85 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 285652 1250 0 0 252535 50 0 0 25 0 9 0 719312156 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20461.7
Current children cumulated vsize (KiB) 3045360

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

[startup+2572.7 s]
/proc/loadavg: 8.09 8.05 8.00 9/431 16433
/proc/meminfo: memFree=13109344/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20544.7 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937758 1250 0 0 2053929 544 0 0 25 0 9 0 719312151 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708749 180 55 0 759226 0
[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2572.75 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 257203 72 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=3045360 CPUtime=2572.73 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 360862 1250 0 0 257208 65 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2572.74 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 257197 77 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=3045360 CPUtime=2572.16 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 416708 1250 0 0 257137 79 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2572.67 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 257204 63 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=3045360 CPUtime=2572.74 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 309161 1250 0 0 257217 57 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=3045360 CPUtime=2572.74 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 489494 1250 0 0 257196 78 0 0 25 0 9 0 719312155 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=3045360 CPUtime=2536.1 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 285652 1250 0 0 253560 50 0 0 25 0 9 0 719312156 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20544.7
Current children cumulated vsize (KiB) 3045360

[startup+2585.5 s]
/proc/loadavg: 8.07 8.05 8.00 9/431 16433
/proc/meminfo: memFree=13109336/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20646.9 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937758 1250 0 0 2064150 544 0 0 25 0 9 0 719312151 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708749 180 55 0 759226 0
[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2585.55 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 258483 72 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=3045360 CPUtime=2585.54 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 360862 1250 0 0 258489 65 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2585.54 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 258477 77 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=3045360 CPUtime=2584.96 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 416708 1250 0 0 258417 79 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2585.47 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 258484 63 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=3045360 CPUtime=2585.54 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 309161 1250 0 0 258497 57 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=3045360 CPUtime=2585.54 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 489494 1250 0 0 258476 78 0 0 25 0 9 0 719312155 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=3045360 CPUtime=2548.71 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 285652 1250 0 0 254821 50 0 0 25 0 9 0 719312156 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20646.9
Current children cumulated vsize (KiB) 3045360

[startup+2591.9 s]
/proc/loadavg: 8.06 8.05 8.00 9/431 16434
/proc/meminfo: memFree=13109336/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20698.1 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937758 1250 0 0 2069261 544 0 0 25 0 9 0 719312151 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708749 180 55 0 759226 0
[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2591.95 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 259123 72 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=3045360 CPUtime=2591.94 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 360862 1250 0 0 259129 65 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2591.94 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 259117 77 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=3045360 CPUtime=2591.36 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 416708 1250 0 0 259057 79 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2591.87 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 259124 63 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=3045360 CPUtime=2591.94 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 309161 1250 0 0 259137 57 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=3045360 CPUtime=2591.94 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 489494 1250 0 0 259116 78 0 0 25 0 9 0 719312155 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=3045360 CPUtime=2555.01 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 285652 1250 0 0 255451 50 0 0 25 0 9 0 719312156 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20698
Current children cumulated vsize (KiB) 3045360

[startup+2593.5 s]
/proc/loadavg: 8.06 8.05 8.00 9/431 16434
/proc/meminfo: memFree=13109336/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20710.8 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937758 1250 0 0 2070539 544 0 0 25 0 9 0 719312151 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708749 180 55 0 759226 0
[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2593.55 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 259283 72 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16358] ppid=16348 vsize=3045360 CPUtime=2593.54 cores=0-7
/proc/16350/task/16358/stat : 16358 (plingeling) R 16348 16350 16204 0 -1 4202560 360862 1250 0 0 259289 65 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2593.54 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 259277 77 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16350/tid=16360] ppid=16348 vsize=3045360 CPUtime=2592.96 cores=0-7
/proc/16350/task/16360/stat : 16360 (plingeling) R 16348 16350 16204 0 -1 4202560 416708 1250 0 0 259217 79 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2593.47 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 259284 63 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16350/tid=16362] ppid=16348 vsize=3045360 CPUtime=2593.54 cores=0-7
/proc/16350/task/16362/stat : 16362 (plingeling) R 16348 16350 16204 0 -1 4202560 309161 1250 0 0 259297 57 0 0 25 0 9 0 719312154 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16350/tid=16363] ppid=16348 vsize=3045360 CPUtime=2593.54 cores=0-7
/proc/16350/task/16363/stat : 16363 (plingeling) R 16348 16350 16204 0 -1 4202560 489494 1250 0 0 259276 78 0 0 25 0 9 0 719312155 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16364] ppid=16348 vsize=3045360 CPUtime=2556.6 cores=0-7
/proc/16350/task/16364/stat : 16364 (plingeling) R 16348 16350 16204 0 -1 4202560 285652 1250 0 0 255610 50 0 0 25 0 9 0 719312156 3118448640 708749 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20710.8
Current children cumulated vsize (KiB) 3045360

[startup+2595.1 s]
/proc/loadavg: 7.82 8.00 7.98 6/428 16434
/proc/meminfo: memFree=13109360/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20720.3 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937759 1250 0 0 2071484 544 0 0 25 0 4 0 719312151 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708750 181 55 0 759226 0
[pid=16350/tid=16357] ppid=16348 vsize=3045360 CPUtime=2595.15 cores=0-7
/proc/16350/task/16357/stat : 16357 (plingeling) R 16348 16350 16204 0 -1 4202560 367035 1250 0 0 259443 72 0 0 25 0 4 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2595.14 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 259437 77 0 0 25 0 4 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2595.07 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 259444 63 0 0 25 0 4 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20720.3
Current children cumulated vsize (KiB) 3045360

[startup+2595.9 s]
/proc/loadavg: 7.82 8.00 7.98 3/425 16434
/proc/meminfo: memFree=13109260/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20722.4 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937759 1250 0 0 2071700 544 0 0 18 0 3 0 719312151 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708750 181 55 0 759226 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2595.96 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 259519 77 0 0 25 0 3 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2595.89 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 259526 63 0 0 25 0 3 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20722.4
Current children cumulated vsize (KiB) 3045360

[startup+2596.3 s]
/proc/loadavg: 7.82 8.00 7.98 3/425 16434
/proc/meminfo: memFree=13109260/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=3045360 CPUtime=20723.2 cores=0-7
/proc/16350/stat : 16350 (plingeling) S 16348 16350 16204 0 -1 4202496 2937759 1250 0 0 2071777 544 0 0 18 0 3 0 719312151 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/16350/statm: 761340 708750 181 55 0 759226 0
[pid=16350/tid=16359] ppid=16348 vsize=3045360 CPUtime=2596.34 cores=0-7
/proc/16350/task/16359/stat : 16359 (plingeling) R 16348 16350 16204 0 -1 4202560 341341 1250 0 0 259557 77 0 0 25 0 3 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16350/tid=16361] ppid=16348 vsize=3045360 CPUtime=2596.27 cores=0-7
/proc/16350/task/16361/stat : 16361 (plingeling) R 16348 16350 16204 0 -1 4202560 365679 1250 0 0 259564 63 0 0 25 0 3 0 719312154 3118448640 708750 33554432000 4194304 4417452 140733253413200 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20723.2
Current children cumulated vsize (KiB) 3045360

[startup+2596.4 s]
/proc/loadavg: 7.82 8.00 7.98 3/425 16434
/proc/meminfo: memFree=13109260/32951124 swapFree=44485824/67111528
[pid=16350] ppid=16348 vsize=2808564 CPUtime=20723.3 cores=0-7
/proc/16350/stat : 16350 (plingeling) R 16348 16350 16204 0 -1 4202496 2937759 1250 0 0 2071786 545 0 0 15 0 1 0 719312151 2875969536 657744 33554432000 4194304 4417452 140733253413200 18446744073709551615 244446988423 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16350/statm: 702141 657744 181 55 0 700027 0
Current children cumulated CPU time (s) 20723.3
Current children cumulated vsize (KiB) 2808564

Child status: 10
Real time (s): 2596.49
CPU time (s): 20723.4
CPU user time (s): 20717.9
CPU system time (s): 5.55016
CPU usage (%): 798.131
Max. virtual memory (cumulated for all children) (KiB): 3192464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20717.9
system time used= 5.55016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2939024
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= 320
involuntary context switches= 73985

runsolver used 10.5604 second user time and 26.439 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-22 17:11:57
IDJOB=3393970
IDBENCH=70907
IDSOLVER=1851
FILE ID=node105/3393970-1306077117
RUNJOBID= node105-1306076565-16218
PBS_JOBID= 13387904
Free space on /tmp= 73116 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393970-1306077117/watcher-3393970-1306077117 -o /tmp/evaluation-result-3393970-1306077117/solver-3393970-1306077117 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3393970-1306077117.cnf

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

MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=1676687457

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      15951396 kB
Buffers:        349544 kB
Cached:       12750444 kB
SwapCached:      39596 kB
Active:        6581356 kB
Inactive:     10105388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15951396 kB
SwapTotal:    67111528 kB
SwapFree:     44485824 kB
Dirty:             636 kB
Writeback:           4 kB
AnonPages:     3555296 kB
Mapped:          18928 kB
Slab:           165488 kB
PageTables:      80620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114859088 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= 73116 MiB
End job on node105 at 2011-05-22 17:55:14