Trace number 4447514

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.25 3608.81

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMd3332ca740d3ae6dd3f9a6cb3b2999d7
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 benchmark588.803
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables141
Total number of constraints376
Number of constraints which are clauses376
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 5
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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4447514-1721349254.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.022s.
0.13/0.15	c declared #vars     141
0.13/0.15	c #constraints  376
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 376
0.13/0.15	c 376 constraints processed.
0.53/0.36	c cleaning 2498 clauses out of 5001 with flag 22358/5001
0.92/0.51	c cleaning 4249 clauses out of 8502 with flag 46427/11000
1.11/0.67	c cleaning 5623 clauses out of 11254 with flag 84752/18001
1.29/0.79	c cleaning 6807 clauses out of 13630 with flag 123408/26000
1.62/0.92	c cleaning 7906 clauses out of 15824 with flag 165781/35001
1.80/1.09	c cleaning 8955 clauses out of 17917 with flag 211107/45000
2.15/1.25	c cleaning 9976 clauses out of 19962 with flag 261187/56000
2.35/1.41	c cleaning 10987 clauses out of 21986 with flag 316880/68000
2.55/1.65	c cleaning 11996 clauses out of 23999 with flag 380412/81000
3.01/1.91	c cleaning 12996 clauses out of 26004 with flag 442812/95001
3.21/2.16	c cleaning 13999 clauses out of 28008 with flag 511459/110001
3.50/2.44	c cleaning 14995 clauses out of 30008 with flag 581334/126000
3.75/2.69	c cleaning 16003 clauses out of 32013 with flag 655603/143000
4.05/2.96	c cleaning 16997 clauses out of 34011 with flag 732758/161001
4.36/3.25	c cleaning 18002 clauses out of 36014 with flag 817220/180001
4.65/3.59	c cleaning 19002 clauses out of 38011 with flag 912556/200000
5.05/3.92	c cleaning 19997 clauses out of 40010 with flag 1010909/221001
5.35/4.29	c cleaning 21002 clauses out of 42013 with flag 1109371/243001
5.85/4.71	c cleaning 22000 clauses out of 44010 with flag 1215554/266000
6.25/5.16	c cleaning 23002 clauses out of 46010 with flag 1375237/290000
6.76/5.60	c cleaning 23997 clauses out of 48008 with flag 1499311/315000
7.27/6.16	c cleaning 25002 clauses out of 50012 with flag 1618498/341001
7.86/6.72	c cleaning 25998 clauses out of 52010 with flag 1734983/368001
8.46/7.34	c cleaning 27001 clauses out of 54011 with flag 1866515/396000
9.16/8.00	c cleaning 28000 clauses out of 56011 with flag 2001875/425001
9.75/8.61	c cleaning 29002 clauses out of 58011 with flag 2139901/455001
10.35/9.24	c cleaning 30000 clauses out of 60008 with flag 2283946/486000
11.05/9.98	c cleaning 31004 clauses out of 62009 with flag 2424228/518001
11.95/10.88	c cleaning 31997 clauses out of 64005 with flag 2592038/551001
12.95/11.81	c cleaning 33002 clauses out of 66009 with flag 2754803/585002
13.64/12.54	c cleaning 33997 clauses out of 68005 with flag 2912580/620000
14.44/13.36	c cleaning 34998 clauses out of 70009 with flag 3083576/656001
15.34/14.27	c cleaning 36001 clauses out of 72010 with flag 3243303/693000
16.14/15.05	c cleaning 36997 clauses out of 74009 with flag 3417802/731000
17.04/15.99	c cleaning 37995 clauses out of 76013 with flag 3592935/770001
18.14/17.06	c cleaning 39003 clauses out of 78018 with flag 3774346/810001
19.24/18.12	c cleaning 39999 clauses out of 80015 with flag 3960218/851001
20.36/19.25	c cleaning 41001 clauses out of 82015 with flag 4148529/893000
21.45/20.37	c cleaning 42000 clauses out of 84015 with flag 4347945/936001
22.75/21.63	c cleaning 43002 clauses out of 86014 with flag 4544724/980000
24.05/22.93	c cleaning 44002 clauses out of 88013 with flag 4755771/1025001
25.25/24.13	c cleaning 45000 clauses out of 90011 with flag 4968343/1071001
26.84/25.74	c cleaning 45998 clauses out of 92011 with flag 5190295/1118001
28.34/27.24	c cleaning 46999 clauses out of 94012 with flag 5401238/1166000
29.98/28.86	c cleaning 47999 clauses out of 96014 with flag 5594685/1215001
31.18/30.08	c cleaning 48996 clauses out of 98014 with flag 5797361/1265000
32.48/31.34	c cleaning 50005 clauses out of 100018 with flag 6005206/1316000
33.97/32.82	c cleaning 50999 clauses out of 102013 with flag 6242819/1368000
36.07/34.94	c cleaning 51999 clauses out of 104015 with flag 6478476/1421001
37.62/36.46	c cleaning 53002 clauses out of 106016 with flag 6725680/1475001
39.11/37.98	c cleaning 53998 clauses out of 108013 with flag 6978036/1530000
40.69/39.58	c cleaning 55004 clauses out of 110016 with flag 7225932/1586001
42.38/41.28	c cleaning 55999 clauses out of 112011 with flag 7511128/1643000
43.86/42.74	c cleaning 56999 clauses out of 114012 with flag 7769680/1701000
45.55/44.47	c cleaning 57999 clauses out of 116014 with flag 7993866/1760001
47.35/46.28	c cleaning 59000 clauses out of 118014 with flag 8265276/1820000
48.94/47.84	c cleaning 60004 clauses out of 120015 with flag 8538552/1881001
51.22/50.14	c cleaning 61002 clauses out of 122011 with flag 8828037/1943001
53.29/52.29	c cleaning 62001 clauses out of 124008 with flag 9113009/2006000
55.08/54.04	c cleaning 63001 clauses out of 126008 with flag 9403773/2070001
56.98/55.96	c cleaning 64000 clauses out of 128007 with flag 9696818/2135001
58.96/57.94	c cleaning 64994 clauses out of 130006 with flag 10002555/2201000
60.94/59.95	c cleaning 65997 clauses out of 132013 with flag 10315960/2268001
62.94/61.99	c cleaning 67003 clauses out of 134016 with flag 10625121/2336001
65.76/64.70	c cleaning 68004 clauses out of 136013 with flag 10958443/2405001
67.76/66.74	c cleaning 68999 clauses out of 138009 with flag 11294927/2475001
70.06/69.05	c cleaning 69998 clauses out of 140009 with flag 11637678/2546000
72.45/71.46	c cleaning 70996 clauses out of 142012 with flag 11989816/2618001
74.57/73.56	c cleaning 72005 clauses out of 144016 with flag 12374523/2691001
76.66/75.60	c cleaning 72999 clauses out of 146010 with flag 12746930/2765000
78.86/77.83	c cleaning 74002 clauses out of 148011 with flag 13136634/2840000
81.55/80.54	c cleaning 74999 clauses out of 150009 with flag 13511935/2916000
85.07/84.07	c cleaning 75996 clauses out of 152010 with flag 13853681/2993000
88.75/87.78	c cleaning 76995 clauses out of 154014 with flag 14203326/3071000
92.74/91.79	c cleaning 78000 clauses out of 156019 with flag 14554016/3150000
96.93/95.96	c cleaning 79000 clauses out of 158020 with flag 14909811/3230001
100.65/99.60	c cleaning 80002 clauses out of 160019 with flag 15274851/3311000
105.24/104.23	c cleaning 80998 clauses out of 162018 with flag 15636422/3393001
109.93/108.94	c cleaning 82003 clauses out of 164020 with flag 16000832/3476001
113.93/112.98	c cleaning 83000 clauses out of 166017 with flag 16376127/3560001
116.93/115.90	c cleaning 84003 clauses out of 168017 with flag 16765200/3645001
119.62/118.68	c cleaning 85000 clauses out of 170014 with flag 17167309/3731001
123.02/122.09	c cleaning 86004 clauses out of 172013 with flag 17560418/3818000
126.03/125.09	c cleaning 87000 clauses out of 174010 with flag 17936867/3906001
129.13/128.17	c cleaning 88004 clauses out of 176010 with flag 18336193/3995001
132.02/131.01	c cleaning 88994 clauses out of 178006 with flag 18729685/4085001
135.41/134.47	c cleaning 90002 clauses out of 180011 with flag 19200980/4176000
139.13/138.12	c cleaning 91000 clauses out of 182009 with flag 19662664/4268000
142.59/141.65	c cleaning 92000 clauses out of 184010 with flag 20129853/4361001
146.56/145.60	c cleaning 93002 clauses out of 186009 with flag 20577808/4455000
149.93/149.06	c cleaning 93997 clauses out of 188007 with flag 21017567/4550000
153.20/152.32	c cleaning 94996 clauses out of 190011 with flag 21401505/4646001
156.77/155.98	c cleaning 96001 clauses out of 192014 with flag 21827677/4743000
160.54/159.70	c cleaning 96999 clauses out of 194013 with flag 22261600/4841000
165.19/164.48	c cleaning 98002 clauses out of 196015 with flag 22742331/4940001
170.25/169.56	c cleaning 98995 clauses out of 198012 with flag 23240887/5040000
175.30/174.69	c cleaning 100000 clauses out of 200017 with flag 23743916/5141000
180.76/180.10	c cleaning 101000 clauses out of 202017 with flag 24253628/5243000
185.82/185.28	c cleaning 102001 clauses out of 204017 with flag 24764153/5346000
191.27/190.74	c cleaning 102996 clauses out of 206016 with flag 25284716/5450000
196.73/196.24	c cleaning 104004 clauses out of 208021 with flag 25810689/5555001
202.18/201.75	c cleaning 104999 clauses out of 210017 with flag 26337982/5661001
207.73/207.31	c cleaning 105997 clauses out of 212017 with flag 26875084/5768000
211.98/211.56	c cleaning 107001 clauses out of 214021 with flag 27382046/5876001
216.04/215.66	c cleaning 108003 clauses out of 216019 with flag 27883502/5985000
220.11/219.74	c cleaning 109001 clauses out of 218017 with flag 28359288/6095001
224.20/223.82	c cleaning 109997 clauses out of 220015 with flag 28848351/6206000
228.50/228.17	c cleaning 111004 clauses out of 222019 with flag 29325166/6318001
232.85/232.48	c cleaning 111999 clauses out of 224014 with flag 29826228/6431000
237.64/237.20	c cleaning 112999 clauses out of 226016 with flag 30317742/6545001
242.83/242.48	c cleaning 114002 clauses out of 228017 with flag 30825289/6660001
248.42/248.09	c cleaning 115001 clauses out of 230014 with flag 31363544/6776000
254.20/253.83	c cleaning 115999 clauses out of 232014 with flag 31897407/6893001
259.10/258.72	c cleaning 116998 clauses out of 234014 with flag 32445970/7011000
264.18/263.86	c cleaning 118002 clauses out of 236017 with flag 33020570/7130001
269.41/269.03	c cleaning 119002 clauses out of 238015 with flag 33622585/7250001
275.40/275.02	c cleaning 119996 clauses out of 240013 with flag 34199967/7371001
281.58/281.21	c cleaning 121005 clauses out of 242016 with flag 34792559/7493000
286.48/286.14	c cleaning 122000 clauses out of 244011 with flag 35401310/7616000
291.47/291.16	c cleaning 123001 clauses out of 246012 with flag 35960346/7740001
297.36/297.01	c cleaning 123998 clauses out of 248011 with flag 36532390/7865001
302.90/302.57	c cleaning 124999 clauses out of 250012 with flag 37110310/7991000
308.29/307.96	c cleaning 125997 clauses out of 252014 with flag 37678279/8118001
314.28/313.97	c cleaning 127000 clauses out of 254017 with flag 38269256/8246001
320.27/319.99	c cleaning 128002 clauses out of 256016 with flag 38855573/8375000
326.56/326.25	c cleaning 128996 clauses out of 258015 with flag 39419689/8505001
332.16/331.83	c cleaning 130001 clauses out of 260019 with flag 39983550/8636001
338.15/337.89	c cleaning 131002 clauses out of 262017 with flag 40547383/8768000
344.13/343.88	c cleaning 131998 clauses out of 264015 with flag 41125895/8901000
350.22/349.98	c cleaning 132997 clauses out of 266018 with flag 41764718/9035001
357.26/357.09	c cleaning 133999 clauses out of 268021 with flag 42421743/9170001
364.33/364.14	c cleaning 134997 clauses out of 270021 with flag 43069981/9306000
370.21/370.05	c cleaning 136002 clauses out of 272025 with flag 43688771/9443001
377.30/377.18	c cleaning 137003 clauses out of 274023 with flag 44328210/9581001
385.28/385.12	c cleaning 138004 clauses out of 276019 with flag 44934916/9720000
392.16/392.06	c cleaning 139001 clauses out of 278015 with flag 45564497/9860000
398.25/398.10	c cleaning 140001 clauses out of 280015 with flag 46164123/10001001
405.43/405.31	c cleaning 140996 clauses out of 282014 with flag 46805839/10143001
412.12/411.92	c cleaning 142000 clauses out of 284018 with flag 47461063/10286001
418.90/418.72	c cleaning 143001 clauses out of 286017 with flag 48126626/10430000
425.99/425.89	c cleaning 143996 clauses out of 288016 with flag 48781427/10575000
433.28/433.10	c cleaning 144999 clauses out of 290020 with flag 49446450/10721000
442.85/442.78	c cleaning 146005 clauses out of 292022 with flag 50066957/10868001
450.93/450.89	c cleaning 147003 clauses out of 294016 with flag 50715465/11016000
458.31/458.29	c cleaning 148002 clauses out of 296013 with flag 51355965/11165000
465.70/465.65	c cleaning 149003 clauses out of 298012 with flag 52020504/11315001
474.17/474.06	c cleaning 149995 clauses out of 300008 with flag 52731861/11466000
483.25/483.19	c cleaning 151001 clauses out of 302014 with flag 53460508/11618001
491.03/490.91	c cleaning 152002 clauses out of 304013 with flag 54128026/11771001
498.71/498.66	c cleaning 152998 clauses out of 306010 with flag 54785689/11925000
506.19/506.17	c cleaning 154001 clauses out of 308013 with flag 55514465/12080001
515.26/515.21	c cleaning 154998 clauses out of 310011 with flag 56245160/12236000
524.74/524.73	c cleaning 155999 clauses out of 312014 with flag 56908197/12393001
537.91/537.92	c cleaning 156995 clauses out of 314014 with flag 57600009/12551000
546.10/546.15	c cleaning 158003 clauses out of 316019 with flag 58313438/12710000
555.11/554.89	c cleaning 158999 clauses out of 318016 with flag 59036026/12870000
563.20/562.99	c cleaning 159999 clauses out of 320017 with flag 59747991/13031000
570.88/570.64	c cleaning 161000 clauses out of 322018 with flag 60493089/13193000
579.77/579.53	c cleaning 161999 clauses out of 324018 with flag 61239944/13356000
589.14/588.95	c cleaning 163002 clauses out of 326019 with flag 61989753/13520000
597.72/597.53	c cleaning 164000 clauses out of 328017 with flag 62726867/13685000
607.10/606.98	c cleaning 164998 clauses out of 330018 with flag 63494623/13851001
615.48/615.36	c cleaning 166000 clauses out of 332020 with flag 64233561/14018001
624.76/624.65	c cleaning 167000 clauses out of 334020 with flag 64979389/14186001
633.73/633.63	c cleaning 168000 clauses out of 336020 with flag 65763770/14355001
643.51/643.49	c cleaning 168998 clauses out of 338020 with flag 66522957/14525001
653.96/653.87	c cleaning 169999 clauses out of 340021 with flag 67306705/14696000
665.84/665.76	c cleaning 171005 clauses out of 342022 with flag 68047430/14868000
677.52/677.49	c cleaning 172007 clauses out of 344017 with flag 68765349/15041000
686.60/686.56	c cleaning 173001 clauses out of 346011 with flag 69495706/15215001
696.98/696.93	c cleaning 173998 clauses out of 348009 with flag 70235275/15390000
706.46/706.50	c cleaning 174999 clauses out of 350012 with flag 70982132/15566001
717.16/717.16	c cleaning 176001 clauses out of 352013 with flag 71735933/15743001
729.53/729.56	c cleaning 177002 clauses out of 354011 with flag 72504253/15921000
740.11/740.18	c cleaning 177999 clauses out of 356010 with flag 73239175/16100001
749.48/749.53	c cleaning 178997 clauses out of 358011 with flag 74000622/16280001
760.37/760.49	c cleaning 179997 clauses out of 360013 with flag 74805076/16461000
772.63/772.74	c cleaning 181004 clauses out of 362016 with flag 75643250/16643000
787.10/787.24	c cleaning 182004 clauses out of 364013 with flag 76454170/16826001
798.37/798.58	c cleaning 182994 clauses out of 366009 with flag 77278330/17010001
809.85/810.01	c cleaning 183999 clauses out of 368015 with flag 78120283/17195001
819.52/819.71	c cleaning 184999 clauses out of 370015 with flag 78922931/17381000
830.59/830.82	c cleaning 186000 clauses out of 372016 with flag 79763065/17568000
843.66/843.91	c cleaning 187005 clauses out of 374016 with flag 80599157/17756000
854.74/854.93	c cleaning 187998 clauses out of 376012 with flag 81441961/17945001
866.65/866.90	c cleaning 188998 clauses out of 378014 with flag 82270173/18135001
879.53/879.97	c cleaning 189999 clauses out of 380016 with flag 83099995/18326001
889.95/890.42	c cleaning 191002 clauses out of 382017 with flag 83906402/18518001
902.63/903.26	c cleaning 191999 clauses out of 384015 with flag 84756508/18711001
915.12/915.87	c cleaning 193003 clauses out of 386016 with flag 85513661/18905001
926.82/927.63	c cleaning 193997 clauses out of 388012 with flag 86384171/19100000
939.31/940.02	c cleaning 195003 clauses out of 390015 with flag 87265117/19296000
951.29/952.03	c cleaning 196000 clauses out of 392012 with flag 88175285/19493000
963.96/964.76	c cleaning 197002 clauses out of 394013 with flag 89166039/19691001
977.43/978.28	c cleaning 197995 clauses out of 396011 with flag 90146685/19890001
991.21/992.02	c cleaning 198994 clauses out of 398015 with flag 91133745/20090000
1003.99/1004.85	c cleaning 200003 clauses out of 400021 with flag 91970981/20291000
1017.63/1018.46	c cleaning 201001 clauses out of 402018 with flag 92934901/20493000
1034.10/1034.95	c cleaning 202002 clauses out of 404018 with flag 93801834/20696001
1048.19/1049.09	c cleaning 202997 clauses out of 406015 with flag 94699594/20900000
1062.26/1063.14	c cleaning 204001 clauses out of 408019 with flag 95609278/21105001
1077.53/1078.49	c cleaning 205002 clauses out of 410017 with flag 96477153/21311000
1093.79/1094.75	c cleaning 206006 clauses out of 412016 with flag 97346339/21518001
1106.47/1107.42	c cleaning 207000 clauses out of 414010 with flag 98253639/21726001
1124.90/1125.85	c cleaning 207996 clauses out of 416009 with flag 99181543/21935000
1138.47/1139.46	c cleaning 208999 clauses out of 418014 with flag 100101333/22145001
1151.15/1152.14	c cleaning 209998 clauses out of 420014 with flag 100995046/22356000
1166.12/1167.12	c cleaning 211002 clauses out of 422016 with flag 101894736/22568000
1179.49/1180.53	c cleaning 212001 clauses out of 424015 with flag 102861886/22781001
1193.97/1195.03	c cleaning 212996 clauses out of 426013 with flag 103796111/22995000
1210.83/1211.99	c cleaning 214003 clauses out of 428018 with flag 104695099/23210001
1225.91/1227.06	c cleaning 215000 clauses out of 430015 with flag 105622749/23426001
1241.18/1242.32	c cleaning 216001 clauses out of 432015 with flag 106604755/23643001
1259.84/1261.05	c cleaning 217003 clauses out of 434014 with flag 107537058/23861001
1274.81/1276.09	c cleaning 217998 clauses out of 436010 with flag 108502197/24080000
1290.56/1291.74	c cleaning 218997 clauses out of 438012 with flag 109421790/24300000
1306.23/1307.40	c cleaning 220004 clauses out of 440016 with flag 110361224/24521001
1320.91/1322.17	c cleaning 221000 clauses out of 442012 with flag 111343122/24743001
1335.57/1336.88	c cleaning 222000 clauses out of 444012 with flag 112318224/24966001
1352.65/1353.94	c cleaning 223000 clauses out of 446012 with flag 113304501/25190001
1371.50/1372.85	c cleaning 223997 clauses out of 448011 with flag 114293171/25415000
1389.97/1391.33	c cleaning 224995 clauses out of 450014 with flag 115284845/25641000
1407.04/1408.49	c cleaning 226001 clauses out of 452019 with flag 116283377/25868000
1424.61/1426.01	c cleaning 227002 clauses out of 454018 with flag 117285681/26096000
1441.88/1443.32	c cleaning 228000 clauses out of 456017 with flag 118295424/26325001
1458.94/1460.48	c cleaning 229000 clauses out of 458017 with flag 119325695/26555001
1476.71/1478.24	c cleaning 230000 clauses out of 460017 with flag 120455063/26786001
1493.39/1494.96	c cleaning 231001 clauses out of 462017 with flag 121577444/27018001
1507.18/1508.89	c cleaning 231999 clauses out of 464016 with flag 122729248/27251001
1530.77/1532.64	c cleaning 233005 clauses out of 466016 with flag 123771406/27485000
1551.50/1553.56	c cleaning 233997 clauses out of 468012 with flag 124695829/27720001
1572.23/1574.48	c cleaning 235004 clauses out of 470015 with flag 125624745/27956001
1591.66/1594.03	c cleaning 236001 clauses out of 472010 with flag 126681123/28193000
1608.01/1610.54	c cleaning 236995 clauses out of 474009 with flag 127727444/28431000
1630.57/1633.23	c cleaning 237999 clauses out of 476014 with flag 128694106/28670000
1651.21/1654.10	c cleaning 238999 clauses out of 478015 with flag 129658613/28910000
1673.41/1676.44	c cleaning 240003 clauses out of 480017 with flag 130660038/29151001
1695.61/1698.86	c cleaning 241001 clauses out of 482014 with flag 131647687/29393001
1718.30/1721.73	c cleaning 241999 clauses out of 484012 with flag 132666540/29636000
1741.68/1745.36	c cleaning 243001 clauses out of 486013 with flag 133775476/29880000
1762.80/1766.61	c cleaning 243999 clauses out of 488012 with flag 134758272/30125000
1780.84/1784.85	c cleaning 245000 clauses out of 490013 with flag 135792901/30371000
1800.87/1805.01	c cleaning 246002 clauses out of 492014 with flag 136772235/30618001
1820.69/1825.05	c cleaning 246997 clauses out of 494012 with flag 137851645/30866001
1844.28/1848.81	c cleaning 248003 clauses out of 496015 with flag 138892167/31115001
1863.90/1868.63	c cleaning 249001 clauses out of 498012 with flag 139953274/31365001
1884.35/1889.25	c cleaning 250001 clauses out of 500010 with flag 141054642/31616000
1903.58/1908.60	c cleaning 250994 clauses out of 502009 with flag 142179542/31868000
1922.12/1927.31	c cleaning 252000 clauses out of 504016 with flag 143276402/32121001
1941.34/1946.78	c cleaning 252999 clauses out of 506015 with flag 144349507/32375000
1964.44/1970.05	c cleaning 253999 clauses out of 508016 with flag 145376352/32630000
1982.57/1988.33	c cleaning 255005 clauses out of 510017 with flag 146449308/32886000
2001.71/2007.69	c cleaning 256002 clauses out of 512013 with flag 147545020/33143001
2020.84/2026.97	c cleaning 256998 clauses out of 514010 with flag 148713065/33401000
2041.46/2047.73	c cleaning 258001 clauses out of 516013 with flag 149854860/33660001
2063.08/2069.50	c cleaning 258997 clauses out of 518012 with flag 150982140/33920001
2082.45/2088.91	c cleaning 260002 clauses out of 520014 with flag 152082005/34181000
2103.62/2110.10	c cleaning 260997 clauses out of 522013 with flag 153209553/34443001
2125.57/2132.00	c cleaning 261996 clauses out of 524016 with flag 154334010/34706001
2146.02/2152.54	c cleaning 263005 clauses out of 526020 with flag 155481818/34970001
2167.78/2174.31	c cleaning 263998 clauses out of 528014 with flag 156633195/35235000
2193.53/2200.18	c cleaning 265002 clauses out of 530017 with flag 157685815/35501001
2219.75/2226.41	c cleaning 266000 clauses out of 532015 with flag 158866674/35768001
2242.20/2248.96	c cleaning 266999 clauses out of 534014 with flag 160001836/36036000
2265.45/2272.23	c cleaning 267996 clauses out of 536015 with flag 161131571/36305000
2288.89/2295.70	c cleaning 269002 clauses out of 538019 with flag 162266250/36575000
2316.13/2323.03	c cleaning 270004 clauses out of 540017 with flag 163368456/36846000
2339.47/2346.42	c cleaning 270999 clauses out of 542013 with flag 164488294/37118000
2360.55/2367.00	c cleaning 271997 clauses out of 544014 with flag 165643508/37391000
2386.99/2393.58	c cleaning 273006 clauses out of 546018 with flag 166833614/37665001
2409.75/2416.36	c cleaning 273998 clauses out of 548012 with flag 168112638/37940001
2428.82/2435.49	c cleaning 274998 clauses out of 550014 with flag 169251642/38216001
2451.58/2458.21	c cleaning 276003 clauses out of 552015 with flag 170422154/38493000
2473.04/2479.71	c cleaning 276998 clauses out of 554013 with flag 171691401/38771001
2496.40/2503.15	c cleaning 278001 clauses out of 556014 with flag 172889796/39050000
2520.36/2527.16	c cleaning 278999 clauses out of 558013 with flag 174062007/39330000
2545.21/2552.04	c cleaning 279996 clauses out of 560015 with flag 175304198/39611001
2574.68/2581.53	c cleaning 281007 clauses out of 562019 with flag 176430202/39893001
2604.73/2611.62	c cleaning 281998 clauses out of 564012 with flag 177601244/40176001
2634.57/2641.56	c cleaning 283003 clauses out of 566014 with flag 178742928/40460001
2667.51/2674.57	c cleaning 284001 clauses out of 568011 with flag 179950598/40745001
2702.54/2709.61	c cleaning 284997 clauses out of 570010 with flag 181205291/41031001
2729.47/2736.64	c cleaning 286001 clauses out of 572013 with flag 182458301/41318001
2753.21/2760.48	c cleaning 286999 clauses out of 574011 with flag 183706129/41606000
2776.16/2783.43	c cleaning 287996 clauses out of 576012 with flag 184990558/41895000
2800.51/2807.81	c cleaning 288999 clauses out of 578017 with flag 186247393/42185001
2832.52/2839.90	c cleaning 290001 clauses out of 580017 with flag 187499275/42476000
2860.17/2867.66	c cleaning 290999 clauses out of 582016 with flag 188708793/42768000
2888.30/2895.80	c cleaning 292003 clauses out of 584017 with flag 189829941/43061000
2914.32/2921.74	c cleaning 292998 clauses out of 586015 with flag 191064901/43355001
2939.87/2947.34	c cleaning 294003 clauses out of 588017 with flag 192224955/43650001
2966.82/2974.30	c cleaning 294998 clauses out of 590013 with flag 193309643/43946000
2995.48/3003.01	c cleaning 295995 clauses out of 592016 with flag 194387713/44243001
3019.32/3026.98	c cleaning 297004 clauses out of 594020 with flag 195603860/44541000
3047.17/3054.82	c cleaning 298002 clauses out of 596017 with flag 196908426/44840001
3073.44/3081.13	c cleaning 299002 clauses out of 598014 with flag 198070682/45140000
3102.07/3109.89	c cleaning 299999 clauses out of 600013 with flag 199274823/45441001
3134.72/3142.53	c cleaning 301004 clauses out of 602014 with flag 200435445/45743001
3163.76/3171.64	c cleaning 301999 clauses out of 604010 with flag 201672737/46046001
3187.54/3195.43	c cleaning 302997 clauses out of 606011 with flag 202883837/46350001
3213.94/3222.07	c cleaning 303999 clauses out of 608013 with flag 204123601/46655000
3245.18/3253.37	c cleaning 305002 clauses out of 610015 with flag 205356152/46961001
3274.53/3282.71	c cleaning 306003 clauses out of 612013 with flag 206801034/47268001
3301.07/3309.38	c cleaning 307001 clauses out of 614009 with flag 208205804/47576000
3332.02/3340.36	c cleaning 307997 clauses out of 616008 with flag 209625048/47885000
3364.56/3372.97	c cleaning 308996 clauses out of 618011 with flag 211099246/48195000
3394.71/3403.12	c cleaning 309997 clauses out of 620016 with flag 212504055/48506001
3429.03/3437.59	c cleaning 311001 clauses out of 622018 with flag 213974344/48818000
3470.54/3479.17	c cleaning 312002 clauses out of 624017 with flag 215407997/49131000
3507.25/3515.90	c cleaning 313005 clauses out of 626015 with flag 216788025/49445000
3535.22/3543.74	c cleaning 314000 clauses out of 628011 with flag 218012919/49760001
3564.76/3573.33	c cleaning 314994 clauses out of 630011 with flag 219168940/50076001
3595.10/3603.71	c cleaning 315996 clauses out of 632016 with flag 220328195/50393000
3600.09/3608.72	c starts		: 51115
3600.09/3608.72	c conflicts		: 50572993
3600.09/3608.72	c decisions		: 69893516
3600.09/3608.72	c timeout
3600.09/3608.72	c propagations		: 332885476
3600.09/3608.72	c inspects		: 23272807875
3600.09/3608.72	c shortcuts		: 0
3600.09/3608.72	c learnt literals	: 0
3600.09/3608.72	c learnt binary clauses	: 0
3600.09/3608.72	c learnt ternary clauses	: 4
3600.09/3608.72	c learnt constraints	: 50572993
3600.09/3608.72	c ignored constraints	: 0
3600.09/3608.72	c root simplifications	: 0
3600.09/3608.72	c removed literals (reason simplification)	: 0
3600.09/3608.72	c reason swapping (by a shorter reason)	: 0
3600.09/3608.72	c Calls to reduceDB	: 313
3600.09/3608.72	c Number of update (reduction) of LBD	: 2311530
3600.09/3608.72	c Imported unit clauses	: 0
3600.09/3608.72	c No decision after first conflict	: false
3600.09/3608.72	c number of reductions to clauses (during analyze)	: 0
3600.09/3608.72	c number of learned constraints concerned by reduction	: 0
3600.09/3608.72	c number of learning phase by resolution	: 0
3600.09/3608.72	c number of learning phase by cutting planes	: 0
3600.09/3608.72	c number of rounding to 1 operations	: 0
3600.09/3608.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3608.72	c number of reductions of the coefficients by power 2 	: 0
3600.09/3608.72	c number of right shift for reduction by power 2 	: 0
3600.09/3608.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3608.72	c number of ending skipping 	: 0
3600.09/3608.72	c number of internal skipping 	: 0
3600.09/3608.72	c number of derivation steps 	: 0
3600.09/3608.72	c number of skipped derivation steps 	: 0
3600.09/3608.72	c number of remaining unassigned 	: 0
3600.09/3608.72	c number of remaining assigned 	: 0
3600.09/3608.72	c number of falsified literals weakened from reason	: 0
3600.09/3608.72	c number of falsified literals weakened from conflict	: 0
3600.09/3608.72	c time for arithmetic operations	: 0
3600.09/3608.73	c minimum degree of deleted constraints	: null
3600.09/3608.73	c maximum degree of deleted constraints	: null
3600.09/3608.73	c number of deleted constraints	: 0
3600.09/3608.73	c speed (assignments/second)	: 92248.50820532105
3600.09/3608.73	c non guided choices	: 9770
3600.09/3608.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 496013
3600.09/3608.79	s UNKNOWN
3600.09/3608.79	c Total wall clock time (in seconds): 3608.667

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: 63968 MiB (59033 MiB free)
  memory of node 1: 64473 MiB (62394 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447514-1721349254/watcher-4447514-1721349254 -o /tmp/evaluation-result-4447514-1721349254/solver-4447514-1721349254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984137 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447514-1721349254.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100057 s]*
