Trace number 4449757

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)6 3600.27 3603.02

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
MD5SUM8d06570fa4bf547e139dcdd4309b0d0f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark30.1142
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables242
Total number of constraints6358
Number of constraints which are clauses6347
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint12
Number of terms in the objective function 11
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 11
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 13
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.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 		2106806208
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-4449757-1721399504.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.33/0.21	c ... done. Wall clock time 0.088s.
0.33/0.21	c declared #vars     242
0.33/0.21	c #constraints  6358
0.33/0.21	c constraints type 
0.33/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6347
0.33/0.21	c 6358 constraints processed.
0.33/0.24	c objective function length is 11 literals
0.33/0.29	c SATISFIABLE
0.33/0.29	c OPTIMIZING...
0.33/0.29	c Got one! Elapsed wall clock time (in seconds):0.171
0.50/0.31	o 6
0.90/0.53	c cleaning 2815 clauses out of 5644 with flag 30846/5644
1.08/0.69	c cleaning 4408 clauses out of 8829 with flag 60786/11644
1.47/0.87	c cleaning 5704 clauses out of 11422 with flag 104712/18645
1.82/1.06	c cleaning 6857 clauses out of 13718 with flag 153420/26645
2.21/1.24	c cleaning 7917 clauses out of 15860 with flag 202534/35644
2.51/1.46	c cleaning 8968 clauses out of 17943 with flag 264770/45644
2.81/1.71	c cleaning 9981 clauses out of 19975 with flag 333435/56644
3.01/1.99	c cleaning 10984 clauses out of 21995 with flag 417736/68645
3.41/2.33	c cleaning 11987 clauses out of 24010 with flag 509533/81644
3.72/2.65	c cleaning 13000 clauses out of 26023 with flag 592933/95644
4.02/3.00	c cleaning 14003 clauses out of 28023 with flag 684511/110644
4.41/3.35	c cleaning 15007 clauses out of 30020 with flag 780598/126644
4.84/3.78	c cleaning 15992 clauses out of 32013 with flag 888625/143644
5.27/4.19	c cleaning 16987 clauses out of 34022 with flag 992316/161645
5.96/4.89	c cleaning 18012 clauses out of 36035 with flag 1106075/180645
6.56/5.44	c cleaning 19004 clauses out of 38022 with flag 1236462/200644
7.06/5.94	c cleaning 20000 clauses out of 40018 with flag 1356597/221644
7.66/6.51	c cleaning 21007 clauses out of 42020 with flag 1487581/243646
8.26/7.16	c cleaning 21990 clauses out of 44011 with flag 1631389/266644
9.06/7.93	c cleaning 22992 clauses out of 46021 with flag 1790229/290644
9.76/8.65	c cleaning 24006 clauses out of 48031 with flag 1947644/315646
10.46/9.37	c cleaning 24992 clauses out of 50023 with flag 2112575/341644
11.26/10.16	c cleaning 26011 clauses out of 52031 with flag 2280831/368644
12.05/10.95	c cleaning 27005 clauses out of 54021 with flag 2456129/396645
12.95/11.82	c cleaning 27992 clauses out of 56015 with flag 2651448/425644
13.75/12.69	c cleaning 28999 clauses out of 58023 with flag 2839759/455644
14.75/13.61	c cleaning 29999 clauses out of 60025 with flag 3031874/486645
15.65/14.58	c cleaning 31007 clauses out of 62025 with flag 3239405/518644
16.64/15.56	c cleaning 32005 clauses out of 64019 with flag 3440661/551645
17.94/16.81	c cleaning 32995 clauses out of 66013 with flag 3685423/585644
19.15/18.02	c cleaning 34001 clauses out of 68018 with flag 3916510/620644
20.34/19.24	c cleaning 34995 clauses out of 70018 with flag 4164670/656645
21.64/20.55	c cleaning 36011 clauses out of 72022 with flag 4425419/693644
23.03/22.00	c cleaning 36995 clauses out of 74011 with flag 4717935/731644
24.67/23.54	c cleaning 37993 clauses out of 76016 with flag 4994569/770644
26.17/25.07	c cleaning 38994 clauses out of 78023 with flag 5265307/810644
27.76/26.65	c cleaning 39994 clauses out of 80030 with flag 5553190/851645
29.46/28.34	c cleaning 41007 clauses out of 82035 with flag 5829515/893644
30.96/29.85	c cleaning 41998 clauses out of 84028 with flag 6100351/936644
32.76/31.60	c cleaning 43007 clauses out of 86030 with flag 6391544/980644
34.44/33.38	c cleaning 44004 clauses out of 88023 with flag 6685405/1025644
36.43/35.32	c cleaning 44986 clauses out of 90019 with flag 7015565/1071644
38.53/37.47	c cleaning 46011 clauses out of 92034 with flag 7371173/1118645
40.76/39.60	c cleaning 46995 clauses out of 94023 with flag 7740937/1166645
42.75/41.69	c cleaning 47990 clauses out of 96027 with flag 8071322/1215644
44.95/43.82	c cleaning 49017 clauses out of 98038 with flag 8429930/1265645
47.26/46.15	c cleaning 49984 clauses out of 100020 with flag 8776410/1316644
49.56/48.45	c cleaning 51010 clauses out of 102036 with flag 9140398/1368644
51.86/50.72	c cleaning 52004 clauses out of 104026 with flag 9484540/1421644
54.05/52.97	c cleaning 52998 clauses out of 106023 with flag 9863687/1475645
56.45/55.34	c cleaning 54004 clauses out of 108025 with flag 10235652/1530645
59.15/58.05	c cleaning 55007 clauses out of 110020 with flag 10640579/1586644
61.84/60.78	c cleaning 55999 clauses out of 112014 with flag 11068092/1643645
64.64/63.53	c cleaning 56993 clauses out of 114014 with flag 11448556/1701644
67.55/66.42	c cleaning 57999 clauses out of 116021 with flag 11871685/1760644
70.44/69.37	c cleaning 58979 clauses out of 118022 with flag 12308348/1820644
73.44/72.32	c cleaning 60014 clauses out of 120043 with flag 12728342/1881644
76.46/75.35	c cleaning 61008 clauses out of 122030 with flag 13153807/1943645
79.75/78.63	c cleaning 62000 clauses out of 124021 with flag 13638268/2006644
83.06/81.96	c cleaning 63002 clauses out of 126021 with flag 14120251/2070644
86.60/85.42	c cleaning 63998 clauses out of 128019 with flag 14619210/2135644
90.20/89.08	c cleaning 64979 clauses out of 130022 with flag 15125639/2201645
93.78/92.68	c cleaning 66007 clauses out of 132042 with flag 15626993/2268644
97.82/96.60	c cleaning 67009 clauses out of 134035 with flag 16124065/2336644
101.61/100.48	c cleaning 68004 clauses out of 136026 with flag 16668850/2405644
105.59/104.45	c cleaning 68996 clauses out of 138024 with flag 17226944/2475646
109.63/108.43	c cleaning 69986 clauses out of 140026 with flag 17792429/2546644
113.72/112.57	c cleaning 71017 clauses out of 142040 with flag 18347738/2618644
117.91/116.70	c cleaning 71999 clauses out of 144025 with flag 18903763/2691646
122.34/121.18	c cleaning 73008 clauses out of 146024 with flag 19531262/2765644
127.03/125.84	c cleaning 73995 clauses out of 148017 with flag 20164772/2840645
131.42/130.25	c cleaning 75006 clauses out of 150022 with flag 20759955/2916645
136.11/134.91	c cleaning 75993 clauses out of 152015 with flag 21384280/2993644
140.66/139.47	c cleaning 77006 clauses out of 154022 with flag 21973836/3071644
145.45/144.21	c cleaning 77985 clauses out of 156016 with flag 22626679/3150644
150.24/149.05	c cleaning 78988 clauses out of 158031 with flag 23285965/3230644
155.13/153.93	c cleaning 80012 clauses out of 160045 with flag 23954291/3311646
159.97/158.77	c cleaning 81002 clauses out of 162031 with flag 24641131/3393644
164.76/163.57	c cleaning 82006 clauses out of 164029 with flag 25341570/3476644
169.85/168.65	c cleaning 83007 clauses out of 166023 with flag 26031407/3560644
174.94/173.78	c cleaning 84001 clauses out of 168016 with flag 26734237/3645644
180.47/179.21	c cleaning 84989 clauses out of 170015 with flag 27456750/3731644
185.76/184.51	c cleaning 85995 clauses out of 172028 with flag 28154828/3818646
191.55/190.36	c cleaning 87008 clauses out of 174031 with flag 28889989/3906644
197.44/196.25	c cleaning 88008 clauses out of 176025 with flag 29627673/3995646
203.12/202.00	c cleaning 89002 clauses out of 178015 with flag 30354648/4085644
209.31/208.12	c cleaning 90001 clauses out of 180013 with flag 31153614/4176644
215.46/214.28	c cleaning 91001 clauses out of 182013 with flag 31943569/4268645
221.65/220.47	c cleaning 91983 clauses out of 184011 with flag 32736003/4361644
227.84/226.63	c cleaning 92994 clauses out of 186028 with flag 33530317/4455644
234.33/233.19	c cleaning 93993 clauses out of 188034 with flag 34333186/4550644
241.11/239.95	c cleaning 95011 clauses out of 190041 with flag 35138735/4646644
248.42/247.24	c cleaning 95995 clauses out of 192030 with flag 35965762/4743644
255.71/254.51	c cleaning 96986 clauses out of 194035 with flag 36834210/4841644
263.10/261.99	c cleaning 98014 clauses out of 196050 with flag 37678013/4940645
270.68/269.53	c cleaning 99011 clauses out of 198036 with flag 38517008/5040645
278.27/277.16	c cleaning 99993 clauses out of 200025 with flag 39381435/5141645
286.32/285.13	c cleaning 101011 clauses out of 202032 with flag 40244169/5243645
294.21/293.04	c cleaning 102006 clauses out of 204022 with flag 41148490/5346646
302.09/300.94	c cleaning 102987 clauses out of 206014 with flag 42048384/5450644
310.37/309.22	c cleaning 104008 clauses out of 208028 with flag 42964771/5555645
318.66/317.52	c cleaning 104990 clauses out of 210020 with flag 43910579/5661645
327.62/326.18	c cleaning 106005 clauses out of 212029 with flag 44856301/5768644
336.69/335.27	c cleaning 107001 clauses out of 214024 with flag 45823522/5876644
345.49/344.10	c cleaning 108008 clauses out of 216023 with flag 46749970/5985644
354.76/353.34	c cleaning 108974 clauses out of 218016 with flag 47700616/6095645
364.04/362.66	c cleaning 110011 clauses out of 220041 with flag 48698443/6206644
373.02/371.68	c cleaning 111014 clauses out of 222030 with flag 49689309/6318644
382.54/381.19	c cleaning 111997 clauses out of 224016 with flag 50638728/6431644
391.71/390.35	c cleaning 112990 clauses out of 226019 with flag 51623034/6545644
401.58/400.26	c cleaning 114001 clauses out of 228029 with flag 52619394/6660644
411.77/410.46	c cleaning 115011 clauses out of 230028 with flag 53612442/6776644
421.34/420.10	c cleaning 115998 clauses out of 232018 with flag 54642297/6893645
432.32/431.02	c cleaning 117003 clauses out of 234019 with flag 55699114/7011644
442.28/440.95	c cleaning 118001 clauses out of 236017 with flag 56747701/7130645
452.75/451.47	c cleaning 119008 clauses out of 238016 with flag 57798837/7250645
463.43/462.12	c cleaning 119983 clauses out of 240009 with flag 58856346/7371646
474.50/473.28	c cleaning 120997 clauses out of 242027 with flag 59928673/7493647
485.57/484.39	c cleaning 122011 clauses out of 244027 with flag 61012686/7616644
496.58/495.31	c cleaning 122998 clauses out of 246016 with flag 62128915/7740644
507.77/506.63	c cleaning 124002 clauses out of 248018 with flag 63228591/7865644
519.07/518.06	c cleaning 125002 clauses out of 250016 with flag 64338657/7991644
530.28/529.37	c cleaning 125986 clauses out of 252014 with flag 65447397/8118644
541.75/540.81	c cleaning 127003 clauses out of 254030 with flag 66587809/8246646
553.43/552.57	c cleaning 128006 clauses out of 256025 with flag 67720306/8375644
565.76/564.83	c cleaning 128998 clauses out of 258020 with flag 68867806/8505645
577.83/576.93	c cleaning 130002 clauses out of 260021 with flag 70033337/8636644
589.92/589.04	c cleaning 130995 clauses out of 262019 with flag 71221733/8768644
601.89/601.06	c cleaning 132003 clauses out of 264024 with flag 72424075/8901644
614.57/613.74	c cleaning 133010 clauses out of 266023 with flag 73582022/9035646
627.45/626.68	c cleaning 133997 clauses out of 268012 with flag 74735773/9170645
641.02/640.21	c cleaning 135004 clauses out of 270015 with flag 75928417/9306645
654.40/653.68	c cleaning 135996 clauses out of 272010 with flag 77164177/9443644
667.36/666.64	c cleaning 137003 clauses out of 274016 with flag 78406686/9581646
680.84/680.19	c cleaning 137990 clauses out of 276011 with flag 79620492/9720644
695.08/694.35	c cleaning 139008 clauses out of 278021 with flag 80913039/9860644
708.86/708.19	c cleaning 139999 clauses out of 280013 with flag 82184814/10001644
723.03/722.37	c cleaning 140994 clauses out of 282014 with flag 83461081/10143644
737.90/737.22	c cleaning 142004 clauses out of 284021 with flag 84700630/10286645
752.47/751.89	c cleaning 143004 clauses out of 286016 with flag 85990917/10430644
767.54/766.98	c cleaning 143990 clauses out of 288012 with flag 87257730/10575644
782.81/782.26	c cleaning 144993 clauses out of 290022 with flag 88550051/10721644
797.78/797.27	c cleaning 146006 clauses out of 292029 with flag 89880543/10868644
813.64/813.19	c cleaning 147008 clauses out of 294025 with flag 91195207/11016646
829.31/828.89	c cleaning 147988 clauses out of 296016 with flag 92538664/11165645
844.78/844.23	c cleaning 148996 clauses out of 298027 with flag 93877845/11315644
860.46/859.97	c cleaning 149996 clauses out of 300031 with flag 95255488/11466644
877.22/876.75	c cleaning 151004 clauses out of 302036 with flag 96621516/11618645
893.60/893.17	c cleaning 152000 clauses out of 304031 with flag 97993579/11771644
910.27/909.88	c cleaning 152992 clauses out of 306033 with flag 99364502/11925646
927.74/927.22	c cleaning 154018 clauses out of 308041 with flag 100730037/12080646
944.41/943.96	c cleaning 155002 clauses out of 310021 with flag 102126201/12236644
960.48/960.03	c cleaning 156000 clauses out of 312020 with flag 103514295/12393645
978.14/977.76	c cleaning 157012 clauses out of 314023 with flag 104946929/12551648
995.11/994.74	c cleaning 157993 clauses out of 316007 with flag 106431303/12710644
1012.58/1012.26	c cleaning 158985 clauses out of 318014 with flag 107850903/12870644
1028.86/1028.54	c cleaning 160004 clauses out of 320030 with flag 109303289/13031645
1047.41/1047.03	c cleaning 161004 clauses out of 322030 with flag 110744929/13193649
1066.48/1066.16	c cleaning 162001 clauses out of 324022 with flag 112198736/13356645
1084.94/1084.63	c cleaning 163001 clauses out of 326020 with flag 113689262/13520644
1103.71/1103.45	c cleaning 164001 clauses out of 328020 with flag 115170976/13685645
1122.86/1122.60	c cleaning 164991 clauses out of 330018 with flag 116647540/13851644
1141.64/1141.49	c cleaning 166002 clauses out of 332027 with flag 118172380/14018644
1161.10/1160.98	c cleaning 166994 clauses out of 334026 with flag 119691080/14186645
1180.66/1180.49	c cleaning 167996 clauses out of 336031 with flag 121215352/14355644
1201.22/1201.02	c cleaning 169008 clauses out of 338035 with flag 122797422/14525644
1222.29/1222.12	c cleaning 169988 clauses out of 340027 with flag 124320438/14696644
1242.04/1241.97	c cleaning 171011 clauses out of 342039 with flag 125866544/14868644
1262.21/1262.15	c cleaning 172000 clauses out of 344031 with flag 127433351/15041647
1283.36/1283.37	c cleaning 173011 clauses out of 346028 with flag 129040420/15215644
1304.21/1304.27	c cleaning 173984 clauses out of 348017 with flag 130593197/15390644
1326.00/1325.55	c cleaning 175002 clauses out of 350034 with flag 132168869/15566645
1346.95/1346.58	c cleaning 176008 clauses out of 352031 with flag 133741921/15743644
1369.01/1368.64	c cleaning 176981 clauses out of 354026 with flag 135361676/15921647
1391.27/1390.95	c cleaning 178001 clauses out of 356042 with flag 137029525/16100644
1413.53/1413.24	c cleaning 179014 clauses out of 358041 with flag 138635521/16280644
1437.99/1437.78	c cleaning 179990 clauses out of 360027 with flag 140267041/16461644
1461.84/1461.67	c cleaning 181003 clauses out of 362039 with flag 141922676/16643646
1486.35/1486.11	c cleaning 182006 clauses out of 364036 with flag 143575459/16826646
1509.70/1509.58	c cleaning 183010 clauses out of 366029 with flag 145222292/17010645
1534.36/1534.21	c cleaning 183996 clauses out of 368018 with flag 146888093/17195644
1559.41/1559.30	c cleaning 185007 clauses out of 370023 with flag 148541445/17381645
1584.18/1584.14	c cleaning 186000 clauses out of 372016 with flag 150231166/17568645
1609.02/1609.10	c cleaning 187008 clauses out of 374019 with flag 151919339/17756648
1634.56/1634.63	c cleaning 187985 clauses out of 376007 with flag 153636320/17945644
1659.60/1659.75	c cleaning 188996 clauses out of 378022 with flag 155318651/18135644
1683.74/1683.91	c cleaning 190003 clauses out of 380027 with flag 157066984/18326645
1709.04/1709.15	c cleaning 191007 clauses out of 382025 with flag 158803074/18518646
1736.20/1736.33	c cleaning 191982 clauses out of 384016 with flag 160524562/18711644
1763.25/1763.41	c cleaning 193000 clauses out of 386034 with flag 162233015/18905644
1790.31/1790.50	c cleaning 194007 clauses out of 388035 with flag 164001325/19100645
1817.15/1817.44	c cleaning 194996 clauses out of 390028 with flag 165789968/19296645
1843.81/1844.17	c cleaning 195997 clauses out of 392031 with flag 167604993/19493644
1870.76/1871.14	c cleaning 197004 clauses out of 394040 with flag 169387916/19691650
1898.31/1898.74	c cleaning 198007 clauses out of 396030 with flag 171215105/19890644
1927.67/1928.17	c cleaning 198987 clauses out of 398024 with flag 173033067/20090645
1956.11/1956.68	c cleaning 200008 clauses out of 400036 with flag 174891637/20291644
1984.56/1985.15	c cleaning 200991 clauses out of 402028 with flag 176763309/20493644
2011.82/2012.48	c cleaning 202003 clauses out of 404039 with flag 178624688/20696646
2039.86/2040.47	c cleaning 203001 clauses out of 406035 with flag 180538563/20900645
2069.31/2069.91	c cleaning 204013 clauses out of 408033 with flag 182341734/21105644
2099.06/2099.71	c cleaning 205007 clauses out of 410020 with flag 184265396/21311644
2129.00/2129.79	c cleaning 206002 clauses out of 412014 with flag 186132272/21518645
2159.95/2160.72	c cleaning 206998 clauses out of 414011 with flag 188022222/21726644
2189.00/2189.84	c cleaning 207988 clauses out of 416015 with flag 189969052/21935646
2219.82/2220.61	c cleaning 208993 clauses out of 418025 with flag 191935949/22145644
2250.37/2251.22	c cleaning 209996 clauses out of 420033 with flag 193905110/22356645
2281.21/2282.13	c cleaning 210996 clauses out of 422037 with flag 195903059/22568645
2312.75/2313.74	c cleaning 212003 clauses out of 424040 with flag 197898428/22781644
2344.40/2345.49	c cleaning 213001 clauses out of 426039 with flag 199866971/22995646
2376.84/2377.95	c cleaning 213993 clauses out of 428036 with flag 201862824/23210644
2409.07/2410.17	c cleaning 215002 clauses out of 430043 with flag 203842002/23426644
2443.30/2444.44	c cleaning 216017 clauses out of 432043 with flag 205831374/23643646
2474.63/2475.86	c cleaning 216985 clauses out of 434024 with flag 207860440/23861644
2508.15/2509.49	c cleaning 217999 clauses out of 436040 with flag 209971637/24080645
2540.78/2542.12	c cleaning 218992 clauses out of 438040 with flag 212020172/24300644
2576.18/2577.04	c cleaning 219998 clauses out of 440048 with flag 214052990/24521644
2609.59/2610.51	c cleaning 221015 clauses out of 442052 with flag 216121704/24743646
2644.02/2645.06	c cleaning 222000 clauses out of 444035 with flag 218184412/24966644
2677.64/2678.73	c cleaning 222999 clauses out of 446036 with flag 220268296/25190645
2712.28/2713.40	c cleaning 224014 clauses out of 448036 with flag 222343723/25415644
2747.82/2749.10	c cleaning 225001 clauses out of 450022 with flag 224410337/25641644
2783.16/2784.40	c cleaning 225995 clauses out of 452021 with flag 226523385/25868644
2818.99/2820.35	c cleaning 226994 clauses out of 454029 with flag 228638685/26096647
2854.63/2856.08	c cleaning 227988 clauses out of 456032 with flag 230739448/26325644
2890.35/2891.83	c cleaning 229007 clauses out of 458044 with flag 232882651/26555644
2927.78/2929.30	c cleaning 230006 clauses out of 460038 with flag 235066946/26786645
2964.92/2966.57	c cleaning 231011 clauses out of 462032 with flag 237204440/27018645
3004.53/3006.32	c cleaning 231998 clauses out of 464020 with flag 239365492/27251644
3043.51/3045.57	c cleaning 232998 clauses out of 466022 with flag 241566687/27485644
3083.74/3085.81	c cleaning 233983 clauses out of 468024 with flag 243738188/27720644
3122.06/3124.23	c cleaning 235008 clauses out of 470041 with flag 245915632/27956644
3160.80/3163.08	c cleaning 236013 clauses out of 472034 with flag 248104880/28193645
3197.93/3200.26	c cleaning 236998 clauses out of 474020 with flag 250345698/28431644
3237.79/3240.05	c cleaning 238003 clauses out of 476024 with flag 252644109/28670646
3276.11/3278.48	c cleaning 239006 clauses out of 478024 with flag 254845849/28910649
3315.93/3318.36	c cleaning 239998 clauses out of 480013 with flag 257084112/29151644
3353.24/3355.79	c cleaning 240983 clauses out of 482015 with flag 259380732/29393644
3395.04/3397.61	c cleaning 242007 clauses out of 484032 with flag 261590557/29636644
3436.06/3438.73	c cleaning 243003 clauses out of 486026 with flag 263839637/29880645
3477.86/3480.62	c cleaning 243996 clauses out of 488022 with flag 266099635/30125644
3518.72/3521.40	c cleaning 244999 clauses out of 490026 with flag 268491795/30371644
3558.94/3561.77	c cleaning 245987 clauses out of 492027 with flag 270811608/30618644
3599.18/3602.10	c cleaning 247016 clauses out of 494040 with flag 273209031/30866644
3600.07/3602.91	c starts		: 101718
3600.07/3602.91	c conflicts		: 30875886
3600.07/3602.91	c decisions		: 100701989
3600.07/3602.91	c propagations		: 752858181
3600.07/3602.91	c inspects		: 42375702053
3600.07/3602.91	c shortcuts		: 0
3600.07/3602.91	c learnt literals	: 0
3600.07/3602.91	c learnt binary clauses	: 0
3600.07/3602.91	c learnt ternary clauses	: 0
3600.07/3602.91	c learnt constraints	: 30875886
3600.07/3602.91	c ignored constraints	: 0
3600.07/3602.91	c root simplifications	: 0
3600.07/3602.91	c removed literals (reason simplification)	: 0
3600.07/3602.91	c reason swapping (by a shorter reason)	: 0
3600.07/3602.91	c Calls to reduceDB	: 244
3600.07/3602.91	c Number of update (reduction) of LBD	: 22617948
3600.07/3602.91	c Imported unit clauses	: 0
3600.07/3602.91	c No decision after first conflict	: false
3600.07/3602.91	c number of reductions to clauses (during analyze)	: 0
3600.07/3602.91	c number of learned constraints concerned by reduction	: 0
3600.07/3602.91	c number of learning phase by resolution	: 0
3600.07/3602.91	c number of learning phase by cutting planes	: 0
3600.07/3602.91	c number of rounding to 1 operations	: 0
3600.07/3602.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3602.91	c number of reductions of the coefficients by power 2 	: 0
3600.07/3602.91	c number of right shift for reduction by power 2 	: 0
3600.07/3602.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3602.92	c number of ending skipping 	: 0
3600.07/3602.92	c number of internal skipping 	: 0
3600.07/3602.92	c number of derivation steps 	: 0
3600.07/3602.92	c number of skipped derivation steps 	: 0
3600.07/3602.92	c number of remaining unassigned 	: 0
3600.07/3602.92	c number of remaining assigned 	: 0
3600.07/3602.92	c number of falsified literals weakened from reason	: 0
3600.07/3602.92	c number of falsified literals weakened from conflict	: 0
3600.07/3602.92	c time for arithmetic operations	: 0
3600.07/3602.92	c minimum degree of deleted constraints	: null
3600.07/3602.92	c maximum degree of deleted constraints	: null
3600.07/3602.92	c number of deleted constraints	: 0
3600.07/3602.92	c speed (assignments/second)	: 208971.6466709098
3600.07/3602.92	c non guided choices	: 334
3600.07/3602.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 256266
3600.07/3602.99	s SATISFIABLE
3600.07/3602.99	c Found 1 solution(s)
3600.07/3602.99	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 x51 x52 x53 x54 x55 x56 -x57 -x58 -x59 -x60 -x61 x62 x63 x64 x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 
3600.07/3602.99	c objective function=6
3600.07/3602.99	c Total wall clock time (in seconds): 3602.867

