Trace number 4447712

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.32 3629.92

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMc8e53a529ce10df137c21c2a3460ac47
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints728
Number of constraints which are clauses728
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Free memory 		2113181440
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4447712-1721827557.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.04s.
0.13/0.18	c declared #vars     273
0.13/0.18	c #constraints  728
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.13/0.18	c 728 constraints processed.
1.09/0.69	c cleaning 2495 clauses out of 5000 with flag 17643/5000
1.67/0.97	c cleaning 4250 clauses out of 8506 with flag 40360/11001
2.26/1.22	c cleaning 5618 clauses out of 11255 with flag 64013/18000
2.66/1.44	c cleaning 6815 clauses out of 13638 with flag 93627/26001
3.04/1.62	c cleaning 7904 clauses out of 15823 with flag 132078/35001
3.44/1.83	c cleaning 8950 clauses out of 17918 with flag 175209/45000
3.83/2.07	c cleaning 9976 clauses out of 19969 with flag 222104/56001
4.25/2.33	c cleaning 10988 clauses out of 21992 with flag 273097/68000
4.48/2.59	c cleaning 11998 clauses out of 24005 with flag 333855/81001
5.04/2.92	c cleaning 12995 clauses out of 26006 with flag 400976/95000
5.83/3.30	c cleaning 13992 clauses out of 28011 with flag 464743/110000
6.21/3.66	c cleaning 15003 clauses out of 30020 with flag 535533/126001
6.72/4.03	c cleaning 16000 clauses out of 32016 with flag 609708/143000
7.23/4.43	c cleaning 17003 clauses out of 34016 with flag 692990/161000
7.63/4.84	c cleaning 17999 clauses out of 36013 with flag 777134/180000
8.53/5.76	c cleaning 18999 clauses out of 38015 with flag 864914/200001
9.42/6.66	c cleaning 20003 clauses out of 40015 with flag 956682/221000
10.01/7.26	c cleaning 20997 clauses out of 42012 with flag 1052739/243000
10.62/7.86	c cleaning 21997 clauses out of 44016 with flag 1156261/266001
11.22/8.48	c cleaning 23003 clauses out of 46020 with flag 1267030/290002
11.93/9.13	c cleaning 23999 clauses out of 48015 with flag 1388650/315000
12.61/9.85	c cleaning 25001 clauses out of 50016 with flag 1505829/341000
13.31/10.51	c cleaning 25999 clauses out of 52016 with flag 1651736/368001
14.11/11.34	c cleaning 27000 clauses out of 54016 with flag 1830687/396000
14.82/12.09	c cleaning 28000 clauses out of 56017 with flag 1974481/425001
15.70/12.90	c cleaning 29003 clauses out of 58017 with flag 2118434/455001
16.50/13.72	c cleaning 30001 clauses out of 60013 with flag 2266209/486000
17.40/14.63	c cleaning 31001 clauses out of 62012 with flag 2427264/518000
18.30/15.51	c cleaning 31999 clauses out of 64012 with flag 2587675/551001
19.40/16.61	c cleaning 33002 clauses out of 66013 with flag 2757374/585001
20.50/17.71	c cleaning 33994 clauses out of 68010 with flag 2936957/620000
21.50/18.75	c cleaning 35003 clauses out of 70017 with flag 3129317/656001
22.50/19.77	c cleaning 36000 clauses out of 72013 with flag 3311256/693000
23.59/20.80	c cleaning 36997 clauses out of 74014 with flag 3504514/731001
24.70/21.94	c cleaning 38002 clauses out of 76017 with flag 3700152/770001
25.81/23.08	c cleaning 38997 clauses out of 78014 with flag 3899346/810000
27.00/24.22	c cleaning 40002 clauses out of 80018 with flag 4091081/851001
28.30/25.53	c cleaning 41001 clauses out of 82016 with flag 4293269/893001
29.59/26.85	c cleaning 42002 clauses out of 84015 with flag 4508799/936001
30.99/28.25	c cleaning 42996 clauses out of 86012 with flag 4725051/980000
32.39/29.67	c cleaning 43993 clauses out of 88017 with flag 4930098/1025001
34.09/31.35	c cleaning 45005 clauses out of 90023 with flag 5135658/1071000
35.79/33.09	c cleaning 46000 clauses out of 92019 with flag 5357069/1118001
37.43/35.22	c cleaning 47007 clauses out of 94018 with flag 5595108/1166000
39.24/37.04	c cleaning 47997 clauses out of 96012 with flag 5830349/1215001
41.02/38.80	c cleaning 49001 clauses out of 98015 with flag 6082816/1265001
42.71/40.55	c cleaning 49998 clauses out of 100014 with flag 6334972/1316001
44.33/42.17	c cleaning 51003 clauses out of 102015 with flag 6593081/1368000
45.93/43.78	c cleaning 51999 clauses out of 104012 with flag 6848115/1421000
47.64/45.44	c cleaning 52999 clauses out of 106013 with flag 7109481/1475000
49.42/47.25	c cleaning 54001 clauses out of 108015 with flag 7387332/1530001
51.23/49.08	c cleaning 54998 clauses out of 110014 with flag 7664965/1586001
53.33/51.17	c cleaning 56002 clauses out of 112016 with flag 7938477/1643001
55.15/52.90	c cleaning 56999 clauses out of 114013 with flag 8221691/1701000
56.95/54.75	c cleaning 58000 clauses out of 116015 with flag 8501190/1760001
58.74/56.57	c cleaning 59003 clauses out of 118015 with flag 8789648/1820001
60.84/58.62	c cleaning 59994 clauses out of 120012 with flag 9075889/1881001
62.83/60.69	c cleaning 61005 clauses out of 122017 with flag 9359695/1943000
65.53/63.35	c cleaning 62003 clauses out of 124013 with flag 9665121/2006001
68.41/66.77	c cleaning 63001 clauses out of 126010 with flag 9980201/2070001
71.30/69.66	c cleaning 63997 clauses out of 128010 with flag 10284732/2135002
73.73/72.05	c cleaning 65002 clauses out of 130011 with flag 10591094/2201000
76.41/74.75	c cleaning 65995 clauses out of 132009 with flag 10903694/2268000
78.71/77.05	c cleaning 67002 clauses out of 134014 with flag 11217939/2336000
81.30/79.64	c cleaning 68001 clauses out of 136012 with flag 11552523/2405000
84.02/82.36	c cleaning 69002 clauses out of 138012 with flag 11896242/2475001
86.52/84.84	c cleaning 69997 clauses out of 140010 with flag 12248480/2546001
89.41/87.74	c cleaning 70996 clauses out of 142012 with flag 12625778/2618000
91.91/90.27	c cleaning 71996 clauses out of 144016 with flag 12972015/2691000
94.90/93.26	c cleaning 73003 clauses out of 146021 with flag 13342699/2765001
97.81/96.14	c cleaning 74004 clauses out of 148018 with flag 13715681/2840001
101.03/99.62	c cleaning 75000 clauses out of 150014 with flag 14096780/2916001
104.63/103.22	c cleaning 76004 clauses out of 152013 with flag 14486839/2993000
107.54/106.12	c cleaning 76999 clauses out of 154009 with flag 14864411/3071000
110.32/108.95	c cleaning 77996 clauses out of 156011 with flag 15234197/3150001
113.57/112.15	c cleaning 78998 clauses out of 158015 with flag 15645636/3230001
116.65/115.22	c cleaning 80001 clauses out of 160016 with flag 16033427/3311000
119.68/118.26	c cleaning 81002 clauses out of 162016 with flag 16432759/3393001
122.97/121.56	c cleaning 82002 clauses out of 164014 with flag 16822964/3476001
126.59/125.16	c cleaning 82996 clauses out of 166011 with flag 17208101/3560000
129.85/128.56	c cleaning 83996 clauses out of 168015 with flag 17650828/3645000
133.28/131.91	c cleaning 85002 clauses out of 170019 with flag 18086849/3731000
136.90/135.56	c cleaning 86001 clauses out of 172017 with flag 18511990/3818000
140.20/138.81	c cleaning 86999 clauses out of 174016 with flag 18917512/3906000
144.92/143.50	c cleaning 88001 clauses out of 176018 with flag 19342294/3995001
149.15/147.70	c cleaning 89004 clauses out of 178017 with flag 19771297/4085001
152.66/151.24	c cleaning 89995 clauses out of 180012 with flag 20210786/4176000
158.25/156.81	c cleaning 91002 clauses out of 182017 with flag 20645077/4268000
162.78/161.54	c cleaning 91999 clauses out of 184016 with flag 21081573/4361001
167.17/165.93	c cleaning 92997 clauses out of 186017 with flag 21514345/4455001
173.00/171.77	c cleaning 94000 clauses out of 188019 with flag 21917026/4550000
177.74/176.42	c cleaning 95001 clauses out of 190019 with flag 22389222/4646000
182.21/180.88	c cleaning 96002 clauses out of 192018 with flag 22834400/4743000
188.64/187.20	c cleaning 96998 clauses out of 194017 with flag 23266316/4841001
193.73/192.57	c cleaning 98006 clauses out of 196019 with flag 23732553/4940001
197.80/196.50	c cleaning 98997 clauses out of 198013 with flag 24216217/5040001
202.19/200.98	c cleaning 100003 clauses out of 200016 with flag 24689159/5141001
207.92/206.69	c cleaning 101000 clauses out of 202012 with flag 25179375/5243000
212.59/211.23	c cleaning 102002 clauses out of 204012 with flag 25679717/5346000
218.97/217.57	c cleaning 102999 clauses out of 206010 with flag 26229380/5450000
225.36/224.01	c cleaning 103996 clauses out of 208012 with flag 26762045/5555001
229.70/228.37	c cleaning 105004 clauses out of 210017 with flag 27262799/5661002
235.66/234.26	c cleaning 105996 clauses out of 212011 with flag 27790292/5768000
240.36/238.99	c cleaning 107001 clauses out of 214015 with flag 28306221/5876000
244.94/243.44	c cleaning 108000 clauses out of 216014 with flag 28804117/5985000
249.93/248.49	c cleaning 108998 clauses out of 218014 with flag 29325255/6095000
257.20/256.03	c cleaning 110002 clauses out of 220017 with flag 29883395/6206001
263.18/261.99	c cleaning 111001 clauses out of 222016 with flag 30411713/6318002
267.97/266.75	c cleaning 112002 clauses out of 224014 with flag 30938558/6431001
274.38/273.04	c cleaning 112995 clauses out of 226011 with flag 31482460/6545000
279.95/278.53	c cleaning 114002 clauses out of 228017 with flag 32046208/6660001
284.90/283.69	c cleaning 114998 clauses out of 230015 with flag 32607289/6776001
291.26/289.93	c cleaning 116003 clauses out of 232017 with flag 33152509/6893001
297.03/295.61	c cleaning 117003 clauses out of 234013 with flag 33716972/7011000
302.65/301.17	c cleaning 118003 clauses out of 236011 with flag 34289260/7130001
308.23/306.78	c cleaning 118997 clauses out of 238008 with flag 34832973/7250001
314.67/313.43	c cleaning 119994 clauses out of 240010 with flag 35388370/7371000
325.74/324.47	c cleaning 120997 clauses out of 242016 with flag 35967197/7493000
331.63/330.33	c cleaning 122001 clauses out of 244020 with flag 36559064/7616001
337.71/336.40	c cleaning 123002 clauses out of 246018 with flag 37136781/7740000
344.17/342.73	c cleaning 124002 clauses out of 248016 with flag 37736147/7865000
353.38/352.14	c cleaning 124998 clauses out of 250014 with flag 38303036/7991000
359.06/357.77	c cleaning 126002 clauses out of 252016 with flag 38897845/8118000
365.22/363.89	c cleaning 127000 clauses out of 254014 with flag 39465960/8246000
371.64/370.17	c cleaning 127997 clauses out of 256014 with flag 40069853/8375000
377.23/376.01	c cleaning 129001 clauses out of 258018 with flag 40666719/8505001
383.80/382.43	c cleaning 129998 clauses out of 260016 with flag 41271122/8636000
393.75/392.31	c cleaning 131000 clauses out of 262018 with flag 41880789/8768000
407.79/406.49	c cleaning 132001 clauses out of 264018 with flag 42493942/8901000
417.57/416.25	c cleaning 133001 clauses out of 266018 with flag 43139049/9035001
424.53/423.12	c cleaning 134003 clauses out of 268016 with flag 43759956/9170000
431.09/429.61	c cleaning 134998 clauses out of 270014 with flag 44425521/9306001
439.98/438.62	c cleaning 135999 clauses out of 272016 with flag 45082401/9443001
448.00/446.51	c cleaning 136999 clauses out of 274017 with flag 45782832/9581001
455.22/453.66	c cleaning 138002 clauses out of 276017 with flag 46480214/9720000
462.21/460.65	c cleaning 139000 clauses out of 278015 with flag 47137950/9860000
469.61/468.17	c cleaning 139997 clauses out of 280015 with flag 47768573/10001000
476.43/474.92	c cleaning 141005 clauses out of 282019 with flag 48409217/10143001
483.34/481.89	c cleaning 141997 clauses out of 284013 with flag 49011420/10286000
490.89/489.35	c cleaning 142998 clauses out of 286017 with flag 49659859/10430001
497.48/495.94	c cleaning 144004 clauses out of 288019 with flag 50296341/10575001
506.43/505.26	c cleaning 145001 clauses out of 290015 with flag 50989486/10721001
514.57/513.35	c cleaning 145997 clauses out of 292014 with flag 51694799/10868001
522.23/520.95	c cleaning 146998 clauses out of 294016 with flag 52415409/11016000
530.21/529.23	c cleaning 148000 clauses out of 296019 with flag 53115085/11165001
539.38/538.38	c cleaning 149001 clauses out of 298019 with flag 53815016/11315001
552.47/551.30	c cleaning 150000 clauses out of 300018 with flag 54491114/11466001
567.10/566.22	c cleaning 150999 clauses out of 302017 with flag 55184728/11618000
585.08/584.13	c cleaning 152002 clauses out of 304019 with flag 55882395/11771001
596.04/595.49	c cleaning 153001 clauses out of 306017 with flag 56564675/11925001
607.01/606.34	c cleaning 153994 clauses out of 308016 with flag 57279076/12080001
618.27/617.48	c cleaning 155006 clauses out of 310021 with flag 58004647/12236000
628.07/627.49	c cleaning 155994 clauses out of 312016 with flag 58718585/12393001
638.11/637.40	c cleaning 157003 clauses out of 314022 with flag 59443882/12551001
647.60/646.41	c cleaning 158002 clauses out of 316018 with flag 60132034/12710000
657.50/656.72	c cleaning 159005 clauses out of 318018 with flag 60895642/12870002
667.50/666.74	c cleaning 159997 clauses out of 320011 with flag 61642442/13031000
676.24/675.47	c cleaning 161000 clauses out of 322014 with flag 62378499/13193000
685.22/684.86	c cleaning 161998 clauses out of 324014 with flag 63111565/13356000
699.57/699.14	c cleaning 162997 clauses out of 326016 with flag 63694313/13520000
708.88/708.46	c cleaning 163999 clauses out of 328019 with flag 64375011/13685000
718.65/718.47	c cleaning 165001 clauses out of 330020 with flag 65260997/13851000
729.24/729.02	c cleaning 166002 clauses out of 332019 with flag 65846684/14018000
740.95/740.75	c cleaning 167003 clauses out of 334017 with flag 66390273/14186000
751.29/751.34	c cleaning 168001 clauses out of 336014 with flag 67123908/14355000
761.50/761.59	c cleaning 168998 clauses out of 338014 with flag 67822027/14525001
773.20/773.25	c cleaning 170001 clauses out of 340016 with flag 68600491/14696001
782.91/783.16	c cleaning 171000 clauses out of 342014 with flag 69411755/14868000
794.11/794.39	c cleaning 171997 clauses out of 344014 with flag 70247057/15041000
805.88/806.34	c cleaning 173003 clauses out of 346017 with flag 71070602/15215000
816.80/817.22	c cleaning 173998 clauses out of 348014 with flag 71917182/15390000
827.41/827.82	c cleaning 175001 clauses out of 350016 with flag 72768395/15566000
838.25/839.76	c cleaning 175997 clauses out of 352016 with flag 73587296/15743001
851.31/852.71	c cleaning 177001 clauses out of 354018 with flag 74458101/15921000
861.68/863.11	c cleaning 178000 clauses out of 356018 with flag 75283479/16100001
877.04/878.75	c cleaning 179004 clauses out of 358018 with flag 76131098/16280001
889.92/891.54	c cleaning 180001 clauses out of 360013 with flag 76983727/16461000
902.77/905.49	c cleaning 180996 clauses out of 362012 with flag 77760194/16643000
917.63/920.22	c cleaning 181998 clauses out of 364016 with flag 78558449/16826000
930.45/933.40	c cleaning 183000 clauses out of 366018 with flag 79400149/17010000
942.75/945.69	c cleaning 184003 clauses out of 368018 with flag 80208874/17195000
954.24/957.01	c cleaning 184999 clauses out of 370016 with flag 81078568/17381001
967.92/971.15	c cleaning 186000 clauses out of 372016 with flag 81936791/17568000
982.00/985.17	c cleaning 186997 clauses out of 374016 with flag 82805059/17756000
999.02/1002.63	c cleaning 188004 clauses out of 376020 with flag 83734327/17945001
1012.17/1015.75	c cleaning 188997 clauses out of 378016 with flag 84626650/18135001
1024.96/1028.88	c cleaning 189996 clauses out of 380018 with flag 85490207/18326000
1036.39/1040.24	c cleaning 191007 clauses out of 382023 with flag 86343883/18518001
1048.08/1052.13	c cleaning 191999 clauses out of 384016 with flag 87206633/18711001
1062.61/1066.61	c cleaning 193000 clauses out of 386017 with flag 88086032/18905001
1074.86/1078.80	c cleaning 194003 clauses out of 388017 with flag 89022451/19100001
1086.71/1091.12	c cleaning 194997 clauses out of 390014 with flag 89912565/19296001
1099.14/1103.57	c cleaning 195998 clauses out of 392017 with flag 90811181/19493001
1111.61/1116.54	c cleaning 196998 clauses out of 394018 with flag 91710675/19691000
1129.84/1134.52	c cleaning 197997 clauses out of 396020 with flag 92619585/19890000
1146.76/1152.14	c cleaning 199005 clauses out of 398023 with flag 93557776/20090000
1159.79/1165.11	c cleaning 200003 clauses out of 400019 with flag 94504770/20291001
1172.49/1178.18	c cleaning 200998 clauses out of 402016 with flag 95468080/20493001
1184.51/1190.16	c cleaning 202002 clauses out of 404018 with flag 96431565/20696001
1197.90/1203.52	c cleaning 202999 clauses out of 406015 with flag 97393308/20900000
1213.83/1220.21	c cleaning 204000 clauses out of 408016 with flag 98370290/21105000
1227.26/1233.56	c cleaning 205001 clauses out of 410016 with flag 99317245/21311000
1243.07/1250.93	c cleaning 205994 clauses out of 412015 with flag 100237352/21518000
1259.16/1267.09	c cleaning 207009 clauses out of 414021 with flag 101154189/21726000
1273.81/1282.42	c cleaning 207998 clauses out of 416012 with flag 102114022/21935000
1290.96/1299.51	c cleaning 208996 clauses out of 418015 with flag 103020051/22145001
1311.29/1320.25	c cleaning 210000 clauses out of 420019 with flag 103974859/22356001
1326.14/1335.19	c cleaning 210998 clauses out of 422018 with flag 104911172/22568000
1342.61/1351.61	c cleaning 212003 clauses out of 424020 with flag 105816261/22781000
1356.36/1365.64	c cleaning 212998 clauses out of 426017 with flag 106825696/22995000
1371.09/1380.33	c cleaning 214002 clauses out of 428020 with flag 107858760/23210001
1385.60/1395.71	c cleaning 215000 clauses out of 430017 with flag 108876813/23426000
1399.62/1409.78	c cleaning 216005 clauses out of 432017 with flag 109745685/23643000
1412.64/1422.73	c cleaning 216995 clauses out of 434012 with flag 110692209/23861000
1425.44/1435.76	c cleaning 218001 clauses out of 436017 with flag 111596691/24080000
1441.64/1451.92	c cleaning 219003 clauses out of 438016 with flag 112514399/24300000
1459.12/1469.85	c cleaning 219997 clauses out of 440014 with flag 113533981/24521001
1480.87/1491.99	c cleaning 220999 clauses out of 442017 with flag 114520874/24743001
1495.53/1506.50	c cleaning 221999 clauses out of 444018 with flag 115420647/24966001
1513.83/1525.12	c cleaning 223001 clauses out of 446018 with flag 116450486/25190000
1536.12/1547.66	c cleaning 223999 clauses out of 448017 with flag 117475706/25415000
1554.95/1566.35	c cleaning 224998 clauses out of 450018 with flag 118509043/25641000
1572.08/1583.59	c cleaning 226003 clauses out of 452020 with flag 119573424/25868000
1590.04/1601.43	c cleaning 226998 clauses out of 454018 with flag 120602399/26096001
1605.83/1617.75	c cleaning 228003 clauses out of 456020 with flag 121639333/26325001
1619.67/1631.53	c cleaning 228999 clauses out of 458016 with flag 122729588/26555000
1634.84/1646.85	c cleaning 230002 clauses out of 460018 with flag 123772087/26786001
1657.73/1669.49	c cleaning 230998 clauses out of 462015 with flag 124884615/27018000
1675.01/1686.80	c cleaning 232000 clauses out of 464017 with flag 125972193/27251000
1695.85/1708.17	c cleaning 233002 clauses out of 466018 with flag 126991744/27485001
1715.66/1727.90	c cleaning 233996 clauses out of 468015 with flag 128027677/27720000
1733.61/1745.98	c cleaning 234998 clauses out of 470020 with flag 129061287/27956001
1751.69/1764.11	c cleaning 235999 clauses out of 472021 with flag 130102051/28193000
1774.21/1786.66	c cleaning 237008 clauses out of 474023 with flag 131173123/28431001
1793.29/1805.83	c cleaning 237998 clauses out of 476015 with flag 132322677/28670001
1811.24/1823.91	c cleaning 239002 clauses out of 478016 with flag 133458934/28910000
1827.66/1840.36	c cleaning 240000 clauses out of 480014 with flag 134629907/29151000
1843.55/1856.21	c cleaning 240998 clauses out of 482015 with flag 135702984/29393001
1859.35/1871.84	c cleaning 242005 clauses out of 484017 with flag 136848848/29636001
1877.71/1890.49	c cleaning 243002 clauses out of 486012 with flag 137996216/29880001
1894.34/1907.07	c cleaning 243993 clauses out of 488009 with flag 139091464/30125000
1911.03/1923.71	c cleaning 244996 clauses out of 490016 with flag 140181169/30371000
1933.79/1946.66	c cleaning 246004 clauses out of 492020 with flag 141281025/30618000
1959.74/1972.51	c cleaning 246998 clauses out of 494017 with flag 142357090/30866001
1997.02/2010.29	c cleaning 248001 clauses out of 496018 with flag 143442262/31115000
2015.74/2028.81	c cleaning 249000 clauses out of 498017 with flag 144613043/31365000
2036.28/2049.73	c cleaning 249998 clauses out of 500017 with flag 145728677/31616000
2056.51/2070.79	c cleaning 251001 clauses out of 502019 with flag 146925430/31868000
2073.58/2087.76	c cleaning 252002 clauses out of 504018 with flag 148074140/32121000
2090.55/2105.39	c cleaning 253000 clauses out of 506017 with flag 149245443/32375001
2118.14/2133.20	c cleaning 253998 clauses out of 508016 with flag 150440662/32630000
2139.66/2154.73	c cleaning 254998 clauses out of 510019 with flag 151566432/32886001
2171.27/2186.63	c cleaning 255997 clauses out of 512021 with flag 152683795/33143001
2191.02/2206.58	c cleaning 257005 clauses out of 514024 with flag 153840797/33401001
2210.46/2225.95	c cleaning 258002 clauses out of 516019 with flag 155048603/33660001
2228.78/2244.25	c cleaning 258997 clauses out of 518016 with flag 156241851/33920000
2250.21/2266.05	c cleaning 260001 clauses out of 520020 with flag 157466926/34181001
2270.00/2285.71	c cleaning 261003 clauses out of 522019 with flag 158686091/34443001
2291.34/2307.10	c cleaning 262000 clauses out of 524015 with flag 159959310/34706000
2311.00/2326.74	c cleaning 263003 clauses out of 526016 with flag 161194071/34970001
2329.44/2345.17	c cleaning 263999 clauses out of 528012 with flag 162378324/35235000
2350.52/2366.30	c cleaning 265000 clauses out of 530013 with flag 163594305/35501000
2368.12/2384.17	c cleaning 266004 clauses out of 532014 with flag 164762512/35768001
2393.71/2409.73	c cleaning 266996 clauses out of 534010 with flag 166066845/36036001
2418.31/2434.31	c cleaning 268001 clauses out of 536013 with flag 167278112/36305000
2439.26/2455.38	c cleaning 268993 clauses out of 538012 with flag 168499760/36575000
2458.59/2474.70	c cleaning 270003 clauses out of 540020 with flag 169785738/36846001
2479.80/2495.92	c cleaning 271000 clauses out of 542017 with flag 171040595/37118001
2500.60/2517.06	c cleaning 271999 clauses out of 544016 with flag 172303634/37391000
2519.15/2535.61	c cleaning 273000 clauses out of 546018 with flag 173581330/37665001
2543.58/2560.10	c cleaning 274001 clauses out of 548017 with flag 174857087/37940000
2562.62/2579.26	c cleaning 275003 clauses out of 550018 with flag 176160515/38216002
2582.65/2599.66	c cleaning 276005 clauses out of 552013 with flag 177452187/38493000
2604.07/2621.08	c cleaning 276993 clauses out of 554008 with flag 178788813/38771000
2627.47/2645.10	c cleaning 278001 clauses out of 556015 with flag 180050049/39050000
2647.20/2666.78	c cleaning 279004 clauses out of 558015 with flag 181336903/39330001
2669.37/2689.17	c cleaning 279999 clauses out of 560011 with flag 182649128/39611001
2690.80/2710.53	c cleaning 281000 clauses out of 562011 with flag 183916475/39893000
2711.50/2731.58	c cleaning 281998 clauses out of 564011 with flag 185280697/40176000
2735.68/2756.65	c cleaning 283000 clauses out of 566013 with flag 186576408/40460000
2765.85/2787.19	c cleaning 284003 clauses out of 568014 with flag 187865969/40745001
2788.71/2810.00	c cleaning 284997 clauses out of 570010 with flag 189215402/41031000
2811.76/2833.39	c cleaning 285997 clauses out of 572014 with flag 190525392/41318001
2832.02/2853.85	c cleaning 287001 clauses out of 574017 with flag 191857441/41606001
2858.05/2880.13	c cleaning 287997 clauses out of 576016 with flag 193188014/41895001
2881.90/2904.48	c cleaning 289000 clauses out of 578019 with flag 194449940/42185001
2911.30/2933.85	c cleaning 289997 clauses out of 580018 with flag 195718059/42476000
2942.39/2965.23	c cleaning 290999 clauses out of 582021 with flag 196945253/42768000
2979.20/3001.82	c cleaning 292003 clauses out of 584022 with flag 198231624/43061000
3006.64/3029.55	c cleaning 293004 clauses out of 586021 with flag 199578622/43355002
3028.80/3051.82	c cleaning 294003 clauses out of 588016 with flag 200891829/43650001
3055.30/3078.46	c cleaning 295001 clauses out of 590012 with flag 202352651/43946000
3081.12/3104.30	c cleaning 295995 clauses out of 592011 with flag 203756596/44243000
3105.82/3129.92	c cleaning 296999 clauses out of 594017 with flag 205116784/44541001
3134.00/3159.07	c cleaning 297998 clauses out of 596017 with flag 206436576/44840000
3165.34/3190.85	c cleaning 299002 clauses out of 598019 with flag 207817258/45140000
3196.83/3222.47	c cleaning 299995 clauses out of 600017 with flag 209174412/45441000
3235.33/3261.38	c cleaning 301007 clauses out of 602022 with flag 210538675/45743000
3261.56/3288.56	c cleaning 301996 clauses out of 604016 with flag 211903895/46046001
3293.45/3320.42	c cleaning 303003 clauses out of 606019 with flag 213342049/46350000
3321.41/3348.00	c cleaning 304001 clauses out of 608017 with flag 214803894/46655001
3351.32/3377.53	c cleaning 305002 clauses out of 610016 with flag 216190209/46961001
3377.37/3407.59	c cleaning 305995 clauses out of 612013 with flag 217518947/47268000
3409.33/3438.25	c cleaning 307007 clauses out of 614019 with flag 218901940/47576001
3435.32/3462.85	c cleaning 307993 clauses out of 616012 with flag 220307664/47885001
3465.91/3492.81	c cleaning 309005 clauses out of 618019 with flag 221664597/48195001
3495.83/3521.84	c cleaning 309997 clauses out of 620014 with flag 223153487/48506001
3529.88/3555.19	c cleaning 311005 clauses out of 622016 with flag 224610212/48818000
3562.71/3587.72	c cleaning 311998 clauses out of 624012 with flag 225987298/49131001
3589.63/3614.08	c cleaning 312997 clauses out of 626014 with flag 227480913/49445001
3600.07/3624.22	c timeout
3600.07/3624.23	c starts		: 67722
3600.07/3624.24	c conflicts		: 49633445
3600.07/3624.24	c decisions		: 61551597
3600.07/3624.24	c propagations		: 337947483
3600.07/3624.24	c inspects		: 31318252582
3600.07/3624.24	c shortcuts		: 0
3600.07/3624.24	c learnt literals	: 0
3600.07/3624.24	c learnt binary clauses	: 0
3600.07/3624.24	c learnt ternary clauses	: 8
3600.07/3624.24	c learnt constraints	: 49633445
3600.07/3624.24	c ignored constraints	: 0
3600.07/3624.24	c root simplifications	: 0
3600.07/3624.24	c removed literals (reason simplification)	: 23114652
3600.07/3624.24	c reason swapping (by a shorter reason)	: 0
3600.07/3624.24	c Calls to reduceDB	: 310
3600.07/3624.24	c Number of update (reduction) of LBD	: 5140929
3600.07/3624.24	c Imported unit clauses	: 0
3600.07/3624.24	c No decision after first conflict	: false
3600.07/3624.24	c number of reductions to clauses (during analyze)	: 0
3600.07/3624.24	c number of learned constraints concerned by reduction	: 0
3600.07/3624.24	c number of learning phase by resolution	: 0
3600.07/3624.24	c number of learning phase by cutting planes	: 0
3600.07/3624.24	c number of rounding to 1 operations	: 0
3600.07/3624.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3624.24	c number of reductions of the coefficients by power 2 	: 0
3600.07/3624.24	c number of right shift for reduction by power 2 	: 0
3600.07/3624.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3624.24	c number of ending skipping 	: 0
3600.07/3624.24	c number of internal skipping 	: 0
3600.07/3624.24	c number of derivation steps 	: 0
3600.07/3624.24	c number of skipped derivation steps 	: 0
3600.07/3624.24	c number of remaining unassigned 	: 0
3600.07/3624.24	c number of remaining assigned 	: 0
3600.07/3624.24	c number of falsified literals weakened from reason	: 0
3600.07/3624.24	c number of falsified literals weakened from conflict	: 0
3600.07/3624.24	c time for arithmetic operations	: 0
3600.07/3624.24	c minimum degree of deleted constraints	: null
3600.07/3624.24	c maximum degree of deleted constraints	: null
3600.07/3624.24	c number of deleted constraints	: 0
3600.07/3624.24	c speed (assignments/second)	: 93251.20148562867
3600.07/3624.24	c non guided choices	: 101572
3600.26/3624.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 501461
3600.26/3624.31	s UNKNOWN
3600.26/3624.31	c Total wall clock time (in seconds): 3624.179

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447712-1721827557/watcher-4447712-1721827557 -o /tmp/evaluation-result-4447712-1721827557/solver-4447712-1721827557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230695 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447712-1721827557 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447712-1721827557.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=235949, runsolver pid=235946

