Trace number 4453462

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 2024 2024-07-07? (TO) 3600.18 3617.79

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-3.opb
MD5SUM2250f6fb3aae6ce944dd5cd9d2eb392c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.00249
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables301
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints133
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.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.12/0.13	--- Begin Solver configuration ---
0.12/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.13	Learn all clauses as in MiniSAT
0.12/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	Expensive reason simplification
0.12/0.13	Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	timeout=2147483s
0.12/0.13	DB Simplification allowed=false
0.12/0.13	Listener: none
0.12/0.13	--- End Solver configuration ---
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4453462-1721843436.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.019s.
0.12/0.15	c declared #vars     301
0.12/0.15	c #constraints  150
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 150
0.12/0.15	c 150 constraints processed.
1.11/0.65	c cleaning 2498 clauses out of 5002 with flag 43377/5002
1.88/1.01	c cleaning 4248 clauses out of 8502 with flag 101572/11000
2.46/1.34	c cleaning 5625 clauses out of 11255 with flag 163682/18001
3.07/1.63	c cleaning 6805 clauses out of 13634 with flag 239338/26005
3.87/2.07	c cleaning 7900 clauses out of 15824 with flag 333300/35000
4.62/2.57	c cleaning 8951 clauses out of 17924 with flag 443916/45000
5.53/3.20	c cleaning 9977 clauses out of 19973 with flag 571166/56000
6.13/3.86	c cleaning 10983 clauses out of 21997 with flag 704591/68001
7.01/4.74	c cleaning 11995 clauses out of 24014 with flag 851400/81001
7.92/5.69	c cleaning 13001 clauses out of 26018 with flag 1005017/95000
9.10/6.81	c cleaning 13998 clauses out of 28018 with flag 1173869/110001
10.29/8.03	c cleaning 14997 clauses out of 30020 with flag 1348826/126001
11.65/9.37	c cleaning 16001 clauses out of 32023 with flag 1536491/143001
13.20/10.81	c cleaning 16992 clauses out of 34021 with flag 1741473/161000
14.59/12.29	c cleaning 18009 clauses out of 36029 with flag 1942324/180000
15.77/13.44	c cleaning 19001 clauses out of 38021 with flag 2122058/200001
16.66/14.34	c cleaning 20003 clauses out of 40019 with flag 2320848/221000
18.16/15.88	c cleaning 21000 clauses out of 42017 with flag 2608552/243001
19.76/17.47	c cleaning 22003 clauses out of 44019 with flag 2908915/266003
21.06/18.76	c cleaning 22999 clauses out of 46018 with flag 3148985/290005
22.36/20.04	c cleaning 23990 clauses out of 48014 with flag 3403955/315000
24.02/21.70	c cleaning 24999 clauses out of 50026 with flag 3688110/341002
26.01/23.74	c cleaning 25995 clauses out of 52027 with flag 4014909/368002
28.01/25.77	c cleaning 26998 clauses out of 54031 with flag 4357075/396001
30.32/28.06	c cleaning 27996 clauses out of 56032 with flag 4689574/425000
32.71/30.47	c cleaning 29005 clauses out of 58037 with flag 5063504/455001
35.50/33.27	c cleaning 30002 clauses out of 60031 with flag 5464062/486000
38.40/36.11	c cleaning 31000 clauses out of 62031 with flag 5866666/518002
41.30/39.04	c cleaning 31998 clauses out of 64029 with flag 6304721/551000
44.28/42.01	c cleaning 33002 clauses out of 66031 with flag 6738402/585000
47.58/45.34	c cleaning 34001 clauses out of 68031 with flag 7194954/620002
51.07/48.83	c cleaning 34999 clauses out of 70031 with flag 7707368/656003
54.77/54.29	c cleaning 36002 clauses out of 72030 with flag 8228212/693001
58.86/58.30	c cleaning 36996 clauses out of 74028 with flag 8755612/731001
63.35/62.80	c cleaning 38003 clauses out of 76031 with flag 9279817/770000
65.96/65.47	c cleaning 39006 clauses out of 78028 with flag 9716354/810000
68.35/67.87	c cleaning 39999 clauses out of 80022 with flag 10135194/851000
71.14/70.65	c cleaning 41001 clauses out of 82024 with flag 10576422/893001
74.75/74.24	c cleaning 42000 clauses out of 84022 with flag 11015951/936000
77.65/77.15	c cleaning 43000 clauses out of 86022 with flag 11439816/980000
80.44/79.93	c cleaning 44002 clauses out of 88023 with flag 11887060/1025001
83.35/82.84	c cleaning 44995 clauses out of 90020 with flag 12348683/1071000
86.94/86.40	c cleaning 46008 clauses out of 92025 with flag 12847022/1118000
90.00/89.69	c cleaning 47003 clauses out of 94018 with flag 13312851/1166001
93.22/92.86	c cleaning 48005 clauses out of 96015 with flag 13780851/1215001
96.71/96.39	c cleaning 48991 clauses out of 98009 with flag 14323604/1265000
100.51/100.19	c cleaning 50001 clauses out of 100020 with flag 14844457/1316002
104.50/104.14	c cleaning 50996 clauses out of 102017 with flag 15374076/1368000
109.28/108.97	c cleaning 52000 clauses out of 104021 with flag 15943542/1421000
115.16/114.82	c cleaning 52993 clauses out of 106023 with flag 16578796/1475002
119.64/119.40	c cleaning 54009 clauses out of 108030 with flag 17185587/1530002
124.03/123.84	c cleaning 55003 clauses out of 110020 with flag 17770469/1586001
128.64/128.44	c cleaning 56004 clauses out of 112017 with flag 18330959/1643001
133.53/133.34	c cleaning 56991 clauses out of 114012 with flag 18924097/1701000
139.02/138.80	c cleaning 57996 clauses out of 116022 with flag 19556973/1760001
144.21/144.10	c cleaning 58999 clauses out of 118025 with flag 20198913/1820000
149.19/149.16	c cleaning 60002 clauses out of 120026 with flag 20867035/1881000
154.10/154.07	c cleaning 61004 clauses out of 122024 with flag 21505411/1943000
159.38/159.33	c cleaning 61997 clauses out of 124021 with flag 22159229/2006001
165.18/165.11	c cleaning 62999 clauses out of 126026 with flag 22842073/2070003
170.65/170.66	c cleaning 63997 clauses out of 128025 with flag 23544504/2135001
176.87/176.88	c cleaning 65000 clauses out of 130027 with flag 24222918/2201000
182.95/183.01	c cleaning 66004 clauses out of 132027 with flag 24943294/2268000
189.12/189.22	c cleaning 67003 clauses out of 134024 with flag 25668282/2336001
198.32/198.40	c cleaning 67995 clauses out of 136021 with flag 26501169/2405001
209.80/209.93	c cleaning 69000 clauses out of 138025 with flag 27366229/2475000
216.28/216.54	c cleaning 69998 clauses out of 140025 with flag 28091260/2546000
222.80/223.02	c cleaning 71004 clauses out of 142028 with flag 28844203/2618001
230.18/230.45	c cleaning 72005 clauses out of 144024 with flag 29650661/2691001
236.99/237.29	c cleaning 73001 clauses out of 146021 with flag 30401873/2765003
244.47/244.87	c cleaning 74004 clauses out of 148018 with flag 31195897/2840001
251.97/252.31	c cleaning 74996 clauses out of 150016 with flag 31957695/2916003
260.16/260.52	c cleaning 75995 clauses out of 152017 with flag 32779899/2993000
268.54/268.93	c cleaning 77014 clauses out of 154028 with flag 33544215/3071006
276.46/276.92	c cleaning 77998 clauses out of 156008 with flag 34341193/3150000
285.03/285.50	c cleaning 79000 clauses out of 158011 with flag 35155649/3230001
293.84/294.39	c cleaning 79989 clauses out of 160011 with flag 36000347/3311001
302.72/303.31	c cleaning 81005 clauses out of 162021 with flag 36877175/3393000
311.32/311.95	c cleaning 81995 clauses out of 164016 with flag 37760537/3476000
320.34/320.95	c cleaning 82999 clauses out of 166021 with flag 38633692/3560000
329.52/330.19	c cleaning 84004 clauses out of 168024 with flag 39541018/3645002
338.63/339.34	c cleaning 85001 clauses out of 170019 with flag 40408858/3731001
347.86/348.56	c cleaning 85995 clauses out of 172017 with flag 41307334/3818000
357.03/357.73	c cleaning 87002 clauses out of 174023 with flag 42286393/3906001
369.54/370.38	c cleaning 87997 clauses out of 176022 with flag 43396673/3995002
380.65/381.40	c cleaning 88999 clauses out of 178024 with flag 44299034/4085001
391.61/392.45	c cleaning 90013 clauses out of 180025 with flag 45224262/4176001
402.61/403.56	c cleaning 91004 clauses out of 182015 with flag 46152348/4268004
413.34/414.24	c cleaning 91990 clauses out of 184008 with flag 47088524/4361001
424.09/424.92	c cleaning 93006 clauses out of 186018 with flag 48074497/4455001
435.36/436.39	c cleaning 93995 clauses out of 188012 with flag 49074071/4550001
446.89/447.82	c cleaning 94998 clauses out of 190016 with flag 50050799/4646000
458.10/459.22	c cleaning 95998 clauses out of 192020 with flag 51067788/4743002
470.25/471.39	c cleaning 96999 clauses out of 194021 with flag 52190246/4841001
481.62/482.76	c cleaning 98003 clauses out of 196022 with flag 53213199/4940001
493.73/494.94	c cleaning 98987 clauses out of 198019 with flag 54256636/5040001
506.37/507.57	c cleaning 100009 clauses out of 200031 with flag 55334687/5141000
518.40/519.67	c cleaning 101003 clauses out of 202022 with flag 56389021/5243000
530.18/531.41	c cleaning 101997 clauses out of 204019 with flag 57437462/5346000
543.68/544.94	c cleaning 103005 clauses out of 206022 with flag 58494462/5450000
555.50/556.88	c cleaning 103989 clauses out of 208017 with flag 59620822/5555000
568.31/569.60	c cleaning 105011 clauses out of 210029 with flag 60703536/5661001
582.13/583.55	c cleaning 106003 clauses out of 212017 with flag 61793304/5768000
595.81/597.28	c cleaning 106994 clauses out of 214015 with flag 62897550/5876001
609.92/611.47	c cleaning 107998 clauses out of 216020 with flag 64032714/5985000
624.13/625.64	c cleaning 108996 clauses out of 218024 with flag 65155081/6095002
638.01/639.54	c cleaning 109994 clauses out of 220026 with flag 66271959/6206000
652.54/654.15	c cleaning 111001 clauses out of 222032 with flag 67415339/6318000
668.32/669.94	c cleaning 112007 clauses out of 224031 with flag 68607985/6431000
683.47/685.14	c cleaning 112999 clauses out of 226025 with flag 69786825/6545001
698.73/700.47	c cleaning 114007 clauses out of 228027 with flag 70942656/6660002
713.93/715.75	c cleaning 114998 clauses out of 230018 with flag 72171575/6776000
731.48/733.38	c cleaning 115996 clauses out of 232020 with flag 73323531/6893000
746.79/748.68	c cleaning 116998 clauses out of 234024 with flag 74529701/7011000
762.51/764.49	c cleaning 118001 clauses out of 236026 with flag 75743044/7130000
778.93/780.89	c cleaning 119008 clauses out of 238027 with flag 76938300/7250002
797.25/799.25	c cleaning 119998 clauses out of 240019 with flag 78157744/7371002
816.31/818.33	c cleaning 121003 clauses out of 242019 with flag 79356356/7493000
833.45/835.55	c cleaning 121994 clauses out of 244016 with flag 80589503/7616000
851.45/853.59	c cleaning 123004 clauses out of 246022 with flag 81841472/7740000
868.42/870.58	c cleaning 123995 clauses out of 248019 with flag 83068548/7865001
887.67/889.80	c cleaning 125004 clauses out of 250023 with flag 84358006/7991000
905.94/908.23	c cleaning 126001 clauses out of 252020 with flag 85673248/8118001
925.02/927.56	c cleaning 127003 clauses out of 254020 with flag 86896948/8246002
943.20/945.80	c cleaning 127998 clauses out of 256016 with flag 88150458/8375001
961.93/964.69	c cleaning 129001 clauses out of 258017 with flag 89390321/8505000
981.00/983.72	c cleaning 129995 clauses out of 260016 with flag 90689265/8636000
999.91/1002.66	c cleaning 131001 clauses out of 262021 with flag 91904533/8768000
1018.38/1021.16	c cleaning 131996 clauses out of 264020 with flag 93147205/8901000
1038.11/1040.99	c cleaning 133004 clauses out of 266025 with flag 94530794/9035001
1059.42/1062.21	c cleaning 134000 clauses out of 268020 with flag 95841805/9170000
1080.08/1082.96	c cleaning 134993 clauses out of 270021 with flag 97219791/9306001
1101.53/1104.43	c cleaning 136008 clauses out of 272033 with flag 98605799/9443006
1123.34/1126.25	c cleaning 136997 clauses out of 274021 with flag 99930860/9581002
1145.70/1148.64	c cleaning 137998 clauses out of 276022 with flag 101236663/9720000
1167.55/1170.56	c cleaning 139005 clauses out of 278025 with flag 102568182/9860001
1190.48/1193.57	c cleaning 140006 clauses out of 280020 with flag 103958555/10001001
1215.75/1218.96	c cleaning 141006 clauses out of 282014 with flag 105287052/10143001
1240.56/1243.89	c cleaning 142000 clauses out of 284007 with flag 106705379/10286000
1263.32/1266.65	c cleaning 142992 clauses out of 286007 with flag 108080376/10430000
1286.57/1290.00	c cleaning 144005 clauses out of 288017 with flag 109545836/10575002
1315.11/1318.52	c cleaning 144998 clauses out of 290012 with flag 110965216/10721002
1337.06/1340.46	c cleaning 146002 clauses out of 292014 with flag 112405983/10868002
1362.92/1366.35	c cleaning 146991 clauses out of 294010 with flag 113797253/11016000
1387.48/1390.95	c cleaning 147995 clauses out of 296019 with flag 115178916/11165000
1411.72/1415.77	c cleaning 149009 clauses out of 298025 with flag 116598018/11315001
1438.36/1442.53	c cleaning 150003 clauses out of 300015 with flag 118048495/11466000
1464.94/1469.11	c cleaning 150991 clauses out of 302012 with flag 119521078/11618000
1489.25/1493.54	c cleaning 151993 clauses out of 304021 with flag 120984283/11771000
1517.13/1521.50	c cleaning 152998 clauses out of 306030 with flag 122474414/11925002
1546.81/1551.22	c cleaning 154010 clauses out of 308031 with flag 123928786/12080001
1572.46/1577.05	c cleaning 154996 clauses out of 310021 with flag 125416334/12236001
1597.47/1602.11	c cleaning 156004 clauses out of 312024 with flag 126927847/12393000
1624.52/1629.49	c cleaning 157005 clauses out of 314021 with flag 128413948/12551001
1655.16/1660.14	c cleaning 157990 clauses out of 316016 with flag 129933385/12710001
1683.46/1688.55	c cleaning 159003 clauses out of 318026 with flag 131426709/12870001
1713.28/1718.43	c cleaning 160007 clauses out of 320022 with flag 132924037/13031000
1743.18/1748.46	c cleaning 160997 clauses out of 322015 with flag 134478922/13193000
1775.34/1780.60	c cleaning 162003 clauses out of 324018 with flag 136018352/13356000
1803.98/1809.37	c cleaning 163003 clauses out of 326016 with flag 137542333/13520001
1835.89/1841.38	c cleaning 164002 clauses out of 328013 with flag 139088630/13685001
1867.49/1873.10	c cleaning 164997 clauses out of 330010 with flag 140700212/13851000
1896.77/1902.38	c cleaning 165997 clauses out of 332013 with flag 142292218/14018000
1927.42/1933.03	c cleaning 167002 clauses out of 334016 with flag 143881527/14186000
1958.06/1963.72	c cleaning 167983 clauses out of 336016 with flag 145481283/14355002
1994.75/2000.51	c cleaning 169006 clauses out of 338032 with flag 147056344/14525001
2026.65/2032.53	c cleaning 170008 clauses out of 340025 with flag 148659568/14696000
2056.75/2062.78	c cleaning 171000 clauses out of 342017 with flag 150314980/14868000
2090.84/2096.98	c cleaning 172003 clauses out of 344019 with flag 151897756/15041002
2124.04/2130.25	c cleaning 172987 clauses out of 346014 with flag 153579432/15215000
2157.03/2163.37	c cleaning 174008 clauses out of 348027 with flag 155134446/15390000
2190.89/2197.50	c cleaning 175007 clauses out of 350020 with flag 156808490/15566001
2230.19/2236.94	c cleaning 175997 clauses out of 352014 with flag 158441190/15743002
2260.81/2267.62	c cleaning 177005 clauses out of 354016 with flag 160171194/15921001
2294.18/2301.15	c cleaning 177992 clauses out of 356011 with flag 161841615/16100001
2335.37/2342.46	c cleaning 179003 clauses out of 358018 with flag 163487908/16280000
2371.81/2378.91	c cleaning 179998 clauses out of 360015 with flag 165123772/16461000
2408.84/2416.12	c cleaning 180994 clauses out of 362020 with flag 166829192/16643003
2450.49/2457.90	c cleaning 181995 clauses out of 364026 with flag 168535328/16826003
2488.26/2495.79	c cleaning 183007 clauses out of 366028 with flag 170176017/17010000
2532.22/2539.85	c cleaning 184004 clauses out of 368021 with flag 171972616/17195000
2571.31/2580.80	c cleaning 184994 clauses out of 370017 with flag 173727720/17381000
2607.19/2616.83	c cleaning 185990 clauses out of 372024 with flag 175511103/17568001
2650.95/2660.79	c cleaning 187012 clauses out of 374034 with flag 177639260/17756001
2689.94/2699.50	c cleaning 188002 clauses out of 376021 with flag 179419845/17945000
2731.07/2741.22	c cleaning 188993 clauses out of 378019 with flag 181136047/18135000
2773.61/2784.38	c cleaning 189999 clauses out of 380026 with flag 182875693/18326000
2813.76/2825.25	c cleaning 191001 clauses out of 382027 with flag 184614312/18518000
2854.29/2865.91	c cleaning 192007 clauses out of 384026 with flag 186343378/18711000
2896.90/2908.85	c cleaning 193001 clauses out of 386019 with flag 188137910/18905000
2938.16/2950.44	c cleaning 193998 clauses out of 388018 with flag 189968196/19100000
2983.55/2996.06	c cleaning 195000 clauses out of 390020 with flag 191730679/19296000
3029.79/3042.61	c cleaning 196001 clauses out of 392021 with flag 193569306/19493001
3077.86/3091.14	c cleaning 196992 clauses out of 394019 with flag 195348843/19691000
3120.07/3133.71	c cleaning 198003 clauses out of 396027 with flag 197168374/19890000
3162.25/3176.14	c cleaning 198999 clauses out of 398024 with flag 199060533/20090000
3208.59/3223.59	c cleaning 200005 clauses out of 400027 with flag 200899924/20291002
3248.86/3263.91	c cleaning 201001 clauses out of 402022 with flag 202686504/20493002
3298.56/3313.75	c cleaning 201987 clauses out of 404019 with flag 204564936/20696000
3344.25/3359.70	c cleaning 203007 clauses out of 406033 with flag 206471714/20900001
3387.37/3402.95	c cleaning 204004 clauses out of 408025 with flag 208389567/21105000
3432.02/3447.74	c cleaning 204994 clauses out of 410021 with flag 210231743/21311000
3473.23/3489.35	c cleaning 205999 clauses out of 412027 with flag 212158173/21518000
3519.88/3536.47	c cleaning 207003 clauses out of 414029 with flag 214108574/21726001
3568.99/3586.67	c cleaning 208003 clauses out of 416025 with flag 215971736/21935000
3600.04/3617.71	c starts		: 56043
3600.04/3617.71	c conflicts		: 22074319
3600.04/3617.71	c decisions		: 33222625
3600.04/3617.71	c propagations		: 672541494
3600.04/3617.71	c inspects		: 54636708911
3600.04/3617.71	c shortcuts		: 0
3600.04/3617.71	c learnt literals	: 0
3600.04/3617.71	c learnt binary clauses	: 0
3600.04/3617.71	c learnt ternary clauses	: 0
3600.04/3617.71	c learnt constraints	: 22074319
3600.04/3617.71	c ignored constraints	: 0
3600.04/3617.71	c root simplifications	: 0
3600.04/3617.71	c removed literals (reason simplification)	: 51962443
3600.04/3617.71	c reason swapping (by a shorter reason)	: 0
3600.04/3617.71	c Calls to reduceDB	: 205
3600.04/3617.71	c Number of update (reduction) of LBD	: 7830326
3600.04/3617.71	c Imported unit clauses	: 0
3600.04/3617.71	c No decision after first conflict	: false
3600.04/3617.71	c number of reductions to clauses (during analyze)	: 0
3600.04/3617.71	c number of learned constraints concerned by reduction	: 0
3600.04/3617.71	c number of learning phase by resolution	: 0
3600.04/3617.71	c number of learning phase by cutting planes	: 0
3600.04/3617.71	c number of rounding to 1 operations	: 0
3600.04/3617.71	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3617.71	c number of reductions of the coefficients by power 2 	: 0
3600.04/3617.71	c number of right shift for reduction by power 2 	: 0
3600.04/3617.71	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3617.71	c number of ending skipping 	: 0
3600.04/3617.71	c number of internal skipping 	: 0
3600.04/3617.71	c number of derivation steps 	: 0
3600.04/3617.71	c number of skipped derivation steps 	: 0
3600.04/3617.71	c number of remaining unassigned 	: 0
3600.04/3617.71	c number of remaining assigned 	: 0
3600.04/3617.71	c number of falsified literals weakened from reason	: 0
3600.04/3617.71	c number of falsified literals weakened from conflict	: 0
3600.04/3617.71	c time for arithmetic operations	: 0
3600.04/3617.71	c minimum degree of deleted constraints	: null
3600.04/3617.71	c maximum degree of deleted constraints	: null
3600.04/3617.71	c number of deleted constraints	: 0
3600.04/3617.72	c speed (assignments/second)	: 185910.0985939982
3600.04/3617.73	c non guided choices	: 6621
3600.04/3617.73	c timeout
3600.04/3617.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 347341
3600.04/3617.77	s UNKNOWN
3600.04/3617.77	c Total wall clock time (in seconds): 3617.646

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: 63968 MiB (56980 MiB free)
  memory of node 1: 64473 MiB (57739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453462-1721843436/watcher-4453462-1721843436 -o /tmp/evaluation-result-4453462-1721843436/solver-4453462-1721843436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721843436-251986 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453462-1721843436 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453462-1721843436.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100143 s]*
