Trace number 4432211

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)64 3600.23 3605.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUM01f07e427327757fda434ad4b1d2038d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432211-1721074035.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
0.33/0.24	c ... done. Wall clock time 0.111s.
0.33/0.24	c declared #vars     540
0.33/0.24	c #constraints  4626
0.33/0.24	c constraints type 
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.33/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.33/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.33/0.24	c 4626 constraints processed.
0.33/0.25	c objective function length is 180 literals
0.50/0.33	c SATISFIABLE
0.50/0.33	c OPTIMIZING...
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.206
0.50/0.34	o 82
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.246
0.50/0.37	o 78
0.90/0.58	c Got one! Elapsed wall clock time (in seconds):0.457
0.90/0.58	o 76
0.90/0.61	c Got one! Elapsed wall clock time (in seconds):0.481
1.09/0.61	o 70
1.47/0.89	c cleaning 3194 clauses out of 6400 with flag 18640/6400
2.20/1.44	c cleaning 4603 clauses out of 9206 with flag 67192/12400
2.93/2.14	c cleaning 5793 clauses out of 11602 with flag 136618/19399
3.77/2.99	c cleaning 6889 clauses out of 13809 with flag 222615/27399
4.81/3.97	c cleaning 7947 clauses out of 15921 with flag 336900/36400
5.89/5.03	c cleaning 8981 clauses out of 17973 with flag 453036/46399
6.00/5.18	c cleaning 9991 clauses out of 19992 with flag 476480/57399
6.19/5.37	c cleaning 11000 clauses out of 22002 with flag 502907/69400
6.40/5.58	c cleaning 12002 clauses out of 24003 with flag 531507/82401
6.71/5.81	c cleaning 12997 clauses out of 25999 with flag 562695/96399
6.90/6.08	c cleaning 13995 clauses out of 28002 with flag 596000/111399
7.30/6.42	c cleaning 15002 clauses out of 30008 with flag 632050/127400
7.62/6.76	c cleaning 15999 clauses out of 32005 with flag 669048/144399
8.04/7.15	c cleaning 17003 clauses out of 34006 with flag 710099/162399
8.44/7.59	c cleaning 17998 clauses out of 36003 with flag 755823/181399
8.94/8.09	c cleaning 19000 clauses out of 38005 with flag 803108/201399
9.43/8.55	c cleaning 19998 clauses out of 40006 with flag 850445/222400
9.94/9.05	c cleaning 20995 clauses out of 42007 with flag 899800/244399
10.63/9.71	c cleaning 22004 clauses out of 44012 with flag 951491/267399
11.12/10.25	c cleaning 23005 clauses out of 46009 with flag 1004576/291400
11.82/10.90	c cleaning 23997 clauses out of 48003 with flag 1060367/316399
12.42/11.54	c cleaning 25000 clauses out of 50007 with flag 1119947/342400
13.11/12.27	c cleaning 25999 clauses out of 52006 with flag 1180404/369399
13.92/13.10	c cleaning 27001 clauses out of 54008 with flag 1244333/397400
14.71/13.81	c cleaning 28004 clauses out of 56007 with flag 1312929/426400
15.60/14.75	c cleaning 29000 clauses out of 58002 with flag 1383159/456399
16.59/15.76	c cleaning 29998 clauses out of 60003 with flag 1454913/487400
17.48/16.69	c cleaning 30992 clauses out of 62004 with flag 1528968/519399
18.59/17.74	c cleaning 32001 clauses out of 64012 with flag 1605710/552399
19.49/18.66	c cleaning 32999 clauses out of 66011 with flag 1686273/586399
20.48/19.66	c cleaning 34002 clauses out of 68012 with flag 1769478/621399
21.57/20.75	c cleaning 34998 clauses out of 70010 with flag 1856569/657399
22.56/21.75	c cleaning 36002 clauses out of 72012 with flag 1945617/694399
23.48/22.68	c cleaning 37000 clauses out of 74011 with flag 2035039/732400
24.47/23.61	c cleaning 38001 clauses out of 76013 with flag 2128148/771402
25.46/24.61	c cleaning 39003 clauses out of 78010 with flag 2223517/811400
26.35/25.53	c cleaning 39997 clauses out of 80007 with flag 2321326/852400
27.36/26.59	c cleaning 40999 clauses out of 82010 with flag 2421624/894400
28.65/27.81	c cleaning 42006 clauses out of 84011 with flag 2523517/937400
30.03/29.28	c cleaning 43000 clauses out of 86005 with flag 2630965/981400
31.13/30.34	c cleaning 44003 clauses out of 88006 with flag 2742920/1026401
32.23/31.46	c cleaning 44999 clauses out of 90004 with flag 2859721/1072402
33.32/32.54	c cleaning 46000 clauses out of 92002 with flag 2976221/1119399
34.31/33.56	c cleaning 46997 clauses out of 94003 with flag 3091733/1167400
34.63/33.84	c Got one! Elapsed wall clock time (in seconds):33.718
34.63/33.85	o 68
34.95/34.12	c Got one! Elapsed wall clock time (in seconds):34.001
34.95/34.12	o 64
35.73/34.97	c cleaning 30231 clauses out of 60466 with flag 59864/1180860
36.93/36.16	c cleaning 18116 clauses out of 36235 with flag 147847/1186860
38.17/37.30	c cleaning 12544 clauses out of 25120 with flag 239531/1193861
39.42/38.50	c cleaning 10262 clauses out of 20575 with flag 348364/1201860
40.62/39.71	c cleaning 9651 clauses out of 19313 with flag 466369/1210860
42.02/41.13	c cleaning 9821 clauses out of 19662 with flag 609272/1220860
43.43/42.59	c cleaning 10415 clauses out of 20843 with flag 762414/1231862
45.25/44.34	c cleaning 11205 clauses out of 22426 with flag 937300/1243860
47.25/46.33	c cleaning 12104 clauses out of 24221 with flag 1140063/1256860
49.44/48.54	c cleaning 13049 clauses out of 26117 with flag 1351400/1270860
52.13/51.20	c cleaning 14027 clauses out of 28069 with flag 1593128/1285861
54.93/54.03	c cleaning 15018 clauses out of 30041 with flag 1838560/1301860
58.34/57.46	c cleaning 16003 clauses out of 32023 with flag 2134815/1318860
61.93/61.02	c cleaning 17003 clauses out of 34022 with flag 2430224/1336862
66.51/65.66	c cleaning 17999 clauses out of 36017 with flag 2764593/1355860
71.95/71.08	c cleaning 18994 clauses out of 38020 with flag 3181886/1375862
78.32/77.46	c cleaning 20005 clauses out of 40024 with flag 3657722/1396860
85.06/84.17	c cleaning 20997 clauses out of 42019 with flag 4163531/1418860
91.13/90.20	c cleaning 22011 clauses out of 44022 with flag 4593114/1441860
92.23/91.35	c cleaning 22999 clauses out of 46011 with flag 4700278/1465860
92.83/91.92	c cleaning 24004 clauses out of 48013 with flag 4762772/1490861
93.45/92.51	c cleaning 24998 clauses out of 50008 with flag 4829817/1516860
93.96/93.04	c cleaning 26002 clauses out of 52010 with flag 4889724/1543860
94.55/93.62	c cleaning 27001 clauses out of 54008 with flag 4957073/1571860
95.25/94.32	c cleaning 27998 clauses out of 56007 with flag 5026781/1600860
95.85/94.98	c cleaning 29003 clauses out of 58009 with flag 5102441/1630860
96.55/95.68	c cleaning 29995 clauses out of 60006 with flag 5177478/1661860
97.35/96.41	c cleaning 31003 clauses out of 62012 with flag 5254116/1693861
98.08/97.16	c cleaning 32003 clauses out of 64009 with flag 5332756/1726861
98.77/97.89	c cleaning 33002 clauses out of 66007 with flag 5414926/1760862
99.86/98.95	c cleaning 34001 clauses out of 68005 with flag 5502760/1795862
100.86/99.93	c cleaning 34996 clauses out of 70002 with flag 5598020/1831860
101.97/101.03	c cleaning 36000 clauses out of 72006 with flag 5689361/1868860
103.07/102.14	c cleaning 36997 clauses out of 74007 with flag 5785680/1906861
104.16/103.20	c cleaning 38002 clauses out of 76009 with flag 5885539/1945860
105.26/104.36	c cleaning 38998 clauses out of 78007 with flag 5988306/1985860
106.36/105.48	c cleaning 40001 clauses out of 80009 with flag 6100217/2026860
107.75/106.81	c cleaning 40997 clauses out of 82008 with flag 6215990/2068860
109.05/108.12	c cleaning 42007 clauses out of 84013 with flag 6336825/2111862
110.34/109.44	c cleaning 42994 clauses out of 86005 with flag 6458885/2155861
111.54/110.66	c cleaning 44001 clauses out of 88011 with flag 6579916/2200861
112.74/111.85	c cleaning 45003 clauses out of 90010 with flag 6704707/2246861
113.95/113.07	c cleaning 45999 clauses out of 92006 with flag 6831599/2293860
115.54/114.63	c cleaning 47002 clauses out of 94007 with flag 6958936/2341860
116.84/115.94	c cleaning 47996 clauses out of 96006 with flag 7086543/2390861
118.17/117.21	c cleaning 49003 clauses out of 98009 with flag 7226185/2440860
119.86/118.98	c cleaning 50001 clauses out of 100008 with flag 7362468/2491862
121.66/120.70	c cleaning 50996 clauses out of 102006 with flag 7498074/2543861
123.15/122.25	c cleaning 52003 clauses out of 104009 with flag 7637905/2596860
124.85/123.96	c cleaning 52997 clauses out of 106006 with flag 7780212/2650860
126.34/125.43	c cleaning 53998 clauses out of 108010 with flag 7922097/2705861
127.94/127.05	c cleaning 55005 clauses out of 110011 with flag 8070206/2761860
129.87/128.91	c cleaning 56003 clauses out of 112007 with flag 8223162/2818861
131.67/130.77	c cleaning 57000 clauses out of 114003 with flag 8381794/2876860
133.36/132.42	c cleaning 57991 clauses out of 116004 with flag 8533436/2935861
135.06/134.16	c cleaning 59006 clauses out of 118013 with flag 8690477/2995861
137.06/136.11	c cleaning 60000 clauses out of 120007 with flag 8849485/3056861
138.74/137.82	c cleaning 60995 clauses out of 122006 with flag 9015279/3118860
140.74/139.86	c cleaning 62004 clauses out of 124012 with flag 9193258/3181861
142.98/142.01	c cleaning 63002 clauses out of 126008 with flag 9363645/3245861
145.77/144.81	c cleaning 63996 clauses out of 128006 with flag 9537425/3310861
148.07/147.17	c cleaning 65003 clauses out of 130010 with flag 9713238/3376861
150.76/149.80	c cleaning 65998 clauses out of 132007 with flag 9895123/3443861
153.06/152.19	c cleaning 67002 clauses out of 134008 with flag 10072059/3511860
155.14/154.23	c cleaning 67999 clauses out of 136006 with flag 10250018/3580860
157.54/156.67	c cleaning 68998 clauses out of 138007 with flag 10432085/3650860
160.13/159.27	c cleaning 69998 clauses out of 140009 with flag 10618832/3721860
162.43/161.52	c cleaning 71003 clauses out of 142012 with flag 10804132/3793861
164.75/163.81	c cleaning 72003 clauses out of 144009 with flag 10996907/3866861
167.24/166.33	c cleaning 72998 clauses out of 146006 with flag 11198926/3940861
169.43/168.59	c cleaning 73998 clauses out of 148009 with flag 11396981/4015862
172.23/171.35	c cleaning 74998 clauses out of 150009 with flag 11607576/4091860
175.42/174.55	c cleaning 76000 clauses out of 152012 with flag 11830428/4168861
177.82/176.98	c cleaning 77005 clauses out of 154011 with flag 12057285/4246860
181.01/180.15	c cleaning 77995 clauses out of 156006 with flag 12302561/4325860
183.70/182.88	c cleaning 79003 clauses out of 158012 with flag 12534379/4405861
186.79/185.98	c cleaning 80002 clauses out of 160010 with flag 12791574/4486862
189.87/188.91	c cleaning 81002 clauses out of 162007 with flag 13034213/4568861
192.56/191.63	c cleaning 81997 clauses out of 164005 with flag 13270363/4651861
195.16/194.25	c cleaning 83001 clauses out of 166007 with flag 13511706/4735860
198.05/197.16	c cleaning 83998 clauses out of 168006 with flag 13756833/4820860
200.95/200.00	c cleaning 85003 clauses out of 170009 with flag 14005526/4906861
203.84/202.98	c cleaning 85996 clauses out of 172006 with flag 14251481/4993861
206.73/205.83	c cleaning 87002 clauses out of 174009 with flag 14482593/5081860
209.52/208.61	c cleaning 88002 clauses out of 176008 with flag 14720453/5170861
212.38/211.43	c cleaning 88997 clauses out of 178005 with flag 14961105/5260860
215.18/214.29	c cleaning 90002 clauses out of 180008 with flag 15206247/5351860
218.48/217.59	c cleaning 90998 clauses out of 182007 with flag 15457140/5443861
221.67/220.70	c cleaning 92000 clauses out of 184009 with flag 15711346/5536861
224.86/223.93	c cleaning 93003 clauses out of 186010 with flag 15970187/5630862
228.06/227.11	c cleaning 94001 clauses out of 188006 with flag 16235508/5725861
231.24/230.33	c cleaning 94996 clauses out of 190004 with flag 16498896/5821860
234.43/233.55	c cleaning 96001 clauses out of 192009 with flag 16766893/5918861
238.09/237.17	c cleaning 97000 clauses out of 194007 with flag 17042390/6016860
241.67/240.76	c cleaning 97999 clauses out of 196009 with flag 17318262/6115862
245.36/244.42	c cleaning 98999 clauses out of 198008 with flag 17603051/6215860
249.15/248.26	c cleaning 100005 clauses out of 200010 with flag 17889980/6316861
252.95/252.01	c cleaning 100997 clauses out of 202004 with flag 18183016/6418860
256.94/256.02	c cleaning 102003 clauses out of 204009 with flag 18471049/6521862
261.32/260.45	c cleaning 102998 clauses out of 206005 with flag 18776595/6625861
265.51/264.61	c cleaning 103998 clauses out of 208007 with flag 19068562/6730861
269.79/269.00	c cleaning 104999 clauses out of 210009 with flag 19368396/6836861
275.40/274.46	c cleaning 106003 clauses out of 212009 with flag 19682416/6943860
280.79/279.86	c cleaning 106996 clauses out of 214006 with flag 20000794/7051860
326.55/325.79	c cleaning 108005 clauses out of 216011 with flag 21332807/7160861
334.43/333.67	c cleaning 108998 clauses out of 218007 with flag 21726698/7270862
339.51/338.73	c cleaning 110003 clauses out of 220008 with flag 22010305/7381861
345.19/344.46	c cleaning 110998 clauses out of 222005 with flag 22267250/7493861
350.68/350.00	c cleaning 111998 clauses out of 224006 with flag 22522203/7606860
357.90/356.62	c cleaning 113004 clauses out of 226009 with flag 22782480/7720861
363.59/362.36	c cleaning 113999 clauses out of 228008 with flag 23038708/7835864
371.66/370.45	c cleaning 114997 clauses out of 230007 with flag 23312738/7951862
378.75/377.51	c cleaning 116004 clauses out of 232009 with flag 23572827/8068861
384.44/383.26	c cleaning 116990 clauses out of 234005 with flag 23836101/8186861
392.41/391.23	c cleaning 118004 clauses out of 236015 with flag 24106516/8305861
400.17/398.94	c cleaning 119002 clauses out of 238010 with flag 24372337/8425860
407.06/405.84	c cleaning 120003 clauses out of 240008 with flag 24647773/8546860
413.94/412.72	c cleaning 120999 clauses out of 242007 with flag 24928193/8668862
421.42/420.27	c cleaning 121997 clauses out of 244007 with flag 25206911/8791861
428.89/427.77	c cleaning 123004 clauses out of 246009 with flag 25502589/8915860
435.37/434.20	c cleaning 124001 clauses out of 248005 with flag 25813725/9040860
442.85/441.70	c cleaning 125002 clauses out of 250004 with flag 26129651/9166860
450.31/449.18	c cleaning 125994 clauses out of 252002 with flag 26429530/9293860
458.98/457.81	c cleaning 126998 clauses out of 254009 with flag 26724885/9421861
466.06/464.92	c cleaning 127995 clauses out of 256010 with flag 27043229/9550860
476.24/475.19	c cleaning 129003 clauses out of 258016 with flag 27368520/9680861
484.61/483.52	c cleaning 130004 clauses out of 260014 with flag 27692834/9811862
492.99/491.99	c cleaning 130999 clauses out of 262009 with flag 28030301/9943861
500.89/499.70	c cleaning 131998 clauses out of 264009 with flag 28351101/10076860
511.17/510.06	c cleaning 132996 clauses out of 266012 with flag 28650200/10210861
520.04/518.90	c cleaning 134007 clauses out of 268017 with flag 28956176/10345862
530.01/528.97	c cleaning 135002 clauses out of 270009 with flag 29278227/10481861
540.18/539.19	c cleaning 135997 clauses out of 272006 with flag 29580524/10618860
548.86/547.86	c cleaning 136998 clauses out of 274010 with flag 29915042/10756861
559.11/558.01	c cleaning 137994 clauses out of 276012 with flag 30262716/10895861
566.48/565.47	c cleaning 139007 clauses out of 278017 with flag 30627530/11035860
577.24/576.23	c cleaning 139994 clauses out of 280010 with flag 30972819/11176860
587.12/586.11	c cleaning 141000 clauses out of 282016 with flag 31313104/11318860
595.69/594.73	c cleaning 141995 clauses out of 284016 with flag 31662246/11461860
606.46/605.55	c cleaning 143006 clauses out of 286021 with flag 32006178/11605860
617.30/616.30	c cleaning 144001 clauses out of 288015 with flag 32365945/11750860
626.47/625.52	c cleaning 145003 clauses out of 290014 with flag 32728103/11896860
639.13/638.24	c cleaning 145998 clauses out of 292012 with flag 33077670/12043861
649.60/648.70	c cleaning 147000 clauses out of 294013 with flag 33437338/12191860
657.08/656.23	c cleaning 148002 clauses out of 296013 with flag 33811008/12340860
666.86/666.04	c cleaning 148993 clauses out of 298011 with flag 34195422/12490860
677.74/676.85	c cleaning 150004 clauses out of 300019 with flag 34539309/12641861
684.44/682.97	c cleaning 150992 clauses out of 302014 with flag 34874716/12793860
691.62/690.13	c cleaning 152007 clauses out of 304022 with flag 35222178/12946860
700.30/698.83	c cleaning 152999 clauses out of 306015 with flag 35604133/13100860
706.58/705.17	c cleaning 154004 clauses out of 308016 with flag 35992740/13255860
712.76/711.39	c cleaning 155001 clauses out of 310013 with flag 36360876/13411861
719.79/717.97	c cleaning 155998 clauses out of 312011 with flag 36733010/13568860
726.47/724.62	c cleaning 157004 clauses out of 314013 with flag 37137217/13726860
733.46/731.67	c cleaning 158000 clauses out of 316009 with flag 37520212/13885860
740.74/738.97	c cleaning 158995 clauses out of 318010 with flag 37900603/14045861
764.38/762.60	c cleaning 160003 clauses out of 320016 with flag 38622958/14206862
772.67/770.84	c cleaning 161004 clauses out of 322011 with flag 38991201/14368860
781.89/780.11	c cleaning 161997 clauses out of 324007 with flag 39364665/14531860
791.20/789.57	c cleaning 163000 clauses out of 326010 with flag 39737891/14695860
800.62/799.02	c cleaning 164004 clauses out of 328011 with flag 40114887/14860861
810.64/809.17	c cleaning 164995 clauses out of 330006 with flag 40495166/15026860
818.66/817.27	c cleaning 166001 clauses out of 332011 with flag 40864791/15193860
827.78/826.47	c cleaning 166999 clauses out of 334010 with flag 41237610/15361860
837.03/835.70	c cleaning 168000 clauses out of 336012 with flag 41604125/15530861
846.54/845.29	c cleaning 169004 clauses out of 338011 with flag 41991739/15700860
854.97/853.75	c cleaning 169993 clauses out of 340007 with flag 42390850/15871860
863.50/862.33	c cleaning 171000 clauses out of 342015 with flag 42803399/16043861
872.02/870.97	c cleaning 171996 clauses out of 344014 with flag 43223634/16216860
881.23/880.22	c cleaning 173004 clauses out of 346019 with flag 43642058/16390861
891.35/890.47	c cleaning 174002 clauses out of 348015 with flag 44097649/16565861
901.51/900.59	c cleaning 174998 clauses out of 350013 with flag 44550355/16741861
910.39/909.43	c cleaning 176002 clauses out of 352016 with flag 44989151/16918862
919.77/918.84	c cleaning 177001 clauses out of 354013 with flag 45429804/17096861
929.34/928.47	c cleaning 177993 clauses out of 356012 with flag 45864817/17275861
938.42/937.54	c cleaning 179006 clauses out of 358018 with flag 46305123/17455860
946.70/945.87	c cleaning 180004 clauses out of 360013 with flag 46772919/17636861
955.28/954.43	c cleaning 180998 clauses out of 362010 with flag 47219412/17818862
965.26/964.34	c cleaning 181997 clauses out of 364011 with flag 47672412/18001861
973.94/973.03	c cleaning 182999 clauses out of 366013 with flag 48140256/18185860
982.92/982.10	c cleaning 183992 clauses out of 368014 with flag 48612258/18370860
990.89/990.02	c cleaning 185006 clauses out of 370022 with flag 49053901/18556860
999.17/998.30	c cleaning 186007 clauses out of 372016 with flag 49511100/18743860
1010.25/1009.34	c cleaning 186999 clauses out of 374009 with flag 50012909/18931860
1022.33/1021.43	c cleaning 187998 clauses out of 376010 with flag 50516031/19120860
1031.80/1030.92	c cleaning 189000 clauses out of 378012 with flag 51030532/19310860
1044.17/1043.32	c cleaning 189995 clauses out of 380012 with flag 51563965/19501860
1053.64/1052.89	c cleaning 190999 clauses out of 382017 with flag 52089372/19693860
1063.51/1062.71	c cleaning 192004 clauses out of 384019 with flag 52638214/19886861
1076.03/1074.73	c cleaning 193006 clauses out of 386014 with flag 53161094/20080860
1085.65/1084.49	c cleaning 194002 clauses out of 388009 with flag 53640786/20275861
1095.96/1094.87	c cleaning 194989 clauses out of 390007 with flag 54119949/20471861
1106.26/1105.24	c cleaning 196005 clauses out of 392018 with flag 54585904/20668861
1116.44/1115.47	c cleaning 196999 clauses out of 394012 with flag 55055632/20866860
1128.51/1127.66	c cleaning 197998 clauses out of 396014 with flag 55614863/21065861
1138.62/1137.81	c cleaning 199004 clauses out of 398015 with flag 56062184/21265860
1153.89/1153.27	c cleaning 200001 clauses out of 400012 with flag 56512458/21466861
1165.78/1165.29	c cleaning 201003 clauses out of 402010 with flag 56969066/21668860
1178.17/1177.59	c cleaning 202001 clauses out of 404009 with flag 57463398/21871862
1194.54/1194.04	c cleaning 202998 clauses out of 406007 with flag 57964441/22075861
1206.14/1205.78	c cleaning 203996 clauses out of 408010 with flag 58462985/22280862
1216.84/1216.54	c cleaning 205000 clauses out of 410012 with flag 58948301/22486860
1228.05/1227.86	c cleaning 205998 clauses out of 412013 with flag 59441559/22693861
1238.56/1238.40	c cleaning 207005 clauses out of 414014 with flag 59939745/22901860
1250.74/1250.60	c cleaning 207999 clauses out of 416009 with flag 60439835/23110860
1262.43/1262.41	c cleaning 208999 clauses out of 418010 with flag 60951387/23320860
1276.01/1276.11	c cleaning 210005 clauses out of 420012 with flag 61466261/23531861
1288.59/1288.87	c cleaning 210995 clauses out of 422006 with flag 62032791/23743860
1302.38/1302.74	c cleaning 211997 clauses out of 424011 with flag 62634188/23956860
1316.55/1317.05	c cleaning 212994 clauses out of 426015 with flag 63271716/24170861
1332.10/1332.63	c cleaning 214006 clauses out of 428020 with flag 63901747/24385860
1376.98/1377.99	c cleaning 215006 clauses out of 430014 with flag 64997138/24601860
1401.36/1402.50	c cleaning 216003 clauses out of 432008 with flag 65754667/24818860
1416.03/1417.33	c cleaning 216998 clauses out of 434005 with flag 66291168/25036860
1436.15/1437.57	c cleaning 218001 clauses out of 436007 with flag 66847050/25255860
1453.25/1454.53	c cleaning 218999 clauses out of 438007 with flag 67423640/25475861
1469.88/1471.23	c cleaning 219997 clauses out of 440008 with flag 67998265/25696861
1488.65/1490.05	c cleaning 220999 clauses out of 442010 with flag 68575236/25918860
1506.89/1508.33	c cleaning 221997 clauses out of 444011 with flag 69183262/26141860
1524.63/1525.41	c cleaning 223002 clauses out of 446014 with flag 69828531/26365860
1540.89/1541.88	c cleaning 224006 clauses out of 448012 with flag 70461894/26590860
1558.57/1559.65	c cleaning 224998 clauses out of 450007 with flag 71098480/26816861
1576.20/1577.25	c cleaning 225998 clauses out of 452008 with flag 71715986/27043860
1594.54/1595.69	c cleaning 226996 clauses out of 454011 with flag 72341896/27271861
1611.41/1612.57	c cleaning 227993 clauses out of 456014 with flag 73014912/27500860
1627.66/1628.83	c cleaning 229006 clauses out of 458021 with flag 73693869/27730860
1647.72/1648.91	c cleaning 230004 clauses out of 460015 with flag 74350474/27961860
1671.43/1672.66	c cleaning 231000 clauses out of 462011 with flag 74994692/28193860
1688.68/1689.96	c cleaning 231998 clauses out of 464012 with flag 75689584/28426861
1706.54/1707.81	c cleaning 232998 clauses out of 466014 with flag 76315149/28660861
1723.59/1724.94	c cleaning 233996 clauses out of 468016 with flag 76916413/28895861
1746.65/1748.06	c cleaning 235008 clauses out of 470020 with flag 77559388/29131861
1768.22/1769.55	c cleaning 235999 clauses out of 472011 with flag 78199538/29368860
1786.37/1787.79	c cleaning 236999 clauses out of 474013 with flag 78867636/29606861
1806.92/1808.34	c cleaning 238003 clauses out of 476015 with flag 79512646/29845862
1827.68/1829.12	c cleaning 238996 clauses out of 478010 with flag 80226935/30085860
1846.53/1848.01	c cleaning 240003 clauses out of 480015 with flag 80899086/30326861
1864.56/1866.04	c cleaning 241000 clauses out of 482012 with flag 81583189/30568861
1882.11/1883.68	c cleaning 242000 clauses out of 484011 with flag 82290111/30811860
1899.76/1901.35	c cleaning 242997 clauses out of 486011 with flag 82987236/31055860
1917.80/1919.40	c cleaning 244008 clauses out of 488015 with flag 83673806/31300861
1936.15/1937.89	c cleaning 244996 clauses out of 490006 with flag 84349252/31546860
1949.72/1951.34	c cleaning 245995 clauses out of 492010 with flag 85012023/31793860
1964.98/1966.66	c cleaning 247004 clauses out of 494015 with flag 85685214/32041860
1989.60/1991.31	c cleaning 248001 clauses out of 496013 with flag 86484562/32290862
2007.15/2008.90	c cleaning 248999 clauses out of 498012 with flag 87087738/32540862
2022.68/2024.38	c cleaning 249997 clauses out of 500012 with flag 87693706/32791861
2041.63/2043.35	c cleaning 251004 clauses out of 502015 with flag 88402574/33043861
2056.40/2058.14	c cleaning 252001 clauses out of 504010 with flag 89125270/33296860
2070.16/2071.95	c cleaning 252997 clauses out of 506009 with flag 89780816/33550860
2087.51/2088.89	c cleaning 254001 clauses out of 508013 with flag 90363984/33805861
2104.36/2105.70	c cleaning 255000 clauses out of 510011 with flag 91054366/34061860
2119.32/2120.74	c cleaning 256000 clauses out of 512012 with flag 91825857/34318861
2175.42/2176.98	c cleaning 257003 clauses out of 514014 with flag 92885230/34576863
2238.63/2240.37	c cleaning 257995 clauses out of 516008 with flag 94178760/34835860
2258.18/2259.99	c cleaning 259003 clauses out of 518013 with flag 94782510/35095860
2278.32/2280.15	c cleaning 259999 clauses out of 520011 with flag 95450481/35356861
2298.79/2300.45	c cleaning 261000 clauses out of 522012 with flag 96111104/35618861
2318.64/2320.32	c cleaning 261995 clauses out of 524012 with flag 96730682/35881861
2342.19/2343.99	c cleaning 263002 clauses out of 526016 with flag 97366149/36145860
2359.44/2361.28	c cleaning 264004 clauses out of 528014 with flag 97969624/36410860
2374.79/2376.67	c cleaning 264997 clauses out of 530012 with flag 98570704/36676862
2394.13/2395.85	c cleaning 266002 clauses out of 532014 with flag 99210190/36943861
2411.08/2412.80	c cleaning 266997 clauses out of 534014 with flag 99846495/37211863
2428.24/2430.04	c cleaning 267999 clauses out of 536014 with flag 100535976/37480860
2444.21/2446.01	c cleaning 268998 clauses out of 538015 with flag 101232151/37750860
2461.06/2462.96	c cleaning 269999 clauses out of 540017 with flag 101906799/38021860
2483.70/2485.54	c cleaning 271003 clauses out of 542020 with flag 102531683/38293862
2502.65/2504.55	c cleaning 272002 clauses out of 544016 with flag 103171378/38566861
2524.99/2526.99	c cleaning 272998 clauses out of 546014 with flag 103823811/38840861
2541.55/2543.54	c cleaning 273992 clauses out of 548015 with flag 104500295/39115860
2564.77/2566.79	c cleaning 275006 clauses out of 550024 with flag 105157138/39391861
2586.19/2588.33	c cleaning 276005 clauses out of 552018 with flag 105808951/39668861
2606.22/2608.58	c cleaning 277002 clauses out of 554013 with flag 106438516/39946861
2631.90/2634.45	c cleaning 277999 clauses out of 556012 with flag 107113125/40225862
2650.59/2652.35	c cleaning 278997 clauses out of 558011 with flag 107755748/40505860
2673.52/2675.32	c cleaning 279996 clauses out of 560014 with flag 108451742/40786860
2691.48/2693.31	c cleaning 280999 clauses out of 562018 with flag 109145633/41068860
2710.62/2712.42	c cleaning 282002 clauses out of 564021 with flag 109851973/41351862
2729.88/2731.78	c cleaning 283005 clauses out of 566017 with flag 110559622/41635860
2753.72/2755.61	c cleaning 284004 clauses out of 568013 with flag 111307044/41920861
2772.24/2774.19	c cleaning 285000 clauses out of 570009 with flag 112043063/42206861
2787.69/2789.72	c cleaning 285991 clauses out of 572008 with flag 112795325/42493860
2806.03/2808.29	c cleaning 287004 clauses out of 574017 with flag 113497934/42781860
2825.95/2828.20	c cleaning 288000 clauses out of 576013 with flag 114202230/43070860
2858.77/2861.32	c cleaning 289002 clauses out of 578013 with flag 115076575/43360860
2878.19/2880.90	c cleaning 289998 clauses out of 580011 with flag 115764994/43651860
2968.66/2972.25	c cleaning 291001 clauses out of 582013 with flag 117119523/43943860
2992.52/2996.23	c cleaning 291999 clauses out of 584013 with flag 117839013/44236861
3013.84/3017.80	c cleaning 293002 clauses out of 586013 with flag 118583629/44530860
3188.07/3192.94	c cleaning 293996 clauses out of 588011 with flag 120439220/44825860
3254.23/3259.09	c cleaning 294996 clauses out of 590015 with flag 121506429/45121860
3281.16/3286.06	c cleaning 296003 clauses out of 592019 with flag 122236699/45418860
3304.30/3309.23	c cleaning 296997 clauses out of 594016 with flag 122946962/45716860
3325.53/3329.80	c cleaning 298000 clauses out of 596019 with flag 123655424/46015860
3349.97/3354.32	c cleaning 299001 clauses out of 598022 with flag 124439543/46315863
3377.24/3381.63	c cleaning 300005 clauses out of 600020 with flag 125233343/46616862
3403.58/3408.09	c cleaning 301000 clauses out of 602014 with flag 126062972/46918861
3432.10/3436.64	c cleaning 302000 clauses out of 604013 with flag 126896686/47221860
3461.54/3466.19	c cleaning 303004 clauses out of 606013 with flag 127738129/47525860
3490.36/3495.10	c cleaning 303998 clauses out of 608009 with flag 128599209/47830860
3510.48/3515.39	c cleaning 304998 clauses out of 610011 with flag 129401406/48136860
3533.17/3538.28	c cleaning 305997 clauses out of 612015 with flag 130090735/48443862
3556.08/3561.33	c cleaning 307000 clauses out of 614016 with flag 130779058/48751860
3579.79/3585.16	c cleaning 308004 clauses out of 616016 with flag 131478453/49060860
3597.04/3602.55	c cleaning 308997 clauses out of 618013 with flag 132174760/49370861
3600.02/3605.53	c starts		: 7144
3600.02/3605.53	c conflicts		: 49400541
3600.02/3605.53	c decisions		: 54182393
3600.02/3605.53	c propagations		: 761722191
3600.02/3605.53	c inspects		: 34694986237
3600.02/3605.53	c shortcuts		: 0
3600.02/3605.53	c learnt literals	: 0
3600.02/3605.53	c learnt binary clauses	: 5
3600.02/3605.53	c learnt ternary clauses	: 20
3600.02/3605.53	c learnt constraints	: 49400541
3600.02/3605.53	c ignored constraints	: 0
3600.02/3605.53	c root simplifications	: 0
3600.02/3605.53	c removed literals (reason simplification)	: 0
3600.02/3605.53	c reason swapping (by a shorter reason)	: 0
3600.02/3605.53	c Calls to reduceDB	: 350
3600.02/3605.53	c Number of update (reduction) of LBD	: 2539963
3600.02/3605.53	c Imported unit clauses	: 0
3600.02/3605.53	c No decision after first conflict	: false
3600.02/3605.53	c number of reductions to clauses (during analyze)	: 0
3600.02/3605.53	c number of learned constraints concerned by reduction	: 0
3600.02/3605.53	c number of learning phase by resolution	: 0
3600.02/3605.53	c number of learning phase by cutting planes	: 0
3600.02/3605.53	c number of rounding to 1 operations	: 0
3600.02/3605.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3605.53	c number of reductions of the coefficients by power 2 	: 0
3600.02/3605.53	c number of right shift for reduction by power 2 	: 0
3600.02/3605.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3605.53	c number of ending skipping 	: 0
3600.02/3605.53	c number of internal skipping 	: 0
3600.02/3605.53	c number of derivation steps 	: 0
3600.02/3605.53	c number of skipped derivation steps 	: 0
3600.02/3605.53	c number of remaining unassigned 	: 0
3600.02/3605.53	c number of remaining assigned 	: 0
3600.02/3605.53	c number of falsified literals weakened from reason	: 0
3600.02/3605.53	c number of falsified literals weakened from conflict	: 0
3600.02/3605.53	c time for arithmetic operations	: 0
3600.02/3605.53	c minimum degree of deleted constraints	: null
3600.02/3605.53	c maximum degree of deleted constraints	: null
3600.02/3605.53	c number of deleted constraints	: 0
3600.02/3605.53	c speed (assignments/second)	: 211280.03094356516
3600.02/3605.53	c non guided choices	: 953
3600.02/3605.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 338691
3600.02/3605.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.02/3605.60	s SATISFIABLE
3600.02/3605.60	c Found 6 solution(s)
3600.02/3605.60	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 x432 x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 
3600.02/3605.60	c objective function=64
3600.02/3605.60	c Total wall clock time (in seconds): 3605.477