[startup+0.103583 s]*
/proc/loadavg: 4.61 4.28 4.25 5/318 235967
/proc/meminfo: memFree=76905584/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=18993908 memory=65836 CPUtime=0.13 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 7270 0 0 0 11 2 0 0 20 0 18 0 18745085 19449761792 16459 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4748477 16459 5788 1 0 551429 0
[pid=235949/tid=235951] ppid=235946 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 5804 0 0 0 7 1 0 0 20 0 18 0 18745086 19449761792 16459 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18745088 19449761792 16459 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=18993908 memory=3618136736603271827 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18745089 19449761792 16459 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65836 KiB

[startup+0.216569 s]*
/proc/loadavg: 4.61 4.28 4.25 7/319 235968
/proc/meminfo: memFree=76897684/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19060472 memory=71024 CPUtime=0.35 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 7832 0 0 0 32 3 0 0 20 0 19 0 18745085 19517923328 17756 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4765118 17756 6088 1 0 552061 0
[pid=235949/tid=235951] ppid=235946 vsize=19060472 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 6056 0 0 0 17 2 0 0 20 0 19 0 18745086 19517923328 17756 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19060472 memory=952865 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745088 19517923328 17756 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19060472 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18745089 19517923328 17756 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745104 19517923328 17756 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 71024 KiB

