Trace number 353858

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-23SAT (TO)5030911 1800.45 1786.63

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUMb5587ac28cf407bbfa21e21c74984478
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3806208
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3581952
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
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 constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.10/0.33	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.10/0.34	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.10/0.34	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.10/0.35	c no version file found!!!
0.10/0.35	c sun.arch.data.model	32
0.10/0.35	c java.version	1.6.0
0.10/0.35	c os.name	Linux
0.10/0.35	c os.version	2.6.9-22.EL.rootsmp
0.10/0.35	c os.arch	i386
0.10/0.35	c Free memory 1651659224
0.10/0.35	c Max memory 1654456320
0.10/0.35	c Total memory 1654456320
0.10/0.35	c Number of processors 2
0.20/0.40	--- Begin Solver configuration ---
0.20/0.40	c Stops conflict analysis at the first Unique Implication Point
0.20/0.40	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.40	c Learn all clauses as in MiniSAT
0.20/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.40	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.40	c No reason simplification
0.20/0.40	c --- End Solver configuration ---
0.20/0.40	c solving /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb
0.20/0.40	c reading problem ... 
1.59/1.26	c ... done. Wall clock time 0.856s.
1.59/1.26	c CPU time (experimental) 0.57s.
1.59/1.26	c #vars     3100
1.59/1.26	c #constraints  140
2.97/2.00	c SATISFIABLE
2.97/2.00	c OPTIMIZING...
2.97/2.00	c Got one! Elapsed wall clock time (in seconds):1.6
2.97/2.02	o 8610304
3.30/2.24	c Got one! Elapsed wall clock time (in seconds):1.833
3.30/2.25	o 5033984
17.15/15.92	c Got one! Elapsed wall clock time (in seconds):15.513
17.15/15.93	o 5030911
1582.91/1570.78	c cleaning 611805 clauses out of 1223694 for limit 418579.5090183659
1602.05/1589.89	c cleaning 308438 clauses out of 616893 for limit 1.2403317753529246E8
1609.40/1597.14	c cleaning 156219 clauses out of 312452 for limit 1.3356970409692818E10
1611.40/1599.10	c cleaning 78354 clauses out of 156732 for limit 4.386872098560095E10
1615.13/1602.87	c cleaning 41178 clauses out of 82378 for limit 4.566132401114507E-8
1618.16/1605.84	c cleaning 22339 clauses out of 44701 for limit 2.7942690867813468E-6
1618.66/1606.38	c cleaning 11426 clauses out of 22863 for limit 9.018673142201624E-6
1622.69/1610.40	c cleaning 8205 clauses out of 16437 for limit 0.001866432029268692
1623.08/1610.78	c cleaning 4351 clauses out of 8730 for limit 0.00578372124803605
1625.83/1613.47	c cleaning 3416 clauses out of 6879 for limit 0.08953147158844361
1626.23/1613.88	c cleaning 1965 clauses out of 3964 for limit 0.25648252779487707
1629.86/1617.40	c cleaning 2976 clauses out of 5999 for limit 9.271706282931925
1630.16/1617.74	c cleaning 1738 clauses out of 3523 for limit 26.03645011620106
1630.46/1618.07	c cleaning 1117 clauses out of 2285 for limit 66.20093095374561
1630.86/1618.47	c cleaning 811 clauses out of 1667 for limit 149.49823886964836
1632.89/1620.47	c cleaning 1405 clauses out of 2856 for limit 645.4119783904622
1633.29/1620.89	c cleaning 955 clauses out of 1951 for limit 1558.094670510379
1633.69/1621.26	c cleaning 723 clauses out of 1497 for limit 3352.121178461374
1634.19/1621.79	c cleaning 611 clauses out of 1273 for limit 6494.331927852638
1637.42/1624.97	c cleaning 1805 clauses out of 3662 for limit 45412.96602118116
1637.92/1625.41	c cleaning 1158 clauses out of 2357 for limit 116357.53492974864
1640.14/1627.67	c cleaning 1825 clauses out of 3699 for limit 904376.3531450455
1640.64/1628.13	c cleaning 1168 clauses out of 2374 for limit 2323853.2651546146
1644.77/1632.20	c cleaning 2831 clauses out of 5707 for limit 8.730096391304334E7
1646.81/1634.29	c cleaning 2417 clauses out of 4876 for limit 7.557649773104489E8
1647.31/1634.72	c cleaning 1461 clauses out of 2959 for limit 2.0538152834146602E9
1647.71/1635.10	c cleaning 977 clauses out of 1997 for limit 5.013599713216227E9
1650.14/1637.58	c cleaning 1761 clauses out of 3522 for limit 3.474456099784858E10
1650.64/1638.00	c cleaning 1128 clauses out of 2259 for limit 8.915522756306389E10
1650.94/1638.39	c cleaning 815 clauses out of 1632 for limit 2.0371982204633603E11
1653.67/1641.06	c cleaning 3133 clauses out of 6317 for limit 1.291389713580287E13
1653.88/1641.24	c cleaning 1816 clauses out of 3684 for limit 3.651778817609627E13
1654.07/1641.42	c cleaning 1184 clauses out of 2368 for limit 9.369108656330072E13
1654.17/1641.59	c cleaning 841 clauses out of 1683 for limit 2.1717870187760494E14
1654.37/1641.76	c cleaning 671 clauses out of 1342 for limit 4.4916377176718794E14
1654.57/1641.92	c cleaning 558 clauses out of 1171 for limit 8.488994024007998E14
1654.67/1642.09	c cleaning 556 clauses out of 1113 for limit 1.472901978685262E15
1654.88/1642.26	c cleaning 500 clauses out of 1057 for limit 2.557701803049045E15
1655.07/1642.46	c cleaning 508 clauses out of 1058 for limit 4.2182239000166535E15
1656.90/1644.21	c cleaning 1014 clauses out of 2052 for limit 9.774051518922477E-5
1657.40/1644.70	c cleaning 762 clauses out of 1536 for limit 2.149055483393164E-4
1657.80/1645.10	c cleaning 632 clauses out of 1275 for limit 4.273847856464872E-4
1661.03/1648.34	c cleaning 2296 clauses out of 4641 for limit 0.006410556712786928
1661.53/1648.80	c cleaning 1400 clauses out of 2846 for limit 0.017256901415896652
1661.93/1649.23	c cleaning 951 clauses out of 1945 for limit 0.04160058936531502
1662.23/1649.58	c cleaning 722 clauses out of 1494 for limit 0.08931499507455165
1662.63/1649.93	c cleaning 615 clauses out of 1273 for limit 0.17303620083946716
1664.46/1651.75	c cleaning 1300 clauses out of 2657 for limit 0.6125800609585579
1664.76/1652.06	c cleaning 897 clauses out of 1858 for limit 1.446102577728468
1665.06/1652.34	c cleaning 701 clauses out of 1460 for limit 3.031889223430625
1665.36/1652.61	c cleaning 601 clauses out of 1260 for limit 5.79943972174444
1665.66/1652.90	c cleaning 551 clauses out of 1159 for limit 10.397502536467735
1665.96/1653.29	c cleaning 533 clauses out of 1108 for limit 17.936123993417123
1666.46/1653.79	c cleaning 515 clauses out of 1075 for limit 30.487076513403057
1669.29/1656.55	c cleaning 2254 clauses out of 4560 for limit 393.1936526476524
1669.59/1656.85	c cleaning 1372 clauses out of 2805 for limit 1053.0763286393947
1669.89/1657.19	c cleaning 936 clauses out of 1934 for limit 2521.3123163494156
1670.29/1657.59	c cleaning 712 clauses out of 1497 for limit 5366.395663069751
1670.69/1657.97	c cleaning 609 clauses out of 1285 for limit 10309.966392917588
1670.99/1658.23	c cleaning 565 clauses out of 1178 for limit 18584.034259141183
1672.62/1659.83	c cleaning 1027 clauses out of 2111 for limit 46418.990569393194
1673.12/1660.30	c cleaning 771 clauses out of 1584 for limit 102019.83929658627
1673.62/1660.83	c cleaning 635 clauses out of 1313 for limit 202969.58944743325
1674.02/1661.28	c cleaning 569 clauses out of 1178 for limit 373083.7178228565
1675.65/1662.85	c cleaning 1032 clauses out of 2110 for limit 935128.522887214
1676.25/1663.44	c cleaning 761 clauses out of 1578 for limit 2062066.4072737752
1676.75/1663.95	c cleaning 658 clauses out of 1317 for limit 4074551.000940868
1677.15/1664.39	c cleaning 579 clauses out of 1159 for limit 7635508.83876976
1677.55/1664.74	c cleaning 511 clauses out of 1079 for limit 1.3512053332423754E7
1679.07/1666.21	c cleaning 1018 clauses out of 2068 for limit 3.161985849332442E7
1679.47/1666.64	c cleaning 775 clauses out of 1550 for limit 6.957202515065204E7
1680.07/1667.25	c cleaning 635 clauses out of 1275 for limit 1.394800343617871E8
1681.70/1668.86	c cleaning 1068 clauses out of 2142 for limit 3.7311219891439533E8
1682.19/1669.39	c cleaning 784 clauses out of 1572 for limit 8.367452136723003E8
1682.70/1669.85	c cleaning 628 clauses out of 1288 for limit 1.684169517022488E9
1684.22/1671.36	c cleaning 1079 clauses out of 2162 for limit 4.509025178947362E9
1684.75/1671.83	c cleaning 788 clauses out of 1582 for limit 1.0152038267979084E10
1685.14/1672.28	c cleaning 624 clauses out of 1293 for limit 2.0463625329771862E10
1687.98/1675.01	c cleaning 1814 clauses out of 3669 for limit 1.4506702704379623E11
1688.28/1675.40	c cleaning 1178 clauses out of 2356 for limit 3.729336186786792E11
1688.78/1675.88	c cleaning 838 clauses out of 1677 for limit 8.631676075255282E11
1689.18/1676.25	c cleaning 651 clauses out of 1344 for limit 1.785078724144522E12
1692.11/1679.17	c cleaning 2065 clauses out of 4188 for limit 1.8909002518482855E13
1692.41/1679.44	c cleaning 1277 clauses out of 2623 for limit 4.978894101032478E13
1692.81/1679.84	c cleaning 899 clauses out of 1846 for limit 1.1666897168264136E14
1693.31/1680.32	c cleaning 723 clauses out of 1449 for limit 2.4560861256397966E14
1693.81/1680.85	c cleaning 612 clauses out of 1225 for limit 4.7862707680800275E14
1695.83/1682.88	c cleaning 1300 clauses out of 2612 for limit 1.6586288537544843E-5
1696.33/1683.37	c cleaning 900 clauses out of 1812 for limit 3.942939219221591E-5
1696.73/1683.79	c cleaning 690 clauses out of 1412 for limit 8.34448361192379E-5
1697.23/1684.25	c cleaning 603 clauses out of 1222 for limit 1.5900795197156382E-4
1699.46/1686.47	c cleaning 1543 clauses out of 3121 for limit 7.609300578739085E-4
1699.86/1686.81	c cleaning 1017 clauses out of 2076 for limit 0.001882773264503376
1700.26/1687.24	c cleaning 763 clauses out of 1560 for limit 0.004136101352041475
1700.56/1687.55	c cleaning 624 clauses out of 1296 for limit 0.008202233797825366
1700.86/1687.88	c cleaning 563 clauses out of 1173 for limit 0.014959929005676892
1701.16/1688.13	c cleaning 533 clauses out of 1109 for limit 0.02606857992082064
1701.46/1688.43	c cleaning 518 clauses out of 1078 for limit 0.044315440397417874
1701.76/1688.77	c cleaning 509 clauses out of 1058 for limit 0.07431475086692006
1704.58/1691.55	c cleaning 1497 clauses out of 3050 for limit 0.3147565680786762
1705.08/1692.07	c cleaning 1006 clauses out of 2052 for limit 0.7707590974583441
1705.58/1692.53	c cleaning 748 clauses out of 1546 for limit 1.6871061687303628
1708.51/1695.46	c cleaning 2369 clauses out of 4798 for limit 29.73984874524089
1708.91/1695.85	c cleaning 1431 clauses out of 2930 for limit 80.39365568090007
1709.31/1696.29	c cleaning 969 clauses out of 1998 for limit 194.22954337487047
1709.71/1696.67	c cleaning 743 clauses out of 1531 for limit 418.85190296581334
1710.21/1697.10	c cleaning 624 clauses out of 1286 for limit 820.6946049407771
1710.61/1697.51	c cleaning 562 clauses out of 1163 for limit 1498.073877507827
1710.91/1697.86	c cleaning 527 clauses out of 1100 for limit 2609.4058754577914
1711.31/1698.21	c cleaning 518 clauses out of 1074 for limit 4411.84695456433
1713.75/1700.63	c cleaning 1511 clauses out of 3055 for limit 18899.85309774834
1714.24/1701.10	c cleaning 1007 clauses out of 2045 for limit 46608.67206734424
1714.75/1701.64	c cleaning 749 clauses out of 1537 for limit 102166.27275076989
1715.24/1702.13	c cleaning 628 clauses out of 1289 for limit 201103.16172436235
1717.37/1704.29	c cleaning 1300 clauses out of 2660 for limit 720077.4580164343
1717.87/1704.74	c cleaning 931 clauses out of 1862 for limit 1699832.3341330993
1718.27/1705.10	c cleaning 714 clauses out of 1429 for limit 3645359.7784850835
1718.57/1705.44	c cleaning 590 clauses out of 1216 for limit 7071791.537791335
1718.97/1705.83	c cleaning 543 clauses out of 1126 for limit 1.2594488131871982E7
1721.40/1708.28	c cleaning 2041 clauses out of 4083 for limit 1.1522076149327101E8
1721.70/1708.60	c cleaning 1270 clauses out of 2541 for limit 3.0501895669589365E8
1722.00/1708.89	c cleaning 884 clauses out of 1772 for limit 7.220348793375893E8
1722.40/1709.21	c cleaning 669 clauses out of 1387 for limit 1.5197313037514179E9
1722.90/1709.71	c cleaning 592 clauses out of 1219 for limit 2.8544994488556905E9
1723.20/1710.04	c cleaning 542 clauses out of 1126 for limit 5.091158921419288E9
1723.50/1710.36	c cleaning 525 clauses out of 1084 for limit 8.721308500627121E9
1725.22/1712.07	c cleaning 1280 clauses out of 2560 for limit 2.7341921107282143E10
1725.72/1712.50	c cleaning 890 clauses out of 1780 for limit 6.484923777822841E10
1726.22/1713.01	c cleaning 690 clauses out of 1389 for limit 1.3691278593124048E11
1726.62/1713.42	c cleaning 575 clauses out of 1199 for limit 2.6156700359723706E11
1727.02/1713.85	c cleaning 562 clauses out of 1124 for limit 4.601418308778723E11
1728.95/1715.71	c cleaning 1257 clauses out of 2563 for limit 1.4940580816531167E12
1729.35/1716.13	c cleaning 883 clauses out of 1807 for limit 3.4982297871944277E12
1729.85/1716.60	c cleaning 692 clauses out of 1423 for limit 7.318514896671422E12
1730.15/1716.93	c cleaning 590 clauses out of 1230 for limit 1.3949033749546178E13
1730.56/1717.31	c cleaning 570 clauses out of 1140 for limit 2.4819913988826484E13
1732.28/1719.00	c cleaning 1263 clauses out of 2570 for limit 8.143208378454312E13
1732.68/1719.45	c cleaning 885 clauses out of 1807 for limit 1.909969385010822E14
1733.18/1719.93	c cleaning 711 clauses out of 1422 for limit 4.002587632783211E14
1733.58/1720.32	c cleaning 600 clauses out of 1212 for limit 7.752258118235253E-6
1735.51/1722.27	c cleaning 1543 clauses out of 3114 for limit 3.687743402287704E-5
1735.91/1722.61	c cleaning 1027 clauses out of 2068 for limit 9.130217432054585E-5
1736.31/1723.00	c cleaning 745 clauses out of 1542 for limit 2.0213321314665114E-4
1736.71/1723.42	c cleaning 637 clauses out of 1297 for limit 3.9631267683751486E-4
1737.01/1723.79	c cleaning 568 clauses out of 1160 for limit 7.307618022075681E-4
1737.31/1724.10	c cleaning 520 clauses out of 1091 for limit 0.0012800603694071407
1737.81/1724.53	c cleaning 516 clauses out of 1072 for limit 0.0021505562976113614
1739.83/1726.53	c cleaning 1749 clauses out of 3555 for limit 0.013031872029742115
1740.13/1726.87	c cleaning 1128 clauses out of 2306 for limit 0.03313164472817199
1740.53/1727.20	c cleaning 817 clauses out of 1678 for limit 0.07508725522826118
1740.83/1727.52	c cleaning 658 clauses out of 1362 for limit 0.1527114064394484
1741.13/1727.86	c cleaning 576 clauses out of 1204 for limit 0.28489051125657644
1741.63/1728.33	c cleaning 539 clauses out of 1127 for limit 0.5014203211457319
1742.03/1728.78	c cleaning 523 clauses out of 1088 for limit 0.8565502346544296
1744.16/1730.89	c cleaning 1758 clauses out of 3565 for limit 5.2584472495571095
1744.56/1731.26	c cleaning 1125 clauses out of 2307 for limit 13.400634075869503
1744.96/1731.65	c cleaning 821 clauses out of 1682 for limit 30.311179636477554
1745.26/1731.95	c cleaning 660 clauses out of 1362 for limit 61.7934041815324
1745.56/1732.23	c cleaning 576 clauses out of 1201 for limit 115.45097273970876
1745.86/1732.51	c cleaning 541 clauses out of 1125 for limit 203.25627792170351
1746.16/1732.81	c cleaning 517 clauses out of 1085 for limit 347.90218108448585
1746.46/1733.16	c cleaning 514 clauses out of 1069 for limit 582.9074194591637
1747.06/1733.70	c cleaning 503 clauses out of 1054 for limit 973.997972366173
1748.99/1735.61	c cleaning 1501 clauses out of 3051 for limit 4104.269696547635
1749.29/1736.00	c cleaning 1000 clauses out of 2049 for limit 10068.331714906753
1749.79/1736.41	c cleaning 747 clauses out of 1549 for limit 21963.621110552867
1750.19/1736.86	c cleaning 632 clauses out of 1302 for limit 43092.35844938264
1750.68/1737.30	c cleaning 566 clauses out of 1172 for limit 79105.8400538265
1752.11/1738.76	c cleaning 1284 clauses out of 2604 for limit 262814.7303583349
1752.61/1739.25	c cleaning 890 clauses out of 1821 for limit 620399.066953425
1753.21/1739.90	c cleaning 695 clauses out of 1430 for limit 1301566.6721578992
1753.91/1740.50	c cleaning 599 clauses out of 1235 for limit 2485371.9148935783
1755.35/1741.94	c cleaning 818 clauses out of 1636 for limit 5102544.7086696895
1755.95/1742.55	c cleaning 659 clauses out of 1320 for limit 1.045011566546798E7
1756.65/1743.28	c cleaning 554 clauses out of 1159 for limit 1.958837709889023E7
1757.25/1743.87	c cleaning 526 clauses out of 1106 for limit 3.388575479595124E7
1758.37/1744.94	c cleaning 766 clauses out of 1580 for limit 6.450999049537565E7
1758.87/1745.47	c cleaning 656 clauses out of 1315 for limit 1.279524808641571E8
1759.47/1746.07	c cleaning 558 clauses out of 1157 for limit 2.3934698886365813E8
1760.28/1746.82	c cleaning 534 clauses out of 1100 for limit 4.1558421231808466E8
1761.50/1748.08	c cleaning 782 clauses out of 1565 for limit 7.936237320978423E8
1762.10/1748.67	c cleaning 641 clauses out of 1283 for limit 1.5964606513519137E9
1762.60/1749.15	c cleaning 555 clauses out of 1144 for limit 2.9585830256961727E9
1763.92/1750.46	c cleaning 1023 clauses out of 2088 for limit 7.262939735789964E9
1764.32/1750.88	c cleaning 766 clauses out of 1564 for limit 1.5974510585492819E10
1764.73/1751.25	c cleaning 628 clauses out of 1298 for limit 3.174281987680396E10
1765.12/1751.67	c cleaning 563 clauses out of 1170 for limit 5.80751342555605E10
1765.62/1752.14	c cleaning 552 clauses out of 1107 for limit 1.0122419935109718E11
1767.84/1754.37	c cleaning 1777 clauses out of 3555 for limit 6.340561045560925E11
1768.24/1754.74	c cleaning 1120 clauses out of 2278 for limit 1.6318095126710315E12
1768.74/1755.20	c cleaning 811 clauses out of 1660 for limit 3.7003261324385317E12
1769.34/1755.80	c cleaning 652 clauses out of 1347 for limit 7.505287939707801E12
1769.74/1756.23	c cleaning 597 clauses out of 1195 for limit 1.3951565295976693E13
1771.47/1757.90	c cleaning 1277 clauses out of 2598 for limit 4.746519206931553E13
1771.87/1758.37	c cleaning 893 clauses out of 1821 for limit 1.1167612355982477E14
1772.27/1758.71	c cleaning 714 clauses out of 1428 for limit 2.3485399701976762E14
1772.67/1759.14	c cleaning 607 clauses out of 1214 for limit 4.5557865030302025E14
1773.27/1759.76	c cleaning 554 clauses out of 1108 for limit 8.240103918479611E14
1775.20/1761.69	c cleaning 1275 clauses out of 2556 for limit 2.647306166318462E-5
1775.70/1762.18	c cleaning 883 clauses out of 1779 for limit 6.260023104464575E-5
1776.10/1762.52	c cleaning 681 clauses out of 1396 for limit 1.3155954200396266E-4
1776.50/1762.90	c cleaning 602 clauses out of 1215 for limit 2.492799680175545E-4
1776.90/1763.34	c cleaning 535 clauses out of 1112 for limit 4.4872497929638304E-4
1779.42/1765.86	c cleaning 1764 clauses out of 3577 for limit 0.0028060888321979147
1779.82/1766.27	c cleaning 1133 clauses out of 2313 for limit 0.007156498914380042
1780.12/1766.60	c cleaning 816 clauses out of 1680 for limit 0.016248858165541478
1780.52/1766.91	c cleaning 653 clauses out of 1364 for limit 0.033004537115249616
1780.82/1767.22	c cleaning 581 clauses out of 1212 for limit 0.061316279537362635
1781.12/1767.59	c cleaning 544 clauses out of 1131 for limit 0.10836067393024595
1781.52/1767.97	c cleaning 520 clauses out of 1086 for limit 0.1859198893735676
1781.92/1768.34	c cleaning 511 clauses out of 1066 for limit 0.3123592417180046
1782.22/1768.69	c cleaning 503 clauses out of 1055 for limit 0.520493118386945
1784.95/1771.39	c cleaning 2003 clauses out of 4054 for limit 4.502398590735574
1785.35/1771.71	c cleaning 1253 clauses out of 2549 for limit 11.785410446964157
1785.75/1772.10	c cleaning 874 clauses out of 1796 for limit 27.584435596724767
1786.15/1772.56	c cleaning 696 clauses out of 1422 for limit 57.45485398303577
1786.55/1772.90	c cleaning 595 clauses out of 1226 for limit 109.89849334080947
1786.85/1773.29	c cleaning 545 clauses out of 1131 for limit 196.46061116363677
1789.59/1775.96	c cleaning 2021 clauses out of 4086 for limit 1803.9767768629847
1789.99/1776.36	c cleaning 1264 clauses out of 2565 for limit 4739.121272565521
1790.39/1776.73	c cleaning 880 clauses out of 1802 for limit 11135.784141380138
1790.79/1777.14	c cleaning 678 clauses out of 1421 for limit 23264.99094482272
1791.20/1777.56	c cleaning 595 clauses out of 1243 for limit 43861.32268254733
1791.59/1777.97	c cleaning 554 clauses out of 1150 for limit 78339.34263854437
1792.09/1778.41	c cleaning 525 clauses out of 1094 for limit 135533.70321001424
1793.52/1779.89	c cleaning 1008 clauses out of 2069 for limit 321419.18618460424
1794.12/1780.41	c cleaning 757 clauses out of 1562 for limit 702816.027774616
1794.52/1780.87	c cleaning 634 clauses out of 1304 for limit 1386968.093413735
1795.02/1781.30	c cleaning 562 clauses out of 1170 for limit 2549259.738828949
1795.52/1781.84	c cleaning 554 clauses out of 1108 for limit 4439316.156623367
1797.85/1784.11	c cleaning 1526 clauses out of 3055 for limit 1.9658870783237185E7
1798.35/1784.63	c cleaning 1014 clauses out of 2028 for limit 4.878914497849035E7
1798.85/1785.12	c cleaning 733 clauses out of 1514 for limit 1.077757787874229E8
1799.25/1785.58	c cleaning 615 clauses out of 1281 for limit 2.1006505018749756E8
1800.08/1786.32	c starts		: 38
1800.08/1786.32	c conflicts		: 1453758
1800.08/1786.32	c decisions		: 1977008
1800.08/1786.32	c propagations		: 69497779
1800.08/1786.32	c inspects		: 1492328641
1800.08/1786.32	c learnt literals	: 0
1800.08/1786.32	c learnt binary clauses	: 0
1800.08/1786.32	c learnt ternary clauses	: 0
1800.08/1786.32	c learnt clauses	: 1453758
1800.08/1786.32	c root simplifications	: 0
1800.08/1786.32	c removed literals (reason simplification)	: 0
1800.08/1786.32	c reason swapping (by a shorter reason)	: 0
1800.08/1786.32	c Calls to reduceDB	: 234
1800.08/1786.32	c speed (decisions/second)	: 1116.7246491256312
1800.08/1786.32	c non guided choices	10
1800.08/1786.32	s SATISFIABLE
1800.08/1786.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.08/1786.34	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.08/1786.34	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.08/1786.34	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.08/1786.34	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.08/1786.34	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.08/1786.34	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167
1800.08/1786.34	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.08/1786.34	v -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.08/1786.34	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.08/1786.34	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.08/1786.34	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.08/1786.34	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.08/1786.34	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.08/1786.34	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.08/1786.34	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.08/1786.34	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.08/1786.34	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.08/1786.34	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.08/1786.34	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.08/1786.34	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.08/1786.34	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.08/1786.34	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.08/1786.34	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524
1800.08/1786.34	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.08/1786.34	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.08/1786.34	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.08/1786.34	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.08/1786.34	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.08/1786.34	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.08/1786.34	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.08/1786.34	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.08/1786.34	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.08/1786.34	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.08/1786.34	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.08/1786.34	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.08/1786.34	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797
1800.08/1786.34	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.08/1786.34	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.08/1786.34	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.08/1786.34	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.08/1786.34	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902
1800.08/1786.34	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.08/1786.34	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.08/1786.34	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966
1800.08/1786.34	v x967 x968 x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.08/1786.34	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.08/1786.34	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.08/1786.34	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.08/1786.34	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.08/1786.34	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.08/1786.34	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.08/1786.34	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.08/1786.34	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.08/1786.34	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.08/1786.34	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.08/1786.34	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.08/1786.34	v -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1800.08/1786.34	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1800.08/1786.34	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1800.08/1786.34	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.08/1786.34	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1800.08/1786.34	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.08/1786.34	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.08/1786.34	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.08/1786.34	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.08/1786.34	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.08/1786.34	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.08/1786.34	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.08/1786.34	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.08/1786.34	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415
1800.08/1786.34	v -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1800.08/1786.34	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1800.08/1786.34	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1800.08/1786.34	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1800.08/1786.34	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.08/1786.34	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.08/1786.34	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1800.08/1786.34	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.08/1786.34	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571
1800.08/1786.34	v -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1800.08/1786.34	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1800.08/1786.34	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1800.08/1786.34	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.08/1786.34	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.08/1786.34	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.08/1786.34	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1800.08/1786.34	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.08/1786.34	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
1800.08/1786.34	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1800.08/1786.34	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1800.08/1786.34	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.08/1786.34	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.08/1786.34	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.08/1786.34	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1800.08/1786.34	v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
1800.08/1786.34	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1800.08/1786.34	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1800.08/1786.34	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1800.08/1786.34	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1800.08/1786.34	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
1800.08/1786.34	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1800.08/1786.34	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1800.08/1786.34	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.08/1786.34	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997
1800.08/1786.34	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
1800.08/1786.34	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031
1800.08/1786.34	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.08/1786.34	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065
1800.08/1786.34	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.08/1786.34	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.08/1786.34	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.08/1786.34	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.08/1786.34	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.08/1786.34	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.08/1786.34	v -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
1800.08/1786.34	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202
1800.08/1786.34	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1800.08/1786.34	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236
1800.08/1786.34	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253
1800.08/1786.34	v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1800.08/1786.34	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.08/1786.34	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
1800.08/1786.34	v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321
1800.08/1786.34	v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.08/1786.34	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.08/1786.34	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1800.08/1786.34	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1800.08/1786.34	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1800.08/1786.34	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.08/1786.34	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1800.08/1786.34	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.08/1786.34	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.08/1786.34	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1800.08/1786.34	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.08/1786.34	v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525
1800.08/1786.34	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1800.08/1786.34	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.08/1786.34	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.08/1786.34	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1800.08/1786.34	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.08/1786.34	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627
1800.08/1786.34	v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
1800.08/1786.34	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
1800.08/1786.34	v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1800.08/1786.34	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1800.08/1786.34	v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713
1800.08/1786.34	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1800.08/1786.34	v x2731 x2732 x2733 x2734 x2735 x2736 x2737 x2738 x2739 x2740 x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
1800.08/1786.34	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766
1800.08/1786.34	v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783
1800.08/1786.34	v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
1800.08/1786.34	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817
1800.08/1786.34	v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834
1800.08/1786.34	v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851
1800.08/1786.34	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
1800.08/1786.34	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
1800.08/1786.34	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903
1800.08/1786.34	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1800.08/1786.34	v x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938
1800.08/1786.34	v -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955
1800.08/1786.34	v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972
1800.08/1786.34	v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989
1800.08/1786.34	v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006
1800.08/1786.34	v x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024
1800.08/1786.34	v -x3025 -x3026 x3027 -x3028 -x3029 -x3030 x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042
1800.08/1786.34	v -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1800.08/1786.34	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1800.08/1786.34	v -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 x3092 -x3093 -x3094 -x3095 x3096
1800.08/1786.34	v -x3097 x3098 x3099 -x3100
1800.08/1786.36	c objective function=5030911
1800.08/1786.36	c Total wall clock time (ms): 1785.954