/proc/loadavg: 0.74 1.25 1.82 12/327 252115
/proc/meminfo: memFree=117307764/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=18975048 memory=66128 CPUtime=0.12 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 7095 0 0 0 11 1 0 0 20 0 18 0 20866170 19430449152 16532 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4743762 16532 5548 1 0 549322 0
[pid=252031/tid=252040] ppid=252028 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 1077936192 5664 0 0 0 7 1 0 0 20 0 18 0 20866171 19430449152 16532 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=18975048 memory=738093 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20866173 19430449152 16532 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20866174 19430449152 16532 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66128 KiB

[startup+0.208384 s]*
/proc/loadavg: 0.74 1.25 1.82 15/331 252119
/proc/meminfo: memFree=117280224/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19041612 memory=72940 CPUtime=0.33 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 7586 0 0 0 31 2 0 0 20 0 19 0 20866170 19498610688 18235 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4760403 18235 5746 1 0 549906 0
[pid=252031/tid=252040] ppid=252028 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 5905 0 0 0 17 1 0 0 20 0 19 0 20866171 19498610688 18235 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19041612 memory=738093 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20866173 19498610688 18235 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20866174 19498610688 18235 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20866186 19498610688 18235 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72940 KiB

[startup+0.307304 s]*
/proc/loadavg: 0.74 1.25 1.82 13/331 252119
/proc/meminfo: memFree=117219548/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19041612 memory=89236 CPUtime=0.52 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 9241 0 0 0 50 2 0 0 20 0 19 0 20866170 19498610688 22309 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4760403 22309 5834 1 0 550821 0
[pid=252031/tid=252040] ppid=252028 vsize=19041612 memory=-8599740493730652860 CPUtime=0.28 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 5936 0 0 0 27 1 0 0 20 0 19 0 20866171 19498610688 22309 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20866173 19498610688 22309 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20866174 19498610688 22309 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20866186 19498610688 22309 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89236 KiB