/proc/loadavg: 4.21 4.21 4.19 5/332 989956
/proc/meminfo: memFree=124297484/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=18975048 memory=66260 CPUtime=0.13 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 7101 0 0 0 12 1 0 0 20 0 18 0 187096268 19430449152 16565 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4743762 16565 5578 1 0 549328 0
[pid=989938/tid=989940] ppid=989935 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) S 989935 989938 984125 0 -1 1077936192 5695 0 0 0 8 0 0 0 20 0 18 0 187096268 19430449152 16565 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187096271 19430449152 16565 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187096271 19430449152 16565 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66260 KiB

[startup+0.21141 s]*
/proc/loadavg: 4.21 4.21 4.19 7/333 989957
/proc/meminfo: memFree=124286724/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19041612 memory=75812 CPUtime=0.35 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 9598 0 0 0 33 2 0 0 20 0 19 0 187096268 19498610688 18953 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4760403 18953 5855 1 0 551136 0
[pid=989938/tid=989940] ppid=989935 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 5883 0 0 0 19 1 0 0 20 0 19 0 187096268 19498610688 18953 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19041612 memory=15997 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 18953 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19041612 memory=14689703802701563 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 18953 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187096283 19498610688 18953 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75812 KiB

[startup+0.305952 s]*
/proc/loadavg: 4.21 4.21 4.19 7/333 989957
/proc/meminfo: memFree=124285324/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19041612 memory=76604 CPUtime=0.53 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 9909 0 0 0 51 2 0 0 20 0 19 0 187096268 19498610688 19151 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4760403 19151 5855 1 0 551255 0
[pid=989938/tid=989940] ppid=989935 vsize=19041612 memory=-8816466300077646524 CPUtime=0.29 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 5890 0 0 0 28 1 0 0 20 0 19 0 187096268 19498610688 19151 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 19151 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 19151 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187096283 19498610688 19151 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76604 KiB

