Trace number 4456059

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
Sat4j Partial RoundingSAT 2024 2024-07-12MSAT (TO) 3600.39 3582.58

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
MD5SUM3be5de5dccad0a17ab99c6901729ec82
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark21.3761
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136625
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136624
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 693
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.13/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.10	c See www.sat4j.org for details.
0.13/0.11	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.30/0.24	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.30/0.24	 - never skip resolution steps
0.30/0.24	 - Auto-division on coefficients is disabled
0.30/0.24	 - No postprocessing
0.30/0.24	 - Conflict is considered as is when resolving
0.30/0.24	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.30/0.24	 - Weaken first using unassigned literals
0.30/0.24	 - Bump strategy: ALWAYS_ONE
0.30/0.24	 - Bumper: ASSIGNED
0.30/0.24	--- Begin Solver configuration ---
0.30/0.24	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.30/0.24	Learn all clauses as in MiniSAT
0.30/0.24	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.24	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.30/0.24	No reason simplification
0.30/0.24	Armin Biere (Picosat) restarts strategy
0.30/0.24	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.30/0.24	timeout=2147483s
0.30/0.24	DB Simplification allowed=false
0.30/0.24	Listener: none
0.30/0.24	--- End Solver configuration ---
0.30/0.25	c Pseudo Boolean Optimization by upper bound
0.30/0.25	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.30/0.25	c  - never skip resolution steps
0.30/0.25	c  - Auto-division on coefficients is disabled
0.30/0.25	c  - No postprocessing
0.30/0.25	c  - Conflict is considered as is when resolving
0.30/0.25	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.30/0.25	c  - Weaken first using unassigned literals
0.30/0.25	c  - Bump strategy: ALWAYS_ONE
0.30/0.25	c  - Bumper: ASSIGNED
0.30/0.25	c --- Begin Solver configuration ---
0.30/0.25	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.30/0.25	c Learn all clauses as in MiniSAT
0.30/0.25	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.25	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.30/0.25	c No reason simplification
0.30/0.25	c Armin Biere (Picosat) restarts strategy
0.30/0.25	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.30/0.25	c timeout=2147483s
0.30/0.25	c DB Simplification allowed=false
0.30/0.25	c Listener: none
0.30/0.25	c --- End Solver configuration ---
0.30/0.25	c solving HOME/instance-4456059-1721718013.wbo
0.30/0.25	c reading problem ... 
0.69/0.42	c ... done. Wall clock time 0.151s.
0.69/0.42	c declared #vars     231
0.69/0.42	c internal #vars     2938
0.69/0.42	c #constraints  2708
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.specs.Constr$1 => 1
0.69/0.42	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 23
0.69/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2684
0.69/0.42	c 2708 constraints processed.
0.69/0.44	c objective function length is 2707 literals
0.86/0.61	c SATISFIABLE
1.05/0.62	c OPTIMIZING...
1.05/0.62	c Got one! Elapsed wall clock time (in seconds):0.368
1.05/0.62	o 31255
2.60/1.42	c Got one! Elapsed wall clock time (in seconds):1.17
2.60/1.42	o 31228
5.97/3.19	c Got one! Elapsed wall clock time (in seconds):2.949
5.97/3.19	o 4233
9.55/6.07	c Got one! Elapsed wall clock time (in seconds):5.813
9.55/6.07	o 1297
15.77/12.27	c Got one! Elapsed wall clock time (in seconds):12.02
15.77/12.27	o 1293
18.40/14.82	c Got one! Elapsed wall clock time (in seconds):14.573
18.40/14.82	o 739
24.53/20.71	c Got one! Elapsed wall clock time (in seconds):20.467
24.53/20.71	o 732
28.35/24.21	c Got one! Elapsed wall clock time (in seconds):23.969
28.35/24.21	o 729
34.70/30.43	c Got one! Elapsed wall clock time (in seconds):30.187
34.70/30.43	o 705
42.50/37.68	c Got one! Elapsed wall clock time (in seconds):37.433
42.50/37.68	o 702
45.10/40.24	c Got one! Elapsed wall clock time (in seconds):39.999
45.10/40.24	o 700
51.09/46.22	c Got one! Elapsed wall clock time (in seconds):45.972
51.09/46.22	o 698
57.53/52.61	c Got one! Elapsed wall clock time (in seconds):52.368
57.53/52.61	o 692
72.36/67.20	c Got one! Elapsed wall clock time (in seconds):66.958
72.36/67.20	o 681
75.35/70.25	c Got one! Elapsed wall clock time (in seconds):70.009
75.35/70.25	o 547
82.24/77.10	c Got one! Elapsed wall clock time (in seconds):76.85
82.24/77.10	o 524
92.53/87.35	c Got one! Elapsed wall clock time (in seconds):87.102
92.53/87.35	o 523
173.18/167.45	c Got one! Elapsed wall clock time (in seconds):167.202
173.18/167.46	o 522
183.45/177.59	c Got one! Elapsed wall clock time (in seconds):177.344
183.45/177.59	o 513
223.29/217.13	c Got one! Elapsed wall clock time (in seconds):216.884
223.29/217.13	o 262
257.86/251.42	c Got one! Elapsed wall clock time (in seconds):251.178
257.86/251.43	o 261
315.47/308.67	c Got one! Elapsed wall clock time (in seconds):308.426
315.47/308.67	o 253
423.95/416.46	c Got one! Elapsed wall clock time (in seconds):416.213
423.95/416.46	o 248
499.33/491.77	c Got one! Elapsed wall clock time (in seconds):491.526
499.33/491.77	o 223
520.29/512.65	c Got one! Elapsed wall clock time (in seconds):512.402
520.29/512.65	o 209
535.95/528.33	c Got one! Elapsed wall clock time (in seconds):528.089
535.95/528.33	o 203
564.01/556.32	c Got one! Elapsed wall clock time (in seconds):556.079
564.01/556.32	o 196
608.25/600.44	c Got one! Elapsed wall clock time (in seconds):600.197
608.25/600.44	o 184
710.37/702.08	c cleaning 7764 clauses out of 15533 with flag 0/15533
876.42/867.37	c Got one! Elapsed wall clock time (in seconds):867.124
876.42/867.37	o 181
990.81/981.32	c Got one! Elapsed wall clock time (in seconds):981.078
990.81/981.32	o 176
1218.86/1209.35	c Got one! Elapsed wall clock time (in seconds):1209.105
1218.86/1209.35	o 173
1267.96/1258.48	c Got one! Elapsed wall clock time (in seconds):1258.237
1267.96/1258.48	o 172
1321.57/1312.07	c Got one! Elapsed wall clock time (in seconds):1311.819
1321.57/1312.07	o 170
1412.65/1403.03	c Got one! Elapsed wall clock time (in seconds):1402.784
1412.65/1403.03	o 165
1593.10/1583.23	c cleaning 7668 clauses out of 15353 with flag 0/23117
1615.97/1606.07	c Got one! Elapsed wall clock time (in seconds):1605.821
1615.97/1606.07	o 164
1672.26/1662.25	c Got one! Elapsed wall clock time (in seconds):1662.007
1672.26/1662.25	o 163
1820.59/1809.97	c Got one! Elapsed wall clock time (in seconds):1809.719
1820.59/1809.97	o 138
1986.44/1975.24	c cleaning 7408 clauses out of 14839 with flag 0/30271
2007.56/1995.85	c Got one! Elapsed wall clock time (in seconds):1995.603
2007.56/1995.85	o 136
2021.94/2010.27	c Got one! Elapsed wall clock time (in seconds):2010.027
2021.94/2010.27	o 124
2026.53/2014.71	c Got one! Elapsed wall clock time (in seconds):2014.461
2026.53/2014.71	o 117
2093.08/2081.38	c Got one! Elapsed wall clock time (in seconds):2081.137
2093.08/2081.38	o 112
2181.66/2169.68	c Got one! Elapsed wall clock time (in seconds):2169.434
2181.66/2169.68	o 109
2278.94/2266.60	c cleaning 6006 clauses out of 13460 with flag 0/36300
2312.23/2299.40	c Got one! Elapsed wall clock time (in seconds):2299.156
2312.23/2299.40	o 107
2427.51/2413.92	c Got one! Elapsed wall clock time (in seconds):2413.674
2427.51/2413.92	o 105
2472.79/2459.26	c cleaning 4887 clauses out of 13218 with flag 0/42064
2490.31/2476.63	c Got one! Elapsed wall clock time (in seconds):2476.385
2490.31/2476.63	o 72
2611.44/2597.06	c cleaning 4505 clauses out of 13875 with flag 0/47608
2629.64/2615.18	c Got one! Elapsed wall clock time (in seconds):2614.936
2629.64/2615.18	o 69
2631.38/2616.75	c Got one! Elapsed wall clock time (in seconds):2616.501
2631.38/2616.75	o 67
2635.18/2620.55	c Got one! Elapsed wall clock time (in seconds):2620.302
2635.18/2620.55	o 65
2641.59/2626.84	c Got one! Elapsed wall clock time (in seconds):2626.599
2641.59/2626.84	o 64
2667.31/2652.42	c Got one! Elapsed wall clock time (in seconds):2652.179
2667.31/2652.42	o 59
2677.95/2662.94	c Got one! Elapsed wall clock time (in seconds):2662.694
2677.95/2662.94	o 58
2748.45/2733.00	c Got one! Elapsed wall clock time (in seconds):2732.752
2748.45/2733.01	o 46
2845.81/2829.87	c Got one! Elapsed wall clock time (in seconds):2829.624
2845.81/2829.87	o 44
3303.56/3286.78	c cleaning 6655 clauses out of 17471 with flag 0/55709
3306.86/3290.06	c Got one! Elapsed wall clock time (in seconds):3289.817
3306.86/3290.06	o 41
3372.48/3355.47	c Got one! Elapsed wall clock time (in seconds):3355.22
3372.48/3355.47	o 40
3528.85/3511.73	c cleaning 4828 clauses out of 16470 with flag 0/61363
3539.01/3521.71	c Got one! Elapsed wall clock time (in seconds):3521.463
3539.01/3521.71	o 38
3600.07/3582.42	c starts		: 133
3600.07/3582.43	c conflicts		: 64429
3600.07/3582.43	c decisions		: 839588
3600.07/3582.43	c propagations		: 8684794
3600.07/3582.43	c inspects		: 718706406
3600.07/3582.43	c shortcuts		: 0
3600.07/3582.43	c learnt literals	: 0
3600.07/3582.43	c learnt binary clauses	: 0
3600.07/3582.43	c learnt ternary clauses	: 1
3600.07/3582.43	c learnt constraints	: 64429
3600.07/3582.43	c ignored constraints	: 0
3600.07/3582.43	c root simplifications	: 0
3600.07/3582.44	c removed literals (reason simplification)	: 0
3600.07/3582.44	c reason swapping (by a shorter reason)	: 0
3600.07/3582.44	c Calls to reduceDB	: 8
3600.07/3582.44	c Number of update (reduction) of LBD	: 0
3600.07/3582.44	c Imported unit clauses	: 0
3600.07/3582.44	c No decision after first conflict	: false
3600.07/3582.44	c number of reductions to clauses (during analyze)	: 0
3600.07/3582.44	c number of learned constraints concerned by reduction	: 0
3600.07/3582.44	c number of learning phase by resolution	: 0
3600.07/3582.44	c number of learning phase by cutting planes	: 0
3600.07/3582.44	c number of rounding to 1 operations	: 158352
3600.07/3582.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3582.44	c number of reductions of the coefficients by power 2 	: 0
3600.07/3582.44	c number of right shift for reduction by power 2 	: 0
3600.07/3582.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3582.44	c number of ending skipping 	: 0
3600.07/3582.47	c number of internal skipping 	: 0
3600.07/3582.47	c number of derivation steps 	: 609383
3600.07/3582.47	c number of skipped derivation steps 	: 0
3600.07/3582.47	c number of remaining unassigned 	: 490635
3600.07/3582.47	c number of remaining assigned 	: 31193422
3600.07/3582.47	c number of falsified literals weakened from reason	: 0
3600.07/3582.47	c number of falsified literals weakened from conflict	: 0
3600.07/3582.47	c time for arithmetic operations	: 2616906503
3600.07/3582.47	c minimum degree of deleted constraints	: 4
3600.07/3582.47	c maximum degree of deleted constraints	: 28594355
3600.07/3582.47	c number of deleted constraints	: 49721
3600.07/3582.47	c speed (assignments/second)	: 2424.5574833361807
3600.07/3582.49	c non guided choices	: 5775
3600.25/3582.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 10862
3600.25/3582.53	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 2
3600.25/3582.53	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 3844
3600.25/3582.53	s SATISFIABLE
3600.25/3582.53	c Found 56 solution(s)
3600.25/3582.55	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 
3600.25/3582.56	c objective function=38
3600.25/3582.56	c Total wall clock time (in seconds): 3582.312