Verifier Data 

OK	64

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59686 MiB free)
  memory of node 1: 64473 MiB (58504 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432211-1721074035/watcher-4432211-1721074035 -o /tmp/evaluation-result-4432211-1721074035/solver-4432211-1721074035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815592 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432211-1721074035.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100188 s]*
/proc/loadavg: 4.42 4.26 4.19 7/328 817960
/proc/meminfo: memFree=120983800/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=18975048 memory=64636 CPUtime=0.13 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 7067 0 0 0 11 2 0 0 20 0 18 0 159566998 19430449152 16159 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4743762 16159 5670 1 0 549317 0
[pid=817942/tid=817944] ppid=817939 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 1077936192 5642 0 0 0 7 1 0 0 20 0 18 0 159566998 19430449152 16159 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159567001 19430449152 16159 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159567001 19430449152 16159 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64636 KiB

[startup+0.206344 s]*
/proc/loadavg: 4.42 4.26 4.19 7/328 817960
/proc/meminfo: memFree=120968824/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=18975280 memory=80336 CPUtime=0.33 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 7957 0 0 0 31 2 0 0 20 0 18 0 159566998 19430686720 20084 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4743820 20084 5835 1 0 549917 0
[pid=817942/tid=817944] ppid=817939 vsize=18975280 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 5841 0 0 0 17 1 0 0 20 0 18 0 159566998 19430686720 20084 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=18975280 memory=1623 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159567001 19430686720 20084 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159567001 19430449152 20084 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975280 KiB
Current children cumulated memory: 80336 KiB