[startup+0.700412 s]
/proc/loadavg: 4.21 4.21 4.19 8/333 989957
/proc/meminfo: memFree=124272268/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19041612 memory=92116 CPUtime=1.29 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 12761 0 0 0 127 2 0 0 20 0 19 0 187096268 19498610688 23029 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4760403 23029 5871 1 0 553433 0
[pid=989938/tid=989940] ppid=989935 vsize=19041612 memory=43852 CPUtime=0.68 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 5933 0 0 0 67 1 0 0 20 0 19 0 187096268 19498610688 23029 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 23029 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19041612 memory=2164 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 23029 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19041612 memory=32812 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187096283 19498610688 23029 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92116 KiB

[startup+1.50029 s]
/proc/loadavg: 4.21 4.21 4.19 5/333 989957
/proc/meminfo: memFree=124257512/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19041612 memory=109028 CPUtime=2.45 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 16605 0 0 0 242 3 0 0 20 0 19 0 187096268 19498610688 27257 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4760403 27257 5871 1 0 553436 0
[pid=989938/tid=989940] ppid=989935 vsize=19041612 memory=13184 CPUtime=1.47 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 6227 0 0 0 146 1 0 0 20 0 19 0 187096268 19498610688 27257 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 27257 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19041612 memory=2164 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 27257 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19041612 memory=32812 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187096283 19498610688 27257 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109028 KiB

