Trace number 4510012

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 2025-06-06? (TO) 3600.23 3606.4

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.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 PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.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@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 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-4510012-1751197480.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.031s.
0.13/0.16	c declared #vars     185
0.13/0.16	c #constraints  380
0.13/0.16	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 380
0.13/0.17	c 380 constraints processed.
0.70/0.41	c cleaning 2496 clauses out of 5001 with flag 26146/5001
0.89/0.58	c cleaning 4240 clauses out of 8505 with flag 54075/11001
1.25/0.72	c cleaning 5627 clauses out of 11267 with flag 93878/18003
1.54/0.90	c cleaning 6809 clauses out of 13637 with flag 141379/26000
1.83/1.10	c cleaning 7906 clauses out of 15828 with flag 190123/35000
2.11/1.34	c cleaning 8945 clauses out of 17922 with flag 246073/45000
2.48/1.63	c cleaning 9986 clauses out of 19979 with flag 309736/56002
2.78/1.96	c cleaning 10982 clauses out of 21991 with flag 380171/68000
3.18/2.35	c cleaning 11990 clauses out of 24010 with flag 462248/81001
3.58/2.74	c cleaning 13001 clauses out of 26019 with flag 557059/95000
4.07/3.23	c cleaning 13998 clauses out of 28019 with flag 643391/110001
4.57/3.76	c cleaning 15000 clauses out of 30021 with flag 745306/126001
5.19/4.32	c cleaning 16006 clauses out of 32020 with flag 850458/143000
5.81/4.90	c cleaning 16999 clauses out of 34014 with flag 963565/161000
6.40/5.59	c cleaning 17997 clauses out of 36015 with flag 1083845/180000
7.19/6.32	c cleaning 19000 clauses out of 38018 with flag 1209401/200000
8.00/7.13	c cleaning 20004 clauses out of 40019 with flag 1346042/221001
8.97/8.02	c cleaning 21004 clauses out of 42014 with flag 1487974/243000
9.86/8.98	c cleaning 21991 clauses out of 44010 with flag 1640256/266000
10.97/10.01	c cleaning 23001 clauses out of 46020 with flag 1797703/290001
12.07/11.14	c cleaning 24001 clauses out of 48018 with flag 1962968/315000
13.26/12.37	c cleaning 25004 clauses out of 50017 with flag 2132241/341000
14.65/13.71	c cleaning 26005 clauses out of 52013 with flag 2317427/368000
15.97/15.07	c cleaning 26999 clauses out of 54008 with flag 2514132/396000
17.46/16.54	c cleaning 27998 clauses out of 56009 with flag 2712026/425000
18.97/18.07	c cleaning 28999 clauses out of 58013 with flag 2911956/455002
20.76/19.86	c cleaning 29999 clauses out of 60013 with flag 3120730/486001
22.45/21.55	c cleaning 31003 clauses out of 62013 with flag 3336643/518000
24.35/23.41	c cleaning 31993 clauses out of 64012 with flag 3553641/551002
26.35/25.40	c cleaning 33003 clauses out of 66017 with flag 3784791/585000
28.24/27.37	c cleaning 33999 clauses out of 68014 with flag 4023747/620000
30.34/29.46	c cleaning 35005 clauses out of 70016 with flag 4268965/656001
32.53/31.64	c cleaning 35997 clauses out of 72011 with flag 4520850/693001
34.83/33.93	c cleaning 36989 clauses out of 74013 with flag 4785839/731000
37.33/36.48	c cleaning 38005 clauses out of 76025 with flag 5037600/770001
40.23/39.30	c cleaning 39004 clauses out of 78019 with flag 5310525/810000
43.02/42.19	c cleaning 39998 clauses out of 80017 with flag 5580293/851002
46.11/45.23	c cleaning 41007 clauses out of 82020 with flag 5858192/893003
49.01/48.19	c cleaning 41998 clauses out of 84010 with flag 6131963/936000
52.10/51.24	c cleaning 42997 clauses out of 86014 with flag 6421421/980002
55.30/54.46	c cleaning 43993 clauses out of 88015 with flag 6711261/1025000
58.59/57.74	c cleaning 45007 clauses out of 90024 with flag 7009144/1071002
62.38/61.55	c cleaning 45992 clauses out of 92015 with flag 7324774/1118000
66.40/65.50	c cleaning 46996 clauses out of 94023 with flag 7646496/1166000
70.19/69.33	c cleaning 48002 clauses out of 96028 with flag 7963124/1215001
74.29/73.41	c cleaning 49000 clauses out of 98025 with flag 8273197/1265000
78.26/77.40	c cleaning 50005 clauses out of 100025 with flag 8592696/1316000
82.35/81.50	c cleaning 51000 clauses out of 102020 with flag 8934207/1368000
87.05/86.26	c cleaning 52005 clauses out of 104020 with flag 9284744/1421000
91.64/90.87	c cleaning 53002 clauses out of 106015 with flag 9628090/1475000
96.55/95.78	c cleaning 54001 clauses out of 108015 with flag 9973372/1530002
101.45/100.61	c cleaning 54998 clauses out of 110016 with flag 10320730/1586004
106.54/105.70	c cleaning 56005 clauses out of 112015 with flag 10672484/1643001
111.53/110.78	c cleaning 56998 clauses out of 114009 with flag 11037713/1701000
116.62/115.86	c cleaning 57994 clauses out of 116012 with flag 11415215/1760001
122.10/121.33	c cleaning 58996 clauses out of 118019 with flag 11781499/1820002
128.93/128.19	c cleaning 60002 clauses out of 120021 with flag 12164480/1881000
135.31/134.50	c cleaning 61000 clauses out of 122019 with flag 12548347/1943000
141.19/140.48	c cleaning 62002 clauses out of 124022 with flag 12928295/2006003
147.68/146.91	c cleaning 62997 clauses out of 126017 with flag 13307500/2070000
153.67/152.95	c cleaning 64002 clauses out of 128020 with flag 13696520/2135000
159.86/159.12	c cleaning 65001 clauses out of 130018 with flag 14092247/2201000
166.64/165.93	c cleaning 66005 clauses out of 132017 with flag 14509020/2268000
173.52/172.81	c cleaning 67000 clauses out of 134014 with flag 14914403/2336002
180.31/179.67	c cleaning 67997 clauses out of 136013 with flag 15330928/2405001
187.70/187.02	c cleaning 69000 clauses out of 138016 with flag 15732731/2475001
195.47/194.89	c cleaning 69995 clauses out of 140016 with flag 16144143/2546001
203.49/202.87	c cleaning 70995 clauses out of 142020 with flag 16558355/2618000
211.68/211.07	c cleaning 71997 clauses out of 144025 with flag 16986834/2691000
219.66/219.06	c cleaning 73002 clauses out of 146028 with flag 17416125/2765000
228.93/228.31	c cleaning 74005 clauses out of 148026 with flag 17856313/2840000
237.32/236.78	c cleaning 75002 clauses out of 150023 with flag 18280881/2916002
246.42/245.80	c cleaning 75990 clauses out of 152019 with flag 18718119/2993000
255.31/254.80	c cleaning 77009 clauses out of 154029 with flag 19169477/3071000
264.29/263.78	c cleaning 78002 clauses out of 156020 with flag 19608119/3150000
273.67/273.16	c cleaning 79000 clauses out of 158018 with flag 20068728/3230000
283.38/282.89	c cleaning 80000 clauses out of 160018 with flag 20522365/3311000
292.96/292.48	c cleaning 80997 clauses out of 162018 with flag 20994463/3393000
303.73/303.26	c cleaning 82004 clauses out of 164021 with flag 21486926/3476000
314.32/313.86	c cleaning 83009 clauses out of 166017 with flag 21970510/3560000
325.29/324.80	c cleaning 83999 clauses out of 168008 with flag 22444607/3645000
336.25/335.84	c cleaning 84999 clauses out of 170010 with flag 22925787/3731001
347.83/347.40	c cleaning 86006 clauses out of 172011 with flag 23424732/3818001
359.21/358.83	c cleaning 86993 clauses out of 174004 with flag 23916570/3906000
370.78/370.48	c cleaning 88002 clauses out of 176012 with flag 24405774/3995001
382.49/382.19	c cleaning 88993 clauses out of 178009 with flag 24918020/4085000
394.48/394.11	c cleaning 90005 clauses out of 180017 with flag 25418634/4176001
405.85/405.59	c cleaning 90995 clauses out of 182011 with flag 25948204/4268000
419.52/419.20	c cleaning 92002 clauses out of 184016 with flag 26468738/4361000
432.62/432.30	c cleaning 92998 clauses out of 186016 with flag 26990479/4455002
445.89/445.64	c cleaning 93993 clauses out of 188017 with flag 27516346/4550001
459.16/458.90	c cleaning 95000 clauses out of 190024 with flag 28057036/4646001
472.43/472.23	c cleaning 96001 clauses out of 192025 with flag 28603020/4743002
487.39/487.21	c cleaning 97000 clauses out of 194022 with flag 29134501/4841000
503.36/503.22	c cleaning 98003 clauses out of 196024 with flag 29677091/4940002
518.36/518.26	c cleaning 99001 clauses out of 198019 with flag 30217217/5040000
534.23/534.18	c cleaning 100003 clauses out of 200020 with flag 30772602/5141002
549.68/549.66	c cleaning 100999 clauses out of 202016 with flag 31352966/5243001
566.05/566.06	c cleaning 101998 clauses out of 204016 with flag 31907661/5346000
582.61/582.62	c cleaning 103002 clauses out of 206018 with flag 32485980/5450000
599.47/599.59	c cleaning 103997 clauses out of 208017 with flag 33057256/5555001
617.03/617.16	c cleaning 105003 clauses out of 210019 with flag 33631150/5661000
634.95/635.06	c cleaning 105999 clauses out of 212016 with flag 34234914/5768000
653.50/653.63	c cleaning 107007 clauses out of 214018 with flag 34829408/5876001
672.06/672.21	c cleaning 107990 clauses out of 216010 with flag 35423294/5985000
691.52/691.74	c cleaning 109003 clauses out of 218020 with flag 36017155/6095000
710.27/710.58	c cleaning 110001 clauses out of 220020 with flag 36609523/6206003
729.02/729.37	c cleaning 110998 clauses out of 222016 with flag 37217735/6318000
748.98/749.36	c cleaning 112003 clauses out of 224018 with flag 37830574/6431000
770.16/770.53	c cleaning 112999 clauses out of 226017 with flag 38452598/6545002
790.81/791.29	c cleaning 113998 clauses out of 228017 with flag 39072106/6660001
811.36/811.88	c cleaning 115002 clauses out of 230018 with flag 39721290/6776000
834.51/835.01	c cleaning 115997 clauses out of 232018 with flag 40373405/6893002
856.85/857.49	c cleaning 117002 clauses out of 234024 with flag 41007292/7011005
879.30/879.99	c cleaning 118007 clauses out of 236018 with flag 41648972/7130001
902.24/902.92	c cleaning 118998 clauses out of 238012 with flag 42292939/7250002
925.54/926.26	c cleaning 119996 clauses out of 240013 with flag 42973810/7371001
948.19/948.99	c cleaning 121001 clauses out of 242019 with flag 43633314/7493003
971.95/972.70	c cleaning 121990 clauses out of 244016 with flag 44303998/7616001
995.70/996.56	c cleaning 123007 clauses out of 246025 with flag 44976207/7740000
1020.05/1020.96	c cleaning 124000 clauses out of 248018 with flag 45660452/7865000
1044.99/1045.99	c cleaning 125002 clauses out of 250018 with flag 46339291/7991000
1070.34/1071.37	c cleaning 125996 clauses out of 252017 with flag 47019398/8118001
1095.89/1096.96	c cleaning 127004 clauses out of 254020 with flag 47715309/8246000
1122.63/1123.78	c cleaning 127999 clauses out of 256016 with flag 48413552/8375000
1151.48/1152.68	c cleaning 128997 clauses out of 258017 with flag 49131503/8505000
1177.84/1179.07	c cleaning 129999 clauses out of 260021 with flag 49844940/8636001
1207.57/1208.81	c cleaning 131003 clauses out of 262022 with flag 50567212/8768001
1235.06/1236.38	c cleaning 132000 clauses out of 264019 with flag 51280771/8901001
1264.21/1265.57	c cleaning 133006 clauses out of 266020 with flag 52009118/9035002
1294.24/1295.67	c cleaning 133998 clauses out of 268012 with flag 52743928/9170000
1322.39/1323.88	c cleaning 135001 clauses out of 270015 with flag 53462315/9306001
1352.32/1353.89	c cleaning 135994 clauses out of 272014 with flag 54195701/9443001
1382.16/1383.70	c cleaning 137002 clauses out of 274019 with flag 54927386/9581000
1412.31/1413.99	c cleaning 138003 clauses out of 276017 with flag 55683619/9720000
1443.04/1444.77	c cleaning 139000 clauses out of 278014 with flag 56422936/9860000
1472.98/1474.72	c cleaning 140003 clauses out of 280015 with flag 57180258/10001001
1505.32/1507.16	c cleaning 140996 clauses out of 282012 with flag 57938505/10143001
1538.26/1540.16	c cleaning 141996 clauses out of 284016 with flag 58717272/10286001
1570.48/1572.43	c cleaning 142997 clauses out of 286020 with flag 59491415/10430001
1608.00/1609.91	c cleaning 144004 clauses out of 288022 with flag 60274181/10575000
1645.52/1647.58	c cleaning 145005 clauses out of 290018 with flag 61065153/10721000
1681.64/1683.76	c cleaning 146001 clauses out of 292013 with flag 61857517/10868000
1716.25/1718.46	c cleaning 146997 clauses out of 294013 with flag 62664155/11016001
1755.07/1757.36	c cleaning 147996 clauses out of 296016 with flag 63458256/11165001
1791.58/1793.93	c cleaning 149005 clauses out of 298021 with flag 64258197/11315002
1829.38/1831.82	c cleaning 149997 clauses out of 300014 with flag 65071588/11466000
1870.29/1872.89	c cleaning 150997 clauses out of 302017 with flag 65888081/11618000
1909.59/1912.21	c cleaning 152002 clauses out of 304021 with flag 66700564/11771001
1948.19/1950.84	c cleaning 153002 clauses out of 306019 with flag 67517492/11925001
1988.61/1991.30	c cleaning 153995 clauses out of 308017 with flag 68329254/12080001
2028.72/2031.57	c cleaning 155003 clauses out of 310021 with flag 69157365/12236000
2068.84/2071.79	c cleaning 155999 clauses out of 312020 with flag 69995913/12393002
2108.46/2111.47	c cleaning 157005 clauses out of 314020 with flag 70843703/12551001
2148.08/2151.14	c cleaning 158004 clauses out of 316017 with flag 71701790/12710003
2194.28/2197.41	c cleaning 158998 clauses out of 318010 with flag 72562738/12870000
2237.20/2240.45	c cleaning 159999 clauses out of 320012 with flag 73436416/13031000
2278.11/2281.44	c cleaning 160996 clauses out of 322015 with flag 74298358/13193002
2320.52/2323.90	c cleaning 162009 clauses out of 324019 with flag 75158361/13356002
2366.43/2369.95	c cleaning 162997 clauses out of 326009 with flag 76023335/13520001
2411.64/2415.27	c cleaning 163994 clauses out of 328014 with flag 76888431/13685003
2459.90/2463.59	c cleaning 165004 clauses out of 330017 with flag 77782697/13851000
2505.20/2508.98	c cleaning 165996 clauses out of 332014 with flag 78700128/14018001
2551.29/2555.14	c cleaning 167003 clauses out of 334017 with flag 79584885/14186000
2601.46/2605.45	c cleaning 167998 clauses out of 336015 with flag 80486439/14355001
2647.44/2651.56	c cleaning 169001 clauses out of 338018 with flag 81410351/14525002
2695.92/2700.13	c cleaning 169998 clauses out of 340015 with flag 82309682/14696000
2747.59/2751.97	c cleaning 171001 clauses out of 342017 with flag 83229996/14868000
2797.86/2802.30	c cleaning 171999 clauses out of 344016 with flag 84144223/15041000
2848.53/2853.17	c cleaning 172996 clauses out of 346018 with flag 85073156/15215001
2900.51/2905.22	c cleaning 174003 clauses out of 348021 with flag 85999355/15390000
2954.27/2959.20	c cleaning 174996 clauses out of 350019 with flag 86922663/15566001
3007.43/3012.43	c cleaning 176003 clauses out of 352023 with flag 87852114/15743001
3058.10/3063.23	c cleaning 176999 clauses out of 354020 with flag 88806567/15921001
3110.57/3115.88	c cleaning 178003 clauses out of 356021 with flag 89763331/16100001
3162.07/3167.39	c cleaning 178998 clauses out of 358018 with flag 90699922/16280001
3217.65/3223.07	c cleaning 179999 clauses out of 360019 with flag 91642704/16461000
3275.33/3280.83	c cleaning 181002 clauses out of 362021 with flag 92591201/16643001
3332.98/3338.60	c cleaning 182004 clauses out of 364019 with flag 93540349/16826001
3399.14/3404.99	c cleaning 182998 clauses out of 366014 with flag 94507119/17010000
3466.11/3472.08	c cleaning 183996 clauses out of 368016 with flag 95480647/17195000
3530.37/3536.44	c cleaning 185004 clauses out of 370022 with flag 96447250/17381002
3593.80/3600.08	c cleaning 185998 clauses out of 372017 with flag 97432708/17568001
3600.09/3606.31	c starts		: 40752
3600.09/3606.32	c conflicts		: 17588857
3600.09/3606.32	c decisions		: 23844566
3600.09/3606.32	c propagations		: 294785050
3600.09/3606.32	c inspects		: 61917207598
3600.09/3606.32	c shortcuts		: 0
3600.09/3606.32	c learnt literals	: 0
3600.09/3606.32	c learnt binary clauses	: 0
3600.09/3606.32	c learnt ternary clauses	: 0
3600.09/3606.32	c learnt constraints	: 17588857
3600.09/3606.32	c ignored constraints	: 0
3600.09/3606.32	c root simplifications	: 0
3600.09/3606.32	c removed literals (reason simplification)	: 28170649
3600.09/3606.32	c reason swapping (by a shorter reason)	: 0
3600.09/3606.32	c Calls to reduceDB	: 183
3600.09/3606.32	c Number of update (reduction) of LBD	: 5251011
3600.09/3606.32	c Imported unit clauses	: 0
3600.09/3606.32	c timeout
3600.09/3606.32	c No decision after first conflict	: false
3600.09/3606.32	c number of reductions to clauses (during analyze)	: 0
3600.09/3606.32	c number of learned constraints concerned by reduction	: 0
3600.09/3606.32	c number of learning phase by resolution	: 0
3600.09/3606.32	c number of learning phase by cutting planes	: 0
3600.09/3606.32	c number of rounding to 1 operations	: 0
3600.09/3606.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3606.32	c number of reductions of the coefficients by power 2 	: 0
3600.09/3606.32	c number of right shift for reduction by power 2 	: 0
3600.09/3606.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3606.32	c number of ending skipping 	: 0
3600.09/3606.32	c number of internal skipping 	: 0
3600.09/3606.32	c number of derivation steps 	: 0
3600.09/3606.32	c number of skipped derivation steps 	: 0
3600.09/3606.32	c number of remaining unassigned 	: 0
3600.09/3606.32	c number of remaining assigned 	: 0
3600.09/3606.32	c number of falsified literals weakened from reason	: 0
3600.09/3606.32	c number of falsified literals weakened from conflict	: 0
3600.09/3606.32	c time for arithmetic operations	: 0
3600.09/3606.33	c minimum degree of deleted constraints	: null
3600.09/3606.33	c maximum degree of deleted constraints	: null
3600.09/3606.33	c number of deleted constraints	: 0
3600.09/3606.33	c speed (assignments/second)	: 81744.83890209006
3600.09/3606.33	c non guided choices	: 14873
3600.09/3606.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 206875
3600.09/3606.39	s UNKNOWN
3600.09/3606.39	c Total wall clock time (in seconds): 3606.257

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: 63708 MiB (60941 MiB free)
  memory of node 1: 64465 MiB (58249 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510012-1751197480/watcher-4510012-1751197480 -o /tmp/evaluation-result-4510012-1751197480/solver-4510012-1751197480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24633 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510012-1751197480.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25458, runsolver pid=25455

[startup+0.100062 s]*
/proc/loadavg: 4.15 4.19 4.12 5/338 25476
/proc/meminfo: memFree=122026540/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18930384 memory=57820 CPUtime=0.13 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 6595 0 0 0 11 2 0 0 20 0 18 0 35422507 19384713216 14455 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4732596 14455 5340 1 0 547623 0
[pid=25458/tid=25460] ppid=25455 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5087 0 0 0 7 1 0 0 20 0 18 0 35422508 19384713216 14455 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18930384 memory=237112656212 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35422510 19384713216 14455 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18930384 memory=57385981078853 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35422510 19384713216 14455 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57820 KiB

[startup+0.205678 s]*
/proc/loadavg: 4.15 4.19 4.12 6/339 25477
/proc/meminfo: memFree=122024284/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=63244 CPUtime=0.32 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 7686 0 0 0 29 3 0 0 20 0 19 0 35422507 19452874752 15811 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 15811 5404 1 0 548548 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5284 0 0 0 14 1 0 0 20 0 19 0 35422508 19452874752 15811 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=13929 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 15811 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=56286469424100 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 15811 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 15811 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63244 KiB

[startup+0.305696 s]*
/proc/loadavg: 4.15 4.19 4.12 6/339 25477
/proc/meminfo: memFree=122015968/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=67784 CPUtime=0.51 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 9462 0 0 0 48 3 0 0 20 0 19 0 35422507 19452874752 16946 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 16946 5404 1 0 549624 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=-6000919485591480173 CPUtime=0.24 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5288 0 0 0 23 1 0 0 20 0 19 0 35422508 19452874752 16946 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 16946 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 16946 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 16946 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67784 KiB

[startup+0.700244 s]
/proc/loadavg: 4.15 4.19 4.12 6/339 25477
/proc/meminfo: memFree=122004312/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=81708 CPUtime=1.25 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 11901 0 0 0 122 3 0 0 20 0 19 0 35422507 19452874752 20427 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 20427 5404 1 0 551473 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=17152 CPUtime=0.6 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5331 0 0 0 59 1 0 0 20 0 19 0 35422508 19452874752 20427 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 20427 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 20427 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 20427 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81708 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.19 4.12 5/339 25477
/proc/meminfo: memFree=121996372/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=90932 CPUtime=2.39 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 16000 0 0 0 235 4 0 0 20 0 19 0 35422507 19452874752 22733 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 22733 5404 1 0 551675 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=0 CPUtime=1.39 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5682 0 0 0 138 1 0 0 20 0 19 0 35422508 19452874752 22733 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 22733 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 22733 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 22733 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90932 KiB

[startup+3.1055 s]
/proc/loadavg: 4.13 4.19 4.12 5/339 25478
/proc/meminfo: memFree=121975956/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=103220 CPUtime=3.98 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 16584 0 0 0 394 4 0 0 20 0 19 0 35422507 19452874752 25805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 25805 5404 1 0 551677 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=10752 CPUtime=2.99 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 5908 0 0 0 297 2 0 0 20 0 19 0 35422508 19452874752 25805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=-6000919485591480173 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 25805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 25805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 25805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103220 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.20 4.13 5/339 25478
/proc/meminfo: memFree=121959840/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=119332 CPUtime=7.19 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 17654 0 0 0 715 4 0 0 20 0 19 0 35422507 19452874752 29833 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 29833 5404 1 0 551677 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=0 CPUtime=6.15 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 6364 0 0 0 613 2 0 0 20 0 19 0 35422508 19452874752 29833 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 29833 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 29833 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=90932 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 29833 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.20 4.13 5/339 25478
/proc/meminfo: memFree=121927592/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=18996948 memory=152160 CPUtime=13.66 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 21529 0 0 0 1361 5 0 0 20 0 19 0 35422507 19452874752 38040 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4749237 38040 5404 1 0 551677 0
[pid=25458/tid=25460] ppid=25455 vsize=18996948 memory=90932 CPUtime=12.52 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 7068 0 0 0 1250 2 0 0 20 0 19 0 35422508 19452874752 38040 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=18996948 memory=148064 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 38040 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35422510 19452874752 38040 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35422524 19452874752 38040 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 13.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.13 5/340 25479
/proc/meminfo: memFree=121903788/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=171220 CPUtime=26.45 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 23569 0 0 0 2639 6 0 0 20 0 20 0 35422507 19521036288 42805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 42805 5468 1 0 551966 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=148064 CPUtime=25.29 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 7617 0 0 0 2526 3 0 0 20 0 20 0 35422508 19521036288 42805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 42805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=-6000919485591480173 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 42805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 42805 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 26.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171220 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.19 4.13 5/340 25479
/proc/meminfo: memFree=121900448/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=179504 CPUtime=52 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 23871 0 0 0 5194 6 0 0 20 0 20 0 35422507 19521036288 44876 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 44876 5468 1 0 551966 0

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

/proc/meminfo: memFree=119249368/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3276.82 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 43000 0 0 0 327568 114 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 551994 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3272.67 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 16709 0 0 0 327245 22 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 653 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3276.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/340 26062
/proc/meminfo: memFree=115927292/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3336.68 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 43343 0 0 0 333549 119 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 551996 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3332.5 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17005 0 0 0 333225 25 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 653 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=-6000919485591480173 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3336.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.20 4.12 6/339 26129
/proc/meminfo: memFree=114987012/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3396.55 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 43666 0 0 0 339534 121 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 551997 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3392.35 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17286 0 0 0 339209 26 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3396.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.12 6/340 26132
/proc/meminfo: memFree=113206008/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3456.42 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 43993 0 0 0 345520 122 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 551998 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3452.21 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17539 0 0 0 345194 27 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3456.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.12 6/339 26134
/proc/meminfo: memFree=111686012/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3516.3 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 44149 0 0 0 351506 124 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 551999 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3512.06 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17635 0 0 0 351179 27 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3516.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.22 4.14 5/339 26202
/proc/meminfo: memFree=114976116/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3576.14 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 44291 0 0 0 357487 127 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 552000 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3571.88 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17753 0 0 0 357159 29 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=5164 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3576.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.3 s]
/proc/loadavg: 4.28 4.23 4.14 5/340 26203
/proc/meminfo: memFree=113679288/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3600.09 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 44429 0 0 0 359881 128 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 552001 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3595.81 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17888 0 0 0 359552 29 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=-6000919507016181357 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.2898 s

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

