Trace number 4543525

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.32 3584.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
MD5SUMeed585aa251b38ddb3321f6bce6a5d3d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.007963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables160
Total number of constraints161
Number of constraints which are clauses160
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint160
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4543525-1753227984.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.023s.
0.13/0.15	c declared #vars     160
0.13/0.15	c #constraints  161
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 160
0.13/0.15	c 161 constraints processed.
0.90/0.56	c cleaning 2497 clauses out of 5001 with flag 11628/5001
1.67/0.93	c cleaning 4252 clauses out of 8503 with flag 25524/11000
2.26/1.28	c cleaning 5625 clauses out of 11251 with flag 42298/18000
2.86/1.55	c cleaning 6814 clauses out of 13627 with flag 61653/26001
3.26/1.79	c cleaning 7904 clauses out of 15812 with flag 81597/35000
3.83/2.02	c cleaning 8954 clauses out of 17909 with flag 103909/45001
4.13/2.31	c cleaning 9977 clauses out of 19954 with flag 128338/56000
4.44/2.62	c cleaning 10989 clauses out of 21978 with flag 155204/68001
4.74/2.94	c cleaning 11990 clauses out of 23988 with flag 184170/81000
5.04/3.29	c cleaning 12997 clauses out of 25998 with flag 216198/95000
5.48/3.65	c cleaning 14001 clauses out of 28001 with flag 250287/110000
6.05/4.04	c cleaning 14999 clauses out of 30001 with flag 287690/126001
6.52/4.44	c cleaning 15995 clauses out of 32001 with flag 326173/143000
6.97/4.88	c cleaning 17002 clauses out of 34008 with flag 367220/161002
7.46/5.34	c cleaning 18002 clauses out of 36005 with flag 409436/180001
8.06/5.91	c cleaning 18996 clauses out of 38003 with flag 453929/200001
8.59/6.49	c cleaning 20000 clauses out of 40006 with flag 500808/221000
9.19/7.06	c cleaning 21002 clauses out of 42007 with flag 550572/243001
9.78/7.62	c cleaning 21999 clauses out of 44004 with flag 602130/266000
10.39/8.25	c cleaning 23003 clauses out of 46006 with flag 655942/290001
10.99/8.88	c cleaning 24002 clauses out of 48003 with flag 711790/315001
11.69/9.53	c cleaning 24999 clauses out of 50000 with flag 769980/341000
12.30/10.19	c cleaning 25998 clauses out of 52001 with flag 830376/368000
13.10/10.97	c cleaning 27000 clauses out of 54003 with flag 893727/396000
13.90/11.78	c cleaning 28001 clauses out of 56004 with flag 958708/425001
14.90/12.78	c cleaning 28992 clauses out of 58002 with flag 1031170/455000
15.79/13.67	c cleaning 29998 clauses out of 60010 with flag 1101641/486000
16.81/14.64	c cleaning 31000 clauses out of 62012 with flag 1173310/518000
17.71/15.52	c cleaning 31999 clauses out of 64012 with flag 1246739/551000
18.61/16.49	c cleaning 33001 clauses out of 66013 with flag 1323936/585000
19.92/17.73	c cleaning 34003 clauses out of 68013 with flag 1405120/620001
21.06/18.85	c cleaning 35004 clauses out of 70010 with flag 1487551/656001
22.45/20.26	c cleaning 35999 clauses out of 72006 with flag 1580752/693001
23.97/21.73	c cleaning 36994 clauses out of 74006 with flag 1675625/731000
25.27/23.09	c cleaning 37995 clauses out of 76012 with flag 1767913/770000
26.57/24.38	c cleaning 39003 clauses out of 78017 with flag 1857005/810000
27.98/25.71	c cleaning 40002 clauses out of 80014 with flag 1948395/851000
29.28/27.00	c cleaning 41005 clauses out of 82013 with flag 2042259/893001
30.57/28.36	c cleaning 41996 clauses out of 84007 with flag 2137952/936000
31.88/29.68	c cleaning 43001 clauses out of 86012 with flag 2235941/980001
33.28/31.07	c cleaning 43998 clauses out of 88011 with flag 2336539/1025001
34.79/32.54	c cleaning 45004 clauses out of 90012 with flag 2439565/1071000
36.39/34.11	c cleaning 46002 clauses out of 92008 with flag 2545470/1118000
37.99/35.74	c cleaning 46993 clauses out of 94006 with flag 2652429/1166000
39.78/37.50	c cleaning 48001 clauses out of 96013 with flag 2761905/1215000
41.38/39.13	c cleaning 48995 clauses out of 98012 with flag 2873716/1265000
42.89/40.60	c cleaning 50006 clauses out of 100017 with flag 2987383/1316000
44.59/42.34	c cleaning 51000 clauses out of 102011 with flag 3103351/1368000
46.39/44.16	c cleaning 52000 clauses out of 104012 with flag 3221263/1421001
48.28/46.05	c cleaning 52998 clauses out of 106011 with flag 3342241/1475000
50.00/47.76	c cleaning 54000 clauses out of 108014 with flag 3465008/1530001
51.70/49.43	c cleaning 55002 clauses out of 110014 with flag 3589430/1586001
53.71/51.43	c cleaning 56005 clauses out of 112011 with flag 3718407/1643000
55.70/53.44	c cleaning 56997 clauses out of 114008 with flag 3848174/1701002
57.61/55.37	c cleaning 58004 clauses out of 116010 with flag 3980428/1760001
59.93/57.68	c cleaning 58998 clauses out of 118005 with flag 4113928/1820000
62.23/59.90	c cleaning 59997 clauses out of 120008 with flag 4250263/1881001
64.75/62.46	c cleaning 61001 clauses out of 122010 with flag 4389021/1943000
67.14/64.84	c cleaning 62000 clauses out of 124010 with flag 4530017/2006001
69.67/67.35	c cleaning 63001 clauses out of 126009 with flag 4673217/2070000
72.26/69.92	c cleaning 63998 clauses out of 128010 with flag 4817817/2135002
74.98/72.61	c cleaning 65003 clauses out of 130011 with flag 4964292/2201001
78.01/75.66	c cleaning 65998 clauses out of 132008 with flag 5114944/2268001
80.70/78.37	c cleaning 66999 clauses out of 134009 with flag 5266851/2336000
83.92/81.59	c cleaning 68001 clauses out of 136010 with flag 5421105/2405000
86.45/84.06	c cleaning 69002 clauses out of 138009 with flag 5576854/2475000
88.84/86.45	c cleaning 69998 clauses out of 140007 with flag 5735161/2546000
91.77/89.32	c cleaning 71000 clauses out of 142011 with flag 5895968/2618002
94.61/92.14	c cleaning 72004 clauses out of 144009 with flag 6058285/2691000
97.40/94.95	c cleaning 72999 clauses out of 146006 with flag 6223445/2765001
100.22/97.76	c cleaning 73994 clauses out of 148008 with flag 6389591/2840002
103.75/101.27	c cleaning 75001 clauses out of 150013 with flag 6558218/2916001
107.84/105.30	c cleaning 75996 clauses out of 152012 with flag 6734414/2993001
111.37/108.86	c cleaning 76997 clauses out of 154015 with flag 6916040/3071000
116.30/113.70	c cleaning 78005 clauses out of 156019 with flag 7097508/3150001
121.24/118.65	c cleaning 78997 clauses out of 158014 with flag 7281329/3230001
125.08/122.47	c cleaning 80000 clauses out of 160017 with flag 7464532/3311001
129.07/126.47	c cleaning 80998 clauses out of 162016 with flag 7650755/3393000
132.81/130.13	c cleaning 82008 clauses out of 164018 with flag 7837045/3476000
136.54/133.83	c cleaning 82996 clauses out of 166010 with flag 8028807/3560000
139.78/137.04	c cleaning 84002 clauses out of 168014 with flag 8219740/3645000
144.02/141.28	c cleaning 85000 clauses out of 170014 with flag 8412566/3731002
148.50/145.72	c cleaning 86001 clauses out of 172013 with flag 8607736/3818001
152.73/149.92	c cleaning 86999 clauses out of 174012 with flag 8804523/3906001
156.36/153.52	c cleaning 88001 clauses out of 176012 with flag 9003520/3995000
160.70/157.89	c cleaning 88996 clauses out of 178014 with flag 9205083/4085003
166.23/163.31	c cleaning 90001 clauses out of 180015 with flag 9408019/4176000
170.18/167.28	c cleaning 91001 clauses out of 182014 with flag 9612998/4268000
174.83/171.81	c cleaning 92004 clauses out of 184014 with flag 9820780/4361001
179.22/176.24	c cleaning 92998 clauses out of 186010 with flag 10030578/4455001
184.54/181.50	c cleaning 93996 clauses out of 188011 with flag 10243902/4550000
189.78/186.74	c cleaning 94999 clauses out of 190015 with flag 10460642/4646000
195.33/192.25	c cleaning 96005 clauses out of 192016 with flag 10678125/4743000
201.17/198.03	c cleaning 97002 clauses out of 194011 with flag 10897613/4841000
207.00/203.83	c cleaning 98001 clauses out of 196010 with flag 11122747/4940001
216.13/212.99	c cleaning 98998 clauses out of 198008 with flag 11385175/5040000
223.07/219.80	c cleaning 100004 clauses out of 200010 with flag 11631267/5141000
228.44/225.15	c cleaning 101001 clauses out of 202006 with flag 11862146/5243000
235.78/232.44	c cleaning 101993 clauses out of 204005 with flag 12112165/5346000
242.31/238.98	c cleaning 102996 clauses out of 206012 with flag 12363621/5450000
247.46/244.08	c cleaning 104006 clauses out of 208017 with flag 12604054/5555001
253.28/249.81	c cleaning 105001 clauses out of 210010 with flag 12853702/5661000
260.10/256.61	c cleaning 105999 clauses out of 212009 with flag 13118666/5768000
265.33/261.82	c cleaning 106997 clauses out of 214011 with flag 13373122/5876001
273.06/269.51	c cleaning 108002 clauses out of 216013 with flag 13646755/5985000
280.38/276.84	c cleaning 108998 clauses out of 218011 with flag 13918571/6095000
287.61/284.03	c cleaning 110001 clauses out of 220014 with flag 14201640/6206001
295.22/291.67	c cleaning 111003 clauses out of 222013 with flag 14474975/6318001
304.54/300.91	c cleaning 112002 clauses out of 224010 with flag 14766594/6431001
311.66/308.09	c cleaning 113000 clauses out of 226008 with flag 15039218/6545001
324.70/320.81	c cleaning 113995 clauses out of 228007 with flag 15341105/6660000
333.38/329.44	c cleaning 115003 clauses out of 230015 with flag 15629859/6776003
340.22/336.26	c cleaning 115999 clauses out of 232010 with flag 15906105/6893001
346.54/342.52	c cleaning 117000 clauses out of 234011 with flag 16189965/7011001
354.86/350.83	c cleaning 118000 clauses out of 236010 with flag 16485090/7130000
366.96/362.98	c cleaning 118994 clauses out of 238010 with flag 16778093/7250000
374.64/370.54	c cleaning 120000 clauses out of 240017 with flag 17060282/7371001
384.08/379.94	c cleaning 121008 clauses out of 242017 with flag 17371295/7493001
391.99/387.82	c cleaning 122005 clauses out of 244009 with flag 17661446/7616001
402.96/398.75	c cleaning 122993 clauses out of 246005 with flag 17972233/7740002
410.99/406.75	c cleaning 123999 clauses out of 248010 with flag 18258932/7865000
419.11/414.84	c cleaning 124998 clauses out of 250011 with flag 18554882/7991000
428.51/424.29	c cleaning 126006 clauses out of 252015 with flag 18861785/8118002
437.37/433.07	c cleaning 127000 clauses out of 254007 with flag 19167667/8246000
447.41/443.03	c cleaning 128001 clauses out of 256008 with flag 19483400/8375001
457.63/453.28	c cleaning 128994 clauses out of 258006 with flag 19815357/8505000
464.80/460.38	c cleaning 130001 clauses out of 260012 with flag 20126750/8636000
471.04/466.52	c cleaning 131001 clauses out of 262011 with flag 20421705/8768000
486.39/481.83	c cleaning 132000 clauses out of 264010 with flag 20779139/8901000
495.83/491.28	c cleaning 133003 clauses out of 266012 with flag 21123521/9035002
507.38/502.74	c cleaning 134000 clauses out of 268007 with flag 21441454/9170000
515.29/510.63	c cleaning 135002 clauses out of 270007 with flag 21766801/9306000
523.72/519.06	c cleaning 135996 clauses out of 272005 with flag 22079086/9443000
531.95/527.22	c cleaning 136994 clauses out of 274010 with flag 22405321/9581001
540.91/536.18	c cleaning 138002 clauses out of 276016 with flag 22725242/9720001
548.02/543.22	c cleaning 139001 clauses out of 278013 with flag 23043110/9860000
558.85/554.05	c cleaning 139997 clauses out of 280012 with flag 23368347/10001000
566.23/561.30	c cleaning 140999 clauses out of 282015 with flag 23687437/10143000
574.68/569.77	c cleaning 142000 clauses out of 284016 with flag 24006887/10286000
587.08/582.12	c cleaning 142999 clauses out of 286016 with flag 24355153/10430000
599.22/594.28	c cleaning 144000 clauses out of 288017 with flag 24708672/10575000
608.18/602.95	c cleaning 145004 clauses out of 290017 with flag 25045675/10721000
615.82/610.51	c cleaning 146007 clauses out of 292013 with flag 25389528/10868000
625.14/619.83	c cleaning 146999 clauses out of 294008 with flag 25730736/11016002
633.91/628.52	c cleaning 148003 clauses out of 296009 with flag 26080283/11165002
643.94/638.56	c cleaning 148999 clauses out of 298005 with flag 26426384/11315001
652.33/646.87	c cleaning 149999 clauses out of 300005 with flag 26769016/11466000
661.84/656.35	c cleaning 150999 clauses out of 302006 with flag 27118626/11618000
671.69/666.12	c cleaning 151999 clauses out of 304009 with flag 27461328/11771002
679.49/673.99	c cleaning 153004 clauses out of 306010 with flag 27809537/11925002
688.74/683.12	c cleaning 153998 clauses out of 308004 with flag 28161935/12080000
702.93/697.29	c cleaning 154990 clauses out of 310006 with flag 28524719/12236000
711.76/706.10	c cleaning 156007 clauses out of 312017 with flag 28879079/12393001
722.90/717.18	c cleaning 157003 clauses out of 314010 with flag 29233067/12551001
732.82/727.06	c cleaning 158002 clauses out of 316008 with flag 29590580/12710002
744.28/738.46	c cleaning 158997 clauses out of 318005 with flag 29948173/12870001
755.86/749.94	c cleaning 159999 clauses out of 320008 with flag 30309129/13031001
767.49/761.56	c cleaning 160997 clauses out of 322009 with flag 30671796/13193001
776.94/771.00	c cleaning 161999 clauses out of 324012 with flag 31034598/13356001
786.21/780.16	c cleaning 162999 clauses out of 326012 with flag 31400232/13520000
796.58/790.40	c cleaning 164005 clauses out of 328014 with flag 31767984/13685001
805.90/799.78	c cleaning 165000 clauses out of 330008 with flag 32138991/13851000
817.02/810.83	c cleaning 165996 clauses out of 332008 with flag 32512582/14018000
826.90/820.63	c cleaning 167001 clauses out of 334013 with flag 32887782/14186001
839.61/833.30	c cleaning 168006 clauses out of 336013 with flag 33266675/14355002
852.02/845.75	c cleaning 168998 clauses out of 338005 with flag 33645912/14525000
865.37/859.10	c cleaning 169998 clauses out of 340007 with flag 34025929/14696000
878.62/872.24	c cleaning 170998 clauses out of 342010 with flag 34408122/14868001
893.02/886.68	c cleaning 172006 clauses out of 344011 with flag 34797442/15041000
906.05/899.69	c cleaning 172992 clauses out of 346005 with flag 35186138/15215000
922.78/916.30	c cleaning 174006 clauses out of 348015 with flag 35578122/15390002
935.74/929.22	c cleaning 174998 clauses out of 350007 with flag 35971757/15566000
947.66/941.17	c cleaning 176000 clauses out of 352009 with flag 36371965/15743000
960.97/954.44	c cleaning 177002 clauses out of 354009 with flag 36774329/15921000
974.63/968.04	c cleaning 177996 clauses out of 356008 with flag 37174900/16100001
986.69/980.02	c cleaning 178999 clauses out of 358011 with flag 37575891/16280000
999.93/993.21	c cleaning 179999 clauses out of 360012 with flag 37979528/16461000
1013.28/1006.57	c cleaning 181003 clauses out of 362013 with flag 38385712/16643000
1027.33/1020.58	c cleaning 181999 clauses out of 364010 with flag 38794106/16826000
1042.98/1036.11	c cleaning 183001 clauses out of 366011 with flag 39204459/17010000
1058.90/1051.91	c cleaning 183999 clauses out of 368010 with flag 39616731/17195000
1075.85/1068.57	c cleaning 184998 clauses out of 370012 with flag 40031940/17381001
1090.70/1083.34	c cleaning 186003 clauses out of 372015 with flag 40450383/17568002
1105.83/1098.45	c cleaning 186997 clauses out of 374012 with flag 40870267/17756002
1121.26/1113.81	c cleaning 188003 clauses out of 376013 with flag 41291141/17945000
1135.33/1127.85	c cleaning 189001 clauses out of 378011 with flag 41715173/18135001
1149.30/1141.74	c cleaning 189996 clauses out of 380011 with flag 42140567/18326002
1163.36/1155.71	c cleaning 191005 clauses out of 382013 with flag 42567245/18518000
1179.96/1172.27	c cleaning 191997 clauses out of 384008 with flag 42996374/18711000
1195.14/1187.34	c cleaning 192997 clauses out of 386012 with flag 43427561/18905001
1210.49/1202.61	c cleaning 194004 clauses out of 388015 with flag 43860722/19100001
1225.72/1217.89	c cleaning 195002 clauses out of 390010 with flag 44294797/19296000
1238.46/1230.56	c cleaning 196001 clauses out of 392008 with flag 44732805/19493000
1254.09/1246.19	c cleaning 196997 clauses out of 394007 with flag 45182886/19691000
1269.47/1261.45	c cleaning 198004 clauses out of 396011 with flag 45642174/19890001
1285.50/1277.42	c cleaning 198999 clauses out of 398006 with flag 46097261/20090000
1302.43/1294.37	c cleaning 199998 clauses out of 400007 with flag 46568952/20291000
1318.50/1310.37	c cleaning 200999 clauses out of 402010 with flag 47029098/20493001
1331.43/1323.23	c cleaning 202001 clauses out of 404010 with flag 47484762/20696000
1349.48/1341.25	c cleaning 202999 clauses out of 406009 with flag 47937867/20900000
1366.55/1358.28	c cleaning 204004 clauses out of 408011 with flag 48393959/21105001
1383.09/1374.78	c cleaning 204993 clauses out of 410006 with flag 48851507/21311000
1401.43/1393.03	c cleaning 206006 clauses out of 412013 with flag 49312562/21518000
1418.14/1409.73	c cleaning 206997 clauses out of 414008 with flag 49776313/21726001
1434.50/1426.02	c cleaning 208000 clauses out of 416010 with flag 50242527/21935000
1448.24/1439.75	c cleaning 209004 clauses out of 418012 with flag 50710066/22145002
1466.37/1457.87	c cleaning 210000 clauses out of 420006 with flag 51183219/22356000
1485.38/1476.85	c cleaning 211003 clauses out of 422006 with flag 51655502/22568000
1497.54/1488.94	c cleaning 212001 clauses out of 424004 with flag 52130407/22781001
1512.17/1503.50	c cleaning 212995 clauses out of 426002 with flag 52607780/22995000
1529.58/1520.98	c cleaning 213997 clauses out of 428008 with flag 53089198/23210001
1550.36/1541.65	c cleaning 214999 clauses out of 430010 with flag 53572592/23426000
1570.37/1561.66	c cleaning 216003 clauses out of 432011 with flag 54057743/23643000
1588.36/1579.51	c cleaning 216999 clauses out of 434008 with flag 54545662/23861000
1605.85/1596.95	c cleaning 217992 clauses out of 436009 with flag 55034090/24080000
1622.63/1613.66	c cleaning 219006 clauses out of 438018 with flag 55524353/24300001
1639.46/1630.48	c cleaning 219996 clauses out of 440011 with flag 56017322/24521000
1655.84/1646.74	c cleaning 221001 clauses out of 442016 with flag 56511288/24743001
1676.12/1666.69	c cleaning 222004 clauses out of 444015 with flag 57008994/24966001
1690.79/1681.29	c cleaning 222997 clauses out of 446011 with flag 57507654/25190001
1707.32/1697.79	c cleaning 224000 clauses out of 448014 with flag 58009390/25415001
1729.46/1719.85	c cleaning 224996 clauses out of 450014 with flag 58513195/25641001
1750.07/1740.42	c cleaning 226003 clauses out of 452017 with flag 59017730/25868000
1766.51/1756.85	c cleaning 227005 clauses out of 454014 with flag 59525984/26096000
1786.38/1776.60	c cleaning 227999 clauses out of 456009 with flag 60038547/26325000
1803.83/1794.03	c cleaning 228997 clauses out of 458011 with flag 60554540/26555001
1822.65/1812.80	c cleaning 230001 clauses out of 460013 with flag 61071278/26786000
1837.39/1827.46	c cleaning 231002 clauses out of 462015 with flag 61593334/27018003
1860.82/1850.83	c cleaning 231997 clauses out of 464011 with flag 62110718/27251001
1880.00/1869.93	c cleaning 233000 clauses out of 466014 with flag 62632965/27485001
1902.63/1892.53	c cleaning 233999 clauses out of 468013 with flag 63157558/27720000
1923.97/1913.89	c cleaning 235002 clauses out of 470014 with flag 63686192/27956000
1943.12/1932.91	c cleaning 236003 clauses out of 472013 with flag 64215340/28193001
1959.96/1949.75	c cleaning 237001 clauses out of 474010 with flag 64749207/28431001
1977.88/1967.55	c cleaning 237994 clauses out of 476010 with flag 65285933/28670002
2000.90/1990.51	c cleaning 239005 clauses out of 478015 with flag 65822681/28910001
2020.42/2010.06	c cleaning 239997 clauses out of 480010 with flag 66359537/29151001
2039.71/2029.26	c cleaning 240999 clauses out of 482012 with flag 66900741/29393000
2065.81/2055.30	c cleaning 241999 clauses out of 484013 with flag 67447683/29636000
2084.11/2073.50	c cleaning 242998 clauses out of 486015 with flag 67990985/29880001
2100.75/2090.14	c cleaning 244003 clauses out of 488016 with flag 68539971/30125000
2123.40/2112.73	c cleaning 245001 clauses out of 490013 with flag 69098006/30371000
2141.53/2130.89	c cleaning 246001 clauses out of 492012 with flag 69654980/30618000
2160.15/2149.38	c cleaning 246995 clauses out of 494012 with flag 70210697/30866001
2177.59/2166.71	c cleaning 248004 clauses out of 496016 with flag 70765009/31115000
2196.18/2185.24	c cleaning 249005 clauses out of 498012 with flag 71321510/31365000
2212.31/2201.36	c cleaning 249999 clauses out of 500008 with flag 71881796/31616001
2231.36/2220.35	c cleaning 250999 clauses out of 502008 with flag 72444620/31868000
2255.04/2243.98	c cleaning 251997 clauses out of 504010 with flag 73012422/32121001
2274.47/2263.32	c cleaning 253003 clauses out of 506013 with flag 73581104/32375001
2291.54/2280.31	c cleaning 253997 clauses out of 508009 with flag 74151143/32630000
2312.41/2301.10	c cleaning 255002 clauses out of 510013 with flag 74719944/32886001
2335.00/2323.31	c cleaning 256006 clauses out of 512011 with flag 75291272/33143001
2355.47/2343.70	c cleaning 256992 clauses out of 514005 with flag 75866148/33401001
2375.96/2364.11	c cleaning 258002 clauses out of 516013 with flag 76444030/33660001
2393.70/2381.84	c cleaning 259003 clauses out of 518011 with flag 77022178/33920001
2415.58/2403.62	c cleaning 259999 clauses out of 520008 with flag 77605401/34181001
2432.62/2420.58	c cleaning 261000 clauses out of 522008 with flag 78188944/34443000
2454.36/2442.25	c cleaning 261997 clauses out of 524009 with flag 78776045/34706001
2473.71/2461.56	c cleaning 262999 clauses out of 526012 with flag 79368978/34970001
2496.01/2483.77	c cleaning 264005 clauses out of 528012 with flag 79961302/35235000
2518.33/2506.08	c cleaning 265002 clauses out of 530007 with flag 80553299/35501000
2539.62/2527.22	c cleaning 266001 clauses out of 532005 with flag 81149844/35768000
2559.30/2546.80	c cleaning 267002 clauses out of 534005 with flag 81748740/36036001
2584.18/2571.68	c cleaning 267997 clauses out of 536003 with flag 82349766/36305001
2613.80/2601.26	c cleaning 269002 clauses out of 538006 with flag 82954816/36575001
2633.71/2621.01	c cleaning 269996 clauses out of 540004 with flag 83566360/36846001
2655.57/2642.82	c cleaning 270998 clauses out of 542008 with flag 84182133/37118001
2681.46/2668.69	c cleaning 272000 clauses out of 544010 with flag 84795472/37391001
2704.89/2692.07	c cleaning 272995 clauses out of 546009 with flag 85408735/37665000
2727.93/2715.08	c cleaning 274004 clauses out of 548014 with flag 86023945/37940000
2748.68/2735.79	c cleaning 274995 clauses out of 550011 with flag 86639698/38216001
2772.86/2759.84	c cleaning 276003 clauses out of 552015 with flag 87259993/38493000
2796.64/2783.59	c cleaning 276995 clauses out of 554012 with flag 87890856/38771000
2816.46/2803.28	c cleaning 278001 clauses out of 556018 with flag 88510465/39050001
2843.37/2830.12	c cleaning 279008 clauses out of 558018 with flag 89137834/39330002
2863.82/2850.53	c cleaning 280002 clauses out of 560009 with flag 89764463/39611001
2889.91/2876.56	c cleaning 280998 clauses out of 562007 with flag 90395145/39893001
2912.73/2899.21	c cleaning 282000 clauses out of 564008 with flag 91027756/40176000
2939.70/2926.16	c cleaning 282998 clauses out of 566008 with flag 91663241/40460000
2963.47/2949.81	c cleaning 284004 clauses out of 568011 with flag 92301362/40745001
2992.44/2978.71	c cleaning 284995 clauses out of 570006 with flag 92940028/41031000
3021.77/3008.09	c cleaning 286001 clauses out of 572012 with flag 93580122/41318001
3049.16/3035.32	c cleaning 286997 clauses out of 574010 with flag 94221329/41606000
3071.67/3057.39	c cleaning 288002 clauses out of 576013 with flag 94871604/41895000
3097.25/3082.87	c cleaning 288997 clauses out of 578012 with flag 95524851/42185001
3118.23/3103.75	c cleaning 290008 clauses out of 580016 with flag 96179283/42476002
3142.82/3128.23	c cleaning 290997 clauses out of 582006 with flag 96834125/42768000
3168.09/3153.42	c cleaning 291997 clauses out of 584010 with flag 97496246/43061001
3195.17/3180.41	c cleaning 293000 clauses out of 586013 with flag 98153721/43355001
3221.34/3206.58	c cleaning 294003 clauses out of 588012 with flag 98811462/43650000
3253.32/3238.42	c cleaning 295002 clauses out of 590010 with flag 99470792/43946001
3283.79/3268.85	c cleaning 296001 clauses out of 592008 with flag 100135628/44243001
3310.75/3295.70	c cleaning 296999 clauses out of 594007 with flag 100804253/44541001
3339.82/3324.72	c cleaning 297999 clauses out of 596008 with flag 101473390/44840001
3369.97/3354.80	c cleaning 299002 clauses out of 598009 with flag 102143680/45140001
3395.13/3379.99	c cleaning 300000 clauses out of 600006 with flag 102817707/45441000
3415.30/3400.03	c cleaning 300996 clauses out of 602006 with flag 103493248/45743000
3443.35/3428.01	c cleaning 302003 clauses out of 604010 with flag 104169431/46046000
3475.29/3459.97	c cleaning 302997 clauses out of 606007 with flag 104856923/46350000
3513.43/3498.06	c cleaning 303999 clauses out of 608012 with flag 105541304/46655002
3542.63/3527.09	c cleaning 305004 clauses out of 610011 with flag 106223930/46961000
3576.71/3561.08	c cleaning 305999 clauses out of 612008 with flag 106913725/47268001
3600.07/3584.31	c starts		: 1
3600.07/3584.33	c conflicts		: 47576001
3600.07/3584.33	c decisions		: 68988838
3600.07/3584.33	c propagations		: 372674806
3600.07/3584.33	c inspects		: 25995405796
3600.07/3584.33	c shortcuts		: 0
3600.07/3584.33	c learnt literals	: 0
3600.07/3584.33	c learnt binary clauses	: 0
3600.07/3584.33	c learnt ternary clauses	: 0
3600.07/3584.33	c learnt constraints	: 47576001
3600.07/3584.33	c ignored constraints	: 0
3600.07/3584.33	c root simplifications	: 0
3600.07/3584.33	c removed literals (reason simplification)	: 22506701
3600.07/3584.33	c reason swapping (by a shorter reason)	: 0
3600.07/3584.33	c Calls to reduceDB	: 304
3600.07/3584.33	c Number of update (reduction) of LBD	: 4152490
3600.07/3584.33	c Imported unit clauses	: 0
3600.07/3584.33	c No decision after first conflict	: false
3600.07/3584.33	c number of reductions to clauses (during analyze)	: 0
3600.07/3584.33	c number of learned constraints concerned by reduction	: 0
3600.07/3584.33	c number of learning phase by resolution	: 0
3600.07/3584.33	c number of learning phase by cutting planes	: 0
3600.07/3584.33	c number of rounding to 1 operations	: 0
3600.07/3584.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3584.33	c number of reductions of the coefficients by power 2 	: 0
3600.07/3584.33	c number of right shift for reduction by power 2 	: 0
3600.07/3584.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3584.34	c number of ending skipping 	: 0
3600.07/3584.34	c number of internal skipping 	: 0
3600.07/3584.34	c number of derivation steps 	: 0
3600.07/3584.34	c number of skipped derivation steps 	: 0
3600.07/3584.34	c number of remaining unassigned 	: 0
3600.07/3584.34	c number of remaining assigned 	: 0
3600.07/3584.34	c number of falsified literals weakened from reason	: 0
3600.07/3584.34	c number of falsified literals weakened from conflict	: 0
3600.07/3584.34	c time for arithmetic operations	: 0
3600.07/3584.34	c minimum degree of deleted constraints	: null
3600.07/3584.34	c maximum degree of deleted constraints	: null
3600.07/3584.34	c number of deleted constraints	: 0
3600.07/3584.34	c speed (assignments/second)	: 103977.64566643101
3600.07/3584.34	c non guided choices	: 85
3600.27/3584.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 614009
3600.27/3584.42	s UNKNOWN
3600.27/3584.42	c Total wall clock time (in seconds): 3584.29

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543525-1753227984/watcher-4543525-1753227984 -o /tmp/evaluation-result-4543525-1753227984/solver-4543525-1753227984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179940 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543525-1753227984 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543525-1753227984.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=180521, runsolver pid=180518

