Trace number 4542784

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.35 3559.51

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
MD5SUM99fe8e2cd23c0484947be7a71ede996e
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 benchmark11.4771
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1729
Total number of constraints866
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints856
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.21	c See www.sat4j.org for details.
0.24/0.23	c version PB25.v20250606
0.24/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.25	c java.vm.version	22.0.1+8-16
0.24/0.25	c java.vm.vendor	Oracle Corporation
0.24/0.25	c sun.arch.data.model	64
0.24/0.25	c java.version		22.0.1
0.24/0.25	c os.name		Linux
0.24/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.25	c os.arch		amd64
0.24/0.26	c Free memory 		2106806208
0.24/0.26	c Max memory 		16282288128
0.24/0.26	c Total memory 		2113929216
0.24/0.27	c Number of processors 	2
0.40/0.39	c Pseudo Boolean Optimization by upper bound
0.40/0.39	c --- Begin Solver configuration ---
0.40/0.39	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.39	c Learn all clauses as in MiniSAT
0.40/0.39	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.39	c Expensive reason simplification
0.40/0.39	c Glucose 2.1 dynamic restart strategy
0.40/0.39	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.40/0.39	c timeout=2147483s
0.40/0.39	c DB Simplification allowed=false
0.40/0.39	c Listener: none
0.40/0.39	c --- End Solver configuration ---
0.40/0.39	c solving HOME/instance-4542784-1753222705.opb
0.40/0.39	c reading problem ... 
0.40/0.39	c using VERIPB proof format
0.40/0.40	c  no objective function found
0.76/0.56	c ... done. Wall clock time 0.163s.
0.76/0.56	c declared #vars     1729
0.76/0.56	c #constraints  866
0.76/0.56	c constraints type 
0.76/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.76/0.57	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 864
0.76/0.57	c 866 constraints processed.
2.86/1.62	c cleaning 2497 clauses out of 5001 with flag 18891/5001
3.66/2.02	c cleaning 4229 clauses out of 8504 with flag 40472/11001
4.23/2.34	c cleaning 5625 clauses out of 11274 with flag 69617/18000
4.83/2.61	c cleaning 6824 clauses out of 13649 with flag 105622/26000
5.22/2.88	c cleaning 7879 clauses out of 15826 with flag 146004/35001
6.01/3.21	c cleaning 8945 clauses out of 17946 with flag 190602/45000
6.61/3.52	c cleaning 9953 clauses out of 20003 with flag 242297/56002
7.21/3.89	c cleaning 10991 clauses out of 22049 with flag 294533/68001
7.75/4.28	c cleaning 12005 clauses out of 24058 with flag 353321/81001
8.15/4.67	c cleaning 12993 clauses out of 26052 with flag 419434/95000
8.55/5.07	c cleaning 13974 clauses out of 28059 with flag 483850/110000
8.96/5.49	c cleaning 15022 clauses out of 30087 with flag 554009/126002
9.66/6.06	c cleaning 15977 clauses out of 32063 with flag 645891/143000
10.21/6.57	c cleaning 17022 clauses out of 34087 with flag 727947/161001
10.91/7.28	c cleaning 17993 clauses out of 36065 with flag 816946/180001
11.51/7.83	c cleaning 18988 clauses out of 38072 with flag 911470/200001
12.20/8.54	c cleaning 19978 clauses out of 40083 with flag 1009481/221000
12.89/9.20	c cleaning 20999 clauses out of 42106 with flag 1113556/243001
13.59/9.94	c cleaning 22019 clauses out of 44106 with flag 1221614/266000
14.58/10.90	c cleaning 23017 clauses out of 46088 with flag 1361504/290001
15.47/11.89	c cleaning 24011 clauses out of 48072 with flag 1499033/315002
17.56/14.01	c cleaning 25001 clauses out of 50059 with flag 1641042/341000
18.78/15.16	c cleaning 25986 clauses out of 52058 with flag 1800478/368000
20.37/16.76	c cleaning 26998 clauses out of 54074 with flag 1991523/396002
21.68/18.06	c cleaning 27987 clauses out of 56074 with flag 2174267/425000
22.57/18.97	c cleaning 28976 clauses out of 58088 with flag 2323089/455001
23.68/20.09	c cleaning 29992 clauses out of 60111 with flag 2463134/486000
24.78/21.16	c cleaning 30995 clauses out of 62122 with flag 2616026/518003
26.86/23.30	c cleaning 31990 clauses out of 64125 with flag 2821707/551001
28.96/25.32	c cleaning 33015 clauses out of 66134 with flag 3036785/585000
29.95/26.37	c cleaning 34022 clauses out of 68119 with flag 3199553/620000
31.15/27.50	c cleaning 35012 clauses out of 70099 with flag 3367994/656002
33.31/28.92	c cleaning 35981 clauses out of 72085 with flag 3546305/693000
34.72/30.30	c cleaning 37016 clauses out of 74104 with flag 3733070/731000
35.91/31.59	c cleaning 37970 clauses out of 76090 with flag 3907818/770002
38.11/33.78	c cleaning 39023 clauses out of 78121 with flag 4124407/810003
39.72/35.34	c cleaning 40016 clauses out of 80098 with flag 4322711/851003
43.22/38.83	c cleaning 40999 clauses out of 82079 with flag 4544827/893000
46.32/41.99	c cleaning 42004 clauses out of 84081 with flag 4793386/936001
49.91/45.59	c cleaning 43008 clauses out of 86078 with flag 5062231/980002
53.60/49.20	c cleaning 44002 clauses out of 88069 with flag 5340108/1025001
57.79/53.46	c cleaning 45001 clauses out of 90069 with flag 5638974/1071003
61.97/57.63	c cleaning 46001 clauses out of 92067 with flag 5958461/1118002
66.47/62.15	c cleaning 47000 clauses out of 94065 with flag 6276161/1166001
68.96/64.68	c cleaning 48019 clauses out of 96067 with flag 6547660/1215003
70.55/66.23	c cleaning 49006 clauses out of 98045 with flag 6791800/1265000
72.04/67.79	c cleaning 49938 clauses out of 100039 with flag 7019060/1316000
73.84/69.57	c cleaning 50986 clauses out of 102102 with flag 7250830/1368001
75.73/71.40	c cleaning 52006 clauses out of 104115 with flag 7496247/1421000
77.45/73.18	c cleaning 53026 clauses out of 106109 with flag 7749209/1475000
79.75/75.25	c cleaning 53960 clauses out of 108083 with flag 8019589/1530000
81.76/77.27	c cleaning 54991 clauses out of 110123 with flag 8299039/1586000
83.84/79.38	c cleaning 55951 clauses out of 112132 with flag 8586272/1643000
89.43/84.92	c cleaning 57062 clauses out of 114182 with flag 8941764/1701001
94.93/90.49	c cleaning 58035 clauses out of 116119 with flag 9338011/1760000
98.42/93.92	c cleaning 59026 clauses out of 118084 with flag 9703265/1820000
103.52/99.08	c cleaning 60007 clauses out of 120059 with flag 10126081/1881001
108.10/103.65	c cleaning 60956 clauses out of 122052 with flag 10527666/1943001
110.30/105.82	c cleaning 62013 clauses out of 124096 with flag 10840219/2006001
113.43/108.86	c cleaning 62969 clauses out of 126082 with flag 11147050/2070000
116.82/112.28	c cleaning 64015 clauses out of 128114 with flag 11491618/2135001
120.55/115.97	c cleaning 65004 clauses out of 130098 with flag 11867899/2201000
122.97/118.33	c cleaning 65998 clauses out of 132095 with flag 12181778/2268001
125.37/120.78	c cleaning 67022 clauses out of 134098 with flag 12514854/2336002
130.01/125.30	c cleaning 68028 clauses out of 136075 with flag 12909298/2405001
137.65/132.94	c cleaning 69005 clauses out of 138046 with flag 13379696/2475000
144.64/140.01	c cleaning 70008 clauses out of 140042 with flag 13872208/2546001
152.18/147.42	c cleaning 71004 clauses out of 142034 with flag 14327572/2618001
159.53/154.72	c cleaning 72000 clauses out of 144030 with flag 14823461/2691001
166.82/162.10	c cleaning 73004 clauses out of 146032 with flag 15332936/2765003
171.70/166.93	c cleaning 73978 clauses out of 148025 with flag 15784394/2840000
174.63/169.83	c cleaning 74958 clauses out of 150048 with flag 16151118/2916001
177.59/172.74	c cleaning 75997 clauses out of 152090 with flag 16529393/2993001
182.79/177.94	c cleaning 77016 clauses out of 154093 with flag 16949836/3071001
188.65/183.70	c cleaning 78011 clauses out of 156076 with flag 17418801/3150000
192.41/187.48	c cleaning 78996 clauses out of 158066 with flag 17824213/3230001
199.08/194.03	c cleaning 79941 clauses out of 160069 with flag 18257887/3311000
206.58/201.52	c cleaning 80996 clauses out of 162128 with flag 18784841/3393000
210.56/205.53	c cleaning 82035 clauses out of 164132 with flag 19196438/3476000
215.12/210.03	c cleaning 83005 clauses out of 166098 with flag 19592154/3560001
220.28/215.16	c cleaning 83997 clauses out of 168092 with flag 20067751/3645000
225.24/220.06	c cleaning 85016 clauses out of 170095 with flag 20485084/3731000
229.18/223.83	c cleaning 86016 clauses out of 172080 with flag 20922159/3818001
233.05/227.61	c cleaning 86973 clauses out of 174065 with flag 21398541/3906002
242.24/236.89	c cleaning 87993 clauses out of 176091 with flag 22018917/3995001
246.89/241.42	c cleaning 89033 clauses out of 178097 with flag 22413021/4085000
250.26/244.70	c cleaning 89937 clauses out of 180066 with flag 22831893/4176002
254.12/248.52	c cleaning 91036 clauses out of 182127 with flag 23280010/4268000
267.06/261.41	c cleaning 92014 clauses out of 184093 with flag 23870018/4361002
276.43/270.73	c cleaning 93011 clauses out of 186077 with flag 24496659/4455000
287.27/281.57	c cleaning 94003 clauses out of 188066 with flag 25125743/4550000
299.66/294.00	c cleaning 94999 clauses out of 190063 with flag 25811346/4646000
304.48/298.74	c cleaning 95962 clauses out of 192064 with flag 26326574/4743000
314.71/309.00	c cleaning 97020 clauses out of 194102 with flag 26954205/4841000
325.14/319.36	c cleaning 98011 clauses out of 196084 with flag 27670587/4940002
334.55/328.76	c cleaning 98982 clauses out of 198071 with flag 28371890/5040000
338.41/332.56	c cleaning 99956 clauses out of 200089 with flag 28844650/5141000
342.89/336.90	c cleaning 101023 clauses out of 202134 with flag 29331377/5243001
347.94/341.94	c cleaning 102039 clauses out of 204111 with flag 29819193/5346001
353.01/346.92	c cleaning 102979 clauses out of 206073 with flag 30314898/5450002
359.07/352.95	c cleaning 103963 clauses out of 208094 with flag 30861491/5555002
364.92/358.70	c cleaning 105021 clauses out of 210129 with flag 31401885/5661000
373.58/367.30	c cleaning 106033 clauses out of 212108 with flag 32063805/5768000
380.93/374.61	c cleaning 107018 clauses out of 214076 with flag 32643883/5876001
387.67/381.35	c cleaning 107972 clauses out of 216059 with flag 33221033/5985002
393.61/387.25	c cleaning 108964 clauses out of 218085 with flag 33774801/6095000
398.36/391.94	c cleaning 109973 clauses out of 220122 with flag 34307358/6206001
404.20/397.65	c cleaning 111051 clauses out of 222148 with flag 34890882/6318000
416.53/409.98	c cleaning 112009 clauses out of 224097 with flag 35558063/6431000
433.13/426.50	c cleaning 113006 clauses out of 226089 with flag 36337763/6545001
439.28/432.62	c cleaning 114018 clauses out of 228082 with flag 36993181/6660000
445.30/438.57	c cleaning 114986 clauses out of 230064 with flag 37582690/6776000
451.03/444.22	c cleaning 115958 clauses out of 232078 with flag 38180439/6893000
455.48/448.60	c cleaning 117032 clauses out of 234122 with flag 38721739/7011002
462.56/455.28	c cleaning 117990 clauses out of 236088 with flag 39341920/7130000
470.98/463.67	c cleaning 119018 clauses out of 238101 with flag 39999557/7250003
479.51/472.12	c cleaning 119981 clauses out of 240080 with flag 40666742/7371000
487.07/479.67	c cleaning 121012 clauses out of 242099 with flag 41281018/7493000
492.70/485.05	c cleaning 122007 clauses out of 244088 with flag 41905755/7616001
505.07/497.41	c cleaning 123021 clauses out of 246081 with flag 42811883/7740001
510.06/502.45	c cleaning 123965 clauses out of 248059 with flag 43396035/7865000
518.15/510.40	c cleaning 124990 clauses out of 250095 with flag 44006218/7991001
525.75/518.04	c cleaning 125985 clauses out of 252104 with flag 44679100/8118000
537.34/529.61	c cleaning 127035 clauses out of 254120 with flag 45489882/8246001
545.08/537.32	c cleaning 127989 clauses out of 256084 with flag 46252796/8375000
555.78/547.94	c cleaning 128966 clauses out of 258095 with flag 46935334/8505000
560.98/553.09	c cleaning 129996 clauses out of 260131 with flag 47531894/8636002
566.91/558.99	c cleaning 131022 clauses out of 262133 with flag 48180392/8768000
572.67/564.66	c cleaning 131953 clauses out of 264111 with flag 48846161/8901000
579.90/571.81	c cleaning 132997 clauses out of 266159 with flag 49586620/9035001
586.79/578.65	c cleaning 134025 clauses out of 268163 with flag 50275558/9170002
595.32/587.14	c cleaning 134995 clauses out of 270138 with flag 50955163/9306002
603.94/595.78	c cleaning 136058 clauses out of 272141 with flag 51648179/9443000
612.79/604.57	c cleaning 137012 clauses out of 274083 with flag 52333179/9581000
627.02/618.72	c cleaning 138023 clauses out of 276071 with flag 53173429/9720000
651.77/643.47	c cleaning 139008 clauses out of 278048 with flag 54185726/9860000
670.98/662.61	c cleaning 140009 clauses out of 280042 with flag 55210681/10001002
690.92/682.50	c cleaning 140996 clauses out of 282032 with flag 56231940/10143001
705.63/697.28	c cleaning 141982 clauses out of 284035 with flag 57148643/10286000
713.96/705.40	c cleaning 142988 clauses out of 286053 with flag 57885102/10430000
722.93/714.34	c cleaning 143979 clauses out of 288067 with flag 58637112/10575002
733.18/724.54	c cleaning 145016 clauses out of 290086 with flag 59437628/10721000
743.01/734.31	c cleaning 146001 clauses out of 292072 with flag 60242425/10868002
761.58/752.86	c cleaning 147010 clauses out of 294069 with flag 61192803/11016000
773.21/764.45	c cleaning 147971 clauses out of 296061 with flag 62068603/11165002
782.74/773.98	c cleaning 149001 clauses out of 298089 with flag 62832433/11315001
789.69/780.72	c cleaning 149998 clauses out of 300087 with flag 63562916/11466000
797.05/788.05	c cleaning 150989 clauses out of 302092 with flag 64288490/11618003
809.67/800.61	c cleaning 151990 clauses out of 304102 with flag 65148174/11771002
819.22/810.06	c cleaning 152984 clauses out of 306110 with flag 65954915/11925000
832.15/822.71	c cleaning 154033 clauses out of 308127 with flag 66793747/12080001
841.61/832.11	c cleaning 155008 clauses out of 310094 with flag 67625223/12236001
848.17/838.61	c cleaning 155965 clauses out of 312086 with flag 68366109/12393001
857.11/847.57	c cleaning 156986 clauses out of 314122 with flag 69163448/12551002
865.67/856.11	c cleaning 157998 clauses out of 316134 with flag 69938994/12710000
877.30/867.66	c cleaning 158964 clauses out of 318137 with flag 70750374/12870001
887.71/877.96	c cleaning 160038 clauses out of 320174 with flag 71602092/13031002
911.10/901.24	c cleaning 160998 clauses out of 322135 with flag 72652548/13193001
923.37/913.44	c cleaning 161992 clauses out of 324136 with flag 73579546/13356000
940.71/930.74	c cleaning 162976 clauses out of 326146 with flag 74598997/13520002
967.96/957.96	c cleaning 163989 clauses out of 328168 with flag 75682902/13685000
981.91/971.72	c cleaning 165027 clauses out of 330182 with flag 76619994/13851003
990.55/980.34	c cleaning 166009 clauses out of 332152 with flag 77452573/14018000
1000.55/990.34	c cleaning 167026 clauses out of 334143 with flag 78284216/14186000
1011.29/1000.97	c cleaning 168006 clauses out of 336120 with flag 79185694/14355003
1022.18/1011.70	c cleaning 168986 clauses out of 338111 with flag 80035159/14525000
1038.43/1027.98	c cleaning 170024 clauses out of 340126 with flag 81029834/14696001
1052.48/1041.85	c cleaning 171008 clauses out of 342103 with flag 81999008/14868002
1068.76/1058.11	c cleaning 171952 clauses out of 344093 with flag 83077300/15041000
1088.62/1077.70	c cleaning 173056 clauses out of 346143 with flag 84118126/15215002
1103.80/1092.84	c cleaning 173956 clauses out of 348085 with flag 85104261/15390000
1114.59/1103.53	c cleaning 175045 clauses out of 350129 with flag 86023091/15566000
1127.73/1116.62	c cleaning 176020 clauses out of 352084 with flag 86961080/15743000
1142.72/1131.52	c cleaning 176934 clauses out of 354065 with flag 87992834/15921001
1152.84/1141.63	c cleaning 178018 clauses out of 356130 with flag 88945483/16100000
1168.21/1156.92	c cleaning 179027 clauses out of 358112 with flag 89905858/16280000
1177.94/1166.59	c cleaning 179948 clauses out of 360086 with flag 90841114/16461001
1187.28/1175.83	c cleaning 181020 clauses out of 362138 with flag 91729605/16643001
1203.34/1191.82	c cleaning 181995 clauses out of 364117 with flag 92777310/16826000
1241.10/1228.94	c cleaning 182995 clauses out of 366122 with flag 94069758/17010000
1269.09/1257.00	c cleaning 183996 clauses out of 368127 with flag 95452763/17195000
1297.82/1285.56	c cleaning 185000 clauses out of 370131 with flag 96749674/17381000
1329.22/1316.91	c cleaning 185999 clauses out of 372132 with flag 98046550/17568001
1360.17/1347.87	c cleaning 187005 clauses out of 374135 with flag 99475970/17756003
1393.45/1381.02	c cleaning 187992 clauses out of 376127 with flag 100869311/17945000
1410.04/1397.64	c cleaning 189048 clauses out of 378135 with flag 101924069/18135000
1424.08/1411.50	c cleaning 190009 clauses out of 380087 with flag 102890582/18326000
1444.44/1431.80	c cleaning 190996 clauses out of 382078 with flag 103990680/18518000
1462.92/1450.20	c cleaning 191999 clauses out of 384083 with flag 105002922/18711001
1474.21/1461.40	c cleaning 193022 clauses out of 386083 with flag 105999294/18905000
1487.54/1474.46	c cleaning 193965 clauses out of 388061 with flag 107036048/19100000
1509.48/1496.46	c cleaning 195024 clauses out of 390096 with flag 108048674/19296000
1520.16/1506.96	c cleaning 195949 clauses out of 392076 with flag 108999491/19493004
1547.16/1533.96	c cleaning 196989 clauses out of 394124 with flag 110274695/19691001
1580.77/1567.47	c cleaning 197988 clauses out of 396134 with flag 111690965/19890000
1614.78/1601.20	c cleaning 199002 clauses out of 398147 with flag 113186772/20090001
1637.40/1623.84	c cleaning 199975 clauses out of 400144 with flag 114449129/20291000
1648.17/1634.53	c cleaning 201069 clauses out of 402169 with flag 115432481/20493000
1658.41/1644.70	c cleaning 202030 clauses out of 404101 with flag 116409630/20696001
1669.31/1655.52	c cleaning 202950 clauses out of 406071 with flag 117428876/20900001
1680.57/1666.65	c cleaning 204014 clauses out of 408120 with flag 118459741/21105000
1693.19/1679.23	c cleaning 204954 clauses out of 410108 with flag 119462164/21311002
1706.31/1692.29	c cleaning 206045 clauses out of 412152 with flag 120554545/21518000
1718.90/1704.83	c cleaning 206975 clauses out of 414108 with flag 121633269/21726001
1731.93/1717.57	c cleaning 207974 clauses out of 416132 with flag 122643874/21935000
1746.19/1731.83	c cleaning 209020 clauses out of 418158 with flag 123702058/22145000
1760.96/1746.52	c cleaning 210041 clauses out of 420138 with flag 124781307/22356000
1773.27/1758.87	c cleaning 211004 clauses out of 422100 with flag 125873305/22568003
1785.13/1770.69	c cleaning 211979 clauses out of 424094 with flag 126933000/22781001
1798.97/1784.49	c cleaning 213037 clauses out of 426118 with flag 128021621/22995004
1813.28/1798.74	c cleaning 213998 clauses out of 428077 with flag 129133457/23210000
1826.65/1812.08	c cleaning 214999 clauses out of 430081 with flag 130229160/23426002
1837.62/1822.90	c cleaning 215978 clauses out of 432080 with flag 131315344/23643000
1853.28/1838.53	c cleaning 216963 clauses out of 434102 with flag 132468816/23861000
1866.20/1851.32	c cleaning 218030 clauses out of 436140 with flag 133580201/24080001
1880.98/1866.16	c cleaning 219007 clauses out of 438109 with flag 134735078/24300000
1905.66/1890.77	c cleaning 220007 clauses out of 440103 with flag 136120405/24521001
1925.79/1910.50	c cleaning 221041 clauses out of 442096 with flag 137417877/24743001
1937.90/1922.55	c cleaning 221981 clauses out of 444054 with flag 138524785/24966000
1950.77/1935.35	c cleaning 223017 clauses out of 446074 with flag 139658496/25190001
1963.12/1947.68	c cleaning 223969 clauses out of 448060 with flag 140813844/25415004
1974.72/1959.14	c cleaning 224977 clauses out of 450089 with flag 141920064/25641002
1987.97/1972.49	c cleaning 226034 clauses out of 452110 with flag 143076143/25868000
2001.60/1986.04	c cleaning 226962 clauses out of 454079 with flag 144212823/26096003
2013.48/1997.86	c cleaning 227991 clauses out of 456114 with flag 145341982/26325000
2028.41/2012.65	c cleaning 228989 clauses out of 458123 with flag 146570822/26555000
2043.03/2027.13	c cleaning 230005 clauses out of 460135 with flag 147741371/26786001
2058.61/2042.60	c cleaning 231016 clauses out of 462130 with flag 148947659/27018001
2073.38/2057.46	c cleaning 232032 clauses out of 464113 with flag 150174302/27251000
2091.46/2075.42	c cleaning 232942 clauses out of 466081 with flag 151441369/27485000
2105.66/2089.46	c cleaning 234053 clauses out of 468140 with flag 152576460/27720001
2119.10/2102.88	c cleaning 234998 clauses out of 470086 with flag 153784641/27956000
2134.76/2118.02	c cleaning 235987 clauses out of 472088 with flag 154957412/28193000
2149.76/2133.05	c cleaning 237026 clauses out of 474102 with flag 156177465/28431001
2176.25/2159.52	c cleaning 238015 clauses out of 476075 with flag 157438734/28670000
2189.82/2173.07	c cleaning 238965 clauses out of 478060 with flag 158583397/28910000
2204.52/2187.61	c cleaning 240006 clauses out of 480095 with flag 159826013/29151000
2225.14/2207.80	c cleaning 240995 clauses out of 482089 with flag 161177034/29393000
2281.24/2262.80	c cleaning 241997 clauses out of 484094 with flag 162591352/29636000
2310.03/2290.63	c cleaning 242994 clauses out of 486098 with flag 163997418/29880001
2332.09/2312.28	c cleaning 243996 clauses out of 488103 with flag 165327651/30125000
2349.25/2328.93	c cleaning 244978 clauses out of 490107 with flag 166587009/30371000
2369.30/2348.49	c cleaning 245998 clauses out of 492129 with flag 167896068/30618000
2390.13/2368.82	c cleaning 247004 clauses out of 494131 with flag 169329717/30866000
2423.56/2401.96	c cleaning 248045 clauses out of 496127 with flag 171008810/31115000
2443.98/2421.90	c cleaning 249020 clauses out of 498082 with flag 172273569/31365000
2468.21/2445.87	c cleaning 250013 clauses out of 500064 with flag 173590740/31616002
2484.15/2461.42	c cleaning 250992 clauses out of 502050 with flag 174841174/31868001
2503.52/2479.11	c cleaning 251951 clauses out of 504057 with flag 176123530/32121000
2527.54/2502.18	c cleaning 252986 clauses out of 506106 with flag 177553859/32375000
2547.71/2521.46	c cleaning 254016 clauses out of 508120 with flag 178884789/32630000
2563.43/2536.22	c cleaning 255010 clauses out of 510105 with flag 180158352/32886001
2580.16/2552.97	c cleaning 255997 clauses out of 512094 with flag 181444520/33143000
2605.04/2576.56	c cleaning 257003 clauses out of 514097 with flag 182897030/33401000
2627.06/2597.41	c cleaning 258001 clauses out of 516095 with flag 184375033/33660001
2644.22/2613.76	c cleaning 259041 clauses out of 518094 with flag 185679980/33920001
2664.14/2633.56	c cleaning 259989 clauses out of 520052 with flag 187097992/34181000
2680.84/2649.25	c cleaning 260986 clauses out of 522063 with flag 188461638/34443000
2697.90/2665.22	c cleaning 261972 clauses out of 524077 with flag 189821978/34706000
2719.29/2685.45	c cleaning 263016 clauses out of 526106 with flag 191248314/34970001
2738.14/2703.31	c cleaning 264029 clauses out of 528089 with flag 192605789/35235000
2755.32/2719.50	c cleaning 264950 clauses out of 530060 with flag 194002037/35501000
2771.59/2735.76	c cleaning 265952 clauses out of 532110 with flag 195327552/35768000
2788.16/2752.29	c cleaning 266976 clauses out of 534158 with flag 196693703/36036000
2805.27/2769.21	c cleaning 268068 clauses out of 536182 with flag 198009789/36305000
2821.31/2785.23	c cleaning 268983 clauses out of 538115 with flag 199316642/36575001
2836.76/2800.60	c cleaning 270037 clauses out of 540131 with flag 200635755/36846000
2852.45/2816.21	c cleaning 270950 clauses out of 542095 with flag 202029066/37118001
2870.38/2834.03	c cleaning 272058 clauses out of 544145 with flag 203472867/37391001
2886.88/2850.50	c cleaning 273004 clauses out of 546086 with flag 204831549/37665000
2902.86/2866.42	c cleaning 274022 clauses out of 548085 with flag 206143932/37940003
2919.60/2883.15	c cleaning 275015 clauses out of 550061 with flag 207557234/38216001
2935.81/2899.24	c cleaning 275988 clauses out of 552045 with flag 208971682/38493000
2955.20/2918.47	c cleaning 276981 clauses out of 554061 with flag 210478071/38771004
2972.06/2935.24	c cleaning 277945 clauses out of 556076 with flag 211876368/39050000
2988.51/2951.51	c cleaning 279033 clauses out of 558132 with flag 213316216/39330001
3013.76/2976.60	c cleaning 280006 clauses out of 560099 with flag 214772850/39611001
3031.37/2994.19	c cleaning 281001 clauses out of 562094 with flag 216202296/39893002
3050.78/3013.40	c cleaning 282011 clauses out of 564093 with flag 217700485/40176002
3068.45/3030.94	c cleaning 282955 clauses out of 566081 with flag 219145252/40460001
3092.60/3055.04	c cleaning 284012 clauses out of 568125 with flag 220733566/40745000
3109.33/3071.66	c cleaning 285009 clauses out of 570115 with flag 222169102/41031002
3126.39/3088.53	c cleaning 285975 clauses out of 572104 with flag 223637112/41318000
3148.71/3110.86	c cleaning 287003 clauses out of 574130 with flag 225177176/41606001
3165.74/3127.65	c cleaning 287976 clauses out of 576128 with flag 226585061/41895002
3187.95/3149.81	c cleaning 289056 clauses out of 578150 with flag 228135562/42185000
3208.89/3170.33	c cleaning 289990 clauses out of 580094 with flag 229686119/42476000
3227.23/3188.55	c cleaning 291013 clauses out of 582105 with flag 231134528/42768001
3252.26/3213.55	c cleaning 291996 clauses out of 584092 with flag 232727289/43061001
3271.32/3232.45	c cleaning 292986 clauses out of 586095 with flag 234243896/43355000
3291.27/3252.29	c cleaning 294020 clauses out of 588110 with flag 235749413/43650001
3316.01/3276.88	c cleaning 295001 clauses out of 590089 with flag 237368197/43946000
3384.76/3345.54	c cleaning 296018 clauses out of 592088 with flag 239426067/44243000
3441.73/3402.35	c cleaning 296942 clauses out of 594072 with flag 241453997/44541002
3467.82/3428.34	c cleaning 298024 clauses out of 596129 with flag 243168337/44840001
3488.38/3447.85	c cleaning 299029 clauses out of 598105 with flag 244666969/45140001
3509.07/3468.55	c cleaning 299992 clauses out of 600075 with flag 246143725/45441000
3529.18/3488.69	c cleaning 300963 clauses out of 602084 with flag 247670776/45743001
3553.23/3512.61	c cleaning 302008 clauses out of 604121 with flag 249361242/46046001
3581.74/3541.05	c cleaning 302993 clauses out of 606112 with flag 251144265/46350000
3600.09/3559.32	c timeout
3600.09/3559.32	c starts		: 15974
3600.09/3559.33	c conflicts		: 46495565
3600.09/3559.33	c decisions		: 68348227
3600.09/3559.33	c propagations		: 645899324
3600.09/3559.33	c inspects		: 38148153077
3600.09/3559.33	c shortcuts		: 0
3600.09/3559.33	c learnt literals	: 0
3600.09/3559.33	c learnt binary clauses	: 0
3600.09/3559.33	c learnt ternary clauses	: 0
3600.09/3559.33	c learnt constraints	: 46495565
3600.09/3559.33	c ignored constraints	: 0
3600.09/3559.33	c root simplifications	: 0
3600.09/3559.33	c removed literals (reason simplification)	: 40411549
3600.09/3559.33	c reason swapping (by a shorter reason)	: 0
3600.09/3559.33	c Calls to reduceDB	: 300
3600.09/3559.33	c Number of update (reduction) of LBD	: 15037456
3600.09/3559.33	c Imported unit clauses	: 0
3600.09/3559.33	c No decision after first conflict	: false
3600.09/3559.33	c number of reductions to clauses (during analyze)	: 0
3600.09/3559.33	c number of learned constraints concerned by reduction	: 0
3600.09/3559.33	c number of learning phase by resolution	: 0
3600.09/3559.33	c number of learning phase by cutting planes	: 0
3600.09/3559.33	c number of rounding to 1 operations	: 0
3600.09/3559.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3559.33	c number of reductions of the coefficients by power 2 	: 0
3600.09/3559.34	c number of right shift for reduction by power 2 	: 0
3600.09/3559.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3559.34	c number of ending skipping 	: 0
3600.09/3559.34	c number of internal skipping 	: 0
3600.09/3559.34	c number of derivation steps 	: 0
3600.09/3559.34	c number of skipped derivation steps 	: 0
3600.09/3559.34	c number of remaining unassigned 	: 0
3600.09/3559.34	c number of remaining assigned 	: 0
3600.09/3559.34	c number of falsified literals weakened from reason	: 0
3600.09/3559.34	c number of falsified literals weakened from conflict	: 0
3600.09/3559.34	c time for arithmetic operations	: 0
3600.09/3559.34	c minimum degree of deleted constraints	: null
3600.09/3559.34	c maximum degree of deleted constraints	: null
3600.09/3559.34	c number of deleted constraints	: 0
3600.09/3559.35	c speed (assignments/second)	: 181495.45895582257
3600.09/3559.35	c non guided choices	: 9141799
3600.23/3559.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 448684
3600.23/3559.48	s UNKNOWN
3600.23/3559.48	c Total wall clock time (in seconds): 3559.095

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542784-1753222705/watcher-4542784-1753222705 -o /tmp/evaluation-result-4542784-1753222705/solver-4542784-1753222705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542784-1753222705 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542784-1753222705.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=159043, runsolver pid=159035