[startup+0.309569 s]*
/proc/loadavg: 4.61 4.28 4.25 7/319 235968
/proc/meminfo: memFree=76881168/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19060472 memory=84244 CPUtime=0.52 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 10014 0 0 0 48 4 0 0 20 0 19 0 18745085 19517923328 21061 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4765118 21061 6088 1 0 553371 0
[pid=235949/tid=235951] ppid=235946 vsize=19060472 memory=-8744127248327221948 CPUtime=0.27 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 6080 0 0 0 25 2 0 0 20 0 19 0 18745086 19517923328 21061 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745088 19517923328 21061 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18745089 19517923328 21061 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745104 19517923328 21061 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 84244 KiB

[startup+0.705569 s]
/proc/loadavg: 4.61 4.28 4.25 6/319 235968
/proc/meminfo: memFree=76847156/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19060472 memory=144444 CPUtime=1.28 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 13850 0 0 0 123 5 0 0 20 0 19 0 18745085 19517923328 36111 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4765118 36111 6088 1 0 555963 0
[pid=235949/tid=235951] ppid=235946 vsize=19060472 memory=70176 CPUtime=0.62 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 6148 0 0 0 59 3 0 0 20 0 19 0 18745086 19517923328 36111 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18745088 19517923328 36111 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19060472 memory=2232 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18745089 19517923328 36111 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19060472 memory=1896 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18745104 19517923328 36111 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 144444 KiB

