Trace number 349527

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.36 1786.19

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
MD5SUM72b327feddced7495a083616b5e4ecd7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13898
Total number of constraints672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint7
Maximum length of a constraint1500
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 13421772800
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 53690300878
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.15	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.16	c java.version	1.6.0
0.08/0.16	c os.name	Linux
0.08/0.16	c os.version	2.6.9-22.EL.rootsmp
0.08/0.16	c os.arch	i386
0.08/0.16	c Free memory 1651659224
0.08/0.16	c Max memory 1654456320
0.08/0.16	c Total memory 1654456320
0.08/0.16	c Number of processors 2
0.19/0.22	--- Begin Solver configuration ---
0.19/0.22	c Stops conflict analysis at the first Unique Implication Point
0.19/0.22	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.22	c Learn all clauses as in MiniSAT
0.19/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.22	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.22	c No reason simplification
0.19/0.22	c --- End Solver configuration ---
0.19/0.22	c solving /tmp/evaluation/349527-1176706107/instance-349527-1176706107.opb
0.19/0.22	c reading problem ... 
2.77/1.77	c ... done. Wall clock time 1.552s.
2.77/1.77	c CPU time (experimental) 1.16s.
2.77/1.77	c #vars     13898
2.77/1.77	c #constraints  816
1659.38/1646.46	c cleaning 374228 clauses out of 748500 for limit 0.227966508446621
1668.13/1655.10	c cleaning 188377 clauses out of 376772 for limit 5.52412715683907
1672.97/1659.96	c cleaning 95193 clauses out of 190395 for limit 80.85563575342609
1674.36/1661.38	c cleaning 47840 clauses out of 95703 for limit 265.5404472011211
1677.80/1664.76	c cleaning 24908 clauses out of 49863 for limit 3769.6530269925497
1678.80/1665.78	c cleaning 12709 clauses out of 25455 for limit 12177.62420431348
1681.74/1668.63	c cleaning 7095 clauses out of 14245 for limit 97500.39268993783
1682.74/1669.70	c cleaning 3807 clauses out of 7651 for limit 299668.44567512977
1684.97/1671.89	c cleaning 2403 clauses out of 4845 for limit 1288284.3220474676
1686.17/1673.08	c cleaning 1449 clauses out of 2943 for limit 3501109.0630885614
1689.19/1676.07	c cleaning 1497 clauses out of 2994 for limit 1.5435182429571936E7
1691.82/1678.66	c cleaning 1477 clauses out of 2994 for limit 6.902014900076808E7
1692.82/1679.62	c cleaning 1009 clauses out of 2018 for limit 1.6904289641649088E8
1695.74/1682.55	c cleaning 1250 clauses out of 2510 for limit 6.101639412224977E8
1696.44/1683.29	c cleaning 879 clauses out of 1759 for limit 1.4344182294994097E9
1698.37/1685.15	c cleaning 935 clauses out of 1879 for limit 3.6483132248448753E9
1699.36/1686.13	c cleaning 711 clauses out of 1445 for limit 7.831436831811186E9
1701.89/1688.64	c cleaning 1106 clauses out of 2233 for limit 2.2706684337320007E10
1702.69/1689.41	c cleaning 801 clauses out of 1628 for limit 5.141365083989073E10
1704.72/1691.41	c cleaning 900 clauses out of 1827 for limit 1.245965654680506E11
1705.61/1692.32	c cleaning 698 clauses out of 1427 for limit 2.6307315442424646E11
1707.54/1694.22	c cleaning 865 clauses out of 1730 for limit 5.907458618342275E11
1708.24/1694.98	c cleaning 665 clauses out of 1363 for limit 1.2340643283213926E12
1709.14/1695.88	c cleaning 599 clauses out of 1198 for limit 2.315435692323611E12
1710.77/1697.48	c cleaning 800 clauses out of 1600 for limit 4.719715763667605E12
1711.57/1698.23	c cleaning 633 clauses out of 1299 for limit 9.577409384301914E12
1714.10/1700.73	c cleaning 1063 clauses out of 2169 for limit 2.580291947464453E13
1714.90/1701.59	c cleaning 790 clauses out of 1604 for limit 5.742630835208292E13
1716.82/1703.48	c cleaning 907 clauses out of 1814 for limit 1.3809875198246966E14
1717.72/1704.36	c cleaning 704 clauses out of 1408 for limit 2.937073267890429E14
1719.55/1706.15	c cleaning 845 clauses out of 1702 for limit 6.594784826756644E-6
1720.34/1706.94	c cleaning 667 clauses out of 1358 for limit 1.3644286015305537E-5
1721.14/1707.74	c cleaning 584 clauses out of 1190 for limit 2.56522225125177E-5
1722.47/1709.01	c cleaning 798 clauses out of 1606 for limit 5.169376841585029E-5
1722.78/1709.35	c cleaning 645 clauses out of 1309 for limit 1.0469705991375857E-4
1722.88/1709.44	c cleaning 575 clauses out of 1163 for limit 1.9414034323878804E-4
1722.97/1709.50	c cleaning 538 clauses out of 1088 for limit 3.422334847841171E-4
1723.17/1709.74	c cleaning 518 clauses out of 1050 for limit 5.848142989990817E-4
1723.88/1710.46	c cleaning 498 clauses out of 1033 for limit 9.81289968392459E-4
1724.90/1711.45	c cleaning 503 clauses out of 1034 for limit 0.0016150966529539157
1725.89/1712.46	c cleaning 496 clauses out of 1031 for limit 0.002671260717360055
1726.89/1713.48	c cleaning 501 clauses out of 1036 for limit 0.004388393733891931
1727.82/1714.36	c cleaning 498 clauses out of 1035 for limit 0.007244040653231265
1728.62/1715.15	c cleaning 498 clauses out of 1036 for limit 0.0119229260002057
1729.22/1715.74	c cleaning 502 clauses out of 1040 for limit 0.019626107583923573
1731.04/1717.54	c cleaning 746 clauses out of 1536 for limit 0.03606774987577653
1731.84/1718.39	c cleaning 634 clauses out of 1292 for limit 0.07085535231778323
1732.74/1719.26	c cleaning 561 clauses out of 1156 for limit 0.13033594492138523
1733.76/1720.23	c cleaning 529 clauses out of 1095 for limit 0.22691531419387173
1734.56/1721.02	c cleaning 517 clauses out of 1066 for limit 0.3843940072009381
1735.46/1721.91	c cleaning 507 clauses out of 1051 for limit 0.6442523442637911
1736.48/1722.92	c cleaning 505 clauses out of 1043 for limit 1.0695369433994615
1737.39/1723.82	c cleaning 496 clauses out of 1037 for limit 1.7722407472898272
1738.39/1724.84	c cleaning 501 clauses out of 1044 for limit 2.911792329684295
1739.30/1725.75	c cleaning 505 clauses out of 1040 for limit 4.805957309547287
1740.10/1726.57	c cleaning 496 clauses out of 1035 for limit 7.963954777030217
1741.11/1727.56	c cleaning 496 clauses out of 1039 for limit 13.083064258947807
1742.13/1728.53	c cleaning 502 clauses out of 1043 for limit 21.49297832042752
1743.04/1729.43	c cleaning 498 clauses out of 1041 for limit 35.51289412137936
1744.06/1730.43	c cleaning 502 clauses out of 1043 for limit 58.453211197330695
1745.06/1731.45	c cleaning 497 clauses out of 1041 for limit 96.58236608057729
1746.06/1732.46	c cleaning 508 clauses out of 1044 for limit 158.81954899986448
1746.98/1733.37	c cleaning 503 clauses out of 1036 for limit 263.93719000301485
1747.88/1734.29	c cleaning 502 clauses out of 1033 for limit 436.53182349251523
1748.78/1735.15	c cleaning 496 clauses out of 1031 for limit 721.295882153963
1749.60/1735.93	c cleaning 500 clauses out of 1037 for limit 1184.9997869935212
1750.40/1736.76	c cleaning 502 clauses out of 1036 for limit 1954.153381502838
1751.20/1737.58	c cleaning 498 clauses out of 1034 for limit 3228.8937336467225
1752.03/1738.38	c cleaning 499 clauses out of 1035 for limit 5314.4131781563565
1753.13/1739.46	c cleaning 495 clauses out of 1037 for limit 8756.031364116627
1754.23/1740.59	c cleaning 502 clauses out of 1042 for limit 14370.577890902694
1755.25/1741.59	c cleaning 505 clauses out of 1039 for limit 23743.66628194015
1756.06/1742.35	c cleaning 501 clauses out of 1035 for limit 39347.15862769807
1756.95/1743.26	c cleaning 491 clauses out of 1033 for limit 64949.345599271255
1757.87/1744.19	c cleaning 504 clauses out of 1043 for limit 106189.40602157674
1758.77/1745.00	c cleaning 500 clauses out of 1040 for limit 175801.4931805029
1759.38/1745.68	c cleaning 498 clauses out of 1038 for limit 289898.1265138546
1760.39/1746.63	c cleaning 498 clauses out of 1041 for limit 477180.21827190573
1761.39/1747.61	c cleaning 502 clauses out of 1042 for limit 785392.6221704064
1762.32/1748.51	c cleaning 499 clauses out of 1040 for limit 1297708.3047925306
1763.15/1749.36	c cleaning 520 clauses out of 1041 for limit 2138038.792382854
1763.95/1750.13	c cleaning 492 clauses out of 1022 for limit 3595057.270534978
1764.65/1750.85	c cleaning 513 clauses out of 1030 for limit 5882681.985989738
1765.47/1751.66	c cleaning 493 clauses out of 1019 for limit 9825695.985307125
1766.17/1752.31	c cleaning 509 clauses out of 1023 for limit 1.6092155649339153E7
1767.07/1753.21	c cleaning 486 clauses out of 1014 for limit 2.677366285685645E7
1767.89/1754.03	c cleaning 492 clauses out of 1028 for limit 4.355204152941513E7
1768.79/1754.97	c cleaning 518 clauses out of 1036 for limit 7.126852390679693E7
1769.91/1756.00	c cleaning 494 clauses out of 1019 for limit 1.1961171960659298E8
1770.81/1756.98	c cleaning 498 clauses out of 1025 for limit 1.9610105933059594E8
1771.71/1757.86	c cleaning 512 clauses out of 1026 for limit 3.227585974492237E8
1772.63/1758.77	c cleaning 487 clauses out of 1015 for limit 5.385791503801156E8
1773.43/1759.55	c cleaning 499 clauses out of 1029 for limit 8.769818456343826E8
1774.23/1760.37	c cleaning 495 clauses out of 1028 for limit 1.4447733652243912E9
1775.04/1761.11	c cleaning 498 clauses out of 1034 for limit 2.3711700532158036E9
1775.96/1762.07	c cleaning 516 clauses out of 1035 for limit 3.902691887053133E9
1776.76/1762.83	c cleaning 509 clauses out of 1021 for limit 6.53738080997785E9
1777.66/1763.79	c cleaning 503 clauses out of 1010 for limit 1.0876646544834297E10
1778.78/1764.83	c cleaning 502 clauses out of 1007 for limit 1.7990482280254562E10
1779.58/1765.64	c cleaning 498 clauses out of 1005 for limit 2.9727754216744106E10
1780.59/1766.60	c cleaning 488 clauses out of 1011 for limit 4.892951849002235E10
1781.51/1767.57	c cleaning 490 clauses out of 1021 for limit 7.974128298604164E10
1782.21/1768.29	c cleaning 491 clauses out of 1029 for limit 1.3022082717140823E11
1783.11/1769.18	c cleaning 496 clauses out of 1039 for limit 2.128975558914975E11
1784.03/1770.03	c cleaning 521 clauses out of 1045 for limit 3.4977989523890356E11
1784.93/1770.92	c cleaning 509 clauses out of 1021 for limit 5.88623698773421E11
1785.83/1771.83	c cleaning 486 clauses out of 1013 for limit 9.793646831924536E11
1786.96/1772.92	c cleaning 513 clauses out of 1027 for limit 1.593086391025418E12
1787.86/1773.82	c cleaning 506 clauses out of 1015 for limit 2.6609341535562744E12
1788.66/1774.68	c cleaning 483 clauses out of 1008 for limit 4.4142915461979E12
1789.78/1775.75	c cleaning 492 clauses out of 1024 for limit 7.158845074249283E12
1790.58/1776.59	c cleaning 492 clauses out of 1032 for limit 1.1714374668499627E13
1791.48/1777.50	c cleaning 501 clauses out of 1040 for limit 1.916996655744396E13
1792.50/1778.47	c cleaning 516 clauses out of 1039 for limit 3.1644266544840246E13
1793.40/1779.37	c cleaning 510 clauses out of 1024 for limit 5.300306981876793E13
1794.20/1780.11	c cleaning 505 clauses out of 1013 for limit 8.826995602040539E13
1795.02/1780.93	c cleaning 500 clauses out of 1008 for limit 1.462910343049363E14
1795.92/1781.88	c cleaning 498 clauses out of 1008 for limit 2.4125348603327966E14
1796.72/1782.68	c cleaning 486 clauses out of 1011 for limit 3.9707575722615925E14
1797.74/1783.60	c cleaning 512 clauses out of 1024 for limit 6.458712410195414E14
1798.44/1784.39	c cleaning 506 clauses out of 1013 for limit 1.0777719016738718E15
1799.45/1785.33	c cleaning 498 clauses out of 1007 for limit 1.787980256429573E-5
1800.05/1785.94	c starts		: 21
1800.05/1785.94	c conflicts		: 824894
1800.05/1785.94	c decisions		: 962576
1800.05/1785.94	c propagations		: 28473248
1800.05/1785.94	c inspects		: 635082904
1800.05/1785.94	c learnt literals	: 0
1800.05/1785.94	c learnt binary clauses	: 24
1800.05/1785.94	c learnt ternary clauses	: 67
1800.05/1785.94	c learnt clauses	: 824894
1800.05/1785.94	c root simplifications	: 0
1800.05/1785.94	c removed literals (reason simplification)	: 0
1800.05/1785.94	c reason swapping (by a shorter reason)	: 0
1800.05/1785.94	c Calls to reduceDB	: 122
1800.05/1785.94	c speed (decisions/second)	: 539.5188040387011
1800.05/1785.94	c non guided choices	2206
1800.05/1785.94	s UNKNOWN
1800.05/1785.94	c Total wall clock time (ms): 1785.724

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-349527-1176706107 -o ROOT/results/node22/solver-349527-1176706107 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349527-1176706107/sat4jPseudoResolution.jar /tmp/evaluation/349527-1176706107/instance-349527-1176706107.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.93 0.99 0.99 2/77 12801
/proc/meminfo: memFree=1783088/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=152 CPUtime=0
/proc/12801/stat : 12801 (java) R 12799 12801 11723 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118528365 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 1 0 0
/proc/12801/statm: 38 26 19 9 0 4 0

