Trace number 4445234

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.17 3596.92

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
MD5SUMf50ea280ec2253a5ba14d185d456771a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.009094
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables86
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint86
Maximum length of a constraint86
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 45094584
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 553509859
Number of bits of the biggest sum of numbers30
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	No reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c No reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4445234-1721320696.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c  no objective function found
0.14/0.14	c ... done. Wall clock time 0.009s.
0.14/0.14	c declared #vars     86
0.14/0.14	c #constraints  2
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.14/0.14	c 2 constraints processed.
0.70/0.44	c cleaning 2501 clauses out of 5001 with flag 10008/5001
1.28/0.72	c cleaning 4250 clauses out of 8499 with flag 22013/11000
1.49/0.89	c cleaning 5625 clauses out of 11249 with flag 36016/18000
1.83/1.05	c cleaning 6813 clauses out of 13625 with flag 52018/26001
2.11/1.21	c cleaning 7907 clauses out of 15813 with flag 70026/35002
2.39/1.40	c cleaning 8951 clauses out of 17906 with flag 90029/45002
2.64/1.60	c cleaning 9971 clauses out of 19953 with flag 112028/56000
2.84/1.83	c cleaning 10992 clauses out of 21983 with flag 136031/68001
3.04/2.07	c cleaning 11995 clauses out of 23991 with flag 162037/81001
3.34/2.33	c cleaning 12998 clauses out of 25995 with flag 190036/95000
3.64/2.60	c cleaning 13998 clauses out of 27999 with flag 220044/110002
3.97/2.91	c cleaning 14999 clauses out of 29999 with flag 252046/126000
4.27/3.26	c cleaning 15999 clauses out of 32000 with flag 286065/143000
4.73/3.66	c cleaning 16998 clauses out of 34002 with flag 322104/161001
5.13/4.08	c cleaning 17997 clauses out of 36003 with flag 360115/180000
5.63/4.57	c cleaning 19002 clauses out of 38006 with flag 400123/200000
6.22/5.13	c cleaning 20003 clauses out of 40005 with flag 442137/221001
6.81/5.76	c cleaning 20998 clauses out of 42001 with flag 486145/243000
7.41/6.34	c cleaning 21999 clauses out of 44003 with flag 532159/266000
8.01/6.91	c cleaning 23002 clauses out of 46004 with flag 580203/290000
8.70/7.60	c cleaning 24001 clauses out of 48003 with flag 630294/315001
9.30/8.24	c cleaning 25002 clauses out of 50004 with flag 682345/341003
10.04/8.97	c cleaning 26001 clauses out of 52001 with flag 736407/368002
10.63/9.58	c cleaning 26997 clauses out of 54000 with flag 792440/396002
11.32/10.29	c cleaning 27998 clauses out of 56002 with flag 850474/425001
12.12/11.03	c cleaning 29001 clauses out of 58004 with flag 910505/455001
12.92/11.84	c cleaning 29999 clauses out of 60003 with flag 972548/486001
13.61/12.59	c cleaning 31003 clauses out of 62005 with flag 1036589/518002
14.41/13.35	c cleaning 31997 clauses out of 64002 with flag 1102610/551002
15.24/14.14	c cleaning 33000 clauses out of 66004 with flag 1170626/585001
16.24/15.18	c cleaning 34001 clauses out of 68003 with flag 1240637/620000
17.24/16.14	c cleaning 34998 clauses out of 70002 with flag 1312676/656000
18.47/17.30	c cleaning 36002 clauses out of 72004 with flag 1386707/693000
19.47/18.31	c cleaning 36994 clauses out of 74002 with flag 1462744/731000
20.37/19.29	c cleaning 38004 clauses out of 76009 with flag 1540768/770001
21.77/20.67	c cleaning 38998 clauses out of 78005 with flag 1620807/810001
22.87/21.78	c cleaning 39999 clauses out of 80007 with flag 1702832/851001
24.07/22.91	c cleaning 41003 clauses out of 82007 with flag 1786963/893000
25.10/23.92	c cleaning 41999 clauses out of 84004 with flag 1872980/936000
26.20/25.07	c cleaning 43000 clauses out of 86006 with flag 1961021/980001
27.70/26.52	c cleaning 43997 clauses out of 88007 with flag 2051085/1025002
29.11/27.96	c cleaning 45002 clauses out of 90010 with flag 2143123/1071002
30.51/29.36	c cleaning 45998 clauses out of 92006 with flag 2237187/1118000
32.13/30.97	c cleaning 47000 clauses out of 94008 with flag 2333351/1166000
34.23/33.07	c cleaning 48000 clauses out of 96008 with flag 2431420/1215000
36.17/34.93	c cleaning 49005 clauses out of 98010 with flag 2531574/1265002
37.86/36.67	c cleaning 50002 clauses out of 100003 with flag 2633601/1316000
39.76/38.51	c cleaning 50999 clauses out of 102001 with flag 2737684/1368000
41.70/40.40	c cleaning 52001 clauses out of 104003 with flag 2843775/1421001
43.30/42.05	c cleaning 53000 clauses out of 106001 with flag 2951809/1475000
45.12/43.80	c cleaning 53998 clauses out of 108001 with flag 3061816/1530000
46.62/45.31	c cleaning 54993 clauses out of 110003 with flag 3173818/1586000
48.21/46.91	c cleaning 56002 clauses out of 112012 with flag 3287825/1643002
49.71/48.48	c cleaning 57003 clauses out of 114009 with flag 3403826/1701001
51.61/50.32	c cleaning 58003 clauses out of 116006 with flag 3521833/1760001
53.43/52.15	c cleaning 59000 clauses out of 118003 with flag 3641840/1820001
55.12/53.87	c cleaning 59999 clauses out of 120003 with flag 3763847/1881001
57.22/56.00	c cleaning 60995 clauses out of 122003 with flag 3887855/1943000
59.24/57.96	c cleaning 62003 clauses out of 124008 with flag 4013874/2006000
61.44/60.18	c cleaning 63000 clauses out of 126005 with flag 4141890/2070000
64.23/62.90	c cleaning 64003 clauses out of 128005 with flag 4271907/2135000
66.63/65.37	c cleaning 64998 clauses out of 130002 with flag 4403942/2201000
68.93/67.63	c cleaning 65999 clauses out of 132006 with flag 4537991/2268002
71.06/69.72	c cleaning 67002 clauses out of 134008 with flag 4674010/2336003
73.93/72.64	c cleaning 68000 clauses out of 136003 with flag 4812063/2405000
76.12/74.89	c cleaning 68997 clauses out of 138003 with flag 4952123/2475000
78.75/77.45	c cleaning 69995 clauses out of 140006 with flag 5094131/2546000
81.14/79.89	c cleaning 71001 clauses out of 142011 with flag 5238141/2618000
83.62/82.38	c cleaning 72005 clauses out of 144011 with flag 5384158/2691001
86.59/85.39	c cleaning 73003 clauses out of 146005 with flag 5532200/2765000
89.97/88.77	c cleaning 73997 clauses out of 148003 with flag 5682237/2840001
92.70/91.48	c cleaning 75000 clauses out of 150005 with flag 5834263/2916000
95.57/94.35	c cleaning 76000 clauses out of 152005 with flag 5988270/2993000
99.46/98.27	c cleaning 76999 clauses out of 154007 with flag 6144301/3071002
102.05/100.89	c cleaning 78004 clauses out of 156008 with flag 6302336/3150002
104.85/103.61	c cleaning 78997 clauses out of 158003 with flag 6462347/3230001
107.65/106.42	c cleaning 79999 clauses out of 160006 with flag 6624352/3311001
110.24/109.00	c cleaning 80997 clauses out of 162006 with flag 6788353/3393000
112.84/111.60	c cleaning 81999 clauses out of 164009 with flag 6954383/3476000
116.90/115.11	c cleaning 83003 clauses out of 166010 with flag 7122399/3560000
119.89/118.13	c cleaning 83998 clauses out of 168007 with flag 7292401/3645000
123.47/121.70	c cleaning 85001 clauses out of 170009 with flag 7464408/3731000
126.47/124.78	c cleaning 86001 clauses out of 172009 with flag 7638418/3818001
129.87/128.11	c cleaning 87001 clauses out of 174007 with flag 7814418/3906000
133.41/131.68	c cleaning 88001 clauses out of 176006 with flag 7992433/3995000
136.81/135.06	c cleaning 89003 clauses out of 178006 with flag 8172465/4085001
140.40/138.64	c cleaning 90003 clauses out of 180005 with flag 8354515/4176003
144.69/142.91	c cleaning 90987 clauses out of 181999 with flag 8538676/4268000
148.05/146.27	c cleaning 92005 clauses out of 184012 with flag 8724676/4361000
151.85/150.05	c cleaning 92998 clauses out of 186007 with flag 8912677/4455000
156.64/154.87	c cleaning 94003 clauses out of 188009 with flag 9102679/4550000
160.03/158.28	c cleaning 95003 clauses out of 190007 with flag 9294683/4646001
163.33/161.55	c cleaning 95998 clauses out of 192003 with flag 9488689/4743000
167.39/165.55	c cleaning 97001 clauses out of 194005 with flag 9684694/4841000
172.09/170.21	c cleaning 98002 clauses out of 196005 with flag 9882700/4940001
176.78/174.90	c cleaning 98994 clauses out of 198002 with flag 10082704/5040000
179.99/178.20	c cleaning 99999 clauses out of 200009 with flag 10284706/5141001
183.47/181.68	c cleaning 101002 clauses out of 202010 with flag 10488706/5243001
187.44/185.52	c cleaning 101998 clauses out of 204007 with flag 10694704/5346000
191.73/189.84	c cleaning 103002 clauses out of 206009 with flag 10902704/5450000
196.93/195.04	c cleaning 104003 clauses out of 208007 with flag 11112704/5555000
202.71/200.82	c cleaning 104999 clauses out of 210005 with flag 11324710/5661001
207.21/205.35	c cleaning 105998 clauses out of 212006 with flag 11538713/5768001
211.10/209.30	c cleaning 107004 clauses out of 214008 with flag 11754713/5876001
215.79/213.87	c cleaning 107999 clauses out of 216003 with flag 11972711/5985000
221.29/219.35	c cleaning 108999 clauses out of 218005 with flag 12192713/6095001
227.18/225.26	c cleaning 110000 clauses out of 220005 with flag 12414714/6206000
231.47/229.55	c cleaning 110999 clauses out of 222005 with flag 12638721/6318000
237.36/235.49	c cleaning 111999 clauses out of 224008 with flag 12864744/6431002
242.15/240.23	c cleaning 112997 clauses out of 226007 with flag 13092748/6545000
247.20/245.20	c cleaning 114001 clauses out of 228010 with flag 13322751/6660000
251.49/249.58	c cleaning 115002 clauses out of 230010 with flag 13554755/6776001
256.18/254.20	c cleaning 116002 clauses out of 232009 with flag 13788764/6893002
260.99/259.05	c cleaning 117002 clauses out of 234005 with flag 14024760/7011000
267.31/264.91	c cleaning 117995 clauses out of 236004 with flag 14262762/7130001
271.60/269.29	c cleaning 119000 clauses out of 238008 with flag 14502761/7250000
276.30/273.96	c cleaning 120001 clauses out of 240010 with flag 14744776/7371002
282.09/279.74	c cleaning 121003 clauses out of 242007 with flag 14988773/7493000
289.12/286.74	c cleaning 122003 clauses out of 244006 with flag 15234777/7616002
294.48/292.13	c cleaning 122999 clauses out of 246002 with flag 15482781/7740001
299.54/297.23	c cleaning 123997 clauses out of 248002 with flag 15732779/7865000
304.40/302.16	c cleaning 125000 clauses out of 250005 with flag 15984781/7991000
309.36/307.17	c cleaning 126001 clauses out of 252006 with flag 16238783/8118001
317.00/314.89	c cleaning 126999 clauses out of 254004 with flag 16494878/8246000
323.23/321.02	c cleaning 127998 clauses out of 256006 with flag 16752903/8375001
328.82/326.66	c cleaning 128998 clauses out of 258007 with flag 17012912/8505000
335.00/332.82	c cleaning 130002 clauses out of 260010 with flag 17274914/8636001
343.20/341.02	c cleaning 131000 clauses out of 262008 with flag 17538914/8768001
350.38/348.27	c cleaning 131998 clauses out of 264007 with flag 17804916/8901000
356.18/354.06	c cleaning 132998 clauses out of 266009 with flag 18072920/9035000
361.65/359.42	c cleaning 133999 clauses out of 268011 with flag 18342920/9170000
367.94/365.75	c cleaning 135006 clauses out of 270013 with flag 18614923/9306001
374.94/372.71	c cleaning 136004 clauses out of 272007 with flag 18888925/9443001
380.92/378.70	c cleaning 136995 clauses out of 274002 with flag 19164946/9581000
387.32/385.14	c cleaning 138000 clauses out of 276007 with flag 19442946/9720000
393.10/390.90	c cleaning 139002 clauses out of 278007 with flag 19722948/9860000
399.55/397.38	c cleaning 139999 clauses out of 280005 with flag 20004948/10001000
406.04/403.80	c cleaning 141000 clauses out of 282006 with flag 20288948/10143000
412.83/410.67	c cleaning 141999 clauses out of 284006 with flag 20574949/10286000
420.71/418.54	c cleaning 143000 clauses out of 286007 with flag 20862950/10430000
427.30/425.13	c cleaning 144005 clauses out of 288009 with flag 21152974/10575002
435.66/433.48	c cleaning 144998 clauses out of 290003 with flag 21444975/10721001
442.85/440.67	c cleaning 145994 clauses out of 292004 with flag 21738974/10868000
451.34/449.17	c cleaning 147006 clauses out of 294011 with flag 22034976/11016001
461.12/458.96	c cleaning 148003 clauses out of 296005 with flag 22332977/11165001
467.70/465.59	c cleaning 148994 clauses out of 298002 with flag 22632977/11315001
473.81/471.53	c cleaning 149998 clauses out of 300007 with flag 22934975/11466000
480.31/478.05	c cleaning 151002 clauses out of 302010 with flag 23238977/11618001
488.69/486.45	c cleaning 152003 clauses out of 304008 with flag 23545043/11771001
496.38/494.18	c cleaning 153002 clauses out of 306005 with flag 23853047/11925001
503.36/501.12	c cleaning 153996 clauses out of 308003 with flag 24163052/12080001
511.15/508.89	c cleaning 154995 clauses out of 310007 with flag 24475060/12236001
518.04/515.71	c cleaning 156002 clauses out of 312013 with flag 24789063/12393002
525.03/522.74	c cleaning 156999 clauses out of 314009 with flag 25105060/12551000
531.62/529.32	c cleaning 157999 clauses out of 316010 with flag 25423061/12710000
540.38/537.52	c cleaning 158998 clauses out of 318012 with flag 25743072/12870001
548.67/545.87	c cleaning 159999 clauses out of 320013 with flag 26065075/13031000
556.95/554.13	c cleaning 161000 clauses out of 322014 with flag 26389080/13193000
564.81/561.97	c cleaning 162001 clauses out of 324014 with flag 26715081/13356000
574.20/571.38	c cleaning 163002 clauses out of 326014 with flag 27043084/13520001
582.48/579.60	c cleaning 164004 clauses out of 328011 with flag 27373087/13685000
589.47/586.62	c cleaning 165003 clauses out of 330007 with flag 27705088/13851000
598.95/596.14	c cleaning 165994 clauses out of 332004 with flag 28039090/14018000
609.14/606.37	c cleaning 167000 clauses out of 334011 with flag 28375092/14186001
617.64/614.88	c cleaning 168002 clauses out of 336010 with flag 28713090/14355000
626.77/624.10	c cleaning 168999 clauses out of 338008 with flag 29053091/14525000
635.70/633.07	c cleaning 169997 clauses out of 340010 with flag 29395093/14696001
644.52/641.93	c cleaning 171002 clauses out of 342013 with flag 29739094/14868001
654.04/651.53	c cleaning 172003 clauses out of 344011 with flag 30085095/15041001
664.77/662.36	c cleaning 173002 clauses out of 346008 with flag 30433095/15215001
673.20/670.73	c cleaning 174000 clauses out of 348005 with flag 30783094/15390000
683.19/680.76	c cleaning 174996 clauses out of 350005 with flag 31135094/15566000
693.77/691.37	c cleaning 176003 clauses out of 352010 with flag 31489097/15743001
708.94/706.55	c cleaning 177001 clauses out of 354007 with flag 31845098/15921001
717.32/714.98	c cleaning 178003 clauses out of 356005 with flag 32203096/16100000
728.52/726.13	c cleaning 178996 clauses out of 358002 with flag 32563097/16280000
739.69/737.37	c cleaning 180003 clauses out of 360006 with flag 32925109/16461000
750.48/748.16	c cleaning 180990 clauses out of 362003 with flag 33289111/16643000
761.98/759.60	c cleaning 182000 clauses out of 364014 with flag 33655119/16826001
772.27/769.94	c cleaning 183001 clauses out of 366014 with flag 34023120/17010001
786.04/783.77	c cleaning 183998 clauses out of 368012 with flag 34393137/17195000
802.71/800.42	c cleaning 184998 clauses out of 370014 with flag 34765163/17381000
813.70/811.45	c cleaning 186006 clauses out of 372017 with flag 35139182/17568001
821.98/819.73	c cleaning 187005 clauses out of 374010 with flag 35515181/17756000
832.66/830.42	c cleaning 187997 clauses out of 376007 with flag 35893219/17945002
841.75/839.54	c cleaning 189004 clauses out of 378008 with flag 36273225/18135000
855.16/852.87	c cleaning 189998 clauses out of 380005 with flag 36655260/18326001
864.95/862.68	c cleaning 191001 clauses out of 382007 with flag 37039265/18518001
876.92/874.64	c cleaning 192001 clauses out of 384006 with flag 37425266/18711001
887.60/885.35	c cleaning 192999 clauses out of 386005 with flag 37813278/18905001
899.68/897.47	c cleaning 193995 clauses out of 388005 with flag 38203276/19100000
914.92/912.57	c cleaning 195003 clauses out of 390011 with flag 38595284/19296001
927.79/925.48	c cleaning 195998 clauses out of 392008 with flag 38989295/19493001
939.18/936.87	c cleaning 196998 clauses out of 394009 with flag 39385298/19691000
952.05/949.77	c cleaning 198003 clauses out of 396011 with flag 39783299/19890000
963.64/961.34	c cleaning 198999 clauses out of 398009 with flag 40183366/20090001
979.22/976.27	c cleaning 200000 clauses out of 400009 with flag 40585367/20291000
992.30/989.36	c cleaning 201004 clauses out of 402009 with flag 40989388/20493000
1003.58/1000.64	c cleaning 201995 clauses out of 404006 with flag 41395398/20696001
1015.54/1012.69	c cleaning 203002 clauses out of 406011 with flag 41803401/20900001
1028.32/1025.42	c cleaning 204002 clauses out of 408009 with flag 42213409/21105001
1040.81/1038.00	c cleaning 204995 clauses out of 410006 with flag 42625413/21311000
1054.78/1051.92	c cleaning 205999 clauses out of 412012 with flag 43039427/21518001
1071.65/1068.85	c cleaning 207004 clauses out of 414015 with flag 43455437/21726003
1083.46/1080.59	c cleaning 207998 clauses out of 416008 with flag 43873431/21935000
1096.04/1093.19	c cleaning 208996 clauses out of 418010 with flag 44293432/22145000
1107.41/1104.56	c cleaning 210002 clauses out of 420014 with flag 44715433/22356000
1119.49/1116.68	c cleaning 211000 clauses out of 422012 with flag 45139433/22568000
1133.11/1130.16	c cleaning 211999 clauses out of 424012 with flag 45565434/22781000
1148.19/1145.29	c cleaning 213004 clauses out of 426014 with flag 45993440/22995001
1162.85/1159.91	c cleaning 214000 clauses out of 428011 with flag 46423446/23210002
1180.72/1177.83	c cleaning 214995 clauses out of 430009 with flag 46855444/23426000
1193.97/1190.99	c cleaning 216000 clauses out of 432014 with flag 47289464/23643000
1208.85/1205.80	c cleaning 217003 clauses out of 434014 with flag 47725466/23861000
1221.18/1218.26	c cleaning 217996 clauses out of 436012 with flag 48163470/24080001
1236.04/1232.45	c cleaning 219005 clauses out of 438015 with flag 48603471/24300000
1249.11/1245.54	c cleaning 220001 clauses out of 440011 with flag 49045556/24521001
1264.27/1260.69	c cleaning 221005 clauses out of 442009 with flag 49489641/24743000
1278.55/1274.92	c cleaning 221997 clauses out of 444004 with flag 49935656/24966000
1290.63/1287.02	c cleaning 222996 clauses out of 446008 with flag 50383659/25190001
1304.37/1300.79	c cleaning 224001 clauses out of 448011 with flag 50833657/25415000
1316.24/1312.60	c cleaning 225003 clauses out of 450012 with flag 51285670/25641002
1329.51/1325.90	c cleaning 225996 clauses out of 452008 with flag 51739671/25868001
1343.89/1340.39	c cleaning 226999 clauses out of 454011 with flag 52195671/26096000
1362.49/1358.84	c cleaning 228003 clauses out of 456013 with flag 52653675/26325001
1378.96/1375.38	c cleaning 229003 clauses out of 458011 with flag 53113681/26555002
1400.22/1396.64	c cleaning 229992 clauses out of 460006 with flag 53575678/26786000
1415.91/1412.29	c cleaning 231003 clauses out of 462015 with flag 54039684/27018001
1431.99/1428.41	c cleaning 232001 clauses out of 464011 with flag 54505682/27251000
1448.56/1445.10	c cleaning 233000 clauses out of 466011 with flag 54973685/27485001
1462.14/1458.32	c cleaning 234001 clauses out of 468010 with flag 55443684/27720000
1478.56/1474.83	c cleaning 234997 clauses out of 470009 with flag 55915685/27956000
1494.51/1490.75	c cleaning 236005 clauses out of 472013 with flag 56389693/28193001
1521.56/1517.83	c cleaning 236999 clauses out of 474007 with flag 56865694/28431000
1537.64/1533.94	c cleaning 238000 clauses out of 476009 with flag 57343698/28670001
1554.35/1550.51	c cleaning 239004 clauses out of 478009 with flag 57823700/28910001
1572.63/1568.89	c cleaning 239997 clauses out of 480005 with flag 58305700/29151001
1591.64/1587.89	c cleaning 240997 clauses out of 482007 with flag 58789698/29393000
1613.84/1610.04	c cleaning 241998 clauses out of 484011 with flag 59275702/29636001
1636.89/1633.24	c cleaning 243002 clauses out of 486014 with flag 59763710/29880002
1661.63/1658.18	c cleaning 244003 clauses out of 488011 with flag 60253710/30125001
1678.79/1675.49	c cleaning 245000 clauses out of 490010 with flag 60745714/30371003
1695.19/1691.69	c cleaning 246001 clauses out of 492007 with flag 61239708/30618000
1712.25/1708.81	c cleaning 247000 clauses out of 494006 with flag 61735709/30866000
1735.65/1732.39	c cleaning 247999 clauses out of 496006 with flag 62233710/31115000
1750.23/1747.10	c cleaning 249000 clauses out of 498007 with flag 62733713/31365000
1766.40/1762.69	c cleaning 250003 clauses out of 500007 with flag 63235713/31616000
1784.39/1780.69	c cleaning 251000 clauses out of 502005 with flag 63739716/31868001
1800.08/1796.31	c cleaning 252003 clauses out of 504005 with flag 64245717/32121001
1816.74/1813.02	c cleaning 252990 clauses out of 506002 with flag 64753719/32375001
1837.20/1833.56	c cleaning 254000 clauses out of 508012 with flag 65263720/32630001
1858.63/1854.90	c cleaning 255003 clauses out of 510011 with flag 65775731/32886000
1884.69/1881.09	c cleaning 255998 clauses out of 512008 with flag 66289734/33143000
1911.03/1907.46	c cleaning 257004 clauses out of 514013 with flag 66805741/33401003
1930.29/1926.71	c cleaning 258001 clauses out of 516007 with flag 67323760/33660001
1948.14/1944.41	c cleaning 258993 clauses out of 518005 with flag 67843760/33920000
1965.00/1961.33	c cleaning 259999 clauses out of 520013 with flag 68365762/34181001
1983.07/1979.41	c cleaning 261002 clauses out of 522013 with flag 68889812/34443000
2002.34/1998.68	c cleaning 261999 clauses out of 524011 with flag 69415815/34706000
2022.51/2018.85	c cleaning 262999 clauses out of 526014 with flag 69943849/34970002
2048.61/2044.90	c cleaning 264003 clauses out of 528013 with flag 70473860/35235000
2070.26/2066.68	c cleaning 265003 clauses out of 530011 with flag 71005870/35501001
2095.09/2090.78	c cleaning 266001 clauses out of 532007 with flag 71539870/35768000
2116.25/2111.96	c cleaning 266999 clauses out of 534006 with flag 72075883/36036000
2138.40/2134.02	c cleaning 268001 clauses out of 536007 with flag 72613890/36305000
2157.97/2153.68	c cleaning 269003 clauses out of 538007 with flag 73153907/36575001
2181.75/2177.33	c cleaning 269993 clauses out of 540003 with flag 73695909/36846000
2203.71/2199.36	c cleaning 271004 clauses out of 542011 with flag 74239926/37118001
2234.35/2229.98	c cleaning 272000 clauses out of 544006 with flag 74785951/37391000
2253.52/2249.17	c cleaning 272998 clauses out of 546006 with flag 75333956/37665000
2279.38/2275.09	c cleaning 273993 clauses out of 548008 with flag 75883967/37940000
2304.76/2300.40	c cleaning 274999 clauses out of 550016 with flag 76435976/38216001
2327.62/2323.36	c cleaning 276007 clauses out of 552017 with flag 76989988/38493001
2349.80/2345.40	c cleaning 277002 clauses out of 554011 with flag 77545998/38771002
2371.46/2367.11	c cleaning 277991 clauses out of 556007 with flag 78104001/39050000
2399.72/2395.42	c cleaning 279009 clauses out of 558017 with flag 78664012/39330001
2423.54/2419.27	c cleaning 280004 clauses out of 560009 with flag 79226014/39611002
2448.10/2443.85	c cleaning 280999 clauses out of 562003 with flag 79790013/39893000
2480.45/2475.58	c cleaning 281998 clauses out of 564006 with flag 80356018/40176002
2503.16/2498.48	c cleaning 283000 clauses out of 566006 with flag 80924032/40460000
2529.42/2524.87	c cleaning 283996 clauses out of 568006 with flag 81494036/40745000
2551.53/2547.08	c cleaning 285003 clauses out of 570010 with flag 82066038/41031000
2574.44/2570.16	c cleaning 286002 clauses out of 572007 with flag 82640038/41318000
2596.30/2592.14	c cleaning 286999 clauses out of 574006 with flag 83216045/41606001
2621.10/2617.18	c cleaning 288002 clauses out of 576007 with flag 83794045/41895001
2644.08/2640.20	c cleaning 289001 clauses out of 578005 with flag 84374049/42185001
2664.42/2660.70	c cleaning 289996 clauses out of 580003 with flag 84956047/42476000
2696.54/2692.85	c cleaning 291001 clauses out of 582007 with flag 85540051/42768000
2724.30/2720.62	c cleaning 291997 clauses out of 584006 with flag 86126055/43061000
2745.88/2742.10	c cleaning 292995 clauses out of 586009 with flag 86714057/43355000
2767.44/2763.79	c cleaning 294002 clauses out of 588016 with flag 87304062/43650002
2790.18/2786.48	c cleaning 295002 clauses out of 590014 with flag 87896062/43946002
2814.75/2811.08	c cleaning 296002 clauses out of 592011 with flag 88490065/44243001
2850.66/2846.50	c cleaning 296998 clauses out of 594009 with flag 89086068/44541001
2873.48/2869.48	c cleaning 298002 clauses out of 596011 with flag 89684068/44840001
2898.08/2894.27	c cleaning 299003 clauses out of 598008 with flag 90284066/45140000
2922.02/2918.40	c cleaning 300003 clauses out of 600007 with flag 90886070/45441002
2954.55/2951.17	c cleaning 300994 clauses out of 602002 with flag 91490068/45743000
2981.20/2977.81	c cleaning 302001 clauses out of 604009 with flag 92096073/46046001
3005.86/3002.54	c cleaning 303003 clauses out of 606007 with flag 92704074/46350000
3030.60/3027.15	c cleaning 303995 clauses out of 608004 with flag 93314081/46655000
3059.15/3055.73	c cleaning 305004 clauses out of 610013 with flag 93926092/46961004
3079.57/3076.08	c cleaning 305998 clauses out of 612006 with flag 94540098/47268001
3103.62/3100.12	c cleaning 306997 clauses out of 614007 with flag 95156101/47576000
3129.35/3125.89	c cleaning 307999 clauses out of 616010 with flag 95774101/47885000
3153.32/3149.85	c cleaning 309001 clauses out of 618011 with flag 96394104/48195000
3186.40/3182.95	c cleaning 309999 clauses out of 620010 with flag 97016106/48506000
3208.78/3204.57	c cleaning 311004 clauses out of 622011 with flag 97640106/48818000
3230.70/3226.57	c cleaning 311997 clauses out of 624007 with flag 98266120/49131000
3260.86/3256.86	c cleaning 313000 clauses out of 626011 with flag 98894126/49445001
3285.55/3281.80	c cleaning 314002 clauses out of 628011 with flag 99524130/49760001
3311.83/3308.29	c cleaning 314995 clauses out of 630008 with flag 100156134/50076000
3343.14/3339.77	c cleaning 316003 clauses out of 632013 with flag 100790148/50393000
3366.44/3363.29	c cleaning 317002 clauses out of 634010 with flag 101426157/50711000
3400.84/3397.86	c cleaning 318000 clauses out of 636009 with flag 102064163/51030001
3430.40/3427.62	c cleaning 318996 clauses out of 638008 with flag 102704162/51350000
3457.88/3455.11	c cleaning 319998 clauses out of 640012 with flag 103346174/51671000
3485.64/3482.90	c cleaning 321005 clauses out of 642014 with flag 103990179/51993000
3533.49/3530.83	c cleaning 322000 clauses out of 644009 with flag 104636192/52316000
3558.56/3555.98	c cleaning 322994 clauses out of 646009 with flag 105284192/52640000
3585.67/3582.44	c cleaning 323999 clauses out of 648016 with flag 105934196/52965001
3600.00/3596.82	c starts		: 1
3600.00/3596.82	c timeout
3600.00/3596.82	c conflicts		: 53278738
3600.00/3596.82	c decisions		: 53279458
3600.00/3596.82	c propagations		: 256708188
3600.00/3596.82	c inspects		: 11896676326
3600.00/3596.82	c shortcuts		: 0
3600.00/3596.82	c learnt literals	: 0
3600.00/3596.82	c learnt binary clauses	: 0
3600.00/3596.82	c learnt ternary clauses	: 0
3600.00/3596.82	c learnt constraints	: 53278738
3600.00/3596.82	c ignored constraints	: 0
3600.00/3596.82	c root simplifications	: 0
3600.00/3596.82	c removed literals (reason simplification)	: 0
3600.00/3596.82	c reason swapping (by a shorter reason)	: 0
3600.00/3596.82	c Calls to reduceDB	: 321
3600.00/3596.82	c Number of update (reduction) of LBD	: 2082
3600.00/3596.82	c Imported unit clauses	: 0
3600.00/3596.82	c No decision after first conflict	: false
3600.00/3596.82	c number of reductions to clauses (during analyze)	: 0
3600.00/3596.82	c number of learned constraints concerned by reduction	: 0
3600.00/3596.82	c number of learning phase by resolution	: 0
3600.00/3596.82	c number of learning phase by cutting planes	: 0
3600.00/3596.82	c number of rounding to 1 operations	: 0
3600.00/3596.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3596.82	c number of reductions of the coefficients by power 2 	: 0
3600.00/3596.82	c number of right shift for reduction by power 2 	: 0
3600.00/3596.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3596.82	c number of ending skipping 	: 0
3600.00/3596.82	c number of internal skipping 	: 0
3600.00/3596.82	c number of derivation steps 	: 0
3600.00/3596.82	c number of skipped derivation steps 	: 0
3600.00/3596.82	c number of remaining unassigned 	: 0
3600.00/3596.82	c number of remaining assigned 	: 0
3600.00/3596.82	c number of falsified literals weakened from reason	: 0
3600.00/3596.82	c number of falsified literals weakened from conflict	: 0
3600.00/3596.82	c time for arithmetic operations	: 0
3600.00/3596.82	c minimum degree of deleted constraints	: null
3600.00/3596.82	c maximum degree of deleted constraints	: null
3600.00/3596.82	c number of deleted constraints	: 0
3600.00/3596.83	c speed (assignments/second)	: 71373.6325239853
3600.00/3596.83	c non guided choices	: 74
3600.00/3596.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 637754
3600.00/3596.90	s UNKNOWN
3600.00/3596.90	c Total wall clock time (in seconds): 3596.765

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=940615, runsolver pid=940612

