Trace number 4451194

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.18 3608.5

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
MD5SUM96559038c8afb17a43160a369b358949
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.027823
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213
Total number of constraints71
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)71
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4451194-1721429251.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.014s.
0.13/0.14	c declared #vars     213
0.13/0.14	c #constraints  142
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 142
0.13/0.14	c 142 constraints processed.
0.50/0.38	c cleaning 2496 clauses out of 5000 with flag 24756/5000
0.91/0.57	c cleaning 4248 clauses out of 8504 with flag 59752/11000
1.28/0.79	c cleaning 5624 clauses out of 11257 with flag 103243/18001
1.70/1.05	c cleaning 6818 clauses out of 13635 with flag 156147/26003
2.07/1.30	c cleaning 7897 clauses out of 15814 with flag 209928/35000
2.31/1.54	c cleaning 8947 clauses out of 17917 with flag 269727/45000
2.66/1.88	c cleaning 9976 clauses out of 19972 with flag 344410/56002
3.06/2.24	c cleaning 10987 clauses out of 21994 with flag 413646/68000
3.36/2.59	c cleaning 11997 clauses out of 24008 with flag 489069/81001
3.76/2.94	c cleaning 13002 clauses out of 26010 with flag 580569/95000
4.17/3.35	c cleaning 13996 clauses out of 28009 with flag 668964/110001
4.77/3.96	c cleaning 14994 clauses out of 30012 with flag 784746/126000
5.70/4.81	c cleaning 15996 clauses out of 32019 with flag 933322/143001
6.51/5.68	c cleaning 17004 clauses out of 34022 with flag 1086065/161000
7.11/6.25	c cleaning 17990 clauses out of 36018 with flag 1195658/180000
7.71/6.83	c cleaning 19007 clauses out of 38029 with flag 1313141/200001
8.31/7.48	c cleaning 20003 clauses out of 40022 with flag 1432878/221001
9.11/8.21	c cleaning 20999 clauses out of 42018 with flag 1562677/243000
9.80/8.97	c cleaning 21997 clauses out of 44019 with flag 1700360/266000
10.60/9.79	c cleaning 22996 clauses out of 46023 with flag 1860928/290001
11.60/10.78	c cleaning 23999 clauses out of 48026 with flag 2044891/315000
12.69/11.80	c cleaning 25006 clauses out of 50030 with flag 2210433/341003
13.79/12.90	c cleaning 25996 clauses out of 52021 with flag 2395881/368000
14.79/13.93	c cleaning 27005 clauses out of 54026 with flag 2566326/396001
16.69/15.83	c cleaning 28002 clauses out of 56020 with flag 2778094/425000
17.89/17.06	c cleaning 28997 clauses out of 58018 with flag 2954458/455000
19.18/18.35	c cleaning 29999 clauses out of 60021 with flag 3148044/486000
20.68/19.80	c cleaning 31006 clauses out of 62022 with flag 3360017/518000
22.27/21.41	c cleaning 31999 clauses out of 64016 with flag 3574912/551000
23.77/22.96	c cleaning 33000 clauses out of 66017 with flag 3790162/585000
25.48/24.67	c cleaning 33999 clauses out of 68017 with flag 4018416/620000
27.28/26.46	c cleaning 34998 clauses out of 70018 with flag 4268346/656000
29.07/28.22	c cleaning 35999 clauses out of 72020 with flag 4493993/693000
30.87/30.04	c cleaning 36998 clauses out of 74023 with flag 4738154/731002
32.76/31.95	c cleaning 38003 clauses out of 76023 with flag 4971326/770000
34.87/34.02	c cleaning 39001 clauses out of 78020 with flag 5233996/810000
36.96/36.15	c cleaning 40001 clauses out of 80019 with flag 5494144/851000
39.06/38.26	c cleaning 41000 clauses out of 82021 with flag 5762197/893003
42.05/41.21	c cleaning 42002 clauses out of 84018 with flag 6052410/936000
44.34/43.58	c cleaning 43004 clauses out of 86017 with flag 6328680/980001
46.78/45.96	c cleaning 43996 clauses out of 88012 with flag 6608111/1025000
49.37/48.59	c cleaning 44999 clauses out of 90016 with flag 6911022/1071000
51.87/51.09	c cleaning 45999 clauses out of 92017 with flag 7197053/1118000
54.56/53.77	c cleaning 47003 clauses out of 94018 with flag 7505989/1166000
57.35/56.56	c cleaning 47993 clauses out of 96016 with flag 7811655/1215001
60.84/60.08	c cleaning 49002 clauses out of 98022 with flag 8171172/1265000
64.03/63.28	c cleaning 50002 clauses out of 100023 with flag 8512052/1316003
67.22/66.40	c cleaning 51007 clauses out of 102019 with flag 8850884/1368001
70.46/69.67	c cleaning 51999 clauses out of 104012 with flag 9207921/1421001
73.65/72.88	c cleaning 52996 clauses out of 106012 with flag 9576468/1475000
77.04/76.29	c cleaning 53997 clauses out of 108017 with flag 9939708/1530001
80.53/79.76	c cleaning 54996 clauses out of 110019 with flag 10311445/1586000
84.05/83.22	c cleaning 56009 clauses out of 112025 with flag 10676347/1643002
87.64/86.85	c cleaning 56992 clauses out of 114014 with flag 11069257/1701000
91.43/90.62	c cleaning 58004 clauses out of 116022 with flag 11483238/1760000
95.12/94.37	c cleaning 59004 clauses out of 118019 with flag 11867939/1820001
99.14/98.39	c cleaning 59995 clauses out of 120016 with flag 12278326/1881002
103.32/102.52	c cleaning 60994 clauses out of 122020 with flag 12685096/1943001
107.41/106.69	c cleaning 62004 clauses out of 124026 with flag 13095284/2006001
111.62/110.87	c cleaning 63005 clauses out of 126022 with flag 13524690/2070001
116.20/115.43	c cleaning 63992 clauses out of 128017 with flag 13967993/2135001
121.49/120.78	c cleaning 64999 clauses out of 130025 with flag 14461119/2201001
126.81/126.05	c cleaning 66005 clauses out of 132025 with flag 14942777/2268000
131.80/131.00	c cleaning 66999 clauses out of 134021 with flag 15398296/2336001
136.88/136.17	c cleaning 68002 clauses out of 136021 with flag 15878663/2405000
141.88/141.19	c cleaning 69000 clauses out of 138019 with flag 16364835/2475000
147.26/146.51	c cleaning 69999 clauses out of 140020 with flag 16857813/2546001
154.14/153.41	c cleaning 71004 clauses out of 142022 with flag 17399776/2618002
159.87/159.11	c cleaning 72001 clauses out of 144016 with flag 17920264/2691000
165.44/164.77	c cleaning 72998 clauses out of 146015 with flag 18433167/2765000
171.24/170.59	c cleaning 74005 clauses out of 148019 with flag 18953320/2840002
176.94/176.25	c cleaning 75003 clauses out of 150013 with flag 19454191/2916001
183.02/182.34	c cleaning 75996 clauses out of 152010 with flag 19978090/2993001
189.00/188.36	c cleaning 76993 clauses out of 154013 with flag 20522206/3071000
195.29/194.61	c cleaning 78002 clauses out of 156021 with flag 21090081/3150001
201.87/201.27	c cleaning 78994 clauses out of 158018 with flag 21651702/3230000
208.25/207.63	c cleaning 80007 clauses out of 160024 with flag 22190358/3311000
218.02/217.45	c cleaning 80993 clauses out of 162018 with flag 22873756/3393001
225.71/225.13	c cleaning 82007 clauses out of 164024 with flag 23490401/3476000
232.45/231.89	c cleaning 82998 clauses out of 166018 with flag 24064175/3560001
239.43/238.85	c cleaning 84002 clauses out of 168019 with flag 24659705/3645000
246.90/246.32	c cleaning 85003 clauses out of 170017 with flag 25262665/3731000
254.49/253.94	c cleaning 85997 clauses out of 172014 with flag 25863803/3818000
262.07/261.59	c cleaning 86997 clauses out of 174018 with flag 26479118/3906001
269.98/269.40	c cleaning 88001 clauses out of 176021 with flag 27131980/3995001
277.56/277.09	c cleaning 89001 clauses out of 178021 with flag 27773540/4085002
285.33/284.83	c cleaning 90000 clauses out of 180018 with flag 28415357/4176000
293.71/293.29	c cleaning 91001 clauses out of 182019 with flag 29068108/4268001
301.98/301.53	c cleaning 91996 clauses out of 184017 with flag 29734755/4361000
310.47/310.04	c cleaning 93000 clauses out of 186022 with flag 30387606/4455001
319.03/318.67	c cleaning 93996 clauses out of 188022 with flag 31048713/4550001
328.81/328.47	c cleaning 94998 clauses out of 190025 with flag 31741684/4646000
338.18/337.84	c cleaning 96007 clauses out of 192027 with flag 32423010/4743000
347.55/347.22	c cleaning 97001 clauses out of 194021 with flag 33118021/4841001
356.63/356.32	c cleaning 98003 clauses out of 196020 with flag 33830386/4940001
366.10/365.86	c cleaning 99002 clauses out of 198018 with flag 34549472/5040002
376.18/375.95	c cleaning 100002 clauses out of 200016 with flag 35259244/5141002
385.93/385.61	c cleaning 100999 clauses out of 202014 with flag 35994603/5243002
395.60/395.33	c cleaning 101987 clauses out of 204013 with flag 36710144/5346000
405.78/405.56	c cleaning 103002 clauses out of 206026 with flag 37456065/5450000
416.74/416.58	c cleaning 104004 clauses out of 208025 with flag 38198787/5555001
427.01/426.82	c cleaning 105001 clauses out of 210022 with flag 38936228/5661002
437.99/437.81	c cleaning 106001 clauses out of 212021 with flag 39702892/5768002
449.60/449.43	c cleaning 107001 clauses out of 214018 with flag 40474858/5876000
460.66/460.51	c cleaning 107997 clauses out of 216018 with flag 41254804/5985001
476.81/476.71	c cleaning 109002 clauses out of 218020 with flag 42198930/6095000
488.28/488.22	c cleaning 110000 clauses out of 220020 with flag 43003681/6206002
500.24/500.29	c cleaning 111007 clauses out of 222021 with flag 43814861/6318003
512.10/512.18	c cleaning 111987 clauses out of 224012 with flag 44626443/6431001
524.36/524.45	c cleaning 113003 clauses out of 226026 with flag 45465715/6545002
536.50/536.56	c cleaning 114000 clauses out of 228021 with flag 46271967/6660000
548.76/548.87	c cleaning 115005 clauses out of 230021 with flag 47109388/6776000
560.82/561.00	c cleaning 115996 clauses out of 232016 with flag 47966121/6893000
574.07/574.29	c cleaning 117003 clauses out of 234021 with flag 48838537/7011001
586.84/587.04	c cleaning 118004 clauses out of 236018 with flag 49689693/7130001
599.39/599.61	c cleaning 118998 clauses out of 238016 with flag 50517374/7250003
612.95/613.25	c cleaning 119994 clauses out of 240015 with flag 51362155/7371000
626.11/626.45	c cleaning 121003 clauses out of 242021 with flag 52219895/7493000
640.04/640.35	c cleaning 122000 clauses out of 244018 with flag 53090432/7616000
653.71/654.02	c cleaning 122998 clauses out of 246018 with flag 53993459/7740000
668.76/669.14	c cleaning 124001 clauses out of 248021 with flag 54919959/7865001
682.51/682.91	c cleaning 125001 clauses out of 250020 with flag 55821724/7991001
696.67/697.15	c cleaning 125992 clauses out of 252018 with flag 56751334/8118000
711.12/711.61	c cleaning 127007 clauses out of 254026 with flag 57676051/8246000
725.58/726.19	c cleaning 127999 clauses out of 256020 with flag 58593047/8375001
740.12/740.79	c cleaning 128999 clauses out of 258020 with flag 59531771/8505000
755.17/755.89	c cleaning 130001 clauses out of 260021 with flag 60480766/8636000
771.03/771.79	c cleaning 131005 clauses out of 262020 with flag 61433669/8768000
786.98/787.77	c cleaning 131995 clauses out of 264015 with flag 62371867/8901000
803.30/804.02	c cleaning 132997 clauses out of 266020 with flag 63373117/9035000
819.64/820.42	c cleaning 134003 clauses out of 268023 with flag 64365281/9170000
836.49/837.30	c cleaning 135004 clauses out of 270020 with flag 65367793/9306000
853.34/854.29	c cleaning 135997 clauses out of 272018 with flag 66357469/9443002
871.38/872.38	c cleaning 137000 clauses out of 274019 with flag 67378564/9581000
888.62/889.60	c cleaning 138005 clauses out of 276019 with flag 68381035/9720000
905.98/907.06	c cleaning 138998 clauses out of 278015 with flag 69406637/9860001
923.71/924.89	c cleaning 140003 clauses out of 280018 with flag 70446134/10001002
941.87/943.02	c cleaning 140999 clauses out of 282013 with flag 71482891/10143000
959.81/961.08	c cleaning 142001 clauses out of 284015 with flag 72549667/10286001
978.44/979.70	c cleaning 142998 clauses out of 286013 with flag 73614875/10430000
997.28/998.57	c cleaning 144001 clauses out of 288017 with flag 74714470/10575002
1015.94/1017.29	c cleaning 145000 clauses out of 290015 with flag 75780728/10721001
1035.08/1036.42	c cleaning 145998 clauses out of 292014 with flag 76897825/10868000
1053.93/1055.33	c cleaning 146995 clauses out of 294017 with flag 78012209/11016001
1073.87/1075.39	c cleaning 147998 clauses out of 296021 with flag 79118695/11165000
1095.32/1096.85	c cleaning 149007 clauses out of 298023 with flag 80231287/11315000
1116.76/1118.38	c cleaning 149999 clauses out of 300016 with flag 81383432/11466000
1137.80/1139.48	c cleaning 150991 clauses out of 302017 with flag 82561524/11618000
1158.05/1159.71	c cleaning 152009 clauses out of 304027 with flag 83677408/11771001
1179.29/1181.07	c cleaning 153001 clauses out of 306018 with flag 84867912/11925001
1200.13/1201.96	c cleaning 153997 clauses out of 308016 with flag 86017219/12080000
1221.48/1223.06	c cleaning 155006 clauses out of 310019 with flag 87149328/12236000
1243.58/1245.31	c cleaning 155997 clauses out of 312014 with flag 88327874/12393001
1265.29/1267.29	c cleaning 157002 clauses out of 314016 with flag 89478589/12551000
1287.61/1289.75	c cleaning 158001 clauses out of 316015 with flag 90691358/12710001
1311.60/1313.91	c cleaning 158995 clauses out of 318013 with flag 91917777/12870000
1335.22/1337.61	c cleaning 159997 clauses out of 320020 with flag 93140828/13031002
1358.15/1360.62	c cleaning 160998 clauses out of 322022 with flag 94343075/13193001
1381.70/1384.28	c cleaning 162004 clauses out of 324023 with flag 95567334/13356000
1405.23/1407.80	c cleaning 163003 clauses out of 326021 with flag 96870334/13520002
1429.31/1431.97	c cleaning 164001 clauses out of 328016 with flag 98093628/13685000
1453.36/1456.07	c cleaning 165001 clauses out of 330017 with flag 99313042/13851002
1477.88/1480.62	c cleaning 165999 clauses out of 332014 with flag 100566651/14018000
1502.52/1505.37	c cleaning 166996 clauses out of 334015 with flag 101807747/14186000
1530.25/1533.15	c cleaning 167999 clauses out of 336020 with flag 103107387/14355001
1557.07/1560.01	c cleaning 169000 clauses out of 338020 with flag 104401570/14525000
1581.51/1584.59	c cleaning 170004 clauses out of 340020 with flag 105690108/14696000
1607.13/1610.28	c cleaning 170998 clauses out of 342017 with flag 106984920/14868001
1633.06/1636.20	c cleaning 172001 clauses out of 344019 with flag 108320035/15041001
1658.59/1661.85	c cleaning 173001 clauses out of 346017 with flag 109641040/15215000
1684.82/1688.19	c cleaning 173988 clauses out of 348016 with flag 110978099/15390000
1711.92/1715.26	c cleaning 174995 clauses out of 350030 with flag 112345291/15566002
1740.66/1744.25	c cleaning 176007 clauses out of 352033 with flag 113741791/15743000
1767.92/1771.77	c cleaning 177006 clauses out of 354026 with flag 115123862/15921000
1795.53/1799.49	c cleaning 178004 clauses out of 356023 with flag 116548692/16100003
1824.24/1828.28	c cleaning 179001 clauses out of 358017 with flag 117960674/16280001
1851.96/1856.09	c cleaning 179997 clauses out of 360015 with flag 119387640/16461000
1883.85/1888.05	c cleaning 181002 clauses out of 362019 with flag 120860269/16643001
1912.26/1916.55	c cleaning 181998 clauses out of 364016 with flag 122255445/16826000
1941.97/1946.36	c cleaning 182998 clauses out of 366018 with flag 123664266/17010000
1972.28/1976.72	c cleaning 184009 clauses out of 368020 with flag 125077611/17195000
2002.23/2006.61	c cleaning 184996 clauses out of 370011 with flag 126505221/17381000
2032.75/2037.20	c cleaning 186004 clauses out of 372015 with flag 127976654/17568000
2064.66/2069.25	c cleaning 186995 clauses out of 374011 with flag 129430997/17756000
2096.48/2101.17	c cleaning 187996 clauses out of 376016 with flag 130910180/17945000
2128.59/2133.32	c cleaning 189001 clauses out of 378021 with flag 132396474/18135001
2159.90/2164.73	c cleaning 190001 clauses out of 380019 with flag 133901470/18326000
2192.51/2197.42	c cleaning 190993 clauses out of 382018 with flag 135443339/18518000
2222.63/2227.66	c cleaning 192008 clauses out of 384025 with flag 136963213/18711000
2253.54/2258.51	c cleaning 193003 clauses out of 386018 with flag 138479339/18905001
2286.65/2291.75	c cleaning 193997 clauses out of 388014 with flag 139998706/19100000
2317.36/2322.51	c cleaning 195002 clauses out of 390018 with flag 141522687/19296001
2348.79/2354.06	c cleaning 196003 clauses out of 392016 with flag 143043051/19493001
2380.39/2385.77	c cleaning 196998 clauses out of 394013 with flag 144646359/19691001
2414.40/2419.81	c cleaning 198001 clauses out of 396015 with flag 146224682/19890001
2448.51/2454.05	c cleaning 199002 clauses out of 398013 with flag 147769207/20090000
2482.91/2488.57	c cleaning 199998 clauses out of 400011 with flag 149342800/20291000
2519.46/2525.10	c cleaning 200995 clauses out of 402013 with flag 150926245/20493000
2554.86/2560.57	c cleaning 202000 clauses out of 404018 with flag 152541144/20696000
2589.36/2595.15	c cleaning 202999 clauses out of 406018 with flag 154148333/20900000
2624.76/2630.65	c cleaning 204003 clauses out of 408021 with flag 155745870/21105002
2660.66/2666.65	c cleaning 204997 clauses out of 410016 with flag 157331189/21311000
2696.46/2702.54	c cleaning 206006 clauses out of 412019 with flag 158940373/21518000
2733.75/2739.90	c cleaning 206996 clauses out of 414013 with flag 160600877/21726000
2770.34/2776.65	c cleaning 207998 clauses out of 416017 with flag 162255928/21935000
2807.49/2813.81	c cleaning 209003 clauses out of 418019 with flag 163888406/22145000
2845.18/2851.61	c cleaning 210001 clauses out of 420016 with flag 165569003/22356000
2881.19/2887.74	c cleaning 211000 clauses out of 422018 with flag 167223788/22568003
2917.89/2924.54	c cleaning 211999 clauses out of 424015 with flag 168890799/22781000
2956.97/2963.71	c cleaning 213001 clauses out of 426017 with flag 170610391/22995001
2996.56/3003.41	c cleaning 214004 clauses out of 428015 with flag 172334635/23210000
3035.85/3042.83	c cleaning 214999 clauses out of 430012 with flag 174023990/23426001
3075.05/3082.18	c cleaning 215993 clauses out of 432012 with flag 175740650/23643000
3115.04/3122.19	c cleaning 217000 clauses out of 434019 with flag 177442407/23861000
3153.53/3160.70	c cleaning 218001 clauses out of 436019 with flag 179154562/24080000
3192.91/3200.23	c cleaning 219005 clauses out of 438019 with flag 180892677/24300001
3234.49/3241.98	c cleaning 220000 clauses out of 440013 with flag 182704650/24521000
3278.27/3285.89	c cleaning 220990 clauses out of 442013 with flag 184490955/24743000
3320.95/3328.61	c cleaning 222004 clauses out of 444023 with flag 186297977/24966000
3361.84/3369.61	c cleaning 223005 clauses out of 446020 with flag 188103097/25190001
3405.23/3413.19	c cleaning 224000 clauses out of 448014 with flag 189864574/25415000
3447.45/3455.41	c cleaning 225001 clauses out of 450014 with flag 191665198/25641000
3492.42/3500.55	c cleaning 225999 clauses out of 452014 with flag 193494590/25868001
3536.30/3544.57	c cleaning 227006 clauses out of 454014 with flag 195338317/26096000
3580.28/3588.63	c cleaning 227993 clauses out of 456008 with flag 197203699/26325000
3600.02/3608.41	c starts		: 34108
3600.02/3608.42	c conflicts		: 26440908
3600.02/3608.42	c decisions		: 33230138
3600.02/3608.42	c propagations		: 481760285
3600.02/3608.42	c inspects		: 64943208514
3600.02/3608.42	c shortcuts		: 0
3600.02/3608.42	c learnt literals	: 0
3600.02/3608.42	c learnt binary clauses	: 0
3600.02/3608.42	c learnt ternary clauses	: 0
3600.02/3608.42	c learnt constraints	: 26440908
3600.02/3608.42	c ignored constraints	: 0
3600.02/3608.42	c root simplifications	: 0
3600.02/3608.42	c removed literals (reason simplification)	: 0
3600.02/3608.42	c reason swapping (by a shorter reason)	: 0
3600.02/3608.42	c timeout
3600.02/3608.43	c Calls to reduceDB	: 225
3600.02/3608.43	c Number of update (reduction) of LBD	: 7203903
3600.02/3608.43	c Imported unit clauses	: 0
3600.02/3608.43	c No decision after first conflict	: false
3600.02/3608.43	c number of reductions to clauses (during analyze)	: 0
3600.02/3608.43	c number of learned constraints concerned by reduction	: 0
3600.02/3608.43	c number of learning phase by resolution	: 0
3600.02/3608.43	c number of learning phase by cutting planes	: 0
3600.02/3608.43	c number of rounding to 1 operations	: 0
3600.02/3608.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3608.43	c number of reductions of the coefficients by power 2 	: 0
3600.02/3608.43	c number of right shift for reduction by power 2 	: 0
3600.02/3608.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3608.43	c number of ending skipping 	: 0
3600.02/3608.43	c number of internal skipping 	: 0
3600.02/3608.43	c number of derivation steps 	: 0
3600.02/3608.43	c number of skipped derivation steps 	: 0
3600.02/3608.43	c number of remaining unassigned 	: 0
3600.02/3608.43	c number of remaining assigned 	: 0
3600.02/3608.43	c number of falsified literals weakened from reason	: 0
3600.02/3608.43	c number of falsified literals weakened from conflict	: 0
3600.02/3608.43	c time for arithmetic operations	: 0
3600.02/3608.43	c minimum degree of deleted constraints	: null
3600.02/3608.43	c maximum degree of deleted constraints	: null
3600.02/3608.43	c number of deleted constraints	: 0
3600.02/3608.43	c speed (assignments/second)	: 133515.25339365387
3600.02/3608.43	c non guided choices	: 33325
3600.02/3608.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 343923
3600.02/3608.49	s UNKNOWN
3600.02/3608.49	c Total wall clock time (in seconds): 3608.361

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451194-1721429251/watcher-4451194-1721429251 -o /tmp/evaluation-result-4451194-1721429251/solver-4451194-1721429251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074932 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451194-1721429251.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100178 s]*
/proc/loadavg: 4.16 4.26 4.13 7/329 1077925
/proc/meminfo: memFree=124615888/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=18975048 memory=63384 CPUtime=0.13 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 7223 0 0 0 11 2 0 0 20 0 18 0 195093165 19430449152 15846 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4743762 15846 5692 1 0 549338 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 1077936192 5741 0 0 0 7 1 0 0 20 0 18 0 195093166 19430449152 15846 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195093168 19430449152 15846 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195093168 19430449152 15846 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63384 KiB

