Trace number 4445114

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.27 3595.44

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
MD5SUMf9ddfe14fcbe08e4d315c2b284f6e91e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.008239
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables70
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint70
Maximum length of a constraint70
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 89716839
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 865734046
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4445114-1721318574.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.008s.
0.13/0.14	c declared #vars     70
0.13/0.14	c #constraints  2
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.13/0.14	c 2 constraints processed.
0.72/0.45	c cleaning 2501 clauses out of 5001 with flag 10002/5001
1.08/0.68	c cleaning 4250 clauses out of 8500 with flag 22003/11001
1.87/1.01	c cleaning 5625 clauses out of 11250 with flag 36003/18001
2.07/1.14	c cleaning 6813 clauses out of 13625 with flag 52003/26001
2.24/1.28	c cleaning 7906 clauses out of 15811 with flag 70001/35000
2.51/1.43	c cleaning 8952 clauses out of 17906 with flag 90003/45001
2.86/1.60	c cleaning 9972 clauses out of 19953 with flag 112001/56000
2.96/1.78	c cleaning 10990 clauses out of 21981 with flag 136002/68000
3.15/1.97	c cleaning 11996 clauses out of 23992 with flag 162004/81001
3.45/2.20	c cleaning 12998 clauses out of 25996 with flag 190005/95001
3.65/2.43	c cleaning 13997 clauses out of 27998 with flag 220005/110001
3.85/2.68	c cleaning 14997 clauses out of 30000 with flag 252003/126000
4.20/2.98	c cleaning 16002 clauses out of 32003 with flag 286003/143000
4.50/3.29	c cleaning 16996 clauses out of 34001 with flag 322004/161000
4.90/3.62	c cleaning 18003 clauses out of 36005 with flag 360004/180000
5.20/3.92	c cleaning 18997 clauses out of 38004 with flag 400008/200002
5.49/4.26	c cleaning 20001 clauses out of 40007 with flag 442008/221002
5.89/4.60	c cleaning 20997 clauses out of 42004 with flag 486005/243000
6.29/5.02	c cleaning 21999 clauses out of 44008 with flag 532007/266001
6.78/5.52	c cleaning 23000 clauses out of 46008 with flag 580007/290000
7.30/6.02	c cleaning 24004 clauses out of 48008 with flag 630007/315000
7.79/6.56	c cleaning 24999 clauses out of 50004 with flag 682009/341000
8.29/7.10	c cleaning 26003 clauses out of 52005 with flag 736009/368000
8.99/7.70	c cleaning 26998 clauses out of 54004 with flag 792013/396002
9.69/8.45	c cleaning 27999 clauses out of 56004 with flag 850010/425000
10.41/9.13	c cleaning 28994 clauses out of 58005 with flag 910010/455000
10.91/9.69	c cleaning 30005 clauses out of 60012 with flag 972012/486001
11.60/10.39	c cleaning 31004 clauses out of 62007 with flag 1036013/518001
12.31/11.07	c cleaning 32001 clauses out of 64003 with flag 1102014/551001
13.03/11.78	c cleaning 32997 clauses out of 66001 with flag 1170013/585000
13.83/12.53	c cleaning 34002 clauses out of 68004 with flag 1240014/620000
14.63/13.33	c cleaning 35002 clauses out of 70003 with flag 1312016/656001
15.51/14.19	c cleaning 35997 clauses out of 72000 with flag 1386014/693000
16.41/15.02	c cleaning 37000 clauses out of 74004 with flag 1462018/731001
17.21/15.86	c cleaning 37997 clauses out of 76003 with flag 1540016/770000
18.01/16.62	c cleaning 39004 clauses out of 78007 with flag 1620018/810001
19.10/17.73	c cleaning 39997 clauses out of 80002 with flag 1702016/851000
20.00/18.61	c cleaning 41000 clauses out of 82005 with flag 1786022/893000
21.00/19.65	c cleaning 42001 clauses out of 84008 with flag 1872031/936003
22.13/20.71	c cleaning 42995 clauses out of 86004 with flag 1960026/980000
23.24/21.88	c cleaning 44000 clauses out of 88010 with flag 2050028/1025001
24.63/23.26	c cleaning 45004 clauses out of 90009 with flag 2142026/1071000
25.84/24.44	c cleaning 45999 clauses out of 92006 with flag 2236030/1118001
27.04/25.63	c cleaning 47003 clauses out of 94007 with flag 2332030/1166001
28.44/27.08	c cleaning 48000 clauses out of 96003 with flag 2430028/1215000
29.86/28.49	c cleaning 48993 clauses out of 98004 with flag 2530035/1265001
31.26/29.84	c cleaning 50002 clauses out of 100010 with flag 2632033/1316000
32.57/31.14	c cleaning 51002 clauses out of 102009 with flag 2736037/1368001
33.95/32.50	c cleaning 52002 clauses out of 104008 with flag 2842042/1421002
35.26/33.82	c cleaning 52997 clauses out of 106004 with flag 2950038/1475000
36.61/35.19	c cleaning 54000 clauses out of 108007 with flag 3060038/1530000
38.20/36.75	c cleaning 55003 clauses out of 110008 with flag 3172040/1586001
39.70/38.28	c cleaning 56000 clauses out of 112004 with flag 3286039/1643000
41.32/39.84	c cleaning 56999 clauses out of 114005 with flag 3402042/1701001
42.92/41.48	c cleaning 58002 clauses out of 116005 with flag 3520043/1760000
45.06/43.54	c cleaning 59002 clauses out of 118004 with flag 3640054/1820001
47.15/45.69	c cleaning 59998 clauses out of 120003 with flag 3762062/1881002
49.45/47.96	c cleaning 60996 clauses out of 122003 with flag 3886064/1943000
51.58/50.00	c cleaning 61998 clauses out of 124007 with flag 4012072/2006000
53.37/51.87	c cleaning 63002 clauses out of 126010 with flag 4140076/2070001
55.27/53.72	c cleaning 63997 clauses out of 128007 with flag 4270077/2135000
57.21/55.69	c cleaning 65003 clauses out of 130010 with flag 4402086/2201000
59.21/57.66	c cleaning 66001 clauses out of 132009 with flag 4536103/2268002
61.80/60.25	c cleaning 66999 clauses out of 134008 with flag 4672112/2336002
63.64/62.10	c cleaning 68003 clauses out of 136008 with flag 4810114/2405001
65.53/63.93	c cleaning 68999 clauses out of 138004 with flag 4950115/2475000
67.53/65.97	c cleaning 70002 clauses out of 140005 with flag 5092123/2546000
69.85/68.25	c cleaning 71002 clauses out of 142004 with flag 5236133/2618001
71.85/70.29	c cleaning 71999 clauses out of 144001 with flag 5382143/2691000
73.86/72.24	c cleaning 72998 clauses out of 146002 with flag 5530165/2765000
76.26/74.69	c cleaning 74003 clauses out of 148005 with flag 5680208/2840001
78.78/77.17	c cleaning 75000 clauses out of 150002 with flag 5832209/2916001
81.27/79.67	c cleaning 75998 clauses out of 152001 with flag 5986211/2993000
83.77/82.13	c cleaning 77003 clauses out of 154005 with flag 6142224/3071002
86.26/84.68	c cleaning 77998 clauses out of 156001 with flag 6300224/3150001
89.93/88.22	c cleaning 78998 clauses out of 158003 with flag 6460228/3230001
92.62/90.91	c cleaning 79998 clauses out of 160004 with flag 6622241/3311000
95.12/93.44	c cleaning 81003 clauses out of 162006 with flag 6786241/3393000
98.11/96.48	c cleaning 81999 clauses out of 164003 with flag 6952244/3476000
100.98/99.20	c cleaning 83000 clauses out of 166005 with flag 7120247/3560001
104.97/103.24	c cleaning 84002 clauses out of 168004 with flag 7290250/3645000
108.16/106.43	c cleaning 85001 clauses out of 170002 with flag 7462254/3731000
110.95/109.25	c cleaning 85996 clauses out of 172001 with flag 7636256/3818000
114.86/112.74	c cleaning 86997 clauses out of 174006 with flag 7812260/3906001
117.56/115.44	c cleaning 88003 clauses out of 176009 with flag 7990262/3995001
121.25/119.15	c cleaning 89001 clauses out of 178007 with flag 8170267/4085002
124.44/122.34	c cleaning 89998 clauses out of 180005 with flag 8352275/4176001
128.14/126.05	c cleaning 90998 clauses out of 182006 with flag 8536274/4268000
131.24/129.11	c cleaning 92003 clauses out of 184008 with flag 8722279/4361000
134.68/132.56	c cleaning 92999 clauses out of 186006 with flag 8910294/4455001
138.18/136.01	c cleaning 93998 clauses out of 188007 with flag 9100301/4550001
141.56/139.47	c cleaning 95001 clauses out of 190008 with flag 9292304/4646000
145.16/143.00	c cleaning 95998 clauses out of 192007 with flag 9486304/4743000
148.95/146.87	c cleaning 96998 clauses out of 194009 with flag 9682324/4841000
152.55/150.40	c cleaning 98000 clauses out of 196011 with flag 9880324/4940000
156.04/153.95	c cleaning 99002 clauses out of 198013 with flag 10080342/5040002
159.43/157.33	c cleaning 100004 clauses out of 200009 with flag 10282339/5141000
163.73/161.61	c cleaning 101002 clauses out of 202005 with flag 10486345/5243000
168.02/165.92	c cleaning 101999 clauses out of 204003 with flag 10692346/5346000
171.62/169.56	c cleaning 102998 clauses out of 206004 with flag 10900352/5450000
176.61/174.54	c cleaning 104003 clauses out of 208008 with flag 11110360/5555002
181.51/179.45	c cleaning 105002 clauses out of 210003 with flag 11322361/5661000
186.11/184.02	c cleaning 105994 clauses out of 212001 with flag 11536362/5768000
191.43/189.25	c cleaning 107002 clauses out of 214009 with flag 11752370/5876002
196.03/193.87	c cleaning 107997 clauses out of 216005 with flag 11970376/5985000
201.92/199.73	c cleaning 109003 clauses out of 218009 with flag 12190378/6095001
206.51/204.32	c cleaning 109999 clauses out of 220005 with flag 12412387/6206000
211.00/208.86	c cleaning 110997 clauses out of 222007 with flag 12636391/6318001
215.20/213.10	c cleaning 112001 clauses out of 224010 with flag 12862398/6431001
220.79/218.50	c cleaning 113004 clauses out of 226011 with flag 13090410/6545003
224.69/222.42	c cleaning 114001 clauses out of 228005 with flag 13320410/6660001
229.48/227.28	c cleaning 115001 clauses out of 230003 with flag 13552408/6776000
234.47/232.29	c cleaning 115999 clauses out of 232002 with flag 13786410/6893000
239.27/237.05	c cleaning 116999 clauses out of 234003 with flag 14022414/7011000
244.48/242.22	c cleaning 117998 clauses out of 236005 with flag 14260416/7130001
248.77/246.52	c cleaning 119000 clauses out of 238006 with flag 14500417/7250000
255.76/253.57	c cleaning 120004 clauses out of 240008 with flag 14742427/7371002
263.35/261.12	c cleaning 120992 clauses out of 242002 with flag 14986423/7493000
267.35/265.11	c cleaning 122004 clauses out of 244011 with flag 15232425/7616001
272.04/269.82	c cleaning 122998 clauses out of 246006 with flag 15480430/7740000
276.53/274.33	c cleaning 123997 clauses out of 248009 with flag 15730433/7865001
281.72/279.42	c cleaning 125002 clauses out of 250011 with flag 15982431/7991000
286.11/283.88	c cleaning 126005 clauses out of 252012 with flag 16236439/8118003
291.00/288.77	c cleaning 126999 clauses out of 254005 with flag 16492440/8246001
295.30/293.03	c cleaning 127998 clauses out of 256006 with flag 16750442/8375001
300.29/298.10	c cleaning 128998 clauses out of 258008 with flag 17010450/8505001
305.58/303.31	c cleaning 129998 clauses out of 260009 with flag 17272451/8636000
311.22/308.93	c cleaning 131001 clauses out of 262012 with flag 17536454/8768001
317.26/315.04	c cleaning 132000 clauses out of 264010 with flag 17802457/8901000
324.50/322.38	c cleaning 133004 clauses out of 266011 with flag 18070493/9035001
329.76/327.64	c cleaning 133998 clauses out of 268007 with flag 18340506/9170001
335.81/333.66	c cleaning 134999 clauses out of 270008 with flag 18612504/9306000
341.36/339.22	c cleaning 136000 clauses out of 272011 with flag 18886528/9443002
347.71/345.67	c cleaning 136999 clauses out of 274009 with flag 19162531/9581000
354.54/352.53	c cleaning 138005 clauses out of 276010 with flag 19440535/9720000
360.19/358.21	c cleaning 138996 clauses out of 278005 with flag 19720536/9860000
369.33/367.00	c cleaning 140001 clauses out of 280009 with flag 20002552/10001000
374.71/372.43	c cleaning 141003 clauses out of 282009 with flag 20286561/10143001
380.10/377.82	c cleaning 141999 clauses out of 284006 with flag 20572563/10286001
385.70/383.45	c cleaning 143004 clauses out of 286007 with flag 20860573/10430001
392.69/390.45	c cleaning 144002 clauses out of 288003 with flag 21150576/10575001
399.50/397.12	c cleaning 145000 clauses out of 290001 with flag 21442578/10721001
406.39/404.02	c cleaning 145999 clauses out of 292001 with flag 21736582/10868001
412.87/410.52	c cleaning 147001 clauses out of 294001 with flag 22032581/11016000
421.17/418.81	c cleaning 148001 clauses out of 296001 with flag 22330584/11165001
431.05/428.75	c cleaning 148994 clauses out of 298000 with flag 22630585/11315001
437.64/435.38	c cleaning 149999 clauses out of 300006 with flag 22932595/11466001
444.22/441.84	c cleaning 150998 clauses out of 302006 with flag 23236594/11618000
450.66/448.36	c cleaning 152004 clauses out of 304009 with flag 23542623/11771001
458.00/455.78	c cleaning 153001 clauses out of 306005 with flag 23850627/11925001
466.03/463.88	c cleaning 154000 clauses out of 308003 with flag 24160631/12080000
474.16/472.04	c cleaning 155001 clauses out of 310004 with flag 24472640/12236001
484.08/481.94	c cleaning 155994 clauses out of 312002 with flag 24786654/12393000
492.96/490.89	c cleaning 157003 clauses out of 314009 with flag 25102667/12551001
501.95/499.83	c cleaning 157997 clauses out of 316005 with flag 25420680/12710000
509.95/507.87	c cleaning 159002 clauses out of 318008 with flag 25740681/12870000
518.63/516.56	c cleaning 159994 clauses out of 320006 with flag 26062681/13031000
528.22/526.02	c cleaning 161006 clauses out of 322013 with flag 26386719/13193001
536.22/534.09	c cleaning 161998 clauses out of 324006 with flag 26712740/13356000
546.30/544.18	c cleaning 163004 clauses out of 326011 with flag 27040758/13520003
556.88/554.71	c cleaning 163998 clauses out of 328004 with flag 27370763/13685000
567.74/565.59	c cleaning 165000 clauses out of 330009 with flag 27702824/13851003
575.83/573.62	c cleaning 166002 clauses out of 332006 with flag 28036853/14018000
587.71/585.51	c cleaning 166996 clauses out of 334004 with flag 28372864/14186000
598.30/596.16	c cleaning 168004 clauses out of 336009 with flag 28710869/14355001
607.19/605.03	c cleaning 168997 clauses out of 338005 with flag 29050893/14525001
615.97/613.80	c cleaning 170004 clauses out of 340008 with flag 29392910/14696001
624.32/622.19	c cleaning 171002 clauses out of 342003 with flag 29736918/14868000
635.09/632.90	c cleaning 171997 clauses out of 344003 with flag 30082941/15041002
643.58/641.46	c cleaning 172996 clauses out of 346004 with flag 30430946/15215000
651.76/649.62	c cleaning 173997 clauses out of 348008 with flag 30780947/15390000
661.56/659.45	c cleaning 175001 clauses out of 350012 with flag 31132949/15566001
671.56/669.02	c cleaning 175992 clauses out of 352010 with flag 31486948/15743000
680.24/677.77	c cleaning 177007 clauses out of 354021 with flag 31842963/15921003
690.63/688.13	c cleaning 178002 clauses out of 356012 with flag 32200959/16100001
700.22/697.74	c cleaning 179002 clauses out of 358009 with flag 32560979/16280000
709.51/707.05	c cleaning 180001 clauses out of 360008 with flag 32922982/16461001
719.34/716.82	c cleaning 181000 clauses out of 362006 with flag 33286985/16643000
728.82/726.30	c cleaning 181995 clauses out of 364006 with flag 33652986/16826000
736.72/734.20	c cleaning 183003 clauses out of 366011 with flag 34020991/17010000
745.39/742.98	c cleaning 184000 clauses out of 368008 with flag 34391014/17195000
756.88/754.47	c cleaning 185003 clauses out of 370009 with flag 34763016/17381001
766.05/763.67	c cleaning 185998 clauses out of 372005 with flag 35137047/17568000
775.73/773.35	c cleaning 186998 clauses out of 374008 with flag 35513061/17756001
786.89/784.33	c cleaning 187998 clauses out of 376009 with flag 35891064/17945000
796.68/794.14	c cleaning 189000 clauses out of 378011 with flag 36271066/18135000
808.24/805.76	c cleaning 190001 clauses out of 380011 with flag 36653074/18326000
821.02/818.53	c cleaning 191002 clauses out of 382010 with flag 37037079/18518000
832.29/829.85	c cleaning 192001 clauses out of 384008 with flag 37423083/18711000
842.68/840.23	c cleaning 192999 clauses out of 386008 with flag 37811087/18905001
852.94/850.42	c cleaning 194000 clauses out of 388010 with flag 38201092/19100002
863.02/860.51	c cleaning 195003 clauses out of 390008 with flag 38593088/19296000
872.80/870.38	c cleaning 196000 clauses out of 392005 with flag 38987092/19493000
885.89/883.47	c cleaning 196997 clauses out of 394006 with flag 39383116/19691001
897.76/895.38	c cleaning 198001 clauses out of 396009 with flag 39781121/19890001
908.75/906.34	c cleaning 199002 clauses out of 398008 with flag 40181121/20090001
919.73/917.33	c cleaning 199997 clauses out of 400007 with flag 40583124/20291002
931.95/928.99	c cleaning 200992 clauses out of 402008 with flag 40987121/20493000
946.23/943.20	c cleaning 202008 clauses out of 404016 with flag 41393127/20696000
957.13/954.14	c cleaning 202998 clauses out of 406009 with flag 41801133/20900001
969.50/966.55	c cleaning 204001 clauses out of 408010 with flag 42211133/21105000
979.58/976.64	c cleaning 204999 clauses out of 410009 with flag 42623135/21311000
991.86/988.94	c cleaning 206000 clauses out of 412010 with flag 43037138/21518000
1001.77/998.88	c cleaning 207002 clauses out of 414010 with flag 43453146/21726000
1013.06/1010.19	c cleaning 207997 clauses out of 416008 with flag 43871160/21935000
1027.03/1024.14	c cleaning 209006 clauses out of 418012 with flag 44291173/22145001
1042.99/1040.18	c cleaning 209999 clauses out of 420008 with flag 44713181/22356003
1058.26/1055.42	c cleaning 210993 clauses out of 422006 with flag 45137175/22568000
1069.23/1066.41	c cleaning 212002 clauses out of 424013 with flag 45563182/22781000
1080.82/1078.09	c cleaning 213001 clauses out of 426013 with flag 45991196/22995002
1091.73/1088.89	c cleaning 213997 clauses out of 428010 with flag 46421200/23210000
1104.52/1101.62	c cleaning 215000 clauses out of 430013 with flag 46853203/23426000
1118.70/1115.88	c cleaning 216006 clauses out of 432014 with flag 47287219/23643001
1130.08/1127.29	c cleaning 216999 clauses out of 434008 with flag 47723220/23861001
1143.76/1140.93	c cleaning 218005 clauses out of 436009 with flag 48161266/24080001
1156.98/1153.20	c cleaning 218993 clauses out of 438003 with flag 48601278/24300000
1170.57/1166.86	c cleaning 219999 clauses out of 440010 with flag 49043284/24521000
1183.15/1179.47	c cleaning 221007 clauses out of 442014 with flag 49487299/24743003
1197.74/1194.07	c cleaning 221999 clauses out of 444006 with flag 49933306/24966002
1210.61/1206.95	c cleaning 223000 clauses out of 446005 with flag 50381321/25190000
1224.01/1220.34	c cleaning 224002 clauses out of 448006 with flag 50831343/25415001
1238.59/1234.97	c cleaning 224996 clauses out of 450003 with flag 51283345/25641000
1253.77/1250.17	c cleaning 226000 clauses out of 452010 with flag 51737359/25868003
1267.34/1263.75	c cleaning 226996 clauses out of 454008 with flag 52193363/26096001
1285.22/1281.68	c cleaning 228005 clauses out of 456011 with flag 52651364/26325000
1301.39/1297.70	c cleaning 229001 clauses out of 458006 with flag 53111366/26555000
1318.77/1315.14	c cleaning 230002 clauses out of 460005 with flag 53573367/26786000
1333.25/1329.62	c cleaning 230996 clauses out of 462003 with flag 54037378/27018000
1346.82/1343.22	c cleaning 231996 clauses out of 464007 with flag 54503396/27251000
1362.00/1358.45	c cleaning 233002 clauses out of 466011 with flag 54971401/27485000
1377.60/1373.90	c cleaning 234001 clauses out of 468009 with flag 55441411/27720000
1396.77/1393.13	c cleaning 234999 clauses out of 470008 with flag 55913427/27956000
1409.35/1405.78	c cleaning 236002 clauses out of 472009 with flag 56387430/28193000
1431.72/1428.18	c cleaning 237000 clauses out of 474008 with flag 56863434/28431001
1444.71/1441.19	c cleaning 237999 clauses out of 476007 with flag 57341438/28670000
1464.62/1460.31	c cleaning 239000 clauses out of 478010 with flag 57821443/28910002
1480.99/1476.79	c cleaning 240004 clauses out of 480009 with flag 58303451/29151001
1498.07/1493.87	c cleaning 241000 clauses out of 482005 with flag 58787457/29393001
1538.41/1534.29	c cleaning 242001 clauses out of 484005 with flag 59273472/29636001
1558.11/1553.80	c cleaning 243002 clauses out of 486003 with flag 59761494/29880000
1581.67/1577.30	c cleaning 243999 clauses out of 488001 with flag 60251494/30125000
1618.00/1613.76	c cleaning 245002 clauses out of 490003 with flag 60743497/30371001
1657.22/1652.90	c cleaning 245999 clauses out of 492000 with flag 61237495/30618000
1700.05/1696.03	c cleaning 246999 clauses out of 494001 with flag 61733495/30866000
1770.44/1766.54	c cleaning 248001 clauses out of 496002 with flag 62231496/31115000
1811.81/1807.72	c cleaning 248996 clauses out of 498002 with flag 62731498/31365001
1842.11/1838.05	c cleaning 250003 clauses out of 500006 with flag 63233498/31616001
1871.57/1867.78	c cleaning 250998 clauses out of 502003 with flag 63737498/31868001
1904.04/1899.54	c cleaning 251994 clauses out of 504004 with flag 64243496/32121000
1931.68/1927.22	c cleaning 253001 clauses out of 506010 with flag 64751496/32375000
1978.92/1974.51	c cleaning 254003 clauses out of 508009 with flag 65261496/32630000
2012.38/2008.05	c cleaning 254999 clauses out of 510006 with flag 65773496/32886000
2041.03/2036.97	c cleaning 256001 clauses out of 512007 with flag 66287496/33143000
2073.79/2069.62	c cleaning 256995 clauses out of 514008 with flag 66803503/33401002
2117.32/2113.26	c cleaning 258000 clauses out of 516012 with flag 67321505/33660001
2150.70/2146.59	c cleaning 259001 clauses out of 518011 with flag 67841506/33920000
2191.44/2187.38	c cleaning 260002 clauses out of 520011 with flag 68363509/34181001
2217.67/2213.50	c cleaning 260993 clauses out of 522008 with flag 68887508/34443000
2236.33/2232.24	c cleaning 262000 clauses out of 524016 with flag 69413511/34706001
2256.84/2252.10	c cleaning 263005 clauses out of 526015 with flag 69941509/34970000
2274.90/2270.20	c cleaning 263999 clauses out of 528011 with flag 70471511/35235001
2292.65/2287.94	c cleaning 264999 clauses out of 530011 with flag 71003509/35501000
2314.80/2310.19	c cleaning 265999 clauses out of 532012 with flag 71537509/35768000
2334.52/2329.93	c cleaning 267003 clauses out of 534014 with flag 72073511/36036001
2353.11/2348.66	c cleaning 268003 clauses out of 536011 with flag 72611511/36305001
2373.37/2369.00	c cleaning 268996 clauses out of 538008 with flag 73151511/36575001
2396.75/2392.40	c cleaning 270004 clauses out of 540011 with flag 73693509/36846000
2419.76/2415.54	c cleaning 270998 clauses out of 542007 with flag 74237509/37118000
2442.61/2438.48	c cleaning 271999 clauses out of 544009 with flag 74783510/37391000
2461.15/2456.98	c cleaning 272999 clauses out of 546010 with flag 75331510/37665000
2485.40/2481.25	c cleaning 274001 clauses out of 548012 with flag 75881512/37940001
2513.24/2509.11	c cleaning 274998 clauses out of 550010 with flag 76433510/38216000
2541.39/2537.37	c cleaning 275995 clauses out of 552012 with flag 76987512/38493000
2565.45/2561.34	c cleaning 277002 clauses out of 554017 with flag 77543512/38771000
2590.50/2586.48	c cleaning 277998 clauses out of 556016 with flag 78101514/39050001
2613.06/2609.08	c cleaning 278999 clauses out of 558017 with flag 78661512/39330000
2639.30/2635.34	c cleaning 280001 clauses out of 560018 with flag 79223512/39611000
2660.15/2656.12	c cleaning 281001 clauses out of 562017 with flag 79787514/39893000
2681.69/2677.76	c cleaning 281999 clauses out of 564018 with flag 80353518/40176002
2709.84/2705.93	c cleaning 283008 clauses out of 566019 with flag 80921518/40460002
2733.03/2729.03	c cleaning 283997 clauses out of 568009 with flag 81491514/40745000
2758.10/2754.10	c cleaning 285001 clauses out of 570013 with flag 82063516/41031001
2786.55/2782.65	c cleaning 286001 clauses out of 572012 with flag 82637516/41318001
2812.18/2807.47	c cleaning 286999 clauses out of 574010 with flag 83213514/41606000
2844.32/2839.65	c cleaning 288004 clauses out of 576012 with flag 83791516/41895001
2863.79/2859.08	c cleaning 288996 clauses out of 578008 with flag 84371516/42185001
2889.54/2884.88	c cleaning 290001 clauses out of 580011 with flag 84953514/42476000
2916.19/2911.55	c cleaning 290998 clauses out of 582011 with flag 85537516/42768001
2941.39/2936.73	c cleaning 292005 clauses out of 584014 with flag 86123518/43061002
2979.81/2975.23	c cleaning 292997 clauses out of 586007 with flag 86711514/43355000
3001.06/2996.55	c cleaning 294000 clauses out of 588010 with flag 87301514/43650000
3029.10/3024.57	c cleaning 294998 clauses out of 590010 with flag 87893516/43946000
3058.74/3054.28	c cleaning 296003 clauses out of 592012 with flag 88487516/44243000
3085.60/3081.15	c cleaning 297000 clauses out of 594011 with flag 89083521/44541002
3108.76/3104.37	c cleaning 297994 clauses out of 596009 with flag 89681517/44840000
3139.44/3135.05	c cleaning 299000 clauses out of 598015 with flag 90281517/45140000
3167.69/3163.34	c cleaning 300001 clauses out of 600015 with flag 90883517/45441000
3193.63/3189.33	c cleaning 301000 clauses out of 602014 with flag 91487517/45743000
3218.12/3213.72	c cleaning 301996 clauses out of 604014 with flag 92093517/46046000
3243.37/3239.08	c cleaning 303002 clauses out of 606019 with flag 92701519/46350001
3268.33/3264.09	c cleaning 304003 clauses out of 608016 with flag 93311517/46655000
3296.63/3291.65	c cleaning 304999 clauses out of 610015 with flag 93923521/46961002
3321.58/3316.69	c cleaning 306006 clauses out of 612015 with flag 94537519/47268001
3352.00/3347.03	c cleaning 307000 clauses out of 614008 with flag 95153517/47576000
3379.85/3374.96	c cleaning 307994 clauses out of 616008 with flag 95771517/47885000
3414.50/3409.63	c cleaning 309004 clauses out of 618014 with flag 96391517/48195000
3446.40/3441.58	c cleaning 309997 clauses out of 620010 with flag 97013517/48506000
3471.45/3466.61	c cleaning 311004 clauses out of 622013 with flag 97637518/48818000
3503.21/3498.48	c cleaning 312002 clauses out of 624009 with flag 98263518/49131000
3531.85/3527.13	c cleaning 313001 clauses out of 626008 with flag 98891520/49445001
3568.36/3563.66	c cleaning 313995 clauses out of 628006 with flag 99521518/49760000
3600.00/3595.32	c starts		: 3
3600.00/3595.32	c conflicts		: 50076000
3600.00/3595.32	c decisions		: 50076411
3600.00/3595.32	c propagations		: 245858145
3600.00/3595.32	c inspects		: 13143733657
3600.00/3595.32	c shortcuts		: 0
3600.00/3595.32	c learnt literals	: 0
3600.00/3595.32	c learnt binary clauses	: 0
3600.00/3595.32	c learnt ternary clauses	: 0
3600.00/3595.32	c learnt constraints	: 50076000
3600.00/3595.32	c ignored constraints	: 0
3600.00/3595.32	c root simplifications	: 0
3600.00/3595.32	c removed literals (reason simplification)	: 0
3600.00/3595.32	c reason swapping (by a shorter reason)	: 0
3600.00/3595.32	c Calls to reduceDB	: 312
3600.00/3595.32	c Number of update (reduction) of LBD	: 744
3600.00/3595.32	c Imported unit clauses	: 0
3600.00/3595.32	c No decision after first conflict	: false
3600.00/3595.32	c number of reductions to clauses (during analyze)	: 0
3600.00/3595.32	c number of learned constraints concerned by reduction	: 0
3600.00/3595.32	c number of learning phase by resolution	: 0
3600.00/3595.32	c number of learning phase by cutting planes	: 0
3600.00/3595.32	c number of rounding to 1 operations	: 0
3600.00/3595.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3595.32	c number of reductions of the coefficients by power 2 	: 0
3600.00/3595.32	c number of right shift for reduction by power 2 	: 0
3600.00/3595.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3595.32	c number of ending skipping 	: 0
3600.00/3595.32	c number of internal skipping 	: 0
3600.00/3595.32	c number of derivation steps 	: 0
3600.00/3595.32	c number of skipped derivation steps 	: 0
3600.00/3595.32	c number of remaining unassigned 	: 0
3600.00/3595.32	c number of remaining assigned 	: 0
3600.00/3595.32	c number of falsified literals weakened from reason	: 0
3600.00/3595.32	c number of falsified literals weakened from conflict	: 0
3600.00/3595.32	c time for arithmetic operations	: 0
3600.00/3595.32	c minimum degree of deleted constraints	: null
3600.00/3595.33	c maximum degree of deleted constraints	: null
3600.00/3595.33	c number of deleted constraints	: 0
3600.00/3595.33	c speed (assignments/second)	: 68385.39463198696
3600.00/3595.33	c non guided choices	: 57
3600.22/3595.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 630011
3600.22/3595.42	s UNKNOWN
3600.22/3595.42	c Total wall clock time (in seconds): 3595.29

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100648 s]*
/proc/loadavg: 4.29 4.16 3.88 7/335 939362
/proc/meminfo: memFree=119632440/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=18975048 memory=62892 CPUtime=0.13 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 7198 0 0 0 11 2 0 0 20 0 18 0 184017992 19430449152 15723 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4743762 15723 5630 1 0 549316 0
[pid=939344/tid=939346] ppid=939341 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 1077936192 5724 0 0 0 6 2 0 0 20 0 18 0 184017992 19430449152 15723 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184017995 19430449152 15723 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184017995 19430449152 15723 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62892 KiB

