Trace number 1562452

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
satake 2009-03-22SAT 772.313 387.389

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
MD5SUM4259362ee72589b1a94d1f5c9f846a0b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.38957
Satisfiable
(Un)Satisfiability was proved
Number of variables1677
Number of clauses28863
Sum of the clauses size75955
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217356
Number of clauses of size 38650
Number of clauses of size 4832
Number of clauses of size 51875
Number of clauses of size over 5150

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562452-1238775120/watcher-1562452-1238775120 -o /tmp/evaluation-result-1562452-1238775120/solver-1562452-1238775120 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562452-1238775120.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.61 3.43 3.03 3/80 20495
/proc/meminfo: memFree=1827852/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=1868 CPUtime=0
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 310 0 0 0 0 0 0 0 19 0 4 0 1150175729 1912832 295 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 468 301 65 163 0 303 0
[pid=20495/tid=20496] ppid=20493 vsize=2004 CPUtime=0
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 1150175729 2052096 323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=2004 CPUtime=0
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 219 0 0 0 0 0 0 0 20 0 4 0 1150175729 2052096 334 1992294400 134512640 135180984 4294956208 18446744073709551615 134519938 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=2004 CPUtime=0
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 4 0 1150175729 2052096 344 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0219719 s]
/proc/loadavg: 2.61 3.43 3.03 3/80 20495
/proc/meminfo: memFree=1827852/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=5468 CPUtime=0.03
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 795 0 0 0 3 0 0 0 19 0 4 0 1150175729 5599232 780 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 1441 899 83 163 0 1276 0
[pid=20495/tid=20496] ppid=20493 vsize=5764 CPUtime=0
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 4 0 1150175729 5902336 786 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=5440 CPUtime=0.02
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 420 0 0 0 2 0 0 0 16 0 4 0 1150175729 5570560 807 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=4984 CPUtime=0.03
/proc/20495/task/20498/stat : 20498 (satake) S 20493 20495 19771 0 -1 4194368 459 0 0 0 3 0 0 0 17 0 4 0 1150175729 5103616 761 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5468

[startup+0.122974 s]
/proc/loadavg: 2.61 3.43 3.03 3/80 20495
/proc/meminfo: memFree=1827852/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=5116 CPUtime=0.21
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 1061 0 0 0 15 6 0 0 19 0 4 0 1150175729 5238784 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 1279 820 70 163 0 1114 0
[pid=20495/tid=20496] ppid=20493 vsize=5116 CPUtime=0.03
/proc/20495/task/20496/stat : 20496 (satake) R 20493 20495 19771 0 -1 4194368 45 0 0 0 1 2 0 0 17 0 4 0 1150175729 5238784 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=5116 CPUtime=0.1
/proc/20495/task/20497/stat : 20497 (satake) S 20493 20495 19771 0 -1 4194368 449 0 0 0 8 2 0 0 16 0 4 0 1150175729 5238784 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=5116 CPUtime=0.07
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 484 0 0 0 6 1 0 0 17 0 4 0 1150175729 5238784 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134524718 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5116

[startup+0.302992 s]
/proc/loadavg: 2.61 3.43 3.03 3/80 20495
/proc/meminfo: memFree=1827852/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=5776 CPUtime=0.56
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 1236 0 0 0 43 13 0 0 19 0 4 0 1150175729 5914624 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 1444 995 70 163 0 1279 0
[pid=20495/tid=20496] ppid=20493 vsize=5776 CPUtime=0.07
/proc/20495/task/20496/stat : 20496 (satake) R 20493 20495 19771 0 -1 4194368 64 0 0 0 2 5 0 0 17 0 4 0 1150175729 5914624 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=5776 CPUtime=0.24
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 525 0 0 0 20 4 0 0 17 0 4 0 1150175729 5914624 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=5776 CPUtime=0.22
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 564 0 0 0 19 3 0 0 16 0 4 0 1150175729 5914624 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 5776

[startup+0.702045 s]
/proc/loadavg: 2.61 3.43 3.03 3/80 20495
/proc/meminfo: memFree=1827852/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=6964 CPUtime=1.32
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 1572 0 0 0 108 24 0 0 19 0 4 0 1150175729 7131136 1331 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 1741 1331 70 163 0 1576 0
[pid=20495/tid=20496] ppid=20493 vsize=6964 CPUtime=0.14
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 87 0 0 0 4 10 0 0 15 0 4 0 1150175729 7131136 1331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=6964 CPUtime=0.6
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 687 0 0 0 52 8 0 0 17 0 4 0 1150175729 7131136 1331 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=6964 CPUtime=0.55
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 715 0 0 0 50 5 0 0 17 0 4 0 1150175729 7131136 1331 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 6964