[startup+0.305689 s]*
/proc/loadavg: 4.42 4.26 4.19 7/329 817961
/proc/meminfo: memFree=120958956/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19041612 memory=90036 CPUtime=0.5 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 9157 0 0 0 48 2 0 0 20 0 19 0 159566998 19498610688 22509 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4760403 22509 5873 1 0 550938 0
[pid=817942/tid=817944] ppid=817939 vsize=19041612 memory=-8528235932633375420 CPUtime=0.24 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 5946 0 0 0 23 1 0 0 20 0 19 0 159566998 19498610688 22509 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 22509 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 22509 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159567024 19498610688 22509 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90036 KiB

[startup+0.700343 s]
/proc/loadavg: 4.42 4.26 4.19 6/329 817961
/proc/meminfo: memFree=120951584/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19041612 memory=99168 CPUtime=1.27 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 10044 0 0 0 124 3 0 0 20 0 19 0 159566998 19498610688 24792 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4760403 24792 5873 1 0 551542 0
[pid=817942/tid=817944] ppid=817939 vsize=19041612 memory=12292 CPUtime=0.6 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 5972 0 0 0 59 1 0 0 20 0 19 0 159566998 19498610688 24792 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19041612 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 24792 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 24792 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19041612 memory=5484 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159567024 19498610688 24792 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99168 KiB