[startup+0.210373 s]*
/proc/loadavg: 4.29 4.16 3.88 7/336 939363
/proc/meminfo: memFree=119626244/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19041612 memory=69196 CPUtime=0.33 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 8683 0 0 0 30 3 0 0 20 0 19 0 184017992 19498610688 17299 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4760403 17299 5818 1 0 550421 0
[pid=939344/tid=939346] ppid=939341 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 5926 0 0 0 16 2 0 0 20 0 19 0 184017992 19498610688 17299 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19041612 memory=14994 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 17299 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 17299 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 184018007 19498610688 17299 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69196 KiB

[startup+0.307371 s]*
/proc/loadavg: 4.29 4.16 3.88 7/336 939363
/proc/meminfo: memFree=119624912/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19041612 memory=70780 CPUtime=0.52 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 9051 0 0 0 49 3 0 0 20 0 19 0 184017992 19498610688 17695 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4760403 17695 5818 1 0 550717 0
[pid=939344/tid=939346] ppid=939341 vsize=19041612 memory=-9104421798406300348 CPUtime=0.27 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 5933 0 0 0 25 2 0 0 20 0 19 0 184017992 19498610688 17695 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 17695 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 17695 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 184018007 19498610688 17695 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70780 KiB

[startup+0.703372 s]
/proc/loadavg: 4.29 4.16 3.88 8/336 939363
/proc/meminfo: memFree=119606896/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19041612 memory=91900 CPUtime=1.27 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 14284 0 0 0 124 3 0 0 20 0 19 0 184017992 19498610688 22975 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4760403 22975 5859 1 0 553870 0
[pid=939344/tid=939346] ppid=939341 vsize=19041612 memory=43592 CPUtime=0.64 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 5974 0 0 0 62 2 0 0 20 0 19 0 184017992 19498610688 22975 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 22975 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 22975 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 184018007 19498610688 22975 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91900 KiB