[startup+0.0724999 s]
/proc/loadavg: 0.93 0.99 0.99 2/77 12801
/proc/meminfo: memFree=1783088/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1777708 CPUtime=0.05
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 3699 0 1 0 3 2 0 0 18 0 7 0 118528365 1820372992 3441 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 444427 3441 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101502 s]
/proc/loadavg: 0.93 0.99 0.99 2/77 12801
/proc/meminfo: memFree=1783088/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1780108 CPUtime=0.08
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 3941 0 1 0 6 2 0 0 18 0 12 0 118528365 1822830592 3682 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 445027 3682 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301533 s]
/proc/loadavg: 0.93 0.99 0.99 2/77 12801
/proc/meminfo: memFree=1783088/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1781340 CPUtime=0.29
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 5180 0 1 0 26 3 0 0 18 0 12 0 118528365 1824092160 4918 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 445335 4918 1261 9 0 442947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1781340

[startup+0.701597 s]
/proc/loadavg: 0.93 0.99 0.99 2/77 12801
/proc/meminfo: memFree=1783088/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1792196 CPUtime=1.04
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 9299 0 1 0 99 5 0 0 18 0 12 0 118528365 1835208704 8339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448049 8339 1303 9 0 445661 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 1792196

[startup+1.50273 s]
/proc/loadavg: 0.93 0.99 0.99 3/89 12813
/proc/meminfo: memFree=1744016/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794312 CPUtime=2.56
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 23779 0 1 0 245 11 0 0 18 0 12 0 118528365 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448578 18748 1308 9 0 446190 0
[pid=12801/tid=12803] ppid=12799 vsize=1794312 CPUtime=0.89
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 14603 0 1 0 82 7 0 0 18 0 12 0 118528366 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109544524 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 118528368 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 118528368 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 118528370 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118528370 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118528370 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118528374 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794312 CPUtime=1.08
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6117 0 0 0 106 2 0 0 23 0 12 0 118528374 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794312 CPUtime=0.57
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2340 0 0 0 56 1 0 0 16 0 12 0 118528374 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118528374 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794312 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) R 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118528374 1837375488 18748 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 1794312