[startup+0.100059 s]*
/proc/loadavg: 4.25 4.23 4.19 5/339 180539
/proc/meminfo: memFree=106714448/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=18930384 memory=57992 CPUtime=0.13 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 6601 0 0 0 11 2 0 0 20 0 18 0 238477772 19384713216 14498 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4732596 14498 5365 1 0 547640 0
[pid=180521/tid=180523] ppid=180518 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 5099 0 0 0 7 1 0 0 20 0 18 0 238477773 19384713216 14498 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238477775 19384713216 14498 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238477775 19384713216 14498 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57992 KiB

[startup+0.205706 s]*
/proc/loadavg: 4.25 4.23 4.19 7/340 180540
/proc/meminfo: memFree=106709456/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=18996948 memory=64756 CPUtime=0.32 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 7186 0 0 0 30 2 0 0 20 0 19 0 238477772 19452874752 16189 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4749237 16189 5461 1 0 548303 0
[pid=180521/tid=180523] ppid=180518 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 5334 0 0 0 16 1 0 0 20 0 19 0 238477773 19452874752 16189 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=18996948 memory=16898 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238477775 19452874752 16189 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238477775 19452874752 16189 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238477788 19452874752 16189 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64756 KiB

[startup+0.305686 s]*
/proc/loadavg: 4.25 4.23 4.19 7/340 180540
/proc/meminfo: memFree=106688044/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=18996948 memory=84964 CPUtime=0.51 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 9106 0 0 0 48 3 0 0 20 0 19 0 238477772 19452874752 21241 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4749237 21241 5461 1 0 549153 0
[pid=180521/tid=180523] ppid=180518 vsize=18996948 memory=-8600860904619025084 CPUtime=0.24 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 5356 0 0 0 22 2 0 0 20 0 19 0 238477773 19452874752 21241 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238477775 19452874752 21241 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238477775 19452874752 21241 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238477788 19452874752 21241 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84964 KiB