[startup+0.104411 s]*
/proc/loadavg: 4.28 4.19 4.11 5/329 940633
/proc/meminfo: memFree=118470476/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=18975048 memory=65008 CPUtime=0.14 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 7183 0 0 0 12 2 0 0 20 0 18 0 184230173 19430449152 16252 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4743762 16252 5689 1 0 549299 0
[pid=940615/tid=940617] ppid=940612 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 5726 0 0 0 7 1 0 0 20 0 18 0 184230173 19430449152 16252 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184230176 19430449152 16252 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184230176 19430449152 16252 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65008 KiB

[startup+0.212393 s]*
/proc/loadavg: 4.28 4.19 4.11 7/330 940634
/proc/meminfo: memFree=118465292/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19041612 memory=70352 CPUtime=0.33 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 8323 0 0 0 31 2 0 0 20 0 19 0 184230173 19498610688 17588 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4760403 17588 5814 1 0 550167 0
[pid=940615/tid=940617] ppid=940612 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 5940 0 0 0 17 1 0 0 20 0 19 0 184230173 19498610688 17588 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19041612 memory=14994 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 17588 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 17588 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184230187 19498610688 17588 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70352 KiB

[startup+0.306391 s]*
/proc/loadavg: 4.28 4.19 4.11 6/330 940634
/proc/meminfo: memFree=118462240/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19041612 memory=73132 CPUtime=0.52 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 9381 0 0 0 49 3 0 0 20 0 19 0 184230173 19498610688 18283 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4760403 18283 5814 1 0 550832 0
[pid=940615/tid=940617] ppid=940612 vsize=19041612 memory=-9033205369401549500 CPUtime=0.27 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 5954 0 0 0 26 1 0 0 20 0 19 0 184230173 19498610688 18283 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 18283 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 18283 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184230187 19498610688 18283 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73132 KiB

