Trace number 4446254

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 Resolution Default 2024-07-07? (TO) 3600.22 3608.32

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
MD5SUM385cc980e0c43194d9e7f2f21b5d5aa0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables55296
Total number of constraints1282690
Number of constraints which are clauses1152492
Number of constraints which are cardinality constraints (but not clauses)4030
Number of constraints which are nor clauses,nor cardinality constraints126168
Minimum length of a constraint2
Maximum length of a constraint756
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4446254-1721325044.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c  no objective function found
6.55/4.72	c ... done. Wall clock time 4.581s.
6.55/4.72	c declared #vars     55296
6.55/4.72	c #constraints  1284718
6.55/4.72	c constraints type 
6.55/4.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 269329
6.55/4.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4032
6.55/4.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 126168
6.55/4.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 885189
6.55/4.72	c 1284718 constraints processed.
22.01/19.25	c cleaning 2495 clauses out of 5000 with flag 270991/5000
27.84/24.79	c cleaning 4248 clauses out of 8505 with flag 833198/11000
34.49/31.24	c cleaning 5616 clauses out of 11257 with flag 1143512/18000
41.30/37.90	c cleaning 6793 clauses out of 13641 with flag 1529168/26000
47.00/43.38	c cleaning 7785 clauses out of 15848 with flag 1949764/35000
58.97/55.31	c cleaning 8958 clauses out of 18064 with flag 2641325/45001
66.17/62.54	c cleaning 9751 clauses out of 20106 with flag 3208296/56001
75.95/72.36	c cleaning 10824 clauses out of 22355 with flag 3782653/68001
85.54/81.93	c cleaning 11931 clauses out of 24531 with flag 4364235/81001
101.52/97.95	c cleaning 13220 clauses out of 26599 with flag 4860500/95000
121.61/118.07	c cleaning 14033 clauses out of 28379 with flag 5473255/110000
136.97/133.42	c cleaning 14924 clauses out of 30347 with flag 6148233/126001
151.70/148.17	c cleaning 15914 clauses out of 32422 with flag 6781856/143000
172.88/169.34	c cleaning 16990 clauses out of 34509 with flag 7427671/161001
190.05/186.52	c cleaning 17391 clauses out of 36518 with flag 8071028/180000
209.22/205.78	c cleaning 18822 clauses out of 39127 with flag 8923524/200000
221.19/217.74	c cleaning 19892 clauses out of 41305 with flag 9526687/221000
237.37/233.93	c cleaning 20089 clauses out of 43413 with flag 10295377/243000
256.54/253.15	c cleaning 21421 clauses out of 46325 with flag 10980770/266001
278.39/274.76	c cleaning 22241 clauses out of 48901 with flag 11685722/290000
296.66/293.02	c cleaning 23773 clauses out of 51660 with flag 12563195/315000
314.55/311.00	c cleaning 23192 clauses out of 53875 with flag 13189909/341000
334.91/331.40	c cleaning 25063 clauses out of 57682 with flag 13710430/368001
349.78/346.23	c cleaning 26343 clauses out of 60620 with flag 14113794/396002
376.03/372.53	c cleaning 26587 clauses out of 63275 with flag 15059543/425000
404.78/401.39	c cleaning 26973 clauses out of 66688 with flag 15866296/455000
432.23/428.80	c cleaning 29285 clauses out of 70715 with flag 16789014/486000
463.39/459.98	c cleaning 29624 clauses out of 73430 with flag 17522923/518000
490.56/487.12	c cleaning 30564 clauses out of 76807 with flag 18308036/551001
515.80/512.40	c cleaning 32319 clauses out of 80242 with flag 18769652/585000
540.17/536.82	c cleaning 32988 clauses out of 82923 with flag 19334816/620000
556.85/553.50	c cleaning 34172 clauses out of 85936 with flag 19817143/656001
571.63/568.38	c cleaning 35519 clauses out of 88763 with flag 20158569/693000
591.21/587.90	c cleaning 36557 clauses out of 91244 with flag 20554157/731000
614.39/611.11	c cleaning 36814 clauses out of 93688 with flag 21107320/770001
628.76/625.58	c cleaning 38988 clauses out of 96873 with flag 21494291/810000
649.03/645.84	c cleaning 39803 clauses out of 98885 with flag 22011631/851000
667.82/664.64	c cleaning 40597 clauses out of 101082 with flag 22436567/893000
683.01/679.72	c cleaning 41735 clauses out of 103485 with flag 22866951/936000
700.79/697.53	c cleaning 42728 clauses out of 105750 with flag 23324623/980000
728.45/725.25	c cleaning 42952 clauses out of 108024 with flag 24079815/1025002
762.49/759.31	c cleaning 43835 clauses out of 111070 with flag 25018138/1071000
787.35/784.26	c cleaning 45208 clauses out of 114235 with flag 25601088/1118001
802.23/799.16	c cleaning 47082 clauses out of 117025 with flag 25998653/1166000
816.60/813.58	c cleaning 48237 clauses out of 118943 with flag 26371637/1215000
834.58/831.52	c cleaning 48923 clauses out of 120706 with flag 26828536/1265000
859.73/856.72	c cleaning 49113 clauses out of 122783 with flag 27462047/1316000
893.04/889.90	c cleaning 50391 clauses out of 125673 with flag 28252030/1368003
922.70/919.63	c cleaning 50574 clauses out of 128279 with flag 28961231/1421000
956.34/953.38	c cleaning 51907 clauses out of 131705 with flag 29759778/1475000
975.81/972.85	c cleaning 53686 clauses out of 134798 with flag 30178149/1530000
994.78/991.89	c cleaning 54509 clauses out of 137112 with flag 30654713/1586000
1010.97/1008.08	c cleaning 56041 clauses out of 139604 with flag 31180277/1643001
1028.24/1025.36	c cleaning 57180 clauses out of 141563 with flag 31658966/1701001
1051.81/1048.95	c cleaning 58088 clauses out of 143384 with flag 32178712/1760002
1066.35/1063.37	c cleaning 59222 clauses out of 145295 with flag 32672498/1820001
1091.60/1088.64	c cleaning 59745 clauses out of 147073 with flag 33253117/1881001
1109.47/1106.54	c cleaning 61143 clauses out of 149327 with flag 33735918/1943000
1129.35/1126.46	c cleaning 62300 clauses out of 151184 with flag 34258677/2006000
1148.42/1145.55	c cleaning 62562 clauses out of 152884 with flag 34757548/2070000
1181.47/1178.65	c cleaning 62655 clauses out of 155322 with flag 35681736/2135000
1215.06/1212.27	c cleaning 64628 clauses out of 158668 with flag 36633198/2201001
1240.45/1237.82	c cleaning 65672 clauses out of 161040 with flag 37243107/2268001
1258.88/1256.49	c cleaning 67197 clauses out of 163367 with flag 37774757/2336000
1286.25/1284.01	c cleaning 67960 clauses out of 165174 with flag 38661649/2405004
1320.66/1318.78	c cleaning 68987 clauses out of 167210 with flag 39416020/2475000
1351.68/1349.88	c cleaning 69873 clauses out of 169224 with flag 40056223/2546001
1378.44/1376.84	c cleaning 70939 clauses out of 171350 with flag 40826358/2618000
1402.62/1401.24	c cleaning 72212 clauses out of 173412 with flag 41510144/2691001
1428.61/1427.49	c cleaning 73253 clauses out of 175199 with flag 42122616/2765000
1449.93/1448.97	c cleaning 74273 clauses out of 176947 with flag 42665764/2840001
1476.45/1475.50	c cleaning 75044 clauses out of 178673 with flag 43372624/2916000
1513.13/1512.53	c cleaning 75558 clauses out of 180630 with flag 44136587/2993001
1549.22/1548.94	c cleaning 77050 clauses out of 183072 with flag 44834764/3071001
1581.04/1581.07	c cleaning 78116 clauses out of 185023 with flag 45498924/3150002
1610.49/1610.77	c cleaning 78557 clauses out of 186905 with flag 46223840/3230000
1647.53/1647.92	c cleaning 79604 clauses out of 189348 with flag 47084227/3311000
1682.02/1682.70	c cleaning 80696 clauses out of 191745 with flag 48046156/3393001
1713.64/1714.66	c cleaning 81966 clauses out of 194050 with flag 48670782/3476002
1739.72/1740.93	c cleaning 83462 clauses out of 196082 with flag 49385723/3560000
1772.22/1773.55	c cleaning 84029 clauses out of 197620 with flag 50198207/3645000
1801.25/1802.84	c cleaning 85119 clauses out of 199591 with flag 50831470/3731000
1835.74/1837.60	c cleaning 86066 clauses out of 201472 with flag 51739108/3818000
1871.31/1873.51	c cleaning 86714 clauses out of 203407 with flag 52801331/3906001
1900.85/1903.13	c cleaning 88268 clauses out of 205692 with flag 53486299/3995000
1935.54/1938.16	c cleaning 88721 clauses out of 207424 with flag 54554772/4085000
1968.75/1971.63	c cleaning 90504 clauses out of 209703 with flag 55359783/4176000
1996.81/1999.95	c cleaning 91212 clauses out of 211199 with flag 56083062/4268000
2033.84/2037.16	c cleaning 92229 clauses out of 212987 with flag 56876881/4361000
2088.34/2092.12	c cleaning 93045 clauses out of 214758 with flag 57938126/4455000
2122.46/2126.38	c cleaning 94431 clauses out of 216713 with flag 58778060/4550000
2156.40/2160.14	c cleaning 95183 clauses out of 218283 with flag 59511887/4646001
2188.31/2192.32	c cleaning 96311 clauses out of 220099 with flag 60299966/4743000
2227.86/2232.27	c cleaning 97334 clauses out of 221788 with flag 61306600/4841000
2257.12/2261.79	c cleaning 98292 clauses out of 223456 with flag 62267895/4940002
2290.85/2295.64	c cleaning 99073 clauses out of 225162 with flag 62985773/5040000
2318.71/2323.79	c cleaning 100128 clauses out of 227089 with flag 63868795/5141000
2353.32/2358.67	c cleaning 101049 clauses out of 228963 with flag 64757506/5243002
2385.29/2390.79	c cleaning 102105 clauses out of 230912 with flag 65572678/5346000
2419.41/2425.18	c cleaning 103084 clauses out of 232807 with flag 66447034/5450000
2450.94/2456.97	c cleaning 104214 clauses out of 234725 with flag 67116715/5555002
2499.99/2506.25	c cleaning 104476 clauses out of 236509 with flag 68414329/5661000
2533.81/2540.35	c cleaning 106146 clauses out of 239033 with flag 69207979/5768000
2585.27/2592.24	c cleaning 106114 clauses out of 240887 with flag 70584831/5876000
2627.38/2634.53	c cleaning 107824 clauses out of 243773 with flag 71548840/5985000
2660.67/2667.98	c cleaning 109317 clauses out of 245950 with flag 72284954/6095001
2699.61/2706.96	c cleaning 109876 clauses out of 247632 with flag 73300664/6206000
2752.54/2759.88	c cleaning 110604 clauses out of 249756 with flag 74478998/6318000
2797.86/2805.26	c cleaning 112117 clauses out of 252152 with flag 75485034/6431000
2835.09/2842.59	c cleaning 113195 clauses out of 254035 with flag 76417584/6545000
2876.32/2883.90	c cleaning 114109 clauses out of 255840 with flag 77222949/6660000
2926.75/2934.27	c cleaning 114809 clauses out of 257731 with flag 78487425/6776000
2973.34/2980.95	c cleaning 115444 clauses out of 259923 with flag 79527693/6893001
3021.93/3029.68	c cleaning 116391 clauses out of 262478 with flag 80647436/7011000
3064.49/3072.15	c cleaning 118361 clauses out of 265087 with flag 81509015/7130000
3112.90/3120.61	c cleaning 118990 clauses out of 266727 with flag 82588785/7250001
3157.60/3165.43	c cleaning 119762 clauses out of 268736 with flag 83829198/7371000
3208.00/3215.91	c cleaning 120339 clauses out of 270974 with flag 85129617/7493000
3248.74/3256.66	c cleaning 121864 clauses out of 273636 with flag 86086058/7616001
3289.85/3297.85	c cleaning 122866 clauses out of 275771 with flag 86993149/7740000
3337.17/3345.28	c cleaning 124203 clauses out of 277907 with flag 88010045/7865002
3380.98/3388.97	c cleaning 125073 clauses out of 279702 with flag 89186344/7991000
3439.28/3447.32	c cleaning 125643 clauses out of 281629 with flag 90633890/8118000
3481.31/3489.44	c cleaning 127085 clauses out of 283988 with flag 91483262/8246002
3526.59/3534.60	c cleaning 128167 clauses out of 285903 with flag 92384079/8375002
3583.48/3591.67	c cleaning 128761 clauses out of 287735 with flag 93671887/8505001
3600.06/3608.22	c starts		: 28496
3600.06/3608.22	c conflicts		: 8534460
3600.06/3608.22	c decisions		: 155498703
3600.06/3608.22	c propagations		: 5313871567
3600.06/3608.22	c inspects		: 44542328035
3600.06/3608.22	c shortcuts		: 0
3600.06/3608.22	c learnt literals	: 18
3600.06/3608.22	c timeout
3600.06/3608.22	c learnt binary clauses	: 4905
3600.06/3608.22	c learnt ternary clauses	: 10068
3600.06/3608.22	c learnt constraints	: 8534442
3600.06/3608.22	c ignored constraints	: 0
3600.06/3608.22	c root simplifications	: 0
3600.06/3608.22	c removed literals (reason simplification)	: 0
3600.06/3608.22	c reason swapping (by a shorter reason)	: 0
3600.06/3608.22	c Calls to reduceDB	: 126
3600.06/3608.22	c Number of update (reduction) of LBD	: 4655590
3600.06/3608.22	c Imported unit clauses	: 0
3600.06/3608.23	c No decision after first conflict	: false
3600.06/3608.23	c number of reductions to clauses (during analyze)	: 0
3600.06/3608.23	c number of learned constraints concerned by reduction	: 0
3600.06/3608.23	c number of learning phase by resolution	: 0
3600.06/3608.23	c number of learning phase by cutting planes	: 0
3600.06/3608.23	c number of rounding to 1 operations	: 0
3600.06/3608.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3608.23	c number of reductions of the coefficients by power 2 	: 0
3600.06/3608.23	c number of right shift for reduction by power 2 	: 0
3600.06/3608.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3608.23	c number of ending skipping 	: 0
3600.06/3608.23	c number of internal skipping 	: 0
3600.06/3608.23	c number of derivation steps 	: 0
3600.06/3608.23	c number of skipped derivation steps 	: 0
3600.06/3608.23	c number of remaining unassigned 	: 0
3600.06/3608.23	c number of remaining assigned 	: 0
3600.06/3608.23	c number of falsified literals weakened from reason	: 0
3600.06/3608.23	c number of falsified literals weakened from conflict	: 0
3600.06/3608.23	c time for arithmetic operations	: 0
3600.06/3608.23	c minimum degree of deleted constraints	: null
3600.06/3608.23	c maximum degree of deleted constraints	: null
3600.06/3608.23	c number of deleted constraints	: 0
3600.06/3608.24	c speed (assignments/second)	: 1474645.4388258497
3600.06/3608.24	c non guided choices	: 9637140
3600.06/3608.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 183528
3600.06/3608.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4905
3600.06/3608.30	s UNKNOWN
3600.06/3608.30	c Total wall clock time (in seconds): 3608.162

