Trace number 349417

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.35 1788.37

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
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.07/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.16	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.17	c no version file found!!!
0.07/0.17	c sun.arch.data.model	32
0.07/0.17	c java.version	1.6.0
0.07/0.17	c os.name	Linux
0.07/0.17	c os.version	2.6.9-22.EL.rootsmp
0.07/0.17	c os.arch	i386
0.07/0.17	c Free memory 1651659224
0.07/0.17	c Max memory 1654456320
0.07/0.17	c Total memory 1654456320
0.07/0.17	c Number of processors 2
0.17/0.23	--- Begin Solver configuration ---
0.17/0.23	c Stops conflict analysis at the first Unique Implication Point
0.17/0.23	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.17/0.23	c Learn all clauses as in MiniSAT
0.17/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.23	c VSIDS like heuristics from MiniSAT using a heap
0.17/0.23	c No reason simplification
0.17/0.23	c --- End Solver configuration ---
0.17/0.23	c solving /tmp/evaluation/349417-1176700116/instance-349417-1176700116.opb
0.17/0.23	c reading problem ... 
2.88/2.08	c ... done. Wall clock time 1.855s.
2.88/2.08	c CPU time (experimental) 1.65s.
2.88/2.08	c #vars     48602
2.88/2.08	c #constraints  1367
1583.52/1573.53	c cleaning 389913 clauses out of 779996 for limit 1.0643668951617555E-7
1590.97/1580.91	c cleaning 196240 clauses out of 392583 for limit 2.5794771164622534E-6
1594.70/1584.68	c cleaning 99352 clauses out of 198843 for limit 6.212012158443431E-5
1598.54/1588.46	c cleaning 50655 clauses out of 101491 for limit 9.001991950942062E-4
1600.23/1590.11	c cleaning 25619 clauses out of 51336 for limit 0.002934945307954031
1602.58/1592.43	c cleaning 13916 clauses out of 28218 for limit 0.06519431952115268
1602.98/1592.89	c cleaning 7207 clauses out of 14802 for limit 0.20496111401954858
1605.13/1594.98	c cleaning 4850 clauses out of 10095 for limit 3.665768074201769
1605.52/1595.32	c cleaning 2681 clauses out of 5745 for limit 10.622754918333284
1605.72/1595.57	c cleaning 1591 clauses out of 3564 for limit 28.23874466213842
1607.15/1596.96	c cleaning 2045 clauses out of 4472 for limit 274.23710160977015
1607.46/1597.22	c cleaning 1269 clauses out of 2927 for limit 690.973146680491
1607.65/1597.47	c cleaning 888 clauses out of 2158 for limit 1545.5687879843724
1608.88/1598.66	c cleaning 1692 clauses out of 3772 for limit 10807.283736459
1609.28/1599.03	c cleaning 1093 clauses out of 2579 for limit 26041.03677312458
1611.10/1600.87	c cleaning 2048 clauses out of 4489 for limit 301855.3412203724
1611.40/1601.15	c cleaning 1267 clauses out of 2937 for limit 757813.5454105085
1612.93/1602.67	c cleaning 1889 clauses out of 4171 for limit 6515384.753454927
1613.23/1602.93	c cleaning 1389 clauses out of 2782 for limit 1.6109387134165458E7
1615.45/1605.11	c cleaning 2696 clauses out of 5394 for limit 4.549951944946938E8
1615.76/1605.41	c cleaning 1440 clauses out of 3201 for limit 1.2682109542535267E9
1617.39/1607.03	c cleaning 1930 clauses out of 4256 for limit 1.1576637412894552E10
1617.69/1607.30	c cleaning 1415 clauses out of 2830 for limit 2.8826475689834347E10
1617.89/1607.57	c cleaning 753 clauses out of 1911 for limit 7.011890693845436E10
1620.41/1610.00	c cleaning 2579 clauses out of 5158 for limit 1.4212208910491704E12
1620.62/1610.29	c cleaning 1539 clauses out of 3079 for limit 3.926350976905557E12
1623.15/1612.71	c cleaning 2576 clauses out of 5540 for limit 1.193812546577699E14
1623.35/1612.95	c cleaning 1733 clauses out of 3466 for limit 3.153132753052208E14
1626.47/1616.09	c cleaning 3357 clauses out of 6732 for limit 2.4129652369371063E-4
1626.77/1616.35	c cleaning 1911 clauses out of 3882 for limit 6.949236800532657E-4
1630.00/1619.55	c cleaning 3035 clauses out of 6464 for limit 0.03738976149032454
1630.30/1619.86	c cleaning 1770 clauses out of 3928 for limit 0.10136871441247489
1634.44/1623.91	c cleaning 3883 clauses out of 8161 for limit 19.801870653935726
1634.84/1624.32	c cleaning 2193 clauses out of 4777 for limit 55.733424806538295
1635.24/1624.72	c cleaning 1339 clauses out of 3082 for limit 142.1756431568623
1638.97/1628.49	c cleaning 3427 clauses out of 7250 for limit 14934.000752106534
1639.37/1628.82	c cleaning 1961 clauses out of 4317 for limit 41113.16802368883
1643.40/1632.89	c cleaning 3985 clauses out of 8356 for limit 8594788.70847091
1643.70/1633.19	c cleaning 2243 clauses out of 4872 for limit 2.433418217728405E7
1644.01/1633.45	c cleaning 1562 clauses out of 3127 for limit 6.239977402199033E7
1644.20/1633.69	c cleaning 1032 clauses out of 2066 for limit 1.5590892596177903E8
1647.62/1637.01	c cleaning 3070 clauses out of 6533 for limit 1.2085618585439312E10
1647.82/1637.28	c cleaning 1787 clauses out of 3964 for limit 3.2880491079334213E10
1648.12/1637.58	c cleaning 1335 clauses out of 2676 for limit 8.02430092638973E10
1648.43/1637.81	c cleaning 919 clauses out of 1841 for limit 1.9235142798243423E11
1651.64/1641.05	c cleaning 2961 clauses out of 5922 for limit 8.896919689732771E12
1652.04/1641.45	c cleaning 1527 clauses out of 3461 for limit 2.51051234387013E13
1652.34/1641.73	c cleaning 1010 clauses out of 2437 for limit 5.897498695948645E13
1655.78/1645.12	c cleaning 3452 clauses out of 6924 for limit 5.077822846640219E-5
1656.08/1645.41	c cleaning 1978 clauses out of 3972 for limit 1.4597593029839787E-4
1656.28/1645.65	c cleaning 1045 clauses out of 2494 for limit 3.833980762005283E-4
1656.58/1645.92	c cleaning 774 clauses out of 1950 for limit 8.0947262443101E-4
1656.78/1646.16	c cleaning 638 clauses out of 1678 for limit 0.0015544248528758138
1660.00/1649.34	c cleaning 2818 clauses out of 6042 for limit 0.06435893673144584
1660.40/1649.73	c cleaning 1658 clauses out of 3719 for limit 0.17157212540435687
1660.71/1650.04	c cleaning 1081 clauses out of 2566 for limit 0.41213993992894316
1663.73/1653.09	c cleaning 3042 clauses out of 6482 for limit 24.20179977122706
1664.03/1653.35	c cleaning 1771 clauses out of 3939 for limit 65.61333077233245
1664.33/1653.65	c cleaning 1132 clauses out of 2667 for limit 159.6527578792707
1667.45/1656.77	c cleaning 3067 clauses out of 6538 for limit 9718.895889252743
1667.85/1657.16	c cleaning 1790 clauses out of 3970 for limit 26368.942586195262
1668.15/1657.50	c cleaning 1143 clauses out of 2680 for limit 64417.56648421553
1670.79/1660.04	c cleaning 2571 clauses out of 5537 for limit 1705735.4717282993
1671.09/1660.38	c cleaning 1530 clauses out of 3465 for limit 4490599.676607047
1671.39/1660.63	c cleaning 1014 clauses out of 2435 for limit 1.053815303618609E7
1671.59/1660.90	c cleaning 758 clauses out of 1920 for limit 2.201829130677001E7
1671.89/1661.14	c cleaning 632 clauses out of 1663 for limit 4.1964590691003196E7
1674.31/1663.55	c cleaning 2563 clauses out of 5530 for limit 1.1374140293508E9
1674.51/1663.79	c cleaning 1530 clauses out of 3468 for limit 2.9940222399276733E9
1674.81/1664.01	c cleaning 1015 clauses out of 2440 for limit 7.031843475221293E9
1675.01/1664.22	c cleaning 961 clauses out of 1923 for limit 1.4684751464059902E10
1677.14/1666.39	c cleaning 2480 clauses out of 4961 for limit 3.110922858782743E11
1677.44/1666.67	c cleaning 1491 clauses out of 2982 for limit 8.543606329019838E11
1677.74/1666.96	c cleaning 970 clauses out of 1990 for limit 2.109197105819201E12
1680.46/1669.66	c cleaning 2551 clauses out of 5523 for limit 6.8770426589608336E13
1680.76/1669.94	c cleaning 1733 clauses out of 3471 for limit 1.8027832865402303E14
1681.06/1670.22	c cleaning 1117 clauses out of 2237 for limit 4.6084356535101256E14
1681.26/1670.48	c cleaning 809 clauses out of 1619 for limit 1.0490448075754254E15
1683.41/1672.58	c cleaning 2146 clauses out of 4313 for limit 1.3102560493633337E-4
1683.81/1672.97	c cleaning 1323 clauses out of 2665 for limit 3.4899988329483654E-4
1684.11/1673.23	c cleaning 712 clauses out of 1841 for limit 8.323195233874272E-4
1686.44/1675.57	c cleaning 2355 clauses out of 5129 for limit 0.01634399675260371
1686.74/1675.84	c cleaning 1450 clauses out of 3276 for limit 0.04228360273496501
1686.94/1676.08	c cleaning 969 clauses out of 2324 for limit 0.09809945998596745
1687.24/1676.31	c cleaning 734 clauses out of 1855 for limit 0.20268178175561868
1687.44/1676.58	c cleaning 614 clauses out of 1621 for limit 0.38250005293001843
1689.57/1678.70	c cleaning 2055 clauses out of 4508 for limit 4.56726623149323
1689.87/1678.98	c cleaning 1280 clauses out of 2953 for limit 11.498274576924688
1690.17/1679.22	c cleaning 888 clauses out of 2173 for limit 25.768686560756063
1690.37/1679.43	c cleaning 697 clauses out of 1785 for limit 51.73323966277869
1690.57/1679.66	c cleaning 592 clauses out of 1592 for limit 96.04146299035577
1692.69/1681.71	c cleaning 2054 clauses out of 4495 for limit 1122.76996017799
1692.99/1682.03	c cleaning 1275 clauses out of 2941 for limit 2829.9668163287974
1693.19/1682.29	c cleaning 883 clauses out of 2169 for limit 6347.113111547853
1693.49/1682.51	c cleaning 697 clauses out of 1783 for limit 12695.11965126087
1695.32/1684.32	c cleaning 2102 clauses out of 4592 for limit 164507.0603902613
1695.52/1684.58	c cleaning 1293 clauses out of 2984 for limit 414988.84114251763
1695.82/1684.81	c cleaning 898 clauses out of 2191 for limit 932070.4664216046
1696.02/1685.05	c cleaning 706 clauses out of 1797 for limit 1881641.927801897
1696.32/1685.33	c cleaning 597 clauses out of 1587 for limit 3499660.9530519056
1698.04/1687.02	c cleaning 1797 clauses out of 3992 for limit 2.8042498912578054E7
1698.24/1687.26	c cleaning 1152 clauses out of 2697 for limit 6.858848472638746E7
1698.44/1687.50	c cleaning 1018 clauses out of 2041 for limit 1.48869932027254E8
1698.74/1687.76	c cleaning 760 clauses out of 1524 for limit 3.291208731833638E8
1700.47/1689.41	c cleaning 1877 clauses out of 3763 for limit 2.6785945787966638E9
1700.68/1689.64	c cleaning 993 clauses out of 2388 for limit 6.974800531153591E9
1700.87/1689.87	c cleaning 744 clauses out of 1894 for limit 1.4487969231258812E10
1701.17/1690.13	c cleaning 823 clauses out of 1649 for limit 2.7414997412785378E10
1703.00/1691.90	c cleaning 1857 clauses out of 3826 for limit 2.3768360245742374E11
1703.20/1692.16	c cleaning 1029 clauses out of 2475 for limit 6.095817288624584E11
1703.50/1692.43	c cleaning 764 clauses out of 1942 for limit 1.2760737029813005E12
1703.70/1692.68	c cleaning 625 clauses out of 1676 for limit 2.4335363272042036E12
1705.42/1694.34	c cleaning 1831 clauses out of 4056 for limit 2.032926993627928E13
1705.62/1694.57	c cleaning 1172 clauses out of 2731 for limit 5.009114815391925E13
1705.82/1694.77	c cleaning 1024 clauses out of 2048 for limit 1.0895044080954162E14
1706.02/1694.98	c cleaning 567 clauses out of 1525 for limit 2.4153468153100738E14
1706.23/1695.17	c cleaning 727 clauses out of 1457 for limit 4.164963178662058E14
1708.54/1697.49	c cleaning 2609 clauses out of 5231 for limit 1.0476675509725334E-4
1708.84/1697.79	c cleaning 1528 clauses out of 3127 for limit 2.90475011476786E-4
1709.14/1698.04	c cleaning 849 clauses out of 2093 for limit 7.114039083478128E-4
1709.34/1698.26	c cleaning 679 clauses out of 1746 for limit 0.001409178947300891
1711.87/1700.70	c cleaning 2577 clauses out of 5565 for limit 0.039808808267333566
1712.07/1700.96	c cleaning 1544 clauses out of 3490 for limit 0.10489235323904926
1712.37/1701.26	c cleaning 1022 clauses out of 2446 for limit 0.24681337463600722
1712.67/1701.50	c cleaning 759 clauses out of 1924 for limit 0.5174590205082734
1712.87/1701.73	c cleaning 629 clauses out of 1663 for limit 0.9853162471489819
1715.11/1703.99	c cleaning 2321 clauses out of 5036 for limit 17.836033995818518
1715.50/1704.30	c cleaning 1413 clauses out of 3215 for limit 46.0743187637883
1715.70/1704.57	c cleaning 947 clauses out of 2301 for limit 106.0582987535383
1716.00/1704.86	c cleaning 729 clauses out of 1853 for limit 216.97376798534324
1718.62/1707.47	c cleaning 2111 clauses out of 4627 for limit 2891.198402487973
1719.02/1707.85	c cleaning 1302 clauses out of 3013 for limit 7300.130347964913
1721.76/1710.56	c cleaning 2410 clauses out of 5212 for limit 140136.43344033966
1722.06/1710.83	c cleaning 1447 clauses out of 3302 for limit 364782.7435436729
1722.36/1711.11	c cleaning 977 clauses out of 2356 for limit 843968.9459600318
1722.56/1711.40	c cleaning 744 clauses out of 1882 for limit 1747598.0695571192
1724.88/1713.63	c cleaning 2113 clauses out of 4633 for limit 2.3432440632297702E7
1725.29/1714.00	c cleaning 1315 clauses out of 3023 for limit 5.940200455418182E7
1725.49/1714.26	c cleaning 1102 clauses out of 2205 for limit 1.3390074883717893E8
1725.69/1714.49	c cleaning 801 clauses out of 1603 for limit 3.03748375731777E8
1727.61/1716.35	c cleaning 1901 clauses out of 3804 for limit 2.579950205711712E9
1727.91/1716.61	c cleaning 1201 clauses out of 2402 for limit 6.73131949510681E9
1728.11/1716.86	c cleaning 830 clauses out of 1700 for limit 1.5669158054794498E10
1730.04/1718.76	c cleaning 1432 clauses out of 2870 for limit 6.86493190926451E10
1730.55/1719.23	c cleaning 958 clauses out of 1939 for limit 1.6773771417411734E11
1731.04/1719.74	c cleaning 733 clauses out of 1480 for limit 3.620496978241992E11
1733.27/1721.92	c cleaning 1576 clauses out of 3247 for limit 2.0129224852599832E12
1733.67/1722.32	c cleaning 1013 clauses out of 2172 for limit 4.967523355117724E12
1733.97/1722.69	c cleaning 823 clauses out of 1659 for limit 1.0725294832776607E13
1736.60/1725.26	c cleaning 1900 clauses out of 3836 for limit 9.330659670707775E13
1736.90/1725.57	c cleaning 1168 clauses out of 2435 for limit 2.4216610537642775E14
1737.21/1725.90	c cleaning 839 clauses out of 1770 for limit 5.5105948098414556E14
1739.94/1728.58	c cleaning 2410 clauses out of 4928 for limit 1.0795545863357637E-4
1740.24/1728.83	c cleaning 1423 clauses out of 3018 for limit 2.9070463586147483E-4
1740.44/1729.09	c cleaning 961 clauses out of 2095 for limit 6.906262042651473E-4
1740.74/1729.37	c cleaning 726 clauses out of 1636 for limit 0.0014613986142023054
1744.37/1732.93	c cleaning 2863 clauses out of 5908 for limit 0.0600898818946542
1744.77/1733.31	c cleaning 1690 clauses out of 3546 for limit 0.16526980115708262
1745.07/1733.64	c cleaning 1091 clauses out of 2356 for limit 0.41021622784463563
1745.37/1733.94	c cleaning 794 clauses out of 1764 for limit 0.9026323975461281
1748.61/1737.10	c cleaning 2639 clauses out of 5473 for limit 26.326345001704304
1748.91/1737.48	c cleaning 1566 clauses out of 3332 for limit 71.17015099215666
1749.31/1737.82	c cleaning 1036 clauses out of 2266 for limit 172.58333674396238
1749.61/1738.17	c cleaning 767 clauses out of 1729 for limit 372.636291354873
1749.91/1738.45	c cleaning 636 clauses out of 1462 for limit 726.75605127933
1753.86/1742.35	c cleaning 2809 clauses out of 5830 for limit 27224.78079374594
1754.15/1742.68	c cleaning 1662 clauses out of 3518 for limit 74180.44989640429
1754.55/1743.04	c cleaning 1071 clauses out of 2356 for limit 182669.4406654827
1754.85/1743.36	c cleaning 795 clauses out of 1784 for limit 397436.4640215367
1755.15/1743.69	c cleaning 646 clauses out of 1492 for limit 786055.4071862268
1757.69/1746.11	c cleaning 2078 clauses out of 4345 for limit 8945176.190313842
1757.99/1746.45	c cleaning 1375 clauses out of 2766 for limit 2.3149833904902015E7
1758.30/1746.74	c cleaning 944 clauses out of 1890 for limit 5.581611775874275E7
1758.59/1747.01	c cleaning 657 clauses out of 1449 for limit 1.2042383879679145E8
1758.79/1747.29	c cleaning 545 clauses out of 1289 for limit 2.2257700132324436E8
1759.09/1747.56	c cleaning 615 clauses out of 1245 for limit 3.8041203817449343E8
1759.40/1747.86	c cleaning 468 clauses out of 1129 for limit 6.911161417795553E8
1761.43/1749.80	c cleaning 1822 clauses out of 3661 for limit 4.287267399911434E9
1761.74/1750.13	c cleaning 1168 clauses out of 2341 for limit 1.107908252579168E10
1762.03/1750.47	c cleaning 737 clauses out of 1672 for limit 2.555584898808999E10
1762.43/1750.81	c cleaning 611 clauses out of 1434 for limit 4.909065312406881E10
1762.74/1751.11	c cleaning 565 clauses out of 1324 for limit 8.777086434487152E10
1763.03/1751.41	c cleaning 531 clauses out of 1258 for limit 1.5218753908371936E11
1764.96/1753.37	c cleaning 1757 clauses out of 3727 for limit 1.0333219737730096E12
1765.26/1753.69	c cleaning 1128 clauses out of 2470 for limit 2.571307350580437E12
1765.66/1754.02	c cleaning 822 clauses out of 1843 for limit 5.688738992379504E12
1765.96/1754.33	c cleaning 758 clauses out of 1521 for limit 1.1367579923486799E13
1766.26/1754.67	c cleaning 630 clauses out of 1262 for limit 2.2571439162246926E13
1768.28/1756.65	c cleaning 1703 clauses out of 3632 for limit 1.577640649693409E14
1768.58/1756.97	c cleaning 1116 clauses out of 2431 for limit 3.8948781852700125E14
1768.88/1757.27	c cleaning 903 clauses out of 1813 for limit 8.595435734938492E14
1769.18/1757.58	c cleaning 700 clauses out of 1410 for limit 1.8226466263099228E15
1769.58/1757.90	c cleaning 595 clauses out of 1211 for limit 3.503223490777911E-5
1769.88/1758.20	c cleaning 519 clauses out of 1116 for limit 6.269078094136936E-5
1771.42/1759.79	c cleaning 1518 clauses out of 3096 for limit 2.7536696994386495E-4
1771.82/1760.14	c cleaning 941 clauses out of 2079 for limit 6.769377089289975E-4
1772.12/1760.44	c cleaning 716 clauses out of 1638 for limit 0.0014169195291271067
1772.41/1760.74	c cleaning 607 clauses out of 1422 for limit 0.0026916300868695267
1772.72/1761.04	c cleaning 548 clauses out of 1314 for limit 0.004798892048820143
1773.01/1761.33	c cleaning 530 clauses out of 1269 for limit 0.008219287013017053
1774.84/1763.17	c cleaning 1768 clauses out of 3737 for limit 0.05603236697939568
1775.24/1763.50	c cleaning 1133 clauses out of 2469 for limit 0.1398610755554145
1775.54/1763.81	c cleaning 816 clauses out of 1836 for limit 0.3101709811204083
1775.74/1764.07	c cleaning 654 clauses out of 1519 for limit 0.6176428837813793
1776.14/1764.40	c cleaning 578 clauses out of 1365 for limit 1.1334919797172553
1776.34/1764.70	c cleaning 543 clauses out of 1288 for limit 1.9830133531770695
1776.64/1764.97	c cleaning 515 clauses out of 1245 for limit 3.383202844332555
1778.17/1766.46	c cleaning 1514 clauses out of 3229 for limit 15.895502692117521
1778.57/1766.81	c cleaning 1004 clauses out of 2215 for limit 38.21417326717488
1778.87/1767.13	c cleaning 745 clauses out of 1711 for limit 81.58382751539175
1779.17/1767.44	c cleaning 628 clauses out of 1466 for limit 157.0276034978131
1779.47/1767.74	c cleaning 562 clauses out of 1339 for limit 283.80483812353816
1779.77/1768.02	c cleaning 532 clauses out of 1277 for limit 490.7557101676806
1779.97/1768.29	c cleaning 522 clauses out of 1245 for limit 830.1236641202523
1781.20/1769.46	c cleaning 1261 clauses out of 2722 for limit 2805.518011194717
1781.50/1769.75	c cleaning 875 clauses out of 1961 for limit 6422.135661602343
1781.80/1770.01	c cleaning 691 clauses out of 1586 for limit 13095.128760988702
1782.10/1770.31	c cleaning 599 clauses out of 1396 for limit 24559.410406610867
1782.40/1770.61	c cleaning 548 clauses out of 1296 for limit 43583.26165348361
1782.70/1770.94	c cleaning 518 clauses out of 1248 for limit 74639.03773606685
1783.00/1771.23	c cleaning 511 clauses out of 1231 for limit 124914.5313524224
1783.30/1771.51	c cleaning 503 clauses out of 1219 for limit 207820.64361860376
1784.73/1772.90	c cleaning 1256 clauses out of 2718 for limit 690773.2484259343
1785.04/1773.22	c cleaning 884 clauses out of 1964 for limit 1579677.3452190699
1785.33/1773.56	c cleaning 784 clauses out of 1576 for limit 3233489.8350161957
1785.63/1773.89	c cleaning 643 clauses out of 1292 for limit 6504607.364552055
1785.93/1774.16	c cleaning 504 clauses out of 1150 for limit 1.2063578611409212E7
1786.23/1774.46	c cleaning 470 clauses out of 1146 for limit 1.9963894600279983E7
1787.26/1775.46	c cleaning 985 clauses out of 2176 for limit 4.715618425529748E7
1787.56/1775.77	c cleaning 741 clauses out of 1691 for limit 1.00071365619109E8
1787.86/1776.07	c cleaning 619 clauses out of 1451 for limit 1.9252025149916106E8
1788.26/1776.40	c cleaning 563 clauses out of 1330 for limit 3.4568382218996835E8
1788.46/1776.68	c cleaning 522 clauses out of 1267 for limit 5.984253305727696E8
1788.76/1776.99	c cleaning 617 clauses out of 1245 for limit 1.0043223299366232E9
1789.06/1777.26	c cleaning 458 clauses out of 1128 for limit 1.828054998217482E9
1790.28/1778.49	c cleaning 1334 clauses out of 2673 for limit 5.723036053821543E9
1790.68/1778.80	c cleaning 917 clauses out of 1836 for limit 1.3699512578208769E10
1790.98/1779.11	c cleaning 605 clauses out of 1419 for limit 2.9231512272380947E10
1791.28/1779.44	c cleaning 547 clauses out of 1314 for limit 5.2058805763613174E10
1791.59/1779.74	c cleaning 633 clauses out of 1268 for limit 8.905549287356819E10
1791.88/1780.06	c cleaning 566 clauses out of 1134 for limit 1.640545522244496E11
1792.90/1781.07	c cleaning 933 clauses out of 2068 for limit 4.034767063563268E11
1793.20/1781.37	c cleaning 713 clauses out of 1635 for limit 8.416027218804849E11
1793.50/1781.68	c cleaning 610 clauses out of 1424 for limit 1.5967606064926204E12
1793.91/1782.00	c cleaning 657 clauses out of 1314 for limit 2.853713177860049E12
1794.20/1782.32	c cleaning 480 clauses out of 1157 for limit 5.344760067656127E12
1794.50/1782.62	c cleaning 587 clauses out of 1175 for limit 8.66184822834312E12
1795.43/1783.56	c cleaning 1043 clauses out of 2091 for limit 2.1896041118042742E13
1795.73/1783.86	c cleaning 729 clauses out of 1545 for limit 4.872406351986058E13
1796.03/1784.12	c cleaning 551 clauses out of 1317 for limit 9.435753965906497E13
1796.23/1784.36	c cleaning 530 clauses out of 1267 for limit 1.6191092992732953E14
1796.53/1784.65	c cleaning 619 clauses out of 1240 for limit 2.736468915424293E14
1796.83/1784.98	c cleaning 557 clauses out of 1119 for limit 4.990786380867749E14
1797.13/1785.28	c cleaning 500 clauses out of 1059 for limit 8.670725938386955E14
1797.85/1785.97	c cleaning 773 clauses out of 1559 for limit 1.6018324166446963E-5
1798.15/1786.29	c cleaning 625 clauses out of 1287 for limit 3.2031335432152485E-5
1798.55/1786.60	c cleaning 573 clauses out of 1162 for limit 5.8506396661165684E-5
1798.85/1786.91	c cleaning 522 clauses out of 1089 for limit 1.029526397431189E-4
1799.15/1787.20	c cleaning 516 clauses out of 1067 for limit 1.7328334941979606E-4
1799.36/1787.49	c cleaning 476 clauses out of 1053 for limit 2.9014680505387423E-4
1799.65/1787.79	c cleaning 518 clauses out of 1075 for limit 4.6776159648882065E-4
1800.09/1788.11	c starts		: 22
1800.09/1788.11	c conflicts		: 1104522
1800.09/1788.11	c decisions		: 1762146
1800.09/1788.11	c propagations		: 38986786
1800.09/1788.11	c inspects		: 1595630364
1800.09/1788.11	c learnt literals	: 4
1800.09/1788.11	c learnt binary clauses	: 11
1800.09/1788.11	c learnt ternary clauses	: 32
1800.09/1788.11	c learnt clauses	: 1104518
1800.09/1788.11	c root simplifications	: 0
1800.09/1788.11	c removed literals (reason simplification)	: 0
1800.09/1788.11	c reason swapping (by a shorter reason)	: 0
1800.09/1788.11	c Calls to reduceDB	: 261
1800.09/1788.11	c speed (decisions/second)	: 986.8433653162818
1800.09/1788.11	c non guided choices	17926
1800.09/1788.11	s UNKNOWN
1800.09/1788.11	c Total wall clock time (ms): 1787.885

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/node46/watcher-349417-1176700116 -o ROOT/results/node46/solver-349417-1176700116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349417-1176700116/sat4jPseudoResolution.jar /tmp/evaluation/349417-1176700116/instance-349417-1176700116.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.94 1.00 0.99 2/65 27357
/proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=152 CPUtime=0
/proc/27357/stat : 27357 (java) R 27355 27357 26315 0 -1 0 42 0 0 0 0 0 0 0 20 0 1 0 24694761 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7795492 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27357/statm: 38 26 19 9 0 4 0

