Trace number 3744224

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.39 1755.93

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_9_mh.opb
MD5SUM2d28530068eb86764968fa921334caf4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2596841
Best CPU time to get the best result obtained on this benchmark1800.37
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 16775
Biggest coefficient in the objective function 123505992
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14263006373
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 123505992
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14263006373
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.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3744224-1338795988.opb
0.09/0.10	c reading problem ... 
1.83/0.92	c ... done. Wall clock time 0.815s.
1.83/0.92	c CPU time (experimental) 0.88s.
1.83/0.92	c #vars     31350
1.83/0.92	c #constraints  74533
365.79/355.72	c cleaning 230983 clauses out of 462000 for limit 1.2017043150665748E-5
370.26/360.05	c cleaning 118973 clauses out of 238017 for limit 0.025669300690301194
376.30/365.81	c cleaning 63246 clauses out of 126544 for limit 87.6231297232822
382.80/372.14	c cleaning 34110 clauses out of 68298 for limit 24155.23145825621
384.37/373.64	c cleaning 18279 clauses out of 36688 for limit 548497.4175960772
387.35/376.59	c cleaning 11386 clauses out of 22909 for limit 7.924930740836011E7
388.70/377.85	c cleaning 6454 clauses out of 13023 for limit 6.25256518562762E8
390.15/379.23	c cleaning 4205 clauses out of 8569 for limit 7.02850040011565E9
391.71/380.72	c cleaning 3117 clauses out of 6364 for limit 6.999809063930356E10
393.27/382.24	c cleaning 2569 clauses out of 5247 for limit 6.279554710821929E11
396.12/384.99	c cleaning 3012 clauses out of 6178 for limit 1.769225612534333E13
402.65/391.27	c cleaning 5068 clauses out of 10166 for limit 1.1832143676485143E-4
404.11/392.62	c cleaning 3536 clauses out of 7099 for limit 0.0012545108552776923
406.80/395.27	c cleaning 3491 clauses out of 7062 for limit 0.041792714856776964
408.27/396.67	c cleaning 2756 clauses out of 5571 for limit 0.39184894935517744
411.29/399.51	c cleaning 3124 clauses out of 6315 for limit 11.46752509734479
412.53/400.71	c cleaning 2309 clauses out of 4691 for limit 69.2381224148281
413.97/402.14	c cleaning 2153 clauses out of 4382 for limit 548.2288549116018
416.76/404.84	c cleaning 2817 clauses out of 5729 for limit 13910.625221166913
418.09/406.10	c cleaning 2162 clauses out of 4418 for limit 81390.64542488455
419.65/407.62	c cleaning 2083 clauses out of 4250 for limit 622053.5190719545
422.25/410.10	c cleaning 2778 clauses out of 5667 for limit 1.547585591961841E7
423.59/411.48	c cleaning 2433 clauses out of 4889 for limit 1.326818142190756E8
427.95/415.65	c cleaning 3689 clauses out of 7456 for limit 1.2944474049832985E10
430.54/418.20	c cleaning 3329 clauses out of 6772 for limit 2.881251972385587E11
431.98/419.52	c cleaning 2409 clauses out of 4938 for limit 1.763364957555804E12
434.78/422.28	c cleaning 2999 clauses out of 6029 for limit 4.791143921148923E13
436.15/423.50	c cleaning 2259 clauses out of 4530 for limit 2.859920492845608E14
437.58/424.94	c cleaning 1880 clauses out of 3771 for limit 1.5408603871066112E15
438.72/426.07	c cleaning 1660 clauses out of 3391 for limit 7.685279983934354E-5
705.63/686.67	c cleaning 189574 clauses out of 379231 for limit 0.007332943591618528
709.97/690.83	c cleaning 98283 clauses out of 196657 for limit 15.561633537918995
713.40/694.10	c cleaning 52163 clauses out of 104375 for limit 11876.084007065965
714.85/695.54	c cleaning 27546 clauses out of 55214 for limit 452506.5647794232
718.04/698.61	c cleaning 16509 clauses out of 33165 for limit 1.84291504375486E8
719.60/700.14	c cleaning 9746 clauses out of 19656 for limit 6.254973807286836E9
721.03/701.59	c cleaning 6393 clauses out of 12916 for limit 1.926349103991432E11
722.89/703.30	c cleaning 4662 clauses out of 9517 for limit 5.227465962570277E12
724.35/704.74	c cleaning 3898 clauses out of 7857 for limit 1.2762591697666494E14
725.78/706.14	c cleaning 3437 clauses out of 6957 for limit 2.8936095144236262E-5
727.14/707.42	c cleaning 2999 clauses out of 6020 for limit 4.0789170257970575E-4
730.12/710.35	c cleaning 4465 clauses out of 9022 for limit 0.11024113991381754
731.66/711.81	c cleaning 3724 clauses out of 7557 for limit 2.6474783534058903
733.01/713.14	c cleaning 3104 clauses out of 6332 for limit 38.50222761946621
734.54/714.65	c cleaning 3321 clauses out of 6728 for limit 1202.0761751506673
736.17/716.29	c cleaning 3144 clauses out of 6407 for limit 25392.09711836489
738.14/718.10	c cleaning 3063 clauses out of 6269 for limit 525166.9865600964
739.62/719.52	c cleaning 3063 clauses out of 6202 for limit 1.0635580527874567E7
740.77/720.65	c cleaning 2524 clauses out of 5138 for limit 9.48610436629776E7
742.30/722.11	c cleaning 2553 clauses out of 5113 for limit 1.1615853577449589E9
745.70/725.42	c cleaning 3022 clauses out of 6062 for limit 3.256651018594542E10
747.37/727.07	c cleaning 2001 clauses out of 4038 for limit 1.3269775947989471E11
1086.92/1058.73	c cleaning 286998 clauses out of 574037 for limit 0.00324208768693877
1092.80/1064.53	c cleaning 145003 clauses out of 290039 for limit 0.12907542563614408
1096.54/1068.27	c cleaning 74007 clauses out of 148037 for limit 5.092130478738714
1098.92/1070.58	c cleaning 38734 clauses out of 77530 for limit 322.5456757563084
1100.89/1072.45	c cleaning 20840 clauses out of 41795 for limit 12023.682192127213
1102.65/1074.13	c cleaning 11939 clauses out of 23955 for limit 421988.8393047436
1104.64/1076.02	c cleaning 7720 clauses out of 15516 for limit 2.1612677760293383E7
1106.01/1077.39	c cleaning 5102 clauses out of 10296 for limit 3.972823309845154E8
1106.21/1077.59	c cleaning 2816 clauses out of 5695 for limit 1.18567170142317E9
1107.64/1078.94	c cleaning 2908 clauses out of 5878 for limit 2.3084975160568703E10
1109.07/1080.36	c cleaning 3179 clauses out of 6470 for limit 6.957383160762903E11
1110.52/1081.74	c cleaning 3137 clauses out of 6291 for limit 1.4393481013452105E13
1112.07/1083.25	c cleaning 3564 clauses out of 7154 for limit 6.924424505888892E-6
1113.41/1084.56	c cleaning 3289 clauses out of 6590 for limit 1.5121070142338927E-4
1113.61/1084.77	c cleaning 1880 clauses out of 3804 for limit 4.332981717935484E-4
1114.84/1085.97	c cleaning 2189 clauses out of 4421 for limit 0.004534012882038632
1116.52/1087.51	c cleaning 2844 clauses out of 5732 for limit 0.11600809413645921
1116.63/1087.66	c cleaning 1674 clauses out of 3389 for limit 0.3239017568382425
1117.98/1088.93	c cleaning 2578 clauses out of 5214 for limit 6.977029237600937
1119.40/1090.39	c cleaning 3023 clauses out of 6136 for limit 196.67421611228204
1121.08/1091.95	c cleaning 3285 clauses out of 6613 for limit 6053.7637039146
1121.28/1092.11	c cleaning 1895 clauses out of 3829 for limit 17259.53219314562
1122.52/1093.36	c cleaning 2943 clauses out of 5934 for limit 609275.8170392569
1122.62/1093.48	c cleaning 1721 clauses out of 3490 for limit 1706700.9530404082
1124.03/1094.80	c cleaning 2880 clauses out of 5771 for limit 5.657804063839113E7
1125.48/1096.27	c cleaning 3182 clauses out of 6389 for limit 1.6919529227155595E9
1127.22/1097.93	c cleaning 3084 clauses out of 6208 for limit 3.506221017049216E10
1128.85/1099.55	c cleaning 3529 clauses out of 7123 for limit 1.6700929274664192E12
1130.30/1100.92	c cleaning 3235 clauses out of 6595 for limit 3.632106841385248E13
1130.52/1101.17	c cleaning 1880 clauses out of 3862 for limit 1.0249107684347427E14
1131.98/1102.59	c cleaning 2220 clauses out of 4479 for limit 1.0747146348222529E-5
1132.18/1102.78	c cleaning 1354 clauses out of 2760 for limit 2.879091995170499E-5
1479.10/1443.67	c cleaning 273929 clauses out of 547908 for limit 4.197691391957225E10
1485.73/1450.29	c cleaning 138950 clauses out of 277977 for limit 4.517387619400594E12
1490.33/1454.76	c cleaning 72973 clauses out of 146026 for limit 9.453963869333174E-5
1492.20/1456.56	c cleaning 38259 clauses out of 76553 for limit 0.005982367955850953
1495.72/1459.92	c cleaning 23125 clauses out of 46294 for limit 29.607710191547596
1499.02/1463.12	c cleaning 15278 clauses out of 30669 for limit 81108.84518731947
1500.59/1464.68	c cleaning 9402 clauses out of 18891 for limit 4368215.892666996
1502.26/1466.25	c cleaning 6689 clauses out of 13489 for limit 3.3467739813828707E8
1505.42/1469.36	c cleaning 6631 clauses out of 13300 for limit 2.2650668748129492E11
1509.47/1473.22	c cleaning 5062 clauses out of 10169 for limit 9.82755836035283E12
1512.06/1475.75	c cleaning 3803 clauses out of 7607 for limit 1.602469962576528E14
1516.22/1479.79	c cleaning 3380 clauses out of 6804 for limit 3.6039132708818833E-5
1517.67/1481.11	c cleaning 2451 clauses out of 4925 for limit 2.2352935962150007E-4
1518.90/1482.35	c cleaning 1969 clauses out of 3974 for limit 0.0012424548251179575
1520.15/1483.52	c cleaning 1731 clauses out of 3505 for limit 0.006318123467008466
1525.46/1488.64	c cleaning 4117 clauses out of 8273 for limit 1.7844530497096898
1528.28/1491.38	c cleaning 4037 clauses out of 8156 for limit 99.02344451473233
1529.65/1492.69	c cleaning 3027 clauses out of 6119 for limit 976.2439176144065
1534.02/1496.84	c cleaning 4526 clauses out of 9092 for limit 265858.1701844824
1535.38/1498.12	c cleaning 3258 clauses out of 6566 for limit 2722902.6087235296
1536.64/1499.34	c cleaning 2611 clauses out of 5308 for limit 2.4912976608620793E7
1537.97/1500.67	c cleaning 2315 clauses out of 4698 for limit 2.0840185570922285E8
1539.42/1502.06	c cleaning 2158 clauses out of 4382 for limit 1.650939875589907E9
1540.80/1503.30	c cleaning 2067 clauses out of 4226 for limit 1.2687226972012493E10
1542.35/1504.89	c cleaning 2558 clauses out of 5157 for limit 2.0872062626601666E11
1543.60/1506.07	c cleaning 2049 clauses out of 4101 for limit 1.179531153584429E12
1544.87/1507.28	c cleaning 1771 clauses out of 3550 for limit 6.099152180290877E12
1546.33/1508.67	c cleaning 1628 clauses out of 3280 for limit 2.963644803830141E13
1547.77/1510.08	c cleaning 1777 clauses out of 3651 for limit 1.9673299282716394E14
1550.61/1512.74	c cleaning 3163 clauses out of 6374 for limit 1.0166698762029005E-4
1553.52/1515.57	c cleaning 3569 clauses out of 7211 for limit 0.004916359306680123
1554.96/1516.92	c cleaning 2781 clauses out of 5645 for limit 0.046591023171446276
1556.41/1518.35	c cleaning 2381 clauses out of 4861 for limit 0.3989886907382953
1557.88/1519.76	c cleaning 2210 clauses out of 4480 for limit 3.202076777582706
1559.02/1520.82	c cleaning 1864 clauses out of 3770 for limit 17.066169935940582
1560.47/1522.21	c cleaning 1915 clauses out of 3908 for limit 122.01562041814117
1561.62/1523.39	c cleaning 1699 clauses out of 3491 for limit 611.3906267355998
1563.17/1524.85	c cleaning 1845 clauses out of 3792 for limit 4163.167115415553
1564.65/1526.22	c cleaning 1919 clauses out of 3948 for limit 29605.546950658212
1566.11/1527.62	c cleaning 1992 clauses out of 4028 for limit 214412.35517892666
1567.36/1528.86	c cleaning 1745 clauses out of 3545 for limit 1102557.6239247685
1568.84/1530.24	c cleaning 1863 clauses out of 3791 for limit 7557474.557831319
1569.14/1530.50	c cleaning 1166 clauses out of 2428 for limit 1.9459769099853456E7
1570.20/1531.56	c cleaning 1339 clauses out of 2762 for limit 7.672384371653433E7
1570.50/1531.80	c cleaning 954 clauses out of 1923 for limit 1.8173167482772103E8
1571.74/1533.02	c cleaning 1442 clauses out of 2969 for limit 8.706092231391168E8
1800.02/1755.91	c starts		: 24
1800.02/1755.91	c conflicts		: 2657170
1800.02/1755.91	c decisions		: 5971524
1800.02/1755.91	c propagations		: 576996401
1800.02/1755.91	c inspects		: 6436250668
1800.02/1755.91	c learnt literals	: 0
1800.02/1755.91	c learnt binary clauses	: 103
1800.02/1755.91	c learnt ternary clauses	: 48
1800.02/1755.91	c learnt clauses	: 2657170
1800.02/1755.91	c root simplifications	: 0
1800.02/1755.91	c removed literals (reason simplification)	: 0
1800.02/1755.91	c reason swapping (by a shorter reason)	: 0
1800.02/1755.91	c Calls to reduceDB	: 130
1800.02/1755.91	c speed (decisions/second)	: 3402.8395346650595
1800.02/1755.91	c non guided choices	0
1800.02/1755.91	s UNKNOWN
1800.02/1755.91	c Total wall clock time (ms): 1755.809

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-3744224-1338795988/watcher-3744224-1338795988 -o /tmp/evaluation-result-3744224-1338795988/solver-3744224-1338795988 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744224-1338795988.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.01 2.00 3/192 11682
/proc/meminfo: memFree=26383972/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11682/stat : 11682 (java) D 11680 11682 9704 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345724768 9515008 182 33554432000 1073741824 1073778376 140733290467104 140733290458136 273448517301 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/11682/statm: 2323 182 140 9 0 71 0