Verifier Data 

ERROR: no interpretation found !

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: 63931 MiB (58388 MiB free)
  memory of node 1: 64510 MiB (58585 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446254-1721325044/watcher-4446254-1721325044 -o /tmp/evaluation-result-4446254-1721325044/solver-4446254-1721325044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937016 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446254-1721325044.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
solver pid=943086, runsolver pid=943083
Current StackSize limit: 8192 KiB


[startup+0.101517 s]*
/proc/loadavg: 4.14 4.17 4.17 5/331 943104
/proc/meminfo: memFree=119739304/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=18975048 memory=63400 CPUtime=0.13 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 7190 0 0 0 11 2 0 0 20 0 18 0 184665017 19430449152 15850 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4743762 15850 5748 1 0 549307 0
[pid=943086/tid=943088] ppid=943083 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 5726 0 0 0 7 1 0 0 20 0 18 0 184665018 19430449152 15850 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184665020 19430449152 15850 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184665021 19430449152 15850 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63400 KiB

[startup+0.206503 s]*
/proc/loadavg: 4.14 4.17 4.17 7/331 943104
/proc/meminfo: memFree=119713188/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=18975048 memory=89728 CPUtime=0.31 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 7566 0 0 0 29 2 0 0 20 0 18 0 184665017 19430449152 22432 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4743762 22432 5881 1 0 549595 0
[pid=943086/tid=943088] ppid=943083 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 5933 0 0 0 16 1 0 0 20 0 18 0 184665018 19430449152 22432 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=18975048 memory=14994 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184665020 19430449152 22432 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184665021 19430449152 22432 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 89728 KiB

[startup+0.307504 s]*
/proc/loadavg: 4.14 4.17 4.17 7/331 943104
/proc/meminfo: memFree=119663540/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=18975048 memory=137052 CPUtime=0.5 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 9125 0 0 0 47 3 0 0 20 0 18 0 184665017 19430449152 34263 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4743762 34263 5881 1 0 550613 0
[pid=943086/tid=943088] ppid=943083 vsize=18975048 memory=-8959184034711511740 CPUtime=0.25 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 5956 0 0 0 23 2 0 0 20 0 18 0 184665018 19430449152 34263 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184665020 19430449152 34263 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184665021 19430449152 34263 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 137052 KiB

[startup+0.706056 s]
/proc/loadavg: 4.14 4.17 4.17 7/332 943105
/proc/meminfo: memFree=119626232/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19041612 memory=198984 CPUtime=1.24 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 16375 0 0 0 118 6 0 0 20 0 19 0 184665017 19498610688 49746 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4760403 49746 5881 1 0 555775 0
[pid=943086/tid=943088] ppid=943083 vsize=19041612 memory=5560 CPUtime=0.54 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 5975 0 0 0 51 3 0 0 20 0 19 0 184665018 19498610688 49746 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184665020 19498610688 49746 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184665021 19498610688 49746 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 198984 KiB

[startup+1.51055 s]
/proc/loadavg: 4.14 4.17 4.17 6/332 943105
/proc/meminfo: memFree=119497764/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19041612 memory=455856 CPUtime=2.79 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 19954 0 0 0 267 12 0 0 20 0 19 0 184665017 19498610688 113964 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4760403 113964 5913 1 0 1083324 0
[pid=943086/tid=943088] ppid=943083 vsize=19041612 memory=13012 CPUtime=1.19 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 6074 0 0 0 113 6 0 0 20 0 19 0 184665018 19498610688 113964 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184665020 19498610688 113964 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184665021 19498610688 113964 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 455856 KiB

[startup+3.10563 s]
/proc/loadavg: 4.14 4.17 4.17 6/332 943105
/proc/meminfo: memFree=118645572/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19041612 memory=1270492 CPUtime=4.75 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 22227 0 0 0 445 30 0 0 20 0 19 0 184665017 19498610688 317623 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4760403 317623 5913 1 0 2276085 0
[pid=943086/tid=943088] ppid=943083 vsize=19041612 memory=0 CPUtime=2.5 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 6394 0 0 0 230 20 0 0 20 0 19 0 184665018 19498610688 317623 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184665020 19498610688 317623 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19041612 memory=599636 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184665021 19498610688 317623 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1270492 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.16 4.17 5/333 943108
/proc/meminfo: memFree=117551612/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=2246228 CPUtime=8.74 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 22969 0 0 0 825 49 0 0 20 0 20 0 184665017 19566772224 561557 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 561557 5944 1 0 2276472 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=0 CPUtime=5.44 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 6891 0 0 0 508 36 0 0 20 0 20 0 184665018 19566772224 561557 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 561557 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 561557 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=2246228 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 561557 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2246228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.16 5/333 943108
/proc/meminfo: memFree=117558912/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=2238844 CPUtime=15.46 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 23043 0 0 0 1496 50 0 0 20 0 20 0 184665017 19566772224 559711 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 559711 5944 1 0 2276488 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=2238844 CPUtime=11.83 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 6926 0 0 0 1147 36 0 0 20 0 20 0 184665018 19566772224 559711 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 559711 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 559711 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=2245848 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 559711 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 15.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2238844 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.19 4.17 5/333 943109
/proc/meminfo: memFree=117558412/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=2239644 CPUtime=28.79 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 34243 0 0 0 2828 51 0 0 20 0 20 0 184665017 19566772224 559911 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 559911 5960 1 0 2276536 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=0 CPUtime=24.59 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 9296 0 0 0 2423 36 0 0 20 0 20 0 184665018 19566772224 559911 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=2245848 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 559911 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=417 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 559911 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 559911 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2239644 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.17 4.17 5/333 943114
/proc/meminfo: memFree=117323164/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=2240424 CPUtime=54.79 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 43132 0 0 0 5426 53 0 0 20 0 20 0 184665017 19566772224 560106 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 560106 5960 1 0 2276593 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=2240424 CPUtime=50.13 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 10676 0 0 0 4977 36 0 0 20 0 20 0 184665018 19566772224 560106 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=2240424 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 560106 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=2240424 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 560106 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=2240424 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 560106 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 54.79 s
Current children cumulated vsize: 19108176 KiB

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

/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=5559684 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 4870 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=5559684 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5672324 KiB

[startup+3282.3 s]
/proc/loadavg: 1.94 2.56 3.19 2/253 945126
/proc/meminfo: memFree=120300436/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=5672324 CPUtime=3274.38 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 209469 0 0 0 327169 269 0 0 20 0 20 0 184665017 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1418081 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=5672324 CPUtime=3260.28 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 105277 0 0 0 325973 55 0 0 20 0 20 0 184665018 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=43712 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 4919 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=5560 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5672324 KiB

[startup+3342.3 s]
/proc/loadavg: 1.46 2.31 3.06 2/252 945136
/proc/meminfo: memFree=120299584/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=5672324 CPUtime=3334.27 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 212250 0 0 0 333156 271 0 0 20 0 20 0 184665017 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1418081 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=5672324 CPUtime=3320.14 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 107803 0 0 0 331958 56 0 0 20 0 20 0 184665018 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=5672324 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=5672324 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5040 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=39384 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1418081 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5672324 KiB

[startup+3402.3 s]
/proc/loadavg: 1.28 2.10 2.94 2/252 945147
/proc/meminfo: memFree=120030184/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=5940632 CPUtime=3394.36 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 218035 0 0 0 339156 280 0 0 20 0 20 0 184665017 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1485158 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=-8959184034711511740 CPUtime=3379.79 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 110657 0 0 0 337923 56 0 0 20 0 20 0 184665018 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=5940632 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5116 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3394.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5940632 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.89 2.81 2/252 945158
/proc/meminfo: memFree=120029412/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=5940632 CPUtime=3454.25 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 220409 0 0 0 345143 282 0 0 20 0 20 0 184665017 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1485158 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=5672324 CPUtime=3439.66 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 112798 0 0 0 343910 56 0 0 20 0 20 0 184665018 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=5940632 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5237 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=5940632 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1485158 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3454.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5940632 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.76 2.71 2/252 945168
/proc/meminfo: memFree=119876768/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=6092188 CPUtime=3514.3 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 225505 0 0 0 351143 287 0 0 20 0 20 0 184665017 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1523047 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=5940632 CPUtime=3499.36 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 115103 0 0 0 349880 56 0 0 20 0 20 0 184665018 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=5940632 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5324 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=43712 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3514.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6092188 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.63 2.60 2/254 945183
/proc/meminfo: memFree=119876108/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=6092188 CPUtime=3574.2 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 228503 0 0 0 357131 289 0 0 20 0 20 0 184665017 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1523047 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=1836 CPUtime=3559.23 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 117816 0 0 0 355867 56 0 0 20 0 20 0 184665018 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5414 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=6092188 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6092188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 1.14 1.60 2.57 2/254 945189
/proc/meminfo: memFree=119875952/131524600 swapFree=131071996/131071996
[pid=943086] ppid=943083 vsize=19108176 memory=6092188 CPUtime=3600.06 cores=1,3
/proc/943086/stat : 943086 (java) S 943083 943086 937004 0 -1 1077936128 229756 0 0 0 359715 291 0 0 20 0 20 0 184665017 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
/proc/943086/statm: 4777044 1523047 5978 1 0 2521068 0
[pid=943086/tid=943088] ppid=943083 vsize=19108176 memory=14848 CPUtime=3585.08 cores=1,3
/proc/943086/task/943088/stat : 943088 (java) R 943083 943086 937004 0 -1 4194368 119051 0 0 0 358451 57 0 0 20 0 20 0 184665018 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943097] ppid=943083 vsize=19108176 memory=18851 CPUtime=0 cores=1,3
/proc/943086/task/943097/stat : 943097 (Finalizer) S 943083 943086 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184665020 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943104] ppid=943083 vsize=19108176 memory=3472333811113787474 CPUtime=0 cores=1,3
/proc/943086/task/943104/stat : 943104 (Common-Cleaner) S 943083 943086 937004 0 -1 1077936192 5414 0 0 0 0 0 0 0 20 0 20 0 184665021 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
[pid=943086/tid=943106] ppid=943083 vsize=19108176 memory=7408 CPUtime=0 cores=1,3
/proc/943086/task/943106/stat : 943106 (Timer-0) S 943083 943086 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184665491 19566772224 1523047 134679101440 94074784964608 94074784968304 140722205556176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94074784976120 94074784976912 94074789928960 140722205561862 140722205561952 140722205561952 140722205568968 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6092188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.29 s, system=2.93489 s

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