[startup+1.50112 s]
/proc/loadavg: 2.61 3.43 3.03 3/84 20499
/proc/meminfo: memFree=1821740/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=8828 CPUtime=2.91
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 2097 0 0 0 258 33 0 0 19 0 4 0 1150175729 9039872 1856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 2207 1856 70 163 0 2042 0
[pid=20495/tid=20496] ppid=20493 vsize=8828 CPUtime=0.18
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 106 0 0 0 5 13 0 0 15 0 4 0 1150175729 9039872 1856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=8828 CPUtime=1.37
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 964 0 0 0 127 10 0 0 16 0 4 0 1150175729 9039872 1856 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=8828 CPUtime=1.34
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 944 0 0 0 125 9 0 0 17 0 4 0 1150175729 9039872 1856 1992294400 134512640 135180984 4294956208 18446744073709551615 134525822 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 8828

[startup+3.10128 s]
/proc/loadavg: 2.61 3.43 3.03 3/84 20499
/proc/meminfo: memFree=1819180/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=11532 CPUtime=6.08
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 2867 0 0 0 559 49 0 0 19 0 4 0 1150175729 11808768 2626 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 2883 2626 70 163 0 2718 0
[pid=20495/tid=20496] ppid=20493 vsize=11532 CPUtime=0.27
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 143 0 0 0 7 20 0 0 15 0 4 0 1150175729 11808768 2626 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=11532 CPUtime=2.91
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 1337 0 0 0 275 16 0 0 17 0 4 0 1150175729 11808768 2626 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=11532 CPUtime=2.89
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 1304 0 0 0 276 13 0 0 17 0 4 0 1150175729 11808768 2626 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 11532

[startup+6.30161 s]
/proc/loadavg: 2.56 3.40 3.03 3/84 20499
/proc/meminfo: memFree=1814380/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=15996 CPUtime=12.38
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 3839 0 0 0 1165 73 0 0 19 0 4 0 1150175729 16379904 3598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 3999 3598 70 163 0 3834 0
[pid=20495/tid=20496] ppid=20493 vsize=15996 CPUtime=0.38
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 180 0 0 0 9 29 0 0 15 0 4 0 1150175729 16379904 3598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=15996 CPUtime=5.97
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 1740 0 0 0 574 23 0 0 17 0 4 0 1150175729 16379904 3598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=15996 CPUtime=6.01
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 1836 0 0 0 581 20 0 0 16 0 4 0 1150175729 16379904 3598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 15996

[startup+12.7013 s]
/proc/loadavg: 2.51 3.38 3.02 3/84 20499
/proc/meminfo: memFree=1808300/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=22088 CPUtime=25.14
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 5240 0 0 0 2421 93 0 0 19 0 4 0 1150175729 22618112 4999 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 5522 4999 70 163 0 5357 0
[pid=20495/tid=20496] ppid=20493 vsize=22088 CPUtime=0.48
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 229 0 0 0 11 37 0 0 15 0 4 0 1150175729 22618112 5000 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=22088 CPUtime=12.28
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 2384 0 0 0 1200 28 0 0 17 0 4 0 1150175729 22618112 5000 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=22088 CPUtime=12.35
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 2545 0 0 0 1209 26 0 0 16 0 4 0 1150175729 22618112 5000 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 22088

[startup+25.5026 s]
/proc/loadavg: 2.40 3.31 3.01 3/84 20499
/proc/meminfo: memFree=1805100/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=24612 CPUtime=50.67
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 6070 0 0 0 4937 130 0 0 19 0 4 0 1150175729 25202688 5829 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 6153 5829 70 163 0 5988 0
[pid=20495/tid=20496] ppid=20493 vsize=24612 CPUtime=0.7
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 299 0 0 0 17 53 0 0 16 0 4 0 1150175729 25202688 5829 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=24612 CPUtime=24.91
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 2781 0 0 0 2453 38 0 0 17 0 4 0 1150175729 25202688 5829 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=24612 CPUtime=25.03
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 2907 0 0 0 2466 37 0 0 17 0 4 0 1150175729 25202688 5829 1992294400 134512640 135180984 4294956208 18446744073709551615 134525129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 24612