[startup+0.103191 s]*
/proc/loadavg: 1.13 1.16 1.94 13/314 159116
/proc/meminfo: memFree=128808696/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=18930200 memory=42876 CPUtime=0.07 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 5360 0 99 0 4 3 0 0 20 0 18 0 237950315 19384524800 10719 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4732550 10719 4834 1 0 546651 0
[pid=159043/tid=159055] ppid=159035 vsize=18930200 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 4504 0 99 0 3 2 0 0 20 0 18 0 237950319 19384524800 11254 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=18930200 memory=16142 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384524800 11254 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=18930200 memory=58494082614266 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384524800 11254 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930200 KiB
Current children cumulated memory: 42876 KiB

[startup+0.213767 s]*
/proc/loadavg: 1.13 1.16 1.94 5/320 159122
/proc/meminfo: memFree=128799372/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=18930384 memory=49496 CPUtime=0.24 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 6084 0 99 0 19 5 0 0 20 0 18 0 237950315 19384713216 12374 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4732596 12374 5282 1 0 547251 0
[pid=159043/tid=159055] ppid=159035 vsize=18930384 memory=4026990876 CPUtime=0.14 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 4899 0 99 0 11 3 0 0 20 0 18 0 237950319 19384713216 12374 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 12374 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 12374 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49496 KiB