Verifier Data 

OK	6

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61279 MiB free)
  memory of node 1: 64510 MiB (61292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449757-1721399504/watcher-4449757-1721399504 -o /tmp/evaluation-result-4449757-1721399504/solver-4449757-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987390 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4449757-1721399504.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
Current StackSize limit: 8192 KiB

solver pid=987573, runsolver pid=987570

[startup+0.101179 s]*
/proc/loadavg: 0.74 0.24 0.13 10/330 987591
/proc/meminfo: memFree=125470332/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=18975048 memory=62748 CPUtime=0.13 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 7214 0 0 0 12 1 0 0 20 0 18 0 192110941 19430449152 15687 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4743762 15687 5604 1 0 549319 0
[pid=987573/tid=987575] ppid=987570 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 5746 0 0 0 7 1 0 0 20 0 18 0 192110941 19430449152 15687 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192110944 19430449152 15687 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192110945 19430449152 15687 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62748 KiB

[startup+0.205947 s]*
/proc/loadavg: 0.74 0.24 0.13 10/330 987591
/proc/meminfo: memFree=125452888/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=18975048 memory=80688 CPUtime=0.33 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 7920 0 0 0 31 2 0 0 20 0 18 0 192110941 19430449152 20172 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4743762 20172 5882 1 0 549775 0
[pid=987573/tid=987575] ppid=987570 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) S 987570 987573 987379 0 -1 1077936192 5919 0 0 0 17 1 0 0 20 0 18 0 192110941 19430449152 20172 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=18975048 memory=14994 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192110944 19430449152 20172 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192110945 19430449152 20172 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80688 KiB

