Trace number 1560996

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 93.6888 47.2269

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
MD5SUMcc3488b2f0eb99d818c5779787a8ab84
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.3113
Satisfiable
(Un)Satisfiability was proved
Number of variables1677
Number of clauses15063
Sum of the clauses size48355
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23556
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 

93.45/47.20	c Benchmark name    : HOME/instance-1560996-1238760016.cnf
93.45/47.20	c Thread Num        :            3
93.45/47.20	c restarts          :           16
93.45/47.20	c conflicts         :       112987
93.45/47.20	c decisions         :       287301           (     6089 / sec      )
93.45/47.20	c propagations      :     15682813           (   332366 / sec      )
93.45/47.20	c inspects          :    174184301           (  3691489 / sec      )
93.45/47.20	c conflict literals :      7550559           (    27.76 % deleted  )
93.45/47.20	c cpu time          :        47.19           
93.45/47.20	s SATISFIABLE
93.45/47.20	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-1560996-1238760016/watcher-1560996-1238760016 -o /tmp/evaluation-result-1560996-1238760016/solver-1560996-1238760016 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1560996-1238760016.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: 1.01 1.00 1.00 3/81 25939
/proc/meminfo: memFree=1672320/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=2720 CPUtime=0
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 4 0 1148665400 2785280 250 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 680 250 65 163 0 515 0
[pid=25939/tid=25940] ppid=25937 vsize=2720 CPUtime=0
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1148665400 2785280 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=2720 CPUtime=0
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 181 0 0 0 0 0 0 0 21 0 4 0 1148665400 2785280 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134513759 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=2720 CPUtime=0
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 1148665400 2785280 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0541171 s]
/proc/loadavg: 1.01 1.00 1.00 3/81 25939
/proc/meminfo: memFree=1672320/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=3048 CPUtime=0.08
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 722 0 0 0 7 1 0 0 20 0 4 0 1148665400 3121152 567 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 762 567 70 163 0 597 0
[pid=25939/tid=25940] ppid=25937 vsize=3048 CPUtime=0
/proc/25939/task/25940/stat : 25940 (satake) R 25937 25939 25155 0 -1 4194368 30 0 0 0 0 0 0 0 18 0 4 0 1148665400 3121152 567 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=3048 CPUtime=0.03
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 292 0 0 0 3 0 0 0 17 0 4 0 1148665400 3121152 567 1992294400 134512640 135180984 4294956208 18446744073709551615 134528084 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=3048 CPUtime=0.03
/proc/25939/task/25942/stat : 25942 (satake) S 25937 25939 25155 0 -1 4194368 316 0 0 0 3 0 0 0 17 0 4 0 1148665400 3121152 567 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3048

[startup+0.101598 s]
/proc/loadavg: 1.01 1.00 1.00 3/81 25939
/proc/meminfo: memFree=1672320/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=3312 CPUtime=0.16
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 779 0 0 0 12 4 0 0 20 0 4 0 1148665400 3391488 624 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 828 624 70 163 0 663 0
[pid=25939/tid=25940] ppid=25937 vsize=3312 CPUtime=0.01
/proc/25939/task/25940/stat : 25940 (satake) R 25937 25939 25155 0 -1 4194368 33 0 0 0 0 1 0 0 18 0 4 0 1148665400 3391488 624 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=3312 CPUtime=0.06
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 321 0 0 0 6 0 0 0 17 0 4 0 1148665400 3391488 624 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=3312 CPUtime=0.06
/proc/25939/task/25942/stat : 25942 (satake) S 25937 25939 25155 0 -1 4194368 341 0 0 0 5 1 0 0 17 0 4 0 1148665400 3391488 624 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 3312

[startup+0.30162 s]
/proc/loadavg: 1.01 1.00 1.00 3/81 25939
/proc/meminfo: memFree=1672320/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=4732 CPUtime=0.51
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 968 0 0 0 38 13 0 0 20 0 4 0 1148665400 4845568 813 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 1183 813 70 163 0 1018 0
[pid=25939/tid=25940] ppid=25937 vsize=4732 CPUtime=0.07
/proc/25939/task/25940/stat : 25940 (satake) R 25937 25939 25155 0 -1 4194368 52 0 0 0 1 6 0 0 18 0 4 0 1148665400 4845568 813 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=4732 CPUtime=0.23
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 410 0 0 0 20 3 0 0 16 0 4 0 1148665400 4845568 813 1992294400 134512640 135180984 4294956208 18446744073709551615 134519339 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=4732 CPUtime=0.19
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 422 0 0 0 16 3 0 0 17 0 4 0 1148665400 4845568 813 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 4732

