Trace number 4440434

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.26 3630.16

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
MD5SUMbb00c8681178995acecbc2b6e4ec1a1a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2386.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
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.14/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.28	c See www.sat4j.org for details.
0.14/0.30	c version CUSTOM.v20240707
0.14/0.33	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.33	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.33	c java.vm.version	22.0.1+8-16
0.14/0.33	c java.vm.vendor	Oracle Corporation
0.14/0.33	c sun.arch.data.model	64
0.14/0.33	c java.version		22.0.1
0.14/0.33	c os.name		Linux
0.14/0.33	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.33	c os.arch		amd64
0.30/0.34	c Free memory 		2113181440
0.30/0.34	c Max memory 		16282288128
0.30/0.34	c Total memory 		2122317824
0.30/0.35	c Number of processors 	2
0.47/0.44	--- Begin Solver configuration ---
0.47/0.44	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.44	Learn all clauses as in MiniSAT
0.47/0.44	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.44	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.44	Expensive reason simplification
0.47/0.44	Glucose 2.1 dynamic restart strategy
0.47/0.44	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.47/0.44	timeout=2147483s
0.47/0.44	DB Simplification allowed=false
0.47/0.44	Listener: none
0.47/0.44	--- End Solver configuration ---
0.47/0.45	c Pseudo Boolean Optimization by upper bound
0.47/0.45	c --- Begin Solver configuration ---
0.47/0.45	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.45	c Learn all clauses as in MiniSAT
0.47/0.45	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.45	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.45	c Expensive reason simplification
0.47/0.45	c Glucose 2.1 dynamic restart strategy
0.47/0.45	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.47/0.45	c timeout=2147483s
0.47/0.45	c DB Simplification allowed=false
0.47/0.45	c Listener: none
0.47/0.45	c --- End Solver configuration ---
0.47/0.45	c solving HOME/instance-4440434-1721820325.opb
0.47/0.45	c reading problem ... 
0.47/0.46	c using VERIPB proof format
0.47/0.46	c  objective function found
0.79/0.70	c ... done. Wall clock time 0.237s.
0.79/0.70	c declared #vars     2130
0.79/0.70	c #constraints  2544
0.79/0.70	c constraints type 
0.79/0.70	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2125
0.79/0.70	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 49
0.79/0.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 320
0.79/0.70	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.79/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 49
0.79/0.70	c 2544 constraints processed.
0.96/0.72	c objective function length is 5 literals
4.09/2.35	c cleaning 2494 clauses out of 5001 with flag 38444/5001
6.42/3.61	c cleaning 4248 clauses out of 8506 with flag 91155/11000
7.75/4.88	c cleaning 5615 clauses out of 11260 with flag 148007/18002
9.64/6.65	c cleaning 6814 clauses out of 13643 with flag 215616/26000
13.31/9.93	c cleaning 7907 clauses out of 15829 with flag 282351/35000
15.90/12.45	c cleaning 8954 clauses out of 17922 with flag 363065/45000
18.91/15.42	c cleaning 9981 clauses out of 19968 with flag 464147/56000
21.97/18.40	c cleaning 10983 clauses out of 21987 with flag 590650/68000
24.95/21.45	c cleaning 11996 clauses out of 24004 with flag 706380/81000
29.16/25.42	c cleaning 12995 clauses out of 26008 with flag 813547/95000
33.04/29.26	c cleaning 13977 clauses out of 28014 with flag 949242/110001
37.45/34.37	c cleaning 15007 clauses out of 30038 with flag 1091032/126002
41.13/37.71	c cleaning 16005 clauses out of 32029 with flag 1227763/143000
44.89/41.23	c cleaning 17007 clauses out of 34025 with flag 1374774/161001
48.79/45.17	c cleaning 18000 clauses out of 36020 with flag 1528938/180003
53.47/49.78	c cleaning 19010 clauses out of 38019 with flag 1717166/200002
57.61/53.76	c cleaning 19988 clauses out of 40007 with flag 1908492/221000
62.36/57.66	c cleaning 20993 clauses out of 42019 with flag 2094825/243000
65.40/60.58	c cleaning 22006 clauses out of 44026 with flag 2300240/266000
68.50/63.97	c cleaning 22975 clauses out of 46020 with flag 2496343/290000
72.99/68.40	c cleaning 24021 clauses out of 48045 with flag 2728437/315000
77.24/72.64	c cleaning 25006 clauses out of 50024 with flag 2964368/341000
81.75/77.12	c cleaning 25974 clauses out of 52021 with flag 3248440/368003
86.55/81.89	c cleaning 27014 clauses out of 54045 with flag 3511262/396001
91.70/86.83	c cleaning 27973 clauses out of 56039 with flag 3781922/425009
97.93/92.96	c cleaning 29015 clauses out of 58059 with flag 4185528/455002
104.13/99.20	c cleaning 29988 clauses out of 60043 with flag 4608972/486001
109.82/104.93	c cleaning 31018 clauses out of 62054 with flag 4937172/518000
118.61/113.36	c cleaning 31984 clauses out of 64036 with flag 5275939/551000
126.44/121.08	c cleaning 33019 clauses out of 66055 with flag 5568652/585003
134.78/129.37	c cleaning 34013 clauses out of 68034 with flag 5963615/620001
143.72/138.14	c cleaning 35002 clauses out of 70021 with flag 6372738/656001
152.06/146.37	c cleaning 35995 clauses out of 72018 with flag 6622517/693000
161.29/155.28	c cleaning 36979 clauses out of 74025 with flag 6934028/731002
168.59/162.83	c cleaning 38004 clauses out of 76044 with flag 7282824/770000
178.39/172.14	c cleaning 38989 clauses out of 78043 with flag 7533319/810003
183.86/177.61	c cleaning 39933 clauses out of 80051 with flag 7835755/851000
191.46/185.14	c cleaning 40932 clauses out of 82119 with flag 8148215/893001
201.80/195.40	c cleaning 42093 clauses out of 84186 with flag 8642917/936000
209.91/203.46	c cleaning 43026 clauses out of 86094 with flag 9050474/980001
220.52/213.74	c cleaning 44015 clauses out of 88067 with flag 9499858/1025000
231.30/225.30	c cleaning 44919 clauses out of 90053 with flag 9943101/1071001
240.14/234.04	c cleaning 46027 clauses out of 92134 with flag 10279329/1118001
249.54/243.36	c cleaning 47016 clauses out of 94106 with flag 10710908/1166000
259.11/252.67	c cleaning 48035 clauses out of 96090 with flag 11239552/1215000
277.76/272.07	c cleaning 48934 clauses out of 98056 with flag 11770607/1265001
296.85/291.33	c cleaning 50026 clauses out of 100121 with flag 12290061/1316000
315.17/309.37	c cleaning 51022 clauses out of 102095 with flag 12841104/1368000
328.65/323.00	c cleaning 51967 clauses out of 104073 with flag 13344702/1421000
341.80/335.71	c cleaning 53034 clauses out of 106107 with flag 13733252/1475001
362.17/355.98	c cleaning 53979 clauses out of 108073 with flag 14202954/1530001
375.25/368.72	c cleaning 55023 clauses out of 110094 with flag 14774885/1586001
394.94/388.59	c cleaning 56029 clauses out of 112072 with flag 15331623/1643002
415.21/408.72	c cleaning 56999 clauses out of 114043 with flag 15795226/1701002
434.38/427.66	c cleaning 57986 clauses out of 116042 with flag 16307588/1760000
447.50/440.77	c cleaning 59027 clauses out of 118057 with flag 16915981/1820001
463.04/456.16	c cleaning 59993 clauses out of 120032 with flag 17554990/1881003
485.23/478.50	c cleaning 61006 clauses out of 122036 with flag 18178882/1943000
503.33/496.27	c cleaning 62004 clauses out of 124031 with flag 18736834/2006001
523.91/527.74	c cleaning 62987 clauses out of 126026 with flag 19418134/2070000
547.79/552.43	c cleaning 63999 clauses out of 128039 with flag 20101819/2135000
571.18/577.22	c cleaning 64989 clauses out of 130041 with flag 20809732/2201001
596.48/602.25	c cleaning 66016 clauses out of 132053 with flag 21516222/2268002
624.68/631.26	c cleaning 67016 clauses out of 134037 with flag 22179134/2336002
652.25/660.70	c cleaning 68009 clauses out of 136019 with flag 22905673/2405000
677.89/686.79	c cleaning 68982 clauses out of 138011 with flag 23599341/2475001
697.68/706.59	c cleaning 69988 clauses out of 140028 with flag 24317206/2546000
718.45/726.90	c cleaning 71016 clauses out of 142041 with flag 24995285/2618001
747.82/757.04	c cleaning 72005 clauses out of 144024 with flag 25856321/2691000
771.15/781.29	c cleaning 72994 clauses out of 146021 with flag 26672040/2765002
790.09/800.43	c cleaning 74014 clauses out of 148027 with flag 27444000/2840002
814.08/823.43	c cleaning 74995 clauses out of 150011 with flag 28212029/2916000
835.32/844.94	c cleaning 75986 clauses out of 152017 with flag 29069906/2993001
857.38/867.28	c cleaning 76974 clauses out of 154032 with flag 29742623/3071002
876.79/886.29	c cleaning 77990 clauses out of 156057 with flag 30420446/3150001
899.88/909.85	c cleaning 78995 clauses out of 158067 with flag 31281709/3230001
922.51/933.03	c cleaning 79991 clauses out of 160071 with flag 32107301/3311000
950.30/961.29	c cleaning 81019 clauses out of 162081 with flag 32959167/3393001
981.04/992.46	c cleaning 81976 clauses out of 164061 with flag 33957608/3476000
1004.60/1016.38	c cleaning 83019 clauses out of 166085 with flag 34821712/3560000
1038.42/1050.82	c cleaning 83991 clauses out of 168067 with flag 35588808/3645001
1066.17/1079.17	c cleaning 85002 clauses out of 170075 with flag 36469734/3731000
1087.82/1100.39	c cleaning 86005 clauses out of 172073 with flag 37259313/3818000
1115.85/1129.01	c cleaning 87025 clauses out of 174068 with flag 38137813/3906000
1141.61/1155.21	c cleaning 87979 clauses out of 176047 with flag 38960525/3995004
1165.62/1185.29	c cleaning 88998 clauses out of 178065 with flag 39801228/4085001
1192.19/1213.44	c cleaning 90004 clauses out of 180067 with flag 40627415/4176001
1217.34/1239.78	c cleaning 91015 clauses out of 182063 with flag 41495793/4268001
1245.55/1268.84	c cleaning 92010 clauses out of 184050 with flag 42309955/4361003
1278.76/1302.64	c cleaning 92985 clauses out of 186038 with flag 43223298/4455001
1321.67/1345.72	c cleaning 94001 clauses out of 188052 with flag 44250218/4550000
1348.39/1372.42	c cleaning 95012 clauses out of 190051 with flag 45179894/4646000
1378.94/1403.05	c cleaning 96016 clauses out of 192039 with flag 46090904/4743000
1409.46/1433.86	c cleaning 96994 clauses out of 194023 with flag 46972452/4841000
1443.05/1467.84	c cleaning 98011 clauses out of 196031 with flag 47892904/4940002
1473.89/1499.35	c cleaning 99000 clauses out of 198019 with flag 48851110/5040001
1518.78/1545.87	c cleaning 100007 clauses out of 200021 with flag 49848817/5141003
1590.93/1617.81	c cleaning 100940 clauses out of 202011 with flag 51254812/5243000
1617.16/1643.89	c cleaning 101988 clauses out of 204071 with flag 52101556/5346000
1648.21/1674.86	c cleaning 103038 clauses out of 206084 with flag 53084235/5450001
1676.97/1703.55	c cleaning 103984 clauses out of 208046 with flag 54106421/5555001
1711.61/1738.63	c cleaning 105010 clauses out of 210061 with flag 54985606/5661000
1752.77/1779.96	c cleaning 105992 clauses out of 212052 with flag 55971987/5768001
1787.32/1814.51	c cleaning 107021 clauses out of 214061 with flag 57048626/5876002
1843.15/1871.24	c cleaning 108013 clauses out of 216040 with flag 58016379/5985002
1909.12/1936.56	c cleaning 109012 clauses out of 218026 with flag 59021404/6095001
1956.19/1984.29	c cleaning 109911 clauses out of 220014 with flag 60180397/6206001
2000.92/2028.84	c cleaning 111044 clauses out of 222103 with flag 61385221/6318001
2072.12/2100.40	c cleaning 112003 clauses out of 224058 with flag 62436238/6431000
2166.69/2196.70	c cleaning 113016 clauses out of 226055 with flag 63566840/6545000
2268.76/2298.82	c cleaning 114013 clauses out of 228040 with flag 64767002/6660001
2324.26/2354.55	c cleaning 115005 clauses out of 230028 with flag 65868522/6776002
2390.60/2420.91	c cleaning 115995 clauses out of 232022 with flag 66930171/6893001
2467.84/2498.13	c cleaning 117000 clauses out of 234027 with flag 68093665/7011001
2542.62/2572.96	c cleaning 118005 clauses out of 236030 with flag 69250166/7130004
2620.26/2650.62	c cleaning 119002 clauses out of 238021 with flag 70404819/7250000
2706.16/2736.35	c cleaning 119977 clauses out of 240020 with flag 71598506/7371001
2754.87/2784.40	c cleaning 121013 clauses out of 242042 with flag 72922308/7493000
2817.97/2848.20	c cleaning 121993 clauses out of 244029 with flag 74302345/7616000
2903.45/2933.53	c cleaning 123010 clauses out of 246036 with flag 76002267/7740000
2981.93/3011.81	c cleaning 124005 clauses out of 248028 with flag 78167187/7865002
3073.44/3103.82	c cleaning 125010 clauses out of 250021 with flag 80216776/7991000
3142.65/3172.01	c cleaning 125998 clauses out of 252011 with flag 81854789/8118000
3188.56/3217.55	c cleaning 126951 clauses out of 254013 with flag 82915749/8246000
3247.63/3276.55	c cleaning 127991 clauses out of 256062 with flag 84129382/8375000
3295.33/3323.73	c cleaning 129020 clauses out of 258072 with flag 85250395/8505001
3368.46/3397.15	c cleaning 129948 clauses out of 260051 with flag 86415946/8636000
3430.77/3459.93	c cleaning 131015 clauses out of 262103 with flag 87760670/8768000
3489.62/3519.29	c cleaning 132018 clauses out of 264089 with flag 89418403/8901001
3591.52/3621.50	c cleaning 133022 clauses out of 266071 with flag 90679161/9035001
3600.01/3630.03	c starts		: 28599
3600.01/3630.03	c conflicts		: 9060990
3600.01/3630.03	c decisions		: 19722313
3600.01/3630.03	c propagations		: 870378261
3600.01/3630.03	c inspects		: 23725468169
3600.01/3630.03	c shortcuts		: 0
3600.01/3630.03	c learnt literals	: 0
3600.01/3630.03	c learnt binary clauses	: 0
3600.01/3630.03	c learnt ternary clauses	: 0
3600.01/3630.04	c timeout
3600.01/3630.05	c learnt constraints	: 9060990
3600.01/3630.05	c ignored constraints	: 0
3600.01/3630.05	c root simplifications	: 0
3600.01/3630.05	c removed literals (reason simplification)	: 113477978
3600.01/3630.05	c reason swapping (by a shorter reason)	: 0
3600.01/3630.05	c Calls to reduceDB	: 130
3600.01/3630.05	c Number of update (reduction) of LBD	: 5651071
3600.01/3630.05	c Imported unit clauses	: 0
3600.01/3630.05	c No decision after first conflict	: false
3600.01/3630.05	c number of reductions to clauses (during analyze)	: 0
3600.01/3630.05	c number of learned constraints concerned by reduction	: 0
3600.01/3630.05	c number of learning phase by resolution	: 0
3600.01/3630.05	c number of learning phase by cutting planes	: 0
3600.01/3630.05	c number of rounding to 1 operations	: 0
3600.01/3630.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3630.05	c number of reductions of the coefficients by power 2 	: 0
3600.01/3630.05	c number of right shift for reduction by power 2 	: 0
3600.01/3630.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3630.05	c number of ending skipping 	: 0
3600.01/3630.05	c number of internal skipping 	: 0
3600.01/3630.05	c number of derivation steps 	: 0
3600.01/3630.05	c number of skipped derivation steps 	: 0
3600.01/3630.05	c number of remaining unassigned 	: 0
3600.01/3630.05	c number of remaining assigned 	: 0
3600.01/3630.05	c number of falsified literals weakened from reason	: 0
3600.01/3630.05	c number of falsified literals weakened from conflict	: 0
3600.01/3630.05	c time for arithmetic operations	: 0
3600.01/3630.05	c minimum degree of deleted constraints	: null
3600.01/3630.05	c maximum degree of deleted constraints	: null
3600.01/3630.05	c number of deleted constraints	: 0
3600.01/3630.05	c speed (assignments/second)	: 239818.48422886815
3600.01/3630.05	c non guided choices	: 6013
3600.01/3630.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 159038
3600.01/3630.10	s UNKNOWN
3600.01/3630.10	c Total wall clock time (in seconds): 3629.655

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: 64096 MiB (62466 MiB free)
  memory of node 1: 64473 MiB (61639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440434-1721820325/watcher-4440434-1721820325 -o /tmp/evaluation-result-4440434-1721820325/solver-4440434-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187249 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440434-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440434-1721820325.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=187289, runsolver pid=187280
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 0.14 0.12 0.09 3/268 187335
/proc/meminfo: memFree=127002672/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=18175400 memory=36564 CPUtime=0.04 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 4244 0 14 0 1 3 0 0 20 0 7 0 18021370 18611609600 9141 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4543850 9141 3759 1 0 544764 0
[pid=187289/tid=187299] ppid=187280 vsize=18175400 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 3701 0 10 0 1 2 0 0 20 0 7 0 18021372 18611609600 9141 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 4 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 36564 KiB

[startup+0.216624 s]*
/proc/loadavg: 0.14 0.12 0.09 13/318 187385
/proc/meminfo: memFree=126928500/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=18975048 memory=55060 CPUtime=0.14 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 6463 0 23 0 10 4 0 0 20 0 18 0 18021370 19430449152 13765 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4743762 13765 5469 1 0 550785 0
[pid=187289/tid=187299] ppid=187280 vsize=18975048 memory=8737651120394928259 CPUtime=0.1 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 5372 0 19 0 6 4 0 0 20 0 18 0 18021372 19430449152 13765 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=18975048 memory=1361999 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19430449152 13765 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19430449152 13765 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55060 KiB

[startup+0.321235 s]*
/proc/loadavg: 0.14 0.12 0.09 14/318 187385
/proc/meminfo: memFree=126912948/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=18975048 memory=59940 CPUtime=0.3 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 7115 0 23 0 25 5 0 0 20 0 18 0 18021370 19430449152 14985 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4743762 14985 5517 1 0 551320 0
[pid=187289/tid=187299] ppid=187280 vsize=18975048 memory=-9032927162828366524 CPUtime=0.19 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 5687 0 19 0 15 4 0 0 20 0 18 0 18021372 19430449152 14985 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=18975048 memory=1469085444424696153 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19430449152 14985 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19430449152 14985 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59940 KiB

[startup+0.702377 s]
/proc/loadavg: 0.14 0.12 0.09 13/318 187385
/proc/meminfo: memFree=126881668/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=18975276 memory=85304 CPUtime=0.96 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 8209 0 23 0 89 7 0 0 20 0 18 0 18021370 19430682624 21326 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4743819 21326 5758 1 0 552137 0
[pid=187289/tid=187299] ppid=187280 vsize=18975276 memory=11880 CPUtime=0.53 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 6063 0 19 0 48 5 0 0 20 0 18 0 18021372 19430682624 21326 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=18975276 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19430682624 21326 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=18975276 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19430682624 21326 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 18975276 KiB
Current children cumulated memory: 85304 KiB

[startup+1.50683 s]
/proc/loadavg: 0.14 0.12 0.09 14/322 187389
/proc/meminfo: memFree=126722508/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19041612 memory=167512 CPUtime=2.53 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 14717 0 23 0 242 11 0 0 20 0 19 0 18021370 19498610688 41878 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4760403 41878 5819 1 0 554633 0
[pid=187289/tid=187299] ppid=187280 vsize=19041612 memory=0 CPUtime=1.19 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 6564 0 19 0 111 8 0 0 20 0 19 0 18021372 19498610688 41878 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19041612 memory=32824 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18021387 19498610688 41878 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19041612 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18021388 19498610688 41878 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19041612 memory=11412 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18021443 19498610688 41878 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167512 KiB

[startup+3.10882 s]
/proc/loadavg: 0.93 0.28 0.15 11/324 187459
/proc/meminfo: memFree=126461744/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=251300 CPUtime=5.69 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 20663 0 23 0 553 16 0 0 20 0 20 0 18021370 19566772224 62825 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 62825 5883 1 0 556528 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=2.73 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 7576 0 19 0 262 11 0 0 20 0 20 0 18021372 19566772224 62825 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 62825 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 62825 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=75072 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 62825 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 251300 KiB

[startup+6.30081 s]
/proc/loadavg: 0.93 0.28 0.15 6/302 187471
/proc/meminfo: memFree=125388912/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=596000 CPUtime=9.3 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 21452 0 24 0 904 26 0 0 20 0 20 0 18021370 19566772224 149000 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 149000 5884 1 0 663081 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=5.7 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 7784 0 19 0 552 18 0 0 20 0 20 0 18021372 19566772224 149000 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 149000 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 149000 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=595876 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 149000 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 596000 KiB

[startup+12.7004 s]
/proc/loadavg: 1.49 0.41 0.19 6/326 187531
/proc/meminfo: memFree=123231876/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=1282704 CPUtime=16.2 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 22581 0 24 0 1576 44 0 0 20 0 20 0 18021370 19566772224 320676 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 320676 5884 1 0 1158154 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=11.63 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 8064 0 19 0 1131 32 0 0 20 0 20 0 18021372 19566772224 320676 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=1241744 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 320676 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 320676 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=-9175354600555586236 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 320676 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 16.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1282704 KiB

[startup+25.5005 s]
/proc/loadavg: 2.36 0.65 0.27 6/326 187600
/proc/meminfo: memFree=121176552/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=2395356 CPUtime=29.26 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 26312 0 24 0 2849 77 0 0 20 0 20 0 18021370 19566772224 598839 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 598839 5884 1 0 1158158 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=-9175354600555586236 CPUtime=23.96 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 9740 0 19 0 2337 59 0 0 20 0 20 0 18021372 19566772224 598839 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=-9175354600555586236 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 598839 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 598839 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 598839 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 29.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2395356 KiB

[startup+51.1137 s]
/proc/loadavg: 3.11 0.97 0.39 6/326 187605
/proc/meminfo: memFree=118331524/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=3445256 CPUtime=54.89 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 34491 0 24 0 5367 122 0 0 20 0 20 0 18021370 19566772224 861314 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 861314 5899 1 0 1275142 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=2992608 CPUtime=48.19 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 12813 0 19 0 4723 96 0 0 20 0 20 0 18021372 19566772224 861314 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 86 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 861314 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 861314 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 861314 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 54.89 s
Current children cumulated vsize: 19108176 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.30 4.19 4.07 6/322 188990
/proc/meminfo: memFree=74274060/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12020576 CPUtime=3253.54 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 456697 0 24 0 323217 2137 0 0 20 0 20 0 18021370 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3005144 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=12020572 CPUtime=3134.68 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 203501 0 19 0 311570 1898 0 0 20 0 20 0 18021372 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8148 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=12020572 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12020376 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3219 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3253.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12020576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.42 4.23 4.09 6/323 189001
/proc/meminfo: memFree=73778972/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12020576 CPUtime=3313.63 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 463272 0 24 0 329193 2170 0 0 20 0 20 0 18021370 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3005144 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=3192.44 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 207350 0 19 0 317317 1927 0 0 20 0 20 0 18021372 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8232 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3284 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=4204852 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3005144 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3313.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12020576 KiB

[startup+3402.3 s]
/proc/loadavg: 5.59 4.61 4.24 6/323 189012
/proc/meminfo: memFree=73331004/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12024676 CPUtime=3373.73 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 470320 0 24 0 335171 2202 0 0 20 0 20 0 18021370 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3006169 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=3250.39 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 211053 0 19 0 323083 1956 0 0 20 0 20 0 18021372 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8309 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3346 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3373.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12024676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.56 4.24 6/323 189023
/proc/meminfo: memFree=72694660/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12024676 CPUtime=3433.24 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 477355 0 24 0 341093 2231 0 0 20 0 20 0 18021370 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3006169 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=0 CPUtime=3308.24 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 215844 0 19 0 328840 1984 0 0 20 0 20 0 18021372 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8425 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12020576 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3408 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3433.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12024676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.50 4.24 6/323 189033
/proc/meminfo: memFree=72245220/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12024676 CPUtime=3492.7 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 481465 0 24 0 347011 2259 0 0 20 0 20 0 18021370 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3006169 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=12024676 CPUtime=3366.07 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 219212 0 19 0 334598 2009 0 0 20 0 20 0 18021372 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8546 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=12024676 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12024676 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3472 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=12024676 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3006169 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3492.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12024676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.44 4.24 7/325 189176
/proc/meminfo: memFree=71953784/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12024680 CPUtime=3552.24 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 485586 0 24 0 352944 2280 0 0 20 0 20 0 18021370 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3006170 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=16132 CPUtime=3424.46 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 220798 0 19 0 340419 2027 0 0 20 0 20 0 18021372 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8633 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=2296 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12024680 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3537 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=19608 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3552.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12024680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3630 s]*
/proc/loadavg: 4.38 4.43 4.24 5/298 189464
/proc/meminfo: memFree=81910964/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19108176 memory=12024680 CPUtime=3600.01 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 492824 0 24 0 357704 2297 0 0 20 0 20 0 18021370 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4777044 3006170 5899 1 0 3019981 0
[pid=187289/tid=187299] ppid=187280 vsize=19108176 memory=-8671229618731918012 CPUtime=3471.39 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) R 187280 187289 187238 0 -1 4194368 224267 0 19 0 345096 2043 0 0 20 0 20 0 18021372 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8658 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19108176 memory=4198373884444939366 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19108176 memory=12024680 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187387] ppid=187280 vsize=19108176 memory=2636 CPUtime=0 cores=4,6
/proc/187289/task/187387/stat : 187387 (Timer-0) S 187280 187289 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021443 19566772224 3006170 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12024680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.23 s, system=23.0281 s

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