[startup+3.10563 s]
/proc/loadavg: 4.27 4.23 4.19 5/333 989957
/proc/meminfo: memFree=124019280/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19041612 memory=135848 CPUtime=4.25 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 17572 0 0 0 422 3 0 0 20 0 19 0 187096268 19498610688 33962 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4760403 33962 5871 1 0 553455 0
[pid=989938/tid=989940] ppid=989935 vsize=19041612 memory=0 CPUtime=3.08 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 6512 0 0 0 306 2 0 0 20 0 19 0 187096268 19498610688 33962 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19041612 memory=-8816466300077646524 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 33962 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187096271 19498610688 33962 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19041612 memory=2164 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187096283 19498610688 33962 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135848 KiB

[startup+6.30025 s]
/proc/loadavg: 4.27 4.23 4.19 5/334 989959
/proc/meminfo: memFree=123863036/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=181076 CPUtime=7.46 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 19553 0 0 0 741 5 0 0 20 0 20 0 187096268 19566772224 45269 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 45269 5903 1 0 553744 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=2164 CPUtime=6.24 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 6801 0 0 0 622 2 0 0 20 0 20 0 187096268 19566772224 45269 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 45269 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 45269 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 45269 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181076 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.23 4.19 5/334 989959
/proc/meminfo: memFree=123762332/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=189444 CPUtime=13.84 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 21396 0 0 0 1379 5 0 0 20 0 20 0 187096268 19566772224 47361 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 47361 5919 1 0 553744 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=13184 CPUtime=12.6 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 7484 0 0 0 1258 2 0 0 20 0 20 0 187096268 19566772224 47361 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=181172 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 47361 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 47361 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 47361 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189444 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.23 4.19 6/334 989962
/proc/meminfo: memFree=123349244/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=222420 CPUtime=26.64 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 23351 0 0 0 2658 6 0 0 20 0 20 0 187096268 19566772224 55605 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 55605 5919 1 0 553744 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=6943526294502006880 CPUtime=25.35 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 8281 0 0 0 2532 3 0 0 20 0 20 0 187096268 19566772224 55605 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 55605 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=3564 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 55605 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 55605 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222420 KiB