[startup+3606.3 s]
/proc/loadavg: 4.28 4.23 4.14 5/340 26203
/proc/meminfo: memFree=113679288/131249992 swapFree=33010672/33010684
[pid=25458] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3600.09 cores=4,6
/proc/25458/stat : 25458 (java) S 25455 25458 24622 0 -1 4194304 44429 0 0 0 359881 128 0 0 20 0 20 0 35422507 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
/proc/25458/statm: 4765878 371853 5500 1 0 552001 0
[pid=25458/tid=25460] ppid=25455 vsize=19063512 memory=1487412 CPUtime=3595.81 cores=4,6
/proc/25458/task/25460/stat : 25460 (java) R 25455 25458 24622 0 -1 4194368 17888 0 0 0 359552 29 0 0 20 0 20 0 35422508 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25469] ppid=25455 vsize=19063512 memory=1487412 CPUtime=0 cores=4,6
/proc/25458/task/25469/stat : 25469 (Finalizer) S 25455 25458 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25476] ppid=25455 vsize=19063512 memory=-6000919507016181357 CPUtime=0 cores=4,6
/proc/25458/task/25476/stat : 25476 (Common-Cleaner) S 25455 25458 24622 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 35422510 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
[pid=25458/tid=25477] ppid=25455 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/25458/task/25477/stat : 25477 (Timer-0) S 25455 25458 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35422524 19521036288 371853 18446744073709551615 94071798452224 94071798455920 140726978953472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94071798463736 94071798464528 94071806554112 140726978959745 140726978959846 140726978959846 140726978965448 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487412 KiB