[startup+0.305753 s]*
/proc/loadavg: 0.74 0.24 0.13 11/331 987592
/proc/meminfo: memFree=125444900/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19041612 memory=84472 CPUtime=0.5 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 9295 0 0 0 48 2 0 0 20 0 19 0 192110941 19498610688 21118 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4760403 21118 5920 1 0 550964 0
[pid=987573/tid=987575] ppid=987570 vsize=19041612 memory=-9175632776996889276 CPUtime=0.26 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 6062 0 0 0 25 1 0 0 20 0 19 0 192110941 19498610688 21118 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192110944 19498610688 21118 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192110945 19498610688 21118 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192110966 19498610688 21118 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84472 KiB

[startup+0.701953 s]
/proc/loadavg: 0.74 0.24 0.13 12/331 987592
/proc/meminfo: memFree=125433960/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19041612 memory=100092 CPUtime=1.27 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 11147 0 0 0 124 3 0 0 20 0 19 0 192110941 19498610688 25023 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4760403 25023 5936 1 0 552143 0
[pid=987573/tid=987575] ppid=987570 vsize=19041612 memory=13012 CPUtime=0.65 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 6115 0 0 0 64 1 0 0 20 0 19 0 192110941 19498610688 25023 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19041612 memory=13012 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192110944 19498610688 25023 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192110945 19498610688 25023 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19041612 memory=26268 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192110966 19498610688 25023 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100092 KiB