[startup+51.1064 s]
/proc/loadavg: 4.17 4.21 4.18 5/334 989965
/proc/meminfo: memFree=122693076/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=358072 CPUtime=52.21 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 28197 0 0 0 5211 10 0 0 20 0 20 0 187096268 19566772224 89518 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 89518 5935 1 0 553744 0

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

/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543227 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4388 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543227 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543227 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.25 4.17 5/334 991831
/proc/meminfo: memFree=120202980/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2172916 CPUtime=3274.13 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 135756 0 0 0 327298 115 0 0 20 0 20 0 187096268 19566772224 543229 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543229 5935 1 0 556417 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=2172916 CPUtime=3266.25 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 62551 0 0 0 326601 24 0 0 20 0 20 0 187096268 19566772224 543229 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2172916 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543229 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=2172916 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4535 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543229 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=39888 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543229 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/336 991899
/proc/meminfo: memFree=120201496/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2172924 CPUtime=3334.02 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 136878 0 0 0 333286 116 0 0 20 0 20 0 187096268 19566772224 543231 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543231 5935 1 0 556419 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=43852 CPUtime=3326.13 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 63382 0 0 0 332589 24 0 0 20 0 20 0 187096268 19566772224 543231 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2172916 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543231 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4681 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543231 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=20420 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543231 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.19 4.16 5/335 991910
/proc/meminfo: memFree=120201288/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2172952 CPUtime=3393.91 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 137935 0 0 0 339274 117 0 0 20 0 20 0 187096268 19566772224 543238 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543238 5935 1 0 556426 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=2172924 CPUtime=3386 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 64189 0 0 0 338576 24 0 0 20 0 20 0 187096268 19566772224 543238 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2172916 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543238 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=32812 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4768 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543238 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=2172952 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543238 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.16 4/309 991955
/proc/meminfo: memFree=122372044/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2172968 CPUtime=3453.78 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 139165 0 0 0 345259 119 0 0 20 0 20 0 187096268 19566772224 543242 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543242 5935 1 0 556433 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=2172924 CPUtime=3445.84 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 65130 0 0 0 344560 24 0 0 20 0 20 0 187096268 19566772224 543242 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2172916 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543242 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4875 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543242 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543242 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172968 KiB

