Trace number 4510013

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 VeriPB 2025-06-06? (TO) 3600.24 3604.55

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
MD5SUMd0c8f70b306f746a2531c5dc399515b9
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 benchmark69.8416
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185
Total number of constraints380
Number of constraints which are clauses380
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.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version PB25.v20250606
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.18	c Free memory 		2104792832
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2113929216
0.12/0.18	c Number of processors 	2
0.27/0.27	c Pseudo Boolean Optimization by upper bound
0.27/0.27	c --- Begin Solver configuration ---
0.27/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.27/0.27	c Learn all clauses as in MiniSAT
0.27/0.27	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.27	c Expensive reason simplification
0.27/0.27	c Glucose 2.1 dynamic restart strategy
0.27/0.27	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.27/0.27	c timeout=2147483s
0.27/0.27	c DB Simplification allowed=false
0.27/0.27	c Listener: none
0.27/0.27	c --- End Solver configuration ---
0.27/0.27	c solving HOME/instance-4510013-1751197639.opb
0.27/0.27	c reading problem ... 
0.27/0.28	c using VERIPB proof format
0.27/0.28	c  no objective function found
0.44/0.33	c ... done. Wall clock time 0.057s.
0.44/0.33	c declared #vars     185
0.44/0.33	c #constraints  380
0.44/0.34	c constraints type 
0.44/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 380
0.44/0.34	c 380 constraints processed.
1.55/0.97	c cleaning 2496 clauses out of 5001 with flag 26146/5001
2.33/1.31	c cleaning 4240 clauses out of 8505 with flag 54075/11001
3.12/1.70	c cleaning 5627 clauses out of 11267 with flag 93878/18003
3.51/1.99	c cleaning 6809 clauses out of 13637 with flag 141379/26000
4.10/2.26	c cleaning 7906 clauses out of 15828 with flag 190123/35000
4.58/2.53	c cleaning 8945 clauses out of 17922 with flag 246073/45000
4.98/2.87	c cleaning 9986 clauses out of 19979 with flag 309736/56002
5.40/3.25	c cleaning 10982 clauses out of 21991 with flag 380171/68000
5.80/3.69	c cleaning 11990 clauses out of 24010 with flag 462248/81001
6.33/4.16	c cleaning 13001 clauses out of 26019 with flag 557059/95000
6.97/4.70	c cleaning 13998 clauses out of 28019 with flag 643391/110001
7.59/5.31	c cleaning 15000 clauses out of 30021 with flag 745306/126001
8.30/5.98	c cleaning 16006 clauses out of 32020 with flag 850458/143000
9.11/6.69	c cleaning 16999 clauses out of 34014 with flag 963565/161000
10.01/7.52	c cleaning 17997 clauses out of 36015 with flag 1083845/180000
10.81/8.35	c cleaning 19000 clauses out of 38018 with flag 1209401/200000
11.72/9.26	c cleaning 20004 clauses out of 40019 with flag 1346042/221001
13.38/10.32	c cleaning 21004 clauses out of 42014 with flag 1487974/243000
14.48/11.43	c cleaning 21991 clauses out of 44010 with flag 1640256/266000
15.68/12.64	c cleaning 23001 clauses out of 46020 with flag 1797703/290001
16.98/13.96	c cleaning 24001 clauses out of 48018 with flag 1962968/315000
18.50/15.41	c cleaning 25004 clauses out of 50017 with flag 2132241/341000
19.99/16.97	c cleaning 26005 clauses out of 52013 with flag 2317427/368000
21.59/18.58	c cleaning 26999 clauses out of 54008 with flag 2514132/396000
23.29/20.22	c cleaning 27998 clauses out of 56009 with flag 2712026/425000
24.99/21.92	c cleaning 28999 clauses out of 58013 with flag 2911956/455002
26.98/23.90	c cleaning 29999 clauses out of 60013 with flag 3120730/486001
28.78/25.76	c cleaning 31003 clauses out of 62013 with flag 3336643/518000
30.78/27.79	c cleaning 31993 clauses out of 64012 with flag 3553641/551002
32.97/29.98	c cleaning 33003 clauses out of 66017 with flag 3784791/585000
35.26/32.25	c cleaning 33999 clauses out of 68014 with flag 4023747/620000
37.70/34.72	c cleaning 35005 clauses out of 70016 with flag 4268965/656001
40.83/37.15	c cleaning 35997 clauses out of 72011 with flag 4520850/693001
43.48/39.64	c cleaning 36989 clauses out of 74013 with flag 4785839/731000
46.44/42.31	c cleaning 38005 clauses out of 76025 with flag 5037600/770001
49.24/45.17	c cleaning 39004 clauses out of 78019 with flag 5310525/810000
52.31/48.16	c cleaning 39998 clauses out of 80017 with flag 5580293/851002
55.39/51.25	c cleaning 41007 clauses out of 82020 with flag 5858192/893003
58.47/54.29	c cleaning 41998 clauses out of 84010 with flag 6131963/936000
61.66/57.43	c cleaning 42997 clauses out of 86014 with flag 6421421/980002
64.97/60.72	c cleaning 43993 clauses out of 88015 with flag 6711261/1025000
68.40/64.27	c cleaning 45007 clauses out of 90024 with flag 7009144/1071002
72.31/68.19	c cleaning 45992 clauses out of 92015 with flag 7324774/1118000
76.30/72.16	c cleaning 46996 clauses out of 94023 with flag 7646496/1166000
80.30/76.18	c cleaning 48002 clauses out of 96028 with flag 7963124/1215001
84.38/80.29	c cleaning 49000 clauses out of 98025 with flag 8273197/1265000
88.47/84.37	c cleaning 50005 clauses out of 100025 with flag 8592696/1316000
92.67/88.58	c cleaning 51000 clauses out of 102020 with flag 8934207/1368000
97.27/93.19	c cleaning 52005 clauses out of 104020 with flag 9284744/1421000
101.99/97.96	c cleaning 53002 clauses out of 106015 with flag 9628090/1475000
106.98/102.92	c cleaning 54001 clauses out of 108015 with flag 9973372/1530002
111.87/107.90	c cleaning 54998 clauses out of 110016 with flag 10320730/1586004
117.25/113.26	c cleaning 56005 clauses out of 112015 with flag 10672484/1643001
122.46/118.48	c cleaning 56998 clauses out of 114009 with flag 11037713/1701000
127.84/123.82	c cleaning 57994 clauses out of 116012 with flag 11415215/1760001
133.29/129.37	c cleaning 58996 clauses out of 118019 with flag 11781499/1820002
140.09/136.15	c cleaning 60002 clauses out of 120021 with flag 12164480/1881000
146.46/142.50	c cleaning 61000 clauses out of 122019 with flag 12548347/1943000
152.65/148.74	c cleaning 62002 clauses out of 124022 with flag 12928295/2006003
161.75/157.99	c cleaning 62997 clauses out of 126017 with flag 13307500/2070000
168.23/164.41	c cleaning 64002 clauses out of 128020 with flag 13696520/2135000
174.72/170.93	c cleaning 65001 clauses out of 130018 with flag 14092247/2201000
181.81/178.07	c cleaning 66005 clauses out of 132017 with flag 14509020/2268000
189.08/185.38	c cleaning 67000 clauses out of 134014 with flag 14914403/2336002
197.60/193.97	c cleaning 67997 clauses out of 136013 with flag 15330928/2405001
205.18/201.52	c cleaning 69000 clauses out of 138016 with flag 15732731/2475001
213.27/209.68	c cleaning 69995 clauses out of 140016 with flag 16144143/2546001
221.51/218.00	c cleaning 70995 clauses out of 142020 with flag 16558355/2618000
230.00/226.41	c cleaning 71997 clauses out of 144025 with flag 16986834/2691000
238.17/234.65	c cleaning 73002 clauses out of 146028 with flag 17416125/2765000
247.56/244.10	c cleaning 74005 clauses out of 148026 with flag 17856313/2840000
256.30/252.84	c cleaning 75002 clauses out of 150023 with flag 18280881/2916002
265.68/262.20	c cleaning 75990 clauses out of 152019 with flag 18718119/2993000
274.75/271.37	c cleaning 77009 clauses out of 154029 with flag 19169477/3071000
284.00/280.63	c cleaning 78002 clauses out of 156020 with flag 19608119/3150000
293.88/290.53	c cleaning 79000 clauses out of 158018 with flag 20068728/3230000
304.06/300.73	c cleaning 80000 clauses out of 160018 with flag 20522365/3311000
314.32/311.05	c cleaning 80997 clauses out of 162018 with flag 20994463/3393000
325.48/322.25	c cleaning 82004 clauses out of 164021 with flag 21486926/3476000
336.55/333.38	c cleaning 83009 clauses out of 166017 with flag 21970510/3560000
347.98/345.10	c cleaning 83999 clauses out of 168008 with flag 22444607/3645000
359.44/356.53	c cleaning 84999 clauses out of 170010 with flag 22925787/3731001
371.41/368.56	c cleaning 86006 clauses out of 172011 with flag 23424732/3818001
383.43/380.61	c cleaning 86993 clauses out of 174004 with flag 23916570/3906000
395.30/392.53	c cleaning 88002 clauses out of 176012 with flag 24405774/3995001
407.53/404.85	c cleaning 88993 clauses out of 178009 with flag 24918020/4085000
419.90/417.20	c cleaning 90005 clauses out of 180017 with flag 25418634/4176001
431.87/429.29	c cleaning 90995 clauses out of 182011 with flag 25948204/4268000
445.91/443.32	c cleaning 92002 clauses out of 184016 with flag 26468738/4361000
459.19/456.64	c cleaning 92998 clauses out of 186016 with flag 26990479/4455002
473.14/470.69	c cleaning 93993 clauses out of 188017 with flag 27516346/4550001
486.70/484.28	c cleaning 95000 clauses out of 190024 with flag 28057036/4646001
500.69/498.21	c cleaning 96001 clauses out of 192025 with flag 28603020/4743002
515.95/513.56	c cleaning 97000 clauses out of 194022 with flag 29134501/4841000
532.44/530.09	c cleaning 98003 clauses out of 196024 with flag 29677091/4940002
549.18/546.88	c cleaning 99001 clauses out of 198019 with flag 30217217/5040000
565.99/563.80	c cleaning 100003 clauses out of 200020 with flag 30772602/5141002
582.05/579.97	c cleaning 100999 clauses out of 202016 with flag 31352966/5243001
600.55/598.41	c cleaning 101998 clauses out of 204016 with flag 31907661/5346000
617.61/615.51	c cleaning 103002 clauses out of 206018 with flag 32485980/5450000
635.32/633.24	c cleaning 103997 clauses out of 208017 with flag 33057256/5555001
653.56/651.53	c cleaning 105003 clauses out of 210019 with flag 33631150/5661000
672.30/670.27	c cleaning 105999 clauses out of 212016 with flag 34234914/5768000
691.83/689.87	c cleaning 107007 clauses out of 214018 with flag 34829408/5876001
712.84/710.82	c cleaning 107990 clauses out of 216010 with flag 35423294/5985000
732.58/730.67	c cleaning 109003 clauses out of 218020 with flag 36017155/6095000
753.08/751.17	c cleaning 110001 clauses out of 220020 with flag 36609523/6206003
773.30/771.45	c cleaning 110998 clauses out of 222016 with flag 37217735/6318000
794.42/792.56	c cleaning 112003 clauses out of 224018 with flag 37830574/6431000
817.13/815.28	c cleaning 112999 clauses out of 226017 with flag 38452598/6545002
839.47/837.62	c cleaning 113998 clauses out of 228017 with flag 39072106/6660001
862.39/860.56	c cleaning 115002 clauses out of 230018 with flag 39721290/6776000
886.93/885.12	c cleaning 115997 clauses out of 232018 with flag 40373405/6893002
911.11/909.31	c cleaning 117002 clauses out of 234024 with flag 41007292/7011005
935.64/933.96	c cleaning 118007 clauses out of 236018 with flag 41648972/7130001
959.94/958.25	c cleaning 118998 clauses out of 238012 with flag 42292939/7250002
984.90/983.11	c cleaning 119996 clauses out of 240013 with flag 42973810/7371001
1008.90/1007.28	c cleaning 121001 clauses out of 242019 with flag 43633314/7493003
1034.12/1032.41	c cleaning 121990 clauses out of 244016 with flag 44303998/7616001
1060.54/1058.99	c cleaning 123007 clauses out of 246025 with flag 44976207/7740000
1086.43/1084.87	c cleaning 124000 clauses out of 248018 with flag 45660452/7865000
1112.74/1111.15	c cleaning 125002 clauses out of 250018 with flag 46339291/7991000
1139.47/1137.93	c cleaning 125996 clauses out of 252017 with flag 47019398/8118001
1167.75/1166.21	c cleaning 127004 clauses out of 254020 with flag 47715309/8246000
1198.31/1196.87	c cleaning 127999 clauses out of 256016 with flag 48413552/8375000
1228.43/1227.02	c cleaning 128997 clauses out of 258017 with flag 49131503/8505000
1256.82/1255.41	c cleaning 129999 clauses out of 260021 with flag 49844940/8636001
1287.14/1285.80	c cleaning 131003 clauses out of 262022 with flag 50567212/8768001
1316.90/1315.60	c cleaning 132000 clauses out of 264019 with flag 51280771/8901001
1347.85/1346.68	c cleaning 133006 clauses out of 266020 with flag 52009118/9035002
1379.17/1378.06	c cleaning 133998 clauses out of 268012 with flag 52743928/9170000
1408.85/1407.76	c cleaning 135001 clauses out of 270015 with flag 53462315/9306001
1441.61/1440.55	c cleaning 135994 clauses out of 272014 with flag 54195701/9443001
1472.92/1471.82	c cleaning 137002 clauses out of 274019 with flag 54927386/9581000
1503.05/1502.02	c cleaning 138003 clauses out of 276017 with flag 55683619/9720000
1537.14/1536.17	c cleaning 139000 clauses out of 278014 with flag 56422936/9860000
1569.10/1568.19	c cleaning 140003 clauses out of 280015 with flag 57180258/10001001
1603.29/1602.49	c cleaning 140996 clauses out of 282012 with flag 57938505/10143001
1637.16/1636.31	c cleaning 141996 clauses out of 284016 with flag 58717272/10286001
1670.14/1669.39	c cleaning 142997 clauses out of 286020 with flag 59491415/10430001
1706.14/1705.48	c cleaning 144004 clauses out of 288022 with flag 60274181/10575000
1746.08/1745.44	c cleaning 145005 clauses out of 290018 with flag 61065153/10721000
1782.56/1781.96	c cleaning 146001 clauses out of 292013 with flag 61857517/10868000
1821.19/1820.64	c cleaning 146997 clauses out of 294013 with flag 62664155/11016001
1860.37/1859.97	c cleaning 147996 clauses out of 296016 with flag 63458256/11165001
1898.31/1897.99	c cleaning 149005 clauses out of 298021 with flag 64258197/11315002
1938.93/1938.64	c cleaning 149997 clauses out of 300014 with flag 65071588/11466000
1980.80/1980.51	c cleaning 150997 clauses out of 302017 with flag 65888081/11618000
2019.51/2019.32	c cleaning 152002 clauses out of 304021 with flag 66700564/11771001
2059.36/2059.24	c cleaning 153002 clauses out of 306019 with flag 67517492/11925001
2101.37/2101.70	c cleaning 153995 clauses out of 308017 with flag 68329254/12080001
2142.55/2143.00	c cleaning 155003 clauses out of 310021 with flag 69157365/12236000
2184.13/2184.64	c cleaning 155999 clauses out of 312020 with flag 69995913/12393002
2225.08/2225.65	c cleaning 157005 clauses out of 314020 with flag 70843703/12551001
2266.89/2267.55	c cleaning 158004 clauses out of 316017 with flag 71701790/12710003
2313.43/2314.13	c cleaning 158998 clauses out of 318010 with flag 72562738/12870000
2357.68/2358.40	c cleaning 159999 clauses out of 320012 with flag 73436416/13031000
2399.36/2400.19	c cleaning 160996 clauses out of 322015 with flag 74298358/13193002
2443.05/2443.94	c cleaning 162009 clauses out of 324019 with flag 75158361/13356002
2490.19/2491.19	c cleaning 162997 clauses out of 326009 with flag 76023335/13520001
2537.76/2539.10	c cleaning 163994 clauses out of 328014 with flag 76888431/13685003
2588.56/2590.00	c cleaning 165004 clauses out of 330017 with flag 77782697/13851000
2635.80/2637.48	c cleaning 165996 clauses out of 332014 with flag 78700128/14018001
2683.18/2684.98	c cleaning 167003 clauses out of 334017 with flag 79584885/14186000
2735.90/2737.72	c cleaning 167998 clauses out of 336015 with flag 80486439/14355001
2782.73/2784.65	c cleaning 169001 clauses out of 338018 with flag 81410351/14525002
2833.27/2835.28	c cleaning 169998 clauses out of 340015 with flag 82309682/14696000
2887.29/2889.31	c cleaning 171001 clauses out of 342017 with flag 83229996/14868000
2941.13/2943.22	c cleaning 171999 clauses out of 344016 with flag 84144223/15041000
2993.90/2996.10	c cleaning 172996 clauses out of 346018 with flag 85073156/15215001
3047.53/3050.33	c cleaning 174003 clauses out of 348021 with flag 85999355/15390000
3102.87/3105.86	c cleaning 174996 clauses out of 350019 with flag 86922663/15566001
3157.49/3160.57	c cleaning 176003 clauses out of 352023 with flag 87852114/15743001
3208.41/3211.58	c cleaning 176999 clauses out of 354020 with flag 88806567/15921001
3264.01/3267.50	c cleaning 178003 clauses out of 356021 with flag 89763331/16100001
3317.54/3321.12	c cleaning 178998 clauses out of 358018 with flag 90699922/16280001
3374.58/3378.28	c cleaning 179999 clauses out of 360019 with flag 91642704/16461000
3433.61/3437.30	c cleaning 181002 clauses out of 362021 with flag 92591201/16643001
3490.72/3494.58	c cleaning 182004 clauses out of 364019 with flag 93540349/16826001
3553.56/3557.80	c cleaning 182998 clauses out of 366014 with flag 94507119/17010000
3600.00/3604.42	c starts		: 39783
3600.00/3604.43	c timeout
3600.00/3604.44	c conflicts		: 17165012
3600.00/3604.44	c decisions		: 23290656
3600.00/3604.44	c propagations		: 288098043
3600.00/3604.44	c inspects		: 59780285442
3600.00/3604.44	c shortcuts		: 0
3600.00/3604.44	c learnt literals	: 0
3600.00/3604.44	c learnt binary clauses	: 0
3600.00/3604.44	c learnt ternary clauses	: 0
3600.00/3604.44	c learnt constraints	: 17165012
3600.00/3604.44	c ignored constraints	: 0
3600.00/3604.44	c root simplifications	: 0
3600.00/3604.44	c removed literals (reason simplification)	: 27516141
3600.00/3604.44	c reason swapping (by a shorter reason)	: 0
3600.00/3604.44	c Calls to reduceDB	: 180
3600.00/3604.44	c Number of update (reduction) of LBD	: 5135619
3600.00/3604.44	c Imported unit clauses	: 0
3600.00/3604.44	c No decision after first conflict	: false
3600.00/3604.44	c number of reductions to clauses (during analyze)	: 0
3600.00/3604.44	c number of learned constraints concerned by reduction	: 0
3600.00/3604.44	c number of learning phase by resolution	: 0
3600.00/3604.44	c number of learning phase by cutting planes	: 0
3600.00/3604.44	c number of rounding to 1 operations	: 0
3600.00/3604.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3604.44	c number of reductions of the coefficients by power 2 	: 0
3600.00/3604.44	c number of right shift for reduction by power 2 	: 0
3600.00/3604.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3604.44	c number of ending skipping 	: 0
3600.00/3604.44	c number of internal skipping 	: 0
3600.00/3604.44	c number of derivation steps 	: 0
3600.00/3604.44	c number of skipped derivation steps 	: 0
3600.00/3604.44	c number of remaining unassigned 	: 0
3600.00/3604.44	c number of remaining assigned 	: 0
3600.00/3604.44	c number of falsified literals weakened from reason	: 0
3600.00/3604.44	c number of falsified literals weakened from conflict	: 0
3600.00/3604.44	c time for arithmetic operations	: 0
3600.00/3604.44	c minimum degree of deleted constraints	: null
3600.00/3604.44	c maximum degree of deleted constraints	: null
3600.00/3604.44	c number of deleted constraints	: 0
3600.00/3604.44	c speed (assignments/second)	: 79936.17354230638
3600.00/3604.44	c non guided choices	: 14612
3600.19/3604.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 338028
3600.19/3604.51	s UNKNOWN
3600.19/3604.51	c Total wall clock time (in seconds): 3604.239

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: 63794 MiB (45730 MiB free)
  memory of node 1: 64507 MiB (43594 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510013-1751197639/watcher-4510013-1751197639 -o /tmp/evaluation-result-4510013-1751197639/solver-4510013-1751197639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510013-1751197639 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510013-1751197639.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24369, runsolver pid=24366
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.39 4.34 4.27 5/332 24387
/proc/meminfo: memFree=91437120/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=18930384 memory=48836 CPUtime=0.12 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 5929 0 0 0 10 2 0 0 20 0 18 0 35443289 19384713216 12209 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4732596 12209 5316 1 0 547104 0
[pid=24369/tid=24371] ppid=24366 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 4815 0 0 0 6 2 0 0 20 0 18 0 35443291 19384713216 12209 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35443294 19384713216 12209 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=18930384 memory=58494082626307 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35443295 19384713216 12209 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48836 KiB

[startup+0.21395 s]*
/proc/loadavg: 4.39 4.34 4.27 5/332 24387
/proc/meminfo: memFree=91431260/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=18930384 memory=57756 CPUtime=0.27 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 6596 0 0 0 24 3 0 0 20 0 18 0 35443289 19384713216 14439 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4732596 14439 5316 1 0 547629 0
[pid=24369/tid=24371] ppid=24366 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 5089 0 0 0 16 2 0 0 20 0 18 0 35443291 19384713216 14439 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35443294 19384713216 14439 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35443295 19384713216 14439 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57756 KiB

[startup+0.313937 s]*
/proc/loadavg: 4.39 4.34 4.27 7/332 24387
/proc/meminfo: memFree=91431260/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=18930384 memory=61300 CPUtime=0.44 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 6870 0 0 0 41 3 0 0 20 0 18 0 35443289 19384713216 15325 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4732596 15325 5412 1 0 547840 0
[pid=24369/tid=24371] ppid=24366 vsize=18930384 memory=-6000919481279801453 CPUtime=0.26 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 5270 0 0 0 24 2 0 0 20 0 18 0 35443291 19384713216 15325 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35443294 19384713216 15325 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35443295 19384713216 15325 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61300 KiB

[startup+0.700319 s]
/proc/loadavg: 4.39 4.34 4.27 7/333 24388
/proc/meminfo: memFree=91403916/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=18996948 memory=80936 CPUtime=1.15 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 9664 0 0 0 110 5 0 0 20 0 19 0 35443289 19452874752 20234 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4749237 20234 5444 1 0 549736 0
[pid=24369/tid=24371] ppid=24366 vsize=18996948 memory=17152 CPUtime=0.59 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 5375 0 0 0 56 3 0 0 20 0 19 0 35443291 19452874752 20234 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35443294 19452874752 20234 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35443295 19452874752 20234 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35443324 19452874752 20234 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80936 KiB

[startup+1.5003 s]
/proc/loadavg: 4.39 4.34 4.27 6/333 24388
/proc/meminfo: memFree=91359904/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=173552 CPUtime=2.72 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 20071 0 0 0 263 9 0 0 20 0 20 0 35443289 19521036288 43388 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 43388 5476 1 0 553476 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=0 CPUtime=1.33 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 5930 0 0 0 128 5 0 0 20 0 20 0 35443291 19521036288 43388 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 43388 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 43388 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=4752 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 43388 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173552 KiB

[startup+3.10967 s]
/proc/loadavg: 4.39 4.34 4.27 5/334 24389
/proc/meminfo: memFree=91272764/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=177648 CPUtime=5.31 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 22219 0 0 0 521 10 0 0 20 0 20 0 35443289 19521036288 44412 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 44412 5476 1 0 553828 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=11136 CPUtime=2.93 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 6236 0 0 0 287 6 0 0 20 0 20 0 35443291 19521036288 44412 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=-6000919481279801453 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 44412 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 44412 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 44412 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177648 KiB

[startup+6.30041 s]
/proc/loadavg: 4.36 4.33 4.27 6/334 24389
/proc/meminfo: memFree=91064588/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=364960 CPUtime=8.78 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 22751 0 0 0 862 16 0 0 20 0 20 0 35443289 19521036288 91240 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 91240 5476 1 0 553830 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=0 CPUtime=6.1 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 6471 0 0 0 598 12 0 0 20 0 20 0 35443291 19521036288 91240 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 91240 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 91240 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=173552 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 91240 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 364960 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.33 4.27 5/334 24389
/proc/meminfo: memFree=90804048/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=616992 CPUtime=15.78 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 28810 0 0 0 1552 26 0 0 20 0 20 0 35443289 19521036288 154248 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 154248 5476 1 0 553830 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=173552 CPUtime=12.48 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 8174 0 0 0 1227 21 0 0 20 0 20 0 35443291 19521036288 154248 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=508448 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 154248 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 154248 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 154248 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 15.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 616992 KiB

[startup+25.5005 s]
/proc/loadavg: 4.26 4.31 4.26 5/334 24389
/proc/meminfo: memFree=90110932/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1147560 CPUtime=28.58 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 31853 0 0 0 2814 44 0 0 20 0 20 0 35443289 19521036288 286890 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 286890 5476 1 0 553830 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=-6000919481279801453 CPUtime=25.18 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 8966 0 0 0 2481 37 0 0 20 0 20 0 35443291 19521036288 286890 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=1147560 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 286890 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 286890 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 286890 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 28.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1147560 KiB

[startup+51.1137 s]
/proc/loadavg: 4.17 4.29 4.25 5/334 24390
/proc/meminfo: memFree=89706048/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1309492 CPUtime=55.3 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 35748 0 0 0 5471 59 0 0 20 0 20 0 35443289 19521036288 327373 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 327373 5476 1 0 553830 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=1309492 CPUtime=50.54 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 9843 0 0 0 5004 50 0 0 20 0 20 0 35443291 19521036288 327373 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=14304 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/334 24779
/proc/meminfo: memFree=87045240/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1823988 CPUtime=3278.78 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 69460 0 0 0 327112 766 0 0 20 0 20 0 35443289 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 455997 5508 1 0 553848 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=1823988 CPUtime=3260.95 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29004 0 0 0 325504 591 0 0 20 0 20 0 35443291 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=1823988 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=1823988 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 826 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=1823988 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3278.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1823988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/332 24781
/proc/meminfo: memFree=86552348/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1823988 CPUtime=3338.69 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 69994 0 0 0 333092 777 0 0 20 0 20 0 35443289 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 455997 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=1823988 CPUtime=3320.66 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29520 0 0 0 331467 599 0 0 20 0 20 0 35443291 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=-4050210904893734799 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=12416 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 455997 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3338.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1823988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/333 24784
/proc/meminfo: memFree=86108916/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1830140 CPUtime=3398.61 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 70210 0 0 0 339074 787 0 0 20 0 20 0 35443289 19521036288 457535 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 457535 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=-4050210904893734799 CPUtime=3380.36 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29630 0 0 0 337430 606 0 0 20 0 20 0 35443291 19521036288 457535 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 457535 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 834 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 457535 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=1830140 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 457535 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3398.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1830140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85635696/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1842428 CPUtime=3458.55 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 70245 0 0 0 345056 799 0 0 20 0 20 0 35443289 19521036288 460607 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 460607 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=-4050210904893734799 CPUtime=3440.08 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29631 0 0 0 343393 615 0 0 20 0 20 0 35443291 19521036288 460607 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=1842428 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 460607 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=1842428 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 834 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 460607 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 460607 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3458.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1842428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/309 24817
/proc/meminfo: memFree=88121004/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1848572 CPUtime=3518.23 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 70435 0 0 0 350991 832 0 0 20 0 20 0 35443289 19521036288 462143 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 462143 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=1842428 CPUtime=3499.5 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29756 0 0 0 349304 646 0 0 20 0 20 0 35443291 19521036288 462143 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=1830140 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 462143 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=1848572 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 842 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 462143 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=1848572 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 462143 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3518.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1848572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.53 4.27 4.21 5/332 24989
/proc/meminfo: memFree=84038224/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1856764 CPUtime=3577.98 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 70597 0 0 0 356937 861 0 0 20 0 20 0 35443289 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 464191 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=1856764 CPUtime=3559.02 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29817 0 0 0 355230 672 0 0 20 0 20 0 35443291 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=1856764 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3577.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1856764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.4 s]
/proc/loadavg: 4.43 4.26 4.21 5/333 24990
/proc/meminfo: memFree=82426736/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19063512 memory=1856764 CPUtime=3600 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 70656 0 0 0 359137 863 0 0 20 0 20 0 35443289 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4765878 464191 5508 1 0 553849 0
[pid=24369/tid=24371] ppid=24366 vsize=19063512 memory=17152 CPUtime=3581.03 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) R 24366 24369 23518 0 -1 4194368 29874 0 0 0 357429 674 0 0 20 0 20 0 35443291 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35443294 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 35443295 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24388] ppid=24366 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/24369/task/24388/stat : 24388 (Timer-0) S 24366 24369 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35443324 19521036288 464191 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1856764 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.58 s, system=8.6594 s

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