[startup+1.50024 s]
/proc/loadavg: 0.74 0.24 0.13 9/331 987592
/proc/meminfo: memFree=125415152/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19041612 memory=116768 CPUtime=2.61 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 15176 0 0 0 258 3 0 0 20 0 19 0 192110941 19498610688 29192 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4760403 29192 5951 1 0 552668 0
[pid=987573/tid=987575] ppid=987570 vsize=19041612 memory=13012 CPUtime=1.45 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 6494 0 0 0 143 2 0 0 20 0 19 0 192110941 19498610688 29192 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192110944 19498610688 29192 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192110945 19498610688 29192 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192110966 19498610688 29192 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116768 KiB

[startup+3.10563 s]
/proc/loadavg: 0.74 0.24 0.13 5/331 987592
/proc/meminfo: memFree=125336604/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19041612 memory=149624 CPUtime=4.22 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 15747 0 0 0 418 4 0 0 20 0 19 0 192110941 19498610688 37406 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4760403 37406 5954 1 0 552670 0
[pid=987573/tid=987575] ppid=987570 vsize=19041612 memory=0 CPUtime=3.04 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 6733 0 0 0 302 2 0 0 20 0 19 0 192110941 19498610688 37406 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192110944 19498610688 37406 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19041612 memory=120864 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192110945 19498610688 37406 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19041612 memory=13012 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192110966 19498610688 37406 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149624 KiB

