Trace number 4451584

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.15 3602.3

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n3.opb
MD5SUM620ec95a477f88c30ed47944247286ff
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark0.208103
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333
Total number of constraints111
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)111
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4451584-1721435059.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.018s.
0.13/0.14	c declared #vars     333
0.13/0.14	c #constraints  222
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 111
0.13/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 111
0.13/0.14	c 222 constraints processed.
0.93/0.53	c cleaning 2496 clauses out of 5000 with flag 31327/5000
1.44/0.85	c cleaning 4248 clauses out of 8504 with flag 76384/11000
1.90/1.22	c cleaning 5621 clauses out of 11257 with flag 131153/18001
2.41/1.76	c cleaning 6815 clauses out of 13635 with flag 195918/26000
2.92/2.26	c cleaning 7903 clauses out of 15820 with flag 266944/35000
3.70/2.94	c cleaning 8951 clauses out of 17918 with flag 347141/45001
4.39/3.63	c cleaning 9979 clauses out of 19966 with flag 437612/56000
5.28/4.56	c cleaning 10990 clauses out of 21987 with flag 537861/68000
6.19/5.49	c cleaning 11995 clauses out of 23997 with flag 652637/81000
7.19/6.41	c cleaning 12996 clauses out of 26003 with flag 773238/95001
8.39/7.62	c cleaning 14000 clauses out of 28006 with flag 916794/110000
9.39/8.66	c cleaning 14999 clauses out of 30006 with flag 1051883/126000
10.61/9.85	c cleaning 16003 clauses out of 32008 with flag 1206461/143001
11.94/11.13	c cleaning 16995 clauses out of 34004 with flag 1365093/161000
14.23/13.40	c cleaning 17997 clauses out of 36009 with flag 1561437/180000
17.33/16.53	c cleaning 19000 clauses out of 38013 with flag 1797863/200001
20.62/19.86	c cleaning 19998 clauses out of 40013 with flag 2046549/221001
23.71/22.97	c cleaning 21003 clauses out of 42014 with flag 2293102/243000
25.82/25.09	c cleaning 22001 clauses out of 44011 with flag 2502761/266000
28.33/27.50	c cleaning 23000 clauses out of 46011 with flag 2721719/290001
30.93/30.14	c cleaning 23988 clauses out of 48011 with flag 2960986/315001
33.82/33.07	c cleaning 25006 clauses out of 50023 with flag 3222646/341001
36.71/35.95	c cleaning 26003 clauses out of 52016 with flag 3482941/368000
40.04/39.26	c cleaning 26999 clauses out of 54013 with flag 3760225/396000
43.23/42.45	c cleaning 28001 clauses out of 56015 with flag 4046560/425001
46.83/46.03	c cleaning 28988 clauses out of 58013 with flag 4346346/455000
51.06/50.28	c cleaning 30011 clauses out of 60027 with flag 4671250/486002
55.25/54.43	c cleaning 31003 clauses out of 62017 with flag 4996933/518003
59.24/58.42	c cleaning 32001 clauses out of 64011 with flag 5330256/551000
63.98/63.11	c cleaning 32998 clauses out of 66010 with flag 5697174/585000
68.74/67.90	c cleaning 33981 clauses out of 68012 with flag 6075502/620000
73.69/72.93	c cleaning 35011 clauses out of 70032 with flag 6468489/656001
78.82/78.03	c cleaning 36003 clauses out of 72020 with flag 6847182/693000
84.10/83.36	c cleaning 37004 clauses out of 74017 with flag 7246021/731000
89.82/89.06	c cleaning 38001 clauses out of 76013 with flag 7649078/770000
102.40/101.63	c cleaning 38961 clauses out of 78014 with flag 8128175/810002
108.94/108.11	c cleaning 40023 clauses out of 80053 with flag 8575488/851002
115.62/114.87	c cleaning 41012 clauses out of 82029 with flag 9049182/893001
123.35/122.51	c cleaning 42002 clauses out of 84016 with flag 9535263/936000
130.03/129.28	c cleaning 43002 clauses out of 86014 with flag 10013281/980000
137.43/136.61	c cleaning 44002 clauses out of 88013 with flag 10501854/1025001
144.82/144.00	c cleaning 45001 clauses out of 90010 with flag 11002255/1071000
153.02/152.22	c cleaning 46003 clauses out of 92011 with flag 11546878/1118002
161.70/160.91	c cleaning 46999 clauses out of 94007 with flag 12105314/1166001
170.29/169.54	c cleaning 47996 clauses out of 96008 with flag 12651139/1215001
179.88/179.17	c cleaning 49004 clauses out of 98013 with flag 13233071/1265002
188.66/187.99	c cleaning 50000 clauses out of 100007 with flag 13788441/1316000
198.35/197.65	c cleaning 50994 clauses out of 102007 with flag 14380320/1368000
210.58/209.81	c cleaning 52001 clauses out of 104013 with flag 15009318/1421000
221.06/220.34	c cleaning 53001 clauses out of 106014 with flag 15635942/1475002
231.99/231.29	c cleaning 54000 clauses out of 108011 with flag 16282459/1530000
243.66/242.98	c cleaning 55001 clauses out of 110011 with flag 16945342/1586000
255.74/255.08	c cleaning 56003 clauses out of 112012 with flag 17600891/1643002
267.56/266.88	c cleaning 56997 clauses out of 114009 with flag 18269376/1701002
283.62/282.99	c cleaning 58001 clauses out of 116012 with flag 18994842/1760002
296.89/296.23	c cleaning 58996 clauses out of 118009 with flag 19688246/1820000
314.54/313.85	c cleaning 59998 clauses out of 120014 with flag 20427184/1881001
338.19/337.52	c cleaning 60998 clauses out of 122015 with flag 21219036/1943000
353.08/352.09	c cleaning 62006 clauses out of 124018 with flag 21989004/2006001
367.26/366.27	c cleaning 62999 clauses out of 126012 with flag 22737148/2070001
382.32/381.39	c cleaning 63963 clauses out of 128012 with flag 23509772/2135000
397.41/396.48	c cleaning 65018 clauses out of 130049 with flag 24283007/2201000
412.67/411.70	c cleaning 66014 clauses out of 132031 with flag 25069014/2268000
428.14/427.20	c cleaning 67005 clauses out of 134017 with flag 25855356/2336000
447.11/446.26	c cleaning 67997 clauses out of 136012 with flag 26717118/2405000
463.59/462.79	c cleaning 69001 clauses out of 138016 with flag 27551914/2475001
482.85/482.08	c cleaning 69954 clauses out of 140014 with flag 28438039/2546000
501.08/500.25	c cleaning 71025 clauses out of 142060 with flag 29316470/2618000
519.14/518.37	c cleaning 72010 clauses out of 144036 with flag 30205033/2691001
539.61/538.86	c cleaning 73008 clauses out of 146025 with flag 31131186/2765000
558.37/557.62	c cleaning 74004 clauses out of 148019 with flag 32051844/2840002
578.03/577.35	c cleaning 75008 clauses out of 150015 with flag 32970736/2916002
597.05/596.38	c cleaning 75998 clauses out of 152005 with flag 33902792/2993000
617.71/617.07	c cleaning 76993 clauses out of 154007 with flag 34860680/3071000
639.07/638.41	c cleaning 78004 clauses out of 156015 with flag 35838689/3150001
661.43/660.80	c cleaning 78999 clauses out of 158012 with flag 36833492/3230002
685.53/684.97	c cleaning 79998 clauses out of 160012 with flag 37837849/3311001
716.96/716.41	c cleaning 81002 clauses out of 162013 with flag 38846614/3393000
741.81/741.33	c cleaning 81998 clauses out of 164012 with flag 39898024/3476001
765.47/765.05	c cleaning 83000 clauses out of 166015 with flag 40943787/3560002
791.02/790.61	c cleaning 84002 clauses out of 168014 with flag 42006341/3645001
816.27/815.91	c cleaning 85004 clauses out of 170011 with flag 43066930/3731000
841.43/841.17	c cleaning 85996 clauses out of 172007 with flag 44141245/3818000
866.38/866.15	c cleaning 87004 clauses out of 174013 with flag 45196652/3906002
893.82/893.69	c cleaning 87998 clauses out of 176007 with flag 46300926/3995000
921.67/921.55	c cleaning 89004 clauses out of 178011 with flag 47438977/4085002
949.21/949.16	c cleaning 89982 clauses out of 180006 with flag 48563740/4176001
978.55/978.38	c cleaning 91003 clauses out of 182023 with flag 49710535/4268000
1008.99/1008.86	c cleaning 92010 clauses out of 184022 with flag 50892404/4361002
1040.74/1040.66	c cleaning 93000 clauses out of 186010 with flag 52091340/4455000
1069.97/1069.92	c cleaning 94000 clauses out of 188010 with flag 53306554/4550000
1103.01/1102.93	c cleaning 94994 clauses out of 190011 with flag 54535859/4646001
1131.46/1131.41	c cleaning 96007 clauses out of 192019 with flag 55716279/4743003
1164.89/1164.96	c cleaning 96990 clauses out of 194010 with flag 56985446/4841001
1196.43/1196.55	c cleaning 98007 clauses out of 196021 with flag 58233285/4940002
1229.74/1229.54	c cleaning 99005 clauses out of 198015 with flag 59493938/5040003
1264.67/1264.54	c cleaning 100002 clauses out of 200007 with flag 60784616/5141000
1298.11/1298.06	c cleaning 100998 clauses out of 202006 with flag 62090875/5243001
1335.34/1335.23	c cleaning 102003 clauses out of 204009 with flag 63431451/5346002
1370.58/1370.52	c cleaning 102998 clauses out of 206004 with flag 64752113/5450000
1407.41/1407.48	c cleaning 103997 clauses out of 208006 with flag 66073958/5555000
1440.36/1440.47	c cleaning 105002 clauses out of 210011 with flag 67437419/5661002
1475.38/1475.47	c cleaning 105999 clauses out of 212009 with flag 68814841/5768002
1509.81/1509.94	c cleaning 106998 clauses out of 214008 with flag 70206033/5876000
1546.56/1546.72	c cleaning 108000 clauses out of 216011 with flag 71633795/5985001
1581.30/1581.55	c cleaning 109001 clauses out of 218010 with flag 73033290/6095000
1616.44/1616.68	c cleaning 109997 clauses out of 220009 with flag 74439485/6206000
1650.89/1651.19	c cleaning 111004 clauses out of 222012 with flag 75864710/6318000
1694.72/1695.08	c cleaning 111991 clauses out of 224011 with flag 77325902/6431003
1733.95/1734.36	c cleaning 113003 clauses out of 226017 with flag 78819446/6545000
1772.90/1773.21	c cleaning 114003 clauses out of 228015 with flag 80332001/6660001
1811.52/1811.98	c cleaning 115005 clauses out of 230013 with flag 81856235/6776002
1852.04/1852.50	c cleaning 115998 clauses out of 232006 with flag 83396772/6893000
1892.35/1892.92	c cleaning 116996 clauses out of 234009 with flag 84948376/7011001
1933.28/1933.82	c cleaning 118002 clauses out of 236012 with flag 86467407/7130000
1974.40/1975.01	c cleaning 118998 clauses out of 238012 with flag 88019993/7250002
2022.12/2022.83	c cleaning 120000 clauses out of 240012 with flag 89689661/7371000
2065.95/2066.73	c cleaning 121006 clauses out of 242014 with flag 91291393/7493002
2110.97/2111.72	c cleaning 122001 clauses out of 244006 with flag 92878264/7616000
2155.09/2155.94	c cleaning 123000 clauses out of 246006 with flag 94493877/7740001
2201.02/2201.94	c cleaning 123998 clauses out of 248008 with flag 96131755/7865003
2245.62/2246.27	c cleaning 124999 clauses out of 250007 with flag 97768901/7991000
2297.24/2297.99	c cleaning 125995 clauses out of 252008 with flag 99443172/8118000
2345.66/2346.41	c cleaning 127002 clauses out of 254014 with flag 101187558/8246001
2394.47/2395.24	c cleaning 127999 clauses out of 256013 with flag 102905444/8375002
2442.18/2443.08	c cleaning 128999 clauses out of 258012 with flag 104637375/8505000
2490.51/2491.49	c cleaning 130001 clauses out of 260013 with flag 106359613/8636000
2537.72/2538.76	c cleaning 130996 clauses out of 262013 with flag 108064549/8768001
2588.63/2589.67	c cleaning 132004 clauses out of 264018 with flag 109915441/8901002
2643.05/2644.19	c cleaning 133003 clauses out of 266013 with flag 111756800/9035001
2695.45/2696.64	c cleaning 134000 clauses out of 268009 with flag 113564229/9170000
2750.37/2751.67	c cleaning 134999 clauses out of 270009 with flag 115363956/9306000
2807.18/2808.50	c cleaning 135997 clauses out of 272010 with flag 117222523/9443000
2859.76/2861.19	c cleaning 136997 clauses out of 274014 with flag 119044132/9581001
2911.37/2912.85	c cleaning 138002 clauses out of 276016 with flag 120877414/9720000
2967.37/2969.00	c cleaning 139002 clauses out of 278017 with flag 122765877/9860003
3024.88/3026.59	c cleaning 140000 clauses out of 280012 with flag 124664871/10001000
3080.20/3081.94	c cleaning 141004 clauses out of 282012 with flag 126568106/10143000
3138.42/3140.16	c cleaning 141999 clauses out of 284008 with flag 128472090/10286000
3196.22/3198.01	c cleaning 143000 clauses out of 286011 with flag 130402464/10430002
3256.32/3258.25	c cleaning 143968 clauses out of 288009 with flag 132370809/10575000
3315.86/3317.77	c cleaning 145016 clauses out of 290041 with flag 134326935/10721000
3377.57/3379.50	c cleaning 146007 clauses out of 292026 with flag 136311646/10868001
3442.36/3444.40	c cleaning 147000 clauses out of 294018 with flag 138325398/11016000
3501.57/3503.71	c cleaning 148002 clauses out of 296018 with flag 140292310/11165000
3563.57/3565.71	c cleaning 149004 clauses out of 298016 with flag 142291233/11315000
3600.01/3602.21	c starts		: 18769
3600.01/3602.21	c timeout
3600.01/3602.21	c conflicts		: 11388410
3600.01/3602.22	c decisions		: 15266398
3600.01/3602.22	c propagations		: 259573078
3600.01/3602.22	c inspects		: 59415144915
3600.01/3602.22	c shortcuts		: 0
3600.01/3602.22	c learnt literals	: 0
3600.01/3602.22	c learnt binary clauses	: 0
3600.01/3602.22	c learnt ternary clauses	: 0
3600.01/3602.22	c learnt constraints	: 11388410
3600.01/3602.22	c ignored constraints	: 0
3600.01/3602.22	c root simplifications	: 0
3600.01/3602.22	c removed literals (reason simplification)	: 0
3600.01/3602.22	c reason swapping (by a shorter reason)	: 0
3600.01/3602.22	c Calls to reduceDB	: 146
3600.01/3602.22	c Number of update (reduction) of LBD	: 2854471
3600.01/3602.22	c Imported unit clauses	: 0
3600.01/3602.22	c No decision after first conflict	: false
3600.01/3602.22	c number of reductions to clauses (during analyze)	: 0
3600.01/3602.22	c number of learned constraints concerned by reduction	: 0
3600.01/3602.22	c number of learning phase by resolution	: 0
3600.01/3602.22	c number of learning phase by cutting planes	: 0
3600.01/3602.22	c number of rounding to 1 operations	: 0
3600.01/3602.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3602.22	c number of reductions of the coefficients by power 2 	: 0
3600.01/3602.22	c number of right shift for reduction by power 2 	: 0
3600.01/3602.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3602.22	c number of ending skipping 	: 0
3600.01/3602.22	c number of internal skipping 	: 0
3600.01/3602.22	c number of derivation steps 	: 0
3600.01/3602.22	c number of skipped derivation steps 	: 0
3600.01/3602.22	c number of remaining unassigned 	: 0
3600.01/3602.22	c number of remaining assigned 	: 0
3600.01/3602.22	c number of falsified literals weakened from reason	: 0
3600.01/3602.22	c number of falsified literals weakened from conflict	: 0
3600.01/3602.22	c time for arithmetic operations	: 0
3600.01/3602.22	c minimum degree of deleted constraints	: null
3600.01/3602.22	c maximum degree of deleted constraints	: null
3600.01/3602.22	c number of deleted constraints	: 0
3600.01/3602.22	c speed (assignments/second)	: 72062.09698576515
3600.01/3602.22	c non guided choices	: 282
3600.01/3602.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 222422
3600.01/3602.27	s UNKNOWN
3600.01/3602.27	c Total wall clock time (in seconds): 3602.156

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: 63968 MiB (60273 MiB free)
  memory of node 1: 64473 MiB (58125 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451584-1721435059/watcher-4451584-1721435059 -o /tmp/evaluation-result-4451584-1721435059/solver-4451584-1721435059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451584-1721435059.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=1081278, runsolver pid=1081275
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.15 4.12 4.09 5/331 1081296
/proc/meminfo: memFree=121195912/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=18975048 memory=64864 CPUtime=0.13 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 7211 0 0 0 11 2 0 0 20 0 18 0 195674045 19430449152 16216 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4743762 16216 5616 1 0 549337 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 5748 0 0 0 7 1 0 0 20 0 18 0 195674045 19430449152 16216 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195674048 19430449152 16216 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195674048 19430449152 16216 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64864 KiB

[startup+0.208137 s]*
/proc/loadavg: 4.15 4.12 4.09 6/332 1081297
/proc/meminfo: memFree=121187144/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=74024 CPUtime=0.33 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 9965 0 0 0 31 2 0 0 20 0 19 0 195674045 19498610688 18506 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 18506 5801 1 0 551239 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 5934 0 0 0 18 1 0 0 20 0 19 0 195674045 19498610688 18506 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=17016 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 18506 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 18506 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 18506 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74024 KiB

[startup+0.314183 s]*
/proc/loadavg: 4.15 4.12 4.09 7/332 1081297
/proc/meminfo: memFree=121185600/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=75080 CPUtime=0.55 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 10237 0 0 0 52 3 0 0 20 0 19 0 195674045 19498610688 18770 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 18770 5801 1 0 551357 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=-7738975792219055205 CPUtime=0.28 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 5937 0 0 0 27 1 0 0 20 0 19 0 195674045 19498610688 18770 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 18770 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 18770 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 18770 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75080 KiB

[startup+0.704183 s]
/proc/loadavg: 4.15 4.12 4.09 6/332 1081297
/proc/meminfo: memFree=121176636/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=88012 CPUtime=1.3 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 12152 0 0 0 127 3 0 0 20 0 19 0 195674045 19498610688 22003 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 22003 5833 1 0 552340 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=47120 CPUtime=0.64 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 5983 0 0 0 63 1 0 0 20 0 19 0 195674045 19498610688 22003 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 22003 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 22003 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 22003 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88012 KiB

[startup+1.50121 s]
/proc/loadavg: 4.30 4.15 4.10 5/332 1081297
/proc/meminfo: memFree=121166788/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=98444 CPUtime=2.2 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 12840 0 0 0 217 3 0 0 20 0 19 0 195674045 19498610688 24611 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 24611 5833 1 0 552345 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=13116 CPUtime=1.44 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 6350 0 0 0 142 2 0 0 20 0 19 0 195674045 19498610688 24611 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 24611 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 24611 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 24611 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98444 KiB

[startup+3.10618 s]
/proc/loadavg: 4.30 4.15 4.10 5/332 1081299
/proc/meminfo: memFree=120942884/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=119176 CPUtime=3.9 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 15508 0 0 0 386 4 0 0 20 0 19 0 195674045 19498610688 29794 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 29794 5833 1 0 552348 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=0 CPUtime=3.02 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 6663 0 0 0 300 2 0 0 20 0 19 0 195674045 19498610688 29794 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=-7738975792219055205 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 29794 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 29794 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 29794 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119176 KiB

[startup+6.30027 s]
/proc/loadavg: 4.27 4.15 4.10 5/332 1081299
/proc/meminfo: memFree=120907984/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19041612 memory=158188 CPUtime=7.09 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 17330 0 0 0 704 5 0 0 20 0 19 0 195674045 19498610688 39547 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4760403 39547 5840 1 0 552348 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19041612 memory=2212 CPUtime=6.2 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 7393 0 0 0 617 3 0 0 20 0 19 0 195674045 19498610688 39547 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 39547 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195674048 19498610688 39547 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195674060 19498610688 39547 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.14 4.10 5/333 1081301
/proc/meminfo: memFree=120878684/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=183160 CPUtime=13.53 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 20973 0 0 0 1347 6 0 0 20 0 20 0 195674045 19566772224 45790 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 45790 5840 1 0 552653 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=13116 CPUtime=12.57 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 8015 0 0 0 1254 3 0 0 20 0 20 0 195674045 19566772224 45790 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=183148 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 45790 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=47120 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 45790 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 45790 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 13.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183160 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.14 4.10 5/333 1081303
/proc/meminfo: memFree=120865908/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=195532 CPUtime=26.31 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 23596 0 0 0 2624 7 0 0 20 0 20 0 195674045 19566772224 48883 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 48883 5840 1 0 552653 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=6944656574621848725 CPUtime=25.31 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 9234 0 0 0 2528 3 0 0 20 0 20 0 195674045 19566772224 48883 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 48883 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=3522 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 48883 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 48883 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 26.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195532 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/334 1081689
/proc/meminfo: memFree=120685908/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=369920 CPUtime=51.96 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 27591 0 0 0 5184 12 0 0 20 0 20 0 195674045 19566772224 92480 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 92480 5840 1 0 552653 0

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

/proc/meminfo: memFree=125066748/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2177512 CPUtime=3220.48 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 150123 0 0 0 321913 135 0 0 20 0 20 0 195674045 19566772224 544378 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 544378 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=2177512 CPUtime=3211.89 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 77728 0 0 0 321168 21 0 0 20 0 20 0 195674045 19566772224 544378 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2177512 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 544378 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 4557 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 544378 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2177512 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 544378 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3220.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177512 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.14 1.64 2/254 1083194
/proc/meminfo: memFree=125062480/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180876 CPUtime=3280.38 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 151482 0 0 0 327902 136 0 0 20 0 20 0 195674045 19566772224 545219 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545219 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=2180876 CPUtime=3271.77 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 78796 0 0 0 327156 21 0 0 20 0 20 0 195674045 19566772224 545219 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2179548 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545219 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 4684 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545219 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2177516 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545219 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3280.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180876 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.13 1.61 2/256 1083209
/proc/meminfo: memFree=125061692/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3340.42 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 153094 0 0 0 333905 137 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=2180876 CPUtime=3331.49 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 79452 0 0 0 333128 21 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 4759 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3340.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.12 1.57 2/256 1083220
/proc/meminfo: memFree=125060932/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3400.33 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 154215 0 0 0 339894 139 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=13116 CPUtime=3391.37 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 80394 0 0 0 339116 21 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 4876 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3400.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.11 1.54 2/256 1083231
/proc/meminfo: memFree=125060508/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3460.23 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 155296 0 0 0 345882 141 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=13116 CPUtime=3451.26 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 81298 0 0 0 345104 22 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 4993 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3460.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.10 1.51 2/256 1083241
/proc/meminfo: memFree=125059504/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3520.14 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 156445 0 0 0 351871 143 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3511.14 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 82290 0 0 0 351092 22 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=16236 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 5095 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=5464 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3520.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.48 2/256 1083253
/proc/meminfo: memFree=125058948/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3580.15 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 158041 0 0 0 357870 145 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3570.91 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 83024 0 0 0 357069 22 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=47120 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 5158 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3580.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.2 s]
/proc/loadavg: 1.13 1.11 1.47 2/256 1083256
/proc/meminfo: memFree=125059032/131524600 swapFree=131071996/131071996
[pid=1081278] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=3600.01 cores=4,6
/proc/1081278/stat : 1081278 (java) S 1081275 1081278 1074922 0 -1 1077936128 158236 0 0 0 359856 145 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
/proc/1081278/statm: 4777044 545220 5871 1 0 557438 0
[pid=1081278/tid=1081280] ppid=1081275 vsize=19108176 memory=4872558142750484283 CPUtime=3590.77 cores=4,6
/proc/1081278/task/1081280/stat : 1081280 (java) R 1081275 1081278 1074922 0 -1 4194368 83210 0 0 0 359055 22 0 0 20 0 20 0 195674045 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081289] ppid=1081275 vsize=19108176 memory=4872558142750484283 CPUtime=0 cores=4,6
/proc/1081278/task/1081289/stat : 1081289 (Finalizer) S 1081275 1081278 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081296] ppid=1081275 vsize=19108176 memory=6664 CPUtime=0 cores=4,6
/proc/1081278/task/1081296/stat : 1081296 (Common-Cleaner) S 1081275 1081278 1074922 0 -1 1077936192 5158 0 0 0 0 0 0 0 20 0 20 0 195674048 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
[pid=1081278/tid=1081297] ppid=1081275 vsize=19108176 memory=2180880 CPUtime=0 cores=4,6
/proc/1081278/task/1081297/stat : 1081297 (Timer-0) S 1081275 1081278 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195674060 19566772224 545220 134679101440 94912522182656 94912522186352 140736131632816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94912522194168 94912522194960 94912529080320 140736131638277 140736131638367 140736131638367 140736131645384 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.46765 s

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