[startup+3604.51 s]
/proc/loadavg: 4.43 4.26 4.21 5/333 24990
/proc/meminfo: memFree=82426736/131382120 swapFree=33010684/33010684
[pid=24369] ppid=24366 vsize=19263204 memory=1857404 CPUtime=3600.19 cores=1,3
/proc/24369/stat : 24369 (java) S 24366 24369 23518 0 -1 4194304 73089 0 0 0 359155 864 0 0 20 0 21 0 35443289 19725520896 464351 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
/proc/24369/statm: 4815801 464351 5508 1 0 554775 0
[pid=24369/tid=24371] ppid=24366 vsize=19263204 memory=1842428 CPUtime=3581.05 cores=1,3
/proc/24369/task/24371/stat : 24371 (java) S 24366 24369 23518 0 -1 4194368 30245 0 0 0 357431 674 0 0 20 0 21 0 35443291 19725520896 464351 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24380] ppid=24366 vsize=19263204 memory=1856764 CPUtime=0 cores=1,3
/proc/24369/task/24380/stat : 24380 (Finalizer) S 24366 24369 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35443294 19725520896 464351 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
[pid=24369/tid=24387] ppid=24366 vsize=19263204 memory=1856764 CPUtime=0 cores=1,3
/proc/24369/task/24387/stat : 24387 (Common-Cleaner) S 24366 24369 23518 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 21 0 35443295 19725520896 464351 18446744073709551615 94085453582336 94085453586032 140737480555072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085453593848 94085453594640 94085472534528 140737480558896 140737480559078 140737480559078 140737480564680 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1857404 KiB

