Trace number 3265604

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06SAT 13.204 12.4697

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
MD5SUMeda2d1e7d2975da4e019beddc323767b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.366944
Satisfiable
(Un)Satisfiability was proved
Number of variables2401
Number of clauses15897
Sum of the clauses size111804
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2385
Number of clauses of size 32205
Number of clauses of size 4294
Number of clauses of size 5441
Number of clauses of size over 512537

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3265604-1303580877.cnf
0.00/0.09	c reading problem ... 
0.29/0.30	c ... done. Wall clock time 0.208s.
0.29/0.30	c #vars     2401
0.29/0.30	c #constraints  15751
0.29/0.30	c constraints type 
0.29/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14821
0.29/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 888
0.87/0.67	c cleaning 2490 clauses out of 5000 with flag 5000/5000
1.39/0.91	c cleaning 4241 clauses out of 8510 with flag 11000/11000
1.78/1.18	c cleaning 5631 clauses out of 11269 with flag 18000/18000
2.18/1.53	c cleaning 6784 clauses out of 13638 with flag 26000/26000
2.60/1.96	c cleaning 7910 clauses out of 15855 with flag 35001/35001
3.11/2.49	c cleaning 8964 clauses out of 17944 with flag 45000/45000
3.71/3.09	c cleaning 9979 clauses out of 19981 with flag 56001/56001
4.52/3.80	c cleaning 10976 clauses out of 22002 with flag 68001/68001
5.32/4.66	c cleaning 11997 clauses out of 24025 with flag 81000/81000
6.32/5.64	c cleaning 13003 clauses out of 26028 with flag 95000/95000
7.52/6.81	c cleaning 13982 clauses out of 28025 with flag 110000/110000
8.92/8.22	c cleaning 15005 clauses out of 30043 with flag 126000/126000
10.42/9.74	c cleaning 15509 clauses out of 31038 with flag 142000/142000
12.13/11.45	c cleaning 15748 clauses out of 31530 with flag 158001/158001
13.13/12.43	c starts		: 495
13.13/12.43	c conflicts		: 167348
13.13/12.43	c decisions		: 443976
13.13/12.43	c propagations		: 4921839
13.13/12.43	c inspects		: 139226118
13.13/12.43	c shortcuts		: 0
13.13/12.43	c learnt literals	: 0
13.13/12.43	c learnt binary clauses	: 333
13.13/12.43	c learnt ternary clauses	: 1182
13.13/12.43	c learnt constraints	: 167348
13.13/12.43	c ignored constraints	: 0
13.13/12.43	c root simplifications	: 495
13.13/12.43	c removed literals (reason simplification)	: 816558
13.13/12.43	c reason swapping (by a shorter reason)	: 0
13.13/12.43	c Calls to reduceDB	: 14
13.13/12.43	c speed (assignments/second)	: 405790.9967845659
13.13/12.43	c non guided choices	62895
13.13/12.44	c learnt constraints type 
13.13/12.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 333
13.13/12.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24796
13.13/12.44	c constraints type 
13.13/12.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14821
13.13/12.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 888
13.13/12.44	s SATISFIABLE
13.13/12.45	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 -1678 -1679 -1680 -1681 -1682 1683 -1684 1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 1694 -1695 -1696 1697 -1698 -1699 1700 1701 -1702 -1703 -1704 -1705 1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 1764 -1765 1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 1776 -1777 1778 -1779 1780 -1781 -1782 1783 -1784 -1785 -1786 1787 1788 -1789 -1790 1791 1792 -1793 -1794 -1795 -1796 1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 1810 -1811 1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 1844 1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 1858 -1859 -1860 1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 1874 1875 -1876 -1877 -1878 -1879 1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 1889 -1890 -1891 -1892 -1893 -1894 1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 1904 -1905 -1906 1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 1939 1940 1941 -1942 -1943 -1944 -1945 1946 -1947 -1948 -1949 1950 -1951 -1952 1953 -1954 1955 -1956 1957 -1958 -1959 -1960 1961 1962 -1963 -1964 -1965 -1966 1967 1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 2005 -2006 -2007 2008 -2009 2010 -2011 -2012 -2013 -2014 -2015 -2016 2017 2018 -2019 -2020 -2021 -2022 -2023 2024 -2025 -2026 -2027 2028 -2029 2030 2031 2032 -2033 2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 2046 -2047 -2048 -2049 2050 -2051 -2052 -2053 -2054 -2055 -2056 2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 2072 -2073 -2074 -2075 -2076 -2077 -2078 2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 2088 -2089 -2090 2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 2163 -2164 2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 2180 -2181 -2182 -2183 -2184 -2185 2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 2196 -2197 -2198 2199 -2200 2201 2202 -2203 -2204 -2205 -2206 -2207 2208 -2209 -2210 -2211 -2212 2213 2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 2226 -2227 -2228 2229 2230 -2231 2232 2233 -2234 -2235 -2236 -2237 -2238 -2239 2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 2276 -2277 2278 -2279 2280 -2281 -2282 -2283 -2284 -2285 2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 2309 -2310 -2311 -2312 2313 -2314 -2315 -2316 -2317 -2318 -2319 2320 2321 -2322 2323 -2324 2325 -2326 -2327 -2328 2329 2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 2363 -2364 -2365 -2366 -2367 -2368 -2369 2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 2379 -2380 -2381 -2382 -2383 -2384 2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 2400 -2401 0
13.13/12.45	c Total wall clock time (in seconds) : 12.337

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3265604-1303580877/watcher-3265604-1303580877 -o /tmp/evaluation-result-3265604-1303580877/solver-3265604-1303580877 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265604-1303580877.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.97 4.01 3.89 5/242 1731
/proc/meminfo: memFree=14413764/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=11800 CPUtime=0 cores=5,7
/proc/1731/stat : 1731 (runsolver) R 1729 1731 1299 0 -1 4202560 46 0 0 0 0 0 0 0 24 0 1 0 450503317 12083200 54 33554432000 4194304 5434984 140734463874848 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/1731/statm: 2950 54 34 303 0 2644 0