[startup+6.30023 s]
/proc/loadavg: 1.08 0.32 0.16 6/333 987594
/proc/meminfo: memFree=125271516/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=173600 CPUtime=7.46 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 19166 0 0 0 741 5 0 0 20 0 20 0 192110941 19566772224 43400 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 43400 5970 1 0 552959 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=13012 CPUtime=6.22 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 6980 0 0 0 619 3 0 0 20 0 20 0 192110941 19566772224 43400 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 43400 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=6012424706931644752 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 43400 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=5560 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 43400 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173600 KiB

[startup+12.7024 s]
/proc/loadavg: 1.47 0.41 0.19 5/334 987597
/proc/meminfo: memFree=125124972/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=188400 CPUtime=13.85 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 21495 0 0 0 1379 6 0 0 20 0 20 0 192110941 19566772224 47100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 47100 5986 1 0 552959 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=0 CPUtime=12.57 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 7691 0 0 0 1254 3 0 0 20 0 20 0 192110941 19566772224 47100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=188400 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 47100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 47100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2636 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 47100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188400 KiB

[startup+25.5003 s]
/proc/loadavg: 2.04 0.59 0.25 5/334 987665
/proc/meminfo: memFree=124627716/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=243964 CPUtime=26.66 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 25025 0 0 0 2658 8 0 0 20 0 20 0 192110941 19566772224 60991 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 60991 5986 1 0 552959 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=188400 CPUtime=25.25 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 8691 0 0 0 2522 3 0 0 20 0 20 0 192110941 19566772224 60991 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=2636 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 60991 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 60991 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=173600 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 60991 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 26.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243964 KiB