[startup+1.50037 s]
/proc/loadavg: 4.29 4.16 3.88 6/336 939363
/proc/meminfo: memFree=119598344/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19041612 memory=118148 CPUtime=2.7 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 18757 0 0 0 265 5 0 0 20 0 19 0 184017992 19498610688 29537 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4760403 29537 5859 1 0 554077 0
[pid=939344/tid=939346] ppid=939341 vsize=19041612 memory=13012 CPUtime=1.42 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 6278 0 0 0 140 2 0 0 20 0 19 0 184017992 19498610688 29537 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 29537 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184017995 19498610688 29537 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 184018007 19498610688 29537 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118148 KiB

[startup+3.10637 s]
/proc/loadavg: 4.29 4.16 3.88 5/337 939364
/proc/meminfo: memFree=119509132/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=186312 CPUtime=4.41 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 20708 0 0 0 435 6 0 0 20 0 20 0 184017992 19566772224 46578 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 46578 5875 1 0 554385 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=0 CPUtime=3 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 6609 0 0 0 296 4 0 0 20 0 20 0 184017992 19566772224 46578 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=-9104421798406300348 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 46578 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 46578 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 46578 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186312 KiB

[startup+6.3003 s]
/proc/loadavg: 4.27 4.15 3.88 5/337 939365
/proc/meminfo: memFree=119506476/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=188700 CPUtime=7.59 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 20796 0 0 0 752 7 0 0 20 0 20 0 184017992 19566772224 47175 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 47175 5875 1 0 554385 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2312 CPUtime=6.15 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 6615 0 0 0 611 4 0 0 20 0 20 0 184017992 19566772224 47175 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 47175 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 47175 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 47175 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188700 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.15 3.88 5/337 939365
/proc/meminfo: memFree=119424132/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=270920 CPUtime=14.03 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 22314 0 0 0 1394 9 0 0 20 0 20 0 184017992 19566772224 67730 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 67730 5891 1 0 554385 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=13012 CPUtime=12.45 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 7139 0 0 0 1241 4 0 0 20 0 20 0 184017992 19566772224 67730 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=240200 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 67730 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=43592 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 67730 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 67730 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 14.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270920 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.14 3.88 5/337 939367
/proc/meminfo: memFree=119193540/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=437400 CPUtime=26.94 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 27690 0 0 0 2681 13 0 0 20 0 20 0 184017992 19566772224 109350 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 109350 5891 1 0 554492 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=6943526294502006880 CPUtime=25.05 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 8400 0 0 0 2501 4 0 0 20 0 20 0 184017992 19566772224 109350 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 109350 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=3477 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 109350 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 109350 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 26.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 437400 KiB

