Trace number 351118

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.33 1782.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow22.opb
MD5SUM16450e6196a99d1fc33b5d9a0f64103d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables25124
Total number of constraints1320
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1320
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1958
Biggest coefficient in the objective function 8399
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525721
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525721
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.20	--- Begin Solver configuration ---
0.19/0.20	c Stops conflict analysis at the first Unique Implication Point
0.19/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.20	c Learn all clauses as in MiniSAT
0.19/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.20	c No reason simplification
0.19/0.20	c --- End Solver configuration ---
0.19/0.20	c solving /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb
0.19/0.20	c reading problem ... 
3.61/2.43	c ... done. Wall clock time 2.227s.
3.61/2.43	c CPU time (experimental) 1.78s.
3.61/2.43	c #vars     25124
3.61/2.43	c #constraints  1760
1272.66/1260.52	c cleaning 535929 clauses out of 1071990 for limit 0.5840244282523022
1295.54/1283.25	c cleaning 274762 clauses out of 549564 for limit 839104.3174672181
1334.05/1321.38	c cleaning 146631 clauses out of 293299 for limit 1.7127261685488329E-6
1337.68/1324.90	c cleaning 74524 clauses out of 149169 for limit 4.111818006586339E-5
1340.72/1327.97	c cleaning 38807 clauses out of 77646 for limit 0.0015906081692553791
1341.32/1328.59	c cleaning 19658 clauses out of 39337 for limit 0.005167350539007517
1349.93/1337.03	c cleaning 12778 clauses out of 25679 for limit 3.203035090073543
1353.25/1340.30	c cleaning 7883 clauses out of 15902 for limit 104.14966766788685
1353.65/1340.79	c cleaning 4193 clauses out of 8519 for limit 320.60988355720843
1356.49/1343.55	c cleaning 3347 clauses out of 6826 for limit 4880.661361434792
1359.42/1346.46	c cleaning 3171 clauses out of 6479 for limit 103436.13916066069
1359.72/1346.78	c cleaning 1826 clauses out of 3807 for limit 290013.8776670353
1360.02/1347.03	c cleaning 1240 clauses out of 2481 for limit 733889.6783498212
1363.35/1350.36	c cleaning 2870 clauses out of 5741 for limit 2.861363152462912E7
1363.65/1350.63	c cleaning 1686 clauses out of 3373 for limit 8.047650299658018E7
1363.85/1350.89	c cleaning 1019 clauses out of 2186 for limit 2.045769291402089E8
1366.89/1353.89	c cleaning 2833 clauses out of 5666 for limit 7.113751889272903E9
1367.20/1354.20	c cleaning 1665 clauses out of 3333 for limit 1.9943246513337975E10
1370.13/1357.00	c cleaning 3083 clauses out of 6168 for limit 9.722765005371844E11
1370.53/1357.46	c cleaning 1791 clauses out of 3585 for limit 2.758677172751275E12
1372.66/1359.60	c cleaning 1647 clauses out of 3294 for limit 1.3465860387236951E13
1373.25/1360.17	c cleaning 1006 clauses out of 2149 for limit 3.410721016834562E13
1375.39/1362.30	c cleaning 1010 clauses out of 2142 for limit 9.296948143736334E13
1380.65/1367.47	c cleaning 1256 clauses out of 2641 for limit 3.4124770622747844E14
1382.68/1369.43	c cleaning 863 clauses out of 1875 for limit 7.847794808060689E14
1393.19/1379.80	c cleaning 2250 clauses out of 4514 for limit 1.0835465886995252E-4
1398.14/1384.70	c cleaning 1866 clauses out of 3762 for limit 5.819544456686405E-4
1408.56/1395.03	c cleaning 2129 clauses out of 4398 for limit 0.006084165442114904
1410.68/1397.18	c cleaning 1315 clauses out of 2767 for limit 0.01591600050770616
1421.00/1407.39	c cleaning 1913 clauses out of 3954 for limit 0.13613032992806168
1428.89/1415.15	c cleaning 1955 clauses out of 4045 for limit 0.9881767493844026
1431.42/1417.64	c cleaning 1477 clauses out of 3085 for limit 3.5062041865278575
1436.08/1422.24	c cleaning 1488 clauses out of 3108 for limit 15.609141702636913
1439.00/1425.19	c cleaning 1244 clauses out of 2619 for limit 50.32708741880868
1444.05/1430.19	c cleaning 1371 clauses out of 2875 for limit 205.62082987720203
1449.32/1435.30	c cleaning 1435 clauses out of 3004 for limit 882.6178154333976
1454.68/1440.66	c cleaning 1464 clauses out of 3069 for limit 3874.7473530311563
1465.30/1451.13	c cleaning 1985 clauses out of 4105 for limit 35335.11851419267
1467.14/1452.91	c cleaning 1237 clauses out of 2621 for limit 91357.26544747321
1469.77/1455.58	c cleaning 1131 clauses out of 2386 for limit 273476.7881913903
1473.00/1458.76	c cleaning 1307 clauses out of 2753 for limit 1060921.7089068133
1475.93/1461.61	c cleaning 2153 clauses out of 4445 for limit 1.3204397586630996E7
1480.59/1466.28	c cleaning 1896 clauses out of 3792 for limit 6.942081215816468E7
1483.41/1469.03	c cleaning 1448 clauses out of 2898 for limit 2.4753717786059296E8
1486.04/1471.66	c cleaning 1165 clauses out of 2450 for limit 7.963142841320702E8
1488.67/1474.21	c cleaning 1078 clauses out of 2288 for limit 2.3260009066198373E9
1497.36/1482.89	c cleaning 2289 clauses out of 4706 for limit 3.7365185178082275E10
1501.81/1487.23	c cleaning 1892 clauses out of 3918 for limit 2.0149153383267755E11
1504.43/1489.86	c cleaning 1442 clauses out of 3024 for limit 7.085690819590593E11
1508.76/1494.18	c cleaning 4287 clauses out of 8582 for limit 2.7476277437902162E-6
1509.46/1494.83	c cleaning 2393 clauses out of 4797 for limit 8.12272210237946E-6
1513.91/1499.29	c cleaning 4693 clauses out of 9406 for limit 0.004567912549638419
1514.20/1499.58	c cleaning 2535 clauses out of 5216 for limit 0.01362525362066551
1514.50/1499.88	c cleaning 1513 clauses out of 3174 for limit 0.036668197333559166
1514.90/1500.20	c cleaning 1002 clauses out of 2167 for limit 0.08910468282525234
1515.20/1500.51	c cleaning 752 clauses out of 1667 for limit 0.19140300448348768
1515.50/1500.81	c cleaning 629 clauses out of 1409 for limit 0.37121214253364526
1515.80/1501.10	c cleaning 554 clauses out of 1281 for limit 0.6740225646568756
1516.10/1501.42	c cleaning 539 clauses out of 1224 for limit 1.1598304315151928
1520.04/1505.40	c cleaning 3268 clauses out of 6693 for limit 86.51707547978458
1520.44/1505.74	c cleaning 1880 clauses out of 3917 for limit 241.8515510218389
1520.74/1506.08	c cleaning 1185 clauses out of 2544 for limit 618.4189811295454
1521.14/1506.42	c cleaning 857 clauses out of 1869 for limit 1402.1407822733584
1521.34/1506.70	c cleaning 668 clauses out of 1504 for limit 2850.577672812764
1521.64/1506.92	c cleaning 590 clauses out of 1332 for limit 5286.817641666988
1521.84/1507.18	c cleaning 543 clauses out of 1244 for limit 9354.123200284548
1522.14/1507.46	c cleaning 521 clauses out of 1197 for limit 15967.876148087977
1522.44/1507.75	c cleaning 508 clauses out of 1177 for limit 26807.43377464459
1522.74/1508.05	c cleaning 506 clauses out of 1170 for limit 44518.061146875385
1525.88/1511.16	c cleaning 2758 clauses out of 5666 for limit 1370482.2871458018
1526.19/1511.46	c cleaning 1610 clauses out of 3401 for limit 3739018.9797672923
1526.48/1511.79	c cleaning 1075 clauses out of 2304 for limit 9221177.182352806
1526.88/1512.10	c cleaning 785 clauses out of 1721 for limit 2.0196111708302386E7
1527.18/1512.44	c cleaning 632 clauses out of 1433 for limit 3.987996750863786E7
1527.47/1512.72	c cleaning 649 clauses out of 1299 for limit 7.240669066683817E7
1531.76/1516.92	c cleaning 1575 clauses out of 3151 for limit 3.6446295607245725E8
1532.06/1517.26	c cleaning 1033 clauses out of 2078 for limit 9.13232090187799E8
1532.36/1517.57	c cleaning 685 clauses out of 1543 for limit 2.0241730784732404E9
1534.29/1519.43	c cleaning 679 clauses out of 1358 for limit 3.7928851086538296E9
1537.03/1522.16	c cleaning 766 clauses out of 1678 for limit 8.339783245016237E9
1539.46/1524.54	c cleaning 1138 clauses out of 2412 for limit 2.6021784582993263E10
1540.35/1525.40	c cleaning 884 clauses out of 1774 for limit 5.834674759273664E10
1541.79/1526.86	c cleaning 929 clauses out of 1890 for limit 1.4894304818786298E11
1544.61/1529.65	c cleaning 986 clauses out of 1973 for limit 3.9271805832601227E11
1547.04/1532.02	c cleaning 987 clauses out of 1975 for limit 1.0542375717414795E12
1547.44/1532.46	c cleaning 744 clauses out of 1490 for limit 2.309107925960234E12
1549.37/1534.33	c cleaning 567 clauses out of 1244 for limit 4.551944764775275E12
1551.21/1536.18	c cleaning 511 clauses out of 1177 for limit 7.934083888314223E12
1554.24/1539.11	c cleaning 767 clauses out of 1667 for limit 1.5250494880872955E13
1555.97/1540.88	c cleaning 879 clauses out of 1902 for limit 3.642418319844514E13
1556.47/1541.35	c cleaning 760 clauses out of 1520 for limit 7.493920783731195E13
1558.50/1543.32	c cleaning 880 clauses out of 1760 for limit 1.7601585603281716E14
1561.33/1546.12	c cleaning 1116 clauses out of 2380 for limit 5.837880003465836E14
1563.16/1547.97	c cleaning 1627 clauses out of 3266 for limit 3.1528877717264016E-5
1563.46/1548.26	c cleaning 1062 clauses out of 2138 for limit 7.93484352517196E-5
1563.66/1548.45	c cleaning 735 clauses out of 1575 for limit 1.7745444604662215E-4
1563.97/1548.73	c cleaning 663 clauses out of 1340 for limit 3.4396838844409107E-4
1564.26/1549.03	c cleaning 565 clauses out of 1180 for limit 6.461014936600323E-4
1564.56/1549.31	c cleaning 474 clauses out of 1113 for limit 0.0011273907091711255
1565.99/1550.73	c cleaning 1001 clauses out of 2138 for limit 0.0026296325337755383
1568.43/1553.12	c cleaning 996 clauses out of 2139 for limit 0.007162634299154068
1569.53/1554.23	c cleaning 749 clauses out of 1643 for limit 0.015378071867870411
1571.36/1556.06	c cleaning 1123 clauses out of 2392 for limit 0.047279939462602984
1573.68/1558.30	c cleaning 1305 clauses out of 2771 for limit 0.18341643413243108
1574.28/1558.95	c cleaning 902 clauses out of 1966 for limit 0.426331228096991
1575.81/1560.43	c cleaning 955 clauses out of 2062 for limit 1.1032774666222784
1576.51/1561.18	c cleaning 720 clauses out of 1607 for limit 2.334605043564049
1578.94/1563.51	c cleaning 871 clauses out of 1888 for limit 5.409705112614093
1583.89/1568.46	c cleaning 1188 clauses out of 2518 for limit 18.210506656752695
1586.52/1571.08	c cleaning 1099 clauses out of 2330 for limit 53.52215701487716
1589.15/1573.60	c cleaning 1045 clauses out of 2229 for limit 151.85259249263805
1591.08/1575.50	c cleaning 771 clauses out of 1686 for limit 331.74135906588333
1594.52/1578.95	c cleaning 895 clauses out of 1919 for limit 795.8514945646932
1596.26/1580.68	c cleaning 691 clauses out of 1519 for limit 1649.8048090601862
1599.28/1583.61	c cleaning 847 clauses out of 1830 for limit 3731.8144921211115
1603.94/1588.26	c cleaning 1175 clauses out of 2480 for limit 12313.558599635562
1605.97/1590.29	c cleaning 1322 clauses out of 2806 for limit 48859.58438950796
1606.67/1590.92	c cleaning 911 clauses out of 1983 for limit 113903.24480561989
1607.17/1591.45	c cleaning 715 clauses out of 1572 for limit 236952.96951227254
1608.40/1592.62	c cleaning 848 clauses out of 1859 for limit 546029.4980865711
1608.90/1593.13	c cleaning 666 clauses out of 1510 for limit 1107490.2790018965
1609.30/1593.59	c cleaning 580 clauses out of 1343 for limit 2051456.12363869
1609.70/1593.91	c cleaning 632 clauses out of 1265 for limit 3598923.6262203557
1611.22/1595.49	c cleaning 1061 clauses out of 2132 for limit 9567734.269212306
1611.72/1595.95	c cleaning 781 clauses out of 1570 for limit 2.140513780071124E7
1612.12/1596.37	c cleaning 643 clauses out of 1289 for limit 4.2995266986438505E7
1612.42/1596.68	c cleaning 491 clauses out of 1148 for limit 7.977312219095118E7
1613.96/1598.15	c cleaning 740 clauses out of 1655 for limit 1.5019076534594154E8
1614.65/1598.80	c cleaning 706 clauses out of 1417 for limit 2.8986534009391904E8
1616.98/1601.15	c cleaning 786 clauses out of 1712 for limit 6.5314358323062E8
1619.80/1603.91	c cleaning 964 clauses out of 1929 for limit 1.5812316788679376E9
1622.33/1606.47	c cleaning 979 clauses out of 1959 for limit 4.209184878891515E9
1627.19/1611.21	c cleaning 1240 clauses out of 2480 for limit 1.4912429989259224E10
1630.12/1614.12	c cleaning 1046 clauses out of 2240 for limit 4.490181066445657E10
1631.65/1615.69	c cleaning 777 clauses out of 1695 for limit 9.795634426113058E10
1634.68/1618.65	c cleaning 959 clauses out of 1919 for limit 2.3554483333234268E11
1637.51/1621.49	c cleaning 979 clauses out of 1958 for limit 6.265830179523193E11
1640.14/1624.01	c cleaning 920 clauses out of 1979 for limit 1.6859989020183232E12
1641.87/1625.78	c cleaning 704 clauses out of 1560 for limit 3.530765563093445E12
1644.90/1628.70	c cleaning 850 clauses out of 1857 for limit 8.074727267673564E12
1645.70/1629.59	c cleaning 752 clauses out of 1505 for limit 1.6397971594713982E13
1647.02/1630.82	c cleaning 628 clauses out of 1256 for limit 3.250097672233383E13
1650.36/1634.16	c cleaning 743 clauses out of 1625 for limit 6.8114712113115875E13
1652.08/1635.87	c cleaning 689 clauses out of 1383 for limit 1.3211815778811838E14
1655.12/1638.86	c cleaning 842 clauses out of 1693 for limit 2.932276998302254E14
1657.75/1641.41	c cleaning 924 clauses out of 1852 for limit 7.297384925478987E-6
1660.58/1644.26	c cleaning 952 clauses out of 1927 for limit 1.905477325264958E-5
1665.73/1649.34	c cleaning 1232 clauses out of 2477 for limit 6.661870370947997E-5
1667.86/1651.47	c cleaning 1319 clauses out of 2744 for limit 2.694456809946352E-4
1668.96/1652.57	c cleaning 898 clauses out of 1929 for limit 6.346248007797613E-4
1670.49/1654.06	c cleaning 698 clauses out of 1528 for limit 0.0013172805068494906
1671.49/1655.05	c cleaning 595 clauses out of 1329 for limit 0.0024951577828148637
1672.92/1656.43	c cleaning 548 clauses out of 1233 for limit 0.0044307912897451306
1674.02/1657.51	c cleaning 522 clauses out of 1186 for limit 0.007604139572108653
1675.75/1659.24	c cleaning 1009 clauses out of 2163 for limit 0.018681485126394434
1679.07/1662.57	c cleaning 1004 clauses out of 2155 for limit 0.05104661273641819
1680.80/1664.22	c cleaning 751 clauses out of 1653 for limit 0.10996798332046548
1684.02/1667.47	c cleaning 871 clauses out of 1899 for limit 0.2595508098028057
1687.05/1670.41	c cleaning 941 clauses out of 2028 for limit 0.6609843491117267
1688.78/1672.20	c cleaning 733 clauses out of 1588 for limit 1.3934745062716742
1692.22/1675.56	c cleaning 864 clauses out of 1854 for limit 3.242776807014976
1693.95/1677.21	c cleaning 1179 clauses out of 2490 for limit 10.829168266145269
1694.65/1677.97	c cleaning 829 clauses out of 1811 for limit 24.55454470237654
1697.58/1680.84	c cleaning 921 clauses out of 1983 for limit 61.0483467939847
1699.91/1683.14	c cleaning 959 clauses out of 2064 for limit 159.83346937748195
1701.74/1684.96	c cleaning 731 clauses out of 1604 for limit 338.8398108891959
1705.07/1688.28	c cleaning 871 clauses out of 1872 for limit 788.8060128886084
1706.90/1690.02	c cleaning 1181 clauses out of 2500 for limit 2646.483541506879
1707.10/1690.26	c cleaning 840 clauses out of 1820 for limit 6001.063426309551
1707.40/1690.53	c cleaning 669 clauses out of 1479 for limit 12166.139899600967
1707.61/1690.76	c cleaning 586 clauses out of 1311 for limit 22657.327762543264
1707.90/1691.01	c cleaning 540 clauses out of 1225 for limit 39988.1375431244
1708.10/1691.25	c cleaning 523 clauses out of 1186 for limit 68182.50856192099
1708.40/1691.51	c cleaning 516 clauses out of 1162 for limit 114649.69715880991
1708.60/1691.73	c cleaning 502 clauses out of 1145 for limit 191688.0010462624
1708.79/1691.92	c cleaning 500 clauses out of 1143 for limit 316672.29667011433
1708.99/1692.14	c cleaning 504 clauses out of 1144 for limit 522300.78254434187
1709.19/1692.34	c cleaning 496 clauses out of 1140 for limit 864366.1217311372
1710.93/1694.06	c cleaning 2002 clauses out of 4143 for limit 7882143.767536407
1711.12/1694.27	c cleaning 1321 clauses out of 2643 for limit 2.0416769827517714E7
1711.32/1694.45	c cleaning 910 clauses out of 1821 for limit 4.8819758336249106E7
1711.52/1694.66	c cleaning 632 clauses out of 1410 for limit 1.0387423387206222E8
1711.82/1694.91	c cleaning 567 clauses out of 1278 for limit 1.8899572445932168E8
1711.93/1695.09	c cleaning 606 clauses out of 1212 for limit 3.289808453760622E8
1712.22/1695.31	c cleaning 553 clauses out of 1106 for limit 5.945302985947913E8
1712.32/1695.50	c cleaning 456 clauses out of 1052 for limit 1.0297570039657367E9
1712.52/1695.69	c cleaning 476 clauses out of 1096 for limit 1.6300308622090983E9
1712.82/1695.99	c cleaning 489 clauses out of 1120 for limit 2.6305359758371954E9
1713.13/1696.20	c cleaning 497 clauses out of 1131 for limit 4.295913721200728E9
1714.75/1697.85	c cleaning 1994 clauses out of 4136 for limit 3.904791577505272E10
1715.05/1698.11	c cleaning 1318 clauses out of 2640 for limit 1.0068420020839389E11
1715.26/1698.33	c cleaning 837 clauses out of 1822 for limit 2.405873374030302E11
1715.45/1698.56	c cleaning 742 clauses out of 1485 for limit 4.8680000251654376E11
1715.65/1698.75	c cleaning 621 clauses out of 1243 for limit 9.59095346522283E11
1715.85/1698.93	c cleaning 490 clauses out of 1124 for limit 1.7526351271795215E12
1716.05/1699.14	c cleaning 565 clauses out of 1133 for limit 2.86450304597375E12
1716.25/1699.35	c cleaning 533 clauses out of 1067 for limit 5.011135591604637E12
1716.46/1699.54	c cleaning 446 clauses out of 1034 for limit 8.527778701312228E12
1716.75/1699.87	c cleaning 472 clauses out of 1090 for limit 1.3367644060875979E13
1717.05/1700.12	c cleaning 490 clauses out of 1120 for limit 2.149751491545562E13
1718.79/1701.87	c cleaning 1738 clauses out of 3626 for limit 1.3303801514204448E14
1718.99/1702.09	c cleaning 1122 clauses out of 2390 for limit 3.3352666906323225E14
1719.19/1702.28	c cleaning 808 clauses out of 1767 for limit 7.432129919400068E14
1719.59/1702.65	c cleaning 640 clauses out of 1458 for limit 1.4839309524377748E15
1719.89/1702.94	c cleaning 569 clauses out of 1319 for limit 2.7078014772505695E15
1720.18/1703.21	c cleaning 625 clauses out of 1250 for limit 4.712023962918147E15
1722.71/1705.72	c cleaning 811 clauses out of 1629 for limit 9.872934145613895E-5
1724.33/1707.37	c cleaning 642 clauses out of 1313 for limit 2.009953112906367E-4
1726.97/1709.90	c cleaning 799 clauses out of 1671 for limit 4.2952255739179483E-4
1730.20/1713.17	c cleaning 869 clauses out of 1872 for limit 0.0010427215669206876
1732.04/1714.92	c cleaning 685 clauses out of 1504 for limit 0.002142479934485485
1732.83/1715.72	c cleaning 590 clauses out of 1318 for limit 0.004027824733559982
1734.96/1717.87	c cleaning 794 clauses out of 1728 for limit 0.008355145370900012
1735.56/1718.47	c cleaning 641 clauses out of 1434 for limit 0.01660368495821705
1736.99/1719.81	c cleaning 830 clauses out of 1793 for limit 0.03611479218757048
1737.39/1720.21	c cleaning 660 clauses out of 1465 for limit 0.07303864297516056
1738.49/1721.36	c cleaning 584 clauses out of 1307 for limit 0.13528188414003073
1740.42/1723.20	c cleaning 797 clauses out of 1729 for limit 0.2797944414067622
1742.95/1725.73	c cleaning 890 clauses out of 1923 for limit 0.6780410056362526
1743.75/1726.58	c cleaning 700 clauses out of 1532 for limit 1.4021609035277234
1746.19/1728.93	c cleaning 846 clauses out of 1832 for limit 3.188914854159023
1747.52/1730.26	c cleaning 680 clauses out of 1488 for limit 6.487694216751534
1748.81/1731.53	c cleaning 589 clauses out of 1308 for limit 12.17142553469619
1750.34/1733.02	c cleaning 543 clauses out of 1217 for limit 21.530071674805242
1751.54/1734.24	c cleaning 520 clauses out of 1177 for limit 36.822986891510666
1752.78/1735.43	c cleaning 509 clauses out of 1154 for limit 61.75071904788789
1756.20/1738.87	c cleaning 754 clauses out of 1645 for limit 117.81313144728179
1759.03/1741.62	c cleaning 873 clauses out of 1892 for limit 278.8590577700902
1760.56/1743.18	c cleaning 688 clauses out of 1518 for limit 572.6054685553812
1761.86/1744.42	c cleaning 600 clauses out of 1330 for limit 1077.7834462445733
1763.10/1745.62	c cleaning 544 clauses out of 1231 for limit 1922.274902502643
1764.39/1746.91	c cleaning 523 clauses out of 1186 for limit 3287.079704540514
1765.82/1748.33	c cleaning 509 clauses out of 1163 for limit 5528.038973469779
1767.02/1749.56	c cleaning 511 clauses out of 1154 for limit 9187.574826405604
1768.45/1750.90	c cleaning 502 clauses out of 1143 for limit 15297.355325908062
1771.37/1753.85	c cleaning 749 clauses out of 1641 for limit 28977.824504875574
1774.31/1756.79	c cleaning 880 clauses out of 1892 for limit 68354.16791334639
1775.83/1758.27	c cleaning 687 clauses out of 1512 for limit 141055.56629656744
1779.46/1761.86	c cleaning 845 clauses out of 1825 for limit 317827.10001217626
1781.29/1763.65	c cleaning 677 clauses out of 1484 for limit 647163.219978919
1783.22/1765.53	c cleaning 585 clauses out of 1305 for limit 1211222.9186520148
1786.36/1768.62	c cleaning 845 clauses out of 1724 for limit 2503497.437554172
1788.79/1771.06	c cleaning 862 clauses out of 1873 for limit 6229473.442744115
1791.92/1774.20	c cleaning 936 clauses out of 2012 for limit 1.5787284140072746E7
1793.84/1776.10	c cleaning 720 clauses out of 1575 for limit 3.3225859095449433E7
1795.87/1778.01	c cleaning 678 clauses out of 1357 for limit 6.372382554537768E7
1799.00/1781.11	c cleaning 837 clauses out of 1677 for limit 1.3995595290180117E8
1800.03/1782.11	c starts		: 22
1800.03/1782.11	c conflicts		: 1361281
1800.03/1782.11	c decisions		: 1643931
1800.03/1782.11	c propagations		: 63690502
1800.03/1782.11	c inspects		: 941933673
1800.03/1782.11	c learnt literals	: 10
1800.03/1782.11	c learnt binary clauses	: 15
1800.03/1782.11	c learnt ternary clauses	: 16
1800.03/1782.11	c learnt clauses	: 1361271
1800.03/1782.11	c root simplifications	: 0
1800.03/1782.11	c removed literals (reason simplification)	: 0
1800.03/1782.11	c reason swapping (by a shorter reason)	: 0
1800.03/1782.11	c Calls to reduceDB	: 247
1800.03/1782.11	c speed (decisions/second)	: 923.7638528165286
1800.03/1782.11	c non guided choices	10306
1800.03/1782.11	s UNKNOWN
1800.03/1782.11	c Total wall clock time (ms): 1781.911

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node73/watcher-351118-1176581128 -o ROOT/results/node73/solver-351118-1176581128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 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.77 0.92 0.97 3/65 11213
/proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=18568 CPUtime=0
/proc/11213/stat : 11213 (runsolver) R 11211 11213 11150 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 106027666 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 210723466535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11213/statm: 4642 292 257 24 0 2626 0