[startup+3630.12 s]
/proc/loadavg: 4.38 4.43 4.24 5/298 189464
/proc/meminfo: memFree=81910964/131655788 swapFree=131070192/131071996
[pid=187289] ppid=187280 vsize=19307868 memory=12025532 CPUtime=3600.21 cores=4,6
/proc/187289/stat : 187289 (java) S 187280 187289 187238 0 -1 1077936128 496047 0 24 0 357723 2298 0 0 20 0 16 0 18021370 19771256832 3006399 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
/proc/187289/statm: 4826967 3006383 5915 1 0 3020964 0
[pid=187289/tid=187299] ppid=187280 vsize=19307868 memory=5500 CPUtime=3471.41 cores=4,6
/proc/187289/task/187299/stat : 187299 (java) S 187280 187289 187238 0 -1 1077936192 224545 0 19 0 345098 2043 0 0 20 0 15 0 18021372 19771256832 3006383 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8660 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187357] ppid=187280 vsize=19307868 memory=12024680 CPUtime=0 cores=4,6
/proc/187289/task/187357/stat : 187357 (Finalizer) S 187280 187289 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18021387 19771256832 3006383 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
[pid=187289/tid=187382] ppid=187280 vsize=19307868 memory=12024680 CPUtime=0 cores=4,6
/proc/187289/task/187382/stat : 187382 (Common-Cleaner) S 187280 187289 187238 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 15 0 18021388 19771256832 3006383 134679101440 93874384834560 93874384838256 140725412402480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93874384846072 93874384846864 93874409635840 140725412410283 140725412410465 140725412410465 140725412417480 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12025532 KiB