[startup+0.205532 s]*
/proc/loadavg: 4.16 4.26 4.13 7/330 1077927
/proc/meminfo: memFree=124610008/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=68908 CPUtime=0.31 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 8934 0 0 0 29 2 0 0 20 0 19 0 195093165 19498610688 17227 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 17227 5810 1 0 550362 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 5925 0 0 0 17 1 0 0 20 0 19 0 195093166 19498610688 17227 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=17016 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 17227 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 17227 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 17227 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68908 KiB

[startup+0.305506 s]*
/proc/loadavg: 4.16 4.26 4.13 7/330 1077927
/proc/meminfo: memFree=124607652/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=71280 CPUtime=0.5 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 9525 0 0 0 48 2 0 0 20 0 19 0 195093165 19498610688 17820 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 17820 5810 1 0 550864 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=-7306911702968265566 CPUtime=0.28 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 5926 0 0 0 27 1 0 0 20 0 19 0 195093166 19498610688 17820 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 17820 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 17820 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 17820 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71280 KiB

[startup+0.706742 s]
/proc/loadavg: 4.16 4.26 4.13 6/330 1077927
/proc/meminfo: memFree=124590112/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=91236 CPUtime=1.28 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 14208 0 0 0 125 3 0 0 20 0 19 0 195093165 19498610688 22809 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 22809 5826 1 0 553696 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=46816 CPUtime=0.67 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 5973 0 0 0 66 1 0 0 20 0 19 0 195093166 19498610688 22809 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 22809 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 22809 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 22809 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91236 KiB