[startup+0.0268289 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 11682
/proc/meminfo: memFree=26383972/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=2413132 CPUtime=0 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 3074 0 1 0 0 0 0 0 20 0 10 0 345724768 2471047168 2754 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 603283 2756 1013 9 0 594392 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2413132

[startup+0.100279 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 11682
/proc/meminfo: memFree=26383972/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 4937 0 1 0 8 1 0 0 20 0 18 0 345724768 3028844544 6132 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 739464 6133 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300266 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 11682
/proc/meminfo: memFree=26383972/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 6098 0 1 0 47 2 0 0 20 0 18 0 345724768 3028844544 10979 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 739464 10979 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700301 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 11682
/proc/meminfo: memFree=26383972/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=2957856 CPUtime=1.3 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 10019 0 1 0 125 5 0 0 20 0 18 0 345724768 3028844544 44611 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 739464 44611 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856

[startup+1.50078 s]
/proc/loadavg: 2.00 2.01 2.00 4/210 11700
/proc/meminfo: memFree=26114252/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=2.92 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 17857 0 1 0 282 10 0 0 20 0 19 0 345724768 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 86882 2279 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 3233 0 1 0 139 7 0 0 20 0 19 0 345724769 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706766164424 139706638938404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345724771 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7052 0 0 0 71 2 0 0 20 0 19 0 345724774 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6377 0 0 0 68 2 0 0 20 0 19 0 345724774 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 86882 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 3024420

[startup+3.10085 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 11701
/proc/meminfo: memFree=25945308/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=4.65 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 17976 0 1 0 450 15 0 0 20 0 19 0 345724768 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 119161 2292 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 3290 0 1 0 293 9 0 0 20 0 19 0 345724769 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706766172344 139706639111012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345724771 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7052 0 0 0 71 2 0 0 20 0 19 0 345724774 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6377 0 0 0 69 2 0 0 20 0 19 0 345724774 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 119161 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 3024420

[startup+6.30085 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 11701
/proc/meminfo: memFree=25886412/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=8.01 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 18040 0 1 0 781 20 0 0 20 0 19 0 345724768 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 125401 2292 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=6.17 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 3294 0 1 0 607 10 0 0 20 0 19 0 345724769 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706766171344 139706639120457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 16 0 0 0 1 2 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 345724770 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345724771 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7052 0 0 0 71 2 0 0 20 0 19 0 345724774 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6377 0 0 0 69 2 0 0 20 0 19 0 345724774 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 125401 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 11701
/proc/meminfo: memFree=25794036/32873852 swapFree=6856/6856

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

[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=6.93 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 489 0 0 0 671 22 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=6.99 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 513 0 0 0 675 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=6.96 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 678 18 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 124 0 0 0 93 7 0 0 20 0 19 0 345724771 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7060 0 0 0 76 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6389 0 0 0 77 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 94 0 0 0 45 44 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1704.09
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/211 11799
/proc/meminfo: memFree=24898896/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=1765.49 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 23066 0 1 0 176284 265 0 0 20 0 19 0 345724768 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 422382 2308 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=1704.47 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 4264 0 1 0 170404 43 0 0 20 0 19 0 345724769 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706766171344 139706639177812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 703 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=6.95 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 492 0 0 0 674 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 503 0 0 0 695 22 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=7.42 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 532 0 0 0 718 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=7.27 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 493 0 0 0 704 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 489 0 0 0 694 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=7.21 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 513 0 0 0 697 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=7.2 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 702 18 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 128 0 0 0 94 7 0 0 20 0 19 0 345724771 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7060 0 0 0 76 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6389 0 0 0 77 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 98 0 0 0 46 46 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.49
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1755.9 s]
/proc/loadavg: 1.99 2.00 2.00 3/211 11799
/proc/meminfo: memFree=24896724/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 23092 0 1 0 179735 267 0 0 20 0 19 0 345724768 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 422382 2308 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=1737.7 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 4286 0 1 0 173726 44 0 0 20 0 19 0 345724769 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706766171464 139706639111370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=7.39 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 718 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=7.07 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 492 0 0 0 686 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=7.33 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 503 0 0 0 711 22 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=7.58 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 532 0 0 0 734 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=7.43 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 493 0 0 0 720 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=7.36 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 489 0 0 0 713 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=7.35 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 513 0 0 0 711 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=7.41 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 723 18 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 130 0 0 0 94 7 0 0 20 0 19 0 345724771 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7060 0 0 0 76 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6389 0 0 0 77 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 100 0 0 0 47 46 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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

[startup+1755.9 s]
/proc/loadavg: 1.99 2.00 2.00 3/211 11799
/proc/meminfo: memFree=24896724/32873852 swapFree=6856/6856
[pid=11682] ppid=11680 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11680 11682 9704 0 -1 4202496 23092 0 1 0 179735 267 0 0 20 0 19 0 345724768 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 140735452926288 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 756105 422382 2308 9 0 746526 0
[pid=11682/tid=11684] ppid=11680 vsize=3024420 CPUtime=1737.7 cores=1,3,5,7
/proc/11682/task/11684/stat : 11684 (java) R 11680 11682 9704 0 -1 4202560 4286 0 1 0 173726 44 0 0 20 0 19 0 345724769 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706766171464 139706639111370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11685] ppid=11680 vsize=3024420 CPUtime=7.39 cores=1,3,5,7
/proc/11682/task/11685/stat : 11685 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 718 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706631686952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11686] ppid=11680 vsize=3024420 CPUtime=7.07 cores=1,3,5,7
/proc/11682/task/11686/stat : 11686 (java) S 11680 11682 9704 0 -1 4202560 492 0 0 0 686 21 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706630634152 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11687] ppid=11680 vsize=3024420 CPUtime=7.33 cores=1,3,5,7
/proc/11682/task/11687/stat : 11687 (java) S 11680 11682 9704 0 -1 4202560 503 0 0 0 711 22 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706561981480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11688] ppid=11680 vsize=3024420 CPUtime=7.58 cores=1,3,5,7
/proc/11682/task/11688/stat : 11688 (java) S 11680 11682 9704 0 -1 4202560 532 0 0 0 734 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706560928680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11689] ppid=11680 vsize=3024420 CPUtime=7.43 cores=1,3,5,7
/proc/11682/task/11689/stat : 11689 (java) S 11680 11682 9704 0 -1 4202560 493 0 0 0 720 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706559875368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11690] ppid=11680 vsize=3024420 CPUtime=7.36 cores=1,3,5,7
/proc/11682/task/11690/stat : 11690 (java) S 11680 11682 9704 0 -1 4202560 489 0 0 0 713 23 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706558822568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11691] ppid=11680 vsize=3024420 CPUtime=7.35 cores=1,3,5,7
/proc/11682/task/11691/stat : 11691 (java) S 11680 11682 9704 0 -1 4202560 513 0 0 0 711 24 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706557770280 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11692] ppid=11680 vsize=3024420 CPUtime=7.41 cores=1,3,5,7
/proc/11682/task/11692/stat : 11692 (java) S 11680 11682 9704 0 -1 4202560 462 0 0 0 723 18 0 0 20 0 19 0 345724770 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706556717480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11693] ppid=11680 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/11682/task/11693/stat : 11693 (java) S 11680 11682 9704 0 -1 4202560 130 0 0 0 94 7 0 0 20 0 19 0 345724771 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706544519912 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11694] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11694/stat : 11694 (java) S 11680 11682 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706543465976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11695] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11695/stat : 11695 (java) S 11680 11682 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345724772 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706542413576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11696] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11696/stat : 11696 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706541362064 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11697] ppid=11680 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11682/task/11697/stat : 11697 (java) S 11680 11682 9704 0 -1 4202560 7060 0 0 0 76 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706540308664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11682/tid=11698] ppid=11680 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/11682/task/11698/stat : 11698 (java) S 11680 11682 9704 0 -1 4202560 6389 0 0 0 77 2 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706539255864 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11682/tid=11699] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11699/stat : 11699 (java) S 11680 11682 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706538203768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11682/tid=11700] ppid=11680 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/11682/task/11700/stat : 11700 (java) S 11680 11682 9704 0 -1 4202560 100 0 0 0 47 46 0 0 20 0 19 0 345724774 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706537151176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11682/tid=11701] ppid=11680 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11682/task/11701/stat : 11701 (java) S 11680 11682 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345724873 3097006080 422382 33554432000 1073741824 1073778376 140735452935152 139706535019944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1755.93
CPU time (s): 1800.39
CPU user time (s): 1797.48
CPU system time (s): 2.91156
CPU usage (%): 102.532
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 2.91156
maximum resident set size= 1689644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23121
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= 67267
involuntary context switches= 113104