[startup+0.700247 s]
/proc/loadavg: 4.25 4.23 4.19 6/340 180540
/proc/meminfo: memFree=106635680/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=168584 CPUtime=1.27 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 13681 0 0 0 121 6 0 0 20 0 20 0 238477772 19521036288 42146 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 42146 5461 1 0 552234 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=27264 CPUtime=0.58 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 5439 0 0 0 54 4 0 0 20 0 20 0 238477773 19521036288 42146 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 42146 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 42146 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 42146 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168584 KiB

[startup+1.50023 s]
/proc/loadavg: 4.25 4.23 4.19 6/341 180541
/proc/meminfo: memFree=106589368/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=174492 CPUtime=2.86 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 21243 0 0 0 277 9 0 0 20 0 20 0 238477772 19521036288 43623 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 43623 5461 1 0 553071 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 5838 0 0 0 130 6 0 0 20 0 20 0 238477773 19521036288 43623 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 43623 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 43623 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 43623 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174492 KiB

[startup+3.10562 s]
/proc/loadavg: 4.25 4.23 4.19 5/341 180541
/proc/meminfo: memFree=106135036/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=648100 CPUtime=4.94 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 22598 0 0 0 472 22 0 0 20 0 20 0 238477772 19521036288 162025 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 162025 5461 1 0 553074 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=10752 CPUtime=2.93 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 6668 0 0 0 275 18 0 0 20 0 20 0 238477773 19521036288 162025 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=-8600860904619025084 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 162025 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 162025 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 162025 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 648100 KiB