Verifier Data 

OK	38

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57783 MiB free)
  memory of node 1: 64510 MiB (54660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456059-1721718013/watcher-4456059-1721718013 -o /tmp/evaluation-result-4456059-1721718013/solver-4456059-1721718013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721717807-78850 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456059-1721718013.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80243, runsolver pid=80240

[startup+0.100724 s]*
/proc/loadavg: 3.83 3.01 2.46 7/324 80261
/proc/meminfo: memFree=115105332/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=18993908 memory=59200 CPUtime=0.13 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 6577 0 0 0 11 2 0 0 20 0 18 0 7790713 19449761792 14800 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4748477 14800 5908 1 0 550972 0
[pid=80243/tid=80245] ppid=80240 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 5519 0 0 0 6 2 0 0 20 0 18 0 7790714 19449761792 14800 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 14800 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=18993908 memory=3618136736603111187 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 14800 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59200 KiB

[startup+0.209001 s]*
/proc/loadavg: 3.83 3.01 2.46 5/324 80261
/proc/meminfo: memFree=115097996/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=18993908 memory=66952 CPUtime=0.3 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 7340 0 0 0 27 3 0 0 20 0 18 0 7790713 19449761792 16738 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4748477 16738 6025 1 0 551605 0
[pid=80243/tid=80245] ppid=80240 vsize=18993908 memory=664970838410264707 CPUtime=0.18 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 5859 0 0 0 16 2 0 0 20 0 18 0 7790714 19449761792 16738 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=18993908 memory=1646 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 16738 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 16738 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66952 KiB

[startup+0.316195 s]*
/proc/loadavg: 3.83 3.01 2.46 7/324 80261
/proc/meminfo: memFree=115090480/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=18993908 memory=76332 CPUtime=0.5 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 7625 0 0 0 47 3 0 0 20 0 18 0 7790713 19449761792 19083 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4748477 19083 6030 1 0 551777 0
[pid=80243/tid=80245] ppid=80240 vsize=18993908 memory=-6000919507083226215 CPUtime=0.28 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 6001 0 0 0 26 2 0 0 20 0 18 0 7790714 19449761792 19083 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 19083 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7790718 19449761792 19083 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 76332 KiB

[startup+0.701191 s]
/proc/loadavg: 3.83 3.01 2.46 7/325 80262
/proc/meminfo: memFree=115042912/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19060472 memory=152968 CPUtime=1.22 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 10929 0 0 0 116 6 0 0 20 0 19 0 7790713 19517923328 38242 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4765118 38242 6153 1 0 553993 0
[pid=80243/tid=80245] ppid=80240 vsize=19060472 memory=5604 CPUtime=0.61 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 6207 0 0 0 57 4 0 0 20 0 19 0 7790714 19517923328 38242 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7790718 19517923328 38242 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19060472 memory=5033 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7790718 19517923328 38242 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19060472 memory=2244 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7790758 19517923328 38242 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 152968 KiB

[startup+1.50029 s]
/proc/loadavg: 3.83 3.01 2.46 7/326 80263
/proc/meminfo: memFree=114982100/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=192620 CPUtime=2.8 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 24371 0 0 0 272 8 0 0 20 0 20 0 7790713 19586084864 48155 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 48155 6153 1 0 559321 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=12240 CPUtime=1.38 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) S 80240 80243 78839 0 -1 1077936192 6602 0 0 0 134 4 0 0 20 0 20 0 7790714 19586084864 48155 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 48155 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=19063 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 48155 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 48155 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 192620 KiB