[startup+0.700409 s]
/proc/loadavg: 4.28 4.19 4.11 6/330 940634
/proc/meminfo: memFree=118447584/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19041612 memory=99300 CPUtime=1.28 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 15302 0 0 0 124 4 0 0 20 0 19 0 184230173 19498610688 24825 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4760403 24825 5837 1 0 554736 0
[pid=940615/tid=940617] ppid=940612 vsize=19041612 memory=43592 CPUtime=0.64 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 6087 0 0 0 63 1 0 0 20 0 19 0 184230173 19498610688 24825 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 24825 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19041612 memory=2312 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 24825 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184230187 19498610688 24825 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99300 KiB

[startup+1.5004 s]
/proc/loadavg: 4.28 4.19 4.11 5/330 940634
/proc/meminfo: memFree=118422072/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19041612 memory=131904 CPUtime=2.5 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 19245 0 0 0 245 5 0 0 20 0 19 0 184230173 19498610688 32976 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4760403 32976 5853 1 0 555072 0
[pid=940615/tid=940617] ppid=940612 vsize=19041612 memory=13012 CPUtime=1.43 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 6414 0 0 0 141 2 0 0 20 0 19 0 184230173 19498610688 32976 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 32976 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19041612 memory=2312 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184230176 19498610688 32976 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184230187 19498610688 32976 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131904 KiB

