Trace number 4517262

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.21 3604.6

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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4517262-1751243452.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.28/0.22	c ... done. Wall clock time 0.065s.
0.28/0.22	c declared #vars     2440
0.28/0.22	c #constraints  2561
0.28/0.22	c constraints type 
0.28/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1040
0.28/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1521
0.28/0.22	c 2561 constraints processed.
1.05/0.67	c cleaning 2490 clauses out of 5001 with flag 29996/5001
1.63/0.94	c cleaning 4240 clauses out of 8513 with flag 65088/11003
2.03/1.15	c cleaning 5604 clauses out of 11270 with flag 110088/18000
2.38/1.39	c cleaning 6793 clauses out of 13668 with flag 161614/26002
2.87/1.63	c cleaning 7918 clauses out of 15873 with flag 227694/35000
3.24/1.89	c cleaning 8957 clauses out of 17956 with flag 292586/45001
3.96/2.41	c cleaning 9979 clauses out of 19999 with flag 381224/56001
4.36/2.83	c cleaning 10986 clauses out of 22019 with flag 466437/68000
4.67/3.14	c cleaning 12003 clauses out of 24033 with flag 538072/81000
5.26/3.74	c cleaning 13000 clauses out of 26033 with flag 645122/95003
5.67/4.14	c cleaning 13979 clauses out of 28030 with flag 750013/110000
6.16/4.68	c cleaning 14997 clauses out of 30052 with flag 850143/126001
6.99/5.42	c cleaning 16009 clauses out of 32054 with flag 957262/143000
7.51/5.94	c cleaning 17003 clauses out of 34045 with flag 1066250/161000
8.11/6.59	c cleaning 17996 clauses out of 36042 with flag 1188999/180000
8.91/7.39	c cleaning 18995 clauses out of 38047 with flag 1322807/200001
9.94/8.15	c cleaning 19996 clauses out of 40053 with flag 1445696/221002
10.71/8.84	c cleaning 21018 clauses out of 42056 with flag 1580857/243001
11.42/9.53	c cleaning 22016 clauses out of 44039 with flag 1728280/266002
12.42/10.54	c cleaning 22990 clauses out of 46021 with flag 1898415/290000
13.32/11.43	c cleaning 23991 clauses out of 48031 with flag 2059532/315000
14.11/12.25	c cleaning 24973 clauses out of 50041 with flag 2211747/341001
14.92/13.09	c cleaning 26000 clauses out of 52067 with flag 2377210/368000
15.81/13.91	c cleaning 27017 clauses out of 54068 with flag 2536743/396001
16.81/14.96	c cleaning 28011 clauses out of 56051 with flag 2720876/425001
18.01/16.11	c cleaning 28992 clauses out of 58040 with flag 2909265/455001
19.40/17.58	c cleaning 29996 clauses out of 60048 with flag 3109420/486001
20.80/18.93	c cleaning 31011 clauses out of 62051 with flag 3295101/518000
22.01/20.19	c cleaning 31988 clauses out of 64041 with flag 3488247/551001
23.70/21.82	c cleaning 32981 clauses out of 66052 with flag 3709779/585000
24.79/22.94	c cleaning 34019 clauses out of 68071 with flag 3901889/620000
26.17/24.33	c cleaning 34994 clauses out of 70052 with flag 4102817/656000
27.66/25.87	c cleaning 36002 clauses out of 72058 with flag 4306208/693000
29.05/27.22	c cleaning 37011 clauses out of 74057 with flag 4518433/731001
30.85/29.01	c cleaning 37984 clauses out of 76045 with flag 4757299/770000
32.54/30.75	c cleaning 38969 clauses out of 78062 with flag 4993571/810001
34.36/32.57	c cleaning 39999 clauses out of 80092 with flag 5228883/851000
35.86/34.06	c cleaning 41036 clauses out of 82093 with flag 5460679/893000
37.96/36.12	c cleaning 42004 clauses out of 84058 with flag 5717661/936001
40.25/38.41	c cleaning 43010 clauses out of 86054 with flag 5972938/980001
42.34/40.55	c cleaning 43984 clauses out of 88046 with flag 6246663/1025003
44.34/42.56	c cleaning 45003 clauses out of 90059 with flag 6512785/1071000
46.37/44.55	c cleaning 45992 clauses out of 92056 with flag 6767155/1118000
48.27/46.46	c cleaning 47017 clauses out of 94064 with flag 7023441/1166000
50.36/48.53	c cleaning 47997 clauses out of 96047 with flag 7294172/1215000
52.46/50.61	c cleaning 48984 clauses out of 98051 with flag 7553608/1265001
54.96/53.00	c cleaning 50013 clauses out of 100068 with flag 7827511/1316002
58.05/56.18	c cleaning 50988 clauses out of 102053 with flag 8128916/1368000
60.97/59.09	c cleaning 51963 clauses out of 104066 with flag 8445395/1421001
63.65/61.73	c cleaning 53015 clauses out of 106102 with flag 8758385/1475000
67.44/65.52	c cleaning 54005 clauses out of 108088 with flag 9104025/1530001
70.14/68.20	c cleaning 55024 clauses out of 110083 with flag 9408386/1586001
73.04/71.14	c cleaning 56000 clauses out of 112060 with flag 9736322/1643002
75.75/73.81	c cleaning 56997 clauses out of 114058 with flag 10036556/1701000
78.24/76.36	c cleaning 57979 clauses out of 116063 with flag 10346520/1760002
81.14/79.28	c cleaning 59015 clauses out of 118083 with flag 10666397/1820001
84.73/82.87	c cleaning 59982 clauses out of 120067 with flag 10992286/1881000
88.03/86.18	c cleaning 61027 clauses out of 122085 with flag 11336581/1943000
91.05/89.15	c cleaning 62024 clauses out of 124059 with flag 11662553/2006001
94.44/92.59	c cleaning 62977 clauses out of 126034 with flag 11996661/2070000
97.43/95.54	c cleaning 64003 clauses out of 128058 with flag 12335526/2135001
100.62/98.79	c cleaning 65012 clauses out of 130054 with flag 12683771/2201000
104.13/102.28	c cleaning 66005 clauses out of 132042 with flag 13046954/2268000
107.60/105.76	c cleaning 66988 clauses out of 134037 with flag 13401527/2336000
110.99/109.15	c cleaning 68014 clauses out of 136050 with flag 13738548/2405001
114.57/112.75	c cleaning 68971 clauses out of 138035 with flag 14096827/2475000
118.48/116.64	c cleaning 70005 clauses out of 140065 with flag 14438165/2546001
122.56/120.78	c cleaning 71008 clauses out of 142061 with flag 14831851/2618002
127.05/125.28	c cleaning 72007 clauses out of 144054 with flag 15208942/2691003
131.04/129.21	c cleaning 72971 clauses out of 146045 with flag 15582687/2765001
134.94/133.11	c cleaning 74023 clauses out of 148075 with flag 15972196/2840002
139.43/137.68	c cleaning 75017 clauses out of 150051 with flag 16380338/2916001
143.82/142.09	c cleaning 76009 clauses out of 152033 with flag 16769649/2993000
149.74/147.97	c cleaning 76980 clauses out of 154024 with flag 17179366/3071000
154.33/152.51	c cleaning 77995 clauses out of 156044 with flag 17575264/3150000
159.02/157.29	c cleaning 78990 clauses out of 158052 with flag 17978069/3230003
163.40/161.66	c cleaning 80011 clauses out of 160060 with flag 18394322/3311001
168.23/166.49	c cleaning 80979 clauses out of 162048 with flag 18794899/3393000
172.92/171.17	c cleaning 82018 clauses out of 164070 with flag 19193483/3476001
178.20/176.49	c cleaning 83000 clauses out of 166051 with flag 19631101/3560000
182.90/181.17	c cleaning 83991 clauses out of 168052 with flag 20061250/3645001
187.76/186.08	c cleaning 84954 clauses out of 170061 with flag 20477796/3731001
193.30/191.69	c cleaning 86031 clauses out of 172107 with flag 20921617/3818001
199.69/198.01	c cleaning 87018 clauses out of 174076 with flag 21404665/3906001
205.07/203.40	c cleaning 88007 clauses out of 176059 with flag 21834250/3995002
210.46/208.89	c cleaning 89007 clauses out of 178053 with flag 22266857/4085003
215.77/214.13	c cleaning 90013 clauses out of 180046 with flag 22712164/4176003
221.62/220.02	c cleaning 90973 clauses out of 182031 with flag 23149928/4268001
227.78/226.24	c cleaning 92024 clauses out of 184057 with flag 23634453/4361000
234.16/232.65	c cleaning 92994 clauses out of 186033 with flag 24092332/4455000
240.05/238.60	c cleaning 94004 clauses out of 188039 with flag 24559594/4550000
246.28/244.72	c cleaning 94993 clauses out of 190035 with flag 25022868/4646000
252.87/251.35	c cleaning 95998 clauses out of 192042 with flag 25489941/4743000
259.16/257.61	c cleaning 96989 clauses out of 194045 with flag 26006101/4841001
265.44/263.95	c cleaning 98011 clauses out of 196055 with flag 26462050/4940000
272.22/270.74	c cleaning 98992 clauses out of 198045 with flag 26962692/5040001
278.90/277.43	c cleaning 100000 clauses out of 200053 with flag 27460567/5141001
285.85/284.37	c cleaning 101010 clauses out of 202052 with flag 27958758/5243000
292.33/290.80	c cleaning 101995 clauses out of 204042 with flag 28441226/5346000
302.41/300.96	c cleaning 102972 clauses out of 206048 with flag 28984185/5450001
308.99/307.56	c cleaning 104009 clauses out of 208075 with flag 29498646/5555000
316.97/315.51	c cleaning 104997 clauses out of 210067 with flag 30011273/5661001
323.41/321.93	c cleaning 105984 clauses out of 212070 with flag 30518455/5768001
330.59/329.16	c cleaning 107036 clauses out of 214085 with flag 31040810/5876000
337.77/336.31	c cleaning 108006 clauses out of 216052 with flag 31566750/5985003
345.35/343.93	c cleaning 108995 clauses out of 218043 with flag 32099481/6095000
353.23/351.81	c cleaning 110004 clauses out of 220048 with flag 32659702/6206000
361.11/359.78	c cleaning 110964 clauses out of 222045 with flag 33169577/6318001
368.66/367.25	c cleaning 112032 clauses out of 224083 with flag 33690428/6431003
376.45/375.06	c cleaning 113001 clauses out of 226049 with flag 34231996/6545001
384.43/383.04	c cleaning 113999 clauses out of 228048 with flag 34767213/6660001
394.10/392.79	c cleaning 115016 clauses out of 230048 with flag 35348936/6776000
402.97/401.61	c cleaning 115994 clauses out of 232032 with flag 35936975/6893000
411.25/410.00	c cleaning 116983 clauses out of 234038 with flag 36482978/7011000
418.83/417.58	c cleaning 118009 clauses out of 236055 with flag 37025366/7130000
426.67/425.34	c cleaning 119001 clauses out of 238046 with flag 37580281/7250000
435.66/434.30	c cleaning 119969 clauses out of 240045 with flag 38178017/7371000
443.74/442.48	c cleaning 121000 clauses out of 242078 with flag 38729182/7493002
452.51/451.26	c cleaning 121989 clauses out of 244076 with flag 39283276/7616000
461.09/459.89	c cleaning 122999 clauses out of 246087 with flag 39858883/7740000
470.07/468.88	c cleaning 124029 clauses out of 248089 with flag 40447674/7865001
479.75/478.59	c cleaning 124990 clauses out of 250060 with flag 41036606/7991001
489.42/488.12	c cleaning 126026 clauses out of 252075 with flag 41613546/8118006
498.59/497.38	c cleaning 126981 clauses out of 254044 with flag 42200180/8246001
508.37/507.16	c cleaning 128017 clauses out of 256063 with flag 42807735/8375001
517.84/516.63	c cleaning 128950 clauses out of 258045 with flag 43381908/8505000
528.22/527.01	c cleaning 130030 clauses out of 260096 with flag 43989118/8636001
538.09/536.95	c cleaning 130999 clauses out of 262066 with flag 44606142/8768001
547.98/546.80	c cleaning 131996 clauses out of 264067 with flag 45203929/8901001
557.65/556.57	c cleaning 133011 clauses out of 266072 with flag 45801796/9035002
567.83/566.78	c cleaning 134024 clauses out of 268059 with flag 46433606/9170000
578.26/577.11	c cleaning 135003 clauses out of 270036 with flag 47038662/9306001
589.03/587.96	c cleaning 135980 clauses out of 272032 with flag 47692860/9443000
599.11/598.05	c cleaning 137008 clauses out of 274052 with flag 48303430/9581000
609.09/608.10	c cleaning 137974 clauses out of 276044 with flag 48932329/9720000
619.76/618.79	c cleaning 138991 clauses out of 278070 with flag 49553767/9860000
630.63/629.62	c cleaning 140024 clauses out of 280080 with flag 50192494/10001001
641.61/640.60	c cleaning 141005 clauses out of 282058 with flag 50823852/10143003
652.48/651.57	c cleaning 142012 clauses out of 284050 with flag 51443977/10286000
664.66/663.70	c cleaning 143009 clauses out of 286038 with flag 52095550/10430000
677.41/676.42	c cleaning 143978 clauses out of 288029 with flag 52747691/10575000
689.68/688.79	c cleaning 144990 clauses out of 290052 with flag 53421028/10721001
701.16/700.26	c cleaning 146008 clauses out of 292061 with flag 54054421/10868000
716.81/715.95	c cleaning 147007 clauses out of 294053 with flag 54776877/11016000
729.99/729.15	c cleaning 147987 clauses out of 296046 with flag 55493485/11165000
743.14/742.38	c cleaning 149010 clauses out of 298059 with flag 56182569/11315000
756.50/755.73	c cleaning 149999 clauses out of 300049 with flag 56901018/11466000
768.48/767.77	c cleaning 150862 clauses out of 302051 with flag 57574495/11618001
782.34/781.66	c cleaning 152052 clauses out of 304188 with flag 58262150/11771000
795.55/794.42	c cleaning 153032 clauses out of 306136 with flag 58926849/11925000
808.01/806.93	c cleaning 154038 clauses out of 308104 with flag 59613970/12080000
821.87/820.86	c cleaning 155029 clauses out of 310066 with flag 60277158/12236000
835.57/834.57	c cleaning 156001 clauses out of 312039 with flag 60962319/12393002
848.83/847.84	c cleaning 156991 clauses out of 314040 with flag 61678671/12551004
861.60/860.60	c cleaning 157749 clauses out of 316046 with flag 62379785/12710001
875.06/874.14	c cleaning 158994 clauses out of 318296 with flag 63081990/12870000
889.52/888.63	c cleaning 159987 clauses out of 320302 with flag 63831505/13031000
903.08/902.23	c cleaning 161038 clauses out of 322315 with flag 64564073/13193000
918.45/917.69	c cleaning 161828 clauses out of 324277 with flag 65300794/13356000
934.81/934.01	c cleaning 162991 clauses out of 326450 with flag 66082216/13520001
951.47/950.70	c cleaning 164194 clauses out of 328459 with flag 66843489/13685001
970.41/969.78	c cleaning 164923 clauses out of 330265 with flag 67625241/13851001
984.78/984.12	c cleaning 165966 clauses out of 332341 with flag 68425190/14018000
999.74/999.17	c cleaning 166922 clauses out of 334376 with flag 69169725/14186001
1014.50/1013.90	c cleaning 168056 clauses out of 336453 with flag 69949709/14355000
1031.05/1030.50	c cleaning 169039 clauses out of 338397 with flag 70712400/14525000
1047.21/1046.71	c cleaning 169915 clauses out of 340358 with flag 71467005/14696000
1063.37/1062.93	c cleaning 171170 clauses out of 342443 with flag 72301289/14868000
1078.72/1078.35	c cleaning 171604 clauses out of 344274 with flag 73061825/15041001
1096.05/1095.60	c cleaning 173059 clauses out of 346669 with flag 73882004/15215000
1111.95/1111.64	c cleaning 173858 clauses out of 348610 with flag 74681420/15390000
1129.11/1128.80	c cleaning 174642 clauses out of 350752 with flag 75464031/15566000
1148.86/1148.63	c cleaning 175911 clauses out of 353111 with flag 76300544/15743001
1166.23/1166.06	c cleaning 176894 clauses out of 355200 with flag 77154330/15921001
1184.09/1183.91	c cleaning 177803 clauses out of 357305 with flag 77987525/16100000
1202.74/1202.65	c cleaning 179097 clauses out of 359503 with flag 78788072/16280001
1222.89/1222.80	c cleaning 179927 clauses out of 361406 with flag 79604135/16461001
1241.28/1241.21	c cleaning 180953 clauses out of 363480 with flag 80464013/16643002
1257.99/1258.07	c cleaning 182082 clauses out of 365525 with flag 81275310/16826000
1276.75/1276.86	c cleaning 182848 clauses out of 367444 with flag 82116154/17010001
1294.80/1294.95	c cleaning 183834 clauses out of 369595 with flag 82908705/17195000
1313.05/1313.20	c cleaning 184833 clauses out of 371761 with flag 83699771/17381000
1331.62/1331.86	c cleaning 186092 clauses out of 373928 with flag 84526253/17568000
1351.27/1351.57	c cleaning 186907 clauses out of 375836 with flag 85346473/17756000
1376.53/1376.76	c cleaning 188140 clauses out of 377930 with flag 86300735/17945001
1397.38/1397.65	c cleaning 188834 clauses out of 379791 with flag 87154855/18135002
1416.84/1417.15	c cleaning 189971 clauses out of 381955 with flag 88053257/18326000
1436.09/1436.40	c cleaning 190623 clauses out of 383985 with flag 88901202/18518001
1454.35/1454.73	c cleaning 191901 clauses out of 386362 with flag 89775271/18711001
1472.80/1473.22	c cleaning 192845 clauses out of 388460 with flag 90614117/18905000
1497.55/1498.03	c cleaning 193838 clauses out of 390615 with flag 91610296/19100000
1518.80/1519.21	c cleaning 195047 clauses out of 392777 with flag 92501867/19296000
1540.57/1541.10	c cleaning 196165 clauses out of 394731 with flag 93470661/19493001
1560.41/1560.92	c cleaning 196780 clauses out of 396566 with flag 94393393/19691001
1579.77/1580.34	c cleaning 197968 clauses out of 398785 with flag 95276799/19890000
1600.12/1600.72	c cleaning 199008 clauses out of 400818 with flag 96152732/20090001
1623.57/1624.23	c cleaning 199830 clauses out of 402813 with flag 97084826/20291004
1643.63/1644.33	c cleaning 200883 clauses out of 404981 with flag 97968245/20493002
1663.97/1664.77	c cleaning 201766 clauses out of 407097 with flag 98904003/20696001
1685.38/1686.06	c cleaning 202929 clauses out of 409330 with flag 99830697/20900000
1705.33/1706.05	c cleaning 203801 clauses out of 411402 with flag 100743719/21105001
1725.98/1726.76	c cleaning 205027 clauses out of 413600 with flag 101619004/21311000
1745.63/1746.44	c cleaning 206037 clauses out of 415573 with flag 102573434/21518000
1766.49/1767.35	c cleaning 206761 clauses out of 417536 with flag 103474575/21726000
1788.43/1789.32	c cleaning 207928 clauses out of 419775 with flag 104389821/21935000
1809.48/1810.40	c cleaning 208916 clauses out of 421849 with flag 105279137/22145002
1830.54/1831.52	c cleaning 209975 clauses out of 423934 with flag 106225880/22356003
1852.09/1853.14	c cleaning 210795 clauses out of 425957 with flag 107134178/22568001
1874.73/1875.88	c cleaning 211888 clauses out of 428163 with flag 108092631/22781002
1898.18/1899.36	c cleaning 212732 clauses out of 430274 with flag 109073445/22995001
1923.82/1925.09	c cleaning 213916 clauses out of 432541 with flag 110015602/23210000
1949.77/1951.09	c cleaning 214958 clauses out of 434626 with flag 110984019/23426001
1977.20/1978.51	c cleaning 215842 clauses out of 436668 with flag 111976460/23643001
2008.23/2009.68	c cleaning 217021 clauses out of 438825 with flag 113042348/23861000
2030.16/2031.61	c cleaning 217635 clauses out of 440804 with flag 113987166/24080000
2056.30/2057.86	c cleaning 218871 clauses out of 443169 with flag 114984201/24300000
2080.04/2081.67	c cleaning 220014 clauses out of 445298 with flag 115906492/24521000
2104.59/2106.25	c cleaning 221036 clauses out of 447284 with flag 116872196/24743000
2131.12/2132.83	c cleaning 221823 clauses out of 449249 with flag 117874537/24966001
2164.95/2166.76	c cleaning 222928 clauses out of 451425 with flag 118998649/25190000
2190.78/2192.68	c cleaning 223889 clauses out of 453498 with flag 120003433/25415001
2214.74/2216.60	c cleaning 224726 clauses out of 455610 with flag 120969334/25641002
2240.91/2242.37	c cleaning 225847 clauses out of 457882 with flag 121951191/25868000
2268.95/2270.41	c cleaning 226786 clauses out of 460035 with flag 122928207/26096000
2294.89/2296.42	c cleaning 227846 clauses out of 462251 with flag 123947063/26325002
2321.93/2323.51	c cleaning 228649 clauses out of 464405 with flag 124958159/26555002
2352.36/2354.10	c cleaning 229717 clauses out of 466754 with flag 126022629/26786000
2377.21/2378.93	c cleaning 230744 clauses out of 469038 with flag 127041928/27018001
2404.64/2406.48	c cleaning 231785 clauses out of 471293 with flag 128064998/27251000
2433.58/2435.41	c cleaning 232805 clauses out of 473509 with flag 129101868/27485001
2459.54/2461.44	c cleaning 233597 clauses out of 475705 with flag 130153033/27720002
2492.76/2494.70	c cleaning 234841 clauses out of 478106 with flag 131209424/27956000
2521.89/2524.00	c cleaning 235580 clauses out of 480266 with flag 132254913/28193001
2551.03/2553.17	c cleaning 236704 clauses out of 482686 with flag 133364141/28431001
2578.06/2580.28	c cleaning 237591 clauses out of 484981 with flag 134397664/28670000
2608.10/2610.36	c cleaning 238850 clauses out of 487392 with flag 135462981/28910002
2640.41/2642.71	c cleaning 239879 clauses out of 489541 with flag 136547563/29151001
2668.54/2670.90	c cleaning 240684 clauses out of 491665 with flag 137600001/29393004
2696.87/2699.39	c cleaning 241717 clauses out of 493978 with flag 138643160/29636001
2730.59/2733.10	c cleaning 242942 clauses out of 496260 with flag 139748195/29880000
2758.68/2761.38	c cleaning 243620 clauses out of 498319 with flag 140789011/30125001
2786.81/2789.51	c cleaning 244938 clauses out of 500698 with flag 141872488/30371000
2815.64/2818.43	c cleaning 245616 clauses out of 502761 with flag 142883867/30618001
2845.37/2848.27	c cleaning 246728 clauses out of 505144 with flag 143970824/30866000
2878.49/2881.41	c cleaning 248001 clauses out of 507416 with flag 145110971/31115000
2909.23/2912.21	c cleaning 248687 clauses out of 509415 with flag 146250948/31365000
2941.95/2945.04	c cleaning 249574 clauses out of 511728 with flag 147418279/31616000
2971.68/2974.85	c cleaning 250890 clauses out of 514154 with flag 148508213/31868000
3002.70/3005.91	c cleaning 251707 clauses out of 516264 with flag 149593864/32121000
3033.71/3036.86	c cleaning 252776 clauses out of 518558 with flag 150699416/32375001
3065.14/3068.35	c cleaning 253886 clauses out of 520784 with flag 151778673/32630003
3095.97/3099.24	c cleaning 254868 clauses out of 522895 with flag 152881703/32886000
3125.50/3128.81	c cleaning 255439 clauses out of 525027 with flag 153934257/33143000
3157.33/3160.78	c cleaning 256613 clauses out of 527588 with flag 155034948/33401000
3189.25/3192.78	c cleaning 257402 clauses out of 529976 with flag 156140656/33660001
3221.06/3224.60	c cleaning 258783 clauses out of 532574 with flag 157257198/33920001
3253.68/3257.37	c cleaning 259723 clauses out of 534791 with flag 158392227/34181001
3286.41/3290.19	c cleaning 260668 clauses out of 537067 with flag 159489947/34443000
3319.01/3322.77	c cleaning 261829 clauses out of 539399 with flag 160658195/34706000
3354.02/3357.84	c cleaning 262732 clauses out of 541570 with flag 161901673/34970000
3386.33/3390.29	c cleaning 263785 clauses out of 543840 with flag 163073068/35235002
3435.20/3439.20	c cleaning 265098 clauses out of 546055 with flag 164389944/35501002
3468.71/3472.89	c cleaning 265383 clauses out of 547957 with flag 165540175/35768002
3501.12/3505.30	c cleaning 266756 clauses out of 550573 with flag 166709611/36036001
3535.14/3539.41	c cleaning 267620 clauses out of 552819 with flag 167849302/36305003
3569.85/3574.24	c cleaning 268678 clauses out of 555196 with flag 169006887/36575000
3600.06/3604.51	c starts		: 20882
3600.06/3604.51	c conflicts		: 36824321
3600.06/3604.51	c decisions		: 55548607
3600.06/3604.51	c propagations		: 1297913756
3600.06/3604.51	c inspects		: 57912165187
3600.06/3604.51	c shortcuts		: 0
3600.06/3604.51	c learnt literals	: 0
3600.06/3604.51	c learnt binary clauses	: 21
3600.06/3604.51	c learnt ternary clauses	: 94
3600.06/3604.51	c learnt constraints	: 36824321
3600.06/3604.51	c ignored constraints	: 0
3600.06/3604.51	c root simplifications	: 0
3600.06/3604.51	c removed literals (reason simplification)	: 37311617
3600.06/3604.51	c reason swapping (by a shorter reason)	: 0
3600.06/3604.51	c Calls to reduceDB	: 266
3600.06/3604.51	c Number of update (reduction) of LBD	: 13557569
3600.06/3604.51	c Imported unit clauses	: 0
3600.06/3604.51	c No decision after first conflict	: false
3600.06/3604.51	c number of reductions to clauses (during analyze)	: 0
3600.06/3604.51	c number of learned constraints concerned by reduction	: 0
3600.06/3604.51	c number of learning phase by resolution	: 0
3600.06/3604.51	c number of learning phase by cutting planes	: 0
3600.06/3604.51	c number of rounding to 1 operations	: 0
3600.06/3604.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3604.51	c number of reductions of the coefficients by power 2 	: 0
3600.06/3604.51	c number of right shift for reduction by power 2 	: 0
3600.06/3604.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3604.51	c number of ending skipping 	: 0
3600.06/3604.52	c number of internal skipping 	: 0
3600.06/3604.52	c number of derivation steps 	: 0
3600.06/3604.52	c number of skipped derivation steps 	: 0
3600.06/3604.52	c number of remaining unassigned 	: 0
3600.06/3604.52	c number of remaining assigned 	: 0
3600.06/3604.52	c number of falsified literals weakened from reason	: 0
3600.06/3604.52	c number of falsified literals weakened from conflict	: 0
3600.06/3604.52	c time for arithmetic operations	: 0
3600.06/3604.52	c minimum degree of deleted constraints	: null
3600.06/3604.52	c maximum degree of deleted constraints	: null
3600.06/3604.52	c number of deleted constraints	: 0
3600.06/3604.52	c speed (assignments/second)	: 360101.9772243948
3600.06/3604.52	c non guided choices	: 2927879
3600.06/3604.53	c timeout
3600.06/3604.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 535818
3600.06/3604.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 21
3600.06/3604.58	s UNKNOWN
3600.06/3604.58	c Total wall clock time (in seconds): 3604.433

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63001 MiB free)
  memory of node 1: 64465 MiB (63973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517262-1751243452/watcher-4517262-1751243452 -o /tmp/evaluation-result-4517262-1751243452/solver-4517262-1751243452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751243452-32818 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517262-1751243452.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32864, runsolver pid=32856
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.60 0.99 1.57 8/331 32944
/proc/meminfo: memFree=129924804/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18930384 memory=52952 CPUtime=0.1 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 6329 0 87 0 8 2 0 0 20 0 18 0 39967714 19384713216 13238 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4732596 13238 5345 1 0 547488 0
[pid=32864/tid=32873] ppid=32856 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 4903 0 87 0 4 1 0 0 20 0 18 0 39967717 19384713216 13270 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18930384 memory=16124 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39967719 19384713216 13270 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39967720 19384713216 13270 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52952 KiB

[startup+0.205959 s]*
/proc/loadavg: 0.60 0.99 1.57 14/331 32944
/proc/meminfo: memFree=129907020/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18930384 memory=64004 CPUtime=0.28 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 6963 0 87 0 26 2 0 0 20 0 18 0 39967714 19384713216 16001 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4732596 16001 5441 1 0 547906 0
[pid=32864/tid=32873] ppid=32856 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 5208 0 87 0 14 1 0 0 20 0 18 0 39967717 19384713216 16001 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18930384 memory=16124 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39967719 19384713216 16001 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39967720 19384713216 16001 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64004 KiB

[startup+0.305799 s]*
/proc/loadavg: 0.60 0.99 1.57 9/335 32948
/proc/meminfo: memFree=129892088/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18996948 memory=71208 CPUtime=0.48 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 8740 0 87 0 45 3 0 0 20 0 19 0 39967714 19452874752 17802 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4749237 17802 5441 1 0 549362 0
[pid=32864/tid=32873] ppid=32856 vsize=18996948 memory=-6000919472689539692 CPUtime=0.23 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 5264 0 87 0 21 2 0 0 20 0 19 0 39967717 19452874752 17802 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 17802 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 17802 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967737 19452874752 17802 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71208 KiB

[startup+0.700203 s]
/proc/loadavg: 0.60 0.99 1.57 9/335 32948
/proc/meminfo: memFree=129854852/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18996948 memory=84200 CPUtime=1.24 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 13416 0 87 0 120 4 0 0 20 0 19 0 39967714 19452874752 21050 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4749237 21050 5441 1 0 552005 0
[pid=32864/tid=32873] ppid=32856 vsize=18996948 memory=17408 CPUtime=0.59 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 5355 0 87 0 57 2 0 0 20 0 19 0 39967717 19452874752 21050 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 21050 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 21050 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967737 19452874752 21050 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84200 KiB

[startup+1.50024 s]
/proc/loadavg: 0.60 0.99 1.57 8/335 32948
/proc/meminfo: memFree=129818060/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18996948 memory=101184 CPUtime=2.73 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 20797 0 87 0 268 5 0 0 20 0 19 0 39967714 19452874752 25296 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4749237 25296 5441 1 0 553568 0
[pid=32864/tid=32873] ppid=32856 vsize=18996948 memory=0 CPUtime=1.38 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 5710 0 87 0 136 2 0 0 20 0 19 0 39967717 19452874752 25296 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 25296 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 25296 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967737 19452874752 25296 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101184 KiB

[startup+3.10566 s]
/proc/loadavg: 0.87 1.04 1.58 5/335 32948
/proc/meminfo: memFree=129696128/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18996948 memory=119520 CPUtime=4.67 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 22177 0 87 0 461 6 0 0 20 0 19 0 39967714 19452874752 29880 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4749237 29880 5473 1 0 553993 0
[pid=32864/tid=32873] ppid=32856 vsize=18996948 memory=10752 CPUtime=2.98 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 6008 0 87 0 295 3 0 0 20 0 19 0 39967717 19452874752 29880 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18996948 memory=-6000919481296251500 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 29880 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 29880 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967737 19452874752 29880 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119520 KiB

[startup+6.30015 s]
/proc/loadavg: 0.87 1.04 1.58 5/336 32949
/proc/meminfo: memFree=129582004/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=18996948 memory=148320 CPUtime=7.91 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 22780 0 87 0 784 7 0 0 20 0 19 0 39967714 19452874752 37080 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4749237 37080 5473 1 0 553995 0
[pid=32864/tid=32873] ppid=32856 vsize=18996948 memory=0 CPUtime=6.16 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 6115 0 87 0 613 3 0 0 20 0 19 0 39967717 19452874752 37080 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 37080 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 37080 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=18996948 memory=101184 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967737 19452874752 37080 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148320 KiB

[startup+12.7002 s]
/proc/loadavg: 1.20 1.10 1.60 5/338 32951
/proc/meminfo: memFree=129459644/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=187908 CPUtime=14.61 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 30509 0 87 0 1453 8 0 0 20 0 20 0 39967714 19521036288 46977 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 46977 5505 1 0 554284 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=101184 CPUtime=12.53 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 7210 0 87 0 1249 4 0 0 20 0 20 0 39967717 19521036288 46977 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=187908 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 46977 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 46977 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 46977 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187908 KiB

[startup+25.5002 s]
/proc/loadavg: 1.82 1.25 1.64 5/339 32952
/proc/meminfo: memFree=129390376/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=198224 CPUtime=27.36 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 32557 0 87 0 2727 9 0 0 20 0 20 0 39967714 19521036288 49556 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 49556 5505 1 0 554284 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=187908 CPUtime=25.24 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 7866 0 87 0 2520 4 0 0 20 0 20 0 39967717 19521036288 49556 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 49556 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=198224 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 49556 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=198224 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 49556 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 27.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198224 KiB

[startup+51.1057 s]
/proc/loadavg: 2.57 1.47 1.70 5/339 32953
/proc/meminfo: memFree=129153116/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=263972 CPUtime=52.96 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 34101 0 87 0 5285 11 0 0 20 0 20 0 39967714 19521036288 65993 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 65993 5505 1 0 554284 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=263972 CPUtime=50.7 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 8295 0 87 0 5066 4 0 0 20 0 20 0 39967717 19521036288 65993 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0

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

/proc/meminfo: memFree=122422080/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180780 CPUtime=3278.62 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 93154 0 87 0 327756 106 0 0 20 0 20 0 39967714 19521036288 545195 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545195 5505 1 0 558474 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=2180652 CPUtime=3269.87 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 41665 0 87 0 326969 18 0 0 20 0 20 0 39967717 19521036288 545195 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=2180652 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545195 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545195 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545195 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3278.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/340 33129
/proc/meminfo: memFree=122418056/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3338.56 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 93917 0 87 0 333749 107 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558509 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=-6000919481296251500 CPUtime=3329.62 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 41977 0 87 0 332944 18 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3338.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/339 33131
/proc/meminfo: memFree=122418256/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3398.4 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 94888 0 87 0 339733 107 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558509 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=-6000919481296251500 CPUtime=3389.44 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 42839 0 87 0 338926 18 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3398.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/340 33134
/proc/meminfo: memFree=122417984/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3458.24 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 95660 0 87 0 345715 109 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558509 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=-6000919481296251500 CPUtime=3449.26 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 43473 0 87 0 344908 18 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3458.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/341 33139
/proc/meminfo: memFree=122417588/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3518.08 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 95996 0 87 0 351699 109 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558509 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3509.09 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 43754 0 87 0 350891 18 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3518.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/341 33141
/proc/meminfo: memFree=122419164/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3577.92 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 97120 0 87 0 357681 111 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558511 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=14848 CPUtime=3568.92 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 44848 0 87 0 356873 19 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3577.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.11 4.11 4.05 3/297 33170
/proc/meminfo: memFree=126491500/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3600.06 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 97377 0 87 0 359895 111 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558513 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=14848 CPUtime=3591.05 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 45100 0 87 0 359086 19 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.1247 s

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

[startup+3604.5 s]
/proc/loadavg: 4.11 4.11 4.05 3/297 33170
/proc/meminfo: memFree=126491500/131250000 swapFree=33010684/33010684
[pid=32864] ppid=32856 vsize=19063512 memory=2180908 CPUtime=3600.06 cores=4,6
/proc/32864/stat : 32864 (java) S 32856 32864 32807 0 -1 4194304 97377 0 87 0 359895 111 0 0 20 0 20 0 39967714 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
/proc/32864/statm: 4765878 545227 5505 1 0 558513 0
[pid=32864/tid=32873] ppid=32856 vsize=19063512 memory=14848 CPUtime=3591.05 cores=4,6
/proc/32864/task/32873/stat : 32873 (java) R 32856 32864 32807 0 -1 4194368 45100 0 87 0 359086 19 0 0 20 0 20 0 39967717 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32899] ppid=32856 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/32864/task/32899/stat : 32899 (Finalizer) S 32856 32864 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32916] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32916/stat : 32916 (Common-Cleaner) S 32856 32864 32807 0 -1 4194368 1786 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
[pid=32864/tid=32947] ppid=32856 vsize=19063512 memory=2180908 CPUtime=0 cores=4,6
/proc/32864/task/32947/stat : 32947 (Timer-0) S 32856 32864 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967737 19521036288 545227 18446744073709551615 94741318934528 94741318938224 140737411363232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741318946040 94741318946832 94741328965632 140737411369345 140737411369446 140737411369446 140737411375048 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180908 KiB