[startup+1.50058 s]
/proc/loadavg: 4.61 4.28 4.25 7/320 235969
/proc/meminfo: memFree=76761260/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=185172 CPUtime=2.85 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 21749 0 0 0 278 7 0 0 20 0 20 0 18745085 19586084864 46293 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 46293 6120 1 0 557831 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=12240 CPUtime=1.4 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 6557 0 0 0 135 5 0 0 20 0 20 0 18745086 19586084864 46293 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 46293 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 46293 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=1896 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 46293 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 185172 KiB

[startup+3.10657 s]
/proc/loadavg: 4.72 4.31 4.26 7/320 235969
/proc/meminfo: memFree=76529796/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=367448 CPUtime=5.44 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 24405 0 0 0 530 14 0 0 20 0 20 0 18745085 19586084864 91862 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 91862 6120 1 0 558176 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=0 CPUtime=2.97 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 7060 0 0 0 286 11 0 0 20 0 20 0 18745086 19586084864 91862 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=-8744127248327221948 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 91862 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 91862 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 91862 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 367448 KiB

[startup+6.30049 s]
/proc/loadavg: 4.72 4.31 4.26 5/320 235971
/proc/meminfo: memFree=76081052/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=706004 CPUtime=9.12 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 24947 0 0 0 886 26 0 0 20 0 20 0 18745085 19586084864 176501 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 176501 6120 1 0 558176 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=12240 CPUtime=6.13 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 7467 0 0 0 591 22 0 0 20 0 20 0 18745086 19586084864 176501 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 176501 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 176501 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=185220 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 176501 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 706004 KiB

