Trace number 4453732

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 2024 2024-07-07? (TO) 3600.19 3637.04

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-2.opb
MD5SUMb512d05250ba58a8183e09c02953f5b4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.206383
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints11000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1422
Number of constraints which are nor clauses,nor cardinality constraints9578
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.23	c See www.sat4j.org for details.
0.07/0.24	c version CUSTOM.v20240707
0.07/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.24	c java.vm.version	22.0.1+8-16
0.07/0.24	c java.vm.vendor	Oracle Corporation
0.07/0.24	c sun.arch.data.model	64
0.07/0.24	c java.version		22.0.1
0.07/0.24	c os.name		Linux
0.07/0.24	c os.version		4.18.0-301.1.el8.x86_64
0.07/0.24	c os.arch		amd64
0.07/0.25	c Free memory 		2104792832
0.07/0.25	c Max memory 		16282288128
0.07/0.25	c Total memory 		2113929216
0.07/0.25	c Number of processors 	2
0.07/0.29	--- Begin Solver configuration ---
0.07/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.07/0.29	Learn all clauses as in MiniSAT
0.07/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.29	Expensive reason simplification
0.07/0.29	Glucose 2.1 dynamic restart strategy
0.07/0.29	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.07/0.29	timeout=2147483s
0.07/0.29	DB Simplification allowed=false
0.07/0.29	Listener: none
0.07/0.29	--- End Solver configuration ---
0.07/0.29	c Pseudo Boolean Optimization by upper bound
0.07/0.29	c --- Begin Solver configuration ---
0.07/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.07/0.29	c Learn all clauses as in MiniSAT
0.07/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.29	c Expensive reason simplification
0.07/0.29	c Glucose 2.1 dynamic restart strategy
0.07/0.29	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.07/0.29	c timeout=2147483s
0.07/0.29	c DB Simplification allowed=false
0.07/0.29	c Listener: none
0.07/0.29	c --- End Solver configuration ---
0.07/0.29	c solving HOME/instance-4453732-1721843598.opb
0.07/0.29	c reading problem ... 
0.07/0.29	c using VERIPB proof format
0.07/0.30	c  no objective function found
0.76/0.65	c ... done. Wall clock time 0.351s.
0.76/0.66	c declared #vars     11001
0.76/0.66	c #constraints  11000
0.76/0.66	c constraints type 
0.76/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11000
0.76/0.66	c 11000 constraints processed.
1.91/1.29	c cleaning 2486 clauses out of 5000 with flag 21606/5000
2.74/1.69	c cleaning 4234 clauses out of 8515 with flag 49484/11001
3.31/1.93	c cleaning 5606 clauses out of 11281 with flag 82904/18001
3.82/2.23	c cleaning 6824 clauses out of 13674 with flag 123836/26000
4.28/2.51	c cleaning 7905 clauses out of 15852 with flag 169279/35002
4.89/2.84	c cleaning 8951 clauses out of 17947 with flag 224553/45002
5.38/3.21	c cleaning 9963 clauses out of 19994 with flag 282906/56000
5.59/3.49	c cleaning 10947 clauses out of 22031 with flag 339692/68000
6.13/3.90	c cleaning 12001 clauses out of 24085 with flag 409214/81001
6.44/4.24	c cleaning 12987 clauses out of 26083 with flag 483050/95000
6.97/4.63	c cleaning 14040 clauses out of 28097 with flag 557124/110001
7.56/5.11	c cleaning 14973 clauses out of 30056 with flag 637286/126000
8.10/5.66	c cleaning 16038 clauses out of 32084 with flag 725202/143001
8.80/6.11	c cleaning 16956 clauses out of 34045 with flag 814450/161000
9.30/6.63	c cleaning 18025 clauses out of 36089 with flag 908292/180000
9.82/7.19	c cleaning 19012 clauses out of 38064 with flag 1008634/200000
10.45/7.78	c cleaning 19953 clauses out of 40054 with flag 1119591/221002
11.04/8.38	c cleaning 20974 clauses out of 42099 with flag 1234940/243000
11.94/9.29	c cleaning 22057 clauses out of 44125 with flag 1380305/266000
12.65/9.99	c cleaning 23006 clauses out of 46070 with flag 1502756/290002
13.35/10.69	c cleaning 23961 clauses out of 48063 with flag 1631329/315001
14.42/11.53	c cleaning 25017 clauses out of 50101 with flag 1763699/341000
15.39/12.34	c cleaning 26029 clauses out of 52084 with flag 1905026/368000
16.20/13.14	c cleaning 26987 clauses out of 54055 with flag 2057430/396000
16.99/13.90	c cleaning 28014 clauses out of 56068 with flag 2205741/425000
18.19/15.17	c cleaning 29000 clauses out of 58054 with flag 2380301/455000
19.19/16.11	c cleaning 29989 clauses out of 60057 with flag 2546933/486003
20.08/17.05	c cleaning 30982 clauses out of 62065 with flag 2709818/518000
20.98/17.90	c cleaning 31979 clauses out of 64083 with flag 2877122/551000
21.98/18.97	c cleaning 33006 clauses out of 66104 with flag 3062630/585000
22.97/19.98	c cleaning 33990 clauses out of 68098 with flag 3244678/620000
24.08/21.03	c cleaning 35006 clauses out of 70109 with flag 3440877/656001
25.38/22.34	c cleaning 36022 clauses out of 72102 with flag 3653488/693000
26.77/23.79	c cleaning 36969 clauses out of 74080 with flag 3876313/731000
28.07/25.05	c cleaning 38040 clauses out of 76111 with flag 4091591/770000
29.78/26.73	c cleaning 39012 clauses out of 78073 with flag 4325613/810002
32.10/29.06	c cleaning 40007 clauses out of 80061 with flag 4606966/851002
34.09/31.06	c cleaning 40971 clauses out of 82054 with flag 4871407/893002
35.48/32.47	c cleaning 42000 clauses out of 84081 with flag 5088793/936000
36.69/33.67	c cleaning 42970 clauses out of 86081 with flag 5311210/980000
38.08/35.08	c cleaning 44017 clauses out of 88111 with flag 5549154/1025000
39.62/37.07	c cleaning 45016 clauses out of 90097 with flag 5795890/1071003
41.14/38.57	c cleaning 46024 clauses out of 92079 with flag 6041564/1118001
42.72/40.10	c cleaning 46991 clauses out of 94055 with flag 6298191/1166001
44.51/41.96	c cleaning 47988 clauses out of 96063 with flag 6559686/1215000
46.11/43.52	c cleaning 48964 clauses out of 98075 with flag 6826083/1265000
47.53/44.99	c cleaning 50036 clauses out of 100111 with flag 7092287/1316000
49.11/46.58	c cleaning 51026 clauses out of 102075 with flag 7359455/1368000
51.09/48.58	c cleaning 51981 clauses out of 104050 with flag 7652999/1421001
53.20/50.68	c cleaning 53014 clauses out of 106069 with flag 7945426/1475001
55.08/52.53	c cleaning 54005 clauses out of 108056 with flag 8242158/1530002
57.61/54.72	c cleaning 55012 clauses out of 110053 with flag 8567627/1586004
59.74/56.82	c cleaning 55996 clauses out of 112037 with flag 8873590/1643000
62.31/59.49	c cleaning 57000 clauses out of 114042 with flag 9203175/1701001
64.45/61.52	c cleaning 57956 clauses out of 116042 with flag 9538085/1760001
66.95/64.04	c cleaning 59022 clauses out of 118088 with flag 9866835/1820003
68.95/66.01	c cleaning 60015 clauses out of 120064 with flag 10221298/1881001
70.89/68.43	c cleaning 60995 clauses out of 122048 with flag 10544786/1943000
73.49/71.06	c cleaning 61994 clauses out of 124053 with flag 10894063/2006000
75.49/73.08	c cleaning 62989 clauses out of 126059 with flag 11236615/2070000
77.93/75.48	c cleaning 64027 clauses out of 128070 with flag 11577400/2135000
79.93/77.47	c cleaning 64995 clauses out of 130044 with flag 11920160/2201001
82.22/79.70	c cleaning 65979 clauses out of 132049 with flag 12277037/2268001
84.81/82.31	c cleaning 66993 clauses out of 134070 with flag 12646664/2336001
87.68/85.15	c cleaning 68023 clauses out of 136076 with flag 13014146/2405000
90.06/87.54	c cleaning 68990 clauses out of 138054 with flag 13390666/2475001
92.26/89.73	c cleaning 70000 clauses out of 140063 with flag 13756992/2546000
94.25/91.70	c cleaning 71007 clauses out of 142063 with flag 14123456/2618000
96.64/94.02	c cleaning 72002 clauses out of 144056 with flag 14511791/2691000
99.13/96.52	c cleaning 73002 clauses out of 146054 with flag 14925785/2765000
101.47/99.37	c cleaning 74009 clauses out of 148052 with flag 15321619/2840000
103.98/101.82	c cleaning 74977 clauses out of 150043 with flag 15723713/2916000
106.68/104.47	c cleaning 76008 clauses out of 152066 with flag 16121101/2993000
109.17/106.93	c cleaning 76977 clauses out of 154058 with flag 16545050/3071000
112.38/110.11	c cleaning 78024 clauses out of 156081 with flag 16967051/3150000
115.27/112.91	c cleaning 79019 clauses out of 158058 with flag 17388996/3230001
117.96/115.65	c cleaning 79966 clauses out of 160038 with flag 17815028/3311000
120.76/118.49	c cleaning 81005 clauses out of 162073 with flag 18257552/3393001
123.65/121.34	c cleaning 82013 clauses out of 164067 with flag 18709120/3476000
126.64/124.39	c cleaning 83002 clauses out of 166055 with flag 19182780/3560001
130.01/127.66	c cleaning 84011 clauses out of 168052 with flag 19660917/3645000
133.93/132.08	c cleaning 84988 clauses out of 170042 with flag 20166612/3731001
136.93/135.09	c cleaning 85977 clauses out of 172057 with flag 20642881/3818004
139.81/137.92	c cleaning 87017 clauses out of 174077 with flag 21114455/3906001
143.51/141.54	c cleaning 87994 clauses out of 176059 with flag 21610887/3995000
146.80/144.81	c cleaning 89024 clauses out of 178069 with flag 22123438/4085004
149.80/147.85	c cleaning 89973 clauses out of 180042 with flag 22610510/4176001
152.90/150.93	c cleaning 90968 clauses out of 182068 with flag 23111079/4268000
156.41/154.32	c cleaning 92021 clauses out of 184100 with flag 23616171/4361000
159.70/157.68	c cleaning 93027 clauses out of 186080 with flag 24125396/4455001
163.73/162.07	c cleaning 94007 clauses out of 188054 with flag 24668812/4550002
167.32/165.62	c cleaning 95007 clauses out of 190048 with flag 25175579/4646003
170.87/169.04	c cleaning 96003 clauses out of 192038 with flag 25702411/4743000
173.96/172.16	c cleaning 96950 clauses out of 194035 with flag 26222946/4841000
178.15/176.34	c cleaning 98023 clauses out of 196086 with flag 26787725/4940001
181.77/179.87	c cleaning 99016 clauses out of 198062 with flag 27332313/5040000
185.16/183.20	c cleaning 100001 clauses out of 200046 with flag 27855964/5141000
188.55/186.69	c cleaning 100989 clauses out of 202045 with flag 28400455/5243000
192.75/191.20	c cleaning 101982 clauses out of 204056 with flag 28967939/5346000
196.79/195.16	c cleaning 102978 clauses out of 206074 with flag 29541429/5450000
200.87/199.23	c cleaning 104007 clauses out of 208098 with flag 30116711/5555002
204.47/202.84	c cleaning 105021 clauses out of 210089 with flag 30676209/5661000
208.79/207.04	c cleaning 105994 clauses out of 212070 with flag 31258204/5768002
212.65/210.97	c cleaning 107020 clauses out of 214075 with flag 31849014/5876001
217.20/215.53	c cleaning 108004 clauses out of 216054 with flag 32455520/5985000
221.11/219.38	c cleaning 108982 clauses out of 218050 with flag 33038770/6095000
224.79/223.41	c cleaning 110026 clauses out of 220069 with flag 33629808/6206001
229.15/227.89	c cleaning 111015 clauses out of 222043 with flag 34253495/6318001
233.07/231.68	c cleaning 111975 clauses out of 224027 with flag 34837021/6431000
236.86/235.43	c cleaning 113016 clauses out of 226052 with flag 35433917/6545000
241.65/240.21	c cleaning 113997 clauses out of 228036 with flag 36071838/6660000
245.63/244.27	c cleaning 114943 clauses out of 230039 with flag 36685634/6776000
249.96/248.42	c cleaning 116007 clauses out of 232097 with flag 37303576/6893001
254.29/253.13	c cleaning 116987 clauses out of 234089 with flag 37953173/7011000
258.58/257.45	c cleaning 118016 clauses out of 236103 with flag 38587851/7130001
263.87/262.63	c cleaning 119010 clauses out of 238090 with flag 39242617/7250004
268.82/267.67	c cleaning 120020 clauses out of 240077 with flag 39893144/7371001
273.82/272.56	c cleaning 120996 clauses out of 242056 with flag 40560545/7493000
278.41/277.16	c cleaning 121986 clauses out of 244061 with flag 41216472/7616001
283.42/282.58	c cleaning 123008 clauses out of 246074 with flag 41882424/7740000
289.45/288.42	c cleaning 124007 clauses out of 248066 with flag 42604448/7865000
293.89/292.96	c cleaning 125023 clauses out of 250061 with flag 43278656/7991002
298.94/298.03	c cleaning 126000 clauses out of 252036 with flag 43963986/8118000
303.64/302.60	c cleaning 126983 clauses out of 254036 with flag 44632242/8246000
308.53/307.51	c cleaning 128008 clauses out of 256053 with flag 45331117/8375000
313.78/313.10	c cleaning 129009 clauses out of 258045 with flag 46038908/8505000
319.31/318.52	c cleaning 130002 clauses out of 260038 with flag 46746071/8636002
324.19/323.42	c cleaning 131003 clauses out of 262034 with flag 47431301/8768000
329.28/328.55	c cleaning 131994 clauses out of 264031 with flag 48163734/8901000
334.71/333.82	c cleaning 132996 clauses out of 266037 with flag 48880840/9035000
340.80/339.95	c cleaning 134004 clauses out of 268041 with flag 49643307/9170000
346.56/345.92	c cleaning 134966 clauses out of 270037 with flag 50408896/9306000
351.85/351.24	c cleaning 136007 clauses out of 272071 with flag 51153509/9443000
357.40/356.66	c cleaning 137019 clauses out of 274064 with flag 51917033/9581000
362.99/362.29	c cleaning 138008 clauses out of 276046 with flag 52685667/9720001
368.08/367.33	c cleaning 139004 clauses out of 278037 with flag 53434059/9860000
373.68/372.82	c cleaning 139981 clauses out of 280035 with flag 54201984/10001002
378.69/378.24	c cleaning 141011 clauses out of 282052 with flag 54976058/10143000
384.63/384.08	c cleaning 141972 clauses out of 284041 with flag 55769259/10286000
390.52/389.94	c cleaning 143014 clauses out of 286070 with flag 56562121/10430001
396.30/395.73	c cleaning 144010 clauses out of 288055 with flag 57346781/10575000
402.28/401.62	c cleaning 144947 clauses out of 290045 with flag 58137983/10721000
407.73/407.56	c cleaning 146042 clauses out of 292098 with flag 58930994/10868000
414.20/413.92	c cleaning 147011 clauses out of 294057 with flag 59764723/11016001
421.09/420.84	c cleaning 148002 clauses out of 296045 with flag 60633172/11165000
426.17/425.91	c cleaning 148971 clauses out of 298045 with flag 61448966/11315002
431.78/431.40	c cleaning 150014 clauses out of 300072 with flag 62259212/11466000
437.28/437.42	c cleaning 150971 clauses out of 302061 with flag 63066681/11618003
443.10/443.13	c cleaning 152019 clauses out of 304090 with flag 63889014/11771003
449.29/449.33	c cleaning 153022 clauses out of 306068 with flag 64733027/11925000
456.23/456.18	c cleaning 154008 clauses out of 308048 with flag 65596061/12080002
462.51/462.43	c cleaning 154971 clauses out of 310040 with flag 66457633/12236002
468.90/469.13	c cleaning 155990 clauses out of 312069 with flag 67326251/12393002
475.57/475.86	c cleaning 157014 clauses out of 314079 with flag 68222805/12551002
481.80/481.91	c cleaning 157968 clauses out of 316063 with flag 69119265/12710000
487.68/487.84	c cleaning 159030 clauses out of 318097 with flag 69991139/12870002
494.60/494.67	c cleaning 160016 clauses out of 320066 with flag 70917708/13031001
501.33/501.73	c cleaning 161009 clauses out of 322050 with flag 71820276/13193001
507.43/507.78	c cleaning 162002 clauses out of 324041 with flag 72685230/13356001
514.61/514.93	c cleaning 162992 clauses out of 326039 with flag 73631317/13520001
521.93/522.15	c cleaning 163965 clauses out of 328046 with flag 74564089/13685000
528.56/529.14	c cleaning 165019 clauses out of 330081 with flag 75477374/13851000
536.35/536.98	c cleaning 166005 clauses out of 332063 with flag 76415531/14018001
543.54/544.13	c cleaning 166978 clauses out of 334058 with flag 77374969/14186001
551.56/552.07	c cleaning 168036 clauses out of 336079 with flag 78361195/14355000
558.93/559.84	c cleaning 168950 clauses out of 338043 with flag 79324859/14525000
565.39/566.22	c cleaning 170019 clauses out of 340093 with flag 80254511/14696000
572.14/572.91	c cleaning 171019 clauses out of 342076 with flag 81199516/14868002
578.97/579.89	c cleaning 171979 clauses out of 344055 with flag 82180311/15041000
586.50/587.31	c cleaning 173010 clauses out of 346077 with flag 83145331/15215001
592.90/594.16	c cleaning 173979 clauses out of 348066 with flag 84098814/15390000
599.85/601.06	c cleaning 175019 clauses out of 350087 with flag 85068164/15566000
607.76/608.46	c cleaning 176013 clauses out of 352068 with flag 86048541/15743000
614.74/615.49	c cleaning 176999 clauses out of 354056 with flag 87025485/15921001
623.31/624.33	c cleaning 178014 clauses out of 356056 with flag 88065086/16100000
631.08/632.08	c cleaning 179012 clauses out of 358043 with flag 89072600/16280001
638.45/639.48	c cleaning 179995 clauses out of 360031 with flag 90084456/16461001
645.94/646.88	c cleaning 180991 clauses out of 362035 with flag 91112948/16643000
653.93/655.23	c cleaning 181997 clauses out of 364045 with flag 92128613/16826001
661.13/662.36	c cleaning 182994 clauses out of 366048 with flag 93143637/17010001
668.40/669.53	c cleaning 184000 clauses out of 368053 with flag 94161266/17195000
675.79/676.98	c cleaning 185017 clauses out of 370053 with flag 95194904/17381000
685.53/687.04	c cleaning 186004 clauses out of 372036 with flag 96294515/17568000
693.52/695.02	c cleaning 186999 clauses out of 374032 with flag 97370544/17756000
702.39/703.81	c cleaning 187975 clauses out of 376033 with flag 98440184/17945000
710.27/711.77	c cleaning 188980 clauses out of 378059 with flag 99500886/18135001
719.20/720.99	c cleaning 190009 clauses out of 380078 with flag 100595781/18326000
727.44/729.03	c cleaning 191009 clauses out of 382069 with flag 101683580/18518000
735.52/737.10	c cleaning 192017 clauses out of 384061 with flag 102788450/18711001
744.75/746.65	c cleaning 193010 clauses out of 386044 with flag 103903309/18905001
753.03/755.00	c cleaning 193983 clauses out of 388033 with flag 105005388/19100000
761.83/763.68	c cleaning 195003 clauses out of 390050 with flag 106134802/19296000
770.84/772.58	c cleaning 196008 clauses out of 392047 with flag 107257400/19493000
780.36/782.45	c cleaning 196968 clauses out of 394040 with flag 108387850/19691001
789.21/791.14	c cleaning 198006 clauses out of 396071 with flag 109543595/19890000
797.48/799.43	c cleaning 199023 clauses out of 398065 with flag 110658623/20090000
805.87/808.11	c cleaning 200001 clauses out of 400042 with flag 111797730/20291000
814.29/816.44	c cleaning 200978 clauses out of 402044 with flag 112920879/20493003
822.67/824.82	c cleaning 202020 clauses out of 404064 with flag 114060393/20696001
831.60/833.63	c cleaning 202963 clauses out of 406043 with flag 115184047/20900000
839.72/842.17	c cleaning 204007 clauses out of 408080 with flag 116305129/21105000
848.50/850.89	c cleaning 205019 clauses out of 410076 with flag 117447969/21311003
857.58/859.93	c cleaning 205969 clauses out of 412054 with flag 118621111/21518000
867.11/869.79	c cleaning 206994 clauses out of 414085 with flag 119785087/21726000
876.61/879.11	c cleaning 208032 clauses out of 416092 with flag 120977334/21935001
884.69/887.29	c cleaning 208977 clauses out of 418059 with flag 122145371/22145000
893.61/896.04	c cleaning 210001 clauses out of 420083 with flag 123325031/22356001
901.59/904.20	c cleaning 211024 clauses out of 422082 with flag 124483924/22568001
910.17/912.81	c cleaning 211988 clauses out of 424057 with flag 125644263/22781000
918.83/921.48	c cleaning 213025 clauses out of 426069 with flag 126820769/22995000
928.22/931.13	c cleaning 213990 clauses out of 428044 with flag 128019606/23210000
936.40/939.39	c cleaning 215003 clauses out of 430054 with flag 129194614/23426000
946.10/948.90	c cleaning 216007 clauses out of 432052 with flag 130415199/23643001
955.82/959.04	c cleaning 217016 clauses out of 434044 with flag 131642900/23861000
965.13/968.20	c cleaning 217943 clauses out of 436028 with flag 132866943/24080000
975.74/978.75	c cleaning 219013 clauses out of 438085 with flag 134111626/24300000
984.43/987.43	c cleaning 220017 clauses out of 440075 with flag 135315973/24521003
993.64/996.96	c cleaning 221023 clauses out of 442055 with flag 136539314/24743000
1003.67/1006.99	c cleaning 222003 clauses out of 444034 with flag 137774087/24966002
1012.63/1015.91	c cleaning 222986 clauses out of 446030 with flag 138992696/25190001
1021.61/1025.16	c cleaning 223954 clauses out of 448044 with flag 140230255/25415001
1031.11/1034.55	c cleaning 225032 clauses out of 450089 with flag 141496899/25641000
1039.40/1042.88	c cleaning 226010 clauses out of 452058 with flag 142705578/25868001
1049.26/1053.00	c cleaning 227004 clauses out of 454049 with flag 143969002/26096002
1058.88/1062.42	c cleaning 227989 clauses out of 456043 with flag 145227679/26325000
1068.60/1072.07	c cleaning 228962 clauses out of 458054 with flag 146511962/26555000
1078.03/1081.80	c cleaning 230041 clauses out of 460092 with flag 147773493/26786000
1087.82/1091.54	c cleaning 231007 clauses out of 462051 with flag 149065878/27018000
1097.12/1100.76	c cleaning 232002 clauses out of 464044 with flag 150356135/27251000
1108.45/1112.21	c cleaning 232979 clauses out of 466042 with flag 151650678/27485000
1118.53/1122.30	c cleaning 233986 clauses out of 468063 with flag 152956613/27720000
1128.59/1132.39	c cleaning 234997 clauses out of 470077 with flag 154245777/27956000
1138.37/1142.02	c cleaning 236006 clauses out of 472083 with flag 155514045/28193003
1149.01/1153.25	c cleaning 236996 clauses out of 474074 with flag 156862481/28431000
1160.43/1164.66	c cleaning 238006 clauses out of 476079 with flag 158236121/28670001
1169.19/1173.89	c cleaning 239016 clauses out of 478072 with flag 159524413/28910000
1178.90/1183.58	c cleaning 239981 clauses out of 480057 with flag 160855239/29151001
1189.34/1193.92	c cleaning 241024 clauses out of 482076 with flag 162210862/29393001
1201.24/1206.28	c cleaning 241989 clauses out of 484051 with flag 163597396/29636000
1213.34/1218.21	c cleaning 242975 clauses out of 486063 with flag 164969483/29880001
1224.94/1229.76	c cleaning 244018 clauses out of 488087 with flag 166317109/30125000
1236.01/1256.16	c cleaning 245030 clauses out of 490069 with flag 167702594/30371000
1249.14/1269.20	c cleaning 245995 clauses out of 492040 with flag 169167871/30618001
1259.19/1279.29	c cleaning 247001 clauses out of 494044 with flag 170532020/30866000
1268.96/1290.16	c cleaning 247989 clauses out of 496044 with flag 171918759/31115001
1280.53/1301.64	c cleaning 248938 clauses out of 498054 with flag 173324523/31365000
1290.92/1311.99	c cleaning 250032 clauses out of 500117 with flag 174713705/31616001
1302.23/1324.06	c cleaning 251024 clauses out of 502085 with flag 176122335/31868001
1312.00/1333.87	c cleaning 252014 clauses out of 504060 with flag 177495875/32121000
1322.99/1345.64	c cleaning 252996 clauses out of 506049 with flag 178901543/32375003
1334.88/1357.46	c cleaning 254007 clauses out of 508051 with flag 180316371/32630001
1345.61/1368.09	c cleaning 254981 clauses out of 510047 with flag 181722070/32886004
1356.47/1379.96	c cleaning 255947 clauses out of 512062 with flag 183139676/33143000
1368.38/1391.82	c cleaning 257038 clauses out of 514115 with flag 184556334/33401000
1380.57/1403.98	c cleaning 258025 clauses out of 516077 with flag 186002074/33660000
1393.05/1417.34	c cleaning 259014 clauses out of 518052 with flag 187415566/33920000
1404.73/1429.07	c cleaning 259988 clauses out of 520039 with flag 188848548/34181001
1416.59/1441.87	c cleaning 261004 clauses out of 522052 with flag 190284215/34443002
1429.66/1454.83	c cleaning 262019 clauses out of 524047 with flag 191741184/34706001
1441.31/1467.36	c cleaning 262965 clauses out of 526028 with flag 193165081/34970001
1453.63/1479.57	c cleaning 264006 clauses out of 528064 with flag 194646049/35235002
1465.71/1491.62	c cleaning 265008 clauses out of 530056 with flag 196131596/35501000
1476.79/1503.57	c cleaning 266004 clauses out of 532048 with flag 197611229/35768000
1488.98/1515.62	c cleaning 266991 clauses out of 534044 with flag 199129508/36036000
1500.81/1527.38	c cleaning 267989 clauses out of 536054 with flag 200612148/36305001
1512.28/1539.75	c cleaning 268978 clauses out of 538064 with flag 202077920/36575000
1524.66/1552.14	c cleaning 270021 clauses out of 540086 with flag 203592057/36846000
1536.74/1565.86	c cleaning 271014 clauses out of 542067 with flag 205063972/37118002
1547.97/1577.04	c cleaning 272008 clauses out of 544052 with flag 206548285/37391001
1560.67/1589.62	c cleaning 273004 clauses out of 546045 with flag 208069816/37665002
1572.62/1602.03	c cleaning 273958 clauses out of 548040 with flag 209566473/37940001
1584.37/1613.73	c cleaning 274960 clauses out of 550082 with flag 211071065/38216001
1595.31/1624.78	c cleaning 276017 clauses out of 552123 with flag 212531038/38493002
1608.66/1638.44	c cleaning 277035 clauses out of 554104 with flag 214045132/38771000
1620.65/1650.47	c cleaning 278019 clauses out of 556071 with flag 215541154/39050002
1634.34/1664.44	c cleaning 278966 clauses out of 558051 with flag 217088114/39330001
1648.73/1678.85	c cleaning 280030 clauses out of 560085 with flag 218648852/39611001
1660.32/1690.82	c cleaning 280990 clauses out of 562054 with flag 220170453/39893000
1673.79/1704.24	c cleaning 281962 clauses out of 564067 with flag 221728140/40176003
1688.58/1719.56	c cleaning 283024 clauses out of 566103 with flag 223317565/40460001
1702.69/1733.60	c cleaning 283996 clauses out of 568078 with flag 224908098/40745000
1715.27/1746.11	c cleaning 285010 clauses out of 570082 with flag 226455865/41031000
1728.42/1759.61	c cleaning 285982 clauses out of 572072 with flag 228058472/41318000
1741.91/1773.08	c cleaning 287002 clauses out of 574090 with flag 229634934/41606000
1755.18/1786.80	c cleaning 288031 clauses out of 576092 with flag 231219667/41895004
1767.57/1799.02	c cleaning 288970 clauses out of 578059 with flag 232762939/42185002
1780.24/1812.05	c cleaning 290023 clauses out of 580087 with flag 234355096/42476000
1793.24/1824.96	c cleaning 291017 clauses out of 582064 with flag 235924969/42768000
1805.93/1837.52	c cleaning 292001 clauses out of 584048 with flag 237499297/43061001
1819.36/1851.19	c cleaning 293009 clauses out of 586047 with flag 239107956/43355001
1833.14/1864.84	c cleaning 293975 clauses out of 588038 with flag 240731663/43650001
1845.81/1877.73	c cleaning 294996 clauses out of 590063 with flag 242338521/43946001
1858.29/1890.11	c cleaning 295957 clauses out of 592066 with flag 243959239/44243000
1872.34/1904.49	c cleaning 297033 clauses out of 594112 with flag 245609733/44541003
1887.25/1919.34	c cleaning 298004 clauses out of 596076 with flag 247249111/44840000
1900.70/1933.08	c cleaning 299010 clauses out of 598072 with flag 248871137/45140000
1915.03/1947.35	c cleaning 300010 clauses out of 600062 with flag 250518297/45441000
1928.29/1960.61	c cleaning 300996 clauses out of 602053 with flag 252164554/45743001
1941.12/1973.88	c cleaning 301988 clauses out of 604056 with flag 253818363/46046000
1954.25/1986.90	c cleaning 303008 clauses out of 606068 with flag 255419143/46350000
1967.61/2000.79	c cleaning 303971 clauses out of 608061 with flag 257044804/46655001
1981.28/2014.20	c cleaning 305013 clauses out of 610089 with flag 258703341/46961000
1994.39/2027.53	c cleaning 306025 clauses out of 612076 with flag 260334405/47268000
2008.63/2041.26	c cleaning 307007 clauses out of 614051 with flag 262046220/47576000
2022.42/2056.50	c cleaning 308005 clauses out of 616044 with flag 263702633/47885000
2035.34/2069.40	c cleaning 308946 clauses out of 618039 with flag 265355062/48195000
2048.39/2082.49	c cleaning 310041 clauses out of 620093 with flag 267045916/48506000
2062.90/2097.05	c cleaning 311002 clauses out of 622053 with flag 268764144/48818001
2076.97/2111.06	c cleaning 311973 clauses out of 624052 with flag 270458740/49131002
2090.48/2124.85	c cleaning 313007 clauses out of 626077 with flag 272174342/49445000
2104.25/2138.50	c cleaning 313994 clauses out of 628071 with flag 273875243/49760001
2120.73/2155.09	c cleaning 314974 clauses out of 630077 with flag 275622799/50076001
2135.14/2169.35	c cleaning 316043 clauses out of 632103 with flag 277317624/50393001
2150.82/2185.09	c cleaning 316980 clauses out of 634059 with flag 279045736/50711000
2166.02/2200.18	c cleaning 317982 clauses out of 636080 with flag 280745039/51030001
2181.30/2215.47	c cleaning 319041 clauses out of 638097 with flag 282471552/51350000
2197.69/2231.77	c cleaning 320016 clauses out of 640057 with flag 284234742/51671001
2212.72/2246.90	c cleaning 320976 clauses out of 642041 with flag 285969254/51993001
2230.36/2264.54	c cleaning 322016 clauses out of 644064 with flag 287731995/52316000
2246.99/2281.26	c cleaning 322967 clauses out of 646049 with flag 289412921/52640001
2261.96/2296.15	c cleaning 323996 clauses out of 648082 with flag 291170658/52965001
2277.71/2311.98	c cleaning 325000 clauses out of 650086 with flag 292929979/53291001
2292.53/2326.78	c cleaning 326027 clauses out of 652085 with flag 294715406/53618000
2308.79/2343.20	c cleaning 326992 clauses out of 654061 with flag 296464902/53946003
2325.18/2359.51	c cleaning 328004 clauses out of 656066 with flag 298256460/54275000
2340.23/2374.69	c cleaning 329020 clauses out of 658062 with flag 300063696/54605000
2355.51/2389.83	c cleaning 329978 clauses out of 660042 with flag 301859324/54936000
2370.16/2404.59	c cleaning 330973 clauses out of 662065 with flag 303655719/55268001
2384.14/2418.48	c cleaning 332026 clauses out of 664091 with flag 305438122/55601000
2401.86/2436.24	c cleaning 332992 clauses out of 666067 with flag 307205849/55935002
2416.94/2451.23	c cleaning 334019 clauses out of 668074 with flag 308989177/56270001
2432.44/2466.63	c cleaning 335007 clauses out of 670055 with flag 310781745/56606001
2448.74/2482.96	c cleaning 335995 clauses out of 672048 with flag 312598975/56943001
2463.29/2497.54	c cleaning 336959 clauses out of 674052 with flag 314422531/57281000
2478.89/2513.05	c cleaning 338028 clauses out of 676094 with flag 316263136/57620001
2495.76/2529.97	c cleaning 339005 clauses out of 678066 with flag 318138887/57960001
2512.73/2546.81	c cleaning 340005 clauses out of 680061 with flag 319989619/58301001
2529.20/2563.40	c cleaning 340976 clauses out of 682055 with flag 321827644/58643000
2544.76/2578.91	c cleaning 342012 clauses out of 684079 with flag 323627451/58986000
2560.10/2594.32	c cleaning 343033 clauses out of 686068 with flag 325468744/59330001
2575.18/2609.39	c cleaning 343998 clauses out of 688034 with flag 327277022/59675000
2590.22/2624.49	c cleaning 344976 clauses out of 690036 with flag 329100452/60021000
2606.68/2640.80	c cleaning 346004 clauses out of 692060 with flag 330969219/60368000
2622.65/2657.00	c cleaning 347011 clauses out of 694057 with flag 332855086/60716001
2640.45/2674.84	c cleaning 347998 clauses out of 696046 with flag 334667030/61065001
2656.62/2690.97	c cleaning 348998 clauses out of 698047 with flag 336538153/61415000
2674.15/2708.46	c cleaning 350016 clauses out of 700049 with flag 338412489/61766000
2692.15/2725.75	c cleaning 350985 clauses out of 702034 with flag 340347268/62118001
2709.03/2742.87	c cleaning 351998 clauses out of 704049 with flag 342245191/62471001
2726.30/2760.18	c cleaning 352966 clauses out of 706050 with flag 344143216/62825000
2742.83/2776.71	c cleaning 354001 clauses out of 708085 with flag 345993864/63180001
2760.81/2794.74	c cleaning 354998 clauses out of 710085 with flag 347873751/63536002
2776.04/2810.05	c cleaning 356031 clauses out of 712087 with flag 349763050/63893002
2792.70/2826.61	c cleaning 356969 clauses out of 714055 with flag 351715981/64251001
2809.60/2843.65	c cleaning 358035 clauses out of 716085 with flag 353624983/64610000
2828.64/2862.70	c cleaning 358982 clauses out of 718052 with flag 355627569/64970002
2846.14/2880.12	c cleaning 360016 clauses out of 720068 with flag 357527239/65331000
2863.74/2897.83	c cleaning 360998 clauses out of 722052 with flag 359449182/65693000
2882.77/2916.62	c cleaning 361980 clauses out of 724055 with flag 361460475/66056001
2900.28/2934.12	c cleaning 362961 clauses out of 726074 with flag 363427992/66420000
2916.94/2950.77	c cleaning 364028 clauses out of 728114 with flag 365368569/66785001
2933.44/2967.40	c cleaning 365018 clauses out of 730086 with flag 367327734/67151001
2950.92/2985.02	c cleaning 366021 clauses out of 732068 with flag 369299773/67518001
2968.46/3002.51	c cleaning 367008 clauses out of 734046 with flag 371242132/67886000
2986.88/3021.16	c cleaning 367995 clauses out of 736038 with flag 373199166/68255000
3004.04/3038.22	c cleaning 368987 clauses out of 738043 with flag 375172376/68625000
3022.00/3056.16	c cleaning 369995 clauses out of 740056 with flag 377095270/68996000
3038.90/3072.91	c cleaning 371016 clauses out of 742061 with flag 379048325/69368000
3057.14/3091.22	c cleaning 371928 clauses out of 744046 with flag 381048723/69741001
3075.80/3109.98	c cleaning 373026 clauses out of 746118 with flag 383068456/70115001
3094.55/3128.62	c cleaning 374024 clauses out of 748091 with flag 385080914/70490000
3112.20/3146.44	c cleaning 374940 clauses out of 750068 with flag 387085423/70866001
3129.07/3163.22	c cleaning 376044 clauses out of 752127 with flag 389077747/71243000
3148.05/3182.15	c cleaning 377025 clauses out of 754083 with flag 391073450/71621000
3166.35/3200.48	c cleaning 378000 clauses out of 756058 with flag 393044840/72000000
3184.51/3218.54	c cleaning 379014 clauses out of 758058 with flag 395029840/72380000
3202.78/3237.02	c cleaning 380006 clauses out of 760046 with flag 397071117/72761002
3219.88/3254.05	c cleaning 380958 clauses out of 762039 with flag 399066210/73143001
3239.26/3273.72	c cleaning 381995 clauses out of 764081 with flag 401127761/73526001
3260.03/3294.74	c cleaning 383034 clauses out of 766086 with flag 403183574/73910001
3278.26/3312.72	c cleaning 383980 clauses out of 768052 with flag 405203736/74295001
3297.49/3332.17	c cleaning 385013 clauses out of 770073 with flag 407282851/74681002
3315.71/3349.75	c cleaning 386011 clauses out of 772058 with flag 409354903/75068000
3333.63/3367.91	c cleaning 387013 clauses out of 774047 with flag 411437048/75456000
3353.91/3388.36	c cleaning 387998 clauses out of 776034 with flag 413502262/75845000
3373.33/3407.60	c cleaning 389009 clauses out of 778037 with flag 415615249/76235001
3392.58/3426.94	c cleaning 389981 clauses out of 780027 with flag 417744660/76626000
3410.67/3446.13	c cleaning 390980 clauses out of 782049 with flag 419792835/77018003
3428.84/3464.25	c cleaning 391945 clauses out of 784067 with flag 421878692/77411001
3447.24/3482.61	c cleaning 393034 clauses out of 786122 with flag 423974028/77805001
3467.06/3502.21	c cleaning 394019 clauses out of 788088 with flag 426057081/78200001
3485.62/3520.87	c cleaning 394978 clauses out of 790068 with flag 428175964/78596000
3506.01/3541.21	c cleaning 396026 clauses out of 792090 with flag 430332918/78993000
3525.95/3561.13	c cleaning 396969 clauses out of 794065 with flag 432473633/79391001
3546.47/3581.78	c cleaning 398026 clauses out of 796095 with flag 434576679/79790000
3565.47/3600.58	c cleaning 399011 clauses out of 798070 with flag 436627035/80190001
3585.66/3620.80	c cleaning 400010 clauses out of 800060 with flag 438747621/80591002
3600.04/3636.91	c starts		: 36444
3600.04/3636.91	c conflicts		: 80883135
3600.04/3636.91	c decisions		: 160225628
3600.04/3636.91	c propagations		: 1736381503
3600.04/3636.91	c inspects		: 45259111318
3600.04/3636.91	c shortcuts		: 0
3600.04/3636.91	c learnt literals	: 0
3600.04/3636.91	c learnt binary clauses	: 0
3600.04/3636.91	c learnt ternary clauses	: 0
3600.04/3636.91	c learnt constraints	: 80883135
3600.04/3636.91	c ignored constraints	: 0
3600.04/3636.91	c root simplifications	: 0
3600.04/3636.91	c removed literals (reason simplification)	: 120899404
3600.04/3636.91	c reason swapping (by a shorter reason)	: 0
3600.04/3636.91	c Calls to reduceDB	: 397
3600.04/3636.91	c Number of update (reduction) of LBD	: 30307587
3600.04/3636.91	c Imported unit clauses	: 0
3600.04/3636.91	c No decision after first conflict	: false
3600.04/3636.91	c number of reductions to clauses (during analyze)	: 0
3600.04/3636.91	c number of learned constraints concerned by reduction	: 0
3600.04/3636.91	c number of learning phase by resolution	: 0
3600.04/3636.91	c number of learning phase by cutting planes	: 0
3600.04/3636.91	c number of rounding to 1 operations	: 0
3600.04/3636.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3636.91	c number of reductions of the coefficients by power 2 	: 0
3600.04/3636.91	c number of right shift for reduction by power 2 	: 0
3600.04/3636.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3636.91	c number of ending skipping 	: 0
3600.04/3636.91	c number of internal skipping 	: 0
3600.04/3636.91	c number of derivation steps 	: 0
3600.04/3636.91	c number of skipped derivation steps 	: 0
3600.04/3636.91	c number of remaining unassigned 	: 0
3600.04/3636.91	c number of remaining assigned 	: 0
3600.04/3636.91	c number of falsified literals weakened from reason	: 0
3600.04/3636.91	c number of falsified literals weakened from conflict	: 0
3600.04/3636.91	c time for arithmetic operations	: 0
3600.04/3636.92	c minimum degree of deleted constraints	: null
3600.04/3636.92	c maximum degree of deleted constraints	: null
3600.04/3636.92	c number of deleted constraints	: 0
3600.04/3636.92	c timeout
3600.04/3636.93	c speed (assignments/second)	: 477518.7852457114
3600.04/3636.93	c non guided choices	: 54279746
3600.04/3636.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 692183
3600.04/3636.99	s UNKNOWN
3600.04/3636.99	c Total wall clock time (in seconds): 3636.694

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

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