[startup+0.190892 s]
/proc/loadavg: 3.97 4.01 3.89 5/242 1731
/proc/meminfo: memFree=14413764/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7572548 CPUtime=0.17 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 10978 0 1 0 16 1 0 0 24 0 18 0 450503317 7754289152 10673 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1893137 10673 2154 9 0 1883875 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7572548

[startup+0.200889 s]
/proc/loadavg: 3.97 4.01 3.89 5/242 1731
/proc/meminfo: memFree=14413764/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7638396 CPUtime=0.18 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 11153 0 1 0 17 1 0 0 24 0 18 0 450503317 7821717504 10848 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1909599 10848 2157 9 0 1900337 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7638396

[startup+0.300871 s]
/proc/loadavg: 3.97 4.01 3.89 5/242 1731
/proc/meminfo: memFree=14413764/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7638536 CPUtime=0.29 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 11786 0 1 0 28 1 0 0 24 0 18 0 450503317 7821860864 11390 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1909634 11390 2188 9 0 1900372 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7638536

[startup+0.700857 s]
/proc/loadavg: 3.97 4.01 3.89 5/242 1731
/proc/meminfo: memFree=14413764/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7640812 CPUtime=1 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 15630 0 1 0 98 2 0 0 24 0 19 0 450503317 7824191488 13739 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1910203 13739 2251 9 0 1900941 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 7640812

[startup+1.50068 s]
/proc/loadavg: 3.97 4.01 3.89 5/262 1751
/proc/meminfo: memFree=14310504/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7659896 CPUtime=2.18 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 22316 0 1 0 216 2 0 0 24 0 19 0 450503317 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1914974 18677 2254 9 0 1905712 0
[pid=1731/tid=1733] ppid=1729 vsize=7659896 CPUtime=1.33 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) R 1729 1731 1299 0 -1 4202560 9479 0 1 0 132 1 0 0 25 0 19 0 450503318 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 46912505594590 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 488 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 308 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7659896 CPUtime=0.04 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 934 0 0 0 4 0 0 0 16 0 19 0 450503320 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7659896 CPUtime=0.56 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 56 0 0 0 24 0 19 0 450503323 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7659896 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7843733504 18677 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 7659896