[startup+3.10296 s]
/proc/loadavg: 0.93 0.99 0.99 3/90 12814
/proc/meminfo: memFree=1678792/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794636 CPUtime=4.48
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 35674 0 1 0 432 16 0 0 18 0 13 0 118528365 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448659 30641 1317 9 0 446271 0
[pid=12801/tid=12803] ppid=12799 vsize=1794636 CPUtime=2.38
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 26437 0 1 0 226 12 0 0 25 0 13 0 118528366 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656985 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 118528368 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 118528368 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 118528370 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118528370 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 118528370 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794636 CPUtime=1.32
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6149 0 0 0 130 2 0 0 16 0 13 0 118528374 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794636 CPUtime=0.76
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2365 0 0 0 75 1 0 0 16 0 13 0 118528374 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794636 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837707264 30641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 1794636

[startup+6.30145 s]
/proc/loadavg: 0.94 0.99 0.99 2/90 12814
/proc/meminfo: memFree=1629064/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=7.73
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 50071 0 1 0 750 23 0 0 18 0 13 0 118528365 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 44931 1326 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=5.49
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 37710 0 1 0 533 16 0 0 18 0 13 0 118528366 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109469140 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=0.05
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 1486 0 0 0 5 0 0 0 16 0 13 0 118528368 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=0.05
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 1632 0 0 0 5 0 0 0 16 0 13 0 118528368 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 7 0 0 0 0 0 0 0 15 0 13 0 118528370 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.32
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6149 0 0 0 130 2 0 0 16 0 13 0 118528374 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=0.76
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2365 0 0 0 75 1 0 0 16 0 13 0 118528374 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 44931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 1794292

