Trace number 4454062

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.16 3632.39

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.opb
MD5SUMf1682e2a822653fd3d36487be5c3a09b
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.177878
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1768
Total number of constraints936
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints936
Minimum length of a constraint2
Maximum length of a constraint68
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 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 34359738367
Number of bits of the biggest sum of numbers35
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.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
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@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d 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-4454062-1721843719.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.18	c ... done. Wall clock time 0.048s.
0.13/0.18	c declared #vars     1768
0.13/0.18	c #constraints  1871
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 782
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1089
0.13/0.18	c 1871 constraints processed.
1.28/0.72	c cleaning 2498 clauses out of 5000 with flag 26356/5000
1.88/1.10	c cleaning 4235 clauses out of 8502 with flag 63908/11000
2.46/1.39	c cleaning 5616 clauses out of 11269 with flag 108539/18002
3.05/1.66	c cleaning 6819 clauses out of 13653 with flag 155940/26002
3.78/2.02	c cleaning 7890 clauses out of 15832 with flag 225340/35000
4.36/2.37	c cleaning 8965 clauses out of 17943 with flag 291718/45001
4.87/2.74	c cleaning 9983 clauses out of 19979 with flag 355982/56002
5.32/3.17	c cleaning 10979 clauses out of 21995 with flag 426846/68001
5.85/3.67	c cleaning 11993 clauses out of 24015 with flag 512438/81000
6.46/4.27	c cleaning 12995 clauses out of 26022 with flag 599650/95000
7.08/4.82	c cleaning 13982 clauses out of 28027 with flag 696787/110000
7.58/5.37	c cleaning 15008 clauses out of 30047 with flag 793402/126002
8.34/6.06	c cleaning 15995 clauses out of 32038 with flag 900982/143001
9.21/6.80	c cleaning 16988 clauses out of 34042 with flag 1019864/161000
10.31/7.64	c cleaning 18011 clauses out of 36055 with flag 1129916/180001
11.22/8.50	c cleaning 18994 clauses out of 38044 with flag 1247509/200001
11.91/9.21	c cleaning 19985 clauses out of 40049 with flag 1364141/221000
12.70/10.03	c cleaning 21014 clauses out of 42066 with flag 1484194/243002
13.80/11.13	c cleaning 22007 clauses out of 44050 with flag 1638275/266000
14.78/12.15	c cleaning 23005 clauses out of 46044 with flag 1788653/290001
16.57/13.96	c cleaning 24007 clauses out of 48040 with flag 1960862/315002
17.89/15.20	c cleaning 24984 clauses out of 50032 with flag 2120426/341001
18.98/16.31	c cleaning 26009 clauses out of 52048 with flag 2274743/368001
20.18/17.59	c cleaning 27000 clauses out of 54038 with flag 2446129/396000
21.58/18.94	c cleaning 28003 clauses out of 56039 with flag 2614326/425001
22.87/20.23	c cleaning 28993 clauses out of 58038 with flag 2788040/455003
24.46/21.71	c cleaning 29970 clauses out of 60042 with flag 2980259/486000
25.85/23.13	c cleaning 31004 clauses out of 62073 with flag 3163215/518001
27.94/25.22	c cleaning 31999 clauses out of 64068 with flag 3383648/551000
29.74/27.10	c cleaning 33006 clauses out of 66073 with flag 3585836/585004
31.58/28.72	c cleaning 34016 clauses out of 68064 with flag 3791064/620001
33.26/30.41	c cleaning 34982 clauses out of 70047 with flag 3997993/656000
35.09/32.59	c cleaning 36015 clauses out of 72066 with flag 4216542/693001
37.17/34.63	c cleaning 36997 clauses out of 74051 with flag 4458886/731001
40.44/37.98	c cleaning 38000 clauses out of 76053 with flag 4731214/770000
43.72/41.27	c cleaning 39006 clauses out of 78057 with flag 5053674/810004
45.87/43.29	c cleaning 39981 clauses out of 80048 with flag 5281016/851001
50.38/47.77	c cleaning 41003 clauses out of 82067 with flag 5599171/893001
52.97/50.31	c cleaning 42008 clauses out of 84063 with flag 5857046/936000
55.17/52.54	c cleaning 43001 clauses out of 86055 with flag 6119071/980000
57.56/54.95	c cleaning 43999 clauses out of 88054 with flag 6379310/1025000
60.07/57.43	c cleaning 44981 clauses out of 90055 with flag 6655058/1071000
62.96/60.32	c cleaning 46018 clauses out of 92074 with flag 6945108/1118000
65.66/63.20	c cleaning 47013 clauses out of 94058 with flag 7241122/1166002
68.16/65.73	c cleaning 47970 clauses out of 96046 with flag 7507401/1215003
70.76/68.37	c cleaning 49025 clauses out of 98073 with flag 7797174/1265000
74.45/72.05	c cleaning 50012 clauses out of 100050 with flag 8097371/1316002
78.34/75.92	c cleaning 51012 clauses out of 102037 with flag 8426676/1368001
81.65/79.20	c cleaning 51984 clauses out of 104027 with flag 8762166/1421003
84.75/82.32	c cleaning 52996 clauses out of 106040 with flag 9061533/1475000
87.73/85.38	c cleaning 53975 clauses out of 108044 with flag 9366397/1530000
91.12/88.72	c cleaning 55016 clauses out of 110069 with flag 9672904/1586000
94.50/92.30	c cleaning 56010 clauses out of 112054 with flag 9988671/1643001
97.79/95.65	c cleaning 56999 clauses out of 114043 with flag 10316933/1701000
101.88/99.74	c cleaning 57992 clauses out of 116044 with flag 10656841/1760000
105.47/103.39	c cleaning 59013 clauses out of 118053 with flag 11006144/1820001
109.16/107.06	c cleaning 59997 clauses out of 120044 with flag 11331706/1881005
112.94/110.84	c cleaning 61002 clauses out of 122043 with flag 11672992/1943001
116.74/114.63	c cleaning 61998 clauses out of 124042 with flag 12028134/2006002
121.13/119.06	c cleaning 63003 clauses out of 126042 with flag 12391883/2070000
126.25/124.38	c cleaning 63999 clauses out of 128039 with flag 12816397/2135000
130.14/128.24	c cleaning 64986 clauses out of 130040 with flag 13178905/2201000
134.62/132.72	c cleaning 66005 clauses out of 132055 with flag 13578590/2268001
140.53/138.61	c cleaning 67007 clauses out of 134050 with flag 13971577/2336001
144.62/142.74	c cleaning 68017 clauses out of 136042 with flag 14314759/2405000
149.50/147.64	c cleaning 68990 clauses out of 138026 with flag 14679483/2475001
154.00/152.13	c cleaning 69997 clauses out of 140035 with flag 15054471/2546000
158.51/156.89	c cleaning 70972 clauses out of 142038 with flag 15435272/2618000
164.02/162.40	c cleaning 72025 clauses out of 144069 with flag 15809340/2691003
169.10/167.41	c cleaning 72960 clauses out of 146042 with flag 16186535/2765001
173.82/172.15	c cleaning 74019 clauses out of 148081 with flag 16573743/2840000
179.20/177.50	c cleaning 74995 clauses out of 150062 with flag 16978180/2916000
184.49/182.89	c cleaning 75986 clauses out of 152067 with flag 17388665/2993000
189.60/188.15	c cleaning 77019 clauses out of 154081 with flag 17794249/3071000
195.38/193.93	c cleaning 78010 clauses out of 156062 with flag 18210388/3150000
203.96/202.54	c cleaning 78996 clauses out of 158052 with flag 18715313/3230000
209.78/208.40	c cleaning 80011 clauses out of 160058 with flag 19136810/3311002
215.57/214.16	c cleaning 81009 clauses out of 162047 with flag 19561808/3393002
221.41/220.11	c cleaning 81990 clauses out of 164036 with flag 19979892/3476000
227.59/226.35	c cleaning 83003 clauses out of 166047 with flag 20389503/3560001
233.58/232.33	c cleaning 83976 clauses out of 168043 with flag 20800470/3645000
240.37/239.12	c cleaning 85002 clauses out of 170067 with flag 21258239/3731000
247.13/246.09	c cleaning 86015 clauses out of 172067 with flag 21717438/3818002
253.86/252.85	c cleaning 87007 clauses out of 174050 with flag 22137054/3906000
260.53/259.51	c cleaning 87994 clauses out of 176044 with flag 22570074/3995001
267.17/266.21	c cleaning 88992 clauses out of 178051 with flag 22979190/4085002
274.54/273.68	c cleaning 90009 clauses out of 180057 with flag 23451589/4176000
282.92/282.26	c cleaning 90982 clauses out of 182048 with flag 23913868/4268000
290.05/289.32	c cleaning 92002 clauses out of 184067 with flag 24360137/4361001
297.53/296.89	c cleaning 93017 clauses out of 186064 with flag 24809188/4455000
305.15/304.41	c cleaning 93985 clauses out of 188047 with flag 25270832/4550000
313.02/312.46	c cleaning 94997 clauses out of 190064 with flag 25759627/4646002
320.60/320.05	c cleaning 96006 clauses out of 192066 with flag 26200892/4743001
329.02/328.40	c cleaning 97011 clauses out of 194059 with flag 26705926/4841000
337.30/336.72	c cleaning 97995 clauses out of 196048 with flag 27221709/4940000
345.86/345.42	c cleaning 99015 clauses out of 198053 with flag 27729799/5040000
355.60/355.16	c cleaning 99992 clauses out of 200039 with flag 28285027/5141001
364.38/363.96	c cleaning 101015 clauses out of 202046 with flag 28790009/5243000
373.27/372.95	c cleaning 101979 clauses out of 204031 with flag 29281350/5346000
383.30/382.95	c cleaning 103010 clauses out of 206052 with flag 29846222/5450000
393.49/393.22	c cleaning 104001 clauses out of 208042 with flag 30380282/5555000
402.04/401.90	c cleaning 105002 clauses out of 210041 with flag 30902692/5661000
411.16/411.03	c cleaning 105992 clauses out of 212039 with flag 31401351/5768000
420.32/420.25	c cleaning 106986 clauses out of 214048 with flag 31903614/5876001
429.54/429.41	c cleaning 108013 clauses out of 216062 with flag 32393964/5985001
439.62/439.68	c cleaning 109006 clauses out of 218050 with flag 32920340/6095002
448.70/448.77	c cleaning 110008 clauses out of 220043 with flag 33425361/6206001
459.62/459.63	c cleaning 110995 clauses out of 222034 with flag 33980222/6318000
469.50/469.62	c cleaning 112000 clauses out of 224040 with flag 34509086/6431001
479.33/479.48	c cleaning 113000 clauses out of 226039 with flag 35060893/6545000
489.60/489.80	c cleaning 114001 clauses out of 228039 with flag 35601299/6660000
501.66/501.91	c cleaning 115009 clauses out of 230041 with flag 36150820/6776003
514.47/514.73	c cleaning 115976 clauses out of 232030 with flag 36775520/6893001
524.89/525.33	c cleaning 116995 clauses out of 234054 with flag 37323612/7011001
535.40/535.80	c cleaning 118013 clauses out of 236058 with flag 37881865/7130000
546.92/547.39	c cleaning 119007 clauses out of 238046 with flag 38431277/7250001
557.50/558.10	c cleaning 119981 clauses out of 240038 with flag 38983956/7371000
569.06/569.66	c cleaning 121029 clauses out of 242059 with flag 39537004/7493002
579.97/580.54	c cleaning 122001 clauses out of 244028 with flag 40122997/7616000
593.57/595.02	c cleaning 122997 clauses out of 246028 with flag 40771463/7740001
605.60/607.07	c cleaning 123989 clauses out of 248030 with flag 41345203/7865000
617.53/618.99	c cleaning 124997 clauses out of 250044 with flag 41907104/7991003
629.50/631.01	c cleaning 125992 clauses out of 252044 with flag 42510513/8118000
642.39/643.99	c cleaning 127014 clauses out of 254052 with flag 43127927/8246000
654.60/656.24	c cleaning 127985 clauses out of 256038 with flag 43732144/8375000
667.52/669.15	c cleaning 128998 clauses out of 258053 with flag 44313867/8505000
679.27/680.90	c cleaning 130020 clauses out of 260055 with flag 44895908/8636000
692.26/693.97	c cleaning 131004 clauses out of 262035 with flag 45508872/8768000
705.46/707.14	c cleaning 131985 clauses out of 264031 with flag 46113542/8901000
719.18/720.92	c cleaning 132999 clauses out of 266046 with flag 46762095/9035000
733.69/735.41	c cleaning 134019 clauses out of 268049 with flag 47364730/9170002
747.61/749.48	c cleaning 134994 clauses out of 270032 with flag 47984050/9306004
761.07/762.90	c cleaning 135998 clauses out of 272035 with flag 48578486/9443001
775.79/777.79	c cleaning 136999 clauses out of 274039 with flag 49211830/9581003
789.39/791.37	c cleaning 137989 clauses out of 276039 with flag 49861187/9720002
804.04/806.19	c cleaning 139000 clauses out of 278048 with flag 50464895/9860000
818.64/820.75	c cleaning 140014 clauses out of 280050 with flag 51120125/10001002
833.48/835.78	c cleaning 140999 clauses out of 282035 with flag 51759125/10143001
848.40/850.69	c cleaning 141991 clauses out of 284036 with flag 52393426/10286001
864.10/866.50	c cleaning 143002 clauses out of 286045 with flag 53090252/10430001
880.42/882.75	c cleaning 143994 clauses out of 288042 with flag 53737897/10575000
897.12/899.50	c cleaning 145021 clauses out of 290048 with flag 54391427/10721000
912.41/914.80	c cleaning 145989 clauses out of 292027 with flag 55053943/10868000
928.69/931.20	c cleaning 146989 clauses out of 294038 with flag 55764963/11016000
944.79/947.39	c cleaning 148015 clauses out of 296049 with flag 56458692/11165000
960.93/963.62	c cleaning 148999 clauses out of 298034 with flag 57154441/11315000
977.91/980.64	c cleaning 149995 clauses out of 300035 with flag 57843115/11466000
997.41/1000.27	c cleaning 150994 clauses out of 302042 with flag 58569302/11618002
1015.01/1017.82	c cleaning 151999 clauses out of 304046 with flag 59270302/11771000
1030.95/1033.80	c cleaning 152999 clauses out of 306047 with flag 59969303/11925000
1048.17/1051.19	c cleaning 154002 clauses out of 308048 with flag 60667210/12080000
1066.07/1069.04	c cleaning 154996 clauses out of 310046 with flag 61394152/12236000
1084.36/1087.44	c cleaning 155997 clauses out of 312051 with flag 62078595/12393001
1102.45/1105.54	c cleaning 156999 clauses out of 314053 with flag 62808416/12551000
1119.65/1137.09	c cleaning 158003 clauses out of 316054 with flag 63521573/12710000
1138.74/1156.11	c cleaning 158998 clauses out of 318052 with flag 64327998/12870001
1158.39/1176.00	c cleaning 160013 clauses out of 320053 with flag 65079145/13031000
1176.86/1194.56	c cleaning 161001 clauses out of 322043 with flag 65800518/13193003
1196.83/1214.40	c cleaning 162003 clauses out of 324042 with flag 66535735/13356003
1215.35/1233.04	c cleaning 163013 clauses out of 326037 with flag 67300890/13520001
1234.85/1252.63	c cleaning 164000 clauses out of 328023 with flag 68014358/13685000
1253.05/1270.89	c cleaning 164997 clauses out of 330023 with flag 68796352/13851000
1273.59/1291.53	c cleaning 165968 clauses out of 332026 with flag 69576610/14018000
1292.56/1310.70	c cleaning 167011 clauses out of 334058 with flag 70341892/14186000
1313.04/1331.24	c cleaning 168015 clauses out of 336049 with flag 71144535/14355002
1333.59/1351.97	c cleaning 168988 clauses out of 338032 with flag 71975126/14525000
1352.70/1371.04	c cleaning 170001 clauses out of 340045 with flag 72720411/14696001
1372.41/1390.80	c cleaning 171011 clauses out of 342043 with flag 73481015/14868000
1391.06/1409.72	c cleaning 171993 clauses out of 344032 with flag 74239774/15041000
1409.37/1428.09	c cleaning 173007 clauses out of 346041 with flag 75032412/15215002
1428.59/1447.41	c cleaning 174000 clauses out of 348032 with flag 75845169/15390000
1449.60/1468.51	c cleaning 174999 clauses out of 350033 with flag 76649224/15566001
1472.48/1491.43	c cleaning 176003 clauses out of 352034 with flag 77533860/15743001
1492.25/1511.32	c cleaning 177006 clauses out of 354031 with flag 78324806/15921001
1512.25/1531.44	c cleaning 178004 clauses out of 356025 with flag 79135449/16100001
1533.01/1552.25	c cleaning 178987 clauses out of 358020 with flag 79925296/16280000
1552.82/1572.30	c cleaning 180006 clauses out of 360035 with flag 80735088/16461002
1573.56/1593.13	c cleaning 181004 clauses out of 362027 with flag 81556757/16643000
1595.62/1615.25	c cleaning 181988 clauses out of 364027 with flag 82376059/16826004
1615.95/1635.65	c cleaning 183001 clauses out of 366035 with flag 83213795/17010000
1636.35/1656.12	c cleaning 184003 clauses out of 368034 with flag 84042187/17195000
1656.76/1676.50	c cleaning 185005 clauses out of 370031 with flag 84869444/17381000
1677.99/1697.92	c cleaning 186001 clauses out of 372027 with flag 85648892/17568001
1699.73/1719.88	c cleaning 186994 clauses out of 374025 with flag 86485739/17756000
1721.99/1742.24	c cleaning 188000 clauses out of 376031 with flag 87320281/17945000
1746.39/1766.66	c cleaning 188994 clauses out of 378032 with flag 88229736/18135001
1768.45/1788.88	c cleaning 189985 clauses out of 380037 with flag 89081526/18326000
1790.68/1811.08	c cleaning 191005 clauses out of 382052 with flag 89936313/18518000
1812.62/1833.17	c cleaning 192000 clauses out of 384047 with flag 90768141/18711000
1835.67/1856.29	c cleaning 192987 clauses out of 386047 with flag 91643951/18905000
1860.84/1881.53	c cleaning 194021 clauses out of 388062 with flag 92527736/19100002
1883.11/1903.90	c cleaning 195004 clauses out of 390040 with flag 93407250/19296001
1905.17/1926.13	c cleaning 196001 clauses out of 392038 with flag 94246194/19493003
1930.59/1951.53	c cleaning 197002 clauses out of 394037 with flag 95157338/19691003
1953.43/1974.42	c cleaning 197983 clauses out of 396032 with flag 96039278/19890000
1976.94/1998.05	c cleaning 198989 clauses out of 398051 with flag 96938384/20090002
2000.46/2021.77	c cleaning 199996 clauses out of 400061 with flag 97801085/20291001
2023.67/2044.96	c cleaning 201021 clauses out of 402065 with flag 98665849/20493001
2047.44/2068.80	c cleaning 202016 clauses out of 404044 with flag 99545386/20696001
2071.32/2092.80	c cleaning 202975 clauses out of 406028 with flag 100386855/20900001
2096.35/2117.95	c cleaning 204005 clauses out of 408052 with flag 101300700/21105000
2121.88/2143.61	c cleaning 205004 clauses out of 410047 with flag 102213863/21311000
2147.19/2168.92	c cleaning 206004 clauses out of 412043 with flag 103093831/21518000
2172.15/2194.43	c cleaning 206998 clauses out of 414039 with flag 103996410/21726000
2197.98/2220.48	c cleaning 207996 clauses out of 416041 with flag 104892296/21935000
2222.61/2245.28	c cleaning 208980 clauses out of 418046 with flag 105762711/22145001
2248.67/2271.59	c cleaning 209996 clauses out of 420065 with flag 106658459/22356000
2274.35/2297.83	c cleaning 211004 clauses out of 422069 with flag 107540161/22568000
2302.95/2326.53	c cleaning 212025 clauses out of 424065 with flag 108526173/22781000
2330.01/2353.64	c cleaning 213006 clauses out of 426041 with flag 109441173/22995001
2357.40/2381.15	c cleaning 214011 clauses out of 428034 with flag 110372347/23210000
2386.08/2410.08	c cleaning 214999 clauses out of 430023 with flag 111382877/23426000
2413.34/2437.56	c cleaning 215994 clauses out of 432026 with flag 112325095/23643002
2439.69/2464.01	c cleaning 217003 clauses out of 434031 with flag 113272687/23861001
2466.50/2491.19	c cleaning 217997 clauses out of 436028 with flag 114217961/24080001
2493.42/2518.21	c cleaning 218987 clauses out of 438031 with flag 115189917/24300001
2520.32/2545.62	c cleaning 220013 clauses out of 440043 with flag 116135705/24521000
2549.76/2575.39	c cleaning 221002 clauses out of 442031 with flag 117089468/24743001
2577.73/2603.52	c cleaning 221999 clauses out of 444030 with flag 118013157/24966002
2605.72/2631.76	c cleaning 222984 clauses out of 446031 with flag 118963019/25190002
2635.79/2661.88	c cleaning 223998 clauses out of 448046 with flag 119942083/25415001
2664.61/2690.85	c cleaning 225012 clauses out of 450047 with flag 120918324/25641000
2694.65/2721.03	c cleaning 225987 clauses out of 452037 with flag 121917382/25868002
2722.60/2749.16	c cleaning 227008 clauses out of 454050 with flag 122907295/26096002
2751.77/2778.61	c cleaning 227994 clauses out of 456040 with flag 123886280/26325000
2783.01/2810.23	c cleaning 229006 clauses out of 458046 with flag 124867870/26555000
2817.30/2844.89	c cleaning 230002 clauses out of 460040 with flag 125901077/26786000
2847.92/2875.80	c cleaning 231018 clauses out of 462038 with flag 126897335/27018000
2877.57/2905.59	c cleaning 231985 clauses out of 464020 with flag 127864417/27251000
2907.23/2935.38	c cleaning 233001 clauses out of 466037 with flag 128871525/27485002
2937.66/2965.94	c cleaning 234003 clauses out of 468036 with flag 129867013/27720002
2968.42/2996.88	c cleaning 235000 clauses out of 470031 with flag 130921404/27956000
3000.12/3028.74	c cleaning 236004 clauses out of 472031 with flag 131892159/28193000
3035.30/3064.28	c cleaning 237002 clauses out of 474028 with flag 132991228/28431001
3068.17/3097.15	c cleaning 238004 clauses out of 476025 with flag 134030144/28670000
3101.68/3130.80	c cleaning 238995 clauses out of 478022 with flag 135027941/28910001
3134.34/3164.01	c cleaning 239992 clauses out of 480027 with flag 136057806/29151001
3166.78/3196.56	c cleaning 240990 clauses out of 482035 with flag 137031380/29393001
3199.58/3229.42	c cleaning 242006 clauses out of 484045 with flag 138044040/29636001
3231.57/3261.54	c cleaning 243004 clauses out of 486040 with flag 139039244/29880002
3263.89/3293.96	c cleaning 244010 clauses out of 488035 with flag 140077024/30125001
3298.07/3328.22	c cleaning 244994 clauses out of 490025 with flag 141124901/30371001
3331.88/3362.10	c cleaning 245992 clauses out of 492031 with flag 142147437/30618001
3365.70/3396.24	c cleaning 246983 clauses out of 494038 with flag 143200372/30866000
3399.67/3431.59	c cleaning 247992 clauses out of 496055 with flag 144250198/31115000
3432.87/3464.87	c cleaning 249008 clauses out of 498063 with flag 145319469/31365000
3467.78/3499.83	c cleaning 250013 clauses out of 500055 with flag 146374406/31616000
3502.32/3534.48	c cleaning 250997 clauses out of 502042 with flag 147460244/31868000
3538.25/3570.40	c cleaning 252010 clauses out of 504045 with flag 148511586/32121000
3572.90/3605.16	c cleaning 253002 clauses out of 506036 with flag 149564896/32375001
3600.01/3632.32	c starts		: 21475
3600.01/3632.32	c timeout
3600.01/3632.32	c conflicts		: 32581377
3600.01/3632.32	c decisions		: 47012429
3600.01/3632.32	c propagations		: 1070181457
3600.01/3632.32	c inspects		: 58712569605
3600.01/3632.32	c shortcuts		: 0
3600.01/3632.32	c learnt literals	: 0
3600.01/3632.32	c learnt binary clauses	: 24
3600.01/3632.32	c learnt ternary clauses	: 89
3600.01/3632.32	c learnt constraints	: 32581377
3600.01/3632.32	c ignored constraints	: 0
3600.01/3632.32	c root simplifications	: 0
3600.01/3632.32	c removed literals (reason simplification)	: 36499837
3600.01/3632.32	c reason swapping (by a shorter reason)	: 0
3600.01/3632.32	c Calls to reduceDB	: 250
3600.01/3632.32	c Number of update (reduction) of LBD	: 11639518
3600.01/3632.32	c Imported unit clauses	: 0
3600.01/3632.32	c No decision after first conflict	: false
3600.01/3632.32	c number of reductions to clauses (during analyze)	: 0
3600.01/3632.32	c number of learned constraints concerned by reduction	: 0
3600.01/3632.32	c number of learning phase by resolution	: 0
3600.01/3632.32	c number of learning phase by cutting planes	: 0
3600.01/3632.32	c number of rounding to 1 operations	: 0
3600.01/3632.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3632.32	c number of reductions of the coefficients by power 2 	: 0
3600.01/3632.32	c number of right shift for reduction by power 2 	: 0
3600.01/3632.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3632.32	c number of ending skipping 	: 0
3600.01/3632.32	c number of internal skipping 	: 0
3600.01/3632.32	c number of derivation steps 	: 0
3600.01/3632.32	c number of skipped derivation steps 	: 0
3600.01/3632.32	c number of remaining unassigned 	: 0
3600.01/3632.32	c number of remaining assigned 	: 0
3600.01/3632.32	c number of falsified literals weakened from reason	: 0
3600.01/3632.32	c number of falsified literals weakened from conflict	: 0
3600.01/3632.32	c time for arithmetic operations	: 0
3600.01/3632.32	c minimum degree of deleted constraints	: null
3600.01/3632.32	c maximum degree of deleted constraints	: null
3600.01/3632.32	c number of deleted constraints	: 0
3600.01/3632.32	c speed (assignments/second)	: 294642.9387164006
3600.01/3632.32	c non guided choices	: 1412752
3600.01/3632.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 459386
3600.01/3632.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 24
3600.01/3632.38	s UNKNOWN
3600.01/3632.38	c Total wall clock time (in seconds): 3632.247

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=247566, runsolver pid=247563