solver pid=200205, runsolver pid=200191

[startup+0.100104 s]*
/proc/loadavg: 1.01 1.40 2.15 5/267 200215
/proc/meminfo: memFree=126657452/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=16431484 memory=22960 CPUtime=0 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 1572 0 48 0 0 0 0 0 20 0 2 0 20888292 16825839616 5740 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16784588 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4107871 5740 3538 1 0 4847 0
[pid=200205/tid=200212] ppid=200191 vsize=16874648 memory=4026561586 CPUtime=0 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) S 200191 200205 200135 0 -1 1077936192 1025 0 33 0 0 0 0 0 20 0 3 0 20888296 17279639552 5783 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 4 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200218] ppid=200191 vsize=16809112 memory=237146210664 CPUtime=0 cores=5,7
/proc/200205/task/200218/stat : 200218 (java) R 200191 200205 200135 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 3 0 20888303 17212530688 5783 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16431484 KiB
Current children cumulated memory: 22960 KiB

[startup+0.20681 s]*
/proc/loadavg: 1.01 1.40 2.15 16/331 200279
/proc/meminfo: memFree=126532024/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=18975048 memory=56688 CPUtime=0.07 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 6485 0 72 0 5 2 0 0 20 0 18 0 20888292 19430449152 14172 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4743762 14172 5449 1 0 548745 0
[pid=200205/tid=200212] ppid=200191 vsize=18975048 memory=3461362060219711619 CPUtime=0.04 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) D 200191 200205 200135 0 -1 4194368 5362 0 49 0 3 1 0 0 20 0 18 0 20888296 19430449152 14172 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 10 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=18975048 memory=1555553 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 14172 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=18975048 memory=16098173902915238 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 14172 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56688 KiB