[startup+3.10619 s]
/proc/loadavg: 3.83 3.01 2.46 6/326 80263
/proc/meminfo: memFree=114950312/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=215844 CPUtime=5.97 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 27505 0 0 0 589 8 0 0 20 0 20 0 7790713 19586084864 53961 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 53961 6153 1 0 560291 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=0 CPUtime=2.92 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 7022 0 0 0 288 4 0 0 20 0 20 0 7790714 19586084864 53961 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 53961 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 53961 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 53961 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 215844 KiB

[startup+6.30044 s]
/proc/loadavg: 4.08 3.08 2.48 5/326 80263
/proc/meminfo: memFree=114769044/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=395392 CPUtime=9.85 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 28118 0 0 0 972 13 0 0 20 0 20 0 7790713 19586084864 98848 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 98848 6153 1 0 560293 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=12240 CPUtime=5.98 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 7402 0 0 0 591 7 0 0 20 0 20 0 7790714 19586084864 98848 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=265292 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 98848 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 98848 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=-6000919507083226215 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 98848 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 9.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 395392 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 3.11 2.49 5/326 80265
/proc/meminfo: memFree=114252560/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=996564 CPUtime=16.29 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 29252 0 0 0 1602 27 0 0 20 0 20 0 7790713 19586084864 249141 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 249141 6153 1 0 698148 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=-6000919507083226215 CPUtime=11.87 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 7852 0 0 0 1169 18 0 0 20 0 20 0 7790714 19586084864 249141 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 249141 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=910536 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 249141 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=-6000919507083226215 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 249141 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 16.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 996564 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 3.17 2.52 5/324 80266
/proc/meminfo: memFree=112854972/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=2334144 CPUtime=29.77 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 36178 0 0 0 2922 55 0 0 20 0 20 0 7790713 19586084864 583536 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 583536 6153 1 0 1316467 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=1916268 CPUtime=24.34 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 9828 0 0 0 2394 40 0 0 20 0 20 0 7790714 19586084864 583536 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=-6000919507083226215 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 583536 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 583536 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 583536 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 29.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2334144 KiB