[startup+0.100782 s]*
/proc/loadavg: 3.72 2.00 1.86 7/333 247584
/proc/meminfo: memFree=115945552/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=18993908 memory=66372 CPUtime=0.13 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 7291 0 0 0 11 2 0 0 20 0 18 0 20900227 19449761792 16593 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4748477 16593 5927 1 0 549345 0
[pid=247566/tid=247568] ppid=247563 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 5828 0 0 0 7 1 0 0 20 0 18 0 20900227 19449761792 16593 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20900230 19449761792 16593 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=18993908 memory=14698495602437155 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20900230 19449761792 16593 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66372 KiB

[startup+0.214775 s]*
/proc/loadavg: 3.72 2.00 1.86 7/334 247585
/proc/meminfo: memFree=115937804/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19060472 memory=73324 CPUtime=0.34 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 7859 0 0 0 32 2 0 0 20 0 19 0 20900227 19517923328 18331 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4765118 18331 6095 1 0 549989 0
[pid=247566/tid=247568] ppid=247563 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 6084 0 0 0 17 1 0 0 20 0 19 0 20900227 19517923328 18331 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19060472 memory=1656157 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 18331 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19060472 memory=14417020624045798 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 18331 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20900246 19517923328 18331 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 73324 KiB

[startup+0.306776 s]*
/proc/loadavg: 3.72 2.00 1.86 7/334 247585
/proc/meminfo: memFree=115922364/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19060472 memory=87288 CPUtime=0.52 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 9391 0 0 0 49 3 0 0 20 0 19 0 20900227 19517923328 21822 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4765118 21822 6095 1 0 550822 0
[pid=247566/tid=247568] ppid=247563 vsize=19060472 memory=-8959741469927383740 CPUtime=0.27 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 6114 0 0 0 26 1 0 0 20 0 19 0 20900227 19517923328 21822 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 21822 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 21822 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20900246 19517923328 21822 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 87288 KiB