[startup+51.1057 s]
/proc/loadavg: 2.71 0.86 0.35 5/334 987670
/proc/meminfo: memFree=123918104/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=391864 CPUtime=52.26 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 29359 0 0 0 5214 12 0 0 20 0 20 0 192110941 19566772224 97966 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 97966 6002 1 0 552959 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=173600 CPUtime=50.58 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 10327 0 0 0 5054 4 0 0 20 0 20 0 192110941 19566772224 97966 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0

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

/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537099 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148356 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 4832 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537099 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148360 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537099 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3220.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.07 5/333 989219
/proc/meminfo: memFree=114646408/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148400 CPUtime=3280 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 157492 0 0 0 327862 138 0 0 20 0 20 0 192110941 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537100 6002 1 0 556431 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148400 CPUtime=3269.84 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 70731 0 0 0 326968 16 0 0 20 0 20 0 192110941 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 4927 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3280 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/333 989230
/proc/meminfo: memFree=114645636/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148400 CPUtime=3339.87 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 158630 0 0 0 333848 139 0 0 20 0 20 0 192110941 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537100 6002 1 0 556431 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148400 CPUtime=3329.69 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 71632 0 0 0 332953 16 0 0 20 0 20 0 192110941 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5071 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537100 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3339.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/335 989411
/proc/meminfo: memFree=114642376/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148412 CPUtime=3399.73 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 159893 0 0 0 339833 140 0 0 20 0 20 0 192110941 19566772224 537103 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537103 6002 1 0 556434 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148400 CPUtime=3389.52 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 72665 0 0 0 338936 16 0 0 20 0 20 0 192110941 19566772224 537103 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537103 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148404 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5159 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537103 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148412 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537103 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3399.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.18 4.08 5/335 989421
/proc/meminfo: memFree=114641616/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148432 CPUtime=3459.6 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 161362 0 0 0 345817 143 0 0 20 0 20 0 192110941 19566772224 537108 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537108 6002 1 0 556440 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148432 CPUtime=3449.36 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 73821 0 0 0 344919 17 0 0 20 0 20 0 192110941 19566772224 537108 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537108 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148400 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5303 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537108 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537108 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3459.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/336 989488
/proc/meminfo: memFree=114640640/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148476 CPUtime=3519.62 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 164365 0 0 0 351817 145 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537119 6002 1 0 556442 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148432 CPUtime=3509.07 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 74886 0 0 0 350890 17 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=2148412 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=1836 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5395 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148476 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3519.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/334 989499
/proc/meminfo: memFree=114639984/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148476 CPUtime=3579.5 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 166168 0 0 0 357804 146 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537119 6002 1 0 556442 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=2148476 CPUtime=3568.93 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 75829 0 0 0 356876 17 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=45336 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=1836 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5543 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148476 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3579.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.9 s]
/proc/loadavg: 4.14 4.16 4.09 5/334 989570
/proc/meminfo: memFree=119162884/131524600 swapFree=131071996/131071996
[pid=987573] ppid=987570 vsize=19108176 memory=2148476 CPUtime=3600.07 cores=4,6
/proc/987573/stat : 987573 (java) S 987570 987573 987379 0 -1 1077936128 166972 0 0 0 359860 147 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
/proc/987573/statm: 4777044 537119 6002 1 0 556442 0
[pid=987573/tid=987575] ppid=987570 vsize=19108176 memory=13012 CPUtime=3589.48 cores=4,6
/proc/987573/task/987575/stat : 987575 (java) R 987570 987573 987379 0 -1 4194368 76490 0 0 0 358931 17 0 0 20 0 20 0 192110941 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987584] ppid=987570 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/987573/task/987584/stat : 987584 (Finalizer) S 987570 987573 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110944 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987591] ppid=987570 vsize=19108176 memory=2148476 CPUtime=0 cores=4,6
/proc/987573/task/987591/stat : 987591 (Common-Cleaner) S 987570 987573 987379 0 -1 1077936192 5543 0 0 0 0 0 0 0 20 0 20 0 192110945 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
[pid=987573/tid=987592] ppid=987570 vsize=19108176 memory=2148476 CPUtime=0 cores=4,6
/proc/987573/task/987592/stat : 987592 (Timer-0) S 987570 987573 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110966 19566772224 537119 134679101440 94877303869440 94877303873136 140729042494832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94877303880952 94877303881744 94877308805120 140729042498566 140729042498656 140729042498656 140729042505672 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2148476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.49118 s

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