[startup+3.1064 s]
/proc/loadavg: 4.26 4.18 4.11 5/331 940635
/proc/meminfo: memFree=118333168/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=202144 CPUtime=4.18 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 21197 0 0 0 411 7 0 0 20 0 20 0 184230173 19566772224 50536 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 50536 5875 1 0 555379 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=0 CPUtime=3 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 6751 0 0 0 297 3 0 0 20 0 20 0 184230173 19566772224 50536 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=-9033205369401549500 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 50536 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 50536 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 50536 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202144 KiB

[startup+6.30039 s]
/proc/loadavg: 4.26 4.18 4.11 6/331 940637
/proc/meminfo: memFree=118315192/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=219948 CPUtime=7.41 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 21528 0 0 0 733 8 0 0 20 0 20 0 184230173 19566772224 54987 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 54987 5875 1 0 555379 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=2312 CPUtime=6.12 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 6783 0 0 0 609 3 0 0 20 0 20 0 184230173 19566772224 54987 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 54987 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 54987 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 54987 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219948 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.18 4.11 5/331 940637
/proc/meminfo: memFree=118181396/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=316572 CPUtime=13.81 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 23027 0 0 0 1371 10 0 0 20 0 20 0 184230173 19566772224 79143 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 79143 5875 1 0 555379 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=13012 CPUtime=12.37 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 7291 0 0 0 1234 3 0 0 20 0 20 0 184230173 19566772224 79143 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=273208 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 79143 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=43592 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 79143 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 79143 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 316572 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.17 4.11 5/331 940640
/proc/meminfo: memFree=117965012/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=515696 CPUtime=26.7 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 26437 0 0 0 2656 14 0 0 20 0 20 0 184230173 19566772224 128924 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 128924 5875 1 0 555379 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=6943526294502006880 CPUtime=24.98 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 8396 0 0 0 2495 3 0 0 20 0 20 0 184230173 19566772224 128924 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 128924 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=3477 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 128924 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 128924 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 515696 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.17 4.11 5/331 940643
/proc/meminfo: memFree=117662604/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=819116 CPUtime=52.42 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 30061 0 0 0 5221 21 0 0 20 0 20 0 184230173 19566772224 204779 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 204779 5875 1 0 555379 0

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.13 6/335 942632
/proc/meminfo: memFree=116752180/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2245104 CPUtime=3286.15 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 179958 0 0 0 328472 143 0 0 20 0 20 0 184230173 19566772224 561276 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 561276 5891 1 0 575745 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=2245100 CPUtime=3261.4 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 51228 0 0 0 326122 18 0 0 20 0 20 0 184230173 19566772224 561276 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561276 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=1976 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1836 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561276 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=2245100 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 561276 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3286.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/333 942644
/proc/meminfo: memFree=116751168/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2245184 CPUtime=3345.71 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 180311 0 0 0 334426 145 0 0 20 0 20 0 184230173 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 561296 5891 1 0 575745 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=0 CPUtime=3320.73 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 51441 0 0 0 332055 18 0 0 20 0 20 0 184230173 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=1976 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=2245184 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1836 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=2245184 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3345.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/333 942656
/proc/meminfo: memFree=116746436/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2245184 CPUtime=3405.31 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 181165 0 0 0 340384 147 0 0 20 0 20 0 184230173 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 561296 5891 1 0 575745 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=1976 CPUtime=3380.07 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 52075 0 0 0 337989 18 0 0 20 0 20 0 184230173 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=2245104 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=2245184 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1836 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=2245184 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 561296 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3405.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/332 942737
/proc/meminfo: memFree=118529424/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2245340 CPUtime=3465.06 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 182478 0 0 0 346358 148 0 0 20 0 20 0 184230173 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 561335 5891 1 0 575745 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=1976 CPUtime=3439.68 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 52460 0 0 0 343950 18 0 0 20 0 20 0 184230173 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=2245104 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1935 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=43712 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3465.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/332 942748
/proc/meminfo: memFree=118298816/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2245340 CPUtime=3525.01 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 182559 0 0 0 352351 150 0 0 20 0 20 0 184230173 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 561335 5891 1 0 575745 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=2245340 CPUtime=3499.53 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 52527 0 0 0 349935 18 0 0 20 0 20 0 184230173 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=43712 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=2245340 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1935 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 561335 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3525.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.18 4.14 5/332 942759
/proc/meminfo: memFree=118123252/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2387088 CPUtime=3585.57 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 190488 0 0 0 358402 155 0 0 20 0 20 0 184230173 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 596772 5891 1 0 611253 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=2339984 CPUtime=3559.11 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 54219 0 0 0 355890 21 0 0 20 0 20 0 184230173 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=2387088 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1935 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2387088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.8 s]
/proc/loadavg: 4.19 4.17 4.14 5/332 942762
/proc/meminfo: memFree=118054936/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19108176 memory=2387088 CPUtime=3600 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 190654 0 0 0 359845 155 0 0 20 0 20 0 184230173 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4777044 596772 5891 1 0 611257 0
[pid=940615/tid=940617] ppid=940612 vsize=19108176 memory=2387088 CPUtime=3573.37 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) R 940612 940615 937004 0 -1 4194368 54293 0 0 0 357316 21 0 0 20 0 20 0 184230173 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19108176 memory=26268 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19108176 memory=39384 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1935 0 0 0 0 0 0 0 20 0 20 0 184230176 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940634] ppid=940612 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/940615/task/940634/stat : 940634 (Timer-0) S 940612 940615 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184230187 19566772224 596772 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2387088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.6 s, system=1.57267 s

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

