Trace number 3744242

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.03 1758.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_1_mh.opb
MD5SUM72a339d7628ceb0d05dc1d46781174fb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3481479
Best CPU time to get the best result obtained on this benchmark1800.89
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 97336000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12201970261
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 97336000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12201970261
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3744242-1338796323.opb
0.08/0.10	c reading problem ... 
1.83/0.91	c ... done. Wall clock time 0.81s.
1.83/0.91	c CPU time (experimental) 0.88s.
1.83/0.91	c #vars     31350
1.83/0.91	c #constraints  74533
342.04/332.74	c cleaning 216475 clauses out of 433001 for limit 321.7686749719828
344.31/334.97	c cleaning 109992 clauses out of 220028 for limit 21048.199086397202
347.60/338.16	c cleaning 57476 clauses out of 115033 for limit 5972082.282165419
353.23/343.67	c cleaning 30009 clauses out of 60061 for limit 1.4007903851896942E8
360.11/350.33	c cleaning 16755 clauses out of 33549 for limit 8.294186663623393E9
365.79/355.82	c cleaning 12127 clauses out of 24293 for limit 2.076710830733595E13
367.03/357.09	c cleaning 6801 clauses out of 13666 for limit 1.6557067628965266E14
368.56/358.53	c cleaning 4427 clauses out of 8866 for limit 1.88953600565903E-5
372.69/362.54	c cleaning 4956 clauses out of 9938 for limit 0.0041320365251979905
375.34/365.13	c cleaning 4224 clauses out of 8482 for limit 0.1606038992497561
378.01/367.73	c cleaning 4096 clauses out of 8259 for limit 9.032510914443838
379.55/369.21	c cleaning 3551 clauses out of 7162 for limit 209.3160134458396
380.88/370.53	c cleaning 3035 clauses out of 6111 for limit 2992.2916641698125
382.02/371.67	c cleaning 2520 clauses out of 5076 for limit 26645.14825800313
386.35/375.81	c cleaning 5254 clauses out of 10556 for limit 3.8347280046544306E7
387.68/377.13	c cleaning 4122 clauses out of 8302 for limit 9.808137365987321E8
388.90/378.39	c cleaning 3317 clauses out of 6680 for limit 1.4868674059218481E10
393.16/382.41	c cleaning 4657 clauses out of 9365 for limit 4.300120142763505E12
394.49/383.70	c cleaning 3603 clauses out of 7208 for limit 6.8147986462573734E13
395.74/384.96	c cleaning 3011 clauses out of 6103 for limit 9.797941632183915E-6
396.99/386.19	c cleaning 2788 clauses out of 5592 for limit 1.304339030836757E-4
398.52/387.62	c cleaning 2630 clauses out of 5304 for limit 0.0016773881578156969
399.97/389.03	c cleaning 2566 clauses out of 5174 for limit 0.020974426686069962
401.09/390.14	c cleaning 2284 clauses out of 4608 for limit 0.174191757381286
402.43/391.41	c cleaning 2378 clauses out of 4824 for limit 2.0296081913949076
403.65/392.62	c cleaning 2435 clauses out of 4947 for limit 24.16526391791461
403.85/392.85	c cleaning 1475 clauses out of 3014 for limit 65.54130969638167
405.09/394.04	c cleaning 1740 clauses out of 3536 for limit 411.97050122904005
406.41/395.33	c cleaning 2380 clauses out of 4796 for limit 6109.905931304126
407.74/396.63	c cleaning 2431 clauses out of 4916 for limit 72707.84272375706
409.38/398.23	c cleaning 2462 clauses out of 4988 for limit 876697.2794973479
411.95/400.73	c cleaning 3239 clauses out of 6523 for limit 3.656556479120104E7
413.09/401.82	c cleaning 2619 clauses out of 5284 for limit 3.338723112216936E8
414.44/403.19	c cleaning 2561 clauses out of 5167 for limit 4.1730463603638053E9
415.87/404.56	c cleaning 2522 clauses out of 5107 for limit 5.155131642944767E10
417.11/405.76	c cleaning 2292 clauses out of 4585 for limit 4.2470739786519E11
418.34/406.96	c cleaning 2395 clauses out of 4790 for limit 4.943898571475548E12
418.55/407.19	c cleaning 1420 clauses out of 2896 for limit 1.3498854209761627E13
419.78/408.39	c cleaning 1947 clauses out of 3975 for limit 1.198404013166918E14
421.21/409.76	c cleaning 2502 clauses out of 5029 for limit 1.90734206053447E-5
422.54/411.04	c cleaning 2257 clauses out of 4530 for limit 1.5708658661244378E-4
423.77/412.21	c cleaning 2111 clauses out of 4269 for limit 0.0012279951484943999
425.02/413.47	c cleaning 2048 clauses out of 4162 for limit 0.00935367605771261
426.45/414.83	c cleaning 2273 clauses out of 4613 for limit 0.10283616433587293
427.70/416.08	c cleaning 2143 clauses out of 4339 for limit 0.807846244457203
429.03/417.30	c cleaning 2069 clauses out of 4194 for limit 6.169421730505302
430.25/418.53	c cleaning 2041 clauses out of 4128 for limit 46.50078449089282
430.45/418.78	c cleaning 1270 clauses out of 2586 for limit 122.29052882094409
431.57/419.83	c cleaning 1640 clauses out of 3316 for limit 705.3917397809435
431.77/420.02	c cleaning 1057 clauses out of 2174 for limit 1770.8110172351621
433.02/421.25	c cleaning 1536 clauses out of 3119 for limit 9147.637620303007
434.38/422.52	c cleaning 2007 clauses out of 4081 for limit 85107.56072991861
435.70/423.87	c cleaning 2260 clauses out of 4574 for limit 926228.2287909305
740.94/722.62	c cleaning 209315 clauses out of 418814 for limit 95311.84156657447
748.58/730.13	c cleaning 108232 clauses out of 216499 for limit 2.0290585307641834E8
753.13/734.53	c cleaning 57345 clauses out of 114767 for limit 2.554229823361754E11
757.25/738.53	c cleaning 31689 clauses out of 63422 for limit 1.8702846591873049E-6
759.95/741.18	c cleaning 17850 clauses out of 35733 for limit 1.8160393793925278E-4
761.29/742.49	c cleaning 9926 clauses out of 19890 for limit 0.0024301052759270253
764.30/745.39	c cleaning 7181 clauses out of 14457 for limit 0.2995319067204543
767.29/748.21	c cleaning 5592 clauses out of 11278 for limit 21.04773181639407
769.11/750.01	c cleaning 4029 clauses out of 8184 for limit 353.0873695654669
772.10/752.95	c cleaning 4048 clauses out of 8156 for limit 19402.254366619934
773.66/754.48	c cleaning 3004 clauses out of 6107 for limit 191465.49872777055
774.99/755.77	c cleaning 2526 clauses out of 5104 for limit 1696156.1891778929
776.12/756.81	c cleaning 2037 clauses out of 4077 for limit 9514127.013149472
777.46/758.16	c cleaning 2234 clauses out of 4540 for limit 1.0421572126425509E8
780.05/760.69	c cleaning 3151 clauses out of 6306 for limit 4.104707558614777E9
781.50/762.01	c cleaning 2526 clauses out of 5155 for limit 3.713907355331117E10
783.07/763.55	c cleaning 2564 clauses out of 5129 for limit 4.5530924795595294E11
785.55/766.00	c cleaning 3024 clauses out of 6067 for limit 1.279456156102843E13
787.08/767.42	c cleaning 2458 clauses out of 5041 for limit 1.136677413149469E14
788.83/769.13	c cleaning 2275 clauses out of 4584 for limit 9.254807258577792E-6
790.37/770.69	c cleaning 2134 clauses out of 4312 for limit 7.298948824448164E-5
792.01/772.21	c cleaning 2034 clauses out of 4174 for limit 5.554847327555086E-4
793.25/773.45	c cleaning 2037 clauses out of 4140 for limit 0.004142359420839474
793.55/773.71	c cleaning 1262 clauses out of 2603 for limit 0.010865002703480064
794.67/774.80	c cleaning 1635 clauses out of 3341 for limit 0.06261106328841656
795.89/776.00	c cleaning 1811 clauses out of 3710 for limit 0.41871183872975887
797.34/777.42	c cleaning 2166 clauses out of 4396 for limit 4.297415698377513
798.69/778.71	c cleaning 2062 clauses out of 4229 for limit 33.00778644569291
799.93/779.97	c cleaning 2280 clauses out of 4667 for limit 364.83434892884145
801.19/781.13	c cleaning 2139 clauses out of 4387 for limit 2870.7107436521987
802.44/782.38	c cleaning 2566 clauses out of 5249 for limit 48311.47866690809
802.63/782.58	c cleaning 1545 clauses out of 3184 for limit 131475.3218407521
803.97/783.83	c cleaning 1819 clauses out of 3641 for limit 852097.3100824646
805.32/785.15	c cleaning 2111 clauses out of 4319 for limit 8735797.713339569
806.75/786.50	c cleaning 2331 clauses out of 4707 for limit 9.76756922695258E7
808.08/787.81	c cleaning 2653 clauses out of 5379 for limit 1.7245191022160256E9
1076.26/1051.84	c cleaning 172568 clauses out of 345223 for limit 1.771123710470894E-4
1079.52/1055.09	c cleaning 87805 clauses out of 175655 for limit 0.007002021258576857
1080.62/1056.20	c cleaning 44127 clauses out of 88350 for limit 0.02295795892790604
1082.65/1058.16	c cleaning 23302 clauses out of 46723 for limit 0.5295275291705162
1083.05/1058.56	c cleaning 11893 clauses out of 23922 for limit 1.7073091828697078
1341.04/1310.87	c cleaning 193241 clauses out of 386528 for limit 55.99555590586847
1346.42/1316.18	c cleaning 99854 clauses out of 199787 for limit 72292.59688068282
1352.16/1321.75	c cleaning 54183 clauses out of 108433 for limit 6.574302102121556E8
1358.66/1328.09	c cleaning 31299 clauses out of 62751 for limit 5.612741879250348E12
1360.72/1330.05	c cleaning 16952 clauses out of 33954 for limit 1.2678072634841763E-6
1362.05/1331.35	c cleaning 9482 clauses out of 19002 for limit 1.6755925247316634E-5
1363.49/1332.72	c cleaning 5700 clauses out of 11517 for limit 2.0386767676807907E-4
1364.95/1334.13	c cleaning 3859 clauses out of 7817 for limit 0.0022216271630330895
1366.70/1335.82	c cleaning 3178 clauses out of 6459 for limit 0.03282917363632896
1368.15/1337.20	c cleaning 2585 clauses out of 5280 for limit 0.2967429086145623
1369.70/1338.73	c cleaning 2545 clauses out of 5195 for limit 3.6788167476570557
1373.14/1342.04	c cleaning 3766 clauses out of 7650 for limit 371.6987852276421
1374.49/1343.39	c cleaning 2892 clauses out of 5885 for limit 3577.372544322529
1377.36/1346.10	c cleaning 3696 clauses out of 7492 for limit 253268.59393905642
1378.81/1347.56	c cleaning 3100 clauses out of 6296 for limit 3676155.077769628
1380.27/1348.98	c cleaning 2789 clauses out of 5696 for limit 4.9564188213058695E7
1381.64/1350.22	c cleaning 2651 clauses out of 5407 for limit 6.36885033925689E8
1383.20/1351.73	c cleaning 2823 clauses out of 5757 for limit 1.2044562166568914E10
1697.97/1659.21	c cleaning 250430 clauses out of 500934 for limit 33734.18312533155
1710.49/1671.67	c cleaning 128725 clauses out of 257503 for limit 7.214667506108321E7
1714.87/1675.98	c cleaning 66358 clauses out of 132778 for limit 7.654548648130895E9
1722.60/1683.44	c cleaning 38690 clauses out of 77423 for limit 7.926998286592857E-6
1726.93/1687.69	c cleaning 22850 clauses out of 45732 for limit 0.014753887625264785
1728.47/1689.18	c cleaning 12399 clauses out of 24880 for limit 0.20018466913093227
1735.39/1695.83	c cleaning 10950 clauses out of 21983 for limit 3047.369435854266
1738.27/1698.66	c cleaning 7959 clauses out of 16031 for limit 620499.3054737156
1739.72/1700.05	c cleaning 5226 clauses out of 10572 for limit 1.147688934603518E7
1742.61/1702.86	c cleaning 4914 clauses out of 9846 for limit 1.1117944469046037E9
1743.96/1704.16	c cleaning 3398 clauses out of 6932 for limit 1.1680174361339146E10
1745.30/1705.43	c cleaning 2710 clauses out of 5534 for limit 1.0821619839847028E11
1746.73/1706.85	c cleaning 2595 clauses out of 5325 for limit 1.3731746037518457E12
1750.75/1710.71	c cleaning 4343 clauses out of 8731 for limit 3.392239778457975E-6
1752.09/1712.05	c cleaning 3181 clauses out of 6386 for limit 3.423545790639941E-5
1753.22/1713.13	c cleaning 2333 clauses out of 4705 for limit 2.084073774119668E-4
1755.90/1715.76	c cleaning 2892 clauses out of 5873 for limit 0.005544194226384548
1758.89/1718.64	c cleaning 3945 clauses out of 7981 for limit 0.6070158012643763
1761.48/1721.15	c cleaning 3964 clauses out of 8035 for limit 32.95216930936258
1762.83/1722.44	c cleaning 3224 clauses out of 6571 for limit 491.49359128798034
1763.03/1722.68	c cleaning 1862 clauses out of 3847 for limit 1384.4683351026895
1764.27/1723.88	c cleaning 1943 clauses out of 3985 for limit 9885.540867051293
1765.61/1725.11	c cleaning 1964 clauses out of 4042 for limit 72086.84202799432
1767.17/1726.65	c cleaning 2247 clauses out of 4578 for limit 776347.1379716416
1768.30/1727.76	c cleaning 1879 clauses out of 3831 for limit 4160899.763160899
1772.42/1731.73	c cleaning 3925 clauses out of 7956 for limit 8.13979228342546E8
1775.31/1734.60	c cleaning 4456 clauses out of 9027 for limit 1.0631278064320618E11
1776.87/1736.08	c cleaning 3534 clauses out of 7072 for limit 1.656916469080746E12
1778.49/1737.62	c cleaning 3004 clauses out of 6037 for limit 2.365193158495567E13
1779.64/1738.76	c cleaning 2266 clauses out of 4534 for limit 1.413866638319577E14
1780.89/1739.97	c cleaning 2114 clauses out of 4270 for limit 1.1126399751691971E15
1782.14/1741.17	c cleaning 2067 clauses out of 4153 for limit 8.436078570420454E-5
1784.72/1743.67	c cleaning 2762 clauses out of 5588 for limit 0.0020840415926021514
1788.83/1747.61	c cleaning 4640 clauses out of 9324 for limit 0.8317982884012243
1789.96/1748.77	c cleaning 3071 clauses out of 6190 for limit 5.6533304262665105
1791.20/1749.99	c cleaning 2516 clauses out of 5113 for limit 50.31942891381075
1792.75/1751.42	c cleaning 2526 clauses out of 5100 for limit 617.1976880203797
1793.89/1752.51	c cleaning 2253 clauses out of 4571 for limit 5078.123492612248
1795.33/1753.93	c cleaning 2375 clauses out of 4819 for limit 58812.751763268076
1796.71/1755.24	c cleaning 2429 clauses out of 4943 for limit 698687.1227388519
1797.87/1756.31	c cleaning 2220 clauses out of 4514 for limit 5658943.302919665
1798.07/1756.54	c cleaning 1354 clauses out of 2795 for limit 1.5087090103511337E7
1799.29/1757.73	c cleaning 1971 clauses out of 3942 for limit 1.3061246420051451E8
1800.03/1758.41	c starts		: 24
1800.03/1758.41	c conflicts		: 2514148
1800.03/1758.41	c decisions		: 5665206
1800.03/1758.41	c propagations		: 595897736
1800.03/1758.41	c inspects		: 6375351957
1800.03/1758.41	c learnt literals	: 0
1800.03/1758.41	c learnt binary clauses	: 87
1800.03/1758.41	c learnt ternary clauses	: 58
1800.03/1758.41	c learnt clauses	: 2514148
1800.03/1758.41	c root simplifications	: 0
1800.03/1758.41	c removed literals (reason simplification)	: 0
1800.03/1758.41	c reason swapping (by a shorter reason)	: 0
1800.03/1758.41	c Calls to reduceDB	: 155
1800.03/1758.41	c speed (decisions/second)	: 3223.6805866942227
1800.03/1758.41	c non guided choices	0
1800.03/1758.41	s UNKNOWN
1800.03/1758.41	c Total wall clock time (ms): 1758.307

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744242-1338796323/watcher-3744242-1338796323 -o /tmp/evaluation-result-3744242-1338796323/solver-3744242-1338796323 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744242-1338796323.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10128
/proc/meminfo: memFree=26694048/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10128/stat : 10128 (java) D 10126 10128 8924 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345757973 9515008 182 33554432000 1073741824 1073778376 140736789588320 140736789579352 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10128/statm: 2323 182 140 9 0 71 0