[startup+0.701662 s]
/proc/loadavg: 1.01 1.00 1.00 3/81 25939
/proc/meminfo: memFree=1672320/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=5560 CPUtime=1.25
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 1300 0 0 0 96 29 0 0 20 0 4 0 1148665400 5693440 1145 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 1390 1145 70 163 0 1225 0
[pid=25939/tid=25940] ppid=25937 vsize=5560 CPUtime=0.17
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 81 0 0 0 3 14 0 0 16 0 4 0 1148665400 5693440 1145 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=5560 CPUtime=0.54
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 559 0 0 0 47 7 0 0 17 0 4 0 1148665400 5693440 1145 1992294400 134512640 135180984 4294956208 18446744073709551615 134532470 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25939/tid=25942] ppid=25937 vsize=5560 CPUtime=0.52
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 576 0 0 0 45 7 0 0 17 0 4 0 1148665400 5693440 1145 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 5560

[startup+1.5019 s]
/proc/loadavg: 1.01 1.00 1.00 3/85 25943
/proc/meminfo: memFree=1666912/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=8052 CPUtime=2.76
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 1889 0 0 0 221 55 0 0 20 0 4 0 1148665400 8245248 1734 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 2013 1734 70 163 0 1848 0
[pid=25939/tid=25940] ppid=25937 vsize=8052 CPUtime=0.32
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 133 0 0 0 6 26 0 0 17 0 4 0 1148665400 8245248 1734 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=8052 CPUtime=1.23
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 841 0 0 0 108 15 0 0 17 0 4 0 1148665400 8245248 1734 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=8052 CPUtime=1.18
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 831 0 0 0 105 13 0 0 16 0 4 0 1148665400 8245248 1734 1992294400 134512640 135180984 4294956208 18446744073709551615 134520670 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 8052

[startup+3.10208 s]
/proc/loadavg: 1.17 1.04 1.01 3/85 25943
/proc/meminfo: memFree=1664096/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=9736 CPUtime=5.95
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 2251 0 0 0 525 70 0 0 20 0 4 0 1148665400 9969664 2096 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 2434 2096 70 163 0 2269 0
[pid=25939/tid=25940] ppid=25937 vsize=9736 CPUtime=0.42
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 142 0 0 0 9 33 0 0 15 0 4 0 1148665400 9969664 2096 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=9736 CPUtime=2.78
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 1012 0 0 0 259 19 0 0 17 0 4 0 1148665400 9969664 2096 1992294400 134512640 135180984 4294956208 18446744073709551615 134528562 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=9736 CPUtime=2.73
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 1013 0 0 0 256 17 0 0 17 0 4 0 1148665400 9969664 2096 1992294400 134512640 135180984 4294956208 18446744073709551615 134522692 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 9736

[startup+6.30144 s]
/proc/loadavg: 1.17 1.04 1.01 3/85 25943
/proc/meminfo: memFree=1661672/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=12344 CPUtime=12.29
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 2975 0 0 0 1125 104 0 0 20 0 4 0 1148665400 12640256 2820 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 3086 2820 70 163 0 2921 0
[pid=25939/tid=25940] ppid=25937 vsize=12344 CPUtime=0.6
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 176 0 0 0 13 47 0 0 15 0 4 0 1148665400 12640256 2820 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=12344 CPUtime=5.85
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 1343 0 0 0 557 28 0 0 18 0 4 0 1148665400 12640256 2820 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=12344 CPUtime=5.8
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 1372 0 0 0 553 27 0 0 17 0 4 0 1148665400 12640256 2820 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 12344

[startup+12.7011 s]
/proc/loadavg: 1.29 1.07 1.02 3/85 25943
/proc/meminfo: memFree=1657704/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=15152 CPUtime=25.01
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 3742 0 0 0 2333 168 0 0 20 0 4 0 1148665400 15515648 3587 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 3788 3587 70 163 0 3623 0
[pid=25939/tid=25940] ppid=25937 vsize=15152 CPUtime=0.97
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 222 0 0 0 21 76 0 0 16 0 4 0 1148665400 15515648 3587 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=15152 CPUtime=12.01
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 1723 0 0 0 1154 47 0 0 17 0 4 0 1148665400 15515648 3587 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25939/tid=25942] ppid=25937 vsize=15152 CPUtime=12.02
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 1713 0 0 0 1158 44 0 0 17 0 4 0 1148665400 15515648 3587 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 15152