[startup+51.1022 s]
/proc/loadavg: 2.26 3.20 2.98 3/84 20499
/proc/meminfo: memFree=1800428/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=31124 CPUtime=101.68
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 7311 0 0 0 9987 181 0 0 19 0 4 0 1150175729 31870976 7070 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 7781 7070 70 163 0 7616 0
[pid=20495/tid=20496] ppid=20493 vsize=31124 CPUtime=0.98
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 364 0 0 0 23 75 0 0 15 0 4 0 1150175729 31870976 7070 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=31124 CPUtime=50.19
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 3253 0 0 0 4966 53 0 0 17 0 4 0 1150175729 31870976 7070 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=31124 CPUtime=50.48
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 3611 0 0 0 4997 51 0 0 18 0 4 0 1150175729 31870976 7070 1992294400 134512640 135180984 4294956208 18446744073709551615 134527298 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 31124

[startup+102.308 s]
/proc/loadavg: 2.11 3.02 2.92 3/84 20499
/proc/meminfo: memFree=1795244/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=35720 CPUtime=203.8
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 8543 0 0 0 20129 251 0 0 19 0 4 0 1150175729 36577280 8302 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 8930 8302 70 163 0 8765 0
[pid=20495/tid=20496] ppid=20493 vsize=35720 CPUtime=1.38
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 452 0 0 0 31 107 0 0 15 0 4 0 1150175729 36577280 8302 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=35720 CPUtime=100.94
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 3684 0 0 0 10025 69 0 0 25 0 4 0 1150175729 36577280 8302 1992294400 134512640 135180984 4294956208 18446744073709551615 134527341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20495/tid=20498] ppid=20493 vsize=35720 CPUtime=101.46
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 4324 0 0 0 10072 74 0 0 25 0 4 0 1150175729 36577280 8302 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 35720

[startup+162.303 s]
/proc/loadavg: 2.04 2.83 2.86 3/84 20499
/proc/meminfo: memFree=1791532/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=40428 CPUtime=323.46
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 9451 0 0 0 32029 317 0 0 19 0 4 0 1150175729 41398272 9210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 10107 9210 70 163 0 9942 0
[pid=20495/tid=20496] ppid=20493 vsize=40428 CPUtime=1.76
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 550 0 0 0 39 137 0 0 15 0 4 0 1150175729 41398272 9210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=40428 CPUtime=160.59
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4109 0 0 0 15971 88 0 0 25 0 4 0 1150175729 41398272 9210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=40428 CPUtime=161.08
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 4709 0 0 0 16017 91 0 0 25 0 4 0 1150175729 41398272 9210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 40428

[startup+222.303 s]
/proc/loadavg: 2.01 2.68 2.81 3/84 20499
/proc/meminfo: memFree=1786860/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=44692 CPUtime=443.13
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 10607 0 0 0 43922 391 0 0 19 0 4 0 1150175729 45764608 10366 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 11173 10366 70 163 0 11008 0
[pid=20495/tid=20496] ppid=20493 vsize=44692 CPUtime=2.2
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 654 0 0 0 49 171 0 0 15 0 4 0 1150175729 45764608 10366 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=44692 CPUtime=220.33
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4413 0 0 0 21926 107 0 0 16 0 4 0 1150175729 45764608 10366 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=44692 CPUtime=220.58
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 5457 0 0 0 21946 112 0 0 17 0 4 0 1150175729 45764608 10366 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.13
Current children cumulated vsize (KiB) 44692

[startup+282.303 s]
/proc/loadavg: 2.07 2.57 2.76 3/84 20499
/proc/meminfo: memFree=1783596/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=48568 CPUtime=562.81
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11439 0 0 0 55845 436 0 0 19 0 4 0 1150175729 49733632 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12142 11198 70 163 0 11977 0
[pid=20495/tid=20496] ppid=20493 vsize=48568 CPUtime=2.45
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 667 0 0 0 55 190 0 0 15 0 4 0 1150175729 49733632 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=48568 CPUtime=280.17
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4829 0 0 0 27898 119 0 0 17 0 4 0 1150175729 49733632 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134520866 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=48568 CPUtime=280.16
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 5860 0 0 0 27890 126 0 0 21 0 4 0 1150175729 49733632 11198 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.81
Current children cumulated vsize (KiB) 48568