[startup+0.700384 s]
/proc/loadavg: 0.74 1.25 1.82 9/308 252129
/proc/meminfo: memFree=117175904/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19041612 memory=161004 CPUtime=1.28 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 13996 0 0 0 124 4 0 0 20 0 19 0 20866170 19498610688 40251 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4760403 40251 5866 1 0 554239 0
[pid=252031/tid=252040] ppid=252028 vsize=19041612 memory=13048 CPUtime=0.65 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 6028 0 0 0 63 2 0 0 20 0 19 0 20866171 19498610688 40251 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20866173 19498610688 40251 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20866174 19498610688 40251 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19041612 memory=16140 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20866186 19498610688 40251 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161004 KiB

[startup+1.50138 s]
/proc/loadavg: 0.74 1.25 1.82 11/333 252188
/proc/meminfo: memFree=116902280/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=182248 CPUtime=2.87 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 21516 0 0 0 281 6 0 0 20 0 20 0 20866170 19566772224 45562 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 45562 5898 1 0 554944 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=13048 CPUtime=1.43 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 6403 0 0 0 140 3 0 0 20 0 20 0 20866171 19566772224 45562 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=16140 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 45562 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 45562 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=7480 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 45562 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182248 KiB

[startup+3.10638 s]
/proc/loadavg: 0.74 1.25 1.82 6/335 252190
/proc/meminfo: memFree=115908672/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=255636 CPUtime=5.43 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 23477 0 0 0 534 9 0 0 20 0 20 0 20866170 19566772224 63909 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 63909 5898 1 0 555193 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=0 CPUtime=3.01 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 6767 0 0 0 295 6 0 0 20 0 20 0 20866171 19566772224 63909 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 63909 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 63909 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=74832 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 63909 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 5.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255636 KiB