[startup+25.5016 s]
/proc/loadavg: 1.48 1.12 1.04 3/85 25943
/proc/meminfo: memFree=1655464/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=17864 CPUtime=50.46
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4369 0 0 0 4769 277 0 0 20 0 4 0 1148665400 18292736 4214 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 4466 4214 70 163 0 4301 0
[pid=25939/tid=25940] ppid=25937 vsize=17864 CPUtime=1.61
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 288 0 0 0 35 126 0 0 16 0 4 0 1148665400 18292736 4214 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25939/tid=25941] ppid=25937 vsize=17864 CPUtime=24.48
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2073 0 0 0 2373 75 0 0 17 0 4 0 1148665400 18292736 4214 1992294400 134512640 135180984 4294956208 18446744073709551615 134528754 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25939/tid=25942] ppid=25937 vsize=17864 CPUtime=24.33
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 1924 0 0 0 2359 74 0 0 19 0 4 0 1148665400 18292736 4214 1992294400 134512640 135180984 4294956208 18446744073709551615 134532417 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 17864

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

[startup+38.302 s]
/proc/loadavg: 1.59 1.16 1.05 3/85 25943
/proc/meminfo: memFree=1654056/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=19952 CPUtime=75.93
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4673 0 0 0 7204 389 0 0 20 0 4 0 1148665400 20430848 4518 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 4988 4518 70 163 0 4823 0
[pid=25939/tid=25940] ppid=25937 vsize=19952 CPUtime=2.29
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 318 0 0 0 51 178 0 0 15 0 4 0 1148665400 20430848 4518 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=19952 CPUtime=36.87
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2248 0 0 0 3581 106 0 0 16 0 4 0 1148665400 20430848 4518 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=19952 CPUtime=36.74
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2023 0 0 0 3570 104 0 0 18 0 4 0 1148665400 20430848 4518 1992294400 134512640 135180984 4294956208 18446744073709551615 134528722 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.93
Current children cumulated vsize (KiB) 19952

[startup+41.5014 s]
/proc/loadavg: 1.59 1.16 1.05 3/85 25943
/proc/meminfo: memFree=1653736/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=20748 CPUtime=82.31
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4884 0 0 0 7822 409 0 0 20 0 4 0 1148665400 21245952 4729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 5187 4729 70 163 0 5022 0
[pid=25939/tid=25940] ppid=25937 vsize=20748 CPUtime=2.4
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 338 0 0 0 54 186 0 0 15 0 4 0 1148665400 21245952 4729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=20748 CPUtime=40
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2422 0 0 0 3889 111 0 0 18 0 4 0 1148665400 21245952 4729 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=20748 CPUtime=39.88
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2040 0 0 0 3878 110 0 0 18 0 4 0 1148665400 21245952 4729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.31
Current children cumulated vsize (KiB) 20748

[startup+44.7027 s]
/proc/loadavg: 1.62 1.17 1.06 3/85 25943
/proc/meminfo: memFree=1653032/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=20968 CPUtime=88.68
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4937 0 0 0 8437 431 0 0 20 0 4 0 1148665400 21471232 4782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 5242 4782 70 163 0 5077 0
[pid=25939/tid=25940] ppid=25937 vsize=20968 CPUtime=2.53
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 341 0 0 0 57 196 0 0 15 0 4 0 1148665400 21471232 4782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=20968 CPUtime=43.1
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2468 0 0 0 4193 117 0 0 18 0 4 0 1148665400 21471232 4782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=20968 CPUtime=43.02
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2044 0 0 0 4186 116 0 0 17 0 4 0 1148665400 21471232 4782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.68
Current children cumulated vsize (KiB) 20968

[startup+46.3029 s]
/proc/loadavg: 1.62 1.17 1.06 4/87 25945
/proc/meminfo: memFree=1652248/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=21104 CPUtime=91.85
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4985 0 0 0 8746 439 0 0 20 0 4 0 1148665400 21610496 4830 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 5276 4830 70 163 0 5111 0
[pid=25939/tid=25940] ppid=25937 vsize=21104 CPUtime=2.57
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 343 0 0 0 58 199 0 0 15 0 4 0 1148665400 21610496 4830 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=21104 CPUtime=44.66
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2479 0 0 0 4347 119 0 0 18 0 4 0 1148665400 21610496 4830 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=21104 CPUtime=44.59
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2079 0 0 0 4340 119 0 0 18 0 4 0 1148665400 21610496 4830 1992294400 134512640 135180984 4294956208 18446744073709551615 134525312 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.85
Current children cumulated vsize (KiB) 21104