[startup+3.10139 s]
/proc/loadavg: 3.97 4.01 3.89 5/262 1751
/proc/meminfo: memFree=14307156/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7659896 CPUtime=3.81 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 22588 0 1 0 378 3 0 0 24 0 19 0 450503317 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1914974 18945 2254 9 0 1905712 0
[pid=1731/tid=1733] ppid=1729 vsize=7659896 CPUtime=2.87 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) S 1729 1731 1299 0 -1 4202560 9483 0 1 0 286 1 0 0 25 0 19 0 450503318 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 509 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 308 0 0 0 0 0 0 0 16 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) R 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7659896 CPUtime=0.08 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) R 1729 1731 1299 0 -1 4202560 1126 0 0 0 8 0 0 0 16 0 19 0 450503320 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 47592497768645 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7659896 CPUtime=0.57 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 57 0 0 0 19 0 19 0 450503323 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7659896 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7659896 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7843733504 18945 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 7659896

[startup+6.30077 s]
/proc/loadavg: 4.29 4.07 3.91 5/262 1751
/proc/meminfo: memFree=14202928/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7651332 CPUtime=7.02 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 23004 0 1 0 699 3 0 0 24 0 19 0 450503317 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1912833 17666 2254 9 0 1903571 0
[pid=1731/tid=1733] ppid=1729 vsize=7651332 CPUtime=5.99 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) R 1729 1731 1299 0 -1 4202560 9487 0 1 0 598 1 0 0 25 0 19 0 450503318 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 46912505704023 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 509 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7651332 CPUtime=0.16 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 1313 0 0 0 16 0 0 0 16 0 19 0 450503320 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7651332 CPUtime=0.58 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 58 0 0 0 18 0 19 0 450503323 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7834963968 17666 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 7651332

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

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

/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 510 0 0 0 1 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7651332 CPUtime=0.2 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 1400 0 0 0 20 0 0 0 15 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7651332 CPUtime=0.58 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 58 0 0 0 18 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.32
Current children cumulated vsize (KiB) 7651332

[startup+11.2008 s]
/proc/loadavg: 4.67 4.16 3.94 5/262 1751
/proc/meminfo: memFree=13980124/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7651332 CPUtime=11.93 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 23099 0 1 0 1190 3 0 0 24 0 19 0 450503317 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1912833 17758 2254 9 0 1903571 0
[pid=1731/tid=1733] ppid=1729 vsize=7651332 CPUtime=10.82 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) R 1729 1731 1299 0 -1 4202560 9490 0 1 0 1081 1 0 0 25 0 19 0 450503318 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 46912505621447 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7651332 CPUtime=0.01 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 510 0 0 0 1 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 309 0 0 0 0 0 0 0 16 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 1400 0 0 0 22 0 0 0 15 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7651332 CPUtime=0.58 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 58 0 0 0 18 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7834963968 17758 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 7651332

[startup+12.0007 s]
/proc/loadavg: 4.67 4.16 3.94 5/262 1751
/proc/meminfo: memFree=13980124/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7651332 CPUtime=12.73 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 23121 0 1 0 1270 3 0 0 24 0 19 0 450503317 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1912833 17779 2254 9 0 1903571 0
[pid=1731/tid=1733] ppid=1729 vsize=7651332 CPUtime=11.6 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) R 1729 1731 1299 0 -1 4202560 9491 0 1 0 1159 1 0 0 25 0 19 0 450503318 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 46912505608668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7651332 CPUtime=0.01 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 510 0 0 0 1 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7651332 CPUtime=0.23 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 1421 0 0 0 23 0 0 0 16 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7651332 CPUtime=0.58 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 58 0 0 0 18 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 7651332