Child status: 143

Real time (s): 3602.3
CPU time (s): 3600.15
CPU user time (s): 3598.68
CPU system time (s): 1.46765
CPU usage (%): 99.9404
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2180880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.46765
maximum resident set size= 2181760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103318
involuntary context switches= 1966


# summary of solver processes directly reported to runsolver:
#   pid: 1081278
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.46765

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31028 second user time and 16.731 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 02:24:32
IDJOB=4451584
IDBENCH=162589
IDSOLVER=3058
FILE ID=nodeC030/4451584-1721435059
RUNJOBID= nodeC030-1721425652-1074933
SLURM_JOB_ID= 7545616
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451584-1721435059/watcher-4451584-1721435059 -o /tmp/evaluation-result-4451584-1721435059/solver-4451584-1721435059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451584-1721435059.opb

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

MD5SUM BENCH= 620ec95a477f88c30ed47944247286ff
RANDOM SEED=1025296941

nodeC030.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		: 3687.405
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.28
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		: 3689.819
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	: 7005.11
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		: 3669.497
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.28
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		: 3599.793
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	: 7005.11
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		: 3600.908
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.28
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		: 3689.852
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	: 7005.11
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		: 3641.357
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.28
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		: 3599.767
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	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121240208 kB
MemAvailable:   123745624 kB
Buffers:          526540 kB
Cached:          2799760 kB
SwapCached:            0 kB
Active:          1184908 kB
Inactive:        8417368 kB
Active(anon):       1564 kB
Inactive(anon):  6320328 kB
Active(file):    1183344 kB
Inactive(file):  2097040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               768 kB
Writeback:             0 kB
AnonPages:       6275584 kB
Mapped:           127568 kB
Shmem:             45912 kB
KReclaimable:     129708 kB
Slab:             248628 kB
SReclaimable:     129708 kB
SUnreclaim:       118920 kB
KernelStack:        5020 kB
PageTables:        22268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7501760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73408 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6123520 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:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-20 03:24:35