[startup+46.7019 s]
/proc/loadavg: 1.62 1.17 1.06 4/87 25945
/proc/meminfo: memFree=1652248/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=21104 CPUtime=92.65
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 4991 0 0 0 8825 440 0 0 20 0 4 0 1148665400 21610496 4836 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 5276 4836 70 163 0 5111 0
[pid=25939/tid=25940] ppid=25937 vsize=21104 CPUtime=2.58
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 343 0 0 0 58 200 0 0 15 0 4 0 1148665400 21610496 4836 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=21104 CPUtime=45.07
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2485 0 0 0 4387 120 0 0 19 0 4 0 1148665400 21610496 4836 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=21104 CPUtime=44.98
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2079 0 0 0 4379 119 0 0 18 0 4 0 1148665400 21610496 4836 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (KiB) 21104

[startup+47.102 s]
/proc/loadavg: 1.62 1.17 1.06 4/87 25945
/proc/meminfo: memFree=1652248/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=21104 CPUtime=93.45
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 5015 0 0 0 8903 442 0 0 20 0 4 0 1148665400 21610496 4860 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25939/statm: 5276 4860 70 163 0 5111 0
[pid=25939/tid=25940] ppid=25937 vsize=21104 CPUtime=2.6
/proc/25939/task/25940/stat : 25940 (satake) S 25937 25939 25155 0 -1 4194368 346 0 0 0 59 201 0 0 15 0 4 0 1148665400 21610496 4860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25939/tid=25941] ppid=25937 vsize=21104 CPUtime=45.45
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2503 0 0 0 4425 120 0 0 19 0 4 0 1148665400 21610496 4860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=21104 CPUtime=45.38
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2082 0 0 0 4418 120 0 0 19 0 4 0 1148665400 21610496 4860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528417 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.45
Current children cumulated vsize (KiB) 21104

[startup+47.202 s]
/proc/loadavg: 1.81 1.22 1.07 4/85 25949
/proc/meminfo: memFree=1652448/2055920 swapFree=4172784/4192956
[pid=25939] ppid=25937 vsize=21104 CPUtime=93.65
/proc/25939/stat : 25939 (satake) S 25937 25939 25155 0 -1 4194304 5026 0 0 0 8922 443 0 0 16 0 3 0 1148665400 21610496 4871 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25939/statm: 5276 4871 79 163 0 5111 0
[pid=25939/tid=25941] ppid=25937 vsize=21104 CPUtime=45.55
/proc/25939/task/25941/stat : 25941 (satake) R 25937 25939 25155 0 -1 4194368 2503 0 0 0 4435 120 0 0 19 0 3 0 1148665400 21610496 4871 1992294400 134512640 135180984 4294956208 18446744073709551615 134528462 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25939/tid=25942] ppid=25937 vsize=21104 CPUtime=45.46
/proc/25939/task/25942/stat : 25942 (satake) R 25937 25939 25155 0 -1 4194368 2093 0 0 0 4426 120 0 0 17 0 3 0 1148665400 21610496 4871 1992294400 134512640 135180984 4294956208 18446744073709551615 134672228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.65
Current children cumulated vsize (KiB) 21104

Child status: 3
Real time (s): 47.2269
CPU time (s): 93.6888
CPU user time (s): 89.2464
CPU system time (s): 4.44232
CPU usage (%): 198.38
Max. virtual memory (cumulated for all children) (KiB): 21104


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2464
system time used= 4.44232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5026
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= 355215
involuntary context switches= 343745

runsolver used 0.058991 second user time and 0.169974 second system time

The end

Launcher Data 

Begin job on node87 at 2009-04-03 14:00:16
IDJOB=1560996
IDBENCH=70906
IDSOLVER=553
FILE ID=node87/1560996-1238760016
PBS_JOBID= 9085454
Free space on /tmp= 66436 MiB

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

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

MD5SUM BENCH= cc3488b2f0eb99d818c5779787a8ab84
RANDOM SEED=1629709599

node87.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.236
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.236
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:       1672800 kB
Buffers:         59112 kB
Cached:         243860 kB
SwapCached:       9352 kB
Active:          94604 kB
Inactive:       219256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1672800 kB
SwapTotal:     4192956 kB
SwapFree:      4172784 kB
Dirty:            1036 kB
Writeback:           0 kB
Mapped:          16480 kB
Slab:            53476 kB
Committed_AS:  2867584 kB
PageTables:       2680 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= 66436 MiB
End job on node87 at 2009-04-03 14:01:03