Trace number 4517298

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.19 3603.72

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
MD5SUM87f67814fd1a58888c5941928a1532df
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 benchmark0.013405
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1568
Total number of constraints833
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 constraints833
Minimum length of a constraint2
Maximum length of a constraint64
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 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 8589934591
Number of bits of the biggest sum of numbers33
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4517298-1751243452.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  no objective function found
0.11/0.20	c ... done. Wall clock time 0.054s.
0.11/0.20	c declared #vars     1568
0.11/0.20	c #constraints  1665
0.11/0.20	c constraints type 
0.11/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 704
0.11/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 961
0.11/0.20	c 1665 constraints processed.
1.07/0.67	c cleaning 2497 clauses out of 5002 with flag 30237/5002
1.65/0.95	c cleaning 4240 clauses out of 8503 with flag 67117/11000
2.06/1.18	c cleaning 5621 clauses out of 11264 with flag 108841/18001
2.41/1.39	c cleaning 6815 clauses out of 13642 with flag 161521/26000
2.72/1.62	c cleaning 7911 clauses out of 15829 with flag 214136/35002
3.06/1.94	c cleaning 8945 clauses out of 17920 with flag 284261/45004
3.40/2.24	c cleaning 9973 clauses out of 19972 with flag 349682/56001
3.81/2.66	c cleaning 10978 clauses out of 22001 with flag 435646/68003
4.31/3.14	c cleaning 11977 clauses out of 24021 with flag 524966/81001
4.71/3.50	c cleaning 13009 clauses out of 26043 with flag 608881/95000
5.21/4.04	c cleaning 13998 clauses out of 28034 with flag 699832/110000
5.71/4.50	c cleaning 14985 clauses out of 30036 with flag 795215/126000
6.24/5.08	c cleaning 16000 clauses out of 32053 with flag 908841/143002
7.17/5.95	c cleaning 16998 clauses out of 34051 with flag 1045253/161000
7.76/6.56	c cleaning 18003 clauses out of 36053 with flag 1156687/180000
8.76/7.56	c cleaning 18980 clauses out of 38052 with flag 1306232/200002
9.56/8.33	c cleaning 20025 clauses out of 40075 with flag 1429635/221005
10.26/9.09	c cleaning 21006 clauses out of 42045 with flag 1561804/243000
11.44/9.92	c cleaning 21988 clauses out of 44042 with flag 1693679/266003
12.44/10.96	c cleaning 22999 clauses out of 46051 with flag 1847952/290000
13.71/12.03	c cleaning 24010 clauses out of 48052 with flag 2007991/315000
14.71/13.01	c cleaning 24986 clauses out of 50043 with flag 2170234/341001
15.60/13.93	c cleaning 25991 clauses out of 52056 with flag 2325853/368000
16.60/14.95	c cleaning 27001 clauses out of 54068 with flag 2499855/396003
18.00/16.30	c cleaning 27997 clauses out of 56065 with flag 2694428/425001
19.09/17.46	c cleaning 28999 clauses out of 58067 with flag 2867467/455000
20.49/18.83	c cleaning 30003 clauses out of 60068 with flag 3051031/486000
21.89/20.24	c cleaning 31006 clauses out of 62066 with flag 3241805/518001
23.40/21.73	c cleaning 31987 clauses out of 64060 with flag 3439183/551001
25.19/23.50	c cleaning 33023 clauses out of 66072 with flag 3644096/585000
26.99/25.30	c cleaning 33989 clauses out of 68049 with flag 3856799/620000
28.68/26.95	c cleaning 35011 clauses out of 70061 with flag 4061967/656001
30.37/28.61	c cleaning 36013 clauses out of 72053 with flag 4262783/693004
32.16/30.47	c cleaning 37005 clauses out of 74036 with flag 4474199/731000
33.87/32.19	c cleaning 37997 clauses out of 76033 with flag 4702391/770002
35.66/33.94	c cleaning 38981 clauses out of 78036 with flag 4915827/810002
37.88/36.11	c cleaning 40012 clauses out of 80053 with flag 5168041/851000
39.78/38.04	c cleaning 41015 clauses out of 82041 with flag 5404655/893000
42.57/40.89	c cleaning 41979 clauses out of 84026 with flag 5668146/936000
44.87/43.17	c cleaning 42994 clauses out of 86050 with flag 5910316/980003
47.26/45.56	c cleaning 44021 clauses out of 88053 with flag 6178852/1025000
49.75/48.03	c cleaning 45002 clauses out of 90033 with flag 6440269/1071001
52.18/50.45	c cleaning 46002 clauses out of 92030 with flag 6702981/1118000
55.38/53.62	c cleaning 47006 clauses out of 94030 with flag 6988126/1166002
57.78/56.05	c cleaning 47993 clauses out of 96022 with flag 7255315/1215000
60.56/58.84	c cleaning 48988 clauses out of 98031 with flag 7526732/1265002
63.36/61.65	c cleaning 49990 clauses out of 100044 with flag 7814041/1316003
66.26/64.58	c cleaning 51006 clauses out of 102051 with flag 8098568/1368000
69.99/68.27	c cleaning 51987 clauses out of 104045 with flag 8400328/1421000
72.98/71.21	c cleaning 53011 clauses out of 106059 with flag 8688307/1475001
76.27/74.56	c cleaning 54008 clauses out of 108047 with flag 8983150/1530000
80.87/79.14	c cleaning 55005 clauses out of 110041 with flag 9319726/1586002
86.25/84.51	c cleaning 56002 clauses out of 112035 with flag 9660678/1643001
89.79/88.07	c cleaning 57007 clauses out of 114032 with flag 9971180/1701000
93.18/91.48	c cleaning 57992 clauses out of 116025 with flag 10287356/1760000
96.77/95.00	c cleaning 59012 clauses out of 118034 with flag 10617384/1820001
100.56/98.82	c cleaning 59973 clauses out of 120022 with flag 10935698/1881001
104.38/102.67	c cleaning 61009 clauses out of 122049 with flag 11266399/1943001
108.78/107.02	c cleaning 61996 clauses out of 124039 with flag 11606292/2006000
113.07/111.30	c cleaning 62998 clauses out of 126043 with flag 11942653/2070000
117.66/116.00	c cleaning 63985 clauses out of 128045 with flag 12277616/2135000
121.98/120.28	c cleaning 64991 clauses out of 130060 with flag 12626209/2201000
126.37/124.65	c cleaning 66027 clauses out of 132069 with flag 12991294/2268000
130.96/129.21	c cleaning 67010 clauses out of 134043 with flag 13355033/2336001
135.05/133.35	c cleaning 67985 clauses out of 136032 with flag 13713610/2405000
139.69/137.92	c cleaning 68992 clauses out of 138047 with flag 14070647/2475000
144.27/142.56	c cleaning 70000 clauses out of 140057 with flag 14432037/2546002
148.77/147.08	c cleaning 70984 clauses out of 142056 with flag 14794781/2618001
153.86/152.17	c cleaning 72017 clauses out of 144072 with flag 15164953/2691001
159.56/157.86	c cleaning 73013 clauses out of 146055 with flag 15563953/2765001
165.45/163.71	c cleaning 74009 clauses out of 148041 with flag 15964635/2840000
170.94/169.24	c cleaning 74979 clauses out of 150034 with flag 16361662/2916002
176.23/174.57	c cleaning 76010 clauses out of 152054 with flag 16749914/2993001
181.94/180.25	c cleaning 77010 clauses out of 154045 with flag 17156062/3071002
187.53/185.84	c cleaning 77996 clauses out of 156034 with flag 17575058/3150001
192.91/191.22	c cleaning 78998 clauses out of 158039 with flag 17967131/3230002
198.85/197.16	c cleaning 80002 clauses out of 160039 with flag 18393138/3311000
205.13/203.47	c cleaning 81004 clauses out of 162040 with flag 18825489/3393003
212.01/210.33	c cleaning 82006 clauses out of 164035 with flag 19270146/3476002
218.39/216.76	c cleaning 82999 clauses out of 166027 with flag 19690914/3560000
224.63/222.92	c cleaning 83995 clauses out of 168028 with flag 20091692/3645000
231.01/229.31	c cleaning 84995 clauses out of 170035 with flag 20506927/3731002
237.30/235.66	c cleaning 86006 clauses out of 172038 with flag 20925044/3818000
244.08/242.41	c cleaning 86999 clauses out of 174033 with flag 21374744/3906001
250.87/249.27	c cleaning 88003 clauses out of 176035 with flag 21813920/3995002
257.98/256.31	c cleaning 88999 clauses out of 178031 with flag 22265835/4085001
264.96/263.34	c cleaning 90010 clauses out of 180031 with flag 22694783/4176000
273.05/271.40	c cleaning 90998 clauses out of 182021 with flag 23215152/4268000
280.33/278.70	c cleaning 92000 clauses out of 184023 with flag 23692287/4361000
287.52/285.98	c cleaning 92995 clauses out of 186023 with flag 24138381/4455000
295.04/293.44	c cleaning 93998 clauses out of 188028 with flag 24607811/4550000
302.43/300.88	c cleaning 94985 clauses out of 190030 with flag 25068337/4646000
310.12/308.53	c cleaning 96009 clauses out of 192045 with flag 25541937/4743000
317.50/315.92	c cleaning 96975 clauses out of 194036 with flag 26040551/4841000
325.68/324.15	c cleaning 98010 clauses out of 196063 with flag 26534860/4940002
335.35/333.86	c cleaning 99008 clauses out of 198052 with flag 27068303/5040001
345.13/343.67	c cleaning 100011 clauses out of 200043 with flag 27570408/5141000
354.48/352.95	c cleaning 100993 clauses out of 202033 with flag 28069401/5243001
363.06/361.52	c cleaning 102009 clauses out of 204039 with flag 28568970/5346000
371.36/369.85	c cleaning 102998 clauses out of 206032 with flag 29062147/5450002
380.64/379.17	c cleaning 104001 clauses out of 208033 with flag 29565274/5555001
390.91/389.47	c cleaning 104981 clauses out of 210031 with flag 30079033/5661000
399.99/398.54	c cleaning 106007 clauses out of 212053 with flag 30577897/5768003
409.52/408.04	c cleaning 106995 clauses out of 214044 with flag 31124845/5876001
419.20/417.72	c cleaning 108012 clauses out of 216048 with flag 31644631/5985000
428.18/426.79	c cleaning 109004 clauses out of 218037 with flag 32156743/6095001
439.56/438.17	c cleaning 109994 clauses out of 220033 with flag 32702027/6206001
450.63/449.21	c cleaning 110997 clauses out of 222038 with flag 33223941/6318000
461.10/459.79	c cleaning 111992 clauses out of 224041 with flag 33772439/6431000
472.57/471.20	c cleaning 113000 clauses out of 226050 with flag 34323548/6545001
483.82/482.41	c cleaning 114014 clauses out of 228051 with flag 34851970/6660002
493.80/492.45	c cleaning 115005 clauses out of 230036 with flag 35403725/6776001
504.88/503.56	c cleaning 115998 clauses out of 232031 with flag 35991936/6893001
515.85/514.56	c cleaning 117005 clauses out of 234032 with flag 36539921/7011000
526.23/524.99	c cleaning 118001 clauses out of 236028 with flag 37075589/7130001
537.81/536.55	c cleaning 118985 clauses out of 238027 with flag 37621208/7250001
549.18/547.93	c cleaning 120000 clauses out of 240041 with flag 38223019/7371000
564.02/562.76	c cleaning 121008 clauses out of 242041 with flag 38842424/7493000
575.69/574.49	c cleaning 122007 clauses out of 244033 with flag 39405084/7616000
587.77/586.56	c cleaning 122997 clauses out of 246026 with flag 39957045/7740000
601.43/600.23	c cleaning 124008 clauses out of 248030 with flag 40563975/7865001
613.71/612.53	c cleaning 124994 clauses out of 250021 with flag 41113912/7991000
628.88/627.74	c cleaning 126002 clauses out of 252027 with flag 41698880/8118000
642.05/640.94	c cleaning 126994 clauses out of 254025 with flag 42331356/8246000
654.72/653.68	c cleaning 127998 clauses out of 256033 with flag 42923649/8375002
668.85/667.78	c cleaning 129001 clauses out of 258034 with flag 43534429/8505001
682.52/681.41	c cleaning 130009 clauses out of 260032 with flag 44138679/8636000
695.29/694.29	c cleaning 130982 clauses out of 262023 with flag 44730099/8768000
708.86/707.81	c cleaning 132002 clauses out of 264042 with flag 45353516/8901001
722.33/721.36	c cleaning 133006 clauses out of 266039 with flag 45962478/9035000
735.81/734.82	c cleaning 133998 clauses out of 268033 with flag 46585757/9170000
749.18/748.24	c cleaning 134984 clauses out of 270035 with flag 47224479/9306000
765.94/765.08	c cleaning 136005 clauses out of 272051 with flag 47913631/9443000
782.80/781.96	c cleaning 137009 clauses out of 274047 with flag 48595101/9581001
797.66/796.88	c cleaning 137994 clauses out of 276038 with flag 49268289/9720001
811.45/810.53	c cleaning 139007 clauses out of 278045 with flag 49863433/9860002
826.31/825.46	c cleaning 139987 clauses out of 280036 with flag 50503340/10001000
841.18/840.37	c cleaning 141021 clauses out of 282052 with flag 51169917/10143003
856.44/855.68	c cleaning 141985 clauses out of 284030 with flag 51822977/10286002
872.92/872.11	c cleaning 142979 clauses out of 286044 with flag 52491002/10430001
889.37/888.62	c cleaning 144006 clauses out of 288064 with flag 53172527/10575000
905.74/905.02	c cleaning 145016 clauses out of 290060 with flag 53838827/10721002
922.10/921.47	c cleaning 146010 clauses out of 292042 with flag 54506173/10868000
939.26/938.63	c cleaning 146995 clauses out of 294033 with flag 55178448/11016001
954.82/954.16	c cleaning 148005 clauses out of 296039 with flag 55817552/11165002
971.29/970.69	c cleaning 149000 clauses out of 298032 with flag 56502514/11315000
989.44/988.88	c cleaning 150005 clauses out of 300032 with flag 57260640/11466000
1007.61/1007.01	c cleaning 151001 clauses out of 302027 with flag 57993894/11618000
1026.36/1025.80	c cleaning 151980 clauses out of 304027 with flag 58720919/11771001
1046.62/1046.15	c cleaning 153013 clauses out of 306046 with flag 59515029/11925000
1068.76/1068.31	c cleaning 153988 clauses out of 308034 with flag 60244487/12080001
1087.12/1086.72	c cleaning 155003 clauses out of 310048 with flag 60954902/12236003
1104.96/1104.18	c cleaning 155994 clauses out of 312042 with flag 61655379/12393000
1124.51/1123.71	c cleaning 157007 clauses out of 314048 with flag 62353809/12551000
1142.27/1141.58	c cleaning 158002 clauses out of 316041 with flag 63104565/12710000
1160.03/1159.33	c cleaning 158995 clauses out of 318039 with flag 63791360/12870000
1179.80/1179.19	c cleaning 160000 clauses out of 320044 with flag 64527606/13031000
1199.15/1198.55	c cleaning 161001 clauses out of 322044 with flag 65251741/13193000
1217.01/1216.42	c cleaning 162014 clauses out of 324043 with flag 65961925/13356000
1236.07/1235.58	c cleaning 162995 clauses out of 326029 with flag 66703311/13520000
1257.97/1257.41	c cleaning 164000 clauses out of 328034 with flag 67467668/13685000
1281.42/1280.94	c cleaning 165003 clauses out of 330035 with flag 68320106/13851001
1303.27/1302.88	c cleaning 165997 clauses out of 332032 with flag 69074042/14018001
1323.43/1323.05	c cleaning 167000 clauses out of 334035 with flag 69822488/14186001
1344.08/1343.74	c cleaning 167989 clauses out of 336040 with flag 70562102/14355006
1363.84/1363.59	c cleaning 168993 clauses out of 338045 with flag 71335651/14525000
1384.19/1383.95	c cleaning 170013 clauses out of 340052 with flag 72057936/14696000
1405.84/1405.60	c cleaning 171013 clauses out of 342040 with flag 72814856/14868001
1426.30/1426.15	c cleaning 172005 clauses out of 344028 with flag 73574675/15041002
1448.16/1448.03	c cleaning 173002 clauses out of 346022 with flag 74359974/15215001
1470.00/1469.93	c cleaning 173989 clauses out of 348019 with flag 75197913/15390000
1491.84/1491.82	c cleaning 175008 clauses out of 350030 with flag 75970086/15566000
1515.89/1515.89	c cleaning 175986 clauses out of 352022 with flag 76754207/15743000
1540.04/1540.08	c cleaning 176993 clauses out of 354037 with flag 77576748/15921001
1562.59/1562.63	c cleaning 178013 clauses out of 356043 with flag 78343651/16100000
1589.53/1589.67	c cleaning 178981 clauses out of 358031 with flag 79205607/16280001
1613.48/1613.65	c cleaning 180005 clauses out of 360049 with flag 80017058/16461000
1638.52/1638.79	c cleaning 181006 clauses out of 362045 with flag 80872639/16643001
1662.37/1662.63	c cleaning 181996 clauses out of 364038 with flag 81658550/16826000
1690.91/1691.24	c cleaning 183003 clauses out of 366042 with flag 82604077/17010000
1715.95/1716.32	c cleaning 184001 clauses out of 368039 with flag 83428633/17195000
1745.59/1746.06	c cleaning 185016 clauses out of 370038 with flag 84425411/17381000
1770.27/1770.67	c cleaning 185978 clauses out of 372022 with flag 85273516/17568000
1797.11/1797.59	c cleaning 187007 clauses out of 374044 with flag 86116785/17756000
1824.85/1825.35	c cleaning 188002 clauses out of 376038 with flag 86963758/17945001
1848.70/1849.29	c cleaning 188983 clauses out of 378035 with flag 87783212/18135000
1872.94/1873.55	c cleaning 189998 clauses out of 380052 with flag 88599714/18326000
1898.37/1899.01	c cleaning 191015 clauses out of 382057 with flag 89439111/18518003
1926.70/1927.47	c cleaning 192006 clauses out of 384039 with flag 90302208/18711000
1961.62/1962.31	c cleaning 192995 clauses out of 386033 with flag 91189104/18905000
1986.27/1987.08	c cleaning 193998 clauses out of 388040 with flag 91988058/19100002
2016.09/2016.90	c cleaning 194994 clauses out of 390040 with flag 92840248/19296000
2044.44/2045.35	c cleaning 195997 clauses out of 392048 with flag 93669951/19493002
2071.57/2072.59	c cleaning 196998 clauses out of 394049 with flag 94499598/19691000
2100.81/2101.81	c cleaning 198005 clauses out of 396051 with flag 95410012/19890000
2128.06/2129.12	c cleaning 199021 clauses out of 398049 with flag 96302716/20090003
2155.58/2156.60	c cleaning 200000 clauses out of 400025 with flag 97169532/20291000
2191.39/2192.53	c cleaning 201001 clauses out of 402026 with flag 98164280/20493001
2220.53/2221.72	c cleaning 201998 clauses out of 404024 with flag 99044865/20696000
2249.56/2250.87	c cleaning 202999 clauses out of 406028 with flag 99915218/20900002
2278.10/2279.50	c cleaning 204000 clauses out of 408027 with flag 100778628/21105000
2309.23/2310.65	c cleaning 205000 clauses out of 410027 with flag 101702342/21311000
2340.96/2342.40	c cleaning 205996 clauses out of 412031 with flag 102647219/21518004
2370.50/2372.01	c cleaning 207006 clauses out of 414031 with flag 103608585/21726000
2399.92/2401.53	c cleaning 208012 clauses out of 416026 with flag 104467543/21935001
2430.04/2431.68	c cleaning 208973 clauses out of 418013 with flag 105360758/22145000
2461.76/2463.46	c cleaning 210014 clauses out of 420040 with flag 106259474/22356000
2491.28/2493.10	c cleaning 210990 clauses out of 422026 with flag 107144272/22568000
2521.40/2523.21	c cleaning 211992 clauses out of 424036 with flag 108059076/22781000
2551.81/2553.71	c cleaning 213008 clauses out of 426045 with flag 108971836/22995001
2583.23/2585.29	c cleaning 213980 clauses out of 428036 with flag 109898482/23210000
2616.74/2618.89	c cleaning 215014 clauses out of 430058 with flag 110853698/23426002
2648.57/2650.73	c cleaning 215988 clauses out of 432043 with flag 111826029/23643001
2680.70/2683.00	c cleaning 217016 clauses out of 434055 with flag 112757044/23861001
2713.03/2715.32	c cleaning 217997 clauses out of 436039 with flag 113678383/24080001
2746.65/2748.93	c cleaning 218983 clauses out of 438041 with flag 114636157/24300000
2779.79/2782.17	c cleaning 220010 clauses out of 440059 with flag 115590211/24521001
2811.71/2814.19	c cleaning 221004 clauses out of 442048 with flag 116520269/24743000
2845.54/2848.02	c cleaning 221996 clauses out of 444046 with flag 117527697/24966002
2879.55/2882.15	c cleaning 223006 clauses out of 446049 with flag 118447458/25190001
2915.14/2917.87	c cleaning 223985 clauses out of 448042 with flag 119404685/25415000
2948.66/2951.46	c cleaning 225016 clauses out of 450058 with flag 120340487/25641001
2983.47/2986.31	c cleaning 226004 clauses out of 452042 with flag 121280873/25868001
3027.96/3030.80	c cleaning 227005 clauses out of 454037 with flag 122476244/26096000
3064.19/3067.18	c cleaning 227997 clauses out of 456032 with flag 123489054/26325000
3096.91/3099.94	c cleaning 228999 clauses out of 458035 with flag 124451093/26555000
3134.53/3137.64	c cleaning 230004 clauses out of 460039 with flag 125451729/26786003
3170.66/3173.80	c cleaning 231003 clauses out of 462032 with flag 126426063/27018000
3210.56/3213.80	c cleaning 231997 clauses out of 464029 with flag 127439761/27251000
3249.98/3253.31	c cleaning 232998 clauses out of 466033 with flag 128425162/27485001
3286.80/3290.22	c cleaning 233990 clauses out of 468035 with flag 129442562/27720001
3324.53/3327.91	c cleaning 234995 clauses out of 470044 with flag 130412851/27956000
3360.75/3364.26	c cleaning 236007 clauses out of 472049 with flag 131358436/28193000
3397.17/3400.70	c cleaning 237010 clauses out of 474045 with flag 132351637/28431003
3433.99/3437.67	c cleaning 238003 clauses out of 476032 with flag 133315686/28670000
3471.70/3475.49	c cleaning 238996 clauses out of 478030 with flag 134312590/28910001
3511.32/3515.12	c cleaning 240002 clauses out of 480033 with flag 135283303/29151000
3550.63/3554.51	c cleaning 240996 clauses out of 482032 with flag 136277682/29393001
3590.05/3594.08	c cleaning 241992 clauses out of 484036 with flag 137374884/29636001
3600.02/3603.62	c timeout
3600.02/3603.63	c starts		: 20796
3600.02/3603.63	c conflicts		: 29704354
3600.02/3603.63	c decisions		: 42218522
3600.02/3603.63	c propagations		: 959657630
3600.02/3603.63	c inspects		: 56646888256
3600.02/3603.63	c shortcuts		: 0
3600.02/3603.63	c learnt literals	: 0
3600.02/3603.63	c learnt binary clauses	: 26
3600.02/3603.63	c learnt ternary clauses	: 88
3600.02/3603.63	c learnt constraints	: 29704354
3600.02/3603.63	c ignored constraints	: 0
3600.02/3603.63	c root simplifications	: 0
3600.02/3603.63	c removed literals (reason simplification)	: 34511950
3600.02/3603.63	c reason swapping (by a shorter reason)	: 0
3600.02/3603.63	c Calls to reduceDB	: 239
3600.02/3603.63	c Number of update (reduction) of LBD	: 10392794
3600.02/3603.63	c Imported unit clauses	: 0
3600.02/3603.63	c No decision after first conflict	: false
3600.02/3603.63	c number of reductions to clauses (during analyze)	: 0
3600.02/3603.63	c number of learned constraints concerned by reduction	: 0
3600.02/3603.64	c number of learning phase by resolution	: 0
3600.02/3603.64	c number of learning phase by cutting planes	: 0
3600.02/3603.64	c number of rounding to 1 operations	: 0
3600.02/3603.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3603.64	c number of reductions of the coefficients by power 2 	: 0
3600.02/3603.64	c number of right shift for reduction by power 2 	: 0
3600.02/3603.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3603.64	c number of ending skipping 	: 0
3600.02/3603.64	c number of internal skipping 	: 0
3600.02/3603.64	c number of derivation steps 	: 0
3600.02/3603.64	c number of skipped derivation steps 	: 0
3600.02/3603.64	c number of remaining unassigned 	: 0
3600.02/3603.64	c number of remaining assigned 	: 0
3600.02/3603.64	c number of falsified literals weakened from reason	: 0
3600.02/3603.64	c number of falsified literals weakened from conflict	: 0
3600.02/3603.64	c time for arithmetic operations	: 0
3600.02/3603.64	c minimum degree of deleted constraints	: null
3600.02/3603.64	c maximum degree of deleted constraints	: null
3600.02/3603.64	c number of deleted constraints	: 0
3600.02/3603.64	c speed (assignments/second)	: 266317.8221860838
3600.02/3603.64	c non guided choices	: 1047897
3600.16/3603.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 310371
3600.16/3603.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 26
3600.16/3603.70	s UNKNOWN
3600.16/3603.70	c Total wall clock time (in seconds): 3603.563

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 (62997 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-4517298-1751243452/watcher-4517298-1751243452 -o /tmp/evaluation-result-4517298-1751243452/solver-4517298-1751243452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751243452-32819 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517298-1751243452.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=32871, runsolver pid=32859

[startup+0.100465 s]*
/proc/loadavg: 0.60 0.99 1.57 8/331 32944
/proc/meminfo: memFree=129914956/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18930384 memory=53196 CPUtime=0.11 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 6467 0 0 0 9 2 0 0 20 0 18 0 39967717 19384713216 13299 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4732596 13299 5331 1 0 547552 0
[pid=32871/tid=32891] ppid=32859 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 5000 0 0 0 6 1 0 0 20 0 18 0 39967719 19384713216 13299 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18930384 memory=16124 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39967721 19384713216 13299 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39967722 19384713216 13299 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53196 KiB

[startup+0.205681 s]*
/proc/loadavg: 0.60 0.99 1.57 13/334 32947
/proc/meminfo: memFree=129900152/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18931412 memory=64204 CPUtime=0.3 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 7066 0 0 0 27 3 0 0 20 0 19 0 39967717 19385765888 16051 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4732853 16051 5459 1 0 548197 0
[pid=32871/tid=32891] ppid=32859 vsize=18931412 memory=4026597660 CPUtime=0.15 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) S 32859 32871 32807 0 -1 4194368 5297 0 0 0 14 1 0 0 20 0 19 0 39967719 19385765888 16051 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18931412 memory=16124 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19385765888 16051 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18931412 memory=59585004307431 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19385765888 16051 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18931412 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (java) R 32859 32871 32807 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 39967738 19385765888 16051 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 2147221247 0 16800975 0 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 64204 KiB