[startup+1.50034 s]
/proc/loadavg: 4.42 4.26 4.19 5/329 817961
/proc/meminfo: memFree=120941716/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19041612 memory=113088 CPUtime=2.31 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 13006 0 0 0 228 3 0 0 20 0 19 0 159566998 19498610688 28272 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4760403 28272 5873 1 0 552384 0
[pid=817942/tid=817944] ppid=817939 vsize=19041612 memory=12292 CPUtime=1.39 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 6391 0 0 0 137 2 0 0 20 0 19 0 159566998 19498610688 28272 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 28272 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 28272 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159567024 19498610688 28272 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 113088 KiB

[startup+3.10636 s]
/proc/loadavg: 4.42 4.26 4.19 5/329 817963
/proc/meminfo: memFree=120918932/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19041612 memory=131620 CPUtime=4.02 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 14973 0 0 0 398 4 0 0 20 0 19 0 159566998 19498610688 32905 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4760403 32905 5873 1 0 552389 0
[pid=817942/tid=817944] ppid=817939 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 6667 0 0 0 296 2 0 0 20 0 19 0 159566998 19498610688 32905 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 32905 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19041612 memory=117184 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159567001 19498610688 32905 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19041612 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159567024 19498610688 32905 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131620 KiB

[startup+6.30036 s]
/proc/loadavg: 4.38 4.25 4.19 5/330 817964
/proc/meminfo: memFree=120872496/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=175940 CPUtime=7.2 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 17768 0 0 0 714 6 0 0 20 0 20 0 159566998 19566772224 43985 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 43985 5901 1 0 552678 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=12292 CPUtime=6.13 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 7291 0 0 0 610 3 0 0 20 0 20 0 159566998 19566772224 43985 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 43985 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 43985 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 43985 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175940 KiB