[startup+6.30022 s]
/proc/loadavg: 4.23 4.23 4.18 5/341 180541
/proc/meminfo: memFree=105571288/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=1100872 CPUtime=8.49 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 23848 0 0 0 812 37 0 0 20 0 20 0 238477772 19521036288 275218 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 275218 5461 1 0 553074 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=0 CPUtime=6.08 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 7118 0 0 0 576 32 0 0 20 0 20 0 238477773 19521036288 275218 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 275218 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 275218 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=174492 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 275218 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1100872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.22 4.18 5/341 180541
/proc/meminfo: memFree=105426508/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=1141872 CPUtime=14.9 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 24576 0 0 0 1439 51 0 0 20 0 20 0 238477772 19521036288 285468 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 285468 5461 1 0 553074 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=174492 CPUtime=12.42 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 7821 0 0 0 1196 46 0 0 20 0 20 0 238477773 19521036288 285468 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=1141872 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 285468 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 285468 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 285468 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141872 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 180675
/proc/meminfo: memFree=122503368/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=1328280 CPUtime=27.78 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 32139 0 0 0 2698 80 0 0 20 0 20 0 238477772 19521036288 332070 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 332070 5461 1 0 553074 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=1141872 CPUtime=25.12 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 9815 0 0 0 2438 74 0 0 20 0 20 0 238477773 19521036288 332070 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 332070 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 332070 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 332070 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 27.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328280 KiB