Child status: 143

Real time (s): 3604.6
CPU time (s): 3600.21
CPU user time (s): 3599.09
CPU system time (s): 1.1247
CPU usage (%): 99.8783
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2180908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.1247
maximum resident set size= 2182188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99601
page faults= 87
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104065
involuntary context switches= 6696


# summary of solver processes directly reported to runsolver:
#   pid: 32864
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.1247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75709 second user time and 17.5003 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-06-30 02:30:52
IDJOB=4517262
IDBENCH=176048
IDSOLVER=3363
FILE ID=nodeC028/4517262-1751243452
RUNJOBID= nodeC028-1751243452-32818
SLURM_JOB_ID= 9587742
Free space on /tmp= 433064 MiB

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

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

MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=395492998

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130022920 kB
MemAvailable:   129752768 kB
Buffers:            3280 kB
Cached:           539224 kB
SwapCached:            0 kB
Active:           323456 kB
Inactive:         282796 kB
Active(anon):      81816 kB
Inactive(anon):        0 kB
Active(file):     241640 kB
Inactive(file):   282796 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               732 kB
Writeback:             0 kB
AnonPages:         67116 kB
Mapped:           102812 kB
Shmem:             18068 kB
KReclaimable:      89304 kB
Slab:             173408 kB
SReclaimable:      89304 kB
SUnreclaim:        84104 kB
KernelStack:        4112 kB
PageTables:         2768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC028 at 2025-06-30 03:30:57