Child status: 143

Real time (s): 3630.16
CPU time (s): 3600.26
CPU user time (s): 3577.23
CPU system time (s): 23.0281
CPU usage (%): 99.1763
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12025532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.23
system time used= 23.0281
maximum resident set size= 12026428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496099
page faults= 24
swaps= 0
block input operations= 12064
block output operations= 31904008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123653
involuntary context switches= 8914


# summary of solver processes directly reported to runsolver:
#   pid: 187289
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3577.23
#   total CPU system time (s): 23.0281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8943 second user time and 41.5849 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 13:25:25
IDJOB=4440434
IDBENCH=148770
IDSOLVER=3079
FILE ID=nodeC002/4440434-1721820325
RUNJOBID= nodeC002-1721820325-187249
SLURM_JOB_ID= 7891441
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440434-1721820325/watcher-4440434-1721820325 -o /tmp/evaluation-result-4440434-1721820325/solver-4440434-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721820325-187249 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440434-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440434-1721820325.opb

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

MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1968991675

nodeC002.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		: 1197.216
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.43
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		: 1197.160
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.41
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		: 1197.301
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.43
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.171
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.41
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		: 1197.165
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.43
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		: 1197.178
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.41
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.161
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.43
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.224
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127086964 kB
MemAvailable:   129941852 kB
Buffers:          248216 kB
Cached:          3420064 kB
SwapCached:           72 kB
Active:          2200096 kB
Inactive:        1786016 kB
Active(anon):       1432 kB
Inactive(anon):   370252 kB
Active(file):    2198664 kB
Inactive(file):  1415764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:              2296 kB
Writeback:             4 kB
AnonPages:        316868 kB
Mapped:           103356 kB
Shmem:             53844 kB
KReclaimable:     161316 kB
Slab:             272520 kB
SReclaimable:     161316 kB
SUnreclaim:       111204 kB
KernelStack:        3664 kB
PageTables:         9704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     785116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC002 at 2024-07-24 14:25:56