[startup+51.1135 s]
/proc/loadavg: 4.25 3.27 2.58 5/324 80282
/proc/meminfo: memFree=111429628/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=3579748 CPUtime=56.04 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 48338 0 0 0 5521 83 0 0 20 0 20 0 7790713 19586084864 894937 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 894937 6153 1 0 1316475 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=12252 CPUtime=49.57 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 14419 0 0 0 4892 65 0 0 20 0 20 0 7790714 19586084864 894937 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=3254020 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 894937 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.26 4.21 5/316 81679
/proc/meminfo: memFree=110093268/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118604 CPUtime=3299.1 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 281105 0 0 0 329600 310 0 0 20 0 20 0 7790713 19586084864 1279651 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279651 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=5118604 CPUtime=3252.06 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 133846 0 0 0 325116 90 0 0 20 0 20 0 7790714 19586084864 1279651 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=5604 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279651 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=17912 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2331 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279651 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279651 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3299.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.29 4.22 5/317 82074
/proc/meminfo: memFree=110074112/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3359.36 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 284319 0 0 0 335624 312 0 0 20 0 20 0 7790713 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279654 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3311.3 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 135008 0 0 0 331040 90 0 0 20 0 20 0 7790714 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2390 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3359.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.65 4.39 4.26 5/317 82086
/proc/meminfo: memFree=109634556/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3419.39 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 288245 0 0 0 341623 316 0 0 20 0 20 0 7790713 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279654 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3370.94 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 137228 0 0 0 337003 91 0 0 20 0 20 0 7790714 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2391 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3419.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.38 4.26 6/317 82096
/proc/meminfo: memFree=109621728/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3479.39 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 289315 0 0 0 347620 319 0 0 20 0 20 0 7790713 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279654 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3430.58 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 137996 0 0 0 342967 91 0 0 20 0 20 0 7790714 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2463 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279654 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3479.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.45 4.40 4.28 5/319 82342
/proc/meminfo: memFree=107411188/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118624 CPUtime=3539.61 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 291211 0 0 0 353639 322 0 0 20 0 20 0 7790713 19586084864 1279656 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279656 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=5118616 CPUtime=3489.98 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 139743 0 0 0 348907 91 0 0 20 0 20 0 7790714 19586084864 1279656 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279656 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=5118616 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2464 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279656 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279656 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3539.61 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.53 4.40 4.29 5/319 82353
/proc/meminfo: memFree=107410796/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118632 CPUtime=3599.97 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 295224 0 0 0 359672 325 0 0 20 0 20 0 7790713 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279658 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=12252 CPUtime=3549.24 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 142078 0 0 0 354832 92 0 0 20 0 20 0 7790714 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2464 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.4 s]
/proc/loadavg: 4.53 4.40 4.29 5/319 82353
/proc/meminfo: memFree=107410796/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19127036 memory=5118632 CPUtime=3600.07 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 295225 0 0 0 359682 325 0 0 20 0 20 0 7790713 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4781759 1279658 6168 1 0 1316781 0
[pid=80243/tid=80245] ppid=80240 vsize=19127036 memory=12240 CPUtime=3549.34 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 142079 0 0 0 354842 92 0 0 20 0 20 0 7790714 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19127036 memory=5604 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19127036 memory=2232 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2464 0 0 0 0 0 0 0 20 0 20 0 7790718 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80262] ppid=80240 vsize=19127036 memory=1896 CPUtime=0 cores=0,2
/proc/80243/task/80262/stat : 80262 (Timer-0) S 80240 80243 78839 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7790758 19586084864 1279658 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5118632 KiB

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