[startup+0.700787 s]
/proc/loadavg: 3.72 2.00 1.86 7/334 247585
/proc/meminfo: memFree=115885808/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19060472 memory=149472 CPUtime=1.28 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 14970 0 0 0 123 5 0 0 20 0 19 0 20900227 19517923328 37368 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4765118 37368 6127 1 0 553879 0
[pid=247566/tid=247568] ppid=247563 vsize=19060472 memory=64624 CPUtime=0.63 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 6138 0 0 0 60 3 0 0 20 0 19 0 20900227 19517923328 37368 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19060472 memory=13136 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 37368 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19060472 memory=2132 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20900230 19517923328 37368 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19060472 memory=26044 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20900246 19517923328 37368 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 149472 KiB

[startup+1.50077 s]
/proc/loadavg: 3.72 2.00 1.86 7/334 247585
/proc/meminfo: memFree=115824224/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=180568 CPUtime=2.86 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 20927 0 0 0 279 7 0 0 20 0 20 0 20900227 19586084864 45142 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 45142 6143 1 0 554535 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=13136 CPUtime=1.41 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 6695 0 0 0 137 4 0 0 20 0 20 0 20900227 19586084864 45142 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 45142 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2132 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 45142 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=26044 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 45142 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180568 KiB

[startup+3.10678 s]
/proc/loadavg: 3.72 2.00 1.86 5/335 247586
/proc/meminfo: memFree=115686752/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=229900 CPUtime=5.32 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 26199 0 0 0 523 9 0 0 20 0 20 0 20900227 19586084864 57475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 57475 6159 1 0 555954 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=0 CPUtime=2.98 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 7082 0 0 0 292 6 0 0 20 0 20 0 20900227 19586084864 57475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=-8959741469927383740 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 57475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=13136 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 57475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2132 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 57475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 229900 KiB

