Trace number 355280

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.26 1791.24

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb
MD5SUM00fd5397600f602b7512f4fbf6ea5edc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-5
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -15
Optimality of the best value was proved NO
Number of variables1951
Total number of constraints5581
Number of constraints which are clauses5580
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint1860
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 618970019642690137449562112
Number of bits of the biggest number in a constraint 90
Biggest sum of numbers in a constraint 2475880078237913026827969150
Number of bits of the biggest sum of numbers91
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.12/0.44	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.12/0.44	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.12/0.44	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.12/0.45	c no version file found!!!
0.12/0.45	c sun.arch.data.model	32
0.12/0.45	c java.version	1.6.0
0.12/0.45	c os.name	Linux
0.12/0.45	c os.version	2.6.9-22.EL.rootsmp
0.12/0.45	c os.arch	i386
0.12/0.45	c Free memory 1651659224
0.12/0.45	c Max memory 1654456320
0.12/0.45	c Total memory 1654456320
0.12/0.45	c Number of processors 2
0.22/0.51	--- Begin Solver configuration ---
0.22/0.51	c Stops conflict analysis at the first Unique Implication Point
0.22/0.51	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.22/0.51	c Learn all clauses as in MiniSAT
0.22/0.51	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.51	c VSIDS like heuristics from MiniSAT using a heap
0.22/0.51	c No reason simplification
0.22/0.51	c --- End Solver configuration ---
0.22/0.51	c solving /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb
0.22/0.51	c reading problem ... 
1.56/1.41	c ... done. Wall clock time 0.902s.
1.56/1.42	c CPU time (experimental) 0.75s.
1.56/1.42	c #vars     1951
1.56/1.42	c #constraints  5582
1511.35/1504.88	c cleaning 171743 clauses out of 343502 for limit 5244.862759030654
1521.01/1514.40	c cleaning 86370 clauses out of 172757 for limit 28305.478135708134
1525.35/1518.76	c cleaning 43683 clauses out of 87387 for limit 152184.73516694995
1527.15/1520.59	c cleaning 22096 clauses out of 44205 for limit 496634.54728205793
1528.77/1522.19	c cleaning 11294 clauses out of 22609 for limit 1601337.4300327515
1530.27/1523.60	c cleaning 5899 clauses out of 11816 for limit 5058061.731214638
1531.71/1525.03	c cleaning 3201 clauses out of 6415 for limit 1.5333624030132663E7
1532.81/1526.16	c cleaning 1849 clauses out of 3714 for limit 4.367726731706447E7
1534.01/1527.38	c cleaning 1172 clauses out of 2365 for limit 1.1311549493721254E8
1535.34/1528.64	c cleaning 840 clauses out of 1694 for limit 2.606935210951493E8
1536.63/1529.95	c cleaning 677 clauses out of 1355 for limit 5.380154502566181E8
1537.86/1531.12	c cleaning 587 clauses out of 1176 for limit 1.0202664000307522E9
1538.95/1532.26	c cleaning 545 clauses out of 1090 for limit 1.817125015068871E9
1540.05/1533.34	c cleaning 515 clauses out of 1045 for limit 3.1257259733278255E9
1541.18/1534.46	c cleaning 503 clauses out of 1029 for limit 5.229656842817759E9
1542.18/1535.46	c cleaning 507 clauses out of 1027 for limit 8.64984892719502E9
1543.41/1536.61	c cleaning 496 clauses out of 1019 for limit 1.4362371538299858E10
1544.40/1537.69	c cleaning 512 clauses out of 1024 for limit 2.3593413725173294E10
1545.50/1538.72	c cleaning 506 clauses out of 1012 for limit 3.9370063434099266E10
1546.63/1539.82	c cleaning 497 clauses out of 1006 for limit 6.531373703073232E10
1547.73/1541.00	c cleaning 503 clauses out of 1008 for limit 1.0738988002177888E11
1549.07/1542.22	c cleaning 491 clauses out of 1005 for limit 1.776289360648501E11
1550.26/1543.49	c cleaning 507 clauses out of 1014 for limit 2.903338735074914E11
1551.46/1544.67	c cleaning 503 clauses out of 1008 for limit 4.8213152552429047E11
1552.89/1546.08	c cleaning 489 clauses out of 1004 for limit 7.974688435099415E11
1554.19/1547.32	c cleaning 509 clauses out of 1019 for limit 1.300969716766376E12
1555.41/1548.57	c cleaning 504 clauses out of 1008 for limit 2.1645504013715032E12
1556.72/1549.82	c cleaning 501 clauses out of 1002 for limit 3.583829803766945E12
1557.82/1550.98	c cleaning 500 clauses out of 1001 for limit 5.916119093057498E12
1559.04/1552.14	c cleaning 492 clauses out of 1001 for limit 9.756471828704594E12
1560.34/1553.44	c cleaning 498 clauses out of 1009 for limit 1.5962157552256863E13
1561.56/1554.63	c cleaning 497 clauses out of 1012 for limit 2.6271970371113824E13
1562.56/1555.69	c cleaning 502 clauses out of 1016 for limit 4.31986175823497E13
1563.69/1556.75	c cleaning 506 clauses out of 1013 for limit 7.137982630522042E13
1564.89/1557.92	c cleaning 504 clauses out of 1008 for limit 1.1841720299012106E14
1565.89/1558.94	c cleaning 490 clauses out of 1002 for limit 1.9606247148868247E14
1567.01/1560.06	c cleaning 500 clauses out of 1012 for limit 3.201382517208772E14
1568.11/1561.12	c cleaning 496 clauses out of 1012 for limit 5.279508044168302E14
1569.12/1562.16	c cleaning 508 clauses out of 1018 for limit 8.672635641201998E14
1570.25/1563.21	c cleaning 493 clauses out of 1008 for limit 1.4415350629443112E15
1571.25/1564.26	c cleaning 507 clauses out of 1016 for limit 2.3609263172788875E15
1572.38/1565.31	c cleaning 503 clauses out of 1009 for limit 3.9204946180825235E15
1573.38/1566.31	c cleaning 502 clauses out of 1006 for limit 6.484700676442674E15
1574.38/1567.33	c cleaning 492 clauses out of 1003 for limit 1.0715399255206922E16
1575.70/1568.61	c cleaning 493 clauses out of 1011 for limit 1.7531295977111278E16
1576.90/1569.82	c cleaning 504 clauses out of 1018 for limit 2.8712650625781027E-4
1578.23/1571.13	c cleaning 501 clauses out of 1014 for limit 4.7537790954085027E-4
1579.42/1572.36	c cleaning 499 clauses out of 1014 for limit 7.847465142661091E-4
1580.75/1573.62	c cleaning 500 clauses out of 1014 for limit 0.0012928578315517625
1582.04/1574.91	c cleaning 498 clauses out of 1015 for limit 0.0021321270599963865
1583.35/1576.21	c cleaning 499 clauses out of 1016 for limit 0.003509189260715449
1584.67/1577.57	c cleaning 498 clauses out of 1019 for limit 0.005781642392770256
1586.06/1578.92	c cleaning 499 clauses out of 1019 for limit 0.009515641891141648
1587.29/1580.16	c cleaning 494 clauses out of 1020 for limit 0.015677181589213492
1588.39/1581.28	c cleaning 503 clauses out of 1026 for limit 0.025702578060792867
1589.71/1582.51	c cleaning 502 clauses out of 1023 for limit 0.042511291674063235
1590.81/1583.60	c cleaning 495 clauses out of 1021 for limit 0.0702441367199419
1591.81/1584.68	c cleaning 502 clauses out of 1027 for limit 0.1152804801813409
1592.94/1585.72	c cleaning 507 clauses out of 1026 for limit 0.19048871774058215
1593.84/1586.64	c cleaning 499 clauses out of 1017 for limit 0.3162878650192986
1595.07/1587.83	c cleaning 497 clauses out of 1020 for limit 0.5211085771029486
1596.17/1588.95	c cleaning 505 clauses out of 1021 for limit 0.8568198407144716
1597.37/1590.13	c cleaning 497 clauses out of 1016 for limit 1.4199643326765015
1598.70/1591.42	c cleaning 501 clauses out of 1021 for limit 2.3349108975773842
1599.80/1592.59	c cleaning 498 clauses out of 1018 for limit 3.8542079215228915
1600.90/1593.64	c cleaning 501 clauses out of 1023 for limit 6.344051594024977
1602.13/1594.88	c cleaning 498 clauses out of 1020 for limit 10.471985488096795
1603.33/1596.07	c cleaning 498 clauses out of 1021 for limit 17.235537696063222
1604.56/1597.29	c cleaning 506 clauses out of 1026 for limit 28.370215862557558
1605.75/1598.42	c cleaning 497 clauses out of 1017 for limit 47.058859740488955
1606.76/1599.42	c cleaning 500 clauses out of 1021 for limit 77.3796942593579
1607.98/1600.66	c cleaning 499 clauses out of 1020 for limit 127.60684025023774
1609.18/1601.85	c cleaning 503 clauses out of 1025 for limit 210.25396544271135
1610.18/1602.89	c cleaning 502 clauses out of 1018 for limit 347.7267670417335
1611.31/1604.00	c cleaning 500 clauses out of 1018 for limit 574.5965754608186
1612.41/1605.00	c cleaning 497 clauses out of 1017 for limit 947.5698496449074
1613.41/1606.08	c cleaning 500 clauses out of 1019 for limit 1558.0427786472287
1614.44/1607.10	c cleaning 503 clauses out of 1020 for limit 2569.471404457858
1615.33/1607.98	c cleaning 498 clauses out of 1018 for limit 4249.977015679237
1616.46/1609.01	c cleaning 505 clauses out of 1018 for limit 6994.770098087841
1617.59/1610.17	c cleaning 497 clauses out of 1013 for limit 11592.248020518986
1618.99/1611.59	c cleaning 500 clauses out of 1016 for limit 19060.71943900471
1620.60/1613.12	c cleaning 500 clauses out of 1016 for limit 31433.67625234587
1622.22/1614.74	c cleaning 500 clauses out of 1017 for limit 51839.20465036153
1623.95/1616.43	c cleaning 500 clauses out of 1016 for limit 85488.35295388449
1625.45/1617.95	c cleaning 499 clauses out of 1017 for limit 140984.08943395628
1627.17/1619.62	c cleaning 496 clauses out of 1017 for limit 232269.12236665966
1628.77/1621.21	c cleaning 499 clauses out of 1021 for limit 381542.19757897506
1630.30/1622.71	c cleaning 501 clauses out of 1022 for limit 628598.4562109124
1631.79/1624.24	c cleaning 502 clauses out of 1022 for limit 1037680.6273161083
1633.29/1625.78	c cleaning 498 clauses out of 1019 for limit 1714595.959247886
1634.92/1627.39	c cleaning 511 clauses out of 1023 for limit 2822183.554171162
1636.42/1628.87	c cleaning 505 clauses out of 1011 for limit 4704691.059463649
1638.05/1630.44	c cleaning 502 clauses out of 1005 for limit 7797180.341736046
1639.65/1632.09	c cleaning 494 clauses out of 1004 for limit 1.2884285120783655E7
1641.27/1633.69	c cleaning 494 clauses out of 1009 for limit 2.112147525345747E7
1642.67/1635.04	c cleaning 498 clauses out of 1016 for limit 3.4626779848568425E7
1644.19/1636.54	c cleaning 497 clauses out of 1018 for limit 5.699200327519731E7
1645.69/1638.09	c cleaning 499 clauses out of 1020 for limit 9.370934541259372E7
1647.42/1639.72	c cleaning 500 clauses out of 1023 for limit 1.5439468750550523E8
1649.02/1641.35	c cleaning 498 clauses out of 1021 for limit 2.546062778614341E8
1650.65/1642.92	c cleaning 512 clauses out of 1024 for limit 4.190687649378288E8
1652.15/1644.41	c cleaning 505 clauses out of 1011 for limit 6.992870222177128E8
1653.58/1645.81	c cleaning 502 clauses out of 1006 for limit 1.1589495476297982E9
1655.08/1647.31	c cleaning 495 clauses out of 1005 for limit 1.9150796792926722E9
1656.71/1648.97	c cleaning 494 clauses out of 1009 for limit 3.1425566750846334E9
1658.30/1650.57	c cleaning 493 clauses out of 1015 for limit 5.151860914456702E9
1659.83/1652.01	c cleaning 497 clauses out of 1022 for limit 8.437915332030638E9
1661.23/1653.48	c cleaning 502 clauses out of 1026 for limit 1.3874875570251076E10
1662.75/1654.97	c cleaning 511 clauses out of 1023 for limit 2.292567858493618E10
1664.36/1656.60	c cleaning 493 clauses out of 1013 for limit 3.821895308965173E10
1666.08/1658.20	c cleaning 509 clauses out of 1020 for limit 6.2595620244325005E10
1667.48/1659.67	c cleaning 492 clauses out of 1010 for limit 1.0414636592668077E11
1669.00/1661.17	c cleaning 496 clauses out of 1019 for limit 1.7040475486606885E11
1670.50/1662.66	c cleaning 511 clauses out of 1022 for limit 2.7991512915652136E11
1672.02/1664.20	c cleaning 506 clauses out of 1012 for limit 4.6664557762401953E11
1673.72/1665.84	c cleaning 499 clauses out of 1005 for limit 7.74146189378356E11
1675.24/1667.35	c cleaning 493 clauses out of 1007 for limit 1.2754104480427263E12
1676.74/1668.84	c cleaning 498 clauses out of 1014 for limit 2.0888024727129321E12
1678.17/1670.26	c cleaning 495 clauses out of 1015 for limit 3.4378795839957085E12
1679.77/1671.80	c cleaning 510 clauses out of 1021 for limit 5.64184771989541E12
1681.50/1673.51	c cleaning 505 clauses out of 1010 for limit 9.396088602433438E12
1683.00/1675.09	c cleaning 491 clauses out of 1006 for limit 1.5572591639924367E13
1684.52/1676.59	c cleaning 507 clauses out of 1014 for limit 2.545319450191705E13
1686.12/1678.11	c cleaning 503 clauses out of 1007 for limit 4.226751034788279E13
1687.55/1679.55	c cleaning 502 clauses out of 1004 for limit 6.99130602222124E13
1689.05/1681.04	c cleaning 501 clauses out of 1002 for limit 1.1552612082308342E14
1690.47/1682.43	c cleaning 501 clauses out of 1002 for limit 1.9070873678199284E14
1691.87/1683.86	c cleaning 488 clauses out of 1000 for limit 3.148180947229483E14
1693.60/1685.56	c cleaning 495 clauses out of 1012 for limit 5.130209029736915E14
1695.20/1687.11	c cleaning 496 clauses out of 1017 for limit 8.418806105297079E14
1696.72/1688.64	c cleaning 510 clauses out of 1021 for limit 1.3829344812073938E15
1698.22/1690.18	c cleaning 493 clauses out of 1011 for limit 2.303202263545702E15
1699.64/1691.51	c cleaning 509 clauses out of 1018 for limit 3.772170751097699E15
1701.05/1692.96	c cleaning 502 clauses out of 1011 for limit 6.276432697909298E-5
1702.58/1694.48	c cleaning 496 clauses out of 1007 for limit 1.0371018876979993E-4
1703.98/1695.89	c cleaning 499 clauses out of 1011 for limit 1.7035529100881486E-4
1705.41/1697.27	c cleaning 501 clauses out of 1012 for limit 2.8066105722055905E-4
1706.80/1698.61	c cleaning 502 clauses out of 1012 for limit 4.633109404616715E-4
1708.32/1700.10	c cleaning 501 clauses out of 1011 for limit 7.655830529911051E-4
1709.83/1701.62	c cleaning 490 clauses out of 1009 for limit 0.0012637863953773466
1711.25/1703.07	c cleaning 498 clauses out of 1018 for limit 0.0020636613925141233
1712.65/1704.46	c cleaning 502 clauses out of 1020 for limit 0.0033965806614516068
1714.17/1705.95	c cleaning 497 clauses out of 1018 for limit 0.005612420643525139
1715.87/1707.70	c cleaning 500 clauses out of 1023 for limit 0.009228843219675074
1717.69/1709.44	c cleaning 502 clauses out of 1022 for limit 0.015219254566407834
1719.09/1710.87	c cleaning 501 clauses out of 1020 for limit 0.025147799690702993
1720.62/1712.31	c cleaning 494 clauses out of 1018 for limit 0.041512009914392585
1722.12/1713.89	c cleaning 500 clauses out of 1024 for limit 0.06805773160667654
1723.85/1715.52	c cleaning 497 clauses out of 1024 for limit 0.11223630401985603
1725.38/1717.01	c cleaning 504 clauses out of 1027 for limit 0.18455200034436195
1726.77/1718.46	c cleaning 500 clauses out of 1023 for limit 0.3055409704839306
1728.20/1719.81	c cleaning 501 clauses out of 1024 for limit 0.5038897563283166
1729.60/1721.27	c cleaning 501 clauses out of 1023 for limit 0.8317939160971853
1731.23/1722.85	c cleaning 497 clauses out of 1022 for limit 1.3730816538488844
1732.83/1724.40	c cleaning 501 clauses out of 1024 for limit 2.257712714948292
1734.55/1726.12	c cleaning 500 clauses out of 1024 for limit 3.7269972956488355
1736.05/1727.62	c cleaning 497 clauses out of 1024 for limit 6.14631712930303
1737.59/1729.11	c cleaning 497 clauses out of 1026 for limit 10.10622436716287
1739.09/1730.66	c cleaning 501 clauses out of 1030 for limit 16.6184100441474
1740.71/1732.26	c cleaning 503 clauses out of 1028 for limit 27.4318410633894
1742.21/1733.71	c cleaning 502 clauses out of 1026 for limit 45.37233276024549
1743.61/1735.14	c cleaning 501 clauses out of 1024 for limit 74.97118919271989
1745.24/1736.79	c cleaning 500 clauses out of 1022 for limit 123.7555930673154
1746.93/1738.49	c cleaning 498 clauses out of 1022 for limit 204.08952869504975
1748.66/1740.11	c cleaning 497 clauses out of 1025 for limit 335.9217715336928
1750.06/1741.58	c cleaning 504 clauses out of 1029 for limit 552.3788497646425
1751.59/1743.09	c cleaning 497 clauses out of 1024 for limit 914.4792061206193
1753.19/1744.63	c cleaning 500 clauses out of 1028 for limit 1503.734194192231
1754.61/1746.04	c cleaning 502 clauses out of 1027 for limit 2479.791241621818
1756.11/1747.58	c cleaning 500 clauses out of 1024 for limit 4097.386988492599
1757.74/1749.17	c cleaning 496 clauses out of 1024 for limit 6757.1392826490455
1759.04/1750.47	c cleaning 502 clauses out of 1029 for limit 11100.380137332033
1760.47/1751.87	c cleaning 499 clauses out of 1026 for limit 18341.17864094524
1761.97/1753.33	c cleaning 503 clauses out of 1029 for limit 30219.281721776326
1763.58/1754.98	c cleaning 501 clauses out of 1024 for limit 49978.86842602652
1765.09/1756.48	c cleaning 501 clauses out of 1023 for limit 82502.40884655675
1766.61/1757.93	c cleaning 497 clauses out of 1022 for limit 136190.63784100977
1768.01/1759.36	c cleaning 502 clauses out of 1027 for limit 223950.7992061939
1769.41/1760.71	c cleaning 498 clauses out of 1023 for limit 370027.74578315706
1771.03/1762.31	c cleaning 495 clauses out of 1025 for limit 609034.5707997679
1772.53/1763.89	c cleaning 508 clauses out of 1031 for limit 999533.9369407716
1773.96/1765.28	c cleaning 502 clauses out of 1022 for limit 1661218.2321632595
1775.46/1766.73	c cleaning 501 clauses out of 1020 for limit 2744942.8066729303
1777.19/1768.48	c cleaning 510 clauses out of 1021 for limit 4531402.50287289
1778.78/1770.05	c cleaning 505 clauses out of 1010 for limit 7546722.549801751
1780.51/1771.76	c cleaning 502 clauses out of 1004 for limit 1.2507410963303683E7
1782.21/1773.48	c cleaning 489 clauses out of 1003 for limit 2.066762621599811E7
1783.95/1775.16	c cleaning 497 clauses out of 1013 for limit 3.371347048933919E7
1785.54/1776.74	c cleaning 497 clauses out of 1016 for limit 5.543385555372968E7
1787.07/1778.25	c cleaning 499 clauses out of 1019 for limit 9.114870374336404E7
1788.47/1779.66	c cleaning 510 clauses out of 1020 for limit 1.5016903710262495E8
1790.09/1781.23	c cleaning 505 clauses out of 1010 for limit 2.501008000646858E8
1791.49/1782.62	c cleaning 491 clauses out of 1006 for limit 4.145041402884453E8
1793.02/1784.13	c cleaning 492 clauses out of 1014 for limit 6.775015198859317E8
1794.32/1785.49	c cleaning 503 clauses out of 1023 for limit 1.108569674068249E9
1795.84/1786.98	c cleaning 509 clauses out of 1019 for limit 1.8335207060635366E9
1797.34/1788.41	c cleaning 493 clauses out of 1010 for limit 3.0506649761865554E9
1798.48/1789.51	c cleaning 502 clauses out of 1018 for limit 4.996415082031601E9
1799.27/1790.37	c cleaning 508 clauses out of 1016 for limit 8.255976872577231E9
1800.01/1791.01	c starts		: 20
1800.01/1791.01	c conflicts		: 444367
1800.01/1791.01	c decisions		: 511905
1800.01/1791.01	c propagations		: 28952239
1800.01/1791.01	c inspects		: 1075896854
1800.01/1791.01	c learnt literals	: 0
1800.01/1791.01	c learnt binary clauses	: 1
1800.01/1791.01	c learnt ternary clauses	: 1
1800.01/1791.01	c learnt clauses	: 444367
1800.01/1791.01	c root simplifications	: 0
1800.01/1791.01	c removed literals (reason simplification)	: 0
1800.01/1791.01	c reason swapping (by a shorter reason)	: 0
1800.01/1791.01	c Calls to reduceDB	: 200
1800.01/1791.01	c speed (decisions/second)	: 286.0465246229584
1800.01/1791.01	c non guided choices	18
1800.01/1791.01	s UNKNOWN
1800.01/1791.01	c Total wall clock time (ms): 1790.501

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/node52/watcher-355280-1176795904 -o ROOT/results/node52/solver-355280-1176795904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.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.92 0.98 0.99 3/64 24890
/proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=18568 CPUtime=0
/proc/24890/stat : 24890 (runsolver) D 24888 24890 24134 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 34435462 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 273653755175 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/24890/statm: 4642 292 257 24 0 2626 0

