Trace number 4510049

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.77 3612.41

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM3c4292db534e5ed9ac145103152ac845
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 variables348
Total number of constraints928
Number of constraints which are clauses928
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.11	c See www.sat4j.org for details.
0.12/0.12	c version PB25.v20250606
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.14	c Free memory 		2106806208
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2113929216
0.12/0.14	c Number of processors 	2
0.12/0.19	c Pseudo Boolean Optimization by upper bound
0.12/0.19	c --- Begin Solver configuration ---
0.12/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.19	c Learn all clauses as in MiniSAT
0.12/0.19	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	c Expensive reason simplification
0.12/0.19	c Glucose 2.1 dynamic restart strategy
0.12/0.19	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.19	c timeout=2147483s
0.12/0.19	c DB Simplification allowed=false
0.12/0.19	c Listener: none
0.12/0.19	c --- End Solver configuration ---
0.12/0.19	c solving HOME/instance-4510049-1751197756.opb
0.12/0.19	c reading problem ... 
0.12/0.19	c using VERIPB proof format
0.12/0.19	c  no objective function found
0.30/0.28	c ... done. Wall clock time 0.092s.
0.30/0.29	c declared #vars     348
0.30/0.29	c #constraints  928
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 928
0.30/0.29	c 928 constraints processed.
1.42/0.83	c cleaning 2496 clauses out of 5000 with flag 15947/5000
2.03/1.18	c cleaning 4246 clauses out of 8504 with flag 37851/11000
2.80/1.55	c cleaning 5620 clauses out of 11259 with flag 63329/18001
3.59/1.97	c cleaning 6813 clauses out of 13638 with flag 96481/26000
4.19/2.26	c cleaning 7906 clauses out of 15826 with flag 133002/35001
4.58/2.46	c cleaning 8951 clauses out of 17920 with flag 175566/45001
5.19/2.70	c cleaning 9978 clauses out of 19969 with flag 223080/56001
5.58/2.95	c cleaning 10990 clauses out of 21991 with flag 275298/68001
6.15/3.23	c cleaning 11990 clauses out of 24000 with flag 333969/81000
6.62/3.54	c cleaning 12999 clauses out of 26010 with flag 400790/95000
6.94/3.84	c cleaning 13995 clauses out of 28012 with flag 468555/110001
7.24/4.15	c cleaning 14998 clauses out of 30017 with flag 533515/126001
7.71/4.50	c cleaning 16001 clauses out of 32019 with flag 607186/143001
8.07/4.88	c cleaning 17003 clauses out of 34017 with flag 687741/161000
8.46/5.29	c cleaning 17999 clauses out of 36015 with flag 772461/180001
8.96/5.74	c cleaning 19000 clauses out of 38015 with flag 862650/200000
9.46/6.22	c cleaning 19997 clauses out of 40016 with flag 966286/221001
9.86/6.70	c cleaning 20998 clauses out of 42019 with flag 1069571/243001
10.46/7.21	c cleaning 21999 clauses out of 44020 with flag 1175411/266000
10.96/7.76	c cleaning 22996 clauses out of 46021 with flag 1288852/290000
11.56/8.30	c cleaning 24003 clauses out of 48026 with flag 1403808/315001
12.16/8.94	c cleaning 25002 clauses out of 50022 with flag 1531056/341000
12.85/9.66	c cleaning 26005 clauses out of 52022 with flag 1664904/368002
13.56/10.36	c cleaning 26998 clauses out of 54015 with flag 1808168/396000
14.27/11.04	c cleaning 27999 clauses out of 56017 with flag 1948738/425000
14.96/11.72	c cleaning 29003 clauses out of 58019 with flag 2094903/455001
15.65/12.48	c cleaning 30000 clauses out of 60015 with flag 2248005/486000
16.45/13.29	c cleaning 30999 clauses out of 62016 with flag 2400429/518001
17.27/14.08	c cleaning 31995 clauses out of 64016 with flag 2558882/551000
18.16/14.91	c cleaning 33001 clauses out of 66022 with flag 2715442/585001
19.06/15.80	c cleaning 34002 clauses out of 68021 with flag 2881461/620001
19.95/16.76	c cleaning 35001 clauses out of 70018 with flag 3053942/656000
20.96/17.78	c cleaning 36004 clauses out of 72017 with flag 3232545/693000
21.95/18.79	c cleaning 36996 clauses out of 74013 with flag 3425658/731000
23.05/19.84	c cleaning 37997 clauses out of 76017 with flag 3621546/770000
24.15/20.97	c cleaning 39002 clauses out of 78020 with flag 3827138/810000
25.26/22.02	c cleaning 39999 clauses out of 80018 with flag 4034680/851000
26.36/23.15	c cleaning 41004 clauses out of 82019 with flag 4248629/893000
27.65/24.44	c cleaning 42000 clauses out of 84015 with flag 4466638/936000
28.93/25.70	c cleaning 42998 clauses out of 86015 with flag 4694418/980000
30.13/26.96	c cleaning 43999 clauses out of 88018 with flag 4925939/1025001
31.53/28.39	c cleaning 45002 clauses out of 90019 with flag 5159928/1071001
32.93/29.74	c cleaning 46002 clauses out of 92017 with flag 5402994/1118001
34.34/31.16	c cleaning 46996 clauses out of 94014 with flag 5652424/1166000
35.82/32.67	c cleaning 48002 clauses out of 96018 with flag 5908566/1215000
37.91/34.99	c cleaning 48997 clauses out of 98016 with flag 6165632/1265000
40.50/37.52	c cleaning 50000 clauses out of 100020 with flag 6452926/1316001
42.39/39.42	c cleaning 51004 clauses out of 102019 with flag 6737677/1368000
43.89/40.99	c cleaning 51997 clauses out of 104016 with flag 7006497/1421001
45.58/42.69	c cleaning 53002 clauses out of 106019 with flag 7269185/1475001
47.48/44.57	c cleaning 53997 clauses out of 108016 with flag 7545787/1530000
49.27/46.30	c cleaning 55006 clauses out of 110020 with flag 7818471/1586001
51.08/48.14	c cleaning 56003 clauses out of 112013 with flag 8113194/1643000
53.06/50.12	c cleaning 57000 clauses out of 114011 with flag 8400446/1701001
54.74/51.89	c cleaning 57999 clauses out of 116011 with flag 8695703/1760001
56.63/53.72	c cleaning 58997 clauses out of 118012 with flag 8995262/1820001
58.53/55.69	c cleaning 60003 clauses out of 120015 with flag 9281588/1881001
60.53/57.68	c cleaning 60998 clauses out of 122012 with flag 9584000/1943001
62.61/59.76	c cleaning 62001 clauses out of 124013 with flag 9889085/2006000
64.70/61.85	c cleaning 63000 clauses out of 126013 with flag 10203292/2070001
66.70/63.83	c cleaning 63998 clauses out of 128012 with flag 10517995/2135000
68.76/66.05	c cleaning 65000 clauses out of 130014 with flag 10836696/2201000
70.75/68.03	c cleaning 65997 clauses out of 132015 with flag 11161577/2268001
73.03/70.37	c cleaning 66998 clauses out of 134017 with flag 11476312/2336000
75.22/72.50	c cleaning 68003 clauses out of 136019 with flag 11786055/2405000
77.53/74.86	c cleaning 68997 clauses out of 138017 with flag 12115285/2475001
80.11/77.45	c cleaning 70002 clauses out of 140020 with flag 12498386/2546001
82.61/79.95	c cleaning 71004 clauses out of 142017 with flag 12858644/2618000
85.30/82.65	c cleaning 72001 clauses out of 144013 with flag 13214040/2691000
87.70/85.07	c cleaning 73001 clauses out of 146012 with flag 13563988/2765000
90.28/87.67	c cleaning 73994 clauses out of 148011 with flag 13907301/2840000
92.88/90.27	c cleaning 75002 clauses out of 150017 with flag 14269681/2916000
95.51/92.85	c cleaning 76001 clauses out of 152017 with flag 14651486/2993002
98.15/95.69	c cleaning 77003 clauses out of 154014 with flag 15036858/3071000
101.08/98.53	c cleaning 77996 clauses out of 156011 with flag 15422900/3150000
103.87/101.33	c cleaning 79002 clauses out of 158015 with flag 15808251/3230000
107.17/104.63	c cleaning 79995 clauses out of 160014 with flag 16199716/3311001
110.57/108.06	c cleaning 81001 clauses out of 162018 with flag 16610893/3393000
113.79/111.20	c cleaning 81997 clauses out of 164018 with flag 17038209/3476001
116.79/114.22	c cleaning 83001 clauses out of 166021 with flag 17445905/3560001
119.97/117.48	c cleaning 83999 clauses out of 168019 with flag 17842247/3645000
123.27/120.73	c cleaning 85004 clauses out of 170021 with flag 18254141/3731001
126.61/124.08	c cleaning 86002 clauses out of 172017 with flag 18669898/3818001
130.26/127.81	c cleaning 87003 clauses out of 174014 with flag 19065297/3906000
133.65/131.22	c cleaning 87997 clauses out of 176012 with flag 19481446/3995001
137.05/134.64	c cleaning 88996 clauses out of 178014 with flag 19917465/4085000
140.56/138.14	c cleaning 90001 clauses out of 180018 with flag 20339561/4176000
144.19/141.72	c cleaning 91000 clauses out of 182018 with flag 20787915/4268001
147.68/145.21	c cleaning 92001 clauses out of 184018 with flag 21230263/4361001
151.94/149.41	c cleaning 93003 clauses out of 186016 with flag 21681301/4455000
155.94/153.44	c cleaning 93994 clauses out of 188014 with flag 22142801/4550001
159.91/157.57	c cleaning 94998 clauses out of 190020 with flag 22596492/4646001
164.06/161.62	c cleaning 96002 clauses out of 192022 with flag 23063984/4743001
168.04/165.53	c cleaning 96999 clauses out of 194020 with flag 23545457/4841001
173.02/170.59	c cleaning 98000 clauses out of 196020 with flag 24028342/4940000
178.48/175.95	c cleaning 99000 clauses out of 198021 with flag 24492154/5040001
182.47/179.96	c cleaning 100000 clauses out of 200021 with flag 24961332/5141001
186.55/183.97	c cleaning 101000 clauses out of 202020 with flag 25419773/5243000
190.54/188.09	c cleaning 102004 clauses out of 204021 with flag 25897267/5346001
196.48/193.96	c cleaning 103001 clauses out of 206016 with flag 26383039/5450000
201.59/198.92	c cleaning 103995 clauses out of 208016 with flag 26874797/5555001
206.28/203.62	c cleaning 105002 clauses out of 210021 with flag 27390911/5661001
211.37/208.61	c cleaning 106001 clauses out of 212019 with flag 27972454/5768001
216.36/213.67	c cleaning 107001 clauses out of 214018 with flag 28528146/5876001
221.49/218.80	c cleaning 107998 clauses out of 216017 with flag 29068025/5985001
227.55/224.88	c cleaning 109004 clauses out of 218020 with flag 29594511/6095002
232.43/229.75	c cleaning 110001 clauses out of 220015 with flag 30138472/6206001
238.64/235.91	c cleaning 111002 clauses out of 222014 with flag 30673863/6318001
243.30/240.68	c cleaning 111998 clauses out of 224013 with flag 31208582/6431002
248.93/246.20	c cleaning 112995 clauses out of 226013 with flag 31731450/6545000
256.09/253.58	c cleaning 114001 clauses out of 228019 with flag 32261001/6660001
262.47/259.90	c cleaning 115002 clauses out of 230017 with flag 32773736/6776000
269.32/266.76	c cleaning 115993 clauses out of 232015 with flag 33302835/6893000
277.19/274.51	c cleaning 117001 clauses out of 234023 with flag 33870561/7011001
283.22/280.71	c cleaning 118005 clauses out of 236022 with flag 34474092/7130001
290.75/288.28	c cleaning 119003 clauses out of 238017 with flag 35038806/7250001
297.11/294.57	c cleaning 119996 clauses out of 240013 with flag 35599480/7371000
303.29/300.77	c cleaning 121000 clauses out of 242018 with flag 36156352/7493001
310.25/307.68	c cleaning 122002 clauses out of 244017 with flag 36734646/7616000
317.41/314.84	c cleaning 122998 clauses out of 246015 with flag 37321628/7740000
323.49/320.99	c cleaning 124002 clauses out of 248017 with flag 37939872/7865000
330.91/328.32	c cleaning 125003 clauses out of 250016 with flag 38542131/7991001
337.25/334.68	c cleaning 125999 clauses out of 252013 with flag 39118166/8118001
343.19/340.60	c cleaning 126996 clauses out of 254013 with flag 39702002/8246000
350.19/347.63	c cleaning 128002 clauses out of 256017 with flag 40331165/8375000
357.32/354.76	c cleaning 128997 clauses out of 258015 with flag 40978055/8505000
365.79/363.16	c cleaning 130004 clauses out of 260019 with flag 41596129/8636001
372.87/370.25	c cleaning 131001 clauses out of 262015 with flag 42232244/8768001
382.55/379.94	c cleaning 131997 clauses out of 264014 with flag 42793566/8901001
394.19/391.58	c cleaning 132997 clauses out of 266016 with flag 43383836/9035000
401.89/399.17	c cleaning 134004 clauses out of 268020 with flag 43986229/9170001
409.59/407.67	c cleaning 135002 clauses out of 270016 with flag 44645736/9306001
416.47/414.47	c cleaning 135992 clauses out of 272013 with flag 45302343/9443000
423.82/421.78	c cleaning 137001 clauses out of 274022 with flag 45971934/9581001
431.31/429.15	c cleaning 138002 clauses out of 276021 with flag 46593815/9720001
438.25/436.23	c cleaning 139003 clauses out of 278019 with flag 47228591/9860001
446.53/444.58	c cleaning 140002 clauses out of 280016 with flag 47925055/10001001
454.83/452.87	c cleaning 140998 clauses out of 282013 with flag 48629860/10143000
465.27/463.20	c cleaning 142001 clauses out of 284016 with flag 49284002/10286001
473.68/471.69	c cleaning 143000 clauses out of 286014 with flag 49963541/10430000
482.31/480.39	c cleaning 144000 clauses out of 288014 with flag 50628262/10575000
490.24/488.25	c cleaning 145000 clauses out of 290014 with flag 51365870/10721000
498.60/497.36	c cleaning 146000 clauses out of 292015 with flag 52123497/10868001
505.99/504.78	c cleaning 147001 clauses out of 294014 with flag 52894668/11016000
514.92/513.68	c cleaning 147993 clauses out of 296014 with flag 53658315/11165001
523.41/522.17	c cleaning 149002 clauses out of 298020 with flag 54421149/11315000
532.15/531.05	c cleaning 150001 clauses out of 300018 with flag 55173488/11466000
539.59/538.54	c cleaning 151003 clauses out of 302017 with flag 55935187/11618000
548.38/547.40	c cleaning 151999 clauses out of 304014 with flag 56684531/11771000
557.78/556.88	c cleaning 153000 clauses out of 306015 with flag 57402060/11925000
565.36/564.44	c cleaning 154000 clauses out of 308016 with flag 58079311/12080001
577.53/576.54	c cleaning 154994 clauses out of 310016 with flag 58753797/12236001
589.29/588.30	c cleaning 155999 clauses out of 312021 with flag 59463788/12393000
600.77/599.85	c cleaning 156997 clauses out of 314023 with flag 60180452/12551001
611.14/610.16	c cleaning 158000 clauses out of 316026 with flag 60905752/12710001
622.70/621.84	c cleaning 159002 clauses out of 318025 with flag 61635589/12870000
633.44/632.31	c cleaning 160003 clauses out of 320024 with flag 62399907/13031001
642.61/641.52	c cleaning 161000 clauses out of 322021 with flag 63175505/13193001
651.39/650.42	c cleaning 161997 clauses out of 324021 with flag 63957337/13356001
660.97/660.03	c cleaning 162999 clauses out of 326023 with flag 64734630/13520000
669.84/668.90	c cleaning 164008 clauses out of 328025 with flag 65529435/13685001
677.87/676.91	c cleaning 165001 clauses out of 330017 with flag 66356977/13851001
686.85/686.15	c cleaning 165995 clauses out of 332016 with flag 67076954/14018001
696.46/695.77	c cleaning 167002 clauses out of 334020 with flag 67864517/14186000
707.53/706.89	c cleaning 168000 clauses out of 336018 with flag 68651379/14355000
716.33/715.66	c cleaning 169001 clauses out of 338019 with flag 69427705/14525001
727.49/726.87	c cleaning 169999 clauses out of 340017 with flag 70216536/14696000
737.90/737.19	c cleaning 171003 clauses out of 342019 with flag 71028691/14868001
747.93/747.79	c cleaning 172003 clauses out of 344016 with flag 71877756/15041001
757.79/757.52	c cleaning 172993 clauses out of 346013 with flag 72725177/15215001
769.79/769.68	c cleaning 173997 clauses out of 348020 with flag 73598050/15390001
780.19/780.11	c cleaning 175002 clauses out of 350022 with flag 74462568/15566000
790.75/790.74	c cleaning 175998 clauses out of 352021 with flag 75304041/15743001
806.11/806.21	c cleaning 177002 clauses out of 354022 with flag 76114306/15921000
818.74/818.88	c cleaning 178006 clauses out of 356022 with flag 76952600/16100002
835.85/836.02	c cleaning 178995 clauses out of 358014 with flag 77867257/16280000
848.79/848.90	c cleaning 180006 clauses out of 360020 with flag 78845065/16461001
864.54/864.62	c cleaning 180996 clauses out of 362013 with flag 79771317/16643000
874.61/874.79	c cleaning 182009 clauses out of 364018 with flag 80647945/16826001
886.91/887.04	c cleaning 182992 clauses out of 366008 with flag 81520665/17010000
898.06/898.32	c cleaning 184000 clauses out of 368016 with flag 82409581/17195000
909.46/909.82	c cleaning 185002 clauses out of 370017 with flag 83295925/17381001
920.32/920.79	c cleaning 186001 clauses out of 372015 with flag 84210815/17568001
932.18/932.72	c cleaning 187003 clauses out of 374014 with flag 85161543/17756001
943.96/944.44	c cleaning 187996 clauses out of 376011 with flag 86087496/17945001
957.36/957.90	c cleaning 188996 clauses out of 378015 with flag 87005740/18135001
973.36/974.00	c cleaning 190001 clauses out of 380018 with flag 87908978/18326000
984.44/985.04	c cleaning 191002 clauses out of 382018 with flag 88832877/18518001
997.05/997.60	c cleaning 192002 clauses out of 384015 with flag 89702633/18711000
1009.02/1009.60	c cleaning 192997 clauses out of 386014 with flag 90589107/18905001
1022.07/1022.92	c cleaning 194002 clauses out of 388016 with flag 91470817/19100000
1033.73/1034.36	c cleaning 195000 clauses out of 390014 with flag 92368024/19296000
1044.81/1045.43	c cleaning 195999 clauses out of 392015 with flag 93252420/19493001
1055.71/1056.46	c cleaning 197001 clauses out of 394015 with flag 94114324/19691000
1067.08/1067.83	c cleaning 197997 clauses out of 396014 with flag 95089819/19890000
1078.24/1079.02	c cleaning 198999 clauses out of 398017 with flag 96047331/20090000
1092.03/1092.80	c cleaning 199998 clauses out of 400019 with flag 97020410/20291001
1104.48/1105.35	c cleaning 200997 clauses out of 402021 with flag 97971526/20493001
1115.72/1116.60	c cleaning 202003 clauses out of 404023 with flag 98949585/20696000
1128.21/1129.13	c cleaning 203002 clauses out of 406020 with flag 99933965/20900000
1140.11/1141.32	c cleaning 203998 clauses out of 408018 with flag 100925453/21105000
1152.70/1153.80	c cleaning 205004 clauses out of 410021 with flag 101885384/21311001
1168.26/1169.43	c cleaning 205999 clauses out of 412016 with flag 102880800/21518000
1182.69/1183.88	c cleaning 207002 clauses out of 414019 with flag 103863971/21726002
1202.23/1203.54	c cleaning 208004 clauses out of 416015 with flag 104896117/21935000
1216.28/1217.55	c cleaning 208998 clauses out of 418013 with flag 105895936/22145002
1230.44/1231.70	c cleaning 210003 clauses out of 420014 with flag 106906211/22356001
1246.10/1247.40	c cleaning 211001 clauses out of 422011 with flag 107911722/22568001
1260.79/1261.93	c cleaning 211999 clauses out of 424009 with flag 108913924/22781000
1273.34/1274.63	c cleaning 212998 clauses out of 426011 with flag 109898852/22995001
1287.33/1288.63	c cleaning 213996 clauses out of 428012 with flag 110830227/23210000
1304.37/1305.85	c cleaning 215005 clauses out of 430017 with flag 111880998/23426001
1324.86/1326.37	c cleaning 215996 clauses out of 432011 with flag 112902714/23643000
1342.15/1343.52	c cleaning 216998 clauses out of 434015 with flag 113938083/23861000
1356.25/1357.74	c cleaning 218003 clauses out of 436018 with flag 114947158/24080001
1369.93/1371.35	c cleaning 218999 clauses out of 438014 with flag 115999850/24300000
1383.13/1384.56	c cleaning 219996 clauses out of 440016 with flag 117009510/24521001
1400.69/1402.27	c cleaning 221001 clauses out of 442019 with flag 118099987/24743000
1418.38/1419.95	c cleaning 222004 clauses out of 444019 with flag 119219421/24966001
1435.90/1437.18	c cleaning 222998 clauses out of 446015 with flag 120285918/25190001
1465.20/1466.68	c cleaning 223994 clauses out of 448017 with flag 121289329/25415001
1478.97/1480.45	c cleaning 225006 clauses out of 450023 with flag 122341470/25641001
1494.21/1495.66	c cleaning 225998 clauses out of 452016 with flag 123447187/25868000
1510.27/1511.85	c cleaning 227000 clauses out of 454018 with flag 124515072/26096000
1528.42/1529.98	c cleaning 228003 clauses out of 456019 with flag 125609191/26325001
1544.40/1546.19	c cleaning 229000 clauses out of 458016 with flag 126723393/26555001
1559.61/1561.37	c cleaning 229999 clauses out of 460015 with flag 127824981/26786000
1577.62/1579.43	c cleaning 230995 clauses out of 462016 with flag 128945914/27018000
1594.03/1595.87	c cleaning 232005 clauses out of 464022 with flag 130084242/27251001
1613.44/1615.44	c cleaning 232999 clauses out of 466017 with flag 131187573/27485001
1630.87/1632.92	c cleaning 233995 clauses out of 468018 with flag 132330910/27720001
1649.26/1651.39	c cleaning 235005 clauses out of 470022 with flag 133415783/27956000
1664.65/1666.79	c cleaning 236000 clauses out of 472017 with flag 134528735/28193000
1681.42/1683.59	c cleaning 236999 clauses out of 474018 with flag 135687048/28431001
1699.15/1701.36	c cleaning 238002 clauses out of 476018 with flag 136834718/28670000
1713.42/1715.57	c cleaning 238996 clauses out of 478017 with flag 138004461/28910001
1729.51/1731.77	c cleaning 239995 clauses out of 480020 with flag 139191165/29151000
1749.53/1751.70	c cleaning 240995 clauses out of 482025 with flag 140274893/29393000
1769.52/1771.89	c cleaning 242015 clauses out of 484030 with flag 141420444/29636000
1786.13/1788.50	c cleaning 243003 clauses out of 486016 with flag 142605411/29880001
1812.50/1814.99	c cleaning 244001 clauses out of 488013 with flag 143818924/30125001
1830.71/1832.91	c cleaning 244998 clauses out of 490011 with flag 145051574/30371000
1850.21/1852.10	c cleaning 245994 clauses out of 492014 with flag 146226827/30618001
1866.08/1868.00	c cleaning 247001 clauses out of 494020 with flag 147406914/30866001
1887.40/1889.53	c cleaning 248001 clauses out of 496018 with flag 148641739/31115000
1905.17/1907.29	c cleaning 248998 clauses out of 498018 with flag 149853765/31365001
1923.10/1925.22	c cleaning 250004 clauses out of 500020 with flag 151073051/31616001
1941.41/1943.66	c cleaning 250999 clauses out of 502016 with flag 152260056/31868001
1961.58/1963.80	c cleaning 251999 clauses out of 504016 with flag 153493249/32121000
1986.67/1988.96	c cleaning 253001 clauses out of 506018 with flag 154687338/32375001
2006.75/2009.17	c cleaning 253997 clauses out of 508017 with flag 155872425/32630001
2033.07/2035.55	c cleaning 255000 clauses out of 510019 with flag 157067240/32886000
2051.69/2054.18	c cleaning 256004 clauses out of 512019 with flag 158319793/33143000
2070.96/2073.58	c cleaning 256999 clauses out of 514016 with flag 159578732/33401001
2092.07/2094.78	c cleaning 257997 clauses out of 516017 with flag 160835261/33660001
2113.28/2115.97	c cleaning 259001 clauses out of 518020 with flag 162053582/33920001
2134.46/2137.34	c cleaning 260001 clauses out of 520018 with flag 163241820/34181000
2155.50/2158.27	c cleaning 260999 clauses out of 522017 with flag 164506441/34443000
2172.67/2175.40	c cleaning 261996 clauses out of 524018 with flag 165760002/34706000
2191.54/2194.42	c cleaning 263002 clauses out of 526022 with flag 167037367/34970000
2208.30/2211.14	c cleaning 264000 clauses out of 528021 with flag 168349496/35235001
2227.67/2230.61	c cleaning 264999 clauses out of 530020 with flag 169648799/35501000
2247.11/2250.18	c cleaning 265997 clauses out of 532021 with flag 170884729/35768000
2266.94/2269.96	c cleaning 267007 clauses out of 534025 with flag 172139993/36036001
2285.74/2288.85	c cleaning 268000 clauses out of 536017 with flag 173404674/36305000
2307.14/2310.26	c cleaning 269002 clauses out of 538017 with flag 174632980/36575000
2324.51/2327.60	c cleaning 269997 clauses out of 540015 with flag 175685161/36846000
2348.91/2352.21	c cleaning 271004 clauses out of 542018 with flag 176904234/37118000
2372.12/2375.57	c cleaning 271994 clauses out of 544014 with flag 178206210/37391000
2396.59/2400.08	c cleaning 273000 clauses out of 546020 with flag 179578927/37665000
2417.24/2420.75	c cleaning 274001 clauses out of 548020 with flag 180904301/37940000
2439.08/2442.65	c cleaning 274998 clauses out of 550020 with flag 182241511/38216001
2461.54/2465.26	c cleaning 276006 clauses out of 552021 with flag 183595111/38493000
2481.30/2485.07	c cleaning 276995 clauses out of 554015 with flag 184906685/38771000
2508.21/2512.12	c cleaning 278006 clauses out of 556022 with flag 186281174/39050002
2528.20/2532.17	c cleaning 279002 clauses out of 558016 with flag 187556208/39330002
2553.16/2557.19	c cleaning 279997 clauses out of 560012 with flag 188901401/39611000
2574.11/2578.10	c cleaning 280999 clauses out of 562015 with flag 190247767/39893000
2604.99/2609.05	c cleaning 281998 clauses out of 564017 with flag 191671799/40176001
2626.57/2630.42	c cleaning 282999 clauses out of 566019 with flag 193089912/40460001
2647.07/2651.00	c cleaning 284001 clauses out of 568020 with flag 194489696/40745001
2667.43/2671.31	c cleaning 285002 clauses out of 570019 with flag 195873949/41031001
2691.43/2695.47	c cleaning 286000 clauses out of 572016 with flag 197236877/41318000
2717.19/2721.39	c cleaning 286991 clauses out of 574016 with flag 198586603/41606000
2739.97/2744.18	c cleaning 288002 clauses out of 576026 with flag 199958347/41895001
2761.10/2765.36	c cleaning 289003 clauses out of 578023 with flag 201312056/42185000
2782.15/2786.44	c cleaning 289997 clauses out of 580020 with flag 202672096/42476000
2807.24/2811.84	c cleaning 291006 clauses out of 582024 with flag 204073547/42768001
2833.42/2838.09	c cleaning 292001 clauses out of 584017 with flag 205492623/43061000
2856.03/2860.74	c cleaning 292999 clauses out of 586017 with flag 206888628/43355001
2879.99/2884.70	c cleaning 294000 clauses out of 588017 with flag 208304153/43650000
2900.98/2905.92	c cleaning 295003 clauses out of 590018 with flag 209740361/43946001
2924.98/2930.06	c cleaning 296000 clauses out of 592015 with flag 211194687/44243001
2951.79/2957.00	c cleaning 296999 clauses out of 594014 with flag 212629421/44541000
2973.32/2978.59	c cleaning 298005 clauses out of 596016 with flag 214061921/44840001
2996.48/3001.88	c cleaning 298994 clauses out of 598011 with flag 215475609/45140001
3025.56/3031.11	c cleaning 300001 clauses out of 600017 with flag 216957945/45441001
3050.27/3055.82	c cleaning 301003 clauses out of 602015 with flag 218459105/45743000
3074.40/3080.01	c cleaning 301998 clauses out of 604012 with flag 219901596/46046000
3096.90/3102.52	c cleaning 302996 clauses out of 606014 with flag 221382301/46350000
3119.95/3125.63	c cleaning 303998 clauses out of 608018 with flag 222856143/46655000
3146.36/3157.45	c cleaning 305001 clauses out of 610020 with flag 224331507/46961000
3170.17/3181.25	c cleaning 305999 clauses out of 612020 with flag 225804141/47268001
3192.86/3204.06	c cleaning 307001 clauses out of 614020 with flag 227258022/47576000
3218.97/3230.21	c cleaning 308001 clauses out of 616019 with flag 228714532/47885000
3247.90/3259.15	c cleaning 309004 clauses out of 618019 with flag 230208278/48195001
3272.27/3283.42	c cleaning 310000 clauses out of 620014 with flag 231654261/48506000
3295.64/3306.81	c cleaning 310997 clauses out of 622014 with flag 233171135/48818000
3321.69/3332.90	c cleaning 311997 clauses out of 624017 with flag 234643819/49131000
3353.69/3365.03	c cleaning 313002 clauses out of 626020 with flag 236087681/49445000
3379.48/3391.16	c cleaning 314007 clauses out of 628019 with flag 237633098/49760001
3408.46/3420.40	c cleaning 314992 clauses out of 630011 with flag 239025230/50076000
3433.91/3445.79	c cleaning 316005 clauses out of 632019 with flag 240552197/50393000
3462.54/3474.49	c cleaning 317002 clauses out of 634014 with flag 242084300/50711000
3489.73/3501.63	c cleaning 317998 clauses out of 636013 with flag 243696390/51030001
3517.71/3529.61	c cleaning 319001 clauses out of 638015 with flag 245254572/51350001
3548.41/3560.43	c cleaning 319998 clauses out of 640013 with flag 246756977/51671000
3574.44/3586.47	c cleaning 320994 clauses out of 642015 with flag 248282388/51993000
3600.08/3612.04	c starts		: 125990
3600.08/3612.09	c conflicts		: 52316001
3600.08/3612.09	c decisions		: 74697447
3600.08/3612.09	c propagations		: 398539199
3600.08/3612.09	c inspects		: 31816024918
3600.08/3612.10	c shortcuts		: 0
3600.08/3612.10	c learnt literals	: 0
3600.08/3612.10	c learnt binary clauses	: 0
3600.08/3612.10	c learnt ternary clauses	: 4
3600.08/3612.10	c learnt constraints	: 52316001
3600.08/3612.10	c ignored constraints	: 0
3600.08/3612.10	c root simplifications	: 0
3600.08/3612.10	c removed literals (reason simplification)	: 25526870
3600.08/3612.10	c reason swapping (by a shorter reason)	: 0
3600.08/3612.10	c Calls to reduceDB	: 319
3600.08/3612.10	c Number of update (reduction) of LBD	: 7209662
3600.08/3612.10	c Imported unit clauses	: 0
3600.08/3612.10	c No decision after first conflict	: false
3600.08/3612.11	c number of reductions to clauses (during analyze)	: 0
3600.08/3612.11	c number of learned constraints concerned by reduction	: 0
3600.08/3612.11	c number of learning phase by resolution	: 0
3600.08/3612.11	c number of learning phase by cutting planes	: 0
3600.08/3612.11	c number of rounding to 1 operations	: 0
3600.28/3612.11	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.28/3612.12	c number of reductions of the coefficients by power 2 	: 0
3600.28/3612.12	c number of right shift for reduction by power 2 	: 0
3600.28/3612.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.28/3612.12	c number of ending skipping 	: 0
3600.28/3612.12	c number of internal skipping 	: 0
3600.28/3612.12	c number of derivation steps 	: 0
3600.28/3612.12	c number of skipped derivation steps 	: 0
3600.28/3612.12	c number of remaining unassigned 	: 0
3600.28/3612.12	c number of remaining assigned 	: 0
3600.28/3612.12	c number of falsified literals weakened from reason	: 0
3600.28/3612.12	c number of falsified literals weakened from conflict	: 0
3600.28/3612.13	c time for arithmetic operations	: 0
3600.28/3612.13	c minimum degree of deleted constraints	: null
3600.28/3612.13	c maximum degree of deleted constraints	: null
3600.28/3612.13	c number of deleted constraints	: 0
3600.28/3612.13	c speed (assignments/second)	: 110342.52071729704
3600.28/3612.13	c non guided choices	: 194401
3600.64/3612.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 644022
3600.64/3612.33	s UNKNOWN
3600.64/3612.33	c Total wall clock time (in seconds): 3612.142

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (45370 MiB free)
  memory of node 1: 64507 MiB (62557 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=24444, runsolver pid=24441
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.10 4.24 4.24 6/333 24462
/proc/meminfo: memFree=110494584/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=18930384 memory=49364 CPUtime=0.12 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 6006 0 0 0 9 3 0 0 20 0 18 0 35454968 19384713216 12341 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4732596 12341 5327 1 0 547200 0
[pid=24444/tid=24446] ppid=24441 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 4825 0 0 0 5 2 0 0 20 0 18 0 35454970 19384713216 12341 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35454975 19384713216 12341 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=18930384 memory=58494082626307 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35454975 19384713216 12341 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49364 KiB

[startup+0.206616 s]*
/proc/loadavg: 4.10 4.24 4.24 7/333 24462
/proc/meminfo: memFree=110490236/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=18930384 memory=56844 CPUtime=0.3 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 6794 0 0 0 27 3 0 0 20 0 18 0 35454968 19384713216 14211 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4732596 14211 5423 1 0 547825 0
[pid=24444/tid=24446] ppid=24441 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 5299 0 0 0 13 2 0 0 20 0 18 0 35454970 19384713216 14211 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35454975 19384713216 14211 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35454975 19384713216 14211 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56844 KiB

[startup+0.306719 s]*
/proc/loadavg: 4.10 4.24 4.24 7/334 24463
/proc/meminfo: memFree=110486140/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=18996948 memory=61936 CPUtime=0.5 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 7166 0 0 0 46 4 0 0 20 0 19 0 35454968 19452874752 15484 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4749237 15484 5423 1 0 548337 0
[pid=24444/tid=24446] ppid=24441 vsize=18996948 memory=-6000919502788126829 CPUtime=0.25 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 5368 0 0 0 23 2 0 0 20 0 19 0 35454970 19452874752 15484 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35454975 19452874752 15484 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35454975 19452874752 15484 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35454998 19452874752 15484 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 61936 KiB

[startup+0.700247 s]
/proc/loadavg: 4.10 4.24 4.24 6/334 24463
/proc/meminfo: memFree=110468812/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=18996948 memory=101972 CPUtime=1.22 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 10131 0 0 0 116 6 0 0 20 0 19 0 35454968 19452874752 25493 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4749237 25493 5423 1 0 549824 0
[pid=24444/tid=24446] ppid=24441 vsize=18996948 memory=17152 CPUtime=0.55 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 5398 0 0 0 52 3 0 0 20 0 19 0 35454970 19452874752 25493 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35454975 19452874752 25493 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35454975 19452874752 25493 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35454998 19452874752 25493 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101972 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.24 4.24 6/335 24464
/proc/meminfo: memFree=110379144/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=175324 CPUtime=2.8 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 21745 0 0 0 270 10 0 0 20 0 20 0 35454968 19521036288 43831 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 43831 5487 1 0 554016 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=11136 CPUtime=1.32 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 5991 0 0 0 126 6 0 0 20 0 20 0 35454970 19521036288 43831 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 43831 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 43831 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=4752 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 43831 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175324 KiB

[startup+3.106 s]
/proc/loadavg: 4.25 4.27 4.25 6/335 24464
/proc/meminfo: memFree=110290500/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=254660 CPUtime=5.99 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 25728 0 0 0 585 14 0 0 20 0 20 0 35454968 19521036288 63665 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 63665 5487 1 0 554034 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=11136 CPUtime=2.88 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 6589 0 0 0 279 9 0 0 20 0 20 0 35454970 19521036288 63665 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=-6000919502788126829 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 63665 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 63665 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 63665 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 254660 KiB

[startup+6.30049 s]
/proc/loadavg: 4.25 4.27 4.25 5/334 24464
/proc/meminfo: memFree=109579500/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=897732 CPUtime=9.56 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 26531 0 0 0 924 32 0 0 20 0 20 0 35454968 19521036288 224433 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 224433 5487 1 0 554036 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=0 CPUtime=6.03 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 7231 0 0 0 577 26 0 0 20 0 20 0 35454970 19521036288 224433 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 224433 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 224433 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=175324 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 224433 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 897732 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 4.26 4.25 5/334 24464
/proc/meminfo: memFree=109080780/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=1313488 CPUtime=15.95 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 28043 0 0 0 1544 51 0 0 20 0 20 0 35454968 19521036288 328372 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 328372 5487 1 0 554036 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=175324 CPUtime=12.36 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 8516 0 0 0 1191 45 0 0 20 0 20 0 35454970 19521036288 328372 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 328372 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=1307344 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 328372 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 328372 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1313488 KiB

[startup+25.5005 s]
/proc/loadavg: 4.18 4.25 4.25 5/334 24531
/proc/meminfo: memFree=110648828/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=1321832 CPUtime=28.73 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 32538 0 0 0 2804 69 0 0 20 0 20 0 35454968 19521036288 330458 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 330458 5519 1 0 554036 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=11136 CPUtime=24.85 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 9620 0 0 0 2424 61 0 0 20 0 20 0 35454970 19521036288 330458 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=1307344 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 330458 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 330458 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 330458 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 28.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1321832 KiB

[startup+51.114 s]
/proc/loadavg: 4.20 4.25 4.24 5/337 24534
/proc/meminfo: memFree=109704428/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=1746752 CPUtime=54.05 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 35449 0 0 0 5292 113 0 0 20 0 20 0 35454968 19521036288 436688 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 436688 5519 1 0 660562 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=1744696 CPUtime=49.73 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 11020 0 0 0 4870 103 0 0 20 0 20 0 35454970 19521036288 436688 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0

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

Current children cumulated memory: 5790184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/332 24786
/proc/meminfo: memFree=85667876/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3331.15 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 195183 0 0 0 330578 2537 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=164 CPUtime=3286.4 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 111576 0 0 0 326321 2319 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2134 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=5888 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3331.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/309 24817
/proc/meminfo: memFree=88327064/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3390.53 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 196962 0 0 0 336435 2618 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3345.48 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 113108 0 0 0 332152 2396 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2225 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.27 4.21 6/332 24989
/proc/meminfo: memFree=87703956/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3450.52 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 198418 0 0 0 342383 2669 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3404.52 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 113297 0 0 0 338008 2444 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2292 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3450.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.28 4.21 5/311 25075
/proc/meminfo: memFree=85653748/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3510.43 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 200193 0 0 0 348333 2710 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3463.87 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 114955 0 0 0 343906 2481 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=5100 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2292 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3510.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB

[startup+3582.3 s]
/proc/loadavg: 4.44 4.31 4.23 7/336 25131
/proc/meminfo: memFree=74605340/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3570.35 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 202943 0 0 0 354289 2746 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=14304 CPUtime=3523.18 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 116887 0 0 0 349803 2515 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2393 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 5.03 4.47 4.28 5/338 25138
/proc/meminfo: memFree=73072796/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19063512 memory=5792248 CPUtime=3600.08 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 204353 0 0 0 357245 2763 0 0 20 0 20 0 35454968 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4765878 1448062 5519 1 0 1462324 0
[pid=24444/tid=24446] ppid=24441 vsize=19063512 memory=-6000919494265497453 CPUtime=3552.56 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 117603 0 0 0 352726 2530 0 0 20 0 20 0 35454970 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19063512 memory=4224 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19063512 memory=1792 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2526 0 0 0 1 0 0 0 20 0 20 0 35454975 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24463] ppid=24441 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/24444/task/24463/stat : 24463 (Timer-0) S 24441 24444 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35454998 19521036288 1448062 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5792248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.08 s, system=27.6899 s

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