Verifier Data (download as text)

OK	5030911

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-353858-1176686907 -o ROOT/results/node63/solver-353858-1176686907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.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.05 1.02 3/64 8283
/proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=18568 CPUtime=0
/proc/8283/stat : 8283 (runsolver) D 8281 8283 7284 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 144680644 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 247254805799 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/8283/statm: 4642 292 257 24 0 2626 0

[startup+0.0491149 s]
/proc/loadavg: 0.94 1.05 1.02 3/64 8283
/proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=12496 CPUtime=0.01
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 778 0 0 0 0 1 0 0 18 0 2 0 144680644 12795904 561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 3124 561 250 9 0 1241 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12496

[startup+0.102115 s]
/proc/loadavg: 0.94 1.05 1.02 3/64 8283
/proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=12620 CPUtime=0.01
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 847 0 0 0 0 1 0 0 18 0 2 0 144680644 12922880 604 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 3155 604 287 9 0 1243 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12620

[startup+0.302146 s]
/proc/loadavg: 0.94 1.05 1.02 3/64 8283
/proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1780256 CPUtime=0.1
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 4018 0 1 0 7 3 0 0 18 0 12 0 144680644 1822982144 3760 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 445064 3760 1124 9 0 442683 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1780256

[startup+0.701185 s]
/proc/loadavg: 0.94 1.05 1.02 3/64 8283
/proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1782136 CPUtime=0.6
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 5895 0 1 0 57 3 0 0 18 0 12 0 144680644 1824907264 5606 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 445534 5606 1288 9 0 443146 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 1782136