[startup+0.305666 s]*
/proc/loadavg: 0.60 0.99 1.57 9/335 32948
/proc/meminfo: memFree=129888056/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18996948 memory=69604 CPUtime=0.49 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 9769 0 0 0 46 3 0 0 20 0 19 0 39967717 19452874752 17401 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4749237 17401 5459 1 0 549462 0
[pid=32871/tid=32891] ppid=32859 vsize=18996948 memory=-6000919472689539692 CPUtime=0.22 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 5320 0 0 0 21 1 0 0 20 0 19 0 39967719 19452874752 17401 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19452874752 17401 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19452874752 17401 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967738 19452874752 17401 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69604 KiB

[startup+0.700234 s]
/proc/loadavg: 0.60 0.99 1.57 9/335 32948
/proc/meminfo: memFree=129850756/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18996948 memory=83012 CPUtime=1.26 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 12983 0 0 0 122 4 0 0 20 0 19 0 39967717 19452874752 20753 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4749237 20753 5459 1 0 551677 0
[pid=32871/tid=32891] ppid=32859 vsize=18996948 memory=17408 CPUtime=0.59 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 5372 0 0 0 57 2 0 0 20 0 19 0 39967719 19452874752 20753 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19452874752 20753 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19452874752 20753 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967738 19452874752 20753 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83012 KiB