[startup+12.7003 s]
/proc/loadavg: 4.35 4.25 4.19 5/330 817964
/proc/meminfo: memFree=120866252/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=196696 CPUtime=13.62 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 21026 0 0 0 1355 7 0 0 20 0 20 0 159566998 19566772224 49174 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 49174 5917 1 0 552678 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=0 CPUtime=12.44 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 7798 0 0 0 1241 3 0 0 20 0 20 0 159566998 19566772224 49174 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=182252 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 49174 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 49174 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 49174 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 13.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196696 KiB

[startup+25.5003 s]
/proc/loadavg: 4.57 4.30 4.20 6/331 818172
/proc/meminfo: memFree=124476072/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=244020 CPUtime=26.35 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 23126 0 0 0 2627 8 0 0 20 0 20 0 159566998 19566772224 61005 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 61005 5917 1 0 552678 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=6944656592387989600 CPUtime=25.07 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 8759 0 0 0 2504 3 0 0 20 0 20 0 159566998 19566772224 61005 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=244020 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 61005 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=244020 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 61005 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 61005 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 26.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 244020 KiB

[startup+51.1057 s]
/proc/loadavg: 4.63 4.34 4.22 5/330 818240
/proc/meminfo: memFree=120853408/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=360928 CPUtime=52.04 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 32260 0 0 0 5193 11 0 0 20 0 20 0 159566998 19566772224 90232 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 90232 5933 1 0 552936 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=360928 CPUtime=50.39 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 10501 0 0 0 5036 3 0 0 20 0 20 0 159566998 19566772224 90232 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0

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