[startup+3582.58 s]
# the end of solver process 80243 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.11 s, system=3.27573 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3582.51 s]
/proc/loadavg: 4.53 4.40 4.29 5/319 82353
/proc/meminfo: memFree=107410796/131655788 swapFree=131071996/131071996
[pid=80243] ppid=80240 vsize=19326728 memory=5119440 CPUtime=3600.25 cores=0,2
/proc/80243/stat : 80243 (java) S 80240 80243 78839 0 -1 1077936128 298195 0 0 0 359700 325 0 0 20 0 21 0 7790713 19790569472 1279860 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
/proc/80243/statm: 4831682 1279860 6174 1 0 1317732 0
[pid=80243/tid=80245] ppid=80240 vsize=19326728 memory=12252 CPUtime=3549.42 cores=0,2
/proc/80243/task/80245/stat : 80245 (java) R 80240 80243 78839 0 -1 4194368 142193 0 0 0 354850 92 0 0 20 0 21 0 7790714 19790569472 1279860 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80254] ppid=80240 vsize=19326728 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80254/stat : 80254 (Finalizer) S 80240 80243 78839 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7790718 19790569472 1279860 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
[pid=80243/tid=80261] ppid=80240 vsize=19326728 memory=12252 CPUtime=0 cores=0,2
/proc/80243/task/80261/stat : 80261 (Common-Cleaner) S 80240 80243 78839 0 -1 1077936192 2464 0 0 0 0 0 0 0 20 0 21 0 7790718 19790569472 1279860 134679101440 94841364254720 94841364258416 140723544192528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94841364266232 94841364267024 94841383596032 140723544200179 140723544200292 140723544200292 140723544207304 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 5119440 KiB