[startup+3608.32 s]*
/proc/loadavg: 1.14 1.60 2.57 2/236 945192
/proc/meminfo: memFree=125896060/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3608.32
CPU time (s): 3600.22
CPU user time (s): 3597.29
CPU system time (s): 2.93489
CPU usage (%): 99.7755
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 6092188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.29
system time used= 2.93489
maximum resident set size= 6093828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135482
involuntary context switches= 17779


# summary of solver processes directly reported to runsolver:
#   pid: 943086
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3597.29
#   total CPU system time (s): 2.93489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36589 second user time and 18.1906 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 19:50:56
IDJOB=4446254
IDBENCH=155547
IDSOLVER=3058
FILE ID=nodeC016/4446254-1721325044
RUNJOBID= nodeC016-1721316965-937016
SLURM_JOB_ID= 7542659
Free space on /tmp= 889992 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-121.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446254-1721325044/watcher-4446254-1721325044 -o /tmp/evaluation-result-4446254-1721325044/solver-4446254-1721325044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937016 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446254-1721325044.opb

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

MD5SUM BENCH= 385cc980e0c43194d9e7f2f21b5d5aa0
RANDOM SEED=1715096834

nodeC016.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	: 0xb00002a
cpu MHz		: 3665.119
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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	: 0xb00002a
cpu MHz		: 3646.687
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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	: 0xb00002a
cpu MHz		: 3599.953
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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	: 0xb00002a
cpu MHz		: 3683.495
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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	: 0xb00002a
cpu MHz		: 3675.466
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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	: 0xb00002a
cpu MHz		: 3682.580
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
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	: 0xb00002a
cpu MHz		: 3599.939
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.70
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	: 0xb00002a
cpu MHz		: 3600.282
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119781120 kB
MemAvailable:   123526324 kB
Buffers:          355836 kB
Cached:          4224940 kB
SwapCached:            0 kB
Active:           586404 kB
Inactive:       10533732 kB
Active(anon):       1544 kB
Inactive(anon):  6575528 kB
Active(file):     584860 kB
Inactive(file):  3958204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57916 kB
Writeback:             8 kB
AnonPages:       6537848 kB
Mapped:           126516 kB
Shmem:             37720 kB
KReclaimable:      83572 kB
Slab:             193412 kB
SReclaimable:      83572 kB
SUnreclaim:       109840 kB
KernelStack:        5024 kB
PageTables:        23088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13399440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6189056 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC016 at 2024-07-18 20:51:05