Trace number 4445024

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 3598.03

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
MD5SUMff70f65d4e56aadb7819a27e192bee4f
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.311995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables106
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 constraint106
Maximum length of a constraint106
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 106925262
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 1723212177
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4445024-1721317882.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.13	c ... done. Wall clock time 0.009s.
0.14/0.13	c declared #vars     106
0.14/0.13	c #constraints  2
0.14/0.13	c constraints type 
0.14/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.14/0.13	c 2 constraints processed.
0.73/0.41	c cleaning 2501 clauses out of 5001 with flag 10002/5001
1.12/0.69	c cleaning 4250 clauses out of 8499 with flag 22000/11000
1.69/0.90	c cleaning 5624 clauses out of 11250 with flag 36002/18001
1.83/1.06	c cleaning 6814 clauses out of 13628 with flag 52006/26003
2.11/1.24	c cleaning 7905 clauses out of 15811 with flag 70002/35000
2.39/1.44	c cleaning 8949 clauses out of 17906 with flag 90002/45000
2.64/1.66	c cleaning 9974 clauses out of 19957 with flag 112002/56000
3.09/1.96	c cleaning 10992 clauses out of 21983 with flag 136003/68000
3.48/2.22	c cleaning 11993 clauses out of 23991 with flag 162003/81000
3.68/2.49	c cleaning 12994 clauses out of 25998 with flag 190004/95000
4.00/2.78	c cleaning 14003 clauses out of 28006 with flag 220008/110002
4.43/3.12	c cleaning 15001 clauses out of 30002 with flag 252006/126001
4.75/3.43	c cleaning 16000 clauses out of 32001 with flag 286006/143001
5.05/3.79	c cleaning 16995 clauses out of 34000 with flag 322005/161000
5.45/4.17	c cleaning 17998 clauses out of 36006 with flag 360008/180001
5.94/4.64	c cleaning 19004 clauses out of 38007 with flag 400006/200000
6.35/5.10	c cleaning 20000 clauses out of 40003 with flag 442006/221000
6.84/5.59	c cleaning 21002 clauses out of 42004 with flag 486009/243001
7.45/6.18	c cleaning 22001 clauses out of 44002 with flag 532012/266001
8.29/6.81	c cleaning 22996 clauses out of 46002 with flag 580014/290002
8.88/7.43	c cleaning 23999 clauses out of 48006 with flag 630018/315002
9.49/8.03	c cleaning 24999 clauses out of 50005 with flag 682014/341000
10.18/8.71	c cleaning 26001 clauses out of 52007 with flag 736016/368001
11.00/9.54	c cleaning 27002 clauses out of 54006 with flag 792016/396001
11.80/10.35	c cleaning 27997 clauses out of 56003 with flag 850015/425000
12.51/11.06	c cleaning 28997 clauses out of 58006 with flag 910015/455000
13.31/11.87	c cleaning 30003 clauses out of 60010 with flag 972019/486001
14.20/12.76	c cleaning 31000 clauses out of 62006 with flag 1036018/518000
15.20/13.76	c cleaning 32000 clauses out of 64007 with flag 1102022/551001
16.13/14.69	c cleaning 33002 clauses out of 66008 with flag 1170025/585002
17.03/15.56	c cleaning 33999 clauses out of 68005 with flag 1240026/620001
18.04/16.55	c cleaning 35003 clauses out of 70006 with flag 1312026/656001
19.04/17.54	c cleaning 36001 clauses out of 72002 with flag 1386024/693000
20.04/18.56	c cleaning 37000 clauses out of 74002 with flag 1462026/731001
21.26/19.76	c cleaning 37999 clauses out of 76002 with flag 1540027/770001
22.56/21.01	c cleaning 39000 clauses out of 78002 with flag 1620026/810000
23.79/22.24	c cleaning 39998 clauses out of 80003 with flag 1702028/851001
24.88/23.38	c cleaning 41002 clauses out of 82004 with flag 1786026/893000
26.22/24.62	c cleaning 42000 clauses out of 84002 with flag 1872027/936000
27.72/26.16	c cleaning 42996 clauses out of 86002 with flag 1960027/980000
29.12/27.56	c cleaning 43999 clauses out of 88006 with flag 2050027/1025000
30.55/28.95	c cleaning 45003 clauses out of 90008 with flag 2142030/1071001
31.94/30.33	c cleaning 45998 clauses out of 92004 with flag 2236028/1118000
33.34/31.70	c cleaning 46999 clauses out of 94006 with flag 2332028/1166000
35.13/33.50	c cleaning 48005 clauses out of 96010 with flag 2430034/1215003
36.72/35.14	c cleaning 48996 clauses out of 98002 with flag 2530029/1265000
38.24/36.64	c cleaning 50003 clauses out of 100008 with flag 2632033/1316002
39.72/38.13	c cleaning 50998 clauses out of 102004 with flag 2736031/1368001
41.61/40.07	c cleaning 52002 clauses out of 104006 with flag 2842031/1421001
43.31/41.79	c cleaning 52997 clauses out of 106003 with flag 2950029/1475000
45.39/43.81	c cleaning 53998 clauses out of 108006 with flag 3060029/1530000
47.72/46.12	c cleaning 55004 clauses out of 110008 with flag 3172029/1586000
49.40/47.80	c cleaning 55999 clauses out of 112004 with flag 3286030/1643000
51.39/49.84	c cleaning 56998 clauses out of 114005 with flag 3402030/1701000
53.51/51.93	c cleaning 58000 clauses out of 116008 with flag 3520034/1760001
55.39/53.85	c cleaning 59001 clauses out of 118007 with flag 3640032/1820000
57.37/55.89	c cleaning 60000 clauses out of 120007 with flag 3762034/1881001
59.76/58.28	c cleaning 61003 clauses out of 122006 with flag 3886034/1943000
62.09/60.56	c cleaning 62000 clauses out of 124005 with flag 4012038/2006002
63.97/62.40	c cleaning 62996 clauses out of 126004 with flag 4140038/2070001
65.96/64.47	c cleaning 64002 clauses out of 128007 with flag 4270036/2135000
67.74/66.26	c cleaning 65000 clauses out of 130005 with flag 4402041/2201000
70.30/68.70	c cleaning 66000 clauses out of 132006 with flag 4536049/2268001
72.58/71.02	c cleaning 66997 clauses out of 134005 with flag 4672048/2336000
74.86/73.32	c cleaning 68004 clauses out of 136008 with flag 4810057/2405000
77.34/75.87	c cleaning 68995 clauses out of 138004 with flag 4950057/2475000
79.71/78.18	c cleaning 69999 clauses out of 140009 with flag 5092057/2546000
81.90/80.34	c cleaning 70999 clauses out of 142011 with flag 5236060/2618001
84.39/82.84	c cleaning 72004 clauses out of 144011 with flag 5382063/2691000
86.99/85.47	c cleaning 73003 clauses out of 146008 with flag 5530066/2765001
89.63/88.06	c cleaning 73998 clauses out of 148004 with flag 5680064/2840000
92.82/91.22	c cleaning 75000 clauses out of 150007 with flag 5832066/2916001
95.42/93.89	c cleaning 76000 clauses out of 152006 with flag 5986065/2993000
98.11/96.55	c cleaning 77001 clauses out of 154008 with flag 6142069/3071002
101.60/99.67	c cleaning 78000 clauses out of 156007 with flag 6300069/3150002
104.40/102.44	c cleaning 78994 clauses out of 158006 with flag 6460068/3230001
107.49/105.59	c cleaning 80003 clauses out of 160012 with flag 6622068/3311001
110.59/108.62	c cleaning 80998 clauses out of 162010 with flag 6786075/3393002
113.84/111.85	c cleaning 82004 clauses out of 164011 with flag 6952074/3476001
116.83/114.84	c cleaning 82999 clauses out of 166007 with flag 7120078/3560001
120.03/118.10	c cleaning 83996 clauses out of 168007 with flag 7290078/3645000
123.03/121.05	c cleaning 85001 clauses out of 170012 with flag 7462082/3731001
126.62/124.53	c cleaning 86005 clauses out of 172011 with flag 7636082/3818001
129.81/127.75	c cleaning 87001 clauses out of 174005 with flag 7812082/3906000
133.31/131.27	c cleaning 87999 clauses out of 176004 with flag 7990087/3995000
136.40/134.35	c cleaning 89000 clauses out of 178007 with flag 8170112/4085002
140.67/138.52	c cleaning 90000 clauses out of 180005 with flag 8352115/4176000
144.06/141.97	c cleaning 91002 clauses out of 182005 with flag 8536123/4268000
147.36/145.25	c cleaning 92001 clauses out of 184004 with flag 8722125/4361001
151.83/149.64	c cleaning 92998 clauses out of 186002 with flag 8910129/4455000
155.03/152.82	c cleaning 93994 clauses out of 188004 with flag 9100129/4550000
160.82/158.68	c cleaning 95005 clauses out of 190011 with flag 9292132/4646001
164.51/162.34	c cleaning 95996 clauses out of 192007 with flag 9486145/4743002
168.61/166.39	c cleaning 97000 clauses out of 194010 with flag 9682144/4841001
174.40/172.17	c cleaning 98005 clauses out of 196011 with flag 9880150/4940002
178.29/176.03	c cleaning 98999 clauses out of 198004 with flag 10080151/5040000
182.67/180.46	c cleaning 99999 clauses out of 200006 with flag 10282157/5141001
186.57/184.34	c cleaning 101003 clauses out of 202006 with flag 10486156/5243000
190.76/188.58	c cleaning 102000 clauses out of 204003 with flag 10692157/5346000
196.35/194.17	c cleaning 102995 clauses out of 206004 with flag 10900162/5450001
200.35/198.18	c cleaning 104002 clauses out of 208008 with flag 11110161/5555000
204.63/202.49	c cleaning 104997 clauses out of 210006 with flag 11322162/5661000
210.84/208.42	c cleaning 106000 clauses out of 212009 with flag 11536163/5768000
215.03/212.68	c cleaning 107003 clauses out of 214009 with flag 11752168/5876000
219.73/217.38	c cleaning 108003 clauses out of 216006 with flag 11970171/5985000
225.16/222.20	c cleaning 108997 clauses out of 218004 with flag 12190174/6095001
229.85/226.99	c cleaning 110000 clauses out of 220006 with flag 12412172/6206000
234.74/231.84	c cleaning 111003 clauses out of 222006 with flag 12636173/6318000
239.83/236.99	c cleaning 111993 clauses out of 224004 with flag 12862179/6431001
244.48/241.54	c cleaning 113002 clauses out of 226012 with flag 13090182/6545002
249.17/246.24	c cleaning 114005 clauses out of 228009 with flag 13320180/6660001
253.98/251.04	c cleaning 114999 clauses out of 230003 with flag 13552178/6776000
258.36/255.42	c cleaning 115998 clauses out of 232005 with flag 13786180/6893001
263.65/260.77	c cleaning 117000 clauses out of 234010 with flag 14022186/7011004
269.24/266.36	c cleaning 117994 clauses out of 236006 with flag 14260178/7130000
274.38/271.49	c cleaning 119003 clauses out of 238012 with flag 14500178/7250000
280.28/277.35	c cleaning 120000 clauses out of 240010 with flag 14742180/7371001
285.07/282.12	c cleaning 121002 clauses out of 242012 with flag 14986186/7493003
292.15/289.25	c cleaning 121998 clauses out of 244007 with flag 15232185/7616000
297.65/294.72	c cleaning 123002 clauses out of 246009 with flag 15480187/7740000
302.44/299.50	c cleaning 124002 clauses out of 248008 with flag 15730189/7865001
308.64/305.67	c cleaning 125000 clauses out of 250005 with flag 15982191/7991000
313.63/310.64	c cleaning 126000 clauses out of 252005 with flag 16236191/8118000
319.91/316.98	c cleaning 127000 clauses out of 254005 with flag 16492191/8246000
326.20/323.28	c cleaning 127998 clauses out of 256005 with flag 16750191/8375000
332.89/329.91	c cleaning 128999 clauses out of 258008 with flag 17010193/8505001
339.18/336.29	c cleaning 130005 clauses out of 260009 with flag 17272203/8636001
347.06/344.01	c cleaning 130998 clauses out of 262003 with flag 17536203/8768000
352.55/349.58	c cleaning 132002 clauses out of 264006 with flag 17802210/8901001
360.53/357.52	c cleaning 132998 clauses out of 266006 with flag 18070214/9035003
366.22/363.28	c cleaning 134001 clauses out of 268006 with flag 18340211/9170001
372.12/369.11	c cleaning 134997 clauses out of 270004 with flag 18612210/9306000
380.79/377.89	c cleaning 135999 clauses out of 272008 with flag 18886213/9443001
386.88/383.99	c cleaning 136999 clauses out of 274009 with flag 19162213/9581001
393.18/390.19	c cleaning 138001 clauses out of 276010 with flag 19440215/9720001
399.66/396.65	c cleaning 139002 clauses out of 278011 with flag 19720220/9860003
405.85/402.81	c cleaning 140001 clauses out of 280007 with flag 20002216/10001001
411.71/408.66	c cleaning 140996 clauses out of 282008 with flag 20286221/10143003
417.80/414.71	c cleaning 142003 clauses out of 284010 with flag 20572217/10286001
423.89/420.83	c cleaning 143000 clauses out of 286008 with flag 20860220/10430002
430.09/427.06	c cleaning 143999 clauses out of 288006 with flag 21150219/10575000
438.96/435.94	c cleaning 145002 clauses out of 290008 with flag 21442221/10721001
445.34/442.29	c cleaning 146004 clauses out of 292007 with flag 21736223/10868002
451.82/448.77	c cleaning 146997 clauses out of 294001 with flag 22032220/11016000
461.11/458.02	c cleaning 147997 clauses out of 296004 with flag 22330221/11165000
467.29/464.28	c cleaning 149002 clauses out of 298007 with flag 22630222/11315000
474.57/471.55	c cleaning 150001 clauses out of 300005 with flag 22932223/11466000
482.74/479.54	c cleaning 151000 clauses out of 302004 with flag 23236227/11618000
491.63/488.47	c cleaning 151999 clauses out of 304005 with flag 23542230/11771001
500.01/496.89	c cleaning 152998 clauses out of 306006 with flag 23850232/11925001
508.80/505.64	c cleaning 153999 clauses out of 308007 with flag 24160235/12080000
517.12/513.43	c cleaning 155001 clauses out of 310009 with flag 24472237/12236001
526.55/522.97	c cleaning 156003 clauses out of 312008 with flag 24786237/12393001
537.05/533.59	c cleaning 157002 clauses out of 314005 with flag 25102239/12551001
544.50/540.96	c cleaning 157992 clauses out of 316004 with flag 25420241/12710002
552.78/549.28	c cleaning 159001 clauses out of 318010 with flag 25740239/12870000
563.16/559.62	c cleaning 160000 clauses out of 320009 with flag 26062239/13031000
572.34/568.85	c cleaning 161000 clauses out of 322012 with flag 26386246/13193003
587.22/583.71	c cleaning 162002 clauses out of 324010 with flag 26712242/13356001
595.71/592.15	c cleaning 162996 clauses out of 326008 with flag 27040242/13520001
604.28/600.79	c cleaning 164003 clauses out of 328013 with flag 27370244/13685002
611.67/608.17	c cleaning 164999 clauses out of 330009 with flag 27702242/13851001
619.36/615.81	c cleaning 166003 clauses out of 332010 with flag 28036242/14018001
629.14/625.63	c cleaning 167001 clauses out of 334007 with flag 28372242/14186001
639.41/635.84	c cleaning 168003 clauses out of 336005 with flag 28710240/14355000
648.70/645.18	c cleaning 168996 clauses out of 338002 with flag 29050242/14525000
657.87/654.35	c cleaning 170000 clauses out of 340007 with flag 29392247/14696001
668.85/665.31	c cleaning 171000 clauses out of 342007 with flag 29736247/14868001
677.33/673.87	c cleaning 172000 clauses out of 344006 with flag 30082245/15041000
686.52/683.04	c cleaning 172999 clauses out of 346006 with flag 30430245/15215000
703.73/700.16	c cleaning 173998 clauses out of 348008 with flag 30780247/15390001
712.20/708.62	c cleaning 175001 clauses out of 350009 with flag 31132248/15566000
720.09/716.58	c cleaning 176004 clauses out of 352009 with flag 31486252/15743001
730.77/727.20	c cleaning 176998 clauses out of 354006 with flag 31842254/15921002
741.00/737.34	c cleaning 177998 clauses out of 356006 with flag 32200250/16100000
750.88/747.25	c cleaning 179003 clauses out of 358009 with flag 32560252/16280001
761.86/758.21	c cleaning 180002 clauses out of 360005 with flag 32922252/16461000
771.05/767.44	c cleaning 181001 clauses out of 362004 with flag 33286255/16643001
781.65/777.48	c cleaning 181996 clauses out of 364004 with flag 33652259/16826002
792.56/788.41	c cleaning 182997 clauses out of 366006 with flag 34020255/17010000
805.55/801.56	c cleaning 183998 clauses out of 368009 with flag 34390266/17195000
822.01/818.14	c cleaning 185003 clauses out of 370011 with flag 34762273/17381000
834.02/830.19	c cleaning 186004 clauses out of 372008 with flag 35136276/17568000
846.61/842.80	c cleaning 186996 clauses out of 374005 with flag 35512279/17756001
856.83/853.10	c cleaning 187998 clauses out of 376008 with flag 35890287/17945000
865.65/862.08	c cleaning 189002 clauses out of 378011 with flag 36270289/18135001
876.07/872.42	c cleaning 190000 clauses out of 380008 with flag 36652289/18326000
885.59/882.08	c cleaning 190998 clauses out of 382009 with flag 37036291/18518001
897.19/893.75	c cleaning 192001 clauses out of 384010 with flag 37422293/18711000
908.00/904.64	c cleaning 193004 clauses out of 386010 with flag 37810298/18905001
920.09/916.66	c cleaning 194001 clauses out of 388005 with flag 38200297/19100000
930.67/927.21	c cleaning 194995 clauses out of 390005 with flag 38592299/19296001
940.26/936.86	c cleaning 196001 clauses out of 392010 with flag 38986303/19493001
954.24/950.85	c cleaning 196997 clauses out of 394009 with flag 39382304/19691001
966.31/962.92	c cleaning 197999 clauses out of 396012 with flag 39780306/19890001
979.34/975.84	c cleaning 199004 clauses out of 398012 with flag 40180311/20090000
993.72/990.29	c cleaning 199997 clauses out of 400008 with flag 40582315/20291000
1006.60/1003.15	c cleaning 201001 clauses out of 402011 with flag 40986317/20493000
1020.80/1016.68	c cleaning 202005 clauses out of 404012 with flag 41392326/20696002
1037.17/1033.11	c cleaning 202998 clauses out of 406007 with flag 41800330/20900002
1048.17/1044.28	c cleaning 203998 clauses out of 408008 with flag 42210329/21105001
1062.70/1058.85	c cleaning 204999 clauses out of 410010 with flag 42622329/21311001
1074.10/1070.32	c cleaning 206001 clauses out of 412011 with flag 43036329/21518001
1086.50/1082.85	c cleaning 206999 clauses out of 414009 with flag 43452327/21726000
1100.75/1097.13	c cleaning 208001 clauses out of 416010 with flag 43870329/21935000
1114.03/1110.53	c cleaning 208999 clauses out of 418009 with flag 44290329/22145000
1128.01/1124.68	c cleaning 210003 clauses out of 420011 with flag 44712331/22356001
1143.54/1140.29	c cleaning 210997 clauses out of 422008 with flag 45136335/22568001
1156.40/1152.98	c cleaning 212000 clauses out of 424010 with flag 45562345/22781000
1170.58/1167.16	c cleaning 213003 clauses out of 426011 with flag 45990349/22995001
1185.45/1182.06	c cleaning 213996 clauses out of 428010 with flag 46420353/23210003
1203.55/1200.18	c cleaning 214998 clauses out of 430011 with flag 46852353/23426000
1217.13/1213.81	c cleaning 216001 clauses out of 432014 with flag 47286367/23643001
1230.91/1227.75	c cleaning 217001 clauses out of 434013 with flag 47722369/23861001
1245.39/1242.32	c cleaning 218004 clauses out of 436014 with flag 48160374/24080003
1266.18/1263.23	c cleaning 219003 clauses out of 438007 with flag 48600368/24300000
1283.23/1280.44	c cleaning 220000 clauses out of 440005 with flag 49042376/24521001
1299.29/1296.69	c cleaning 220996 clauses out of 442007 with flag 49486380/24743003
1315.86/1313.09	c cleaning 222004 clauses out of 444011 with flag 49932383/24966003
1333.93/1331.11	c cleaning 222994 clauses out of 446004 with flag 50380379/25190000
1350.39/1347.06	c cleaning 224000 clauses out of 448011 with flag 50830382/25415001
1365.06/1361.75	c cleaning 225001 clauses out of 450010 with flag 51282389/25641000
1379.95/1376.61	c cleaning 226002 clauses out of 452011 with flag 51736400/25868002
1397.02/1393.74	c cleaning 226998 clauses out of 454007 with flag 52192398/26096000
1413.40/1410.13	c cleaning 227998 clauses out of 456010 with flag 52650403/26325001
1430.38/1427.16	c cleaning 229004 clauses out of 458012 with flag 53110408/26555001
1442.27/1439.08	c cleaning 229998 clauses out of 460007 with flag 53572407/26786000
1457.64/1454.47	c cleaning 231000 clauses out of 462009 with flag 54036409/27018000
1471.82/1468.63	c cleaning 231995 clauses out of 464009 with flag 54502414/27251000
1488.89/1485.73	c cleaning 232999 clauses out of 466014 with flag 54970424/27485000
1504.60/1501.44	c cleaning 234001 clauses out of 468015 with flag 55440429/27720000
1520.02/1516.98	c cleaning 235005 clauses out of 470014 with flag 55912443/27956000
1534.90/1531.80	c cleaning 236005 clauses out of 472009 with flag 56386445/28193000
1553.78/1550.74	c cleaning 237002 clauses out of 474005 with flag 56862452/28431001
1572.64/1569.50	c cleaning 237994 clauses out of 476002 with flag 57340454/28670000
1587.91/1584.87	c cleaning 239001 clauses out of 478008 with flag 57820454/28910000
1603.08/1600.01	c cleaning 239998 clauses out of 480009 with flag 58302460/29151002
1622.36/1619.26	c cleaning 241000 clauses out of 482009 with flag 58786459/29393000
1639.73/1636.62	c cleaning 242002 clauses out of 484009 with flag 59272460/29636000
1655.91/1652.88	c cleaning 242998 clauses out of 486007 with flag 59760465/29880000
1673.58/1670.57	c cleaning 244005 clauses out of 488010 with flag 60250470/30125001
1688.88/1685.79	c cleaning 244994 clauses out of 490004 with flag 60742472/30371000
1711.53/1708.45	c cleaning 246002 clauses out of 492011 with flag 61236475/30618001
1726.30/1723.22	c cleaning 247000 clauses out of 494009 with flag 61732477/30866001
1745.86/1742.86	c cleaning 247996 clauses out of 496008 with flag 62230476/31115000
1763.15/1760.09	c cleaning 248997 clauses out of 498013 with flag 62730479/31365001
1782.41/1779.35	c cleaning 250004 clauses out of 500016 with flag 63232480/31616001
1799.38/1796.35	c cleaning 250998 clauses out of 502013 with flag 63736482/31868002
1818.14/1814.48	c cleaning 252003 clauses out of 504014 with flag 64242480/32121001
1833.21/1829.63	c cleaning 252998 clauses out of 506010 with flag 64750479/32375000
1851.45/1848.04	c cleaning 254001 clauses out of 508012 with flag 65260483/32630000
1869.64/1866.15	c cleaning 255000 clauses out of 510011 with flag 65772483/32886000
1885.31/1881.80	c cleaning 256004 clauses out of 512012 with flag 66286485/33143001
1904.68/1901.24	c cleaning 257002 clauses out of 514007 with flag 66802483/33401000
1924.44/1920.96	c cleaning 257998 clauses out of 516005 with flag 67320490/33660000
1943.62/1940.19	c cleaning 259000 clauses out of 518009 with flag 67840494/33920002
1960.99/1957.55	c cleaning 259999 clauses out of 520007 with flag 68362490/34181000
1978.83/1975.22	c cleaning 261003 clauses out of 522010 with flag 68886499/34443002
2001.79/1998.20	c cleaning 262003 clauses out of 524006 with flag 69412501/34706001
2026.46/2022.94	c cleaning 262998 clauses out of 526002 with flag 69940507/34970000
2045.47/2041.98	c cleaning 263990 clauses out of 528004 with flag 70470513/35235000
2070.75/2067.40	c cleaning 265007 clauses out of 530015 with flag 71002516/35501001
2090.04/2086.79	c cleaning 265996 clauses out of 532007 with flag 71536514/35768000
2110.25/2106.20	c cleaning 267000 clauses out of 534012 with flag 72072516/36036001
2133.59/2129.66	c cleaning 267999 clauses out of 536012 with flag 72610516/36305001
2156.65/2152.77	c cleaning 269001 clauses out of 538013 with flag 73150516/36575001
2180.96/2177.13	c cleaning 270001 clauses out of 540012 with flag 73692517/36846001
2200.24/2196.44	c cleaning 271001 clauses out of 542012 with flag 74236521/37118002
2218.59/2214.91	c cleaning 272000 clauses out of 544010 with flag 74782521/37391001
2237.65/2234.13	c cleaning 273002 clauses out of 546010 with flag 75330526/37665001
2273.34/2270.19	c cleaning 273998 clauses out of 548007 with flag 75880525/37940000
2294.24/2291.15	c cleaning 274994 clauses out of 550009 with flag 76432529/38216000
2313.77/2310.80	c cleaning 276002 clauses out of 552015 with flag 76986533/38493000
2337.36/2334.67	c cleaning 277007 clauses out of 554015 with flag 77542538/38771002
2364.46/2361.69	c cleaning 277997 clauses out of 556006 with flag 78100541/39050000
2385.92/2382.98	c cleaning 279000 clauses out of 558010 with flag 78660544/39330001
2411.40/2407.56	c cleaning 280003 clauses out of 560011 with flag 79222546/39611002
2434.04/2430.17	c cleaning 280999 clauses out of 562006 with flag 79786551/39893000
2454.69/2450.79	c cleaning 282000 clauses out of 564007 with flag 80352553/40176000
2484.64/2480.70	c cleaning 283001 clauses out of 566010 with flag 80920559/40460003
2513.67/2509.72	c cleaning 283999 clauses out of 568007 with flag 81490555/40745001
2540.43/2536.59	c cleaning 284994 clauses out of 570007 with flag 82062553/41031000
2571.66/2567.79	c cleaning 286003 clauses out of 572014 with flag 82636557/41318001
2595.94/2592.00	c cleaning 287000 clauses out of 574010 with flag 83212555/41606000
2613.95/2610.08	c cleaning 287998 clauses out of 576011 with flag 83790558/41895001
2635.30/2631.40	c cleaning 289002 clauses out of 578015 with flag 84370565/42185003
2654.51/2650.65	c cleaning 290003 clauses out of 580011 with flag 84952562/42476001
2674.89/2671.07	c cleaning 291002 clauses out of 582010 with flag 85536567/42768003
2694.54/2690.72	c cleaning 292002 clauses out of 584005 with flag 86122561/43061000
2715.86/2712.21	c cleaning 292994 clauses out of 586003 with flag 86710565/43355000
2737.48/2732.95	c cleaning 293997 clauses out of 588010 with flag 87300570/43650001
2759.09/2754.72	c cleaning 295003 clauses out of 590013 with flag 87892574/43946001
2782.69/2778.43	c cleaning 295999 clauses out of 592010 with flag 88486581/44243001
2814.70/2810.66	c cleaning 297004 clauses out of 594010 with flag 89082582/44541000
2839.67/2835.85	c cleaning 297999 clauses out of 596006 with flag 89680590/44840000
2859.04/2855.37	c cleaning 299001 clauses out of 598007 with flag 90280595/45140000
2884.82/2881.33	c cleaning 299998 clauses out of 600007 with flag 90882597/45441001
2906.10/2902.73	c cleaning 301003 clauses out of 602008 with flag 91486607/45743000
2926.73/2923.56	c cleaning 302002 clauses out of 604005 with flag 92092608/46046000
2978.12/2975.25	c cleaning 302999 clauses out of 606004 with flag 92700617/46350001
3001.42/2998.74	c cleaning 303992 clauses out of 608004 with flag 93310619/46655000
3025.21/3022.72	c cleaning 304999 clauses out of 610012 with flag 93922626/46961000
3045.87/3043.51	c cleaning 306003 clauses out of 612016 with flag 94536637/47268003
3076.30/3074.28	c cleaning 306998 clauses out of 614010 with flag 95152637/47576000
3106.80/3104.90	c cleaning 308001 clauses out of 616012 with flag 95770662/47885000
3129.99/3128.34	c cleaning 309000 clauses out of 618011 with flag 96390665/48195000
3156.85/3154.12	c cleaning 310000 clauses out of 620012 with flag 97012669/48506001
3179.01/3176.38	c cleaning 310999 clauses out of 622011 with flag 97636668/48818000
3209.61/3206.97	c cleaning 311993 clauses out of 624012 with flag 98262668/49131000
3243.15/3240.54	c cleaning 313007 clauses out of 626021 with flag 98890678/49445002
3268.13/3265.48	c cleaning 314000 clauses out of 628012 with flag 99520675/49760000
3292.81/3290.18	c cleaning 315003 clauses out of 630014 with flag 100152680/50076002
3318.21/3315.51	c cleaning 315997 clauses out of 632010 with flag 100786689/50393001
3352.66/3350.10	c cleaning 317001 clauses out of 634012 with flag 101422701/50711000
3378.76/3376.07	c cleaning 318000 clauses out of 636011 with flag 102060704/51030000
3403.03/3400.35	c cleaning 318992 clauses out of 638011 with flag 102700709/51350000
3430.38/3427.77	c cleaning 320005 clauses out of 640019 with flag 103342710/51671000
3452.36/3449.71	c cleaning 321002 clauses out of 642016 with flag 103986721/51993002
3478.52/3476.13	c cleaning 322001 clauses out of 644013 with flag 104632729/52316001
3507.06/3504.87	c cleaning 323000 clauses out of 646012 with flag 105280733/52640001
3555.15/3553.37	c cleaning 324001 clauses out of 648012 with flag 105930737/52965001
3592.77/3590.68	c cleaning 325004 clauses out of 650011 with flag 106582752/53291001
3600.01/3597.92	c starts		: 1
3600.01/3597.92	c timeout
3600.01/3597.93	c conflicts		: 53532678
3600.01/3597.93	c decisions		: 53532912
3600.01/3597.93	c propagations		: 244225003
3600.01/3597.93	c inspects		: 10608085798
3600.01/3597.93	c shortcuts		: 0
3600.01/3597.94	c learnt literals	: 0
3600.01/3597.94	c learnt binary clauses	: 0
3600.01/3597.94	c learnt ternary clauses	: 0
3600.01/3597.94	c learnt constraints	: 53532678
3600.01/3597.94	c ignored constraints	: 0
3600.01/3597.94	c root simplifications	: 0
3600.01/3597.94	c removed literals (reason simplification)	: 0
3600.01/3597.94	c reason swapping (by a shorter reason)	: 0
3600.01/3597.94	c Calls to reduceDB	: 322
3600.01/3597.94	c Number of update (reduction) of LBD	: 404
3600.01/3597.94	c Imported unit clauses	: 0
3600.01/3597.94	c No decision after first conflict	: false
3600.01/3597.94	c number of reductions to clauses (during analyze)	: 0
3600.01/3597.94	c number of learned constraints concerned by reduction	: 0
3600.01/3597.94	c number of learning phase by resolution	: 0
3600.01/3597.94	c number of learning phase by cutting planes	: 0
3600.01/3597.94	c number of rounding to 1 operations	: 0
3600.01/3597.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3597.94	c number of reductions of the coefficients by power 2 	: 0
3600.01/3597.94	c number of right shift for reduction by power 2 	: 0
3600.01/3597.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3597.94	c number of ending skipping 	: 0
3600.01/3597.94	c number of internal skipping 	: 0
3600.01/3597.94	c number of derivation steps 	: 0
3600.01/3597.94	c number of skipped derivation steps 	: 0
3600.01/3597.94	c number of remaining unassigned 	: 0
3600.01/3597.94	c number of remaining assigned 	: 0
3600.01/3597.94	c number of falsified literals weakened from reason	: 0
3600.01/3597.94	c number of falsified literals weakened from conflict	: 0
3600.01/3597.94	c time for arithmetic operations	: 0
3600.01/3597.94	c minimum degree of deleted constraints	: null
3600.01/3597.94	c maximum degree of deleted constraints	: null
3600.01/3597.94	c number of deleted constraints	: 0
3600.01/3597.94	c speed (assignments/second)	: 67881.59210230448
3600.01/3597.94	c non guided choices	: 94
3600.01/3598.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 566684
3600.01/3598.01	s UNKNOWN
3600.01/3598.01	c Total wall clock time (in seconds): 3597.889

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 (60100 MiB free)
  memory of node 1: 64510 MiB (61925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445024-1721317882/watcher-4445024-1721317882 -o /tmp/evaluation-result-4445024-1721317882/solver-4445024-1721317882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980850 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4445024-1721317882.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
solver pid=983097, runsolver pid=983094
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 4.21 2.36 2.30 5/332 983115
/proc/meminfo: memFree=124911200/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=18975048 memory=64356 CPUtime=0.14 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 7080 0 0 0 12 2 0 0 20 0 18 0 183956479 19430449152 16089 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4743762 16089 5597 1 0 549349 0
[pid=983097/tid=983099] ppid=983094 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 5661 0 0 0 8 1 0 0 20 0 18 0 183956480 19430449152 16089 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183956482 19430449152 16089 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183956483 19430449152 16089 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64356 KiB

[startup+0.208734 s]*
/proc/loadavg: 4.21 2.36 2.30 6/333 983116
/proc/meminfo: memFree=124905184/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19041612 memory=70772 CPUtime=0.34 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 8533 0 0 0 32 2 0 0 20 0 19 0 183956479 19498610688 17693 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4760403 17693 5842 1 0 550388 0
[pid=983097/tid=983099] ppid=983094 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 5844 0 0 0 18 1 0 0 20 0 19 0 183956480 19498610688 17693 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19041612 memory=15945 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183956482 19498610688 17693 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19041612 memory=14418111545738801 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183956483 19498610688 17693 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183956493 19498610688 17693 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70772 KiB

[startup+0.306292 s]*
/proc/loadavg: 4.21 2.36 2.30 6/333 983116
/proc/meminfo: memFree=124898832/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19041612 memory=76940 CPUtime=0.53 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 9397 0 0 0 51 2 0 0 20 0 19 0 183956479 19498610688 19235 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4760403 19235 5842 1 0 550855 0
[pid=983097/tid=983099] ppid=983094 vsize=19041612 memory=-8886844965629764284 CPUtime=0.29 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 5855 0 0 0 28 1 0 0 20 0 19 0 183956480 19498610688 19235 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183956482 19498610688 19235 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183956483 19498610688 19235 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183956493 19498610688 19235 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76940 KiB

[startup+0.702291 s]
/proc/loadavg: 4.21 2.36 2.30 6/333 983116
/proc/meminfo: memFree=124883564/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19041612 memory=97232 CPUtime=1.3 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 14531 0 0 0 127 3 0 0 20 0 19 0 183956479 19498610688 24308 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4760403 24308 5842 1 0 553845 0
[pid=983097/tid=983099] ppid=983094 vsize=19041612 memory=44056 CPUtime=0.67 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 5905 0 0 0 66 1 0 0 20 0 19 0 183956480 19498610688 24308 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19041612 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183956482 19498610688 24308 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19041612 memory=2228 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183956483 19498610688 24308 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19041612 memory=1848 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183956493 19498610688 24308 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97232 KiB

[startup+1.50027 s]
/proc/loadavg: 4.21 2.36 2.30 5/333 983116
/proc/meminfo: memFree=124867516/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19041612 memory=130812 CPUtime=2.49 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 18207 0 0 0 245 4 0 0 20 0 19 0 183956479 19498610688 32703 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4760403 32703 5842 1 0 553896 0
[pid=983097/tid=983099] ppid=983094 vsize=19041612 memory=13120 CPUtime=1.47 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 6245 0 0 0 145 2 0 0 20 0 19 0 183956480 19498610688 32703 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183956482 19498610688 32703 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19041612 memory=2228 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183956483 19498610688 32703 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19041612 memory=1848 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183956493 19498610688 32703 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 130812 KiB

[startup+3.10584 s]
/proc/loadavg: 4.21 2.36 2.30 5/334 983117
/proc/meminfo: memFree=124784644/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=190980 CPUtime=4.43 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 21085 0 0 0 438 5 0 0 20 0 20 0 183956479 19566772224 47745 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 47745 5883 1 0 554205 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=0 CPUtime=3.06 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 6564 0 0 0 304 2 0 0 20 0 20 0 183956480 19566772224 47745 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=-8886844965629764284 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 47745 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 47745 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 47745 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190980 KiB

[startup+6.30832 s]
/proc/loadavg: 4.19 2.38 2.30 5/334 983119
/proc/meminfo: memFree=124605736/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=201292 CPUtime=7.71 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 23679 0 0 0 766 5 0 0 20 0 20 0 183956479 19566772224 50323 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 50323 5883 1 0 554269 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=2228 CPUtime=6.23 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 6979 0 0 0 621 2 0 0 20 0 20 0 183956480 19566772224 50323 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 50323 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 50323 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 50323 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201292 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 2.41 2.31 5/334 983119
/proc/meminfo: memFree=124457196/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=349364 CPUtime=14.2 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 25825 0 0 0 1411 9 0 0 20 0 20 0 183956479 19566772224 87341 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 87341 5883 1 0 554269 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=13120 CPUtime=12.46 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 7409 0 0 0 1244 2 0 0 20 0 20 0 183956480 19566772224 87341 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=306304 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 87341 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=44056 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 87341 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 87341 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 349364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.43 2.55 2.36 5/334 983122
/proc/meminfo: memFree=124015300/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=587312 CPUtime=27.12 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 28919 0 0 0 2697 15 0 0 20 0 20 0 183956479 19566772224 146828 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 146828 5883 1 0 554269 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=6943526294502006880 CPUtime=25.03 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 8223 0 0 0 2501 2 0 0 20 0 20 0 183956480 19566772224 146828 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 146828 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=3460 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 146828 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 146828 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 587312 KiB

[startup+51.1063 s]
/proc/loadavg: 4.54 2.73 2.43 5/334 983126
/proc/meminfo: memFree=122803024/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=1133188 CPUtime=52.72 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 33032 0 0 0 5246 26 0 0 20 0 20 0 183956479 19566772224 283297 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 283297 5883 1 0 660789 0

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

/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1650 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=-8886844965629764284 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3224.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.10 5/332 984916
/proc/meminfo: memFree=109248124/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3285.01 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 188702 0 0 0 328339 162 0 0 20 0 20 0 183956479 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672597 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3256.7 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 49939 0 0 0 325653 17 0 0 20 0 20 0 183956480 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=13120 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1650 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3285.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/332 984927
/proc/meminfo: memFree=109247456/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3344.97 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 189838 0 0 0 334334 163 0 0 20 0 20 0 183956479 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672597 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=11392 CPUtime=3316.52 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 50709 0 0 0 331635 17 0 0 20 0 20 0 183956480 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1736 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3344.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.11 6/331 984938
/proc/meminfo: memFree=109246668/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3405.02 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 191915 0 0 0 340337 165 0 0 20 0 20 0 183956479 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672597 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=11392 CPUtime=3376.26 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 51296 0 0 0 337608 18 0 0 20 0 20 0 183956480 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1743 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3405.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/330 985082
/proc/meminfo: memFree=111993580/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3464.83 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 193183 0 0 0 346316 167 0 0 20 0 20 0 183956479 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672597 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=11392 CPUtime=3435.72 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 52291 0 0 0 343554 18 0 0 20 0 20 0 183956480 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1743 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3464.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.37 4.23 4.13 5/333 986416
/proc/meminfo: memFree=125376788/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3524.4 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 194711 0 0 0 352271 169 0 0 20 0 20 0 183956479 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672597 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3495.07 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 52602 0 0 0 349489 18 0 0 20 0 20 0 183956480 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1790 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=2690388 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672597 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3524.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.22 4.13 5/333 986495
/proc/meminfo: memFree=125410848/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690396 CPUtime=3584.54 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 201956 0 0 0 358283 171 0 0 20 0 20 0 183956479 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672599 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=2690396 CPUtime=3554.53 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 53147 0 0 0 355435 18 0 0 20 0 20 0 183956480 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=2690396 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690396 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1790 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=11392 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3584.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.9 s]
/proc/loadavg: 4.28 4.23 4.14 5/333 986499
/proc/meminfo: memFree=125367168/131524600 swapFree=131071996/131071996
[pid=983097] ppid=983094 vsize=19108176 memory=2690396 CPUtime=3600.01 cores=1,3
/proc/983097/stat : 983097 (java) S 983094 983097 980838 0 -1 1077936128 202457 0 0 0 359830 171 0 0 20 0 20 0 183956479 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
/proc/983097/statm: 4777044 672599 5899 1 0 684679 0
[pid=983097/tid=983099] ppid=983094 vsize=19108176 memory=2690388 CPUtime=3570 cores=1,3
/proc/983097/task/983099/stat : 983099 (java) R 983094 983097 980838 0 -1 4194368 53646 0 0 0 356982 18 0 0 20 0 20 0 183956480 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983108] ppid=983094 vsize=19108176 memory=-8886844965629764284 CPUtime=0 cores=1,3
/proc/983097/task/983108/stat : 983108 (Finalizer) S 983094 983097 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183956482 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983115] ppid=983094 vsize=19108176 memory=2690396 CPUtime=0 cores=1,3
/proc/983097/task/983115/stat : 983115 (Common-Cleaner) S 983094 983097 980838 0 -1 1077936192 1790 0 0 0 0 0 0 0 20 0 20 0 183956483 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
[pid=983097/tid=983116] ppid=983094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/983097/task/983116/stat : 983116 (Timer-0) S 983094 983097 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183956493 19566772224 672599 134679101440 94484015431680 94484015435376 140733316930800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94484015443192 94484015443984 94484017360896 140733316932614 140733316932704 140733316932704 140733316939720 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2690396 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.45 s, system=1.72709 s

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

