Trace number 4509869

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.32 3629.79

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMfdfc61e25e9264eb2f8645fd8f162aaa
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints728
Number of constraints which are clauses728
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4509869-1751194551.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.053s.
0.12/0.19	c declared #vars     273
0.12/0.19	c #constraints  728
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.12/0.19	c 728 constraints processed.
1.05/0.63	c cleaning 2496 clauses out of 5001 with flag 19702/5001
1.65/0.96	c cleaning 4250 clauses out of 8505 with flag 44651/11001
2.23/1.25	c cleaning 5619 clauses out of 11255 with flag 69415/18001
2.63/1.45	c cleaning 6814 clauses out of 13636 with flag 101857/26001
3.02/1.64	c cleaning 7907 clauses out of 15821 with flag 138234/35000
3.42/1.84	c cleaning 8947 clauses out of 17916 with flag 177778/45002
4.03/2.11	c cleaning 9979 clauses out of 19968 with flag 226201/56001
4.61/2.40	c cleaning 10989 clauses out of 21988 with flag 277765/68000
5.16/2.71	c cleaning 11996 clauses out of 23999 with flag 338451/81000
5.46/3.02	c cleaning 12998 clauses out of 26005 with flag 403347/95002
5.76/3.39	c cleaning 13999 clauses out of 28005 with flag 472533/110000
6.16/3.78	c cleaning 14993 clauses out of 30007 with flag 548236/126001
6.59/4.19	c cleaning 15997 clauses out of 32014 with flag 627152/143001
7.11/4.66	c cleaning 16998 clauses out of 34016 with flag 713003/161000
7.65/5.16	c cleaning 18002 clauses out of 36018 with flag 809661/180000
8.15/5.67	c cleaning 19000 clauses out of 38016 with flag 909447/200000
8.75/6.21	c cleaning 19998 clauses out of 40017 with flag 1017090/221001
9.35/6.81	c cleaning 21002 clauses out of 42018 with flag 1127313/243000
9.94/7.44	c cleaning 21998 clauses out of 44016 with flag 1242910/266000
10.55/8.06	c cleaning 23001 clauses out of 46018 with flag 1366394/290000
11.24/8.72	c cleaning 24006 clauses out of 48017 with flag 1496375/315000
11.94/9.42	c cleaning 25001 clauses out of 50011 with flag 1629127/341000
12.64/10.14	c cleaning 26000 clauses out of 52011 with flag 1763159/368001
13.43/10.90	c cleaning 27001 clauses out of 54011 with flag 1891358/396001
14.13/11.69	c cleaning 27996 clauses out of 56010 with flag 2039253/425001
14.93/12.49	c cleaning 28997 clauses out of 58013 with flag 2190656/455000
15.84/13.37	c cleaning 30001 clauses out of 60016 with flag 2344276/486000
16.73/14.21	c cleaning 31002 clauses out of 62016 with flag 2496273/518001
17.54/15.02	c cleaning 31999 clauses out of 64013 with flag 2656516/551000
18.43/15.94	c cleaning 33000 clauses out of 66014 with flag 2830561/585000
19.75/17.22	c cleaning 33998 clauses out of 68014 with flag 3005372/620000
20.84/18.36	c cleaning 35001 clauses out of 70017 with flag 3188633/656001
21.84/19.37	c cleaning 35998 clauses out of 72016 with flag 3370310/693001
22.84/20.34	c cleaning 37004 clauses out of 74017 with flag 3575545/731000
23.85/21.37	c cleaning 37997 clauses out of 76013 with flag 3775573/770000
24.95/22.47	c cleaning 38997 clauses out of 78016 with flag 3966898/810000
26.45/23.91	c cleaning 40000 clauses out of 80019 with flag 4168480/851000
28.16/25.63	c cleaning 40998 clauses out of 82019 with flag 4373108/893000
29.36/26.87	c cleaning 42005 clauses out of 84021 with flag 4599905/936000
30.56/28.05	c cleaning 43003 clauses out of 86017 with flag 4835492/980001
31.95/29.42	c cleaning 44000 clauses out of 88013 with flag 5074462/1025000
33.59/31.30	c cleaning 44998 clauses out of 90013 with flag 5309027/1071000
34.88/32.62	c cleaning 45999 clauses out of 92015 with flag 5554608/1118000
36.28/34.05	c cleaning 47004 clauses out of 94017 with flag 5802250/1166001
38.00/35.77	c cleaning 48000 clauses out of 96012 with flag 6082767/1215000
39.40/37.16	c cleaning 49000 clauses out of 98012 with flag 6341929/1265000
40.91/38.63	c cleaning 49998 clauses out of 100013 with flag 6605081/1316001
42.51/40.20	c cleaning 51006 clauses out of 102016 with flag 6878850/1368002
44.20/41.92	c cleaning 51996 clauses out of 104009 with flag 7138760/1421001
46.12/43.84	c cleaning 53002 clauses out of 106013 with flag 7420335/1475001
48.71/46.41	c cleaning 53998 clauses out of 108010 with flag 7715453/1530000
50.41/48.11	c cleaning 54998 clauses out of 110012 with flag 8008931/1586000
52.01/49.78	c cleaning 56001 clauses out of 112015 with flag 8291520/1643001
53.91/51.60	c cleaning 57003 clauses out of 114014 with flag 8593846/1701001
55.83/53.54	c cleaning 58000 clauses out of 116011 with flag 8889574/1760001
57.82/55.52	c cleaning 58995 clauses out of 118011 with flag 9181227/1820001
59.94/57.61	c cleaning 60004 clauses out of 120015 with flag 9486657/1881000
62.14/59.85	c cleaning 60994 clauses out of 122011 with flag 9827458/1943000
64.50/62.41	c cleaning 62005 clauses out of 124017 with flag 10172855/2006000
66.51/64.43	c cleaning 62997 clauses out of 126012 with flag 10484999/2070000
69.00/66.93	c cleaning 63997 clauses out of 128015 with flag 10779073/2135000
71.41/69.37	c cleaning 65002 clauses out of 130018 with flag 11099303/2201000
74.22/72.14	c cleaning 65995 clauses out of 132016 with flag 11468552/2268000
77.31/75.24	c cleaning 67001 clauses out of 134021 with flag 11828582/2336000
79.82/77.74	c cleaning 68002 clauses out of 136020 with flag 12198071/2405000
82.32/80.20	c cleaning 69002 clauses out of 138018 with flag 12565465/2475000
85.02/82.92	c cleaning 69997 clauses out of 140016 with flag 12925918/2546000
87.33/85.22	c cleaning 71000 clauses out of 142020 with flag 13294625/2618001
89.92/87.81	c cleaning 72002 clauses out of 144019 with flag 13677795/2691000
92.63/90.53	c cleaning 73002 clauses out of 146018 with flag 14045809/2765001
95.10/93.24	c cleaning 73999 clauses out of 148015 with flag 14414299/2840000
97.81/95.94	c cleaning 75002 clauses out of 150016 with flag 14782377/2916000
100.44/98.52	c cleaning 75998 clauses out of 152015 with flag 15174106/2993001
103.33/101.45	c cleaning 76998 clauses out of 154016 with flag 15545142/3071000
106.45/104.59	c cleaning 78002 clauses out of 156019 with flag 15943873/3150001
109.85/107.90	c cleaning 79000 clauses out of 158016 with flag 16337851/3230000
112.97/111.02	c cleaning 80005 clauses out of 160017 with flag 16750537/3311001
116.75/114.83	c cleaning 81000 clauses out of 162011 with flag 17185292/3393000
119.67/117.75	c cleaning 81999 clauses out of 164011 with flag 17608566/3476000
122.89/120.97	c cleaning 82999 clauses out of 166012 with flag 17999845/3560000
126.39/124.60	c cleaning 83998 clauses out of 168013 with flag 18436262/3645000
129.54/127.74	c cleaning 84999 clauses out of 170015 with flag 18871244/3731000
133.07/131.25	c cleaning 86001 clauses out of 172017 with flag 19312420/3818001
136.26/134.47	c cleaning 86998 clauses out of 174016 with flag 19753501/3906001
140.31/138.49	c cleaning 88002 clauses out of 176018 with flag 20192485/3995001
143.95/142.09	c cleaning 89003 clauses out of 178016 with flag 20661531/4085001
147.64/145.71	c cleaning 90000 clauses out of 180013 with flag 21116953/4176001
151.87/149.91	c cleaning 90994 clauses out of 182013 with flag 21491574/4268001
155.61/153.68	c cleaning 92001 clauses out of 184019 with flag 21924551/4361001
159.21/157.49	c cleaning 93003 clauses out of 186018 with flag 22360294/4455001
163.15/161.38	c cleaning 93999 clauses out of 188014 with flag 22824250/4550000
167.38/165.55	c cleaning 94998 clauses out of 190015 with flag 23326661/4646000
171.07/169.25	c cleaning 96002 clauses out of 192017 with flag 23817028/4743000
174.90/173.02	c cleaning 96997 clauses out of 194016 with flag 24293100/4841001
179.93/178.06	c cleaning 97999 clauses out of 196019 with flag 24756235/4940001
184.48/182.53	c cleaning 99005 clauses out of 198019 with flag 25261281/5040000
189.08/187.39	c cleaning 100004 clauses out of 200014 with flag 25860302/5141000
193.64/191.89	c cleaning 100998 clauses out of 202011 with flag 26352621/5243001
198.29/196.41	c cleaning 101995 clauses out of 204012 with flag 26872273/5346000
202.84/200.90	c cleaning 103002 clauses out of 206017 with flag 27397274/5450000
207.78/205.82	c cleaning 104000 clauses out of 208016 with flag 27896665/5555001
212.27/210.33	c cleaning 105003 clauses out of 210015 with flag 28427262/5661000
217.62/215.85	c cleaning 105998 clauses out of 212013 with flag 28978578/5768001
224.34/222.54	c cleaning 107000 clauses out of 214014 with flag 29557275/5876000
231.59/229.78	c cleaning 107997 clauses out of 216015 with flag 30176454/5985001
237.37/235.51	c cleaning 109002 clauses out of 218017 with flag 30760360/6095000
242.03/240.10	c cleaning 109995 clauses out of 220016 with flag 31304696/6206001
248.01/246.29	c cleaning 111003 clauses out of 222022 with flag 31836521/6318002
252.65/250.86	c cleaning 112000 clauses out of 224017 with flag 32428829/6431000
257.70/255.85	c cleaning 112998 clauses out of 226018 with flag 33019603/6545001
264.23/262.30	c cleaning 114001 clauses out of 228020 with flag 33607676/6660001
269.02/267.17	c cleaning 114998 clauses out of 230019 with flag 34160532/6776001
274.82/272.99	c cleaning 116001 clauses out of 232020 with flag 34787512/6893000
279.68/277.94	c cleaning 116998 clauses out of 234019 with flag 35424553/7011000
285.11/283.33	c cleaning 118003 clauses out of 236021 with flag 36035305/7130000
290.05/288.20	c cleaning 119002 clauses out of 238018 with flag 36626291/7250000
295.19/293.33	c cleaning 120003 clauses out of 240017 with flag 37183077/7371001
301.13/299.29	c cleaning 120993 clauses out of 242013 with flag 37774977/7493000
306.99/305.06	c cleaning 122001 clauses out of 244021 with flag 38405422/7616001
313.93/312.13	c cleaning 123002 clauses out of 246020 with flag 39108987/7740001
320.37/318.59	c cleaning 124003 clauses out of 248017 with flag 39755088/7865000
326.20/324.38	c cleaning 125000 clauses out of 250015 with flag 40389203/7991001
334.45/332.51	c cleaning 126000 clauses out of 252015 with flag 40962540/8118001
340.74/338.93	c cleaning 127003 clauses out of 254015 with flag 41573925/8246001
348.49/346.68	c cleaning 127998 clauses out of 256011 with flag 42255677/8375000
357.52/355.65	c cleaning 129000 clauses out of 258014 with flag 42904940/8505001
364.71/362.86	c cleaning 129998 clauses out of 260014 with flag 43532976/8636001
373.35/371.58	c cleaning 130997 clauses out of 262015 with flag 44232626/8768000
381.00/379.13	c cleaning 132004 clauses out of 264019 with flag 44939678/8901001
386.94/385.02	c cleaning 133000 clauses out of 266014 with flag 45617933/9035000
392.86/390.97	c cleaning 133999 clauses out of 268015 with flag 46295853/9170001
401.84/400.02	c cleaning 134998 clauses out of 270015 with flag 47014466/9306000
410.58/408.71	c cleaning 136000 clauses out of 272017 with flag 47731633/9443000
417.63/415.70	c cleaning 136999 clauses out of 274018 with flag 48422031/9581001
426.97/425.02	c cleaning 138004 clauses out of 276019 with flag 49120675/9720001
434.12/432.36	c cleaning 139000 clauses out of 278014 with flag 49819542/9860000
441.83/440.03	c cleaning 140001 clauses out of 280014 with flag 50470864/10001000
449.31/447.58	c cleaning 140997 clauses out of 282013 with flag 51166306/10143000
457.10/455.27	c cleaning 142002 clauses out of 284016 with flag 51799692/10286000
463.77/462.02	c cleaning 143000 clauses out of 286014 with flag 52493765/10430000
471.16/469.42	c cleaning 143998 clauses out of 288015 with flag 53179472/10575001
478.68/476.96	c cleaning 144999 clauses out of 290016 with flag 53842863/10721000
489.79/488.03	c cleaning 146002 clauses out of 292018 with flag 54534255/10868001
498.84/497.18	c cleaning 147002 clauses out of 294016 with flag 55219548/11016001
508.87/506.98	c cleaning 148001 clauses out of 296013 with flag 55890256/11165000
515.48/513.57	c cleaning 149001 clauses out of 298012 with flag 56601318/11315000
522.76/520.87	c cleaning 149995 clauses out of 300011 with flag 57333745/11466000
530.20/528.41	c cleaning 150997 clauses out of 302016 with flag 58066060/11618000
538.01/536.24	c cleaning 152004 clauses out of 304019 with flag 58688062/11771000
544.63/542.89	c cleaning 152998 clauses out of 306015 with flag 59353731/11925000
551.75/549.94	c cleaning 153997 clauses out of 308018 with flag 60027565/12080001
560.00/558.33	c cleaning 155002 clauses out of 310021 with flag 60745594/12236001
567.22/565.56	c cleaning 155997 clauses out of 312018 with flag 61510336/12393000
575.96/574.26	c cleaning 157003 clauses out of 314022 with flag 62293901/12551001
584.08/582.35	c cleaning 158001 clauses out of 316018 with flag 63077936/12710000
594.33/592.73	c cleaning 159000 clauses out of 318017 with flag 63849440/12870000
602.65/600.98	c cleaning 160001 clauses out of 320018 with flag 64603509/13031001
610.79/609.02	c cleaning 160999 clauses out of 322017 with flag 65345263/13193001
619.05/618.11	c cleaning 162000 clauses out of 324017 with flag 66081888/13356000
626.46/625.58	c cleaning 163001 clauses out of 326018 with flag 66848897/13520001
635.77/634.80	c cleaning 164002 clauses out of 328017 with flag 67609792/13685001
643.39/642.41	c cleaning 165001 clauses out of 330015 with flag 68360671/13851001
653.09/652.30	c cleaning 166000 clauses out of 332013 with flag 69094108/14018000
662.33/661.56	c cleaning 166999 clauses out of 334015 with flag 69874699/14186002
671.34/670.54	c cleaning 167998 clauses out of 336014 with flag 70715469/14355000
681.34/680.74	c cleaning 169002 clauses out of 338016 with flag 71493930/14525000
689.66/689.04	c cleaning 169998 clauses out of 340014 with flag 72289971/14696000
699.61/698.96	c cleaning 170998 clauses out of 342016 with flag 72992568/14868000
708.35/707.80	c cleaning 172002 clauses out of 344019 with flag 73801058/15041001
717.58/717.08	c cleaning 172999 clauses out of 346017 with flag 74615533/15215001
728.68/728.16	c cleaning 174000 clauses out of 348017 with flag 75455065/15390000
738.12/737.76	c cleaning 175002 clauses out of 350017 with flag 76339454/15566000
748.54/748.11	c cleaning 176005 clauses out of 352016 with flag 77200745/15743001
758.64/758.27	c cleaning 176998 clauses out of 354011 with flag 78076298/15921001
768.67/768.42	c cleaning 178003 clauses out of 356014 with flag 78938733/16100002
777.82/777.57	c cleaning 178996 clauses out of 358010 with flag 79810510/16280001
787.63/787.31	c cleaning 179996 clauses out of 360014 with flag 80695847/16461001
797.24/796.93	c cleaning 180999 clauses out of 362018 with flag 81580421/16643001
811.47/811.36	c cleaning 182003 clauses out of 364019 with flag 82496550/16826001
820.91/820.78	c cleaning 183002 clauses out of 366016 with flag 83389555/17010001
831.25/831.21	c cleaning 183996 clauses out of 368013 with flag 84309058/17195000
842.13/842.03	c cleaning 185002 clauses out of 370017 with flag 85254924/17381000
852.66/852.52	c cleaning 186002 clauses out of 372016 with flag 86213738/17568001
862.50/862.60	c cleaning 186997 clauses out of 374014 with flag 87121389/17756001
877.07/877.04	c cleaning 187995 clauses out of 376016 with flag 87895879/17945000
888.60/888.55	c cleaning 189004 clauses out of 378021 with flag 88750486/18135000
898.85/898.97	c cleaning 190006 clauses out of 380017 with flag 89544309/18326000
908.80/908.83	c cleaning 190999 clauses out of 382011 with flag 90395005/18518000
920.02/920.02	c cleaning 191997 clauses out of 384012 with flag 91317465/18711000
930.13/930.36	c cleaning 192998 clauses out of 386015 with flag 92189253/18905000
941.27/941.46	c cleaning 194001 clauses out of 388017 with flag 93088757/19100000
955.68/956.09	c cleaning 195001 clauses out of 390016 with flag 93982535/19296000
968.94/969.24	c cleaning 195998 clauses out of 392015 with flag 94961533/19493000
978.96/979.25	c cleaning 196998 clauses out of 394017 with flag 95874585/19691000
990.19/990.63	c cleaning 198000 clauses out of 396020 with flag 96841609/19890001
1004.09/1004.51	c cleaning 199000 clauses out of 398020 with flag 97799589/20090001
1015.23/1015.81	c cleaning 199999 clauses out of 400020 with flag 98765510/20291001
1026.27/1026.81	c cleaning 201003 clauses out of 402021 with flag 99688336/20493001
1037.65/1038.22	c cleaning 202004 clauses out of 404019 with flag 100606867/20696002
1050.43/1051.26	c cleaning 202998 clauses out of 406014 with flag 101695899/20900001
1062.95/1063.79	c cleaning 204004 clauses out of 408016 with flag 102691485/21105001
1073.20/1073.95	c cleaning 204998 clauses out of 410012 with flag 103570084/21311001
1085.43/1086.33	c cleaning 205999 clauses out of 412013 with flag 104570470/21518000
1099.74/1100.62	c cleaning 206997 clauses out of 414015 with flag 105587064/21726001
1116.60/1117.69	c cleaning 207998 clauses out of 416018 with flag 106638176/21935001
1128.30/1129.22	c cleaning 208998 clauses out of 418019 with flag 107540273/22145000
1148.93/1150.03	c cleaning 210002 clauses out of 420021 with flag 108394505/22356000
1160.23/1161.36	c cleaning 211000 clauses out of 422020 with flag 109382182/22568001
1173.95/1175.23	c cleaning 212003 clauses out of 424020 with flag 110376080/22781001
1185.82/1187.02	c cleaning 212997 clauses out of 426016 with flag 111398001/22995000
1206.23/1207.62	c cleaning 214000 clauses out of 428019 with flag 112439006/23210000
1221.39/1222.74	c cleaning 215004 clauses out of 430021 with flag 113446569/23426002
1234.28/1235.70	c cleaning 215995 clauses out of 432015 with flag 114467283/23643000
1249.43/1250.85	c cleaning 217002 clauses out of 434021 with flag 115538617/23861001
1263.58/1264.82	c cleaning 218002 clauses out of 436020 with flag 116545581/24080002
1277.23/1278.43	c cleaning 219005 clauses out of 438017 with flag 117593641/24300001
1294.18/1295.59	c cleaning 220001 clauses out of 440011 with flag 118678898/24521000
1311.01/1312.34	c cleaning 220993 clauses out of 442011 with flag 119808522/24743001
1334.03/1335.51	c cleaning 222000 clauses out of 444018 with flag 120988995/24966001
1357.26/1358.96	c cleaning 222996 clauses out of 446018 with flag 122198543/25190001
1380.82/1382.48	c cleaning 223994 clauses out of 448021 with flag 123380263/25415000
1402.20/1404.28	c cleaning 224997 clauses out of 450028 with flag 124579462/25641001
1423.79/1425.91	c cleaning 226000 clauses out of 452030 with flag 125792312/25868000
1450.41/1452.62	c cleaning 227003 clauses out of 454030 with flag 126990772/26096000
1475.84/1478.17	c cleaning 227999 clauses out of 456027 with flag 128171967/26325000
1500.33/1502.66	c cleaning 228998 clauses out of 458029 with flag 129383319/26555001
1525.00/1527.42	c cleaning 230000 clauses out of 460031 with flag 130605833/26786001
1540.18/1542.77	c cleaning 231006 clauses out of 462030 with flag 131801632/27018000
1560.37/1562.90	c cleaning 232001 clauses out of 464025 with flag 132978108/27251001
1577.48/1580.38	c cleaning 233001 clauses out of 466023 with flag 134152601/27485000
1594.46/1597.20	c cleaning 234000 clauses out of 468022 with flag 135323754/27720000
1613.72/1616.68	c cleaning 235001 clauses out of 470022 with flag 136538410/27956000
1633.60/1636.69	c cleaning 236004 clauses out of 472022 with flag 137748487/28193001
1652.74/1655.70	c cleaning 236998 clauses out of 474018 with flag 138947058/28431001
1671.76/1674.88	c cleaning 237999 clauses out of 476019 with flag 140151257/28670000
1692.08/1695.22	c cleaning 238997 clauses out of 478021 with flag 141362575/28910001
1714.85/1717.99	c cleaning 239997 clauses out of 480024 with flag 142576220/29151001
1732.40/1735.55	c cleaning 240998 clauses out of 482026 with flag 143795531/29393000
1752.03/1755.23	c cleaning 242001 clauses out of 484028 with flag 145020699/29636000
1770.04/1773.28	c cleaning 243000 clauses out of 486028 with flag 146251163/29880001
1788.61/1795.24	c cleaning 244004 clauses out of 488028 with flag 147482738/30125001
1804.81/1811.33	c cleaning 245006 clauses out of 490023 with flag 148715034/30371000
1824.17/1846.33	c cleaning 246003 clauses out of 492018 with flag 149780233/30618001
1846.84/1869.10	c cleaning 246995 clauses out of 494014 with flag 150782296/30866000
1863.12/1885.38	c cleaning 248002 clauses out of 496020 with flag 151932696/31115001
1879.75/1902.18	c cleaning 249001 clauses out of 498017 with flag 153102438/31365000
1896.27/1918.65	c cleaning 249996 clauses out of 500016 with flag 154314580/31616000
1912.64/1935.62	c cleaning 251006 clauses out of 502020 with flag 155451675/31868000
1929.42/1952.38	c cleaning 252001 clauses out of 504014 with flag 156642244/32121000
1946.94/1970.19	c cleaning 253000 clauses out of 506014 with flag 157833997/32375001
1963.05/1986.21	c cleaning 253997 clauses out of 508014 with flag 159007064/32630001
1979.43/2002.77	c cleaning 255000 clauses out of 510016 with flag 160265180/32886000
1998.27/2021.76	c cleaning 256000 clauses out of 512016 with flag 161455277/33143000
2015.35/2038.75	c cleaning 256998 clauses out of 514016 with flag 162695731/33401000
2033.11/2056.70	c cleaning 258003 clauses out of 516018 with flag 163877658/33660000
2050.14/2073.76	c cleaning 258998 clauses out of 518016 with flag 165064022/33920001
2067.98/2091.60	c cleaning 260003 clauses out of 520018 with flag 166310099/34181001
2087.01/2110.77	c cleaning 261001 clauses out of 522014 with flag 167499388/34443000
2107.56/2131.29	c cleaning 262001 clauses out of 524013 with flag 168759645/34706000
2127.56/2151.53	c cleaning 263002 clauses out of 526013 with flag 170003507/34970001
2145.07/2169.09	c cleaning 263996 clauses out of 528012 with flag 171195405/35235002
2164.07/2189.99	c cleaning 264998 clauses out of 530014 with flag 172363062/35501000
2181.64/2207.68	c cleaning 265998 clauses out of 532017 with flag 173558520/35768001
2198.79/2224.73	c cleaning 267002 clauses out of 534019 with flag 174846260/36036001
2217.02/2243.02	c cleaning 268003 clauses out of 536017 with flag 176078857/36305001
2236.77/2262.75	c cleaning 269002 clauses out of 538013 with flag 177312021/36575000
2254.36/2280.48	c cleaning 270002 clauses out of 540011 with flag 178631787/36846000
2274.31/2300.54	c cleaning 270997 clauses out of 542009 with flag 179891357/37118000
2296.82/2323.03	c cleaning 272002 clauses out of 544014 with flag 181142595/37391002
2316.51/2342.89	c cleaning 273001 clauses out of 546010 with flag 182396002/37665000
2335.25/2361.65	c cleaning 273996 clauses out of 548010 with flag 183740704/37940001
2363.87/2390.32	c cleaning 274998 clauses out of 550014 with flag 185156354/38216001
2396.00/2422.51	c cleaning 275995 clauses out of 552016 with flag 186577706/38493001
2417.68/2444.12	c cleaning 277004 clauses out of 554021 with flag 187829027/38771001
2436.58/2463.33	c cleaning 277999 clauses out of 556017 with flag 189062589/39050001
2457.43/2484.38	c cleaning 279002 clauses out of 558017 with flag 190332271/39330000
2479.44/2506.35	c cleaning 280001 clauses out of 560015 with flag 191563574/39611000
2501.34/2528.37	c cleaning 280998 clauses out of 562014 with flag 192835946/39893000
2520.86/2548.00	c cleaning 281997 clauses out of 564016 with flag 194079700/40176000
2540.88/2567.94	c cleaning 283010 clauses out of 566020 with flag 195370183/40460001
2562.68/2589.85	c cleaning 283999 clauses out of 568009 with flag 196659824/40745000
2584.93/2612.34	c cleaning 285000 clauses out of 570011 with flag 197981574/41031001
2607.61/2635.02	c cleaning 285996 clauses out of 572010 with flag 199287985/41318000
2629.67/2657.02	c cleaning 287006 clauses out of 574015 with flag 200622077/41606001
2650.50/2677.94	c cleaning 287999 clauses out of 576009 with flag 202044139/41895001
2673.92/2701.41	c cleaning 288999 clauses out of 578010 with flag 203436706/42185001
2697.65/2725.25	c cleaning 289996 clauses out of 580010 with flag 204722739/42476000
2718.78/2746.34	c cleaning 290998 clauses out of 582014 with flag 206030451/42768000
2741.51/2769.10	c cleaning 292002 clauses out of 584017 with flag 207396137/43061001
2762.55/2790.22	c cleaning 293004 clauses out of 586015 with flag 208781155/43355001
2790.58/2818.37	c cleaning 293998 clauses out of 588011 with flag 210225103/43650001
2811.55/2839.22	c cleaning 294996 clauses out of 590012 with flag 211538097/43946000
2833.31/2861.07	c cleaning 296001 clauses out of 592016 with flag 212874764/44243000
2857.35/2884.88	c cleaning 297001 clauses out of 594015 with flag 214239243/44541000
2881.44/2909.57	c cleaning 298000 clauses out of 596014 with flag 215644222/44840000
2903.87/2932.00	c cleaning 299001 clauses out of 598015 with flag 216994209/45140001
2928.91/2957.10	c cleaning 300001 clauses out of 600014 with flag 218342884/45441001
2950.35/2978.55	c cleaning 300996 clauses out of 602012 with flag 219817862/45743000
2974.82/3003.15	c cleaning 302000 clauses out of 604016 with flag 221308977/46046000
2998.42/3026.75	c cleaning 303000 clauses out of 606017 with flag 222731105/46350001
3022.09/3050.55	c cleaning 304003 clauses out of 608016 with flag 224116348/46655000
3046.07/3074.67	c cleaning 304997 clauses out of 610014 with flag 225479942/46961001
3072.75/3101.39	c cleaning 306001 clauses out of 612017 with flag 226889325/47268001
3093.51/3122.02	c cleaning 306997 clauses out of 614016 with flag 228323281/47576001
3118.26/3146.81	c cleaning 308003 clauses out of 616019 with flag 229763381/47885001
3143.48/3172.18	c cleaning 309002 clauses out of 618015 with flag 231198973/48195000
3168.97/3197.71	c cleaning 309994 clauses out of 620013 with flag 232636855/48506000
3193.00/3221.86	c cleaning 311000 clauses out of 622019 with flag 234174686/48818000
3219.61/3248.46	c cleaning 312003 clauses out of 624020 with flag 235593798/49131001
3245.15/3273.95	c cleaning 313004 clauses out of 626016 with flag 236984434/49445000
3270.99/3299.81	c cleaning 314000 clauses out of 628012 with flag 238369915/49760000
3296.01/3324.91	c cleaning 314999 clauses out of 630012 with flag 239782972/50076000
3323.83/3352.88	c cleaning 315999 clauses out of 632014 with flag 241212412/50393001
3347.75/3376.73	c cleaning 316998 clauses out of 634014 with flag 242727482/50711000
3373.41/3402.40	c cleaning 317994 clauses out of 636016 with flag 244225542/51030000
3397.85/3426.80	c cleaning 319008 clauses out of 638023 with flag 245717221/51350001
3421.32/3450.63	c cleaning 320002 clauses out of 640016 with flag 247181572/51671002
3448.46/3477.96	c cleaning 320999 clauses out of 642013 with flag 248643636/51993001
3474.89/3504.46	c cleaning 322001 clauses out of 644013 with flag 250127205/52316000
3503.94/3533.46	c cleaning 323000 clauses out of 646012 with flag 251496080/52640000
3530.59/3560.19	c cleaning 323998 clauses out of 648012 with flag 252990109/52965000
3553.81/3583.39	c cleaning 325002 clauses out of 650015 with flag 254405268/53291001
3582.39/3611.95	c cleaning 326003 clauses out of 652012 with flag 255915936/53618000
3600.06/3629.61	c starts		: 57343
3600.06/3629.63	c conflicts		: 53946000
3600.06/3629.63	c decisions		: 71090179
3600.06/3629.63	c propagations		: 351147572
3600.06/3629.63	c inspects		: 29794575012
3600.06/3629.63	c shortcuts		: 0
3600.06/3629.63	c learnt literals	: 0
3600.06/3629.63	c learnt binary clauses	: 0
3600.06/3629.63	c learnt ternary clauses	: 8
3600.06/3629.63	c learnt constraints	: 53946000
3600.06/3629.63	c ignored constraints	: 0
3600.06/3629.63	c root simplifications	: 0
3600.06/3629.63	c removed literals (reason simplification)	: 38132271
3600.06/3629.63	c reason swapping (by a shorter reason)	: 0
3600.06/3629.63	c Calls to reduceDB	: 324
3600.06/3629.63	c Number of update (reduction) of LBD	: 5271587
3600.06/3629.63	c Imported unit clauses	: 0
3600.06/3629.63	c No decision after first conflict	: false
3600.06/3629.63	c number of reductions to clauses (during analyze)	: 0
3600.06/3629.63	c number of learned constraints concerned by reduction	: 0
3600.06/3629.63	c number of learning phase by resolution	: 0
3600.06/3629.63	c number of learning phase by cutting planes	: 0
3600.06/3629.63	c number of rounding to 1 operations	: 0
3600.06/3629.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3629.63	c number of reductions of the coefficients by power 2 	: 0
3600.06/3629.63	c number of right shift for reduction by power 2 	: 0
3600.06/3629.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3629.63	c number of ending skipping 	: 0
3600.06/3629.63	c number of internal skipping 	: 0
3600.06/3629.63	c number of derivation steps 	: 0
3600.06/3629.63	c number of skipped derivation steps 	: 0
3600.06/3629.63	c number of remaining unassigned 	: 0
3600.06/3629.63	c number of remaining assigned 	: 0
3600.06/3629.63	c number of falsified literals weakened from reason	: 0
3600.06/3629.64	c number of falsified literals weakened from conflict	: 0
3600.06/3629.64	c time for arithmetic operations	: 0
3600.06/3629.64	c minimum degree of deleted constraints	: null
3600.06/3629.64	c maximum degree of deleted constraints	: null
3600.06/3629.64	c number of deleted constraints	: 0
3600.06/3629.64	c speed (assignments/second)	: 96749.76725065926
3600.06/3629.64	c non guided choices	: 84015
3600.27/3629.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 654009
3600.27/3629.71	s UNKNOWN
3600.27/3629.71	c Total wall clock time (in seconds): 3629.579

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: 63665 MiB (54407 MiB free)
  memory of node 1: 64507 MiB (48926 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=25512, runsolver pid=25509
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.13 4.17 4.13 5/342 25530
/proc/meminfo: memFree=105786312/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=18930384 memory=55524 CPUtime=0.12 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 6545 0 0 0 11 1 0 0 20 0 18 0 35132818 19384713216 13881 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4732596 13881 5336 1 0 547602 0
[pid=25512/tid=25514] ppid=25509 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 5054 0 0 0 7 0 0 0 20 0 18 0 35132820 19384713216 13881 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=18930384 memory=224227754321 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35132822 19384713216 13881 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=18930384 memory=59585004335488 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35132822 19384713216 13881 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55524 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.13 4.17 4.13 7/343 25531
/proc/meminfo: memFree=105826820/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=18996948 memory=62128 CPUtime=0.3 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 7063 0 0 0 28 2 0 0 20 0 19 0 35132818 19452874752 15532 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4749237 15532 5432 1 0 548234 0
[pid=25512/tid=25514] ppid=25509 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 5331 0 0 0 15 1 0 0 20 0 19 0 35132820 19452874752 15532 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=18996948 memory=16195 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 15532 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=18996948 memory=58485492679654 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 15532 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35132838 19452874752 15532 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62128 KiB

[startup+0.305786 s]*
/proc/loadavg: 4.13 4.17 4.13 8/343 25531
/proc/meminfo: memFree=105816236/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=18996948 memory=74324 CPUtime=0.49 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 9505 0 0 0 47 2 0 0 20 0 19 0 35132818 19452874752 18581 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4749237 18581 5432 1 0 549744 0
[pid=25512/tid=25514] ppid=25509 vsize=18996948 memory=-6000919468495431533 CPUtime=0.23 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 5353 0 0 0 22 1 0 0 20 0 19 0 35132820 19452874752 18581 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 18581 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 18581 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35132838 19452874752 18581 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74324 KiB

[startup+0.700234 s]
/proc/loadavg: 4.13 4.17 4.13 6/343 25531
/proc/meminfo: memFree=105775404/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=18996948 memory=152644 CPUtime=1.25 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 14698 0 0 0 120 5 0 0 20 0 19 0 35132818 19452874752 38161 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4749237 38161 5432 1 0 553279 0
[pid=25512/tid=25514] ppid=25509 vsize=18996948 memory=17280 CPUtime=0.6 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 5430 0 0 0 57 3 0 0 20 0 19 0 35132820 19452874752 38161 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 38161 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35132822 19452874752 38161 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35132838 19452874752 38161 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152644 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.17 4.13 6/344 25532
/proc/meminfo: memFree=105707272/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=175744 CPUtime=2.82 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 21437 0 0 0 275 7 0 0 20 0 20 0 35132818 19521036288 43936 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 43936 5464 1 0 553903 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 5967 0 0 0 132 4 0 0 20 0 20 0 35132820 19521036288 43936 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 43936 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 43936 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 43936 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175744 KiB

[startup+3.10562 s]
/proc/loadavg: 4.20 4.18 4.13 5/344 25532
/proc/meminfo: memFree=105371508/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=504316 CPUtime=5.56 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 23210 0 0 0 540 16 0 0 20 0 20 0 35132818 19521036288 126079 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 126079 5464 1 0 553911 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=10752 CPUtime=2.94 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 6740 0 0 0 282 12 0 0 20 0 20 0 35132820 19521036288 126079 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=-6000919468495431533 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 126079 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 126079 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 126079 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 504316 KiB

[startup+6.3002 s]
/proc/loadavg: 4.20 4.18 4.13 5/344 25532
/proc/meminfo: memFree=104594436/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=1189508 CPUtime=8.84 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 24453 0 0 0 851 33 0 0 20 0 20 0 35132818 19521036288 297377 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 297377 5464 1 0 553912 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 7351 0 0 0 583 29 0 0 20 0 20 0 35132820 19521036288 297377 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 297377 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 297377 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=177960 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 297377 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 8.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1189508 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.20 4.14 5/344 25532
/proc/meminfo: memFree=104362780/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=1308300 CPUtime=15.23 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 25468 0 0 0 1480 43 0 0 20 0 20 0 35132818 19521036288 327075 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 327075 5464 1 0 553912 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=177960 CPUtime=12.48 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 8265 0 0 0 1209 39 0 0 20 0 20 0 35132820 19521036288 327075 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=1308300 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 327075 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 327075 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 327075 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.20 4.14 6/344 25532
/proc/meminfo: memFree=104188640/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=1326880 CPUtime=28.06 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 30625 0 0 0 2745 61 0 0 20 0 20 0 35132818 19521036288 331720 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 331720 5496 1 0 553912 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=1308300 CPUtime=25.19 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 9710 0 0 0 2463 56 0 0 20 0 20 0 35132820 19521036288 331720 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 331720 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=-6000919468495431533 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 331720 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 331720 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 28.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326880 KiB

[startup+51.106 s]
/proc/loadavg: 4.18 4.19 4.13 5/345 25533
/proc/meminfo: memFree=103824708/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=1330984 CPUtime=53.42 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 33445 0 0 0 5247 95 0 0 20 0 20 0 35132818 19521036288 332746 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/343 25912
/proc/meminfo: memFree=99546268/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3253.46 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 106412 0 0 0 323203 2143 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2166560 CPUtime=3216.18 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 45980 0 0 0 319579 2039 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1415 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3253.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/344 25916
/proc/meminfo: memFree=99149108/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3313.35 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 107378 0 0 0 329162 2173 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2166560 CPUtime=3275.61 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 46765 0 0 0 325493 2068 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1503 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3313.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/344 25918
/proc/meminfo: memFree=98778044/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3373.31 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 108034 0 0 0 335130 2201 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3335.01 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 47175 0 0 0 331407 2094 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3373.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/346 25922
/proc/meminfo: memFree=98373328/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3432.89 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 108082 0 0 0 341051 2238 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3394.11 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 47189 0 0 0 337281 2130 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1576 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3432.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/346 25924
/proc/meminfo: memFree=97990328/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3492.85 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 108808 0 0 0 347016 2269 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3453.56 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 47802 0 0 0 343196 2160 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1576 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3492.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/346 25926
/proc/meminfo: memFree=97593568/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3552.81 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 109855 0 0 0 352984 2297 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3513.16 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 48617 0 0 0 349129 2187 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1636 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3552.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.6 s]
/proc/loadavg: 4.21 4.14 4.10 5/346 25927
/proc/meminfo: memFree=97316032/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19063512 memory=2167712 CPUtime=3600.06 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 110484 0 0 0 357683 2323 0 0 20 0 20 0 35132818 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4765878 541928 5496 1 0 555540 0
[pid=25512/tid=25514] ppid=25509 vsize=19063512 memory=5760 CPUtime=3559.9 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 49030 0 0 0 353778 2212 0 0 20 0 20 0 35132820 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 20 0 35132822 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25531] ppid=25509 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/25512/task/25531/stat : 25531 (Timer-0) S 25509 25512 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35132838 19521036288 541928 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.07 s, system=23.2539 s

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