[startup+6.3004 s]
/proc/loadavg: 1.24 1.34 1.85 5/335 252192
/proc/meminfo: memFree=115003048/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=563048 CPUtime=8.6 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 24007 0 0 0 843 17 0 0 20 0 20 0 20866170 19566772224 140762 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 140762 5898 1 0 555194 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=13048 CPUtime=6.17 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 7248 0 0 0 603 14 0 0 20 0 20 0 20866171 19566772224 140762 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 140762 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=6656426215495852112 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 140762 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 140762 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 563048 KiB

[startup+12.7004 s]
/proc/loadavg: 1.46 1.39 1.86 5/335 252192
/proc/meminfo: memFree=113792424/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=811700 CPUtime=15.09 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 29741 0 0 0 1484 25 0 0 20 0 20 0 20866170 19566772224 202925 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 202925 5898 1 0 555194 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=0 CPUtime=12.5 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 8360 0 0 0 1228 22 0 0 20 0 20 0 20866171 19566772224 202925 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=811700 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 202925 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=811700 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 202925 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=809652 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 202925 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 811700 KiB

[startup+25.5003 s]
/proc/loadavg: 1.85 1.47 1.88 5/337 252195
/proc/meminfo: memFree=111348664/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=1315532 CPUtime=27.81 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 33276 0 0 0 2738 43 0 0 20 0 20 0 20866170 19566772224 328883 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 328883 5898 1 0 555194 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=11684 CPUtime=25.2 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 10190 0 0 0 2481 39 0 0 20 0 20 0 20866171 19566772224 328883 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=1243836 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 328883 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 328883 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=1198780 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 328883 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1315532 KiB

