Trace number 3744440

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.06 1745.22

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_5.opb
MD5SUM2c2d9ba6f4bdaebbae04c4ec95210420
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4494319
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	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.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3744440-1338800943.opb
0.10/0.10	c reading problem ... 
1.33/0.64	c ... done. Wall clock time 0.541s.
1.33/0.64	c CPU time (experimental) 0.62s.
1.33/0.64	c #vars     9940
1.33/0.64	c #constraints  24508
256.71/250.93	c cleaning 141734 clauses out of 283501 for limit 0.005394706858750709
258.64/252.89	c cleaning 71633 clauses out of 143276 for limit 0.048308912883515395
261.91/256.04	c cleaning 37063 clauses out of 74136 for limit 1.1308614910734531
263.84/257.96	c cleaning 20019 clauses out of 40074 for limit 42.12556176020041
266.27/260.38	c cleaning 12005 clauses out of 24052 for limit 3828.2541749767906
272.22/266.22	c cleaning 24756 clauses out of 49546 for limit 0.36551093607991086
272.32/266.32	c cleaning 12628 clauses out of 25292 for limit 1.1831797041080163
272.42/266.41	c cleaning 6561 clauses out of 13163 for limit 3.745418733577306
272.42/266.47	c cleaning 3545 clauses out of 7102 for limit 11.448022616094692
272.52/266.52	c cleaning 2019 clauses out of 4056 for limit 33.02437259978055
272.52/266.58	c cleaning 1256 clauses out of 2537 for limit 87.06987915696452
272.62/266.63	c cleaning 878 clauses out of 1781 for limit 204.54100075109335
272.62/266.69	c cleaning 692 clauses out of 1405 for limit 428.4428329153284
272.72/266.74	c cleaning 592 clauses out of 1213 for limit 818.3974973499294
272.72/266.79	c cleaning 548 clauses out of 1119 for limit 1460.0975439721185
272.82/266.84	c cleaning 526 clauses out of 1072 for limit 2515.98223558476
272.92/266.90	c cleaning 519 clauses out of 1054 for limit 4253.963175181859
272.92/266.96	c cleaning 504 clauses out of 1030 for limit 7142.996550313822
273.02/267.01	c cleaning 496 clauses out of 1024 for limit 11825.09318842893
273.02/267.07	c cleaning 498 clauses out of 1026 for limit 19424.239811961226
273.12/267.12	c cleaning 499 clauses out of 1028 for limit 31970.84863586646
273.12/267.18	c cleaning 507 clauses out of 1035 for limit 52682.92591316655
273.23/267.23	c cleaning 498 clauses out of 1023 for limit 87461.70334135879
273.23/267.29	c cleaning 502 clauses out of 1031 for limit 143978.57045033723
273.33/267.35	c cleaning 496 clauses out of 1023 for limit 237864.54072918158
273.42/267.40	c cleaning 499 clauses out of 1029 for limit 390764.2951919208
273.42/267.46	c cleaning 503 clauses out of 1029 for limit 643778.1756853586
273.52/267.52	c cleaning 502 clauses out of 1025 for limit 1064753.6425069554
273.52/267.57	c cleaning 497 clauses out of 1022 for limit 1759314.4886286666
273.62/267.63	c cleaning 502 clauses out of 1030 for limit 2893247.5648492496
273.62/267.69	c cleaning 512 clauses out of 1025 for limit 4780257.672932626
273.72/267.75	c cleaning 495 clauses out of 1013 for limit 7976669.796593139
273.82/267.81	c cleaning 503 clauses out of 1024 for limit 1.3091640190189626E7
273.82/267.87	c cleaning 494 clauses out of 1017 for limit 2.165164532481745E7
273.92/267.92	c cleaning 499 clauses out of 1022 for limit 3.5496238738195255E7
273.92/267.98	c cleaning 511 clauses out of 1022 for limit 5.84795082348654E7
274.02/268.03	c cleaning 506 clauses out of 1013 for limit 9.749224537872519E7
274.02/268.09	c cleaning 503 clauses out of 1007 for limit 1.6173571571259478E8
274.12/268.15	c cleaning 480 clauses out of 1001 for limit 2.6751841304492196E8
275.52/269.48	c cleaning 1003 clauses out of 2020 for limit 5.939768744733512E8
491.15/480.60	c cleaning 180989 clauses out of 362017 for limit 2394.1004126717335
501.97/491.13	c cleaning 94509 clauses out of 189029 for limit 1.3736357769217439E7
513.46/502.10	c cleaning 49750 clauses out of 99521 for limit 3.885784227835527E9
517.29/505.89	c cleaning 25875 clauses out of 51769 for limit 5.514144730342154E10
520.28/508.76	c cleaning 13694 clauses out of 27396 for limit 4.6827121686473975E11
526.85/515.16	c cleaning 8837 clauses out of 17702 for limit 3.964691330162234E13
532.37/520.53	c cleaning 6678 clauses out of 13368 for limit 4.7508552563823365E-5
533.81/521.95	c cleaning 3837 clauses out of 7685 for limit 2.2363181019996573E-4
536.37/524.50	c cleaning 3165 clauses out of 6349 for limit 0.003305111161695342
541.78/529.65	c cleaning 3336 clauses out of 6685 for limit 0.10423551275566838
989.54/962.35	c cleaning 126406 clauses out of 252847 for limit 708072.7931325898
991.24/964.03	c cleaning 63465 clauses out of 126943 for limit 2330514.801322534
1001.44/973.72	c cleaning 35986 clauses out of 71980 for limit 2.0326747086458458E10
1005.12/977.24	c cleaning 19248 clauses out of 38500 for limit 4.663430427618041E11
1007.80/979.85	c cleaning 10614 clauses out of 21243 for limit 6.1953140240122295E12
1014.16/986.09	c cleaning 11055 clauses out of 22128 for limit 0.0058991290951984346
1022.55/994.05	c cleaning 8537 clauses out of 17086 for limit 3.1319077262292643
1025.34/996.77	c cleaning 5260 clauses out of 10537 for limit 37.11434384187273
1028.21/999.50	c cleaning 3879 clauses out of 7778 for limit 613.910095116748
1029.38/1000.65	c cleaning 2436 clauses out of 4897 for limit 2646.582035272481
1033.08/1004.30	c cleaning 2471 clauses out of 4962 for limit 31891.331441787206
1040.00/1010.99	c cleaning 4234 clauses out of 8493 for limit 7554538.774978359
1042.49/1013.35	c cleaning 2869 clauses out of 5757 for limit 4.988517346696256E7
1043.92/1014.79	c cleaning 2187 clauses out of 4395 for limit 2.951332091807029E8
1044.02/1014.87	c cleaning 1334 clauses out of 2701 for limit 7.864419657152905E8
1046.62/1017.31	c cleaning 1426 clauses out of 2866 for limit 3.3208421095203114E9
1047.86/1018.56	c cleaning 1220 clauses out of 2441 for limit 1.0614582572996689E10
1053.82/1024.30	c cleaning 3100 clauses out of 6223 for limit 6.20724363643966E11
1055.25/1025.79	c cleaning 2552 clauses out of 5121 for limit 5.567988653123929E12
1064.08/1034.26	c cleaning 5286 clauses out of 10579 for limit 8.14793977257829E-5
1065.64/1035.70	c cleaning 3137 clauses out of 6286 for limit 3.7032944320798835E-4
1066.99/1037.03	c cleaning 2057 clauses out of 4146 for limit 0.0015224448162947134
1068.53/1038.53	c cleaning 2287 clauses out of 4588 for limit 0.016764568188513053
1068.63/1038.62	c cleaning 1387 clauses out of 2805 for limit 0.04540219497204832
1068.63/1038.68	c cleaning 952 clauses out of 1917 for limit 0.10944828916551305
1068.73/1038.72	c cleaning 730 clauses out of 1471 for limit 0.23663630487749215
1068.73/1038.78	c cleaning 609 clauses out of 1240 for limit 0.4624808322676442
1068.83/1038.82	c cleaning 557 clauses out of 1128 for limit 0.8359083723954802
1068.83/1038.87	c cleaning 525 clauses out of 1068 for limit 1.4516063981881313
1068.93/1038.91	c cleaning 514 clauses out of 1044 for limit 2.4513765458646266
1068.93/1038.96	c cleaning 507 clauses out of 1033 for limit 4.097978032847516
1069.03/1039.00	c cleaning 503 clauses out of 1022 for limit 6.803570535720628
1069.03/1039.05	c cleaning 499 clauses out of 1025 for limit 11.254517472304936
1069.03/1039.09	c cleaning 502 clauses out of 1026 for limit 18.542115045904524
1069.13/1039.13	c cleaning 500 clauses out of 1022 for limit 30.636743447357894
1069.13/1039.17	c cleaning 496 clauses out of 1019 for limit 50.52096800876453
1069.23/1039.22	c cleaning 493 clauses out of 1021 for limit 82.98640833467255
1069.23/1039.26	c cleaning 500 clauses out of 1033 for limit 135.94424750752384
1069.23/1039.29	c cleaning 493 clauses out of 1027 for limit 224.15040577194713
1069.33/1039.33	c cleaning 512 clauses out of 1036 for limit 367.1767116995473
1069.33/1039.37	c cleaning 505 clauses out of 1024 for limit 612.6194963362939
1069.44/1039.41	c cleaning 504 clauses out of 1020 for limit 1015.2687003964998
1069.44/1039.45	c cleaning 502 clauses out of 1016 for limit 1680.9056942067514
1069.44/1039.49	c cleaning 497 clauses out of 1013 for limit 2777.4675025007496
1069.54/1039.53	c cleaning 501 clauses out of 1021 for limit 4567.316789680817
1069.54/1039.58	c cleaning 502 clauses out of 1014 for limit 7538.722180239288
1069.63/1039.62	c cleaning 489 clauses out of 1013 for limit 12457.091293513453
1069.63/1039.67	c cleaning 509 clauses out of 1031 for limit 20326.607293281613
1069.73/1039.71	c cleaning 500 clauses out of 1016 for limit 33812.60806457241
1069.73/1039.76	c cleaning 502 clauses out of 1019 for limit 55764.47485555496
1069.83/1039.80	c cleaning 498 clauses out of 1014 for limit 92139.57345355288
1069.83/1039.85	c cleaning 498 clauses out of 1015 for limit 151648.97714939484
1069.83/1039.89	c cleaning 507 clauses out of 1028 for limit 249659.40406225028
1069.93/1039.94	c cleaning 495 clauses out of 1017 for limit 414512.78589379875
1069.93/1039.99	c cleaning 503 clauses out of 1018 for limit 680187.969047976
1070.03/1040.04	c cleaning 502 clauses out of 1022 for limit 1125183.3515518387
1070.03/1040.09	c cleaning 499 clauses out of 1021 for limit 1859254.5377971008
1070.13/1040.14	c cleaning 502 clauses out of 1013 for limit 3062671.5755283274
1070.13/1040.19	c cleaning 505 clauses out of 1010 for limit 5060691.630536252
1070.23/1040.23	c cleaning 502 clauses out of 1004 for limit 8387236.918274037
1070.23/1040.27	c cleaning 501 clauses out of 1002 for limit 1.3859283837850176E7
1070.33/1040.32	c cleaning 496 clauses out of 1007 for limit 2.2879261273558397E7
1070.33/1040.37	c cleaning 502 clauses out of 1004 for limit 3.75795919560886E7
1070.43/1040.41	c cleaning 491 clauses out of 1007 for limit 6.209902025432456E7
1070.43/1040.46	c cleaning 509 clauses out of 1019 for limit 1.0150780978337377E8
1070.43/1040.50	c cleaning 502 clauses out of 1004 for limit 1.688840925898426E8
1070.54/1040.55	c cleaning 491 clauses out of 1004 for limit 2.790703231663632E8
1070.54/1040.59	c cleaning 493 clauses out of 1010 for limit 4.561191916826397E8
1070.64/1040.63	c cleaning 509 clauses out of 1019 for limit 7.470513352803203E8
1070.64/1040.68	c cleaning 503 clauses out of 1007 for limit 1.2429324068567836E9
1070.74/1040.72	c cleaning 489 clauses out of 1009 for limit 2.055958109929573E9
1070.74/1040.76	c cleaning 507 clauses out of 1014 for limit 3.3536388286272554E9
1070.84/1040.80	c cleaning 505 clauses out of 1010 for limit 5.5691933107580385E9
1070.84/1040.83	c cleaning 501 clauses out of 1002 for limit 9.229927650055876E9
1070.84/1040.88	c cleaning 500 clauses out of 1001 for limit 1.5236591631845766E10
1070.94/1040.91	c cleaning 492 clauses out of 1004 for limit 2.5127403560361717E10
1070.94/1040.95	c cleaning 505 clauses out of 1011 for limit 4.111038531257213E10
1070.94/1040.99	c cleaning 505 clauses out of 1011 for limit 6.813652698004107E10
1076.11/1046.06	c cleaning 17494 clauses out of 34999 for limit 19128.9060509258
1576.69/1533.07	c cleaning 186244 clauses out of 372510 for limit 0.003224483576611855
1594.30/1550.48	c cleaning 93877 clauses out of 187763 for limit 0.028605675990880167
1600.22/1556.15	c cleaning 47692 clauses out of 95394 for limit 0.25455693096009024
1603.39/1559.17	c cleaning 24585 clauses out of 49192 for limit 2.191967190342142
1800.06/1745.21	c starts		: 23
1800.06/1745.21	c conflicts		: 1678826
1800.06/1745.21	c decisions		: 1785274
1800.06/1745.21	c propagations		: 1062610412
1800.06/1745.21	c inspects		: 5852043173
1800.06/1745.21	c learnt literals	: 0
1800.06/1745.21	c learnt binary clauses	: 0
1800.06/1745.21	c learnt ternary clauses	: 0
1800.06/1745.21	c learnt clauses	: 1678826
1800.06/1745.21	c root simplifications	: 0
1800.06/1745.21	c removed literals (reason simplification)	: 0
1800.06/1745.21	c reason swapping (by a shorter reason)	: 0
1800.06/1745.21	c Calls to reduceDB	: 133
1800.06/1745.21	c speed (decisions/second)	: 1023.3940052646544
1800.06/1745.21	c non guided choices	15
1800.06/1745.21	s UNKNOWN
1800.06/1745.21	c Total wall clock time (ms): 1745.109

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-3744440-1338800943/watcher-3744440-1338800943 -o /tmp/evaluation-result-3744440-1338800943/solver-3744440-1338800943 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744440-1338800943.opb 