[startup+3596.91 s]
/proc/loadavg: 4.19 4.17 4.14 5/332 942762
/proc/meminfo: memFree=118054936/131524600 swapFree=131071996/131071996
[pid=940615] ppid=940612 vsize=19307868 memory=2387856 CPUtime=3600.15 cores=1,3
/proc/940615/stat : 940615 (java) S 940612 940615 937004 0 -1 1077936128 192587 0 0 0 359859 156 0 0 20 0 15 0 184230173 19771256832 596964 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
/proc/940615/statm: 4826967 596964 5902 1 0 612204 0
[pid=940615/tid=940617] ppid=940612 vsize=19307868 memory=2245340 CPUtime=3573.39 cores=1,3
/proc/940615/task/940617/stat : 940617 (java) S 940612 940615 937004 0 -1 1077936192 54372 0 0 0 357318 21 0 0 20 0 15 0 184230173 19771256832 596964 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940626] ppid=940612 vsize=19307868 memory=-8549726973758981020 CPUtime=0 cores=1,3
/proc/940615/task/940626/stat : 940626 (Finalizer) S 940612 940615 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 184230176 19771256832 596964 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
[pid=940615/tid=940633] ppid=940612 vsize=19307868 memory=2387088 CPUtime=0 cores=1,3
/proc/940615/task/940633/stat : 940633 (Common-Cleaner) S 940612 940615 937004 0 -1 1077936192 1935 0 0 0 0 0 0 0 20 0 15 0 184230176 19771256832 596964 134679101440 94876262625280 94876262628976 140721298037200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94876262636792 94876262637584 94876273889280 140721298039814 140721298039904 140721298039904 140721298046920 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2387856 KiB