[startup+6.30079 s]
/proc/loadavg: 3.74 2.03 1.87 5/335 247586
/proc/meminfo: memFree=115271404/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=628540 CPUtime=8.71 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 29627 0 0 0 851 20 0 0 20 0 20 0 20900227 19586084864 157135 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 157135 6174 1 0 555955 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=13136 CPUtime=6.13 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 7647 0 0 0 597 16 0 0 20 0 20 0 20900227 19586084864 157135 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2132 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 157135 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 157135 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=180720 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 157135 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 628540 KiB

[startup+12.7003 s]
/proc/loadavg: 3.76 2.06 1.89 5/335 247587
/proc/meminfo: memFree=114637592/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=957900 CPUtime=15.38 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 35614 0 0 0 1506 32 0 0 20 0 20 0 20900227 19586084864 239475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 239475 6174 1 0 556097 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=180720 CPUtime=12.46 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 9015 0 0 0 1220 26 0 0 20 0 20 0 20900227 19586084864 239475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=957900 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 239475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=968208 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 239475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=13136 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 239475 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 957900 KiB

[startup+25.5003 s]
/proc/loadavg: 3.81 2.16 1.92 5/335 247589
/proc/meminfo: memFree=114148420/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=960040 CPUtime=28.24 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 42571 0 0 0 2784 40 0 0 20 0 20 0 20900227 19586084864 240010 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 240010 6174 1 0 556097 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=960032 CPUtime=25.17 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 11093 0 0 0 2483 34 0 0 20 0 20 0 20900227 19586084864 240010 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 240010 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 240010 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 240010 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 28.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 960040 KiB