running on 4 cores: 0,2,4,6

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: 1.92 1.98 1.99 5/193 22934
/proc/meminfo: memFree=27654112/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 1158 0 0 0 0 0 0 0 20 0 2 0 346219948 91889664 877 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 22434 883 668 9 0 16769 0
[pid=22934/tid=22935] ppid=22932 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 346219949 91889664 892 33554432000 1073741824 1073778376 140735051326624 140735051315688 214369690551 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.00914506 s]
/proc/loadavg: 1.92 1.98 1.99 5/193 22934
/proc/meminfo: memFree=27654112/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 346219948 103964672 1052 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 25382 1052 806 9 0 16774 0
[pid=22934/tid=22935] ppid=22932 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) S 22932 22934 21172 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 2 0 346219949 103964672 1052 33554432000 1073741824 1073778376 140735051326624 139790242186768 214369665507 0 0 0 16784584 18446744071580425449 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100241 s]
/proc/loadavg: 1.92 1.98 1.99 5/193 22934
/proc/meminfo: memFree=27654112/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 4971 0 1 0 9 1 0 0 20 0 18 0 346219948 3028844544 6153 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 739464 6153 2127 9 0 729885 0
[pid=22934/tid=22935] ppid=22932 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3052 0 1 0 7 0 0 0 20 0 18 0 346219949 3028844544 6153 33554432000 1073741824 1073778376 140735051326624 139790242178344 139790246939312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300253 s]
/proc/loadavg: 1.92 1.98 1.99 5/193 22934
/proc/meminfo: memFree=27654112/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 5906 0 1 0 47 2 0 0 20 0 18 0 346219948 3028844544 9787 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 739464 9787 2240 9 0 729885 0
[pid=22934/tid=22935] ppid=22932 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3075 0 1 0 26 1 0 0 20 0 18 0 346219949 3028844544 9787 33554432000 1073741824 1073778376 140735051326624 139790242177104 139790245471127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700258 s]
/proc/loadavg: 1.92 1.98 1.99 5/193 22934
/proc/meminfo: memFree=27654112/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=2957856 CPUtime=1.6 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 14839 0 1 0 156 4 0 0 20 0 18 0 346219948 3028844544 30415 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 739464 30415 2274 9 0 729885 0
[pid=22934/tid=22935] ppid=22932 vsize=2957856 CPUtime=0.67 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3116 0 1 0 65 2 0 0 20 0 18 0 346219949 3028844544 30415 33554432000 1073741824 1073778376 140735051326624 139790242185192 139790181991448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 2957856