[startup+12.7005 s]
/proc/loadavg: 4.69 4.32 4.26 5/320 235971
/proc/meminfo: memFree=75234848/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1324588 CPUtime=15.51 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 27937 0 0 0 1501 50 0 0 20 0 20 0 18745085 19586084864 331147 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 331147 6120 1 0 558176 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=185220 CPUtime=12.42 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 8605 0 0 0 1197 45 0 0 20 0 20 0 18745086 19586084864 331147 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=1318440 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 331147 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=1220100 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 331147 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 331147 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1324588 KiB

[startup+25.5004 s]
/proc/loadavg: 4.67 4.32 4.26 5/327 235980
/proc/meminfo: memFree=74306692/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1330808 CPUtime=28.3 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 31335 0 0 0 2759 71 0 0 20 0 20 0 18745085 19586084864 332702 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 332702 6136 1 0 558176 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=1330808 CPUtime=25.08 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 10273 0 0 0 2443 65 0 0 20 0 20 0 18745086 19586084864 332702 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 332702 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 332702 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 332702 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 28.3 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1330808 KiB

[startup+51.114 s]
/proc/loadavg: 4.51 4.31 4.26 6/327 235985
/proc/meminfo: memFree=72642700/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1332936 CPUtime=53.33 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 36567 0 0 0 5227 106 0 0 20 0 20 0 18745085 19586084864 333234 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 333234 6152 1 0 558176 0

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