runsolver used 6.10307 second user time and 16.3625 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-04 09:46:29
IDJOB=3744224
IDBENCH=92709
IDSOLVER=2319
FILE ID=node128/3744224-1338795988
RUNJOBID= node128-1338773754-9721
PBS_JOBID= 14636825
Free space on /tmp= 70396 MiB

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

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

MD5SUM BENCH= 2d28530068eb86764968fa921334caf4
RANDOM SEED=820900682

node128.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.389
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	: 5332.77
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.389
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.389
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	: 5438.56
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.389
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.389
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.91
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.389
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.91
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.389
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.91
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.389
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:       32873852 kB
MemFree:        26384352 kB
Buffers:          562696 kB
Cached:          3922272 kB
SwapCached:          744 kB
Active:          3164592 kB
Inactive:        2409108 kB
Active(anon):    1079828 kB
Inactive(anon):    11420 kB
Active(file):    2084764 kB
Inactive(file):  2397688 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:              6272 kB
Writeback:             0 kB
AnonPages:       1094644 kB
Mapped:            22448 kB
Shmem:               200 kB
Slab:             757680 kB
SReclaimable:     199744 kB
SUnreclaim:       557936 kB
KernelStack:        1744 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1826944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 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= 70392 MiB
End job on node128 at 2012-06-04 10:15:47