[startup+51.1058 s]
/proc/loadavg: 4.28 4.16 3.90 5/335 939372
/proc/meminfo: memFree=118898768/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=695532 CPUtime=52.68 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 32152 0 0 0 5249 19 0 0 20 0 20 0 184017992 19566772224 173883 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 173883 5891 1 0 554492 0

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

[startup+3282.3 s]
/proc/loadavg: 4.26 4.16 4.13 5/333 941378
/proc/meminfo: memFree=117503336/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3287.35 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 153256 0 0 0 328580 155 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542368 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3265.99 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 41727 0 0 0 326578 21 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1724 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3287.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.13 5/335 941558
/proc/meminfo: memFree=117501948/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3347.31 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 153342 0 0 0 334575 156 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542368 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=13012 CPUtime=3325.78 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 41767 0 0 0 332557 21 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1725 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3347.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/335 941568
/proc/meminfo: memFree=117497096/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3407.21 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 153449 0 0 0 340565 156 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542368 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3385.67 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 41869 0 0 0 338546 21 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1725 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=-9104421798406300348 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3407.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/335 941582
/proc/meminfo: memFree=117496284/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3467.16 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 153539 0 0 0 346559 157 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542368 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3445.44 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 41917 0 0 0 344523 21 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1725 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3467.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/335 941604
/proc/meminfo: memFree=117495552/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3527.06 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 153812 0 0 0 352548 158 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542368 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2169472 CPUtime=3505.32 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 42172 0 0 0 350511 21 0 0 20 0 20 0 184017992 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1725 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542368 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3527.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/335 941615
/proc/meminfo: memFree=117492864/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2171032 CPUtime=3587.02 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 154883 0 0 0 358543 159 0 0 20 0 20 0 184017992 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542758 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2170948 CPUtime=3565.13 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 42704 0 0 0 356492 21 0 0 20 0 20 0 184017992 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1835 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=2171032 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/334 941617
/proc/meminfo: memFree=117492784/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19108176 memory=2171032 CPUtime=3600 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 154883 0 0 0 359841 159 0 0 20 0 20 0 184017992 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4777044 542758 5907 1 0 555853 0
[pid=939344/tid=939346] ppid=939341 vsize=19108176 memory=2169500 CPUtime=3578.11 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 42704 0 0 0 357790 21 0 0 20 0 20 0 184017992 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1835 0 0 0 0 0 0 0 20 0 20 0 184017995 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939363] ppid=939341 vsize=19108176 memory=2169472 CPUtime=0 cores=5,7
/proc/939344/task/939363/stat : 939363 (Timer-0) S 939341 939344 937004 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 184018007 19566772224 542758 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171032 KiB

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

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

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

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