[startup+51.106 s]
/proc/loadavg: 3.94 2.32 1.98 5/336 247977
/proc/meminfo: memFree=113224432/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=1336956 CPUtime=53.77 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 57178 0 0 0 5316 61 0 0 20 0 20 0 20900227 19586084864 334239 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 334239 6174 1 0 556097 0

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

/proc/meminfo: memFree=93431588/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172184 CPUtime=3252.26 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 199930 0 0 0 324287 939 0 0 20 0 20 0 20900227 19586084864 543046 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543046 6174 1 0 557289 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172184 CPUtime=3228.56 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 82045 0 0 0 322022 834 0 0 20 0 20 0 20900227 19586084864 543046 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2955 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=18248 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543046 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172184 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3439 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543046 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2172156 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543046 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3252.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172184 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.12 3.18 4/307 249421
/proc/meminfo: memFree=93163264/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172192 CPUtime=3312.09 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 202484 0 0 0 330256 953 0 0 20 0 20 0 20900227 19586084864 543048 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543048 6174 1 0 557289 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172192 CPUtime=3288.13 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 83465 0 0 0 327966 847 0 0 20 0 20 0 20900227 19586084864 543048 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2964 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2172192 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543048 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172192 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3526 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543048 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=13136 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543048 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3312.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172192 KiB