[startup+51.1058 s]
/proc/loadavg: 3.29 1.86 2.00 5/337 252200
/proc/meminfo: memFree=110114412/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=1325792 CPUtime=53.36 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 38551 0 0 0 5280 56 0 0 20 0 20 0 20866170 19566772224 331448 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 331448 5898 1 0 555194 0

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

/proc/meminfo: memFree=83767552/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180336 CPUtime=3267.24 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 163356 0 0 0 325762 962 0 0 20 0 20 0 20866170 19566772224 545084 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545084 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=11684 CPUtime=3248.36 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 78934 0 0 0 323979 857 0 0 20 0 20 0 20866171 19566772224 545084 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1452 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=129 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545084 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 3550 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545084 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=1798708 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545084 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3267.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.08 5/333 253991
/proc/meminfo: memFree=83371816/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180368 CPUtime=3326.98 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 165397 0 0 0 331725 973 0 0 20 0 20 0 20866170 19566772224 545092 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545092 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180336 CPUtime=3307.88 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 80348 0 0 0 329922 866 0 0 20 0 20 0 20866171 19566772224 545092 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1463 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=2180336 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545092 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=2180336 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 3628 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545092 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180368 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545092 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3326.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.09 5/334 254003
/proc/meminfo: memFree=82971164/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180384 CPUtime=3386.77 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 167489 0 0 0 337690 987 0 0 20 0 20 0 20866170 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545096 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180336 CPUtime=3367.4 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 81852 0 0 0 335861 879 0 0 20 0 20 0 20866171 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1470 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=2180384 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 3701 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180384 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3386.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/336 254016
/proc/meminfo: memFree=82586240/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180384 CPUtime=3446.51 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 169693 0 0 0 343650 1001 0 0 20 0 20 0 20866170 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545096 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180336 CPUtime=3426.88 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 83221 0 0 0 341797 891 0 0 20 0 20 0 20866171 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1477 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=2180368 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=-8600584918660784828 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 3814 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3446.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/336 254026
/proc/meminfo: memFree=82199920/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180384 CPUtime=3505.95 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 171611 0 0 0 349579 1016 0 0 20 0 20 0 20866170 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545096 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180368 CPUtime=3486.08 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 84141 0 0 0 347704 904 0 0 20 0 20 0 20866171 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1486 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=-8600584918660784828 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=2180384 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 3944 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180384 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545096 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3505.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.10 5/336 254037
/proc/meminfo: memFree=81789360/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180388 CPUtime=3564.7 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 173632 0 0 0 355443 1027 0 0 20 0 20 0 20866170 19566772224 545097 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545097 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=11684 CPUtime=3544.58 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 85168 0 0 0 353545 913 0 0 20 0 20 0 20866171 19566772224 545097 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1599 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=-8600584918660784828 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545097 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=74832 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 4016 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545097 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180388 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545097 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3564.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.7 s]
/proc/loadavg: 4.28 4.19 4.10 4/314 254078
/proc/meminfo: memFree=85094356/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180392 CPUtime=3600.04 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 175308 0 0 0 358969 1035 0 0 20 0 20 0 20866170 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545098 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180388 CPUtime=3579.82 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 85902 0 0 0 357062 920 0 0 20 0 20 0 20866171 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1601 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=2180388 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=2180388 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 4112 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180392 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.81 s, system=10.3685 s

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