[startup+0.309364 s]*
/proc/loadavg: 1.01 1.40 2.15 10/331 200279
/proc/meminfo: memFree=126473456/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=18975048 memory=73920 CPUtime=0.21 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 7487 0 74 0 19 2 0 0 20 0 18 0 20888292 19430449152 18480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4743762 18480 5682 1 0 549514 0
[pid=200205/tid=200212] ppid=200191 vsize=18975048 memory=-9103016661251498684 CPUtime=0.13 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) S 200191 200205 200135 0 -1 1077936192 5902 0 50 0 11 2 0 0 20 0 18 0 20888296 19430449152 18480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=18975048 memory=1470208041383723609 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 18480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 18480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73920 KiB

[startup+0.70228 s]
/proc/loadavg: 1.01 1.40 2.15 14/335 200283
/proc/meminfo: memFree=125694368/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=626520 CPUtime=0.94 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 10510 0 74 0 81 13 0 0 20 0 20 0 20888292 19566772224 156630 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 156630 5772 1 0 551730 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=12348 CPUtime=0.45 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 6247 0 50 0 33 12 0 0 20 0 20 0 20888296 19566772224 156630 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 156630 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=15888 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 156630 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 626520 KiB

[startup+1.50028 s]
/proc/loadavg: 1.01 1.40 2.15 15/338 200286
/proc/meminfo: memFree=124730772/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=647120 CPUtime=2.51 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 17606 0 74 0 237 14 0 0 20 0 20 0 20888292 19566772224 161780 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 161780 5801 1 0 556646 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=15888 CPUtime=1.17 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 6329 0 50 0 105 12 0 0 20 0 20 0 20888296 19566772224 161780 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 161780 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=1896 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 161780 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 161780 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 647120 KiB