[startup+3402.3 s]
/proc/loadavg: 3.24 3.16 3.19 4/307 249432
/proc/meminfo: memFree=92887836/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172212 CPUtime=3370.48 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 204884 0 0 0 336083 965 0 0 20 0 20 0 20900227 19586084864 543053 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543053 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172192 CPUtime=3346.21 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 84700 0 0 0 333764 857 0 0 20 0 20 0 20900227 19586084864 543053 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3122 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2172196 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543053 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172212 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3616 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543053 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=64624 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543053 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3370.48 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172212 KiB

[startup+3462.3 s]
/proc/loadavg: 3.19 3.16 3.18 4/307 249443
/proc/meminfo: memFree=92616432/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172220 CPUtime=3430.39 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 207311 0 0 0 342061 978 0 0 20 0 20 0 20900227 19586084864 543055 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543055 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172192 CPUtime=3405.78 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 85845 0 0 0 339709 869 0 0 20 0 20 0 20900227 19586084864 543055 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3130 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=64624 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543055 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172220 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3697 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543055 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2172220 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543055 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3430.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172220 KiB

[startup+3522.3 s]
/proc/loadavg: 3.18 3.16 3.18 4/308 249457
/proc/meminfo: memFree=92348012/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172260 CPUtime=3490.19 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 209852 0 0 0 348030 989 0 0 20 0 20 0 20900227 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543065 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172220 CPUtime=3465.35 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 87483 0 0 0 345656 879 0 0 20 0 20 0 20900227 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3139 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2172220 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3716 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3490.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172260 KiB