[startup+1.50103 s]
/proc/loadavg: 4.16 4.26 4.13 5/330 1077927
/proc/meminfo: memFree=124583192/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=104136 CPUtime=2.31 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 17413 0 0 0 227 4 0 0 20 0 19 0 195093165 19498610688 26034 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 26034 5826 1 0 553698 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=13116 CPUtime=1.47 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 6317 0 0 0 145 2 0 0 20 0 19 0 195093166 19498610688 26034 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 26034 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 26034 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 26034 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104136 KiB

[startup+3.1054 s]
/proc/loadavg: 4.16 4.26 4.13 5/330 1077927
/proc/meminfo: memFree=124552300/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=128804 CPUtime=3.98 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 18078 0 0 0 393 5 0 0 20 0 19 0 195093165 19498610688 32201 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 32201 5826 1 0 553716 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=0 CPUtime=3.06 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 6622 0 0 0 304 2 0 0 20 0 19 0 195093166 19498610688 32201 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=-7306911702968265566 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 32201 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 32201 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 32201 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128804 KiB

[startup+6.30019 s]
/proc/loadavg: 4.15 4.25 4.13 5/330 1077927
/proc/meminfo: memFree=124515800/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19041612 memory=158880 CPUtime=7.21 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 18657 0 0 0 715 6 0 0 20 0 19 0 195093165 19498610688 39720 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4760403 39720 5826 1 0 553717 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19041612 memory=2212 CPUtime=6.25 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 6933 0 0 0 622 3 0 0 20 0 19 0 195093166 19498610688 39720 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 39720 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195093168 19498610688 39720 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195093180 19498610688 39720 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158880 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.25 4.13 5/331 1077930
/proc/meminfo: memFree=124443424/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=177768 CPUtime=13.59 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 20436 0 0 0 1353 6 0 0 20 0 20 0 195093165 19566772224 44442 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 44442 5858 1 0 554022 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=13116 CPUtime=12.62 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 7412 0 0 0 1259 3 0 0 20 0 20 0 195093166 19566772224 44442 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=177704 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 44442 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=46816 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 44442 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 44442 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 13.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.24 4.13 5/331 1077931
/proc/meminfo: memFree=124381300/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=212812 CPUtime=26.38 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 23635 0 0 0 2631 7 0 0 20 0 20 0 195093165 19566772224 53203 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 53203 5858 1 0 554022 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=6944656574621848725 CPUtime=25.34 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 8424 0 0 0 2531 3 0 0 20 0 20 0 195093166 19566772224 53203 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 53203 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=3522 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 53203 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 53203 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 26.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 212812 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.23 4.13 5/331 1077936
/proc/meminfo: memFree=124141952/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=280724 CPUtime=51.97 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 27658 0 0 0 5188 9 0 0 20 0 20 0 195093165 19566772224 70181 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 70181 5890 1 0 554022 0

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