[startup+0.0201981 s]
/proc/loadavg: 0.77 0.92 0.97 3/65 11213
/proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=12652 CPUtime=0
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 879 0 1 0 0 0 0 0 18 0 2 0 106027666 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 3163 635 311 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12652

[startup+0.101657 s]
/proc/loadavg: 0.77 0.92 0.97 3/65 11213
/proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1780108 CPUtime=0.08
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 3965 0 1 0 6 2 0 0 18 0 12 0 106027666 1822830592 3706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 445027 3706 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301681 s]
/proc/loadavg: 0.77 0.92 0.97 3/65 11213
/proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1782428 CPUtime=0.32
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 5318 0 1 0 29 3 0 0 18 0 12 0 106027666 1825206272 5057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 445607 5057 1267 9 0 443219 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782428

[startup+0.70173 s]
/proc/loadavg: 0.77 0.92 0.97 3/65 11213
/proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1783016 CPUtime=0.93
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 7453 0 1 0 89 4 0 0 18 0 12 0 106027666 1825808384 6976 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 445754 6977 1302 9 0 443366 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 1783016

[startup+1.50283 s]
/proc/loadavg: 0.77 0.92 0.97 4/77 11225
/proc/meminfo: memFree=1716128/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1796620 CPUtime=2.52
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 24766 0 1 0 238 14 0 0 18 0 12 0 106027666 1839738880 20223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 449155 20225 1314 9 0 446767 0
[pid=11213/tid=11215] ppid=11211 vsize=1796620 CPUtime=0.96
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 15902 0 1 0 87 9 0 0 20 0 12 0 106027667 1839738880 20226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109520448 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 106027669 1839738880 20227 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 106027669 1839738880 20228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 106027671 1839738880 20229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 106027671 1839738880 20230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 106027671 1839738880 20231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 106027675 1839738880 20232 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1796620 CPUtime=0.75
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 3358 0 0 0 74 1 0 0 17 0 12 0 106027675 1839738880 20233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1796620 CPUtime=0.78
/proc/11213/task/11223/stat : 11223 (java) R 11211 11213 11150 0 -1 64 4787 0 0 0 76 2 0 0 18 0 12 0 106027675 1839738880 20234 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315195 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 106027675 1839738880 20235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1796620 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 106027675 1839738880 20236 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 1796620

