0.00/0.00 c Trying configuration 1
700.03/700.44 HOME/hydrasat-multi.sh: line 48: 2124 CPU time limit exceeded (core dumped) $SOLVER1 $BENCHNAME $OPTIONS1
700.03/700.44 c Trying configuration 2
834.45/834.90
834.45/834.90 c decisions : 506339
834.45/834.90 c conflicts : 252208
834.45/834.90 s SATISFIABLE
834.45/834.90 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 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561641-1238767738/watcher-1561641-1238767738 -o /tmp/evaluation-result-1561641-1238767738/solver-1561641-1238767738 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1561641-1238767738.cnf 1800 299202025
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: 0.97 0.98 1.04 3/64 2123
/proc/meminfo: memFree=1774704/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) R 2121 2123 1547 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 238 1992294400 4194304 4889804 548682068720 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/2123/statm: 1340 238 196 169 0 51 0
[pid=2124] ppid=2123 vsize=1588 CPUtime=0
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 753666210 1626112 157 1992294400 134512640 135813592 4294956160 18446744073709551615 135207862 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 397 158 116 317 0 77 0
[startup+0.0222069 s]
/proc/loadavg: 0.97 0.98 1.04 3/64 2123
/proc/meminfo: memFree=1774704/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=2512 CPUtime=0.01
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 428 0 0 0 1 0 0 0 18 0 1 0 753666210 2572288 410 1992294400 134512640 135813592 4294956160 18446744073709551615 135207862 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 628 410 116 317 0 308 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7872
[startup+0.101217 s]
/proc/loadavg: 0.97 0.98 1.04 3/64 2123
/proc/meminfo: memFree=1774704/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=3784 CPUtime=0.09
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 737 0 0 0 9 0 0 0 19 0 1 0 753666210 3874816 719 1992294400 134512640 135813592 4294956160 18446744073709551615 134521420 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 946 719 126 317 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9144
[startup+0.301246 s]
/proc/loadavg: 0.97 0.98 1.04 3/64 2123
/proc/meminfo: memFree=1774704/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=4972 CPUtime=0.29
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1036 0 0 0 29 0 0 0 22 0 1 0 753666210 5091328 1017 1992294400 134512640 135813592 4294956160 18446744073709551615 135205448 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 1243 1017 149 317 0 923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10332
[startup+0.701302 s]
/proc/loadavg: 0.97 0.98 1.04 3/64 2123
/proc/meminfo: memFree=1774704/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=5236 CPUtime=0.69
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1126 0 0 0 69 0 0 0 25 0 1 0 753666210 5361664 1107 1992294400 134512640 135813592 4294956160 18446744073709551615 134597678 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 1309 1107 149 317 0 989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10596
[startup+1.50142 s]
/proc/loadavg: 0.97 0.98 1.04 2/66 2125
/proc/meminfo: memFree=1770400/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=5608 CPUtime=1.49
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1219 0 0 0 149 0 0 0 25 0 1 0 753666210 5742592 1200 1992294400 134512640 135813592 4294956160 18446744073709551615 134665006 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 1402 1200 149 317 0 1082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10968
[startup+3.10164 s]
/proc/loadavg: 0.97 0.98 1.04 2/66 2125
/proc/meminfo: memFree=1769888/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=6244 CPUtime=3.09
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1354 0 0 0 309 0 0 0 25 0 1 0 753666210 6393856 1335 1992294400 134512640 135813592 4294956160 18446744073709551615 134661542 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 1561 1335 149 317 0 1241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11604
[startup+6.30209 s]
/proc/loadavg: 0.97 0.98 1.04 2/66 2125
/proc/meminfo: memFree=1768672/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=7132 CPUtime=6.28
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1597 0 0 0 628 0 0 0 25 0 1 0 753666210 7303168 1578 1992294400 134512640 135813592 4294956160 18446744073709551615 134662664 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 1783 1578 149 317 0 1463 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12492
[startup+12.702 s]
/proc/loadavg: 0.98 0.98 1.04 2/66 2125
/proc/meminfo: memFree=1767200/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=8412 CPUtime=12.69
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 1903 0 0 0 1268 1 0 0 25 0 1 0 753666210 8613888 1884 1992294400 134512640 135813592 4294956160 18446744073709551615 135204112 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 2103 1884 149 317 0 1783 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13772
[startup+25.5018 s]
/proc/loadavg: 0.98 0.98 1.03 2/66 2125
/proc/meminfo: memFree=1765472/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=10360 CPUtime=25.48
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 2377 0 0 0 2547 1 0 0 25 0 1 0 753666210 10608640 2358 1992294400 134512640 135813592 4294956160 18446744073709551615 135206112 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 2590 2358 149 317 0 2270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15720
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 2125
/proc/meminfo: memFree=1762400/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=13844 CPUtime=51.07
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 3146 0 0 0 5105 2 0 0 25 0 1 0 753666210 14176256 3127 1992294400 134512640 135813592 4294956160 18446744073709551615 134665397 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 3461 3127 149 317 0 3141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19204
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 2125
/proc/meminfo: memFree=1755680/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=21584 CPUtime=102.25
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 4940 0 0 0 10222 3 0 0 25 0 1 0 753666210 22102016 4766 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 5396 4766 149 317 0 5076 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26944
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 2125
/proc/meminfo: memFree=1751520/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=26072 CPUtime=162.21
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 5990 0 0 0 16217 4 0 0 25 0 1 0 753666210 26697728 5816 1992294400 134512640 135813592 4294956160 18446744073709551615 134662658 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 6518 5816 149 317 0 6198 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 31432
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 2125
/proc/meminfo: memFree=1747552/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=30804 CPUtime=222.19
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 7111 0 0 0 22214 5 0 0 25 0 1 0 753666210 31543296 6791 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 7701 6791 149 317 0 7381 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 36164
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 2125
/proc/meminfo: memFree=1744160/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=34724 CPUtime=282.16
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 8032 0 0 0 28210 6 0 0 25 0 1 0 753666210 35557376 7664 1992294400 134512640 135813592 4294956160 18446744073709551615 134665352 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 8681 7664 149 317 0 8361 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 40084
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1739872/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=39764 CPUtime=342.12
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 9308 0 0 0 34205 7 0 0 25 0 1 0 753666210 40718336 8748 1992294400 134512640 135813592 4294956160 18446744073709551615 134665944 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 9941 8748 149 317 0 9621 0
################
# More data... #
################
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1736544/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=43072 CPUtime=402.09
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 10178 0 0 0 40202 7 0 0 25 0 1 0 753666210 44105728 9570 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 10768 9570 149 317 0 10448 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 48432
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1733984/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=46076 CPUtime=462.07
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 10938 0 0 0 46199 8 0 0 25 0 1 0 753666210 47181824 10209 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 11519 10209 149 317 0 11199 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 51436
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1730656/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=50224 CPUtime=522.04
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 12093 0 0 0 52195 9 0 0 25 0 1 0 753666210 51429376 11044 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 12556 11044 149 317 0 12236 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 55584
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1729120/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=51612 CPUtime=582.01
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 12539 0 0 0 58192 9 0 0 25 0 1 0 753666210 52850688 11414 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 12903 11414 149 317 0 12583 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 56972
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2125
/proc/meminfo: memFree=1725536/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5360 CPUtime=0
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 753666210 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2123/statm: 1340 239 197 169 0 51 0
[pid=2124] ppid=2123 vsize=56124 CPUtime=641.99
/proc/2124/stat : 2124 (hydrasat_cache4) R 2123 2123 1547 0 -1 4194304 14015 0 0 0 64189 10 0 0 25 0 1 0 753666210 57470976 12299 1992294400 134512640 135813592 4294956160 18446744073709551615 134665069 0 0 4096 1 0 0 0 17 0 0 0
/proc/2124/statm: 14031 12299 149 317 0 13711 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 61484
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 2126
/proc/meminfo: memFree=1719584/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=4368 CPUtime=1.84
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 856 0 0 0 184 0 0 0 25 0 1 0 753736255 4472832 838 1992294400 134512640 135995732 4294956016 18446744073709551615 134682235 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 1092 838 171 362 0 727 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 9732
[startup+762.305 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1715040/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=9676 CPUtime=61.82
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 2178 0 0 0 6179 3 0 0 25 0 1 0 753736255 9908224 2160 1992294400 134512640 135995732 4294956016 18446744073709551615 134842912 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 2419 2160 171 362 0 2054 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 15040
[startup+822.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1711776/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=13464 CPUtime=121.79
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3086 0 0 0 12175 4 0 0 25 0 1 0 753736255 13787136 3035 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3366 3035 171 362 0 3001 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 18828
Solver just ended. Dumping a history of the last processes samples
[startup+825.501 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1711328/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=13860 CPUtime=124.97
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3185 0 0 0 12493 4 0 0 25 0 1 0 753736255 14192640 3134 1992294400 134512640 135995732 4294956016 18446744073709551615 134808202 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3465 3134 171 362 0 3100 0
Current children cumulated CPU time (s) 825.05
Current children cumulated vsize (KiB) 19224
[startup+831.901 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1711008/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=14124 CPUtime=131.37
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3262 0 0 0 13133 4 0 0 25 0 1 0 753736255 14462976 3211 1992294400 134512640 135995732 4294956016 18446744073709551615 135385607 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3531 3211 171 362 0 3166 0
Current children cumulated CPU time (s) 831.45
Current children cumulated vsize (KiB) 19488
[startup+833.501 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1711008/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=14124 CPUtime=132.97
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3277 0 0 0 13293 4 0 0 25 0 1 0 753736255 14462976 3226 1992294400 134512640 135995732 4294956016 18446744073709551615 134807872 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3531 3226 171 362 0 3166 0
Current children cumulated CPU time (s) 833.05
Current children cumulated vsize (KiB) 19488
[startup+834.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1710944/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=14124 CPUtime=133.77
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3279 0 0 0 13373 4 0 0 25 0 1 0 753736255 14462976 3228 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3531 3228 171 362 0 3166 0
Current children cumulated CPU time (s) 833.85
Current children cumulated vsize (KiB) 19488
[startup+834.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1710944/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=14272 CPUtime=134.17
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3289 0 0 0 13413 4 0 0 25 0 1 0 753736255 14614528 3238 1992294400 134512640 135995732 4294956016 18446744073709551615 134807763 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3568 3238 171 362 0 3203 0
Current children cumulated CPU time (s) 834.25
Current children cumulated vsize (KiB) 19636
[startup+834.907 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 2126
/proc/meminfo: memFree=1710944/2055920 swapFree=4179868/4192956
[pid=2123] ppid=2121 vsize=5364 CPUtime=700.08
/proc/2123/stat : 2123 (hydrasat-multi.) S 2121 2123 1547 0 -1 4194304 321 16168 0 0 0 0 69977 31 16 0 1 0 753666210 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2123/statm: 1341 245 202 169 0 52 0
[pid=2126] ppid=2123 vsize=14272 CPUtime=134.37
/proc/2126/stat : 2126 (hydrasat_cachew) R 2123 2123 1547 0 -1 4194304 3289 0 0 0 13433 4 0 0 25 0 1 0 753736255 14614528 3238 1992294400 134512640 135995732 4294956016 18446744073709551615 134807701 0 0 4096 1 0 0 0 17 0 0 0
/proc/2126/statm: 3568 3238 171 362 0 3203 0
Current children cumulated CPU time (s) 834.45
Current children cumulated vsize (KiB) 19636
Child status: 10
Real time (s): 834.913
CPU time (s): 834.496
CPU user time (s): 834.125
CPU system time (s): 0.370943
CPU usage (%): 99.9501
Max. virtual memory (cumulated for all children) (KiB): 63844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.125
system time used= 0.370943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19794
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= 8
involuntary context switches= 2519
runsolver used 0.697893 second user time and 2.34664 second system time
The end
Begin job on node49 at 2009-04-03 16:08:58
IDJOB=1561641
IDBENCH=70919
IDSOLVER=518
FILE ID=node49/1561641-1238767738
PBS_JOBID= 9085498
Free space on /tmp= 66548 MiB
SOLVER NAME= HydraSAT-Multi 2009-03-22-Multi
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_7_4_8_exp.cnf
COMMAND LINE= DIR/hydrasat-multi.sh DIR BENCHNAME MEMLIMIT RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561641-1238767738/watcher-1561641-1238767738 -o /tmp/evaluation-result-1561641-1238767738/solver-1561641-1238767738 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1561641-1238767738.cnf 1800 299202025
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e0caa78f33b332fe4d9add2bb1044111
RANDOM SEED=299202025
node49.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.214
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 : 5931.00
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.214
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1775184 kB
Buffers: 66332 kB
Cached: 113628 kB
SwapCached: 6360 kB
Active: 31836 kB
Inactive: 157032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1775184 kB
SwapTotal: 4192956 kB
SwapFree: 4179868 kB
Dirty: 4452 kB
Writeback: 0 kB
Mapped: 14676 kB
Slab: 77728 kB
Committed_AS: 2205916 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node49 at 2009-04-03 16:22:53