/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548407 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=2193628 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548407 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=2193628 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548407 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3217.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.30 4.36 5/335 820674
/proc/meminfo: memFree=120314816/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193648 CPUtime=3277.47 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 150465 0 0 0 327598 149 0 0 20 0 20 0 159566998 19566772224 548412 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548412 5933 1 0 563761 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=2193648 CPUtime=3259.81 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 52843 0 0 0 325958 23 0 0 20 0 20 0 159566998 19566772224 548412 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=2193648 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548412 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548412 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=2193648 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548412 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3277.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.34 5/335 820750
/proc/meminfo: memFree=120129328/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193676 CPUtime=3338 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 153141 0 0 0 333648 152 0 0 20 0 20 0 159566998 19566772224 548419 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548419 5933 1 0 563777 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=11636 CPUtime=3319.5 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 53212 0 0 0 331927 23 0 0 20 0 20 0 159566998 19566772224 548419 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=39408 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548419 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=41036 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2062 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548419 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=2193676 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548419 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3338 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.24 4.33 5/335 820764
/proc/meminfo: memFree=119785640/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193684 CPUtime=3397.88 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 154133 0 0 0 339635 153 0 0 20 0 20 0 159566998 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548421 5933 1 0 563777 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=41036 CPUtime=3379.28 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 53457 0 0 0 337905 23 0 0 20 0 20 0 159566998 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2104 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=-8528235932633375420 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3397.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.23 4.31 5/333 820774
/proc/meminfo: memFree=119227028/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193684 CPUtime=3457.74 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 154417 0 0 0 345617 157 0 0 20 0 20 0 159566998 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548421 5933 1 0 563777 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=41036 CPUtime=3439.1 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 53737 0 0 0 343886 24 0 0 20 0 20 0 159566998 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2104 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=2193684 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548421 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3457.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.26 4.32 5/331 820785
/proc/meminfo: memFree=118459168/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193688 CPUtime=3517.41 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 154700 0 0 0 351582 159 0 0 20 0 20 0 159566998 19566772224 548422 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548422 5933 1 0 563777 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=2193684 CPUtime=3498.5 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 53832 0 0 0 349826 24 0 0 20 0 20 0 159566998 19566772224 548422 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=2193688 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548422 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2104 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548422 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548422 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3517.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.25 4.31 5/330 820795
/proc/meminfo: memFree=118429996/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193772 CPUtime=3577.01 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 155158 0 0 0 357541 160 0 0 20 0 20 0 159566998 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548443 5933 1 0 563788 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=2193688 CPUtime=3557.81 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 53994 0 0 0 355757 24 0 0 20 0 20 0 159566998 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2104 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3577.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.5 s]
/proc/loadavg: 4.32 4.26 4.31 5/330 820802
/proc/meminfo: memFree=118396340/131524600 swapFree=131071996/131071996
[pid=817942] ppid=817939 vsize=19108176 memory=2193772 CPUtime=3600.02 cores=0,2
/proc/817942/stat : 817942 (java) S 817939 817942 815582 0 -1 1077936128 155455 0 0 0 359841 161 0 0 20 0 20 0 159566998 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
/proc/817942/statm: 4777044 548443 5933 1 0 563788 0
[pid=817942/tid=817944] ppid=817939 vsize=19108176 memory=2193772 CPUtime=3580.79 cores=0,2
/proc/817942/task/817944/stat : 817944 (java) R 817939 817942 815582 0 -1 4194368 54231 0 0 0 358055 24 0 0 20 0 20 0 159566998 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817953] ppid=817939 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/817942/task/817953/stat : 817953 (Finalizer) S 817939 817942 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817960] ppid=817939 vsize=19108176 memory=2167028 CPUtime=0 cores=0,2
/proc/817942/task/817960/stat : 817960 (Common-Cleaner) S 817939 817942 815582 0 -1 1077936192 2147 0 0 0 0 0 0 0 20 0 20 0 159567001 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
[pid=817942/tid=817961] ppid=817939 vsize=19108176 memory=2193772 CPUtime=0 cores=0,2
/proc/817942/task/817961/stat : 817961 (Timer-0) S 817939 817942 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159567024 19566772224 548443 134679101440 94229960708096 94229960711792 140726723838704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94229960719608 94229960720400 94229971578880 140726723847175 140726723847265 140726723847265 140726723854280 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193772 KiB

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

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

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

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