[startup+3.10301 s]
/proc/loadavg: 0.77 0.92 0.97 2/77 11225
/proc/meminfo: memFree=1603936/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1795104 CPUtime=4.64
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 53696 0 1 0 435 29 0 0 18 0 13 0 106027666 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448776 47202 1331 9 0 446388 0
[pid=11213/tid=11215] ppid=11211 vsize=1795104 CPUtime=2.25
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37712 0 1 0 205 20 0 0 20 0 13 0 106027667 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848922 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1795104 CPUtime=0.09
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 3043 0 0 0 7 2 0 0 16 0 13 0 106027669 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1795104 CPUtime=0.09
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 2437 0 0 0 8 1 0 0 17 0 13 0 106027669 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1795104 CPUtime=1.03
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4554 0 0 0 102 1 0 0 15 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1795104 CPUtime=1.13
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5220 0 0 0 111 2 0 0 16 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1795104 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 1795104

[startup+6.30137 s]
/proc/loadavg: 0.79 0.92 0.97 2/78 11226
/proc/meminfo: memFree=1541208/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1794944 CPUtime=8.01
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 60470 0 1 0 768 33 0 0 18 0 13 0 106027666 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448736 53688 1333 9 0 446348 0
[pid=11213/tid=11215] ppid=11211 vsize=1794944 CPUtime=5.31
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37716 0 1 0 511 20 0 0 20 0 13 0 106027667 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109599494 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1794944 CPUtime=0.19
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 6541 0 0 0 16 3 0 0 16 0 13 0 106027669 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1794944 CPUtime=0.19
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 5698 0 0 0 17 2 0 0 16 0 13 0 106027669 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1794944 CPUtime=1.1
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4560 0 0 0 108 2 0 0 16 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1794944 CPUtime=1.16
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5223 0 0 0 114 2 0 0 15 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1794944 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 1794944