[startup+12.4006 s]
/proc/loadavg: 4.67 4.16 3.94 5/262 1751
/proc/meminfo: memFree=13979628/32951124 swapFree=67111528/67111528
[pid=1731] ppid=1729 vsize=7651332 CPUtime=13.13 cores=5,7
/proc/1731/stat : 1731 (java) S 1729 1731 1299 0 -1 4202496 23121 0 1 0 1310 3 0 0 24 0 19 0 450503317 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1731/statm: 1912833 17779 2254 9 0 1903571 0
[pid=1731/tid=1733] ppid=1729 vsize=7651332 CPUtime=12 cores=5,7
/proc/1731/task/1733/stat : 1733 (java) R 1729 1731 1299 0 -1 4202560 9491 0 1 0 1199 1 0 0 25 0 19 0 450503318 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 46912505608668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1731/tid=1734] ppid=1729 vsize=7651332 CPUtime=0.01 cores=5,7
/proc/1731/task/1734/stat : 1734 (java) S 1729 1731 1299 0 -1 4202560 510 0 0 0 1 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1735] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1735/stat : 1735 (java) S 1729 1731 1299 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1736] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1736/stat : 1736 (java) S 1729 1731 1299 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1737] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1737/stat : 1737 (java) S 1729 1731 1299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1738] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1738/stat : 1738 (java) S 1729 1731 1299 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1739] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1739/stat : 1739 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1740] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1740/stat : 1740 (java) S 1729 1731 1299 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1741] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1741/stat : 1741 (java) S 1729 1731 1299 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 450503319 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1742] ppid=1729 vsize=7651332 CPUtime=0.23 cores=5,7
/proc/1731/task/1742/stat : 1742 (java) S 1729 1731 1299 0 -1 4202560 1421 0 0 0 23 0 0 0 16 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 0 0 16800975 18446604457846428992 0 0 -1 5 0 0 0
[pid=1731/tid=1743] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1743/stat : 1743 (java) S 1729 1731 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1744] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1744/stat : 1744 (java) S 1729 1731 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450503320 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1745] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1745/stat : 1745 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738228657 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1746] ppid=1729 vsize=7651332 CPUtime=0.58 cores=5,7
/proc/1731/task/1746/stat : 1746 (java) S 1729 1731 1299 0 -1 4202560 8498 0 0 0 58 0 0 0 18 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1747] ppid=1729 vsize=7651332 CPUtime=0.22 cores=5,7
/proc/1731/task/1747/stat : 1747 (java) S 1729 1731 1299 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1748] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1748/stat : 1748 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738220953 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1749] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1749/stat : 1749 (java) S 1729 1731 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450503323 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
[pid=1731/tid=1751] ppid=1729 vsize=7651332 CPUtime=0 cores=5,7
/proc/1731/task/1751/stat : 1751 (java) S 1729 1731 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450503348 7834963968 17779 33554432000 1073741824 1073778376 140736437306912 18446744073709551615 264738221568 0 4 0 16800975 18446604457846428992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.13
Current children cumulated vsize (KiB) 7651332

Child status: 10
Real time (s): 12.4697
CPU time (s): 13.204
CPU user time (s): 13.165
CPU system time (s): 0.038994
CPU usage (%): 105.889
Max. virtual memory (cumulated for all children) (KiB): 7659896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.165
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23174
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 951
involuntary context switches= 391

runsolver used 0.021996 second user time and 0.052991 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-23 19:47:57
IDJOB=3265604
IDBENCH=85786
IDSOLVER=1611
FILE ID=node141/3265604-1303580877
RUNJOBID= node141-1303579572-1320
PBS_JOBID= 13150342
Free space on /tmp= 70928 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-brn002.shuffled-as.sat05-3935.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265604-1303580877/watcher-3265604-1303580877 -o /tmp/evaluation-result-3265604-1303580877/solver-3265604-1303580877 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265604-1303580877.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= eda2d1e7d2975da4e019beddc323767b
RANDOM SEED=27014944

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14414168 kB
Buffers:       1626688 kB
Cached:       15978072 kB
SwapCached:          0 kB
Active:       10081408 kB
Inactive:      7881888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14414168 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           38276 kB
Writeback:           0 kB
AnonPages:      357960 kB
Mapped:          23376 kB
Slab:           510700 kB
PageTables:       5780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22029920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 70928 MiB
End job on node141 at 2011-04-23 19:48:10