[startup+3605.61 s]*
/proc/loadavg: 4.32 4.26 4.31 5/312 820805
/proc/meminfo: memFree=120565096/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): 3605.62
CPU time (s): 3600.23
CPU user time (s): 3598.6
CPU system time (s): 1.6247
CPU usage (%): 99.8503
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2193772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.6247
maximum resident set size= 2195432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106344
involuntary context switches= 31179


# summary of solver processes directly reported to runsolver:
#   pid: 817942
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.6247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.55014 second user time and 16.8197 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 22:07:28
IDJOB=4432211
IDBENCH=147020
IDSOLVER=3058
FILE ID=nodeC020/4432211-1721074035
RUNJOBID= nodeC020-1721070467-815592
SLURM_JOB_ID= 7505528
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432211-1721074035/watcher-4432211-1721074035 -o /tmp/evaluation-result-4432211-1721074035/solver-4432211-1721074035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815592 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432211-1721074035.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=640481264

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121027464 kB
MemAvailable:   122532276 kB
Buffers:          377920 kB
Cached:          1952084 kB
SwapCached:            0 kB
Active:           606328 kB
Inactive:        9258716 kB
Active(anon):       1568 kB
Inactive(anon):  7571232 kB
Active(file):     604760 kB
Inactive(file):  1687484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               868 kB
Writeback:           156 kB
AnonPages:       7533076 kB
Mapped:           123440 kB
Shmem:             37720 kB
KReclaimable:     104784 kB
Slab:             212088 kB
SReclaimable:     104784 kB
SUnreclaim:       107304 kB
KernelStack:        5008 kB
PageTables:        24908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7997552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7200768 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-15 23:07:34