[startup+3598.01 s]*
/proc/loadavg: 4.28 4.23 4.14 4/328 986502
/proc/meminfo: memFree=125366436/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3598.03
CPU time (s): 3600.17
CPU user time (s): 3598.45
CPU system time (s): 1.72709
CPU usage (%): 100.06
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2690396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.45
system time used= 1.72709
maximum resident set size= 2692004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108781
involuntary context switches= 18990


# summary of solver processes directly reported to runsolver:
#   pid: 983097
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.45
#   total CPU system time (s): 1.72709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3971 second user time and 17.8277 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 17:51:35
IDJOB=4445024
IDBENCH=148097
IDSOLVER=3058
FILE ID=nodeC031/4445024-1721317882
RUNJOBID= nodeC031-1721317800-980850
SLURM_JOB_ID= 7542669
Free space on /tmp= 890052 MiB

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

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

MD5SUM BENCH= ff70f65d4e56aadb7819a27e192bee4f
RANDOM SEED=469884782

nodeC031.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		: 3669.992
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.55
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		: 3650.048
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.777
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.55
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.789
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.979
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.55
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		: 3674.283
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.983
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.55
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		: 3609.742
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124955044 kB
MemAvailable:   126054100 kB
Buffers:          468620 kB
Cached:          1462872 kB
SwapCached:            0 kB
Active:           963708 kB
Inactive:        4981264 kB
Active(anon):       1536 kB
Inactive(anon):  4049668 kB
Active(file):     962172 kB
Inactive(file):   931596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1480 kB
Writeback:             0 kB
AnonPages:       4011724 kB
Mapped:           126480 kB
Shmem:             37720 kB
KReclaimable:      89868 kB
Slab:             201012 kB
SReclaimable:      89868 kB
SUnreclaim:       111144 kB
KernelStack:        5072 kB
PageTables:        18028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11890452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3719168 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-18 18:51:33