Child status: 143

Real time (s): 3582.58
CPU time (s): 3600.39
CPU user time (s): 3597.11
CPU system time (s): 3.27573
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 5119440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.11
system time used= 3.27573
maximum resident set size= 5120476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298905
page faults= 0
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112470
involuntary context switches= 25974


# summary of solver processes directly reported to runsolver:
#   pid: 80243
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3597.11
#   total CPU system time (s): 3.27573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3458 second user time and 37.8629 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-23 09:00:13
IDJOB=4456059
IDBENCH=143176
IDSOLVER=3035
FILE ID=nodeC005/4456059-1721718013
RUNJOBID= nodeC005-1721717807-78850
SLURM_JOB_ID= 7770386
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456059-1721718013/watcher-4456059-1721718013 -o /tmp/evaluation-result-4456059-1721718013/solver-4456059-1721718013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721717807-78850 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456059-1721718013.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 3be5de5dccad0a17ab99c6901729ec82
RANDOM SEED=2031258506

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1930.973
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3651.033
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2118.732
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.218
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.795
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3615.877
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.257
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.180
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        115143080 kB
MemAvailable:   118206936 kB
Buffers:          133976 kB
Cached:          3726240 kB
SwapCached:            0 kB
Active:           875356 kB
Inactive:       15057504 kB
Active(anon):       1432 kB
Inactive(anon): 12100384 kB
Active(file):     873924 kB
Inactive(file):  2957120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1176 kB
Writeback:            40 kB
AnonPages:      12072376 kB
Mapped:           119884 kB
Shmem:             29504 kB
KReclaimable:     145688 kB
Slab:             241204 kB
SReclaimable:     145688 kB
SUnreclaim:        95516 kB
KernelStack:        4940 kB
PageTables:        33720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   14505588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11759616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      260936 kB
DirectMap2M:    21663744 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-23 09:59:56