[startup+0.102621 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10128
/proc/meminfo: memFree=26694048/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 4883 0 1 0 7 1 0 0 20 0 18 0 345757973 3028844544 6595 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 739464 6595 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.20027 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10128
/proc/meminfo: memFree=26694048/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=2957856 CPUtime=0.29 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 5870 0 1 0 27 2 0 0 20 0 18 0 345757973 3028844544 8960 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 739464 8960 2228 9 0 729885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2957856

[startup+0.300321 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10128
/proc/meminfo: memFree=26694048/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 5974 0 1 0 46 2 0 0 20 0 18 0 345757973 3028844544 11386 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 739464 11386 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10128
/proc/meminfo: memFree=26694048/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=2957856 CPUtime=1.29 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 9931 0 1 0 124 5 0 0 20 0 18 0 345757973 3028844544 44528 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 739464 44528 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2957856

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 5/213 10147
/proc/meminfo: memFree=26415788/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=2.97 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 17055 0 1 0 288 9 0 0 20 0 19 0 345757973 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 89166 2279 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 3187 0 1 0 139 7 0 0 20 0 19 0 345757974 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416889590056 140416724882143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5263 0 0 0 68 1 0 0 20 0 19 0 345757979 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7410 0 0 0 76 1 0 0 20 0 19 0 345757979 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 89166 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 3024420

[startup+3.10083 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10147
/proc/meminfo: memFree=26221904/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=4.69 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 17171 0 1 0 454 15 0 0 20 0 19 0 345757973 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 119910 2292 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 3240 0 1 0 293 9 0 0 20 0 19 0 345757974 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416889590184 140416725689840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757975 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5263 0 0 0 68 1 0 0 20 0 19 0 345757979 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7410 0 0 0 77 1 0 0 20 0 19 0 345757979 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 119910 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 3024420

[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10147
/proc/meminfo: memFree=26194100/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=8.12 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 17261 0 1 0 792 20 0 0 20 0 19 0 345757973 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 128611 2292 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=6.13 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 3244 0 1 0 604 9 0 0 20 0 19 0 345757974 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416889589024 140416725506582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 345757975 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5263 0 0 0 68 1 0 0 20 0 19 0 345757979 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7410 0 0 0 77 2 0 0 20 0 19 0 345757979 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 128611 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5271 0 0 0 74 1 0 0 20 0 19 0 345757979 3097006080 423325 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7416 0 0 0 86 2 0 0 20 0 19 0 345757979 3097006080 423325 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423325 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 91 0 0 0 40 39 0 0 20 0 19 0 345757979 3097006080 423325 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 423325 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1639.62
Current children cumulated vsize (KiB) 3024420

[startup+1662.31 s]
/proc/loadavg: 2.14 2.08 2.02 3/213 10376
/proc/meminfo: memFree=25217144/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=1701.19 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 22270 0 1 0 169914 205 0 0 20 0 19 0 345757973 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 423713 2308 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=1642.24 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 4150 0 1 0 164187 37 0 0 20 0 19 0 345757974 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416889588928 140416725789511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=6.43 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 475 0 0 0 627 16 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=6.31 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 613 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=6.51 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 492 0 0 0 633 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=6.55 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 510 0 0 0 634 21 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=6.53 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 508 0 0 0 636 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=6.14 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 434 0 0 0 599 15 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=6.5 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 633 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=6.34 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 617 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 304 0 0 0 79 6 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5271 0 0 0 74 1 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7416 0 0 0 86 2 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 95 0 0 0 40 40 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1701.19
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/214 10379
/proc/meminfo: memFree=25194236/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=1762.73 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 22310 0 1 0 176064 209 0 0 20 0 19 0 345757973 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 423713 2308 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=1701.44 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 4186 0 1 0 170105 39 0 0 20 0 19 0 345757974 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416889588944 140416725779540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=6.72 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 475 0 0 0 656 16 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=6.57 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 639 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=6.77 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 492 0 0 0 659 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=6.8 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 510 0 0 0 659 21 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=6.79 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 508 0 0 0 662 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=6.42 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 434 0 0 0 627 15 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=6.78 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 661 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=6.62 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 645 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 306 0 0 0 80 6 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5271 0 0 0 74 1 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7416 0 0 0 86 2 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 97 0 0 0 42 41 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.73
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1758.4 s]
/proc/loadavg: 2.11 2.09 2.03 3/213 10379
/proc/meminfo: memFree=25147264/32873844 swapFree=7112/7112
[pid=10128] ppid=10126 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/10128/stat : 10128 (java) S 10126 10128 8924 0 -1 4202496 22342 0 1 0 179792 211 0 0 20 0 19 0 345757973 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140733302762928 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10128/statm: 756105 423713 2308 9 0 746526 0
[pid=10128/tid=10130] ppid=10126 vsize=3024420 CPUtime=1736.97 cores=1,3,5,7
/proc/10128/task/10130/stat : 10130 (java) R 10126 10128 8924 0 -1 4202560 4214 0 1 0 173657 40 0 0 20 0 19 0 345757974 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416889588944 140416725277485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10131] ppid=10126 vsize=3024420 CPUtime=6.93 cores=1,3,5,7
/proc/10128/task/10131/stat : 10131 (java) S 10126 10128 8924 0 -1 4202560 475 0 0 0 677 16 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416873016360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10132] ppid=10126 vsize=3024420 CPUtime=6.76 cores=1,3,5,7
/proc/10128/task/10132/stat : 10132 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 658 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416871963560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10133] ppid=10126 vsize=3024420 CPUtime=6.99 cores=1,3,5,7
/proc/10128/task/10133/stat : 10133 (java) S 10126 10128 8924 0 -1 4202560 492 0 0 0 681 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416870910760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10134] ppid=10126 vsize=3024420 CPUtime=7 cores=1,3,5,7
/proc/10128/task/10134/stat : 10134 (java) S 10126 10128 8924 0 -1 4202560 510 0 0 0 679 21 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416869857960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10135] ppid=10126 vsize=3024420 CPUtime=7.02 cores=1,3,5,7
/proc/10128/task/10135/stat : 10135 (java) S 10126 10128 8924 0 -1 4202560 508 0 0 0 684 18 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416868805160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10128/tid=10136] ppid=10126 vsize=3024420 CPUtime=6.63 cores=1,3,5,7
/proc/10128/task/10136/stat : 10136 (java) S 10126 10128 8924 0 -1 4202560 434 0 0 0 648 15 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416867752360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10137] ppid=10126 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/10128/task/10137/stat : 10137 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 681 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416866699560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10138] ppid=10126 vsize=3024420 CPUtime=6.8 cores=1,3,5,7
/proc/10128/task/10138/stat : 10138 (java) S 10126 10128 8924 0 -1 4202560 478 0 0 0 663 17 0 0 20 0 19 0 345757975 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416865646760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10139] ppid=10126 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/10128/task/10139/stat : 10139 (java) S 10126 10128 8924 0 -1 4202560 308 0 0 0 81 6 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416853236712 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10140] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10140/stat : 10140 (java) S 10126 10128 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416852182776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10141] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10141/stat : 10141 (java) S 10126 10128 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345757977 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416851129864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10142] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10142/stat : 10142 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416850078352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10143] ppid=10126 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/10128/task/10143/stat : 10143 (java) S 10126 10128 8924 0 -1 4202560 5271 0 0 0 74 1 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416849025464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10128/tid=10144] ppid=10126 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/10128/task/10144/stat : 10144 (java) S 10126 10128 8924 0 -1 4202560 7416 0 0 0 86 2 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416847972664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10145] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10145/stat : 10145 (java) S 10126 10128 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416846920056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10128/tid=10146] ppid=10126 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/10128/task/10146/stat : 10146 (java) S 10126 10128 8924 0 -1 4202560 99 0 0 0 43 42 0 0 20 0 19 0 345757979 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416845867464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10128/tid=10147] ppid=10126 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10128/task/10147/stat : 10147 (java) S 10126 10128 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345758077 3097006080 423713 33554432000 1073741824 1073778376 140733302771792 140416843667112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10128 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=249384
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=440628
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1758.42
CPU time (s): 1800.03
CPU user time (s): 1797.92
CPU system time (s): 2.11
CPU usage (%): 102.366
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.25
system time used= 2.44063
maximum resident set size= 1694968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22372
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66864
involuntary context switches= 105769

runsolver used 6.49201 second user time and 15.4706 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-04 09:52:03
IDJOB=3744242
IDBENCH=92712
IDSOLVER=2319
FILE ID=node119/3744242-1338796323
RUNJOBID= node119-1338784193-8941
PBS_JOBID= 14636847
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744242-1338796323/watcher-3744242-1338796323 -o /tmp/evaluation-result-3744242-1338796323/solver-3744242-1338796323 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744242-1338796323.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 72a339d7628ceb0d05dc1d46781174fb
RANDOM SEED=1588503978

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26694560 kB
Buffers:          434112 kB
Cached:          3201488 kB
SwapCached:         1936 kB
Active:          3234768 kB
Inactive:        2093908 kB
Active(anon):    1688648 kB
Inactive(anon):     6616 kB
Active(file):    1546120 kB
Inactive(file):  2087292 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6340 kB
Writeback:            24 kB
AnonPages:       1698428 kB
Mapped:            20164 kB
Shmem:                 0 kB
Slab:             706872 kB
SReclaimable:     148628 kB
SUnreclaim:       558244 kB
KernelStack:        1608 kB
PageTables:         7588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-04 10:21:23