[startup+0.0225919 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24890
/proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=18568 CPUtime=0
/proc/24890/stat : 24890 (runsolver) D 24888 24890 24134 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 34435462 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 273653755175 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/24890/statm: 4642 292 257 24 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18568

[startup+0.101791 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24890
/proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=12056 CPUtime=0
/proc/24890/stat : 24890 (java) R 24888 24890 24134 0 -1 0 351 0 16 0 0 0 0 0 18 0 1 0 34435462 12345344 175 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4280607 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/24890/statm: 3014 175 135 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.3018 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24890
/proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1777708 CPUtime=0.08
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 3676 0 58 0 4 4 0 0 18 0 7 0 34435462 1820372992 3476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 444427 3476 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777708

[startup+0.701834 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24890
/proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1782416 CPUtime=0.46
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 5270 0 58 0 39 7 0 0 18 0 12 0 34435462 1825193984 5066 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 445604 5066 1268 9 0 443216 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 1782416

[startup+1.50289 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 24902
/proc/meminfo: memFree=1894900/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786264 CPUtime=1.7
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 10089 0 58 0 161 9 0 0 18 0 13 0 34435462 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446566 8936 1311 9 0 444178 0
[pid=24890/tid=24892] ppid=24888 vsize=1786264 CPUtime=0.82
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 7128 0 19 0 76 6 0 0 24 0 13 0 34435477 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528960 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 34435488 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786264 CPUtime=0.39
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1230 0 0 0 39 0 0 0 16 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786264 CPUtime=0.45
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1048 0 0 0 45 0 0 0 16 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786264 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829134336 8937 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 1786264

[startup+3.10299 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 24903
/proc/meminfo: memFree=1880108/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=3.69
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 13490 0 58 0 358 11 0 0 18 0 13 0 34435462 1829404672 11834 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 11834 1315 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=2.33
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 9870 0 19 0 226 7 0 0 25 0 13 0 34435477 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693940 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 34435488 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.65
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1643 0 0 0 64 1 0 0 16 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.68
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 68 0 0 0 15 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 1786528

[startup+6.30221 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 24903
/proc/meminfo: memFree=1851628/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=6.9
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 20363 0 58 0 676 14 0 0 18 0 13 0 34435462 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 18705 1315 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=5.52
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 16740 0 19 0 542 10 0 0 25 0 13 0 34435477 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528994 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.66
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1645 0 0 0 65 1 0 0 16 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.68
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 68 0 0 0 16 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 18706 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 18706 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 1786528

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 24903
/proc/meminfo: memFree=1803372/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=13.34
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 32070 0 58 0 1316 18 0 0 18 0 13 0 34435462 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 30412 1317 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=11.93
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 28442 0 19 0 1178 15 0 0 25 0 13 0 34435477 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693907 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.7
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1650 0 0 0 69 1 0 0 17 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.69
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 69 0 0 0 16 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.34
Current children cumulated vsize (KiB) 1786528

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 24903
/proc/meminfo: memFree=1724332/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=26.27
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 52309 0 58 0 2600 27 0 0 18 0 13 0 34435462 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 48741 1326 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=24.66
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37716 0 19 0 2447 19 0 0 25 0 13 0 34435477 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789963 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0.05
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 5174 0 0 0 3 2 0 0 17 0 13 0 34435484 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0.04
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 5781 0 0 0 2 2 0 0 17 0 13 0 34435484 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.84
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 84 0 0 0 17 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1609.68
Current children cumulated vsize (KiB) 1786528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 25103
/proc/meminfo: memFree=522284/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=1670.2
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 508288 0 58 0 166752 268 0 0 18 0 13 0 34435462 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 348308 1329 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1653.28
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37915 0 19 0 165293 35 0 0 25 0 13 0 34435477 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109676492 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=7.55
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 217426 0 0 0 648 107 0 0 16 0 13 0 34435484 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=7.54
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 249284 0 0 0 637 117 0 0 16 0 13 0 34435484 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 11 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1670.2
Current children cumulated vsize (KiB) 1786528

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 25103
/proc/meminfo: memFree=510572/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=1730.7
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 511967 0 58 0 172799 271 0 0 18 0 13 0 34435462 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 351280 1329 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1712.66
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37935 0 19 0 171231 35 0 0 25 0 13 0 34435477 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528962 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.1
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 219299 0 0 0 702 108 0 0 16 0 13 0 34435484 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.1
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 251068 0 0 0 691 119 0 0 16 0 13 0 34435484 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 13 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1730.7
Current children cumulated vsize (KiB) 1786528

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/77 25103
/proc/meminfo: memFree=501868/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=1791.19
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 514759 0 58 0 178846 273 0 0 18 0 13 0 34435462 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 353409 1329 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1772.09
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37954 0 19 0 177173 36 0 0 25 0 13 0 34435477 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789461 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.64
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 220967 0 0 0 754 110 0 0 16 0 13 0 34435484 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.63
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 252171 0 0 0 744 119 0 0 16 0 13 0 34435484 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.07
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 15 0 0 0 4 3 0 0 16 0 13 0 34435488 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 1786528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791 s]
/proc/loadavg: 1.01 1.01 1.00 2/77 25103
/proc/meminfo: memFree=500204/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=1786528 CPUtime=1800.01
/proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 515578 0 58 0 179728 273 0 0 18 0 13 0 34435462 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 446632 353865 1329 9 0 444244 0
[pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1780.68
/proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37958 0 19 0 178032 36 0 0 17 0 13 0 34435477 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109689555 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.76
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 221480 0 0 0 766 110 0 0 17 0 13 0 34435484 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.75
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 252471 0 0 0 756 119 0 0 17 0 13 0 34435484 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.07
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 17 0 0 0 4 3 0 0 15 0 13 0 34435488 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1786528

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

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

[startup+1791.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/77 25103
/proc/meminfo: memFree=500204/2055920 swapFree=4179260/4192956
[pid=24890] ppid=24888 vsize=0 CPUtime=1800.21
/proc/24890/stat : 24890 (java) Z 24888 24890 24134 0 -1 1036 515598 0 58 0 179730 291 0 0 16 0 2 0 34435462 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1791.24
CPU time (s): 1800.26
CPU user time (s): 1797.3
CPU system time (s): 2.95355
CPU usage (%): 100.503
Max. virtual memory (cumulated for all children) (KiB): 1786528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.3
system time used= 2.95355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515598
page faults= 58
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39421
involuntary context switches= 20151

runsolver used 2.06269 second user time and 4.63729 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Apr 17 07:45:04 UTC 2007

IDJOB= 355280
IDBENCH= 2992
IDSOLVER= 159
FILE ID= node52/355280-1176795904

PBS_JOBID= 4580853

Free space on /tmp= 66382 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-355280-1176795904 -o ROOT/results/node52/solver-355280-1176795904 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  00fd5397600f602b7512f4fbf6ea5edc

RANDOM SEED= 983470698

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1925996 kB
Buffers:         12940 kB
Cached:          63440 kB
SwapCached:       7940 kB
Active:          32612 kB
Inactive:        58060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1925996 kB
SwapTotal:     4192956 kB
SwapFree:      4179260 kB
Dirty:            3760 kB
Writeback:           0 kB
Mapped:          16048 kB
Slab:            25196 kB
Committed_AS:  1513364 kB
PageTables:       1484 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= 66382 MiB

End job on node52 on Tue Apr 17 08:14:57 UTC 2007