[startup+1.50023 s]
/proc/loadavg: 0.60 0.99 1.57 8/335 32948
/proc/meminfo: memFree=129813964/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18996948 memory=100752 CPUtime=2.62 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 21102 0 0 0 257 5 0 0 20 0 19 0 39967717 19452874752 25188 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4749237 25188 5459 1 0 553950 0
[pid=32871/tid=32891] ppid=32859 vsize=18996948 memory=0 CPUtime=1.37 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 5765 0 0 0 135 2 0 0 20 0 19 0 39967719 19452874752 25188 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19452874752 25188 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19452874752 25188 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967738 19452874752 25188 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100752 KiB

[startup+3.10539 s]
/proc/loadavg: 0.87 1.04 1.58 5/335 32948
/proc/meminfo: memFree=129696128/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18996948 memory=117264 CPUtime=4.31 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 21984 0 0 0 425 6 0 0 20 0 19 0 39967717 19452874752 29316 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4749237 29316 5459 1 0 553951 0
[pid=32871/tid=32891] ppid=32859 vsize=18996948 memory=10752 CPUtime=2.97 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 6057 0 0 0 295 2 0 0 20 0 19 0 39967719 19452874752 29316 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18996948 memory=-6000919468411349612 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19452874752 29316 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19452874752 29316 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967738 19452874752 29316 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117264 KiB

