Trace number 4517263

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.39 3605.85

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
MD5SUMf4239567b5fcc3629584dc152b8218cf
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.4272
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2440
Total number of constraints1281
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1281
Minimum length of a constraint2
Maximum length of a constraint80
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 549755813888
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2199023255551
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.21	c See www.sat4j.org for details.
0.23/0.23	c version PB25.v20250606
0.23/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.23/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.23/0.25	c java.vm.version	22.0.1+8-16
0.23/0.25	c java.vm.vendor	Oracle Corporation
0.23/0.25	c sun.arch.data.model	64
0.23/0.25	c java.version		22.0.1
0.23/0.26	c os.name		Linux
0.23/0.26	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.23/0.26	c os.arch		amd64
0.23/0.26	c Free memory 		2104792832
0.23/0.27	c Max memory 		16282288128
0.23/0.27	c Total memory 		2113929216
0.23/0.27	c Number of processors 	2
0.42/0.38	c Pseudo Boolean Optimization by upper bound
0.42/0.38	c --- Begin Solver configuration ---
0.42/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.38	c Learn all clauses as in MiniSAT
0.42/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.38	c Expensive reason simplification
0.42/0.38	c Glucose 2.1 dynamic restart strategy
0.42/0.38	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.42/0.38	c timeout=2147483s
0.42/0.38	c DB Simplification allowed=false
0.42/0.38	c Listener: none
0.42/0.38	c --- End Solver configuration ---
0.42/0.38	c solving HOME/instance-4517263-1751243585.opb
0.42/0.38	c reading problem ... 
0.42/0.39	c using VERIPB proof format
0.42/0.39	c  no objective function found
0.75/0.59	c ... done. Wall clock time 0.188s.
0.75/0.59	c declared #vars     2440
0.75/0.59	c #constraints  2561
0.75/0.59	c constraints type 
0.75/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1040
0.75/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1521
0.75/0.59	c 2561 constraints processed.
2.86/1.68	c cleaning 2490 clauses out of 5001 with flag 29996/5001
3.86/2.12	c cleaning 4240 clauses out of 8513 with flag 65088/11003
4.44/2.44	c cleaning 5604 clauses out of 11270 with flag 110088/18000
5.03/2.79	c cleaning 6793 clauses out of 13668 with flag 161614/26002
5.84/3.13	c cleaning 7918 clauses out of 15873 with flag 227694/35000
6.40/3.46	c cleaning 8957 clauses out of 17956 with flag 292586/45001
7.11/4.05	c cleaning 9979 clauses out of 19999 with flag 381224/56001
7.75/4.59	c cleaning 10986 clauses out of 22019 with flag 466437/68000
8.76/5.03	c cleaning 12003 clauses out of 24033 with flag 538072/81000
9.91/5.81	c cleaning 13000 clauses out of 26033 with flag 645122/95003
10.44/6.35	c cleaning 13979 clauses out of 28030 with flag 750013/110000
11.03/6.99	c cleaning 14997 clauses out of 30052 with flag 850143/126001
12.01/7.82	c cleaning 16009 clauses out of 32054 with flag 957262/143000
12.67/8.45	c cleaning 17003 clauses out of 34045 with flag 1066250/161000
13.47/9.23	c cleaning 17996 clauses out of 36042 with flag 1188999/180000
14.39/10.18	c cleaning 18995 clauses out of 38047 with flag 1322807/200001
15.72/11.15	c cleaning 19996 clauses out of 40053 with flag 1445696/221002
17.09/12.08	c cleaning 21018 clauses out of 42056 with flag 1580857/243001
17.98/12.91	c cleaning 22016 clauses out of 44039 with flag 1728280/266002
19.09/14.08	c cleaning 22990 clauses out of 46021 with flag 1898415/290000
20.18/15.14	c cleaning 23991 clauses out of 48031 with flag 2059532/315000
21.17/16.19	c cleaning 24973 clauses out of 50041 with flag 2211747/341001
22.25/17.22	c cleaning 26000 clauses out of 52067 with flag 2377210/368000
23.16/18.19	c cleaning 27017 clauses out of 54068 with flag 2536743/396001
24.45/19.44	c cleaning 28011 clauses out of 56051 with flag 2720876/425001
25.74/20.79	c cleaning 28992 clauses out of 58040 with flag 2909265/455001
27.45/22.45	c cleaning 29996 clauses out of 60048 with flag 3109420/486001
29.05/24.10	c cleaning 31011 clauses out of 62051 with flag 3295101/518000
30.53/25.50	c cleaning 31988 clauses out of 64041 with flag 3488247/551001
32.23/27.28	c cleaning 32981 clauses out of 66052 with flag 3709779/585000
33.52/28.54	c cleaning 34019 clauses out of 68071 with flag 3901889/620000
35.13/30.12	c cleaning 34994 clauses out of 70052 with flag 4102817/656000
36.72/31.79	c cleaning 36002 clauses out of 72058 with flag 4306208/693000
38.21/33.29	c cleaning 37011 clauses out of 74057 with flag 4518433/731001
40.21/35.26	c cleaning 37984 clauses out of 76045 with flag 4757299/770000
42.19/37.21	c cleaning 38969 clauses out of 78062 with flag 4993571/810001
44.18/39.24	c cleaning 39999 clauses out of 80092 with flag 5228883/851000
45.78/40.86	c cleaning 41036 clauses out of 82093 with flag 5460679/893000
47.98/43.04	c cleaning 42004 clauses out of 84058 with flag 5717661/936001
50.37/45.45	c cleaning 43010 clauses out of 86054 with flag 5972938/980001
52.76/47.81	c cleaning 43984 clauses out of 88046 with flag 6246663/1025003
54.85/49.94	c cleaning 45003 clauses out of 90059 with flag 6512785/1071000
56.85/52.01	c cleaning 45992 clauses out of 92056 with flag 6767155/1118000
58.96/54.10	c cleaning 47017 clauses out of 94064 with flag 7023441/1166000
61.34/56.48	c cleaning 47997 clauses out of 96047 with flag 7294172/1215000
63.64/58.74	c cleaning 48984 clauses out of 98051 with flag 7553608/1265001
66.47/61.33	c cleaning 50013 clauses out of 100068 with flag 7827511/1316002
69.76/64.62	c cleaning 50988 clauses out of 102053 with flag 8128916/1368000
72.81/67.82	c cleaning 51963 clauses out of 104066 with flag 8445395/1421001
75.78/70.70	c cleaning 53015 clauses out of 106102 with flag 8758385/1475000
79.66/74.63	c cleaning 54005 clauses out of 108088 with flag 9104025/1530001
82.65/77.61	c cleaning 55024 clauses out of 110083 with flag 9408386/1586001
85.75/80.77	c cleaning 56000 clauses out of 112060 with flag 9736322/1643002
88.54/83.56	c cleaning 56997 clauses out of 114058 with flag 10036556/1701000
91.43/86.45	c cleaning 57979 clauses out of 116063 with flag 10346520/1760002
94.53/89.56	c cleaning 59015 clauses out of 118083 with flag 10666397/1820001
98.31/93.37	c cleaning 59982 clauses out of 120067 with flag 10992286/1881000
101.91/97.00	c cleaning 61027 clauses out of 122085 with flag 11336581/1943000
105.11/100.29	c cleaning 62024 clauses out of 124059 with flag 11662553/2006001
108.80/103.92	c cleaning 62977 clauses out of 126034 with flag 11996661/2070000
112.09/107.25	c cleaning 64003 clauses out of 128058 with flag 12335526/2135001
115.58/110.75	c cleaning 65012 clauses out of 130054 with flag 12683771/2201000
119.40/114.52	c cleaning 66005 clauses out of 132042 with flag 13046954/2268000
123.10/118.25	c cleaning 66988 clauses out of 134037 with flag 13401527/2336000
126.69/121.89	c cleaning 68014 clauses out of 136050 with flag 13738548/2405001
130.68/125.85	c cleaning 68971 clauses out of 138035 with flag 14096827/2475000
134.97/130.22	c cleaning 70005 clauses out of 140065 with flag 14438165/2546001
140.13/135.47	c cleaning 71008 clauses out of 142061 with flag 14831851/2618002
144.99/140.37	c cleaning 72007 clauses out of 144054 with flag 15208942/2691003
150.05/145.48	c cleaning 72971 clauses out of 146045 with flag 15582687/2765001
154.37/149.73	c cleaning 74023 clauses out of 148075 with flag 15972196/2840002
159.16/154.59	c cleaning 75017 clauses out of 150051 with flag 16380338/2916001
163.99/159.45	c cleaning 76009 clauses out of 152033 with flag 16769649/2993000
170.18/165.67	c cleaning 76980 clauses out of 154024 with flag 17179366/3071000
176.07/171.54	c cleaning 77995 clauses out of 156044 with flag 17575264/3150000
182.03/177.54	c cleaning 78990 clauses out of 158052 with flag 17978069/3230003
187.08/182.53	c cleaning 80011 clauses out of 160060 with flag 18394322/3311001
192.27/187.75	c cleaning 80979 clauses out of 162048 with flag 18794899/3393000
197.70/193.24	c cleaning 82018 clauses out of 164070 with flag 19193483/3476001
203.49/199.05	c cleaning 83000 clauses out of 166051 with flag 19631101/3560000
208.97/204.53	c cleaning 83991 clauses out of 168052 with flag 20061250/3645001
214.59/210.19	c cleaning 84954 clauses out of 170061 with flag 20477796/3731001
222.38/217.99	c cleaning 86031 clauses out of 172107 with flag 20921617/3818001
229.57/225.22	c cleaning 87018 clauses out of 174076 with flag 21404665/3906001
235.76/231.41	c cleaning 88007 clauses out of 176059 with flag 21834250/3995002
241.84/237.56	c cleaning 89007 clauses out of 178053 with flag 22266857/4085003
247.93/243.62	c cleaning 90013 clauses out of 180046 with flag 22712164/4176003
254.52/250.21	c cleaning 90973 clauses out of 182031 with flag 23149928/4268001
262.48/258.33	c cleaning 92024 clauses out of 184057 with flag 23634453/4361000
270.68/266.54	c cleaning 92994 clauses out of 186033 with flag 24092332/4455000
278.99/274.84	c cleaning 94004 clauses out of 188039 with flag 24559594/4550000
285.68/281.58	c cleaning 94993 clauses out of 190035 with flag 25022868/4646000
293.21/289.18	c cleaning 95998 clauses out of 192042 with flag 25489941/4743000
300.20/296.15	c cleaning 96989 clauses out of 194045 with flag 26006101/4841001
309.04/305.05	c cleaning 98011 clauses out of 196055 with flag 26462050/4940000
316.74/312.77	c cleaning 98992 clauses out of 198045 with flag 26962692/5040001
324.41/320.47	c cleaning 100000 clauses out of 200053 with flag 27460567/5141001
332.14/328.17	c cleaning 101010 clauses out of 202052 with flag 27958758/5243000
339.31/335.39	c cleaning 101995 clauses out of 204042 with flag 28441226/5346000
352.17/348.39	c cleaning 102972 clauses out of 206048 with flag 28984185/5450001
360.73/356.92	c cleaning 104009 clauses out of 208075 with flag 29498646/5555000
370.59/366.88	c cleaning 104997 clauses out of 210067 with flag 30011273/5661001
378.82/375.16	c cleaning 105984 clauses out of 212070 with flag 30518455/5768001
387.38/383.73	c cleaning 107036 clauses out of 214085 with flag 31040810/5876000
396.88/393.25	c cleaning 108006 clauses out of 216052 with flag 31566750/5985003
405.55/401.91	c cleaning 108995 clauses out of 218043 with flag 32099481/6095000
414.37/410.83	c cleaning 110004 clauses out of 220048 with flag 32659702/6206000
423.36/419.84	c cleaning 110964 clauses out of 222045 with flag 33169577/6318001
433.10/429.59	c cleaning 112032 clauses out of 224083 with flag 33690428/6431003
441.81/438.38	c cleaning 113001 clauses out of 226049 with flag 34231996/6545001
452.46/449.05	c cleaning 113999 clauses out of 228048 with flag 34767213/6660001
463.32/459.94	c cleaning 115016 clauses out of 230048 with flag 35348936/6776000
474.64/472.20	c cleaning 115994 clauses out of 232032 with flag 35936975/6893000
484.11/481.71	c cleaning 116983 clauses out of 234038 with flag 36482978/7011000
492.54/490.20	c cleaning 118009 clauses out of 236055 with flag 37025366/7130000
501.37/499.04	c cleaning 119001 clauses out of 238046 with flag 37580281/7250000
511.35/509.10	c cleaning 119969 clauses out of 240045 with flag 38178017/7371000
520.71/518.44	c cleaning 121000 clauses out of 242078 with flag 38729182/7493002
532.70/530.57	c cleaning 121989 clauses out of 244076 with flag 39283276/7616000
544.38/542.26	c cleaning 122999 clauses out of 246087 with flag 39858883/7740000
555.99/553.82	c cleaning 124029 clauses out of 248089 with flag 40447674/7865001
566.94/564.88	c cleaning 124990 clauses out of 250060 with flag 41036606/7991001
577.48/575.37	c cleaning 126026 clauses out of 252075 with flag 41613546/8118006
587.85/585.76	c cleaning 126981 clauses out of 254044 with flag 42200180/8246001
598.91/596.87	c cleaning 128017 clauses out of 256063 with flag 42807735/8375001
609.53/607.41	c cleaning 128950 clauses out of 258045 with flag 43381908/8505000
620.98/618.88	c cleaning 130030 clauses out of 260096 with flag 43989118/8636001
633.37/631.29	c cleaning 130999 clauses out of 262066 with flag 44606142/8768001
644.34/642.20	c cleaning 131996 clauses out of 264067 with flag 45203929/8901001
655.92/653.93	c cleaning 133011 clauses out of 266072 with flag 45801796/9035002
668.43/666.49	c cleaning 134024 clauses out of 268059 with flag 46433606/9170000
679.87/677.88	c cleaning 135003 clauses out of 270036 with flag 47038662/9306001
692.13/690.14	c cleaning 135980 clauses out of 272032 with flag 47692860/9443000
704.86/702.80	c cleaning 137008 clauses out of 274052 with flag 48303430/9581000
717.29/715.33	c cleaning 137974 clauses out of 276044 with flag 48932329/9720000
729.63/727.62	c cleaning 138991 clauses out of 278070 with flag 49553767/9860000
742.47/740.58	c cleaning 140024 clauses out of 280080 with flag 50192494/10001001
756.02/754.22	c cleaning 141005 clauses out of 282058 with flag 50823852/10143003
769.63/767.91	c cleaning 142012 clauses out of 284050 with flag 51443977/10286000
784.68/783.13	c cleaning 143009 clauses out of 286038 with flag 52095550/10430000
798.50/796.99	c cleaning 143978 clauses out of 288029 with flag 52747691/10575000
812.42/810.96	c cleaning 144990 clauses out of 290052 with flag 53421028/10721001
825.26/823.73	c cleaning 146008 clauses out of 292061 with flag 54054421/10868000
842.50/841.07	c cleaning 147007 clauses out of 294053 with flag 54776877/11016000
858.44/856.96	c cleaning 147987 clauses out of 296046 with flag 55493485/11165000
873.28/871.88	c cleaning 149010 clauses out of 298059 with flag 56182569/11315000
888.01/886.50	c cleaning 149999 clauses out of 300049 with flag 56901018/11466000
902.84/901.41	c cleaning 150862 clauses out of 302051 with flag 57574495/11618001
918.15/916.74	c cleaning 152052 clauses out of 304188 with flag 58262150/11771000
932.20/930.82	c cleaning 153032 clauses out of 306136 with flag 58926849/11925000
947.30/945.96	c cleaning 154038 clauses out of 308104 with flag 59613970/12080000
964.27/963.10	c cleaning 155029 clauses out of 310066 with flag 60277158/12236000
981.25/980.04	c cleaning 156001 clauses out of 312039 with flag 60962319/12393002
996.03/994.96	c cleaning 156991 clauses out of 314040 with flag 61678671/12551004
1011.78/1010.75	c cleaning 157749 clauses out of 316046 with flag 62379785/12710001
1026.93/1025.97	c cleaning 158994 clauses out of 318296 with flag 63081990/12870000
1043.27/1042.29	c cleaning 159987 clauses out of 320302 with flag 63831505/13031000
1059.28/1058.30	c cleaning 161038 clauses out of 322315 with flag 64564073/13193000
1077.29/1076.29	c cleaning 161828 clauses out of 324277 with flag 65300794/13356000
1098.58/1097.62	c cleaning 162991 clauses out of 326450 with flag 66082216/13520001
1118.32/1117.47	c cleaning 164194 clauses out of 328459 with flag 66843489/13685001
1139.32/1138.40	c cleaning 164923 clauses out of 330265 with flag 67625241/13851001
1155.30/1154.47	c cleaning 165966 clauses out of 332341 with flag 68425190/14018000
1172.30/1171.32	c cleaning 166922 clauses out of 334376 with flag 69169725/14186001
1190.41/1189.51	c cleaning 168056 clauses out of 336453 with flag 69949709/14355000
1208.45/1207.68	c cleaning 169039 clauses out of 338397 with flag 70712400/14525000
1226.34/1225.50	c cleaning 169915 clauses out of 340358 with flag 71467005/14696000
1245.18/1244.47	c cleaning 171170 clauses out of 342443 with flag 72301289/14868000
1261.81/1261.02	c cleaning 171604 clauses out of 344274 with flag 73061825/15041001
1282.18/1281.43	c cleaning 173059 clauses out of 346669 with flag 73882004/15215000
1299.79/1299.06	c cleaning 173858 clauses out of 348610 with flag 74681420/15390000
1319.67/1318.99	c cleaning 174642 clauses out of 350752 with flag 75464031/15566000
1341.55/1340.87	c cleaning 175911 clauses out of 353111 with flag 76300544/15743001
1362.03/1361.34	c cleaning 176894 clauses out of 355200 with flag 77154330/15921001
1381.35/1380.64	c cleaning 177803 clauses out of 357305 with flag 77987525/16100000
1404.88/1403.89	c cleaning 179097 clauses out of 359503 with flag 78788072/16280001
1426.75/1425.78	c cleaning 179927 clauses out of 361406 with flag 79604135/16461001
1446.94/1445.96	c cleaning 180953 clauses out of 363480 with flag 80464013/16643002
1468.27/1467.61	c cleaning 182082 clauses out of 365525 with flag 81275310/16826000
1488.81/1488.23	c cleaning 182848 clauses out of 367444 with flag 82116154/17010001
1509.56/1508.94	c cleaning 183834 clauses out of 369595 with flag 82908705/17195000
1530.15/1529.57	c cleaning 184833 clauses out of 371761 with flag 83699771/17381000
1552.75/1552.27	c cleaning 186092 clauses out of 373928 with flag 84526253/17568000
1574.24/1573.85	c cleaning 186907 clauses out of 375836 with flag 85346473/17756000
1601.58/1601.26	c cleaning 188140 clauses out of 377930 with flag 86300735/17945001
1626.82/1626.43	c cleaning 188834 clauses out of 379791 with flag 87154855/18135002
1648.19/1647.88	c cleaning 189971 clauses out of 381955 with flag 88053257/18326000
1671.61/1671.41	c cleaning 190623 clauses out of 383985 with flag 88901202/18518001
1692.50/1692.35	c cleaning 191901 clauses out of 386362 with flag 89775271/18711001
1716.54/1716.47	c cleaning 192845 clauses out of 388460 with flag 90614117/18905000
1746.17/1746.58	c cleaning 193838 clauses out of 390615 with flag 91610296/19100000
1770.25/1770.77	c cleaning 195047 clauses out of 392777 with flag 92501867/19296000
1794.72/1795.17	c cleaning 196165 clauses out of 394731 with flag 93470661/19493001
1817.93/1818.32	c cleaning 196780 clauses out of 396566 with flag 94393393/19691001
1842.47/1842.98	c cleaning 197968 clauses out of 398785 with flag 95276799/19890000
1866.22/1866.83	c cleaning 199008 clauses out of 400818 with flag 96152732/20090001
1892.19/1892.81	c cleaning 199830 clauses out of 402813 with flag 97084826/20291004
1915.79/1916.56	c cleaning 200883 clauses out of 404981 with flag 97968245/20493002
1938.40/1939.18	c cleaning 201766 clauses out of 407097 with flag 98904003/20696001
1961.67/1962.47	c cleaning 202929 clauses out of 409330 with flag 99830697/20900000
1983.89/1984.73	c cleaning 203801 clauses out of 411402 with flag 100743719/21105001
2009.47/2010.41	c cleaning 205027 clauses out of 413600 with flag 101619004/21311000
2031.71/2032.61	c cleaning 206037 clauses out of 415573 with flag 102573434/21518000
2054.43/2055.41	c cleaning 206761 clauses out of 417536 with flag 103474575/21726000
2080.49/2081.50	c cleaning 207928 clauses out of 419775 with flag 104389821/21935000
2105.18/2106.38	c cleaning 208916 clauses out of 421849 with flag 105279137/22145002
2128.28/2129.54	c cleaning 209975 clauses out of 423934 with flag 106225880/22356003
2153.23/2154.44	c cleaning 210795 clauses out of 425957 with flag 107134178/22568001
2181.40/2182.77	c cleaning 211888 clauses out of 428163 with flag 108092631/22781002
2207.41/2208.86	c cleaning 212732 clauses out of 430274 with flag 109073445/22995001
2237.38/2239.64	c cleaning 213916 clauses out of 432541 with flag 110015602/23210000
2266.92/2269.27	c cleaning 214958 clauses out of 434626 with flag 110984019/23426001
2298.57/2301.10	c cleaning 215842 clauses out of 436668 with flag 111976460/23643001
2335.32/2337.95	c cleaning 217021 clauses out of 438825 with flag 113042348/23861000
2359.36/2361.94	c cleaning 217635 clauses out of 440804 with flag 113987166/24080000
2389.93/2392.69	c cleaning 218871 clauses out of 443169 with flag 114984201/24300000
2416.67/2419.43	c cleaning 220014 clauses out of 445298 with flag 115906492/24521000
2442.82/2446.01	c cleaning 221036 clauses out of 447284 with flag 116872196/24743000
2471.60/2474.82	c cleaning 221823 clauses out of 449249 with flag 117874537/24966001
2506.42/2509.74	c cleaning 222928 clauses out of 451425 with flag 118998649/25190000
2535.14/2538.47	c cleaning 223889 clauses out of 453498 with flag 120003433/25415001
2564.30/2567.66	c cleaning 224726 clauses out of 455610 with flag 120969334/25641002
2592.68/2596.09	c cleaning 225847 clauses out of 457882 with flag 121951191/25868000
2625.94/2629.49	c cleaning 226786 clauses out of 460035 with flag 122928207/26096000
2657.83/2661.49	c cleaning 227846 clauses out of 462251 with flag 123947063/26325002
2688.52/2692.24	c cleaning 228649 clauses out of 464405 with flag 124958159/26555002
2723.67/2727.42	c cleaning 229717 clauses out of 466754 with flag 126022629/26786000
2753.89/2757.69	c cleaning 230744 clauses out of 469038 with flag 127041928/27018001
2785.65/2789.22	c cleaning 231785 clauses out of 471293 with flag 128064998/27251000
2817.20/2820.82	c cleaning 232805 clauses out of 473509 with flag 129101868/27485001
2846.92/2850.69	c cleaning 233597 clauses out of 475705 with flag 130153033/27720002
2883.45/2887.27	c cleaning 234841 clauses out of 478106 with flag 131209424/27956000
2915.61/2919.48	c cleaning 235580 clauses out of 480266 with flag 132254913/28193001
2947.85/2951.74	c cleaning 236704 clauses out of 482686 with flag 133364141/28431001
2977.31/2981.22	c cleaning 237591 clauses out of 484981 with flag 134397664/28670000
3011.46/3015.46	c cleaning 238850 clauses out of 487392 with flag 135462981/28910002
3048.99/3053.15	c cleaning 239879 clauses out of 489541 with flag 136547563/29151001
3079.73/3084.04	c cleaning 240684 clauses out of 491665 with flag 137600001/29393004
3111.53/3115.97	c cleaning 241717 clauses out of 493978 with flag 138643160/29636001
3150.29/3154.77	c cleaning 242942 clauses out of 496260 with flag 139748195/29880000
3181.71/3186.22	c cleaning 243620 clauses out of 498319 with flag 140789011/30125001
3212.76/3217.35	c cleaning 244938 clauses out of 500698 with flag 141872488/30371000
3245.75/3250.42	c cleaning 245616 clauses out of 502761 with flag 142883867/30618001
3280.37/3285.05	c cleaning 246728 clauses out of 505144 with flag 143970824/30866000
3319.73/3324.65	c cleaning 248001 clauses out of 507416 with flag 145110971/31115000
3353.96/3358.98	c cleaning 248687 clauses out of 509415 with flag 146250948/31365000
3390.09/3395.16	c cleaning 249574 clauses out of 511728 with flag 147418279/31616000
3424.21/3429.32	c cleaning 250890 clauses out of 514154 with flag 148508213/31868000
3458.91/3464.04	c cleaning 251707 clauses out of 516264 with flag 149593864/32121000
3495.37/3500.66	c cleaning 252776 clauses out of 518558 with flag 150699416/32375001
3532.47/3537.85	c cleaning 253886 clauses out of 520784 with flag 151778673/32630003
3569.28/3574.77	c cleaning 254868 clauses out of 522895 with flag 152881703/32886000
3600.08/3605.62	c timeout
3600.08/3605.62	c starts		: 18677
3600.08/3605.63	c conflicts		: 33126092
3600.08/3605.63	c decisions		: 50007978
3600.08/3605.63	c propagations		: 1170510102
3600.08/3605.63	c inspects		: 50198278832
3600.08/3605.63	c shortcuts		: 0
3600.08/3605.63	c learnt literals	: 0
3600.08/3605.63	c learnt binary clauses	: 21
3600.08/3605.63	c learnt ternary clauses	: 94
3600.08/3605.63	c learnt constraints	: 33126092
3600.08/3605.63	c ignored constraints	: 0
3600.08/3605.63	c root simplifications	: 0
3600.08/3605.63	c removed literals (reason simplification)	: 33016598
3600.08/3605.64	c reason swapping (by a shorter reason)	: 0
3600.08/3605.64	c Calls to reduceDB	: 252
3600.08/3605.64	c Number of update (reduction) of LBD	: 12237100
3600.08/3605.64	c Imported unit clauses	: 0
3600.08/3605.64	c No decision after first conflict	: false
3600.08/3605.64	c number of reductions to clauses (during analyze)	: 0
3600.08/3605.64	c number of learned constraints concerned by reduction	: 0
3600.08/3605.64	c number of learning phase by resolution	: 0
3600.08/3605.64	c number of learning phase by cutting planes	: 0
3600.08/3605.64	c number of rounding to 1 operations	: 0
3600.08/3605.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3605.64	c number of reductions of the coefficients by power 2 	: 0
3600.08/3605.64	c number of right shift for reduction by power 2 	: 0
3600.08/3605.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3605.64	c number of ending skipping 	: 0
3600.08/3605.64	c number of internal skipping 	: 0
3600.08/3605.64	c number of derivation steps 	: 0
3600.08/3605.64	c number of skipped derivation steps 	: 0
3600.08/3605.64	c number of remaining unassigned 	: 0
3600.08/3605.64	c number of remaining assigned 	: 0
3600.08/3605.64	c number of falsified literals weakened from reason	: 0
3600.08/3605.64	c number of falsified literals weakened from conflict	: 0
3600.08/3605.64	c time for arithmetic operations	: 0
3600.08/3605.64	c minimum degree of deleted constraints	: null
3600.08/3605.64	c maximum degree of deleted constraints	: null
3600.08/3605.64	c number of deleted constraints	: 0
3600.08/3605.64	c speed (assignments/second)	: 324687.0429490261
3600.08/3605.64	c non guided choices	: 2647908
3600.35/3605.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 508098
3600.35/3605.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 21
3600.35/3605.81	s UNKNOWN
3600.35/3605.81	c Total wall clock time (in seconds): 3605.421

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: 63837 MiB (63339 MiB free)
  memory of node 1: 64465 MiB (63933 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517263-1751243585/watcher-4517263-1751243585 -o /tmp/evaluation-result-4517263-1751243585/solver-4517263-1751243585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751243585-32696 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517263-1751243585 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517263-1751243585.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32739, runsolver pid=32733
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.14 4.15 4.17 12/316 32816
/proc/meminfo: memFree=130269016/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=18930344 memory=45500 CPUtime=0.08 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 5411 0 0 0 5 3 0 0 20 0 18 0 40037629 19384672256 11375 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4732586 11375 4944 1 0 546674 0
[pid=32739/tid=32753] ppid=32733 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 4559 0 0 0 4 2 0 0 20 0 18 0 40037632 19384672256 11375 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=18930344 memory=15877 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384672256 11375 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=18930344 memory=58494082614266 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 40037639 19384672256 11375 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45500 KiB

[startup+0.2148 s]*
/proc/loadavg: 4.14 4.15 4.17 9/320 32820
/proc/meminfo: memFree=130253696/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=18930384 memory=49596 CPUtime=0.23 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 6073 0 0 0 20 3 0 0 20 0 18 0 40037629 19384713216 12399 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4732596 12399 5328 1 0 547211 0
[pid=32739/tid=32753] ppid=32733 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 4930 0 0 0 13 2 0 0 20 0 18 0 40037632 19384713216 12399 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384713216 12399 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 12399 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49596 KiB

[startup+0.319442 s]*
/proc/loadavg: 4.14 4.15 4.17 11/320 32820
/proc/meminfo: memFree=130224332/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=18930384 memory=57996 CPUtime=0.42 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 6638 0 0 0 37 5 0 0 20 0 18 0 40037629 19384713216 14499 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4732596 14499 5328 1 0 547679 0
[pid=32739/tid=32753] ppid=32733 vsize=18930384 memory=-6000919481329871468 CPUtime=0.25 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 5112 0 0 0 22 3 0 0 20 0 18 0 40037632 19384713216 14499 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384713216 14499 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 14499 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57996 KiB

[startup+0.700324 s]
/proc/loadavg: 4.14 4.15 4.17 13/321 32821
/proc/meminfo: memFree=130218472/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=18996948 memory=70100 CPUtime=1.09 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 7825 0 0 0 103 6 0 0 20 0 19 0 40037629 19452874752 17525 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4749237 17525 5424 1 0 548641 0
[pid=32739/tid=32753] ppid=32733 vsize=18996948 memory=17280 CPUtime=0.52 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 5362 0 0 0 48 4 0 0 20 0 19 0 40037632 19452874752 17557 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40037638 19452874752 17557 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 40037639 19452874752 17557 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70100 KiB

[startup+1.5003 s]
/proc/loadavg: 4.14 4.15 4.17 10/324 32824
/proc/meminfo: memFree=130102620/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=18996948 memory=141244 CPUtime=2.67 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 19814 0 0 0 254 13 0 0 20 0 19 0 40037629 19452874752 35311 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4749237 35311 5424 1 0 552845 0
[pid=32739/tid=32753] ppid=32733 vsize=18996948 memory=3200 CPUtime=1.22 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 5763 0 0 0 116 6 0 0 20 0 19 0 40037632 19452874752 35311 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40037638 19452874752 35311 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 40037639 19452874752 35311 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=18996948 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 40037690 19452874752 35311 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141244 KiB

[startup+3.10563 s]
/proc/loadavg: 4.14 4.15 4.17 7/328 32828
/proc/meminfo: memFree=129709436/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=180068 CPUtime=5.84 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 25360 0 0 0 568 16 0 0 20 0 20 0 40037629 19521036288 45017 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 45017 5456 1 0 554277 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=16264 CPUtime=2.75 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 6882 0 0 0 266 9 0 0 20 0 20 0 40037632 19521036288 45017 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 45017 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 45017 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 45017 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180068 KiB

[startup+6.30044 s]
/proc/loadavg: 4.29 4.18 4.18 5/331 32831
/proc/meminfo: memFree=128880472/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=472496 CPUtime=10.44 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 32703 0 0 0 1017 27 0 0 20 0 20 0 40037629 19521036288 118124 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 118124 5488 1 0 554508 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=0 CPUtime=5.86 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 7512 0 0 0 569 17 0 0 20 0 20 0 40037632 19521036288 118124 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 118124 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 118124 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=151508 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 118124 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 472496 KiB

[startup+12.7005 s]
/proc/loadavg: 4.26 4.18 4.18 5/331 32831
/proc/meminfo: memFree=127323836/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=896736 CPUtime=17.78 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 43250 0 0 0 1737 41 0 0 20 0 20 0 40037629 19521036288 224184 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 224184 5488 1 0 555066 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=151508 CPUtime=12.23 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 9455 0 0 0 1193 30 0 0 20 0 20 0 40037632 19521036288 224184 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=728132 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 224184 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 224184 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 224184 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 17.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 896736 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.17 4.18 5/331 32831
/proc/meminfo: memFree=125565952/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=1150580 CPUtime=30.53 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 44317 0 0 0 2998 55 0 0 20 0 20 0 40037629 19521036288 287645 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 287645 5488 1 0 555066 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=1115740 CPUtime=24.86 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 10035 0 0 0 2443 43 0 0 20 0 20 0 40037632 19521036288 287645 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=896604 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 287645 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 287645 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 287645 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 30.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1150580 KiB

[startup+51.1137 s]
/proc/loadavg: 4.21 4.17 4.18 5/331 32831
/proc/meminfo: memFree=124139556/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=1332880 CPUtime=56.06 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 44608 0 0 0 5533 73 0 0 20 0 20 0 40037629 19521036288 333220 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 333220 5488 1 0 555066 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=16264 CPUtime=50.16 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 10248 0 0 0 4957 59 0 0 20 0 20 0 40037632 19521036288 333220 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=1324688 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 333220 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/331 33006
/proc/meminfo: memFree=98864976/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3277.59 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 101752 0 0 0 326729 1030 0 0 20 0 20 0 40037629 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546178 5520 1 0 558940 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3236.57 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 40640 0 0 0 322817 840 0 0 20 0 20 0 40037632 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3277.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/330 33008
/proc/meminfo: memFree=98551116/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3337.34 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 102976 0 0 0 332689 1045 0 0 20 0 20 0 40037629 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546178 5520 1 0 558940 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3295.84 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 41593 0 0 0 328732 852 0 0 20 0 20 0 40037632 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3337.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/329 33010
/proc/meminfo: memFree=98201152/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3397.3 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 104122 0 0 0 338670 1060 0 0 20 0 20 0 40037629 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546178 5520 1 0 558940 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3355.38 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 42511 0 0 0 334674 864 0 0 20 0 20 0 40037632 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1650 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3397.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/329 33013
/proc/meminfo: memFree=97855124/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3457.2 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 104199 0 0 0 344645 1075 0 0 20 0 20 0 40037629 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546178 5520 1 0 558940 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3414.71 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 42514 0 0 0 340595 876 0 0 20 0 20 0 40037632 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=2184712 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3457.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 6/329 33015
/proc/meminfo: memFree=97557160/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3517.01 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 105132 0 0 0 350608 1093 0 0 20 0 20 0 40037629 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546178 5520 1 0 558940 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3473.97 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 43345 0 0 0 346506 891 0 0 20 0 20 0 40037632 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1704 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546178 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3517.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/331 33020
/proc/meminfo: memFree=97221656/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2185224 CPUtime=3576.85 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 106290 0 0 0 356579 1106 0 0 20 0 20 0 40037629 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546306 5520 1 0 559070 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=2184712 CPUtime=3532.91 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 44144 0 0 0 352389 902 0 0 20 0 20 0 40037632 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=2185224 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=16264 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=2185224 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3576.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.6 s]
/proc/loadavg: 4.12 4.12 4.13 5/331 33020
/proc/meminfo: memFree=97114460/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19063512 memory=2185224 CPUtime=3600.08 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 106842 0 0 0 358897 1111 0 0 20 0 20 0 40037629 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4765878 546306 5520 1 0 559083 0
[pid=32739/tid=32753] ppid=32733 vsize=19063512 memory=4764 CPUtime=3555.97 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) R 32733 32739 32315 0 -1 4194368 44486 0 0 0 354691 906 0 0 20 0 20 0 40037632 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19063512 memory=2185224 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1834 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32824] ppid=32733 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32824/stat : 32824 (Timer-0) S 32733 32739 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037690 19521036288 546306 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185224 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.24 s, system=11.1456 s

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