[startup+0.0256929 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 27357
/proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=12536 CPUtime=0
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 793 0 0 0 0 0 0 0 18 0 2 0 24694761 12836864 567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 3134 567 254 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12536

[startup+0.101719 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 27357
/proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1777844 CPUtime=0.07
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 3813 0 1 0 5 2 0 0 18 0 7 0 24694761 1820512256 3555 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 444461 3555 1089 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301746 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 27357
/proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1781472 CPUtime=0.3
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 5426 0 1 0 27 3 0 0 18 0 12 0 24694761 1824227328 5164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 445368 5164 1263 9 0 442980 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1781472

[startup+0.701823 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 27357
/proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1782336 CPUtime=0.86
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 8793 0 1 0 82 4 0 0 18 0 12 0 24694761 1825112064 8240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 445584 8240 1297 9 0 443196 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 1782336

[startup+1.50297 s]
/proc/loadavg: 0.94 1.00 0.99 4/77 27369
/proc/meminfo: memFree=1737832/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1794136 CPUtime=2.34
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 23104 0 1 0 224 10 0 0 18 0 12 0 24694761 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448534 20152 1304 9 0 446146 0
[pid=27357/tid=27359] ppid=27355 vsize=1794136 CPUtime=1.08
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 16484 0 1 0 101 7 0 0 18 0 12 0 24694763 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102840147 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 24694766 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 24694766 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 24694768 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 24694768 1837195264 20153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 24694768 1837195264 20155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 24694773 1837195264 20156 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1794136 CPUtime=0.51
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 1804 0 0 0 51 0 0 0 17 0 12 0 24694773 1837195264 20157 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1794136 CPUtime=0.71
/proc/27357/task/27367/stat : 27367 (java) R 27355 27357 26315 0 -1 64 4093 0 0 0 70 1 0 0 20 0 12 0 24694773 1837195264 20158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336912 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 24694773 1837195264 20158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1794136 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 24694773 1837195264 20159 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 1794136

[startup+3.10227 s]
/proc/loadavg: 0.94 1.00 0.99 3/77 27369
/proc/meminfo: memFree=1637992/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793260 CPUtime=4.58
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 51132 0 1 0 435 23 0 0 18 0 13 0 24694761 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448315 47496 1328 9 0 445927 0
[pid=27357/tid=27359] ppid=27355 vsize=1793260 CPUtime=2.34
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37707 0 1 0 217 17 0 0 17 0 13 0 24694763 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109867641 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793260 CPUtime=0.15
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3282 0 0 0 14 1 0 0 16 0 13 0 24694766 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793260 CPUtime=0.15
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 3171 0 0 0 14 1 0 0 16 0 13 0 24694766 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793260 CPUtime=0.83
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2027 0 0 0 83 0 0 0 16 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793260 CPUtime=1.07
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4215 0 0 0 105 2 0 0 16 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793260 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 1793260

[startup+6.30185 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27370
/proc/meminfo: memFree=1592096/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793068 CPUtime=7.91
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 51151 0 1 0 768 23 0 0 18 0 13 0 24694761 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448267 47464 1328 9 0 445879 0
[pid=27357/tid=27359] ppid=27355 vsize=1793068 CPUtime=5.49
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37713 0 1 0 532 17 0 0 25 0 13 0 24694763 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109871266 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793068 CPUtime=0.15
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3282 0 0 0 14 1 0 0 16 0 13 0 24694766 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793068 CPUtime=0.15
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 3171 0 0 0 14 1 0 0 16 0 13 0 24694766 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793068 CPUtime=0.97
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2038 0 0 0 97 0 0 0 16 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793068 CPUtime=1.12
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4217 0 0 0 110 2 0 0 16 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793068 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 1793068

[startup+12.703 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27370
/proc/meminfo: memFree=1563744/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=14.74
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 58620 0 1 0 1447 27 0 0 18 0 13 0 24694761 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 54565 1328 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=11.45
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37717 0 1 0 1128 17 0 0 25 0 13 0 24694763 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109914041 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=0.53
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 6951 0 0 0 50 3 0 0 16 0 13 0 24694766 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=0.53
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 6960 0 0 0 50 3 0 0 16 0 13 0 24694766 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.01
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2040 0 0 0 101 0 0 0 17 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.17
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4222 0 0 0 115 2 0 0 17 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 1793712

[startup+25.5014 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 27370
/proc/meminfo: memFree=1529184/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=27.95
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 68968 0 1 0 2763 32 0 0 18 0 13 0 24694761 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 63248 1328 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=23.82
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37723 0 1 0 2365 17 0 0 25 0 13 0 24694763 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109819225 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=0.96
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 12357 0 0 0 90 6 0 0 16 0 13 0 24694766 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=0.95
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 11896 0 0 0 90 5 0 0 16 0 13 0 24694766 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2048 0 0 0 108 0 0 0 16 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1612.63
Current children cumulated vsize (KiB) 1793712

[startup+1662.3 s]
/proc/loadavg: 1.66 1.24 1.07 2/78 27372
/proc/meminfo: memFree=251488/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=1673.11
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 574370 0 1 0 167035 276 0 0 18 0 13 0 24694761 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 381815 1330 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1650.74
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 69708 0 1 0 165044 30 0 0 25 0 13 0 24694763 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109786321 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=9.91
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 246561 0 0 0 873 118 0 0 17 0 13 0 24694766 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=9.93
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 250909 0 0 0 878 115 0 0 16 0 13 0 24694766 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.13
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 195 0 0 0 5 8 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.08
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2048 0 0 0 108 0 0 0 16 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1673.11
Current children cumulated vsize (KiB) 1793712

[startup+1722.3 s]
/proc/loadavg: 1.24 1.19 1.07 2/78 27372
/proc/meminfo: memFree=250144/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=1733.67
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 584891 0 1 0 173086 281 0 0 18 0 13 0 24694761 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 382179 1330 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1710.14
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 72452 0 1 0 170983 31 0 0 25 0 13 0 24694763 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109581776 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=10.48
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 249787 0 0 0 928 120 0 0 16 0 13 0 24694766 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=10.49
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 255424 0 0 0 932 117 0 0 16 0 13 0 24694766 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.13
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 228 0 0 0 5 8 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1733.67
Current children cumulated vsize (KiB) 1793712

[startup+1782.3 s]
/proc/loadavg: 1.09 1.16 1.06 2/78 27372
/proc/meminfo: memFree=207776/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=1794.2
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 610392 0 1 0 179127 293 0 0 18 0 13 0 24694761 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 392692 1330 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1769.56
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 77736 0 1 0 176923 33 0 0 25 0 13 0 24694763 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109936866 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=11.04
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 260185 0 0 0 980 124 0 0 16 0 13 0 24694766 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=11.05
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 265237 0 0 0 982 123 0 0 17 0 13 0 24694766 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.14
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 234 0 0 0 5 9 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (KiB) 1793712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.1 s]
/proc/loadavg: 1.08 1.15 1.06 2/78 27372
/proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=1793712 CPUtime=1800.09
/proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 610829 0 1 0 179715 294 0 0 18 0 13 0 24694761 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 448428 391465 1330 9 0 446040 0
[pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1775.28
/proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 77739 0 1 0 177495 33 0 0 17 0 13 0 24694763 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109936856 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=11.12
/proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 260487 0 0 0 988 124 0 0 16 0 13 0 24694766 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=11.13
/proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 265357 0 0 0 990 123 0 0 17 0 13 0 24694766 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.14
/proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 246 0 0 0 5 9 0 0 15 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1
/proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26
/proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0
/proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1793712

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

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

[startup+1788.21 s]
/proc/loadavg: 1.08 1.15 1.06 2/78 27372
/proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=0 CPUtime=1800.2
/proc/27357/stat : 27357 (java) Z 27355 27357 26315 0 -1 1036 610850 0 1 0 179718 302 0 0 16 0 2 0 24694761 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

[startup+1788.3 s]
/proc/loadavg: 1.08 1.15 1.06 2/78 27372
/proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956
[pid=27357] ppid=27355 vsize=0 CPUtime=1800.29
/proc/27357/stat : 27357 (java) Z 27355 27357 26315 0 -1 1036 610850 0 1 0 179718 311 0 0 16 0 2 0 24694761 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1788.37
CPU time (s): 1800.35
CPU user time (s): 1797.18
CPU system time (s): 3.17252
CPU usage (%): 100.67
Max. virtual memory (cumulated for all children) (KiB): 1794136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 3.17252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 610850
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= 40647
involuntary context switches= 39517

runsolver used 2.04469 second user time and 4.48432 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Mon Apr 16 05:08:38 UTC 2007

IDJOB= 349417
IDBENCH= 2416
IDSOLVER= 159
FILE ID= node46/349417-1176700116

PBS_JOBID= 4560006

Free space on /tmp= 66167 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  73a69ec0478725312d0c26d36222113a

RANDOM SEED= 450906973

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
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:       1778208 kB
Buffers:         13540 kB
Cached:         193132 kB
SwapCached:       2768 kB
Active:          93512 kB
Inactive:       125924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778208 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            5664 kB
Writeback:           0 kB
Mapped:          18952 kB
Slab:            44300 kB
Committed_AS:  1683924 kB
PageTables:       1480 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= 66167 MiB

End job on node46 on Mon Apr 16 05:38:28 UTC 2007