[startup+12.7021 s]
/proc/loadavg: 0.81 0.92 0.97 2/78 11226
/proc/meminfo: memFree=1536152/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=14.79
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 63255 0 1 0 1445 34 0 0 18 0 13 0 106027666 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 55815 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=11.35
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37721 0 1 0 1115 20 0 0 18 0 13 0 106027667 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811999 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=0.53
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 7951 0 0 0 49 4 0 0 16 0 13 0 106027669 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=0.54
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 7064 0 0 0 51 3 0 0 16 0 13 0 106027669 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.11
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4560 0 0 0 109 2 0 0 17 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.19
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5227 0 0 0 117 2 0 0 16 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 1793852

[startup+25.5016 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 11226
/proc/meminfo: memFree=1502296/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=27.88
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 73114 0 1 0 2750 38 0 0 18 0 13 0 106027666 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 63490 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=23.86
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37728 0 1 0 2365 21 0 0 20 0 13 0 106027667 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846412 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=0.84
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 13369 0 0 0 77 7 0 0 16 0 13 0 106027669 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=0.84
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 11498 0 0 0 79 5 0 0 16 0 13 0 106027669 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1557.5
Current children cumulated vsize (KiB) 1793852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=135896/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=1618.21
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 587700 0 1 0 161514 307 0 0 18 0 13 0 106027666 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 404337 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1584.4
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90801 0 1 0 158391 49 0 0 19 0 13 0 106027667 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848712 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=15.49
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 241241 0 0 0 1433 116 0 0 16 0 13 0 106027669 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=15.5
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 244863 0 0 0 1428 122 0 0 16 0 13 0 106027669 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1618.21
Current children cumulated vsize (KiB) 1793852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=129496/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=1678.87
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 589287 0 1 0 167578 309 0 0 18 0 13 0 106027666 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 405882 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1643.58
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90824 0 1 0 164309 49 0 0 25 0 13 0 106027667 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848712 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=16.21
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242657 0 0 0 1504 117 0 0 16 0 13 0 106027669 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=16.24
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 245011 0 0 0 1502 122 0 0 17 0 13 0 106027669 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1678.87
Current children cumulated vsize (KiB) 1793852

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=124248/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=1739.52
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 590908 0 1 0 173641 311 0 0 18 0 13 0 106027666 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 407360 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1702.8
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90846 0 1 0 170231 49 0 0 25 0 13 0 106027667 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849235 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=16.93
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242837 0 0 0 1576 117 0 0 16 0 13 0 106027669 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=16.95
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 246430 0 0 0 1572 123 0 0 16 0 13 0 106027669 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 15 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1739.52
Current children cumulated vsize (KiB) 1793852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=1793852 CPUtime=1800.03
/proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 592039 0 1 0 179690 313 0 0 18 0 13 0 106027666 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 448463 408446 1333 9 0 446075 0
[pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1761.78
/proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90870 0 1 0 176129 49 0 0 24 0 13 0 106027667 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811426 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=17.71
/proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242916 0 0 0 1653 118 0 0 17 0 13 0 106027669 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=17.71
/proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 247458 0 0 0 1646 125 0 0 16 0 13 0 106027669 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.28
/proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 14 14 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23
/proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27
/proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0
/proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1793852

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=0 CPUtime=1800.22
/proc/11213/stat : 11213 (java) Z 11211 11213 11150 0 -1 1036 592060 0 1 0 179693 329 0 0 16 0 2 0 106027666 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

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

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11226
/proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956
[pid=11213] ppid=11211 vsize=0 CPUtime=1800.22
/proc/11213/stat : 11213 (java) Z 11211 11213 11150 0 -1 1036 592060 0 1 0 179693 329 0 0 16 0 2 0 106027666 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11213/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1782.4
CPU time (s): 1800.33
CPU user time (s): 1796.94
CPU system time (s): 3.39248
CPU usage (%): 101.006
Max. virtual memory (cumulated for all children) (KiB): 1796620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.94
system time used= 3.39248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592060
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= 46744
involuntary context switches= 36021

runsolver used 2.31365 second user time and 5.68214 second system time

The end

Launcher Data (download as text)

Begin job on node73 on Sat Apr 14 20:05:28 UTC 2007

IDJOB= 351118
IDBENCH= 1665
IDSOLVER= 159
FILE ID= node73/351118-1176581128

PBS_JOBID= 4556965

Free space on /tmp= 66559 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-351118-1176581128 -o ROOT/results/node73/solver-351118-1176581128 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  16450e6196a99d1fc33b5d9a0f64103d

RANDOM SEED= 34021450

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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:       1752344 kB
Buffers:         25520 kB
Cached:         165492 kB
SwapCached:       2720 kB
Active:          80880 kB
Inactive:       134244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752344 kB
SwapTotal:     4192956 kB
SwapFree:      4184012 kB
Dirty:            5240 kB
Writeback:           0 kB
Mapped:          15440 kB
Slab:            74480 kB
Committed_AS:   860128 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB

End job on node73 on Sat Apr 14 20:35:12 UTC 2007