[startup+1.50127 s]
/proc/loadavg: 0.94 1.05 1.02 4/76 8295
/proc/meminfo: memFree=1859996/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1795312 CPUtime=2.19
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 15109 0 1 0 210 9 0 0 18 0 12 0 144680644 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448828 11040 1318 9 0 446440 0
[pid=8283/tid=8285] ppid=8281 vsize=1795312 CPUtime=0.66
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 6834 0 1 0 62 4 0 0 18 0 12 0 144680648 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 144680665 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 144680665 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144680673 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1795312 CPUtime=0.69
/proc/8283/task/8292/stat : 8292 (java) R 8281 8283 7284 0 -1 64 2452 0 0 0 68 1 0 0 17 0 12 0 144680673 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 101749120 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1795312 CPUtime=0.81
/proc/8283/task/8293/stat : 8293 (java) R 8281 8283 7284 0 -1 64 5104 0 0 0 79 2 0 0 21 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103315183 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1795312 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 1795312

[startup+3.10143 s]
/proc/loadavg: 0.94 1.05 1.02 3/76 8296
/proc/meminfo: memFree=1842396/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793636 CPUtime=4.2
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 24818 0 1 0 407 13 0 0 18 0 13 0 144680644 1836683264 18973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448409 18974 1319 9 0 446021 0
[pid=8283/tid=8285] ppid=8281 vsize=1793636 CPUtime=2.1
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 15057 0 1 0 203 7 0 0 25 0 13 0 144680648 1836683264 18974 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109694939 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144680665 1836683264 18975 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144680665 1836683264 18976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 144680667 1836683264 18977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 144680667 1836683264 18978 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144680667 1836683264 18980 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836683264 18980 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793636 CPUtime=1.05
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3873 0 0 0 103 2 0 0 16 0 13 0 144680673 1836683264 18981 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793636 CPUtime=1.03
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5163 0 0 0 101 2 0 0 16 0 13 0 144680673 1836683264 18982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836683264 18982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793636 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836683264 18983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 1793636