[startup+3.10752 s]
/proc/loadavg: 1.01 1.40 2.15 9/339 200287
/proc/meminfo: memFree=124524900/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=648148 CPUtime=5.29 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 17935 0 74 0 513 16 0 0 20 0 20 0 20888292 19566772224 162037 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 162037 5819 1 0 556653 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=13492 CPUtime=2.76 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 6452 0 50 0 262 14 0 0 20 0 20 0 20888296 19566772224 162037 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 162037 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=115265 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 162037 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=15888 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 162037 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 648148 KiB

[startup+6.30028 s]
/proc/loadavg: 1.25 1.44 2.16 8/339 200289
/proc/meminfo: memFree=122917552/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=1168744 CPUtime=9 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 23847 0 74 0 871 29 0 0 20 0 20 0 20888292 19566772224 292186 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 292186 5819 1 0 556675 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=0 CPUtime=5.86 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 7778 0 50 0 560 26 0 0 20 0 20 0 20888296 19566772224 292186 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=15888 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 292186 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 292186 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=68676 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 292186 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1168744 KiB

[startup+12.7003 s]
/proc/loadavg: 1.47 1.49 2.17 9/339 200289
/proc/meminfo: memFree=122108340/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=1325920 CPUtime=15.79 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 26655 0 74 0 1540 39 0 0 20 0 20 0 20888292 19566772224 331480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 331480 5823 1 0 556675 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=68676 CPUtime=12.22 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 8063 0 50 0 1187 35 0 0 20 0 20 0 20888296 19566772224 331480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=1325920 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 331480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 331480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 331480 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325920 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 1.61 2.20 9/339 200290
/proc/meminfo: memFree=120519660/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=1344488 CPUtime=28.57 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 30484 0 74 0 2807 50 0 0 20 0 20 0 20888292 19566772224 336122 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 336122 5823 1 0 556675 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=0 CPUtime=24.89 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 9955 0 50 0 2445 44 0 0 20 0 20 0 20888296 19566772224 336122 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=1344488 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 336122 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 336122 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=140618303252097 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 336122 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1344488 KiB