[startup+3522.3 s]
/proc/loadavg: 3.46 3.98 4.09 3/284 992000
/proc/meminfo: memFree=124576620/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2173208 CPUtime=3513.82 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 141575 0 0 0 351262 120 0 0 20 0 20 0 187096268 19566772224 543302 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543302 5935 1 0 556442 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=43852 CPUtime=3505.53 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) S 989935 989938 984125 0 -1 1077936192 66059 0 0 0 350529 24 0 0 20 0 20 0 187096268 19566772224 543302 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543302 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=2172996 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 4980 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543302 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=2172980 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543302 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3513.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173208 KiB

[startup+3582.3 s]
/proc/loadavg: 2.61 3.65 3.97 3/283 992010
/proc/meminfo: memFree=124575684/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2173216 CPUtime=3573.74 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 143065 0 0 0 357254 120 0 0 20 0 20 0 187096268 19566772224 543304 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543304 5935 1 0 556442 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=19660 CPUtime=3565.37 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 66798 0 0 0 356513 24 0 0 20 0 20 0 187096268 19566772224 543304 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2173216 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543304 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 5064 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543304 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543304 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 2.37 3.49 3.90 3/283 992016
/proc/meminfo: memFree=124575336/131524600 swapFree=131071996/131071996
[pid=989938] ppid=989935 vsize=19108176 memory=2173236 CPUtime=3600.09 cores=1,3
/proc/989938/stat : 989938 (java) S 989935 989938 984125 0 -1 1077936128 143843 0 0 0 359888 121 0 0 20 0 20 0 187096268 19566772224 543309 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
/proc/989938/statm: 4777044 543309 5935 1 0 556442 0
[pid=989938/tid=989940] ppid=989935 vsize=19108176 memory=2172992 CPUtime=3591.71 cores=1,3
/proc/989938/task/989940/stat : 989940 (java) R 989935 989938 984125 0 -1 4194368 67349 0 0 0 359147 24 0 0 20 0 20 0 187096268 19566772224 543309 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989949] ppid=989935 vsize=19108176 memory=2173216 CPUtime=0 cores=1,3
/proc/989938/task/989949/stat : 989949 (Finalizer) S 989935 989938 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543309 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989956] ppid=989935 vsize=19108176 memory=2173216 CPUtime=0 cores=1,3
/proc/989938/task/989956/stat : 989956 (Common-Cleaner) S 989935 989938 984125 0 -1 1077936192 5157 0 0 0 0 0 0 0 20 0 20 0 187096271 19566772224 543309 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
[pid=989938/tid=989957] ppid=989935 vsize=19108176 memory=-8816466300077646524 CPUtime=0 cores=1,3
/proc/989938/task/989957/stat : 989957 (Timer-0) S 989935 989938 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187096283 19566772224 543309 134679101440 94912384487424 94912384491120 140731804938032 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94912384498936 94912384499728 94912414617600 140731804939270 140731804939360 140731804939360 140731804946376 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.22032 s

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