[startup+6.30019 s]
/proc/loadavg: 0.87 1.04 1.58 5/336 32949
/proc/meminfo: memFree=129582004/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=18996948 memory=135044 CPUtime=7.56 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 22773 0 0 0 749 7 0 0 20 0 19 0 39967717 19452874752 33761 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4749237 33761 5491 1 0 553952 0
[pid=32871/tid=32891] ppid=32859 vsize=18996948 memory=0 CPUtime=6.16 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 6196 0 0 0 613 3 0 0 20 0 19 0 39967719 19452874752 33761 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967721 19452874752 33761 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967722 19452874752 33761 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=18996948 memory=102800 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967738 19452874752 33761 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135044 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=32871] ppid=32859 vsize=19063512 memory=184068 CPUtime=14.41 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 32712 0 0 0 1432 9 0 0 20 0 20 0 39967717 19521036288 46017 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 46017 5491 1 0 554241 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=102800 CPUtime=12.53 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 7330 0 0 0 1250 3 0 0 20 0 20 0 39967719 19521036288 46017 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=184068 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 46017 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 46017 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 46017 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 14.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184068 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=32871] ppid=32859 vsize=19063512 memory=187016 CPUtime=27.19 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 35012 0 0 0 2710 9 0 0 20 0 20 0 39967717 19521036288 46754 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 46754 5491 1 0 554257 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=184068 CPUtime=25.28 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 8091 0 0 0 2525 3 0 0 20 0 20 0 39967719 19521036288 46754 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 46754 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 46754 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 46754 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187016 KiB