[startup+51.1073 s]
/proc/loadavg: 2.76 1.82 2.25 9/339 200295
/proc/meminfo: memFree=116376204/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=2656316 CPUtime=53.7 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 33788 0 74 0 5279 91 0 0 20 0 20 0 20888292 19566772224 664079 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 664079 5823 1 0 1083070 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=2656296 CPUtime=49.64 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 11520 0 50 0 4881 83 0 0 20 0 20 0 20888296 19566772224 664079 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 68 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=-9103016661251498684 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 664079 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=2656296 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 664079 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 664079 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 8/337 202093
/proc/meminfo: memFree=64463784/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4291588 CPUtime=3247.87 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 272808 0 74 0 322916 1871 0 0 20 0 20 0 20888292 19566772224 1072897 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1072897 5824 1 0 1087295 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4291588 CPUtime=3184.1 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 117469 0 50 0 316653 1757 0 0 20 0 20 0 20888296 19566772224 1072897 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5643 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=4291588 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1072897 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=4291588 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2450 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1072897 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=4291588 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1072897 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3247.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4291588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.11 9/336 202104
/proc/meminfo: memFree=63680192/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4291736 CPUtime=3308.38 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 290062 0 74 0 328935 1903 0 0 20 0 20 0 20888292 19566772224 1072934 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1072934 5824 1 0 1087309 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4291624 CPUtime=3242.8 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 122231 0 50 0 322495 1785 0 0 20 0 20 0 20888296 19566772224 1072934 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5685 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=4291736 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1072934 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=32176 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2533 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1072934 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1072934 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3308.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4291736 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.12 9/337 202116
/proc/meminfo: memFree=62844284/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4291764 CPUtime=3367.94 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 291183 0 74 0 334864 1930 0 0 20 0 20 0 20888292 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1072941 5824 1 0 1087309 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4291560 CPUtime=3302.01 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 123221 0 50 0 328390 1811 0 0 20 0 20 0 20888296 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5719 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=4291764 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2540 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=4291764 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3367.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4291764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 9/340 202132
/proc/meminfo: memFree=62041100/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4291764 CPUtime=3426.94 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 294736 0 74 0 340735 1959 0 0 20 0 20 0 20888292 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1072941 5824 1 0 1087309 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4291764 CPUtime=3360.07 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 124633 0 50 0 334169 1838 0 0 20 0 20 0 20888296 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5851 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=4291764 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2607 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=4291764 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1072941 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3426.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4291764 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 9/341 202144
/proc/meminfo: memFree=61253864/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4292020 CPUtime=3487.12 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 298953 0 74 0 346724 1988 0 0 20 0 20 0 20888292 19566772224 1073005 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1073005 5824 1 0 1087375 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4291764 CPUtime=3418.97 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 126494 0 50 0 340033 1864 0 0 20 0 20 0 20888296 19566772224 1073005 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5881 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=4291764 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1073005 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2607 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1073005 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=4292020 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1073005 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3487.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4292020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 9/340 202154
/proc/meminfo: memFree=60425276/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4292032 CPUtime=3547.07 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 300715 0 74 0 352690 2017 0 0 20 0 20 0 20888292 19566772224 1073008 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1073008 5824 1 0 1087375 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=2132 CPUtime=3478.22 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 127702 0 50 0 345931 1891 0 0 20 0 20 0 20888296 19566772224 1073008 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5905 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1073008 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=2132 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2673 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1073008 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=-7594895976669143935 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1073008 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3547.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4292032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3636.9 s]
/proc/loadavg: 3.94 4.10 4.08 2/266 202260
/proc/meminfo: memFree=86774124/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19108176 memory=4292044 CPUtime=3600.04 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 304399 0 74 0 357964 2040 0 0 20 0 20 0 20888292 19566772224 1073011 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4777044 1073011 5824 1 0 1087378 0
[pid=200205/tid=200212] ppid=200191 vsize=19108176 memory=4292040 CPUtime=3530.14 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) R 200191 200205 200135 0 -1 4194368 129186 0 50 0 351101 1913 0 0 20 0 20 0 20888296 19566772224 1073011 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6096 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19108176 memory=4292044 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 1073011 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19108176 memory=4292040 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2740 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 1073011 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200286] ppid=200191 vsize=19108176 memory=4292024 CPUtime=0 cores=5,7
/proc/200205/task/200286/stat : 200286 (Timer-0) S 200191 200205 200135 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20888358 19566772224 1073011 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4292044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.76 s, system=20.4277 s

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