[startup+0.3159 s]*
/proc/loadavg: 1.13 1.16 1.94 12/320 159122
/proc/meminfo: memFree=128777760/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=18930384 memory=55620 CPUtime=0.4 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 6604 0 99 0 35 5 0 0 20 0 18 0 237950315 19384713216 13905 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4732596 13905 5282 1 0 547668 0
[pid=159043/tid=159055] ppid=159035 vsize=18930384 memory=-8600303413619368636 CPUtime=0.24 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 5074 0 99 0 21 3 0 0 20 0 18 0 237950319 19384713216 13905 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 13905 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 13905 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55620 KiB

[startup+0.70037 s]
/proc/loadavg: 1.13 1.16 1.94 14/322 159124
/proc/meminfo: memFree=128759108/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=18996948 memory=77336 CPUtime=1.08 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 7662 0 99 0 101 7 0 0 20 0 19 0 237950315 19452874752 19334 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4749237 19334 5378 1 0 548413 0
[pid=159043/tid=159055] ppid=159035 vsize=18996948 memory=26880 CPUtime=0.52 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 5322 0 99 0 48 4 0 0 20 0 19 0 237950319 19452874752 19334 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 19334 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 19334 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77336 KiB

[startup+1.5003 s]
/proc/loadavg: 1.13 1.16 1.94 12/324 159126
/proc/meminfo: memFree=128625020/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=18996948 memory=156500 CPUtime=2.66 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 20751 0 99 0 251 15 0 0 20 0 19 0 237950315 19452874752 39125 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4749237 39125 5378 1 0 553176 0
[pid=159043/tid=159055] ppid=159035 vsize=18996948 memory=3200 CPUtime=1.22 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 5789 0 99 0 114 8 0 0 20 0 19 0 237950319 19452874752 39125 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 39125 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 39125 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=18996948 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237950373 19452874752 39125 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 156500 KiB