/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 96520 0 0 0 318004 2139 0 0 20 0 20 0 18745086 19586084864 299302 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4008 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=1698328 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 299302 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3218 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 299302 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 299302 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3255.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1197208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/319 237523
/proc/meminfo: memFree=80502024/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1087196 CPUtime=3315.83 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 230822 0 0 0 329224 2359 0 0 20 0 20 0 18745085 19586084864 271799 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 271799 6149 1 0 284041 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=1087196 CPUtime=3259.03 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 99747 0 0 0 323729 2174 0 0 20 0 20 0 18745086 19586084864 271799 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4124 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=-8744127248327221948 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 271799 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=18484 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3303 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 271799 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=70176 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 271799 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3315.83 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1087196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.19 4.19 4/318 237534
/proc/meminfo: memFree=79735784/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1415844 CPUtime=3374.06 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 241073 0 0 0 335009 2397 0 0 20 0 20 0 18745085 19586084864 353961 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 353961 6149 1 0 367659 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=12264 CPUtime=3315.55 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) D 235946 235949 230684 0 -1 4194368 107029 0 0 0 329347 2208 0 0 20 0 20 0 18745086 19586084864 353961 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4173 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=1415844 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 353961 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=1415844 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3377 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 353961 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=-8744127248327221948 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 353961 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3374.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1415844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.23 4.20 5/318 237545
/proc/meminfo: memFree=79649152/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1020552 CPUtime=3434.82 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 260536 0 0 0 341044 2438 0 0 20 0 20 0 18745085 19586084864 255138 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 255138 6149 1 0 267435 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=70176 CPUtime=3372.24 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 116556 0 0 0 334984 2240 0 0 20 0 20 0 18745086 19586084864 255138 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4577 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=1020552 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 255138 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3429 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 255138 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=970752 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 255138 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3434.82 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1020552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.20 4.19 6/296 237586
/proc/meminfo: memFree=81344084/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1053932 CPUtime=3496.34 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 272542 0 0 0 347154 2480 0 0 20 0 20 0 18745085 19586084864 263483 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 263483 6149 1 0 275787 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=970752 CPUtime=3430.85 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 122534 0 0 0 340808 2277 0 0 20 0 20 0 18745086 19586084864 263483 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4591 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 263483 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=1053744 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3430 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 263483 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=1053744 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 263483 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3496.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1053932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.19 4/295 237985
/proc/meminfo: memFree=84515080/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1162448 CPUtime=3557.31 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 282797 0 0 0 353216 2515 0 0 20 0 20 0 18745085 19586084864 290612 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 290612 6149 1 0 302931 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=-7233763581549371255 CPUtime=3489.43 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 125807 0 0 0 346634 2309 0 0 20 0 20 0 18745086 19586084864 290612 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4607 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 290612 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3463 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 290612 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=1162448 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 290612 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3557.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1162448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3624.2 s]
/proc/loadavg: 3.58 4.04 4.13 3/270 238020
/proc/meminfo: memFree=86918500/131655788 swapFree=131061124/131071996
[pid=235949] ppid=235946 vsize=19127036 memory=1135728 CPUtime=3600.07 cores=4,6
/proc/235949/stat : 235949 (java) S 235946 235949 230684 0 -1 1077936128 284262 0 0 0 357462 2545 0 0 20 0 20 0 18745085 19586084864 283932 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
/proc/235949/statm: 4781759 283932 6149 1 0 313371 0
[pid=235949/tid=235951] ppid=235946 vsize=19127036 memory=18708 CPUtime=3530.52 cores=4,6
/proc/235949/task/235951/stat : 235951 (java) R 235946 235949 230684 0 -1 4194368 126966 0 0 0 350716 2336 0 0 20 0 20 0 18745086 19586084864 283932 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4628 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235960] ppid=235946 vsize=19127036 memory=18800 CPUtime=0 cores=4,6
/proc/235949/task/235960/stat : 235960 (Finalizer) S 235946 235949 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18745088 19586084864 283932 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235967] ppid=235946 vsize=19127036 memory=5448 CPUtime=0 cores=4,6
/proc/235949/task/235967/stat : 235967 (Common-Cleaner) S 235946 235949 230684 0 -1 1077936192 3496 0 0 0 0 0 0 0 20 0 20 0 18745089 19586084864 283932 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
[pid=235949/tid=235968] ppid=235946 vsize=19127036 memory=2648 CPUtime=0 cores=4,6
/proc/235949/task/235968/stat : 235968 (Timer-0) S 235946 235949 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18745104 19586084864 283932 134679101440 93924185653248 93924185656944 140724304252272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93924185664760 93924185665552 93924190679040 140724304257967 140724304258149 140724304258149 140724304265160 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1135728 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3574.83 s, system=25.4854 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3625.6 s]
/proc/loadavg: 3.58 4.04 4.13 3/252 238023
/proc/meminfo: memFree=93115744/131655788 swapFree=131061124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3626 s]*
/proc/loadavg: 3.58 4.04 4.13 2/251 238030
/proc/meminfo: memFree=98146192/131655788 swapFree=131061124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3626.2 s]
/proc/loadavg: 3.58 4.04 4.13 2/251 238030
/proc/meminfo: memFree=98146192/131655788 swapFree=131061124/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): 3629.92
CPU time (s): 3600.32
CPU user time (s): 3574.83
CPU system time (s): 25.4854
CPU usage (%): 99.1844
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2616364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.83
system time used= 25.4854
maximum resident set size= 2616376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23048648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125226
involuntary context switches= 8924