[startup+3612.2 s]
/proc/loadavg: 5.03 4.47 4.28 5/338 25138
/proc/meminfo: memFree=73072796/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19263204 memory=5793144 CPUtime=3600.45 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 206524 0 0 0 357281 2764 0 0 20 0 21 0 35454968 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4815801 1448286 5551 1 0 1463227 0
[pid=24444/tid=24446] ppid=24441 vsize=19263204 memory=10240 CPUtime=3552.74 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 117603 0 0 0 352744 2530 0 0 20 0 21 0 35454970 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19263204 memory=9088 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35454975 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19263204 memory=22884 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2526 0 0 0 1 0 0 0 20 0 21 0 35454975 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5793144 KiB

[startup+3612.3 s]
/proc/loadavg: 5.03 4.47 4.28 5/338 25138
/proc/meminfo: memFree=73072796/131382120 swapFree=33010684/33010684
[pid=24444] ppid=24441 vsize=19263204 memory=5793144 CPUtime=3600.64 cores=5,7
/proc/24444/stat : 24444 (java) S 24441 24444 23518 0 -1 4194304 206555 0 0 0 357300 2764 0 0 20 0 21 0 35454968 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
/proc/24444/statm: 4815801 1448286 5551 1 0 1463227 0
[pid=24444/tid=24446] ppid=24441 vsize=19263204 memory=17152 CPUtime=3552.84 cores=5,7
/proc/24444/task/24446/stat : 24446 (java) R 24441 24444 23518 0 -1 4194368 117603 0 0 0 352754 2530 0 0 20 0 21 0 35454970 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24455] ppid=24441 vsize=19263204 memory=14304 CPUtime=0 cores=5,7
/proc/24444/task/24455/stat : 24455 (Finalizer) S 24441 24444 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35454975 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
[pid=24444/tid=24462] ppid=24441 vsize=19263204 memory=5792248 CPUtime=0.01 cores=5,7
/proc/24444/task/24462/stat : 24462 (Common-Cleaner) S 24441 24444 23518 0 -1 4194368 2526 0 0 0 1 0 0 0 20 0 21 0 35454975 19725520896 1448286 18446744073709551615 93874927370240 93874927373936 140721461766720 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93874927381752 93874927382544 93874955051008 140721461774640 140721461774822 140721461774822 140721461780424 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5793144 KiB