[startup+3595.41 s]
/proc/loadavg: 4.10 4.13 4.11 5/334 941617
/proc/meminfo: memFree=117492784/131524600 swapFree=131071996/131071996
[pid=939344] ppid=939341 vsize=19307868 memory=2171652 CPUtime=3600.22 cores=5,7
/proc/939344/stat : 939344 (java) S 939341 939344 937004 0 -1 1077936128 156880 0 0 0 359862 160 0 0 20 0 21 0 184017992 19771256832 542913 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
/proc/939344/statm: 4826967 542913 5906 1 0 556756 0
[pid=939344/tid=939346] ppid=939341 vsize=19307868 memory=1836 CPUtime=3578.22 cores=5,7
/proc/939344/task/939346/stat : 939346 (java) R 939341 939344 937004 0 -1 4194368 42704 0 0 0 357801 21 0 0 20 0 21 0 184017992 19771256832 542913 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939355] ppid=939341 vsize=19307868 memory=1976 CPUtime=0 cores=5,7
/proc/939344/task/939355/stat : 939355 (Finalizer) S 939341 939344 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184017995 19771256832 542913 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
[pid=939344/tid=939362] ppid=939341 vsize=19307868 memory=5444 CPUtime=0 cores=5,7
/proc/939344/task/939362/stat : 939362 (Common-Cleaner) S 939341 939344 937004 0 -1 1077936192 1835 0 0 0 0 0 0 0 20 0 21 0 184017995 19771256832 542913 134679101440 94250557112320 94250557116016 140726569868576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94250557123832 94250557124624 94250559127552 140726569870342 140726569870432 140726569870432 140726569877448 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2171652 KiB