[startup+3608.8 s]*
/proc/loadavg: 2.37 3.49 3.90 3/263 992019
/proc/meminfo: memFree=126729832/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3608.81
CPU time (s): 3600.25
CPU user time (s): 3599.03
CPU system time (s): 1.22032
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2173236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.22032
maximum resident set size= 2174736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102923
involuntary context switches= 12827


# summary of solver processes directly reported to runsolver:
#   pid: 989938
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.22032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04026 second user time and 16.3189 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 02:34:27
IDJOB=4447514
IDBENCH=159214
IDSOLVER=3058
FILE ID=nodeC035/4447514-1721349254
RUNJOBID= nodeC035-1721341105-984137
SLURM_JOB_ID= 7542728
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447514-1721349254/watcher-4447514-1721349254 -o /tmp/evaluation-result-4447514-1721349254/solver-4447514-1721349254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984137 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447514-1721349254.opb

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

MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=1525889919

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.137
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.65
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		: 3651.894
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.79
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		: 3667.577
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.65
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		: 3613.965
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.79
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		: 3667.611
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.65
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		: 3679.558
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124343216 kB
MemAvailable:   125355408 kB
Buffers:          493112 kB
Cached:          1351892 kB
SwapCached:            0 kB
Active:           957060 kB
Inactive:        5597496 kB
Active(anon):       1560 kB
Inactive(anon):  4745708 kB
Active(file):     955500 kB
Inactive(file):   851788 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1108 kB
Writeback:            16 kB
AnonPages:       4709532 kB
Mapped:           126512 kB
Shmem:             37724 kB
KReclaimable:      89452 kB
Slab:             200708 kB
SReclaimable:      89452 kB
SUnreclaim:       111256 kB
KernelStack:        5076 kB
PageTables:        19064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8344052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70560 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4413440 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC035 at 2024-07-19 03:34:36