[startup+51.1057 s]
/proc/loadavg: 4.37 4.26 4.19 5/341 180678
/proc/meminfo: memFree=121278468/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=1344832 CPUtime=53.41 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 34888 0 0 0 5218 123 0 0 20 0 20 0 238477772 19521036288 336208 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 336208 5493 1 0 553074 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.21 4.24 5/340 180869
/proc/meminfo: memFree=63516996/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3297.32 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 110049 0 0 0 326707 3025 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3253.25 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 46204 0 0 0 322403 2922 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1649 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3297.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.24 5/340 180871
/proc/meminfo: memFree=62723452/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3357.5 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 110121 0 0 0 332681 3069 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3312.75 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 46208 0 0 0 328311 2964 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1699 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3357.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.24 4.25 5/341 180874
/proc/meminfo: memFree=61916248/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3417.6 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 110701 0 0 0 338644 3116 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=5265 CPUtime=3372.34 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 46738 0 0 0 334223 3011 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2171116 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1699 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3417.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.24 4.25 5/340 180876
/proc/meminfo: memFree=61126420/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3477.69 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 111585 0 0 0 344610 3159 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=5265 CPUtime=3431.95 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 47459 0 0 0 340143 3052 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2171116 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1807 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3477.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.24 4.25 5/341 180880
/proc/meminfo: memFree=60274916/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3537.93 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 112352 0 0 0 350595 3198 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3491.41 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 47956 0 0 0 346051 3090 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=-8600860904619025084 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3537.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.25 4.25 5/341 181084
/proc/meminfo: memFree=99126424/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3598.07 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 112524 0 0 0 356566 3241 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3550.89 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 47968 0 0 0 351958 3131 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3598.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.3 s]
/proc/loadavg: 4.27 4.25 4.25 6/341 181084
/proc/meminfo: memFree=98726272/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3600.07 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 112524 0 0 0 356766 3241 0 0 20 0 20 0 238477772 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4765878 543323 5525 1 0 554406 0
[pid=180521/tid=180523] ppid=180518 vsize=19063512 memory=2173292 CPUtime=3552.88 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 47968 0 0 0 352157 3131 0 0 20 0 20 0 238477773 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 238477775 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180540] ppid=180518 vsize=19063512 memory=2173292 CPUtime=0 cores=0,2
/proc/180521/task/180540/stat : 180540 (Timer-0) S 180518 180521 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238477788 19521036288 543323 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3567.89 s, system=32.426 s

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