[startup+3582.3 s]
/proc/loadavg: 2.97 3.11 3.16 3/283 249502
/proc/meminfo: memFree=98779400/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172260 CPUtime=3550.14 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 212517 0 0 0 354013 1001 0 0 20 0 20 0 20900227 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543065 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172260 CPUtime=3524.88 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 88899 0 0 0 351599 889 0 0 20 0 20 0 20900227 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3144 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=5720 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3775 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543065 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3550.14 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.3 s]
/proc/loadavg: 1.98 2.83 3.06 2/258 249927
/proc/meminfo: memFree=110558076/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172376 CPUtime=3600.01 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 214982 0 0 0 358988 1013 0 0 20 0 20 0 20900227 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543094 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172260 CPUtime=3574.55 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 90217 0 0 0 356555 900 0 0 20 0 20 0 20900227 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3154 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3835 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2172376 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.01 s, system=10.1468 s

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

[startup+3632.3 s]
/proc/loadavg: 1.98 2.83 3.06 2/258 249927
/proc/meminfo: memFree=110558076/131524600 swapFree=131068900/131071996
[pid=247566] ppid=247563 vsize=19127036 memory=2172376 CPUtime=3600.01 cores=0,2
/proc/247566/stat : 247566 (java) S 247563 247566 247150 0 -1 1077936128 214982 0 0 0 358988 1013 0 0 20 0 20 0 20900227 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
/proc/247566/statm: 4781759 543094 6174 1 0 557291 0
[pid=247566/tid=247568] ppid=247563 vsize=19127036 memory=2172260 CPUtime=3574.55 cores=0,2
/proc/247566/task/247568/stat : 247568 (java) R 247563 247566 247150 0 -1 4194368 90217 0 0 0 356555 900 0 0 20 0 20 0 20900227 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3154 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247577] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247577/stat : 247577 (Finalizer) S 247563 247566 247150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247584] ppid=247563 vsize=19127036 memory=2172260 CPUtime=0 cores=0,2
/proc/247566/task/247584/stat : 247584 (Common-Cleaner) S 247563 247566 247150 0 -1 1077936192 3835 0 0 0 0 0 0 0 20 0 20 0 20900230 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
[pid=247566/tid=247585] ppid=247563 vsize=19127036 memory=2172376 CPUtime=0 cores=0,2
/proc/247566/task/247585/stat : 247585 (Timer-0) S 247563 247566 247150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20900246 19586084864 543094 134679101440 94756369739776 94756369743472 140721951237936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756369751288 94756369752080 94756372750336 140721951241135 140721951241317 140721951241317 140721951248328 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172376 KiB