[startup+3617.7 s]
/proc/loadavg: 4.28 4.19 4.10 4/314 254078
/proc/meminfo: memFree=85094356/131524600 swapFree=131071216/131071996
[pid=252031] ppid=252028 vsize=19108176 memory=2180392 CPUtime=3600.04 cores=1,3
/proc/252031/stat : 252031 (java) S 252028 252031 251974 0 -1 1077936128 175308 0 0 0 358969 1035 0 0 20 0 20 0 20866170 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
/proc/252031/statm: 4777044 545098 5914 1 0 558255 0
[pid=252031/tid=252040] ppid=252028 vsize=19108176 memory=2180388 CPUtime=3579.82 cores=1,3
/proc/252031/task/252040/stat : 252040 (java) R 252028 252031 251974 0 -1 4194368 85902 0 0 0 357062 920 0 0 20 0 20 0 20866171 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1601 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252081] ppid=252028 vsize=19108176 memory=2180388 CPUtime=0 cores=1,3
/proc/252031/task/252081/stat : 252081 (Finalizer) S 252028 252031 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866173 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252095] ppid=252028 vsize=19108176 memory=2180388 CPUtime=0 cores=1,3
/proc/252031/task/252095/stat : 252095 (Common-Cleaner) S 252028 252031 251974 0 -1 1077936192 4112 0 0 0 0 0 0 0 20 0 20 0 20866174 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
[pid=252031/tid=252117] ppid=252028 vsize=19108176 memory=2180392 CPUtime=0 cores=1,3
/proc/252031/task/252117/stat : 252117 (Timer-0) S 252028 252031 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866186 19566772224 545098 134679101440 94312709165056 94312709168752 140720639876080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94312709176568 94312709177360 94312735653888 140720639878059 140720639878241 140720639878241 140720639885256 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180392 KiB