/proc/meminfo: memFree=120324560/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=3214.95 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 124103 0 0 0 321358 137 0 0 20 0 20 0 195093165 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543899 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=11396 CPUtime=3208.56 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 65432 0 0 0 320833 23 0 0 20 0 20 0 195093166 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4193 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3214.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/334 1079919
/proc/meminfo: memFree=120323968/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=3274.78 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 125398 0 0 0 327339 139 0 0 20 0 20 0 195093165 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543899 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=11396 CPUtime=3268.36 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 66389 0 0 0 326813 23 0 0 20 0 20 0 195093166 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4280 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=3364 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3274.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/334 1079931
/proc/meminfo: memFree=120294252/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=3334.61 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 126623 0 0 0 333320 141 0 0 20 0 20 0 195093165 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543899 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=11396 CPUtime=3328.17 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 67354 0 0 0 332793 24 0 0 20 0 20 0 195093166 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4393 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543899 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3334.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/334 1079943
/proc/meminfo: memFree=120293828/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175600 CPUtime=3394.45 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 128007 0 0 0 339302 143 0 0 20 0 20 0 195093165 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543900 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=3387.97 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 68358 0 0 0 338773 24 0 0 20 0 20 0 195093166 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4522 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=2175600 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3394.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.14 5/331 1079954
/proc/meminfo: memFree=120293056/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175600 CPUtime=3454.33 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 130019 0 0 0 345287 146 0 0 20 0 20 0 195093165 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543900 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=2175596 CPUtime=3447.71 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 69081 0 0 0 344746 25 0 0 20 0 20 0 195093166 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4570 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=2175600 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543900 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3454.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.19 4.15 5/331 1079964
/proc/meminfo: memFree=120290332/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175604 CPUtime=3514.16 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 131076 0 0 0 351268 148 0 0 20 0 20 0 195093165 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543901 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=11396 CPUtime=3507.51 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 69822 0 0 0 350726 25 0 0 20 0 20 0 195093166 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=2175600 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=2175604 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4699 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=-7306911702968265566 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3514.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/331 1079974
/proc/meminfo: memFree=120168380/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175604 CPUtime=3574 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 132184 0 0 0 357250 150 0 0 20 0 20 0 195093165 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543901 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=11396 CPUtime=3567.31 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 70719 0 0 0 356706 25 0 0 20 0 20 0 195093166 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=16236 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=-7306911702968265566 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4787 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=31656 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3574 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.17 4.17 4.14 5/330 1080045
/proc/meminfo: memFree=122241476/131524600 swapFree=131071996/131071996
[pid=1077907] ppid=1077904 vsize=19108176 memory=2175604 CPUtime=3600.02 cores=0,2
/proc/1077907/stat : 1077907 (java) S 1077904 1077907 1074922 0 -1 1077936128 133118 0 0 0 359852 150 0 0 20 0 20 0 195093165 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
/proc/1077907/statm: 4777044 543901 5890 1 0 558705 0
[pid=1077907/tid=1077909] ppid=1077904 vsize=19108176 memory=-7306911702968265566 CPUtime=3593.33 cores=0,2
/proc/1077907/task/1077909/stat : 1077909 (java) R 1077904 1077907 1074922 0 -1 4194368 71291 0 0 0 359308 25 0 0 20 0 20 0 195093166 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077918] ppid=1077904 vsize=19108176 memory=16236 CPUtime=0 cores=0,2
/proc/1077907/task/1077918/stat : 1077918 (Finalizer) S 1077904 1077907 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077925] ppid=1077904 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/1077907/task/1077925/stat : 1077925 (Common-Cleaner) S 1077904 1077907 1074922 0 -1 1077936192 4899 0 0 0 0 0 0 0 20 0 20 0 195093168 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
[pid=1077907/tid=1077927] ppid=1077904 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/1077907/task/1077927/stat : 1077927 (Timer-0) S 1077904 1077907 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195093180 19566772224 543901 134679101440 93919332560896 93919332564592 140729619056240 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919332572408 93919332573200 93919351177216 140729619059717 140729619059807 140729619059807 140729619066824 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.52274 s

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