Child status: 143

Real time (s): 3604.55
CPU time (s): 3600.24
CPU user time (s): 3591.58
CPU system time (s): 8.6594
CPU usage (%): 99.8803
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1857404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.58
system time used= 8.6594
maximum resident set size= 1857532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4939096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107129
involuntary context switches= 7761


# summary of solver processes directly reported to runsolver:
#   pid: 24369
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3591.58
#   total CPU system time (s): 8.6594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6643 second user time and 38.3435 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 13:47:19
IDJOB=4510013
IDBENCH=159423
IDSOLVER=3364
FILE ID=nodeC006/4510013-1751197639
RUNJOBID= nodeC006-1751194066-23530
SLURM_JOB_ID= 9587594
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510013-1751197639/watcher-4510013-1751197639 -o /tmp/evaluation-result-4510013-1751197639/solver-4510013-1751197639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510013-1751197639 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510013-1751197639.opb

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

MD5SUM BENCH= d0c8f70b306f746a2531c5dc399515b9
RANDOM SEED=1253122131

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3593.793
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 1795.710
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.138
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 1196.764
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.669
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 3591.416
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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		: 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
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.339
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        91468244 kB
MemAvailable:   120569248 kB
Buffers:            3280 kB
Cached:         29878852 kB
SwapCached:            0 kB
Active:          9683384 kB
Inactive:       29630844 kB
Active(anon):    9450140 kB
Inactive(anon):        0 kB
Active(file):     233244 kB
Inactive(file): 29630844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            164032 kB
Writeback:             0 kB
AnonPages:       9434808 kB
Mapped:           122372 kB
Shmem:             17960 kB
KReclaimable:     152704 kB
Slab:             240848 kB
SReclaimable:     152704 kB
SUnreclaim:        88144 kB
KernelStack:        5088 kB
PageTables:        22128 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   10502672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9158656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC006 at 2025-06-29 14:47:24