[startup+3584.41 s]
/proc/loadavg: 4.27 4.25 4.25 6/341 181084
/proc/meminfo: memFree=98726272/131250000 swapFree=33009904/33010684
[pid=180521] ppid=180518 vsize=19263204 memory=2173932 CPUtime=3600.27 cores=0,2
/proc/180521/stat : 180521 (java) S 180518 180521 179930 0 -1 4194304 114334 0 0 0 356786 3241 0 0 20 0 21 0 238477772 19725520896 543483 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
/proc/180521/statm: 4815801 543483 5525 1 0 555309 0
[pid=180521/tid=180523] ppid=180518 vsize=19263204 memory=-8600860904619025084 CPUtime=3552.99 cores=0,2
/proc/180521/task/180523/stat : 180523 (java) R 180518 180521 179930 0 -1 4194368 47968 0 0 0 352168 3131 0 0 20 0 21 0 238477773 19725520896 543483 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180532] ppid=180518 vsize=19263204 memory=17552 CPUtime=0 cores=0,2
/proc/180521/task/180532/stat : 180532 (Finalizer) S 180518 180521 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238477775 19725520896 543483 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
[pid=180521/tid=180539] ppid=180518 vsize=19263204 memory=46080 CPUtime=0 cores=0,2
/proc/180521/task/180539/stat : 180539 (Common-Cleaner) S 180518 180521 179930 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 21 0 238477775 19725520896 543483 18446744073709551615 94505577431040 94505577434736 140735699397744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94505577442552 94505577443344 94505604775936 140735699401044 140735699401188 140735699401188 140735699406792 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173932 KiB