[startup+3.10588 s]
/proc/loadavg: 1.68 1.27 1.97 10/328 159130
/proc/meminfo: memFree=128269872/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=232440 CPUtime=5.83 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 25884 0 99 0 563 20 0 0 20 0 20 0 237950315 19521036288 58110 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 58110 5442 1 0 554647 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=14560 CPUtime=2.74 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 7014 0 99 0 262 12 0 0 20 0 20 0 237950319 19521036288 58110 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 58110 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 58110 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 58110 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 232440 KiB

[startup+6.30019 s]
/proc/loadavg: 1.68 1.27 1.97 8/328 159130
/proc/meminfo: memFree=126551240/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=636560 CPUtime=10.01 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 26512 0 99 0 969 32 0 0 20 0 20 0 237950315 19521036288 159140 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 159140 5474 1 0 554655 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=0 CPUtime=5.87 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 7420 0 99 0 563 24 0 0 20 0 20 0 237950319 19521036288 159140 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 159140 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 159140 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=170156 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 159140 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 636560 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 1.32 1.98 7/328 159130
/proc/meminfo: memFree=124693912/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=1183436 CPUtime=16.36 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 29718 0 99 0 1588 48 0 0 20 0 20 0 237950315 19521036288 295859 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 295859 5474 1 0 554655 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=170156 CPUtime=12.12 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 8858 0 99 0 1173 39 0 0 20 0 20 0 237950319 19521036288 295859 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=1177292 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 295859 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 295859 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 295859 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 16.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1183436 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 1.47 2.02 6/328 159130
/proc/meminfo: memFree=123327920/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=1314532 CPUtime=29.15 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 32726 0 99 0 2856 59 0 0 20 0 20 0 237950315 19521036288 328633 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 328633 5474 1 0 554655 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=1177292 CPUtime=24.8 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 10398 0 99 0 2432 48 0 0 20 0 20 0 237950319 19521036288 328633 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 328633 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 328633 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=1314532 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 328633 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314532 KiB