[startup+6.30277 s]
/proc/loadavg: 0.94 1.05 1.02 2/77 8298
/proc/meminfo: memFree=1758420/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=7.41
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 45252 0 1 0 722 19 0 0 18 0 13 0 144680644 1836486656 39230 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 39231 1319 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=5.28
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 35490 0 1 0 515 13 0 0 25 0 13 0 144680648 1836486656 39231 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109554689 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144680665 1836486656 39231 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144680665 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 144680667 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144680667 1836486656 39233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 39233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.06
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3874 0 0 0 104 2 0 0 17 0 13 0 144680673 1836486656 39234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.03
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5163 0 0 0 101 2 0 0 16 0 13 0 144680673 1836486656 39234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 39235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 39236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8298] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8298/stat : 8298 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 144680873 1836486656 39236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1793444

[startup+12.7024 s]
/proc/loadavg: 0.95 1.05 1.02 2/77 8298
/proc/meminfo: memFree=1710868/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=13.92
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 51995 0 1 0 1370 22 0 0 18 0 13 0 144680644 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 45884 1328 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=11.6
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 37711 0 1 0 1146 14 0 0 22 0 13 0 144680648 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109522882 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0.04
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 2336 0 0 0 3 1 0 0 17 0 13 0 144680665 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0.03
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 2169 0 0 0 3 0 0 0 17 0 13 0 144680665 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.15
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3881 0 0 0 113 2 0 0 17 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.06
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5165 0 0 0 104 2 0 0 17 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8298] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8298/stat : 8298 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 144680873 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 1793444