[startup+1.50072 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22954
/proc/meminfo: memFree=27321028/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=2.68 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 15014 0 1 0 262 6 0 0 20 0 19 0 346219948 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 71435 2280 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3201 0 1 0 142 5 0 0 20 0 19 0 346219949 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790242185576 139790182355723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346219951 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6458 0 0 0 66 0 0 0 20 0 19 0 346219954 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4154 0 0 0 52 0 0 0 20 0 19 0 346219954 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 71435 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 3024420

[startup+3.10072 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22954
/proc/meminfo: memFree=26807044/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=4.34 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 15145 0 1 0 424 10 0 0 20 0 19 0 346219948 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 116007 2293 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3288 0 1 0 298 7 0 0 20 0 19 0 346219949 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790242184536 139790182740484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346219951 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6463 0 0 0 68 0 0 0 20 0 19 0 346219954 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4154 0 0 0 52 0 0 0 20 0 19 0 346219954 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 116007 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 3024420

[startup+6.30066 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 22954
/proc/meminfo: memFree=26752252/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=7.56 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 15163 0 1 0 745 11 0 0 20 0 19 0 346219948 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 118400 2293 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 3291 0 1 0 617 7 0 0 20 0 19 0 346219949 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790242184480 139790182843300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219950 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346219951 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6463 0 0 0 68 0 0 0 20 0 19 0 346219954 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4154 0 0 0 52 0 0 0 20 0 19 0 346219954 3097006080 118400 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6470 0 0 0 77 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4165 0 0 0 58 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 93 0 0 0 38 25 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1649.18
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 23092
/proc/meminfo: memFree=24806344/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=1712.52 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 20652 0 1 0 171079 173 0 0 20 0 19 0 346219948 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 423821 2308 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=1636.43 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 4185 0 1 0 163606 37 0 0 20 0 19 0 346219949 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790242184480 139790182823792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=8.73 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 531 0 0 0 854 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=8.46 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 507 0 0 0 831 15 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=8.22 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 502 0 0 0 807 15 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=8.68 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 542 0 0 0 849 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=8.66 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 508 0 0 0 851 15 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=8.38 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 469 0 0 0 824 14 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=8.69 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 499 0 0 0 853 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=8.29 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 491 0 0 0 812 17 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=2.11 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 501 0 0 0 207 4 0 0 20 0 19 0 346219951 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6470 0 0 0 77 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4165 0 0 0 58 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 95 0 0 0 39 26 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1712.52
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.84 1.97 1.99 3/213 23092
/proc/meminfo: memFree=24781644/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=1776.13 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 20704 0 1 0 177437 176 0 0 20 0 19 0 346219948 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 423821 2308 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=1694.91 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 4229 0 1 0 169453 38 0 0 20 0 19 0 346219949 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790242184400 139790182799171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=9.36 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 531 0 0 0 917 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=9.13 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 507 0 0 0 898 15 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=8.84 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 502 0 0 0 868 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=9.36 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 542 0 0 0 917 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=9.23 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 508 0 0 0 907 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=8.98 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 469 0 0 0 884 14 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=9.3 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 499 0 0 0 914 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=8.88 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 491 0 0 0 871 17 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=2.12 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 505 0 0 0 207 5 0 0 20 0 19 0 346219951 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6470 0 0 0 77 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4165 0 0 0 58 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 99 0 0 0 40 27 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1776.13
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1745.2 s]
/proc/loadavg: 1.89 1.97 1.99 3/213 23092
/proc/meminfo: memFree=24769232/32873844 swapFree=7632/7632
[pid=22934] ppid=22932 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/22934/stat : 22934 (java) S 22932 22934 21172 0 -1 4202496 20722 0 1 0 179829 177 0 0 20 0 19 0 346219948 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 140735051317760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22934/statm: 756105 423821 2308 9 0 746526 0
[pid=22934/tid=22935] ppid=22932 vsize=3024420 CPUtime=1717.37 cores=0,2,4,6
/proc/22934/task/22935/stat : 22935 (java) R 22932 22934 21172 0 -1 4202560 4243 0 1 0 171698 39 0 0 20 0 19 0 346219949 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790242184512 139790182823820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22937] ppid=22932 vsize=3024420 CPUtime=9.52 cores=0,2,4,6
/proc/22934/task/22937/stat : 22937 (java) S 22932 22934 21172 0 -1 4202560 531 0 0 0 933 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790180915496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22938] ppid=22932 vsize=3024420 CPUtime=9.29 cores=0,2,4,6
/proc/22934/task/22938/stat : 22938 (java) S 22932 22934 21172 0 -1 4202560 507 0 0 0 914 15 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790106880168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22939] ppid=22932 vsize=3024420 CPUtime=9.04 cores=0,2,4,6
/proc/22934/task/22939/stat : 22939 (java) S 22932 22934 21172 0 -1 4202560 502 0 0 0 888 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790105827880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22940] ppid=22932 vsize=3024420 CPUtime=9.49 cores=0,2,4,6
/proc/22934/task/22940/stat : 22940 (java) S 22932 22934 21172 0 -1 4202560 542 0 0 0 930 19 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790104775080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22941] ppid=22932 vsize=3024420 CPUtime=9.47 cores=0,2,4,6
/proc/22934/task/22941/stat : 22941 (java) S 22932 22934 21172 0 -1 4202560 508 0 0 0 931 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790103722792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22942] ppid=22932 vsize=3024420 CPUtime=9.17 cores=0,2,4,6
/proc/22934/task/22942/stat : 22942 (java) S 22932 22934 21172 0 -1 4202560 469 0 0 0 903 14 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790102669992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22934/tid=22943] ppid=22932 vsize=3024420 CPUtime=9.47 cores=0,2,4,6
/proc/22934/task/22943/stat : 22943 (java) S 22932 22934 21172 0 -1 4202560 499 0 0 0 931 16 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790101617704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22944] ppid=22932 vsize=3024420 CPUtime=9.03 cores=0,2,4,6
/proc/22934/task/22944/stat : 22944 (java) S 22932 22934 21172 0 -1 4202560 491 0 0 0 886 17 0 0 20 0 19 0 346219950 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790100564904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22945] ppid=22932 vsize=3024420 CPUtime=2.12 cores=0,2,4,6
/proc/22934/task/22945/stat : 22945 (java) S 22932 22934 21172 0 -1 4202560 507 0 0 0 207 5 0 0 20 0 19 0 346219951 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790088366312 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22946] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22946/stat : 22946 (java) S 22932 22934 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790087312376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22947] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22947/stat : 22947 (java) S 22932 22934 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346219952 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790086259976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22948] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22948/stat : 22948 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790085208464 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22949] ppid=22932 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/22934/task/22949/stat : 22949 (java) S 22932 22934 21172 0 -1 4202560 6470 0 0 0 77 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790084156088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22934/tid=22950] ppid=22932 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/22934/task/22950/stat : 22950 (java) S 22932 22934 21172 0 -1 4202560 4165 0 0 0 58 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790083103288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22951] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22951/stat : 22951 (java) S 22932 22934 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790082051192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22934/tid=22952] ppid=22932 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/22934/task/22952/stat : 22952 (java) S 22932 22934 21172 0 -1 4202560 101 0 0 0 42 27 0 0 20 0 19 0 346219954 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790080998600 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22934/tid=22954] ppid=22932 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22934/task/22954/stat : 22954 (java) S 22932 22934 21172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346220023 3097006080 423821 33554432000 1073741824 1073778376 140735051326624 139790078796712 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 22934 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=109253
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=162671
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1745.22
CPU time (s): 1800.06
CPU user time (s): 1798.29
CPU system time (s): 1.77
CPU usage (%): 103.142
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.11
system time used= 2.16267
maximum resident set size= 1695400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20752
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67673
involuntary context switches= 123143

runsolver used 6.02108 second user time and 14.9237 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-04 11:09:03
IDJOB=3744440
IDBENCH=92753
IDSOLVER=2319
FILE ID=node130/3744440-1338800943
RUNJOBID= node130-1338783068-21188
PBS_JOBID= 14636838
Free space on /tmp= 70980 MiB

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

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

MD5SUM BENCH= 2c2d9ba6f4bdaebbae04c4ec95210420
RANDOM SEED=935903428

node130.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.875
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.75
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.875
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.875
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.91
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.875
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.86
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.875
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.875
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27659960 kB
Buffers:         1704764 kB
Cached:          2571552 kB
SwapCached:         4312 kB
Active:          2462680 kB
Inactive:        1866772 kB
Active(anon):      40976 kB
Inactive(anon):     8188 kB
Active(file):    2421704 kB
Inactive(file):  1858584 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099292 kB
Dirty:              9120 kB
Writeback:             0 kB
AnonPages:         92196 kB
Mapped:            17060 kB
Shmem:                 4 kB
Slab:             730292 kB
SReclaimable:     171636 kB
SUnreclaim:       558656 kB
KernelStack:        1600 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 70976 MiB
End job on node130 at 2012-06-04 11:38:11