[startup+51.1137 s]
/proc/loadavg: 3.14 1.72 2.09 6/328 159131
/proc/meminfo: memFree=122589160/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=1344524 CPUtime=55.51 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 40897 0 99 0 5475 76 0 0 20 0 20 0 237950315 19521036288 336131 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 336131 5474 1 0 554655 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=1344524 CPUtime=50.09 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 11968 0 99 0 4947 62 0 0 20 0 20 0 237950319 19521036288 336131 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=1183436 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 336131 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 336131 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0

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

[startup+3222.3 s]
/proc/loadavg: 4.24 4.26 4.20 6/326 159300
/proc/meminfo: memFree=79158700/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3261.14 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 174873 0 99 0 324390 1724 0 0 20 0 20 0 237950315 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 818264 5474 1 0 828704 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=-8816476195733152444 CPUtime=3168.13 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 88282 0 99 0 315298 1515 0 0 20 0 20 0 237950319 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=3505348 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1378 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3261.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3273056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.27 4.21 6/325 159302
/proc/meminfo: memFree=78239732/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3321.48 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 174976 0 99 0 330399 1749 0 0 20 0 20 0 237950315 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 818264 5474 1 0 828704 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3227.33 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 88331 0 99 0 321195 1538 0 0 20 0 20 0 237950319 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1385 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3321.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3273056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.25 4.20 6/326 159305
/proc/meminfo: memFree=77880084/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3381.56 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 175008 0 99 0 336394 1762 0 0 20 0 20 0 237950315 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 818264 5474 1 0 828704 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=26880 CPUtime=3286.84 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 88334 0 99 0 327136 1548 0 0 20 0 20 0 237950319 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=-8816476195733152444 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1386 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3381.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3273056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.20 6/327 159314
/proc/meminfo: memFree=77395512/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3441.73 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 176509 0 99 0 342397 1776 0 0 20 0 20 0 237950315 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 818264 5474 1 0 828704 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=3273056 CPUtime=3346.33 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 89610 0 99 0 333073 1560 0 0 20 0 20 0 237950319 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=26880 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1387 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 818264 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3441.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3273056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.25 4.20 6/328 159317
/proc/meminfo: memFree=76774628/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3502.88 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 181364 0 99 0 348481 1807 0 0 20 0 20 0 237950315 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 797424 5474 1 0 807824 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3405.25 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 94032 0 99 0 338938 1587 0 0 20 0 20 0 237950319 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=3273056 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=3189696 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1393 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3502.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3189696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.28 4.21 6/328 159319
/proc/meminfo: memFree=76116176/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3562.97 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 182252 0 99 0 354457 1840 0 0 20 0 20 0 237950315 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 797424 5474 1 0 807824 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3464.6 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 94749 0 99 0 344843 1617 0 0 20 0 20 0 237950319 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=3189696 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3562.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3189696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.3 s]
/proc/loadavg: 4.21 4.25 4.20 6/328 159321
/proc/meminfo: memFree=75773248/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3600.09 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 182443 0 99 0 358156 1853 0 0 20 0 20 0 237950315 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4765878 797424 5474 1 0 807824 0
[pid=159043/tid=159055] ppid=159035 vsize=19063512 memory=3189696 CPUtime=3501.24 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) R 159035 159043 158984 0 -1 4194368 94916 0 99 0 348495 1629 0 0 20 0 20 0 237950319 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19063512 memory=3189696 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159126] ppid=159035 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/159043/task/159126/stat : 159126 (Timer-0) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950373 19521036288 797424 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3189696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.8 s, system=18.5507 s

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