[startup+342.302 s]
/proc/loadavg: 2.08 2.47 2.71 3/84 20499
/proc/meminfo: memFree=1782764/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=49544 CPUtime=682.47
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11634 0 0 0 67753 494 0 0 19 0 4 0 1150175729 50733056 11393 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12386 11393 70 163 0 12221 0
[pid=20495/tid=20496] ppid=20493 vsize=49544 CPUtime=2.79
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 670 0 0 0 63 216 0 0 15 0 4 0 1150175729 50733056 11393 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=49544 CPUtime=339.98
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4866 0 0 0 33862 136 0 0 25 0 4 0 1150175729 50733056 11393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=49544 CPUtime=339.69
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6015 0 0 0 33828 141 0 0 25 0 4 0 1150175729 50733056 11393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.47
Current children cumulated vsize (KiB) 49544

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

[startup+358.303 s]
/proc/loadavg: 2.06 2.45 2.70 3/84 20499
/proc/meminfo: memFree=1782636/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=49704 CPUtime=714.4
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11652 0 0 0 70931 509 0 0 19 0 4 0 1150175729 50896896 11411 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12426 11411 70 163 0 12261 0
[pid=20495/tid=20496] ppid=20493 vsize=49704 CPUtime=2.87
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 671 0 0 0 65 222 0 0 15 0 4 0 1150175729 50896896 11411 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=49704 CPUtime=355.92
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4866 0 0 0 35453 139 0 0 25 0 4 0 1150175729 50896896 11411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=49704 CPUtime=355.59
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6032 0 0 0 35413 146 0 0 19 0 4 0 1150175729 50896896 11411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 714.4
Current children cumulated vsize (KiB) 49704

[startup+371.101 s]
/proc/loadavg: 2.05 2.43 2.69 3/84 20499
/proc/meminfo: memFree=1782572/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=49864 CPUtime=739.93
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11682 0 0 0 73470 523 0 0 19 0 4 0 1150175729 51060736 11441 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12466 11441 70 163 0 12301 0
[pid=20495/tid=20496] ppid=20493 vsize=49864 CPUtime=2.95
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 672 0 0 0 67 228 0 0 15 0 4 0 1150175729 51060736 11441 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=49864 CPUtime=368.67
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4883 0 0 0 36724 143 0 0 25 0 4 0 1150175729 51060736 11441 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=49864 CPUtime=368.29
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6044 0 0 0 36679 150 0 0 23 0 4 0 1150175729 51060736 11441 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 739.93
Current children cumulated vsize (KiB) 49864

[startup+377.502 s]
/proc/loadavg: 2.04 2.42 2.69 3/84 20499
/proc/meminfo: memFree=1782188/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=51048 CPUtime=752.69
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11761 0 0 0 74737 532 0 0 19 0 4 0 1150175729 52273152 11520 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12762 11520 70 163 0 12597 0
[pid=20495/tid=20496] ppid=20493 vsize=51048 CPUtime=3
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 695 0 0 0 68 232 0 0 15 0 4 0 1150175729 52273152 11520 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=51048 CPUtime=375.03
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4914 0 0 0 37358 145 0 0 25 0 4 0 1150175729 52273152 11520 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=51048 CPUtime=374.63
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6069 0 0 0 37310 153 0 0 18 0 4 0 1150175729 52273152 11520 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 752.69
Current children cumulated vsize (KiB) 51048

[startup+383.907 s]
/proc/loadavg: 2.04 2.41 2.68 3/84 20499
/proc/meminfo: memFree=1781996/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=51048 CPUtime=765.46
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11831 0 0 0 76006 540 0 0 19 0 4 0 1150175729 52273152 11590 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12762 11590 70 163 0 12597 0
[pid=20495/tid=20496] ppid=20493 vsize=51048 CPUtime=3.06
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 713 0 0 0 70 236 0 0 15 0 4 0 1150175729 52273152 11590 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=51048 CPUtime=381.4
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4934 0 0 0 37993 147 0 0 25 0 4 0 1150175729 52273152 11590 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=51048 CPUtime=380.97
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6101 0 0 0 37942 155 0 0 19 0 4 0 1150175729 52273152 11590 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 765.46
Current children cumulated vsize (KiB) 51048

[startup+385.503 s]
/proc/loadavg: 2.04 2.41 2.68 3/84 20499
/proc/meminfo: memFree=1781932/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=51048 CPUtime=768.65
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11833 0 0 0 76324 541 0 0 19 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12762 11592 70 163 0 12597 0
[pid=20495/tid=20496] ppid=20493 vsize=51048 CPUtime=3.08
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 715 0 0 0 71 237 0 0 15 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20495/tid=20497] ppid=20493 vsize=51048 CPUtime=383
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4934 0 0 0 38152 148 0 0 25 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=51048 CPUtime=382.56
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6101 0 0 0 38100 156 0 0 23 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134520781 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 768.65
Current children cumulated vsize (KiB) 51048