Child status: 143

Real time (s): 3608.5
CPU time (s): 3600.18
CPU user time (s): 3598.66
CPU system time (s): 1.52274
CPU usage (%): 99.7694
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2175604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.52274
maximum resident set size= 2177476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102491
involuntary context switches= 26309


# summary of solver processes directly reported to runsolver:
#   pid: 1077907
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.52274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12987 second user time and 17.2712 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 00:47:44
IDJOB=4451194
IDBENCH=162384
IDSOLVER=3058
FILE ID=nodeC030/4451194-1721429251
RUNJOBID= nodeC030-1721425652-1074932
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/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451194-1721429251/watcher-4451194-1721429251 -o /tmp/evaluation-result-4451194-1721429251/solver-4451194-1721429251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074932 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451194-1721429251.opb

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

MD5SUM BENCH= 96559038c8afb17a43160a369b358949
RANDOM SEED=1685295315

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		: 3654.324
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		: 3679.851
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		: 3633.418
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.788
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		: 3673.312
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		: 3679.958
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		: 3621.636
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.654
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:        124658340 kB
MemAvailable:   127087800 kB
Buffers:          519364 kB
Cached:          2730720 kB
SwapCached:            0 kB
Active:          1177768 kB
Inactive:        5014284 kB
Active(anon):       1540 kB
Inactive(anon):  2986008 kB
Active(file):    1176228 kB
Inactive(file):  2028276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2092 kB
Writeback:             0 kB
AnonPages:       2941308 kB
Mapped:           127236 kB
Shmem:             45912 kB
KReclaimable:     129556 kB
Slab:             247584 kB
SReclaimable:     129556 kB
SUnreclaim:       118028 kB
KernelStack:        4976 kB
PageTables:        15944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7365324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2678784 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= 890076 MiB
End job on nodeC030 at 2024-07-20 01:47:52