[startup+12.7024 s]
/proc/loadavg: 0.94 0.99 0.99 2/90 12814
/proc/meminfo: memFree=1607048/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=14.19
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 50075 0 1 0 1396 23 0 0 18 0 13 0 118528365 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 44935 1326 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=11.88
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 37710 0 1 0 1172 16 0 0 25 0 13 0 118528366 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807763 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=0.05
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 1486 0 0 0 5 0 0 0 16 0 13 0 118528368 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=0.05
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 1632 0 0 0 5 0 0 0 16 0 13 0 118528368 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.33
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6149 0 0 0 131 2 0 0 17 0 13 0 118528374 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=0.82
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2369 0 0 0 81 1 0 0 16 0 13 0 118528374 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 44935 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 1794292

[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/90 12814
/proc/meminfo: memFree=1592776/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=27.09
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 53734 0 1 0 2685 24 0 0 18 0 13 0 118528365 1837355008 48562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 48562 1326 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=24.57
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 37712 0 1 0 2441 16 0 0 25 0 13 0 118528366 1837355008 48562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656985 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=0.15
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 3417 0 0 0 14 1 0 0 16 0 13 0 118528368 1837355008 48562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=0.15
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 3350 0 0 0 14 1 0 0 16 0 13 0 118528368 1837355008 48562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 48562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6156 0 0 0 140 2 0 0 17 0 13 0 118528374 1837355008 341192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=0.89
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2372 0 0 0 88 1 0 0 16 0 13 0 118528374 1837355008 341192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 341192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 341192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 341192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.88
Current children cumulated vsize (KiB) 1794292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=361544/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=1675.4
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 517942 0 1 0 167278 262 0 0 18 0 13 0 118528365 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 355617 1330 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=1647.9
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 46434 0 1 0 164755 35 0 0 25 0 13 0 118528366 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109655271 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=12.36
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 228916 0 0 0 1134 102 0 0 16 0 13 0 118528368 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=12.4
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 233190 0 0 0 1132 108 0 0 17 0 13 0 118528368 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0.19
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 135 0 0 0 9 10 0 0 16 0 13 0 118528370 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.49
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6164 0 0 0 147 2 0 0 17 0 13 0 118528374 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=0.97
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2381 0 0 0 96 1 0 0 16 0 13 0 118528374 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 355617 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1675.4
Current children cumulated vsize (KiB) 1794292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=352456/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=1735.88
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 525942 0 1 0 173321 267 0 0 18 0 13 0 118528365 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 357932 1330 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=1707.36
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 46455 0 1 0 170700 36 0 0 18 0 13 0 118528366 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109657155 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=12.89
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 233497 0 0 0 1184 105 0 0 16 0 13 0 118528368 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=12.91
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 236588 0 0 0 1182 109 0 0 17 0 13 0 118528368 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0.21
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 135 0 0 0 10 11 0 0 15 0 13 0 118528370 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.49
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6164 0 0 0 147 2 0 0 17 0 13 0 118528374 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=0.97
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2381 0 0 0 96 1 0 0 16 0 13 0 118528374 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 357932 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.88
Current children cumulated vsize (KiB) 1794292

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=349384/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=1796.42
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 529644 0 1 0 179371 271 0 0 18 0 13 0 118528365 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 358551 1330 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=1766.77
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 46781 0 1 0 176640 37 0 0 25 0 13 0 118528366 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109469237 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=13.43
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 235560 0 0 0 1237 106 0 0 17 0 13 0 118528368 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=13.46
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 237891 0 0 0 1236 110 0 0 16 0 13 0 118528368 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0.21
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 143 0 0 0 10 11 0 0 16 0 13 0 118528370 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.49
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6164 0 0 0 147 2 0 0 17 0 13 0 118528374 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=1
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2383 0 0 0 99 1 0 0 16 0 13 0 118528374 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 358551 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 1794292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=349896/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=1794292 CPUtime=1800.05
/proc/12801/stat : 12801 (java) S 12799 12801 11723 0 -1 0 529697 0 1 0 179734 271 0 0 18 0 13 0 118528365 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12801/statm: 448573 358440 1330 9 0 446185 0
[pid=12801/tid=12803] ppid=12799 vsize=1794292 CPUtime=1770.34
/proc/12801/task/12803/stat : 12803 (java) R 12799 12801 11723 0 -1 64 46782 0 1 0 176997 37 0 0 25 0 13 0 118528366 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109469148 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12804] ppid=12799 vsize=1794292 CPUtime=13.45
/proc/12801/task/12804/stat : 12804 (java) S 12799 12801 11723 0 -1 64 235604 0 0 0 1239 106 0 0 17 0 13 0 118528368 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12805] ppid=12799 vsize=1794292 CPUtime=13.48
/proc/12801/task/12805/stat : 12805 (java) S 12799 12801 11723 0 -1 64 237899 0 0 0 1238 110 0 0 16 0 13 0 118528368 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12806] ppid=12799 vsize=1794292 CPUtime=0.21
/proc/12801/task/12806/stat : 12806 (java) S 12799 12801 11723 0 -1 64 143 0 0 0 10 11 0 0 16 0 13 0 118528370 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12807] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12807/stat : 12807 (java) S 12799 12801 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12808] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12808/stat : 12808 (java) S 12799 12801 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118528370 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12809] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12809/stat : 12809 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118528374 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12810] ppid=12799 vsize=1794292 CPUtime=1.49
/proc/12801/task/12810/stat : 12810 (java) S 12799 12801 11723 0 -1 64 6164 0 0 0 147 2 0 0 17 0 13 0 118528374 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12811] ppid=12799 vsize=1794292 CPUtime=1
/proc/12801/task/12811/stat : 12811 (java) S 12799 12801 11723 0 -1 64 2383 0 0 0 99 1 0 0 16 0 13 0 118528374 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12812] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12812/stat : 12812 (java) S 12799 12801 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118528374 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12801/tid=12813] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12813/stat : 12813 (java) S 12799 12801 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118528374 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12801/tid=12814] ppid=12799 vsize=1794292 CPUtime=0
/proc/12801/task/12814/stat : 12814 (java) S 12799 12801 11723 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 118528551 1837355008 358440 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1794292

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

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