Child status: 143

Real time (s): 3632.39
CPU time (s): 3600.16
CPU user time (s): 3590.01
CPU system time (s): 10.1468
CPU usage (%): 99.1126
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 2172376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.01
system time used= 10.1468
maximum resident set size= 2174552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15782000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116566
involuntary context switches= 28587


# summary of solver processes directly reported to runsolver:
#   pid: 247566
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3590.01
#   total CPU system time (s): 10.1468

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07413 second user time and 18.0594 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-24 19:55:20
IDJOB=4454062
IDBENCH=176039
IDSOLVER=3079
FILE ID=nodeC018/4454062-1721843719
RUNJOBID= nodeC018-1721843642-247160
SLURM_JOB_ID= 7891588
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.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-4454062-1721843719/watcher-4454062-1721843719 -o /tmp/evaluation-result-4454062-1721843719/solver-4454062-1721843719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721843642-247160 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4454062-1721843719 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454062-1721843719.opb

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

MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=1051852605

nodeC018.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		: 3621.543
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	: 6999.43
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		: 3683.466
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	: 7005.33
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		: 3640.188
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	: 6999.43
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		: 3599.976
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	: 7005.33
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		: 3667.296
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	: 6999.43
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		: 3683.552
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	: 7005.33
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		: 3630.998
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	: 6999.43
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		: 3599.829
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	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115991984 kB
MemAvailable:   125541580 kB
Buffers:          265592 kB
Cached:         10058512 kB
SwapCached:          588 kB
Active:          2213900 kB
Inactive:       12592640 kB
Active(anon):       1860 kB
Inactive(anon):  4534336 kB
Active(file):    2212040 kB
Inactive(file):  8058304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131068900 kB
Dirty:            112036 kB
Writeback:           112 kB
AnonPages:       4481880 kB
Mapped:           122500 kB
Shmem:             53728 kB
KReclaimable:     238148 kB
Slab:             363348 kB
SReclaimable:     238148 kB
SUnreclaim:       125200 kB
KernelStack:        5040 kB
PageTables:        19388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7256548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4202496 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:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC018 at 2024-07-24 20:55:52