[startup+3637 s]*
/proc/loadavg: 3.94 4.10 4.08 1/261 202263
/proc/meminfo: memFree=86770264/131524600 swapFree=131056028/131071996
[pid=200205] ppid=200191 vsize=19307868 memory=4292852 CPUtime=3600.17 cores=5,7
/proc/200205/stat : 200205 (java) S 200191 200205 200135 0 -1 1077936128 307642 0 74 0 357976 2041 0 0 20 0 15 0 20888292 19771256832 1073213 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 0 0 16800975 0 0 0 17 7 0 0 3 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
/proc/200205/statm: 4826967 1073213 5838 1 0 1088303 0
[pid=200205/tid=200212] ppid=200191 vsize=19307868 memory=-9103016661251498684 CPUtime=3530.16 cores=5,7
/proc/200205/task/200212/stat : 200212 (java) D 200191 200205 200135 0 -1 4194368 129469 0 50 0 351102 1914 0 0 20 0 15 0 20888296 19771256832 1073213 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6097 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200247] ppid=200191 vsize=19307868 memory=7511279147600206148 CPUtime=0 cores=5,7
/proc/200205/task/200247/stat : 200247 (Finalizer) S 200191 200205 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 20888310 19771256832 1073213 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
[pid=200205/tid=200278] ppid=200191 vsize=19307868 memory=-9103016661251498684 CPUtime=0 cores=5,7
/proc/200205/task/200278/stat : 200278 (Common-Cleaner) S 200191 200205 200135 0 -1 1077936192 2740 0 0 0 0 0 0 0 20 0 15 0 20888311 19771256832 1073213 134679101440 93861576355840 93861576359536 140731176677392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93861576367352 93861576368144 93861608210432 140731176682411 140731176682593 140731176682593 140731176689608 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4292852 KiB