[startup+51.1055 s]
/proc/loadavg: 2.57 1.47 1.70 5/339 32953
/proc/meminfo: memFree=129153116/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=19063512 memory=254888 CPUtime=52.89 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 38821 0 0 0 5278 11 0 0 20 0 20 0 39967717 19521036288 63722 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 63722 5491 1 0 554257 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/340 33127
/proc/meminfo: memFree=122422080/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=19063512 memory=1959524 CPUtime=3278.92 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 86591 0 0 0 327788 104 0 0 20 0 20 0 39967717 19521036288 489881 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 489881 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=1959524 CPUtime=3271.54 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 33586 0 0 0 327140 14 0 0 20 0 20 0 39967719 19521036288 489881 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 489881 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1165 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 489881 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 489881 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3278.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1959524 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=32871] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3338.9 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 87779 0 0 0 333785 105 0 0 20 0 20 0 39967717 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 490910 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3331.26 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 33879 0 0 0 333112 14 0 0 20 0 20 0 39967719 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1165 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3338.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963640 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=32871] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3398.77 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 88436 0 0 0 339771 106 0 0 20 0 20 0 39967717 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 490910 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3391.11 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 34461 0 0 0 339097 14 0 0 20 0 20 0 39967719 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3398.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963640 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=32871] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3458.63 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 88962 0 0 0 345756 107 0 0 20 0 20 0 39967717 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 490910 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3450.96 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 34914 0 0 0 345082 14 0 0 20 0 20 0 39967719 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1181 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3458.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963640 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=32871] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3518.5 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 89158 0 0 0 351742 108 0 0 20 0 20 0 39967717 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 490910 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3510.8 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 35067 0 0 0 351066 14 0 0 20 0 20 0 39967719 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1193 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3518.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963640 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=32871] ppid=32859 vsize=19063512 memory=1963640 CPUtime=3578.37 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 89307 0 0 0 357727 110 0 0 20 0 20 0 39967717 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 490910 5523 1 0 557488 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=14848 CPUtime=3570.65 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 35207 0 0 0 357051 14 0 0 20 0 20 0 39967719 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=1963640 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 490910 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3578.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.6 s]
/proc/loadavg: 4.12 4.11 4.05 4/318 33152
/proc/meminfo: memFree=124515320/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=19063512 memory=1998096 CPUtime=3600.02 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 94602 0 0 0 359890 112 0 0 20 0 20 0 39967717 19521036288 499524 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4765878 499524 5523 1 0 557923 0
[pid=32871/tid=32891] ppid=32859 vsize=19063512 memory=2736 CPUtime=3591.83 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) R 32859 32871 32807 0 -1 4194368 38451 0 0 0 359168 15 0 0 20 0 20 0 39967719 19521036288 499524 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19063512 memory=17236 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967721 19521036288 499524 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19063512 memory=46208 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 39967722 19521036288 499524 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32948] ppid=32859 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32871/task/32948/stat : 32948 (Timer-0) S 32859 32871 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967738 19521036288 499524 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1998096 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.13989 s

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