Child status: 143

Real time (s): 3606.4
CPU time (s): 3600.23
CPU user time (s): 3598.94
CPU system time (s): 1.2898
CPU usage (%): 99.8289
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1487412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.2898
maximum resident set size= 1488436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102788
involuntary context switches= 4403


# summary of solver processes directly reported to runsolver:
#   pid: 25458
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.2898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58681 second user time and 16.5784 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 13:44:40
IDJOB=4510012
IDBENCH=159423
IDSOLVER=3363
FILE ID=nodeC035/4510012-1751197480
RUNJOBID= nodeC035-1751193887-24633
SLURM_JOB_ID= 9587593
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510012-1751197480/watcher-4510012-1751197480 -o /tmp/evaluation-result-4510012-1751197480/solver-4510012-1751197480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24633 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510012-1751197480.opb

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

MD5SUM BENCH= d0c8f70b306f746a2531c5dc399515b9
RANDOM SEED=312128902

nodeC035 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	: 0xb00002a
cpu MHz		: 3599.723
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.699
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.481
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.331
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.779
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.754
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.745
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.026
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122051932 kB
MemAvailable:   124506908 kB
Buffers:            2352 kB
Cached:          3249456 kB
SwapCached:            8 kB
Active:          5617732 kB
Inactive:        2964764 kB
Active(anon):    5342708 kB
Inactive(anon):     6036 kB
Active(file):     275024 kB
Inactive(file):  2958728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               680 kB
Writeback:             0 kB
AnonPages:       5333136 kB
Mapped:           122680 kB
Shmem:             18056 kB
KReclaimable:     120928 kB
Slab:             207724 kB
SReclaimable:     120928 kB
SUnreclaim:        86796 kB
KernelStack:        5184 kB
PageTables:        14040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6879980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5085184 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432928 MiB
End job on nodeC035 at 2025-06-29 14:44:46