Child status: 143

Real time (s): 3637.04
CPU time (s): 3600.19
CPU user time (s): 3579.76
CPU system time (s): 20.4277
CPU usage (%): 98.9868
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4292852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.76
system time used= 20.4277
maximum resident set size= 4293800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307693
page faults= 74
swaps= 0
block input operations= 8568
block output operations= 32323000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120569
involuntary context switches= 12773


# summary of solver processes directly reported to runsolver:
#   pid: 200205
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3579.76
#   total CPU system time (s): 20.4277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.81567 second user time and 20.028 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 19:53:18
IDJOB=4453732
IDBENCH=175800
IDSOLVER=3079
FILE ID=nodeC016/4453732-1721843598
RUNJOBID= nodeC016-1721843598-200148
SLURM_JOB_ID= 7891586
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453732-1721843598/watcher-4453732-1721843598 -o /tmp/evaluation-result-4453732-1721843598/solver-4453732-1721843598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721843598-200148 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453732-1721843598 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453732-1721843598.opb

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

MD5SUM BENCH= b512d05250ba58a8183e09c02953f5b4
RANDOM SEED=1039846711

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126708448 kB
MemAvailable:   129578356 kB
Buffers:          266824 kB
Cached:          3285168 kB
SwapCached:          284 kB
Active:          2262304 kB
Inactive:        1658544 kB
Active(anon):       2308 kB
Inactive(anon):   418948 kB
Active(file):    2259996 kB
Inactive(file):  1239596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              3852 kB
Writeback:             0 kB
AnonPages:        368792 kB
Mapped:           102748 kB
Shmem:             52400 kB
KReclaimable:     419928 kB
Slab:             540432 kB
SReclaimable:     419928 kB
SUnreclaim:       120504 kB
KernelStack:        3936 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-24 20:53:55