[startup+3559.41 s]
/proc/loadavg: 4.21 4.25 4.20 6/328 159321
/proc/meminfo: memFree=75773248/131382112 swapFree=33010160/33010684
[pid=159043] ppid=159035 vsize=19263204 memory=3190592 CPUtime=3600.23 cores=4,6
/proc/159043/stat : 159043 (java) S 159035 159043 158984 0 -1 4194304 183905 0 99 0 358170 1853 0 0 20 0 21 0 237950315 19725520896 797648 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
/proc/159043/statm: 4815801 797648 5506 1 0 808757 0
[pid=159043/tid=159055] ppid=159035 vsize=19263204 memory=8319119552859878455 CPUtime=3501.27 cores=4,6
/proc/159043/task/159055/stat : 159055 (java) S 159035 159043 158984 0 -1 4194368 95158 0 99 0 348498 1629 0 0 20 0 21 0 237950319 19725520896 797648 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159090] ppid=159035 vsize=19263204 memory=-8816476195733152444 CPUtime=0 cores=4,6
/proc/159043/task/159090/stat : 159090 (Finalizer) S 159035 159043 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237950325 19725520896 797648 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
[pid=159043/tid=159122] ppid=159035 vsize=19263204 memory=4764 CPUtime=0 cores=4,6
/proc/159043/task/159122/stat : 159122 (Common-Cleaner) S 159035 159043 158984 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 21 0 237950326 19725520896 797648 18446744073709551615 94272112070656 94272112074352 140735377199024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94272112082168 94272112082960 94272123564032 140735377201492 140735377201636 140735377201636 140735377207240 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3190592 KiB