[startup+3629.71 s]
/proc/loadavg: 4.21 4.14 4.10 5/346 25927
/proc/meminfo: memFree=97316032/131249996 swapFree=33010684/33010684
[pid=25512] ppid=25509 vsize=19263204 memory=2168480 CPUtime=3600.27 cores=0,2
/proc/25512/stat : 25512 (java) S 25509 25512 24970 0 -1 4194304 112389 0 0 0 357703 2324 0 0 20 0 21 0 35132818 19725520896 542120 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
/proc/25512/statm: 4815801 542120 5528 1 0 556443 0
[pid=25512/tid=25514] ppid=25509 vsize=19263204 memory=2167712 CPUtime=3560.01 cores=0,2
/proc/25512/task/25514/stat : 25514 (java) R 25509 25512 24970 0 -1 4194368 49030 0 0 0 353789 2212 0 0 20 0 21 0 35132820 19725520896 542120 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25523] ppid=25509 vsize=19263204 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25523/stat : 25523 (Finalizer) S 25509 25512 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35132822 19725520896 542120 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
[pid=25512/tid=25530] ppid=25509 vsize=19263204 memory=2167712 CPUtime=0 cores=0,2
/proc/25512/task/25530/stat : 25530 (Common-Cleaner) S 25509 25512 24970 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 21 0 35132822 19725520896 542120 18446744073709551615 94664608489472 94664608493168 140724275439360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94664608500984 94664608501776 94664610738176 140724275448112 140724275448294 140724275448294 140724275453896 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2168480 KiB