Child status: 143

Real time (s): 3595.44
CPU time (s): 3600.27
CPU user time (s): 3598.66
CPU system time (s): 1.61011
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2171652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.61011
maximum resident set size= 2172592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106291
involuntary context switches= 6230


# summary of solver processes directly reported to runsolver:
#   pid: 939344
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.61011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39032 second user time and 15.0885 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 18:03:06
IDJOB=4445114
IDBENCH=148100
IDSOLVER=3058
FILE ID=nodeC016/4445114-1721318574
RUNJOBID= nodeC016-1721316965-937017
SLURM_JOB_ID= 7542659
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=239696961

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119674636 kB
MemAvailable:   123344988 kB
Buffers:          348032 kB
Cached:          4157948 kB
SwapCached:            0 kB
Active:           547892 kB
Inactive:       10679196 kB
Active(anon):       1560 kB
Inactive(anon):  6757280 kB
Active(file):     546332 kB
Inactive(file):  3921916 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1488 kB
Writeback:             0 kB
AnonPages:       6719292 kB
Mapped:           126560 kB
Shmem:             37720 kB
KReclaimable:      83500 kB
Slab:             193572 kB
SReclaimable:      83500 kB
SUnreclaim:       110072 kB
KernelStack:        5152 kB
PageTables:        22792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7686508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69600 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6365184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-18 19:03:01