[startup+3603.01 s]*
/proc/loadavg: 4.14 4.16 4.09 5/316 989573
/proc/meminfo: memFree=121227932/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3603.02
CPU time (s): 3600.27
CPU user time (s): 3598.78
CPU system time (s): 1.49118
CPU usage (%): 99.9239
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2148476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.49118
maximum resident set size= 2150188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103600
involuntary context switches= 2981


# summary of solver processes directly reported to runsolver:
#   pid: 987573
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.49118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54438 second user time and 18.1877 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 16:31:55
IDJOB=4449757
IDBENCH=176105
IDSOLVER=3058
FILE ID=nodeC016/4449757-1721399504
RUNJOBID= nodeC016-1721399514-987390
SLURM_JOB_ID= 7545428
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449757-1721399504/watcher-4449757-1721399504 -o /tmp/evaluation-result-4449757-1721399504/solver-4449757-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987390 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4449757-1721399504.opb

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

MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=976194533

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125516568 kB
MemAvailable:   129274792 kB
Buffers:          388300 kB
Cached:          4211880 kB
SwapCached:            0 kB
Active:           642956 kB
Inactive:        4745852 kB
Active(anon):       1544 kB
Inactive(anon):   832648 kB
Active(file):     641412 kB
Inactive(file):  3913204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11324 kB
Writeback:             0 kB
AnonPages:        787216 kB
Mapped:           127324 kB
Shmem:             45912 kB
KReclaimable:      86512 kB
Slab:             197632 kB
SReclaimable:      86512 kB
SUnreclaim:       111120 kB
KernelStack:        5024 kB
PageTables:        11508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7241944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72160 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-19 17:31:59