[startup+3603.7 s]
/proc/loadavg: 4.12 4.11 4.05 4/318 33152
/proc/meminfo: memFree=124515320/131250000 swapFree=33010684/33010684
[pid=32871] ppid=32859 vsize=19263204 memory=1998864 CPUtime=3600.16 cores=1,3
/proc/32871/stat : 32871 (java) S 32859 32871 32807 0 -1 4194304 95867 0 0 0 359904 112 0 0 20 0 21 0 39967717 19725520896 499716 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
/proc/32871/statm: 4815801 499716 5523 1 0 558846 0
[pid=32871/tid=32891] ppid=32859 vsize=19263204 memory=17408 CPUtime=3591.85 cores=1,3
/proc/32871/task/32891/stat : 32891 (java) S 32859 32871 32807 0 -1 4194368 38532 0 0 0 359170 15 0 0 20 0 21 0 39967719 19725520896 499716 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32926] ppid=32859 vsize=19263204 memory=1998096 CPUtime=0 cores=1,3
/proc/32871/task/32926/stat : 32926 (Finalizer) S 32859 32871 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39967721 19725520896 499716 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
[pid=32871/tid=32935] ppid=32859 vsize=19263204 memory=1998096 CPUtime=0 cores=1,3
/proc/32871/task/32935/stat : 32935 (Common-Cleaner) S 32859 32871 32807 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 21 0 39967722 19725520896 499716 18446744073709551615 93831838978048 93831838981744 140729375923728 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93831838989560 93831838990352 93831843938304 140729375930753 140729375930854 140729375930854 140729375936456 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1998864 KiB