[startup+3605.8 s]
/proc/loadavg: 4.12 4.12 4.13 5/331 33020
/proc/meminfo: memFree=97114460/131382120 swapFree=33010160/33010684
[pid=32739] ppid=32733 vsize=19263204 memory=2185992 CPUtime=3600.35 cores=5,7
/proc/32739/stat : 32739 (java) S 32733 32739 32315 0 -1 4194304 108952 0 0 0 358922 1113 0 0 20 0 21 0 40037629 19725520896 546498 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
/proc/32739/statm: 4815801 546498 5520 1 0 560018 0
[pid=32739/tid=32753] ppid=32733 vsize=19263204 memory=17280 CPUtime=3555.99 cores=5,7
/proc/32739/task/32753/stat : 32753 (java) S 32733 32739 32315 0 -1 4194368 44887 0 0 0 354693 906 0 0 20 0 21 0 40037632 19725520896 546498 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32785] ppid=32733 vsize=19263204 memory=10496 CPUtime=0 cores=5,7
/proc/32739/task/32785/stat : 32785 (Finalizer) S 32733 32739 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 40037638 19725520896 546498 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
[pid=32739/tid=32807] ppid=32733 vsize=19263204 memory=5504 CPUtime=0 cores=5,7
/proc/32739/task/32807/stat : 32807 (Common-Cleaner) S 32733 32739 32315 0 -1 4194368 1834 0 0 0 0 0 0 0 20 0 21 0 40037639 19725520896 546498 18446744073709551615 94531881631744 94531881635440 140726003985376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94531881643256 94531881644048 94531902210048 140726003992880 140726003993062 140726003993062 140726003998664 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2185992 KiB