Child status: 143

Real time (s): 3596.92
CPU time (s): 3600.17
CPU user time (s): 3598.6
CPU system time (s): 1.57267
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2387856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.57267
maximum resident set size= 2388924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108502
involuntary context switches= 14165


# summary of solver processes directly reported to runsolver:
#   pid: 940615
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.57267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87104 second user time and 16.2375 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 18:38:28
IDJOB=4445234
IDBENCH=148104
IDSOLVER=3058
FILE ID=nodeC016/4445234-1721320696
RUNJOBID= nodeC016-1721316965-937016
SLURM_JOB_ID= 7542659
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=239696961

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.357
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:        118514388 kB
MemAvailable:   122112460 kB
Buffers:          350592 kB
Cached:          4083376 kB
SwapCached:            0 kB
Active:           550432 kB
Inactive:       11834964 kB
Active(anon):       1576 kB
Inactive(anon):  7987564 kB
Active(file):     548856 kB
Inactive(file):  3847400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1272 kB
Writeback:             0 kB
AnonPages:       7949928 kB
Mapped:           126656 kB
Shmem:             37720 kB
KReclaimable:      82924 kB
Slab:             192960 kB
SReclaimable:      82924 kB
SUnreclaim:       110036 kB
KernelStack:        5000 kB
PageTables:        25608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8530948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69696 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7745536 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= 890060 MiB
End job on nodeC016 at 2024-07-18 19:38:25