Child status: 143

Real time (s): 3603.72
CPU time (s): 3600.19
CPU user time (s): 3599.05
CPU system time (s): 1.13989
CPU usage (%): 99.9021
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1998864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.1399
maximum resident set size= 1999120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104151
involuntary context switches= 6743


# summary of solver processes directly reported to runsolver:
#   pid: 32871
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.13989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60485 second user time and 16.8215 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-06-30 02:30:52
IDJOB=4517298
IDBENCH=176049
IDSOLVER=3363
FILE ID=nodeC028/4517298-1751243452
RUNJOBID= nodeC028-1751243452-32819
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-16arraycomm_teq_tvars_greater.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517298-1751243452/watcher-4517298-1751243452 -o /tmp/evaluation-result-4517298-1751243452/solver-4517298-1751243452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751243452-32819 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517298-1751243452.opb

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

MD5SUM BENCH= 87f67814fd1a58888c5941928a1532df
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.511
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		: 3599.043
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		: 3499.933
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		: 3600.145
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		: 3600.625
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		: 3600.253
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.403
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		: 1695.595
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:        130022124 kB
MemAvailable:   129753908 kB
Buffers:            3280 kB
Cached:           541160 kB
SwapCached:            0 kB
Active:           323012 kB
Inactive:         284732 kB
Active(anon):      81372 kB
Inactive(anon):        0 kB
Active(file):     241640 kB
Inactive(file):   284732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2656 kB
Writeback:             4 kB
AnonPages:         67012 kB
Mapped:           102796 kB
Shmem:             18068 kB
KReclaimable:      89304 kB
Slab:             173424 kB
SReclaimable:      89304 kB
SUnreclaim:        84120 kB
KernelStack:        4064 kB
PageTables:         2868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     332544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 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:56