[startup+25.5028 s]
/proc/loadavg: 0.96 1.05 1.02 2/77 8299
/proc/meminfo: memFree=1688340/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=26.89
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 57793 0 1 0 2664 25 0 0 18 0 13 0 144680644 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 51555 1329 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=24.31
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 37715 0 1 0 2417 14 0 0 25 0 13 0 144680648 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109841525 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0.1
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 5054 0 0 0 8 2 0 0 16 0 13 0 144680665 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0.1
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 5229 0 0 0 8 2 0 0 17 0 13 0 144680665 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.15
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 140 0 0 0 7 8 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.33
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3897 0 0 0 131 2 0 0 17 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.63
Current children cumulated vsize (KiB) 1793444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8301
/proc/meminfo: memFree=456596/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=1675.15
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 490705 0 1 0 167277 238 0 0 18 0 13 0 144680644 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 358636 1332 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1648.14
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 46230 0 1 0 164790 24 0 0 23 0 13 0 144680648 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109700085 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=12.12
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 222275 0 0 0 1110 102 0 0 17 0 13 0 144680665 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=12.14
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 212258 0 0 0 1118 96 0 0 17 0 13 0 144680665 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.15
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 147 0 0 0 7 8 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.33
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3897 0 0 0 131 2 0 0 17 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1675.15
Current children cumulated vsize (KiB) 1793444

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8301
/proc/meminfo: memFree=445012/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=1735.61
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 496781 0 1 0 173318 243 0 0 18 0 13 0 144680644 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 361486 1332 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1707.57
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 49263 0 1 0 170731 26 0 0 25 0 13 0 144680648 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109522854 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=12.61
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 223774 0 0 0 1158 103 0 0 16 0 13 0 144680665 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=12.64
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 213788 0 0 0 1167 97 0 0 16 0 13 0 144680665 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 158 0 0 0 8 8 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.61
Current children cumulated vsize (KiB) 1793444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8301
/proc/meminfo: memFree=422740/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=1796.05
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 505125 0 1 0 179358 247 0 0 18 0 13 0 144680644 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 366817 1332 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1767.01
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 53900 0 1 0 176672 29 0 0 25 0 13 0 144680648 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109678134 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=13.12
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 226152 0 0 0 1207 105 0 0 16 0 13 0 144680665 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=13.14
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 215105 0 0 0 1217 97 0 0 16 0 13 0 144680665 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 170 0 0 0 8 8 0 0 15 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 1793444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8301
/proc/meminfo: memFree=424852/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=1793444 CPUtime=1800.08
/proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 505135 0 1 0 179761 247 0 0 18 0 13 0 144680644 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 448361 366506 1332 9 0 445973 0
[pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1770.99
/proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 53901 0 1 0 177070 29 0 0 18 0 13 0 144680648 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109677369 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=13.15
/proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 226152 0 0 0 1210 105 0 0 16 0 13 0 144680665 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=13.17
/proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 215114 0 0 0 1219 98 0 0 16 0 13 0 144680665 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16
/proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 170 0 0 0 8 8 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36
/proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2
/proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0
/proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1793444

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

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

[startup+1786.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 8301
/proc/meminfo: memFree=424852/2055920 swapFree=4184464/4192956
[pid=8283] ppid=8281 vsize=0 CPUtime=1800.42
/proc/8283/stat : 8283 (java) Z 8281 8283 7284 0 -1 1036 505154 0 1 0 179776 266 0 0 15 0 2 0 144680644 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8283/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.63
CPU time (s): 1800.45
CPU user time (s): 1797.76
CPU system time (s): 2.68859
CPU usage (%): 100.774
Max. virtual memory (cumulated for all children) (KiB): 1795312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.76
system time used= 2.68859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505154
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= 41160
involuntary context switches= 33829

runsolver used 1.81372 second user time and 4.72828 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 16 01:28:27 UTC 2007

IDJOB= 353858
IDBENCH= 2280
IDSOLVER= 159
FILE ID= node63/353858-1176686907

PBS_JOBID= 4559986

Free space on /tmp= 66550 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-353858-1176686907 -o ROOT/results/node63/solver-353858-1176686907 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  b5587ac28cf407bbfa21e21c74984478

RANDOM SEED= 79619744

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1891412 kB
Buffers:          1504 kB
Cached:          55232 kB
SwapCached:       1880 kB
Active:          71292 kB
Inactive:        32268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891412 kB
SwapTotal:     4192956 kB
SwapFree:      4184464 kB
Dirty:            3768 kB
Writeback:           0 kB
Mapped:          53504 kB
Slab:            46784 kB
Committed_AS:  1948112 kB
PageTables:       1604 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= 66550 MiB

End job on node63 on Mon Apr 16 01:58:16 UTC 2007