Child status: 143

Real time (s): 3617.79
CPU time (s): 3600.18
CPU user time (s): 3589.81
CPU system time (s): 10.3685
CPU usage (%): 99.5133
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2180392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.81
system time used= 10.3685
maximum resident set size= 2182628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10805240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113404
involuntary context switches= 11182


# summary of solver processes directly reported to runsolver:
#   pid: 252031
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3589.81
#   total CPU system time (s): 10.3685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5404 second user time and 15.9252 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-24 19:50:36
IDJOB=4453462
IDBENCH=175500
IDSOLVER=3079
FILE ID=nodeC017/4453462-1721843436
RUNJOBID= nodeC017-1721843436-251986
SLURM_JOB_ID= 7891584
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453462-1721843436/watcher-4453462-1721843436 -o /tmp/evaluation-result-4453462-1721843436/solver-4453462-1721843436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721843436-251986 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453462-1721843436 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453462-1721843436.opb

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

MD5SUM BENCH= 2250f6fb3aae6ce944dd5cd9d2eb392c
RANDOM SEED=915066909

nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 1917.769
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3208.113
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 1771.734
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3581.921
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 2033.965
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3638.725
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 1809.328
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3208.341
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117484628 kB
MemAvailable:   129649780 kB
Buffers:          295960 kB
Cached:         12613312 kB
SwapCached:           88 kB
Active:          2624744 kB
Inactive:       10629692 kB
Active(anon):       1432 kB
Inactive(anon):   397260 kB
Active(file):    2623312 kB
Inactive(file): 10232432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              1384 kB
Writeback:             0 kB
AnonPages:        342896 kB
Mapped:           118396 kB
Shmem:             53820 kB
KReclaimable:     298464 kB
Slab:             425424 kB
SReclaimable:     298464 kB
SUnreclaim:       126960 kB
KernelStack:        3728 kB
PageTables:         9244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     679104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      422612 kB
DirectMap2M:    40245248 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC017 at 2024-07-24 20:50:54