# summary of solver processes directly reported to runsolver:
#   pid: 235949
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3574.83
#   total CPU system time (s): 25.4854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2182 second user time and 39.9756 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 15:25:57
IDJOB=4447712
IDBENCH=160024
IDSOLVER=3079
FILE ID=nodeC005/4447712-1721827557
RUNJOBID= nodeC005-1721820325-230695
SLURM_JOB_ID= 7891450
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447712-1721827557/watcher-4447712-1721827557 -o /tmp/evaluation-result-4447712-1721827557/solver-4447712-1721827557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230695 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4447712-1721827557 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447712-1721827557.opb

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

MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=1713891783

nodeC005.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	: 0xb00001f
cpu MHz		: 3651.848
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3656.624
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.197
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3491.590
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3656.851
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3491.588
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.299
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        76954336 kB
MemAvailable:   109342692 kB
Buffers:          252896 kB
Cached:         32893148 kB
SwapCached:          612 kB
Active:          2498952 kB
Inactive:       51449380 kB
Active(anon):       1616 kB
Inactive(anon): 20853744 kB
Active(file):    2497336 kB
Inactive(file): 30595636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:            584900 kB
Writeback:             0 kB
AnonPages:      20801632 kB
Mapped:           138480 kB
Shmem:             53264 kB
KReclaimable:     270828 kB
Slab:             400508 kB
SReclaimable:     270828 kB
SUnreclaim:       129680 kB
KernelStack:        4844 kB
PageTables:        50740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   23069300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20385792 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-24 16:26:27