Child status: 143

Real time (s): 3629.79
CPU time (s): 3600.32
CPU user time (s): 3577.07
CPU system time (s): 23.2539
CPU usage (%): 99.1882
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.07
system time used= 23.2539
maximum resident set size= 2168736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24813336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130025
involuntary context switches= 9314


# summary of solver processes directly reported to runsolver:
#   pid: 25512
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3577.07
#   total CPU system time (s): 23.2539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74657 second user time and 17.1576 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 12:55:51
IDJOB=4509869
IDBENCH=159141
IDSOLVER=3364
FILE ID=nodeC017/4509869-1751194551
RUNJOBID= nodeC017-1751191606-24980
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.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-4509869-1751194551/watcher-4509869-1751194551 -o /tmp/evaluation-result-4509869-1751194551/solver-4509869-1751194551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509869-1751194551 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509869-1751194551.opb

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

MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=649511331

nodeC017 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		: 3600.133
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	: 7000.12
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		: 3600.041
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	: 7000.12
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		: 3587.644
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	: 7000.12
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		: 3565.724
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	: 7000.12
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		: 3653.475
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	: 7000.12
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		: 3600.073
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	: 7000.12
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		: 3600.061
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	: 7000.12
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		: 3585.622
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        105813340 kB
MemAvailable:   123271568 kB
Buffers:            3280 kB
Cached:         18248544 kB
SwapCached:            0 kB
Active:          6799376 kB
Inactive:       17994792 kB
Active(anon):    6560500 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file): 17994792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             98752 kB
Writeback:             0 kB
AnonPages:       6543976 kB
Mapped:           122668 kB
Shmem:             18080 kB
KReclaimable:     127200 kB
Slab:             217512 kB
SReclaimable:     127200 kB
SUnreclaim:        90312 kB
KernelStack:        5244 kB
PageTables:        16508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7087996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6301696 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 13:56:21