Child status: 143

Real time (s): 3612.41
CPU time (s): 3600.77
CPU user time (s): 3573.08
CPU system time (s): 27.6899
CPU usage (%): 99.6776
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5793144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.08
system time used= 27.6899
maximum resident set size= 5793400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26099568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117090
involuntary context switches= 19481


# summary of solver processes directly reported to runsolver:
#   pid: 24444
#   total CPU time (s): 3600.77
#   total CPU user time (s): 3573.08
#   total CPU system time (s): 27.6899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4163 second user time and 37.129 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 13:49:16
IDJOB=4510049
IDBENCH=159702
IDSOLVER=3364
FILE ID=nodeC006/4510049-1751197756
RUNJOBID= nodeC006-1751194066-23531
SLURM_JOB_ID= 9587594
Free space on /tmp= 433056 MiB

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

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

MD5SUM BENCH= 3c4292db534e5ed9ac145103152ac845
RANDOM SEED=434393384

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.904
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.427
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.617
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.172
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.421
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.140
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.425
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3015.932
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        110517560 kB
MemAvailable:   124446200 kB
Buffers:            3280 kB
Cached:         14723540 kB
SwapCached:            0 kB
Active:          5838580 kB
Inactive:       14475584 kB
Active(anon):    5605336 kB
Inactive(anon):        0 kB
Active(file):     233244 kB
Inactive(file): 14475584 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            116184 kB
Writeback:             0 kB
AnonPages:       5589968 kB
Mapped:           122328 kB
Shmem:             17960 kB
KReclaimable:     118496 kB
Slab:             204984 kB
SReclaimable:     118496 kB
SUnreclaim:        86488 kB
KernelStack:        5088 kB
PageTables:        14588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7500296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5353472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432800 MiB
End job on nodeC006 at 2025-06-29 14:49:29