Child status: 143

Real time (s): 3559.51
CPU time (s): 3600.35
CPU user time (s): 3581.8
CPU system time (s): 18.5507
CPU usage (%): 101.147
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5852812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.8
system time used= 18.5507
maximum resident set size= 5852812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184046
page faults= 99
swaps= 0
block input operations= 0
block output operations= 30238856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126537
involuntary context switches= 15335


# summary of solver processes directly reported to runsolver:
#   pid: 159043
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3581.8
#   total CPU system time (s): 18.5507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2897 second user time and 35.2619 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-23 00:18:25
IDJOB=4542784
IDBENCH=164647
IDSOLVER=3364
FILE ID=nodeC009/4542784-1753222705
RUNJOBID= nodeC009-1753222705-158995
SLURM_JOB_ID= 9687823
Free space on /tmp= 432296 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542784-1753222705/watcher-4542784-1753222705 -o /tmp/evaluation-result-4542784-1753222705/solver-4542784-1753222705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542784-1753222705 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542784-1753222705.opb

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

MD5SUM BENCH= 99fe8e2cd23c0484947be7a71ede996e
RANDOM SEED=639994482

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128846468 kB
MemAvailable:   129760188 kB
Buffers:            2144 kB
Cached:          1631036 kB
SwapCached:           24 kB
Active:          1206372 kB
Inactive:         493704 kB
Active(anon):      88944 kB
Inactive(anon):     4080 kB
Active(file):    1117428 kB
Inactive(file):   489624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1716 kB
Writeback:             8 kB
AnonPages:         70024 kB
Mapped:           108056 kB
Shmem:             26128 kB
KReclaimable:     292204 kB
Slab:             385080 kB
SReclaimable:     292204 kB
SUnreclaim:        92876 kB
KernelStack:        3888 kB
PageTables:         3004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 380664 MiB
End job on nodeC009 at 2025-07-23 01:17:45