[startup+1786.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=349896/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=0 CPUtime=1800.18
/proc/12801/stat : 12801 (java) Z 12799 12801 11723 0 -1 1036 529776 0 1 0 179743 275 0 0 15 0 2 0 118528365 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 13012
/proc/meminfo: memFree=349896/2055920 swapFree=4168648/4192956
[pid=12801] ppid=12799 vsize=0 CPUtime=1800.27
/proc/12801/stat : 12801 (java) Z 12799 12801 11723 0 -1 1036 529776 0 1 0 179743 284 0 0 15 0 2 0 118528365 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.19
CPU time (s): 1800.36
CPU user time (s): 1797.43
CPU system time (s): 2.92855
CPU usage (%): 100.794
Max. virtual memory (cumulated for all children) (KiB): 1796944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 2.92855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529776
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= 43579
involuntary context switches= 71816

runsolver used 1.90171 second user time and 4.69429 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Apr 16 06:48:27 UTC 2007

IDJOB= 349527
IDBENCH= 2498
IDSOLVER= 159
FILE ID= node22/349527-1176706107

PBS_JOBID= 4560042

Free space on /tmp= 66551 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349527-1176706107/sat4jPseudoResolution.jar /tmp/evaluation/349527-1176706107/instance-349527-1176706107.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-349527-1176706107 -o ROOT/results/node22/solver-349527-1176706107 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349527-1176706107/sat4jPseudoResolution.jar /tmp/evaluation/349527-1176706107/instance-349527-1176706107.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  72b327feddced7495a083616b5e4ecd7

RANDOM SEED= 961739458

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1783496 kB
Buffers:         57428 kB
Cached:         119948 kB
SwapCached:       2144 kB
Active:          38724 kB
Inactive:       164888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783496 kB
SwapTotal:     4192956 kB
SwapFree:      4168648 kB
Dirty:            4672 kB
Writeback:           0 kB
Mapped:          32368 kB
Slab:            54448 kB
Committed_AS:  1669380 kB
PageTables:       1684 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= 66551 MiB

End job on node22 on Mon Apr 16 07:18:15 UTC 2007