[startup+386.302 s]
/proc/loadavg: 2.04 2.41 2.68 3/84 20499
/proc/meminfo: memFree=1781932/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=51048 CPUtime=770.25
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11833 0 0 0 76483 542 0 0 19 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12762 11592 70 163 0 12597 0
[pid=20495/tid=20496] ppid=20493 vsize=51048 CPUtime=3.08
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 715 0 0 0 71 237 0 0 15 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=51048 CPUtime=383.79
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4934 0 0 0 38231 148 0 0 25 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=51048 CPUtime=383.35
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6101 0 0 0 38179 156 0 0 17 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 770.25
Current children cumulated vsize (KiB) 51048

[startup+387.102 s]
/proc/loadavg: 2.04 2.41 2.68 3/84 20499
/proc/meminfo: memFree=1781932/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=51048 CPUtime=771.84
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11833 0 0 0 76642 542 0 0 19 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12762 11592 70 163 0 12597 0
[pid=20495/tid=20496] ppid=20493 vsize=51048 CPUtime=3.09
/proc/20495/task/20496/stat : 20496 (satake) S 20493 20495 19771 0 -1 4194368 715 0 0 0 71 238 0 0 15 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20495/tid=20497] ppid=20493 vsize=51048 CPUtime=384.59
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4934 0 0 0 38311 148 0 0 25 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20495/tid=20498] ppid=20493 vsize=51048 CPUtime=384.15
/proc/20495/task/20498/stat : 20498 (satake) R 20493 20495 19771 0 -1 4194368 6101 0 0 0 38259 156 0 0 17 0 4 0 1150175729 52273152 11592 1992294400 134512640 135180984 4294956208 18446744073709551615 134522782 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 771.84
Current children cumulated vsize (KiB) 51048

[startup+387.302 s]
/proc/loadavg: 2.04 2.41 2.68 3/84 20499
/proc/meminfo: memFree=1781932/2055920 swapFree=4163604/4192956
[pid=20495] ppid=20493 vsize=50884 CPUtime=772.21
/proc/20495/stat : 20495 (satake) S 20493 20495 19771 0 -1 4194304 11842 0 0 0 76679 542 0 0 16 0 2 0 1150175729 52105216 11572 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20495/statm: 12721 11572 79 163 0 12556 0
[pid=20495/tid=20497] ppid=20493 vsize=50884 CPUtime=384.79
/proc/20495/task/20497/stat : 20497 (satake) R 20493 20495 19771 0 -1 4194368 4934 0 0 0 38331 148 0 0 25 0 2 0 1150175729 52105216 11572 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 772.21
Current children cumulated vsize (KiB) 50884

Child status: 3
Real time (s): 387.389
CPU time (s): 772.313
CPU user time (s): 766.875
CPU system time (s): 5.43717
CPU usage (%): 199.364
Max. virtual memory (cumulated for all children) (KiB): 51048


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.875
system time used= 5.43717
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11842
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= 454702
involuntary context switches= 453944

runsolver used 0.478927 second user time and 1.40479 second system time

The end

Launcher Data 

Begin job on node90 at 2009-04-03 18:12:01
IDJOB=1562452
IDBENCH=70934
IDSOLVER=553
FILE ID=node90/1562452-1238775120
PBS_JOBID= 9085507
Free space on /tmp= 66532 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_7_4_9_fbc.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562452-1238775120/watcher-1562452-1238775120 -o /tmp/evaluation-result-1562452-1238775120/solver-1562452-1238775120 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562452-1238775120.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 4259362ee72589b1a94d1f5c9f846a0b
RANDOM SEED=1877075861

node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1829044 kB
Buffers:         20736 kB
Cached:         117560 kB
SwapCached:      18172 kB
Active:          33100 kB
Inactive:       124864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829044 kB
SwapTotal:     4192956 kB
SwapFree:      4163604 kB
Dirty:            1756 kB
Writeback:           0 kB
Mapped:          25612 kB
Slab:            53208 kB
Committed_AS:  2671536 kB
PageTables:       2668 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66532 MiB
End job on node90 at 2009-04-03 18:18:28