Child status: 143

Real time (s): 3605.85
CPU time (s): 3600.39
CPU user time (s): 3589.24
CPU system time (s): 11.1456
CPU usage (%): 99.8484
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2185992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.24
system time used= 11.1456
maximum resident set size= 2186120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16745688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118230
involuntary context switches= 32580


# summary of solver processes directly reported to runsolver:
#   pid: 32739
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3589.24
#   total CPU system time (s): 11.1456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.1639 second user time and 29.3915 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 02:33:05
IDJOB=4517263
IDBENCH=176048
IDSOLVER=3364
FILE ID=nodeC008/4517263-1751243585
RUNJOBID= nodeC008-1751243585-32696
SLURM_JOB_ID= 9587726
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517263-1751243585/watcher-4517263-1751243585 -o /tmp/evaluation-result-4517263-1751243585/solver-4517263-1751243585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751243585-32696 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517263-1751243585 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517263-1751243585.opb

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

MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=1814985426

nodeC008 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		: 1197.087
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.72
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		: 1197.124
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.72
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.223
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.72
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.188
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.72
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		: 1197.211
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.72
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.313
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.72
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		: 1196.808
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.207
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130311924 kB
MemAvailable:   129938316 kB
Buffers:            2144 kB
Cached:           416468 kB
SwapCached:            4 kB
Active:           288628 kB
Inactive:         200756 kB
Active(anon):      51884 kB
Inactive(anon):    36808 kB
Active(file):     236744 kB
Inactive(file):   163948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2336 kB
Writeback:            20 kB
AnonPages:         73920 kB
Mapped:           102624 kB
Shmem:             17916 kB
KReclaimable:      87968 kB
Slab:             170456 kB
SReclaimable:      87968 kB
SUnreclaim:        82488 kB
KernelStack:        3904 kB
PageTables:         2844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-30 03:33:11