Child status: 143

Real time (s): 3584.43
CPU time (s): 3600.32
CPU user time (s): 3567.89
CPU system time (s): 32.426
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.89
system time used= 32.426
maximum resident set size= 2174188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30010344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133168
involuntary context switches= 12451


# summary of solver processes directly reported to runsolver:
#   pid: 180521
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3567.89
#   total CPU system time (s): 32.426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67955 second user time and 16.7432 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 01:46:24
IDJOB=4543525
IDBENCH=173828
IDSOLVER=3364
FILE ID=nodeC033/4543525-1753227984
RUNJOBID= nodeC033-1753224403-179940
SLURM_JOB_ID= 9687833
Free space on /tmp= 415948 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large/normalized-domset-hexgrid_08_020.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543525-1753227984/watcher-4543525-1753227984 -o /tmp/evaluation-result-4543525-1753227984/solver-4543525-1753227984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179940 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543525-1753227984 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543525-1753227984.opb

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

MD5SUM BENCH= eed585aa251b38ddb3321f6bce6a5d3d
RANDOM SEED=1084973598

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        106759468 kB
MemAvailable:   124063448 kB
Buffers:            2128 kB
Cached:         18023256 kB
SwapCached:           64 kB
Active:          6901444 kB
Inactive:       16796056 kB
Active(anon):    5693128 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file): 16790772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            166896 kB
Writeback:            12 kB
AnonPages:       5673168 kB
Mapped:           128884 kB
Shmem:             26228 kB
KReclaimable:     288264 kB
Slab:             386752 kB
SReclaimable:     288264 kB
SUnreclaim:        98488 kB
KernelStack:        5232 kB
PageTables:        14872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7091136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5451776 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 405552 MiB
End job on nodeC033 at 2025-07-23 02:46:08