Trace number 4454044

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 Default 2024-07-07? (TO) 3600.17 3604.7

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 		2106806208
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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4454044-1721492700.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.051s.
0.13/0.17	c declared #vars     1768
0.13/0.17	c #constraints  1871
0.13/0.17	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.11/0.64	c cleaning 2496 clauses out of 5002 with flag 31937/5002
1.49/0.89	c cleaning 4247 clauses out of 8505 with flag 66018/11001
1.89/1.04	c cleaning 5616 clauses out of 11259 with flag 101488/18002
2.18/1.24	c cleaning 6809 clauses out of 13641 with flag 152589/26000
2.54/1.46	c cleaning 7899 clauses out of 15832 with flag 209685/35000
2.96/1.72	c cleaning 8931 clauses out of 17933 with flag 275527/45000
3.27/2.07	c cleaning 9977 clauses out of 20002 with flag 349406/56000
3.56/2.35	c cleaning 11000 clauses out of 22027 with flag 421444/68002
3.86/2.65	c cleaning 11988 clauses out of 24025 with flag 501847/81000
4.16/2.99	c cleaning 13000 clauses out of 26038 with flag 583642/95001
4.66/3.44	c cleaning 14006 clauses out of 28038 with flag 671586/110001
5.07/3.86	c cleaning 14977 clauses out of 30032 with flag 768524/126001
5.51/4.28	c cleaning 16002 clauses out of 32054 with flag 865437/143000
6.14/4.83	c cleaning 17014 clauses out of 34052 with flag 986082/161000
6.74/5.46	c cleaning 17995 clauses out of 36038 with flag 1109850/180000
7.63/6.12	c cleaning 18997 clauses out of 38046 with flag 1231706/200003
8.33/6.85	c cleaning 20004 clauses out of 40047 with flag 1354342/221001
8.92/7.48	c cleaning 20972 clauses out of 42042 with flag 1486611/243000
9.63/8.16	c cleaning 22021 clauses out of 44072 with flag 1616351/266002
10.33/8.84	c cleaning 22991 clauses out of 46049 with flag 1744061/290000
11.13/9.66	c cleaning 23984 clauses out of 48059 with flag 1893075/315001
11.93/10.46	c cleaning 24992 clauses out of 50074 with flag 2039772/341000
12.73/11.28	c cleaning 26024 clauses out of 52082 with flag 2188542/368000
13.66/12.19	c cleaning 27010 clauses out of 54058 with flag 2348338/396000
14.61/13.03	c cleaning 27999 clauses out of 56048 with flag 2501333/425000
15.90/14.37	c cleaning 29018 clauses out of 58049 with flag 2688361/455000
17.09/15.56	c cleaning 30004 clauses out of 60031 with flag 2861091/486000
18.19/16.66	c cleaning 30993 clauses out of 62028 with flag 3037586/518001
19.49/17.92	c cleaning 31993 clauses out of 64037 with flag 3223798/551003
20.70/19.13	c cleaning 33009 clauses out of 66041 with flag 3406237/585000
21.99/20.42	c cleaning 33973 clauses out of 68033 with flag 3591889/620001
23.48/21.93	c cleaning 35021 clauses out of 70059 with flag 3784313/656000
24.98/23.44	c cleaning 35989 clauses out of 72039 with flag 3987827/693001
26.48/24.97	c cleaning 36992 clauses out of 74049 with flag 4204871/731000
28.07/26.54	c cleaning 38017 clauses out of 76058 with flag 4436092/770001
29.68/28.18	c cleaning 38989 clauses out of 78042 with flag 4653542/810002
31.69/30.12	c cleaning 39996 clauses out of 80051 with flag 4890253/851000
33.48/31.90	c cleaning 40991 clauses out of 82055 with flag 5127473/893000
35.68/34.15	c cleaning 42015 clauses out of 84064 with flag 5396485/936000
37.68/36.18	c cleaning 43010 clauses out of 86050 with flag 5633555/980001
39.67/38.15	c cleaning 43999 clauses out of 88040 with flag 5871067/1025001
41.96/40.42	c cleaning 45008 clauses out of 90042 with flag 6128633/1071002
44.26/42.79	c cleaning 45974 clauses out of 92032 with flag 6387574/1118000
46.67/45.16	c cleaning 47012 clauses out of 94060 with flag 6649580/1166002
49.16/47.62	c cleaning 48015 clauses out of 96047 with flag 6922578/1215001
51.35/49.88	c cleaning 49001 clauses out of 98032 with flag 7180642/1265001
54.35/52.89	c cleaning 50000 clauses out of 100031 with flag 7479935/1316001
57.24/55.75	c cleaning 50999 clauses out of 102030 with flag 7780033/1368000
59.85/58.31	c cleaning 51975 clauses out of 104031 with flag 8054547/1421000
62.86/61.36	c cleaning 53019 clauses out of 106057 with flag 8353543/1475001
66.05/64.52	c cleaning 53990 clauses out of 108040 with flag 8658262/1530003
69.14/67.63	c cleaning 55002 clauses out of 110047 with flag 8945971/1586000
72.54/71.07	c cleaning 55983 clauses out of 112045 with flag 9263302/1643000
75.47/73.96	c cleaning 57024 clauses out of 114062 with flag 9563000/1701000
78.76/77.22	c cleaning 57985 clauses out of 116039 with flag 9886470/1760001
81.85/80.33	c cleaning 58993 clauses out of 118053 with flag 10197833/1820000
86.34/84.88	c cleaning 60023 clauses out of 120060 with flag 10539634/1881000
89.76/88.27	c cleaning 60999 clauses out of 122038 with flag 10864158/1943001
93.05/91.51	c cleaning 62001 clauses out of 124039 with flag 11178550/2006001
96.55/95.08	c cleaning 62993 clauses out of 126038 with flag 11498147/2070001
100.34/98.89	c cleaning 63979 clauses out of 128046 with flag 11835710/2135002
104.23/102.72	c cleaning 65018 clauses out of 130067 with flag 12176555/2201002
108.44/106.91	c cleaning 66003 clauses out of 132050 with flag 12546419/2268003
111.93/110.48	c cleaning 66981 clauses out of 134047 with flag 12908099/2336003
115.72/114.26	c cleaning 68003 clauses out of 136065 with flag 13244785/2405002
119.71/118.27	c cleaning 69016 clauses out of 138060 with flag 13600073/2475000
123.71/122.25	c cleaning 69968 clauses out of 140045 with flag 13954424/2546001
127.90/126.45	c cleaning 71011 clauses out of 142078 with flag 14301705/2618002
131.79/130.39	c cleaning 72007 clauses out of 144065 with flag 14663238/2691000
136.08/134.60	c cleaning 73018 clauses out of 146058 with flag 15047548/2765000
140.29/138.81	c cleaning 74003 clauses out of 148041 with flag 15418764/2840001
144.59/143.18	c cleaning 74999 clauses out of 150038 with flag 15823060/2916001
149.37/147.92	c cleaning 76004 clauses out of 152038 with flag 16222941/2993000
154.67/153.29	c cleaning 76995 clauses out of 154034 with flag 16643204/3071000
159.36/157.95	c cleaning 77994 clauses out of 156040 with flag 17056566/3150001
164.05/162.63	c cleaning 79011 clauses out of 158046 with flag 17468980/3230001
172.17/170.77	c cleaning 79996 clauses out of 160034 with flag 17917634/3311000
177.46/176.07	c cleaning 81009 clauses out of 162039 with flag 18334741/3393001
182.84/181.49	c cleaning 81991 clauses out of 164029 with flag 18766088/3476000
189.73/188.36	c cleaning 82990 clauses out of 166040 with flag 19231099/3560002
195.03/193.64	c cleaning 84009 clauses out of 168050 with flag 19684965/3645002
201.02/199.67	c cleaning 84989 clauses out of 170039 with flag 20129662/3731000
206.60/205.21	c cleaning 86023 clauses out of 172052 with flag 20548818/3818002
212.69/211.39	c cleaning 86993 clauses out of 174027 with flag 20992090/3906000
218.32/216.94	c cleaning 88008 clauses out of 176034 with flag 21418935/3995000
224.01/222.66	c cleaning 89005 clauses out of 178028 with flag 21871391/4085002
230.20/228.84	c cleaning 89994 clauses out of 180022 with flag 22309912/4176001
236.49/235.12	c cleaning 90998 clauses out of 182027 with flag 22767499/4268000
242.53/241.15	c cleaning 92008 clauses out of 184030 with flag 23199711/4361001
248.81/247.46	c cleaning 92996 clauses out of 186021 with flag 23646532/4455000
255.29/253.99	c cleaning 94000 clauses out of 188025 with flag 24136347/4550000
262.58/261.25	c cleaning 94998 clauses out of 190025 with flag 24590984/4646000
269.17/267.87	c cleaning 95978 clauses out of 192027 with flag 25037769/4743000
276.60/275.24	c cleaning 96997 clauses out of 194051 with flag 25538572/4841002
283.58/282.25	c cleaning 98014 clauses out of 196053 with flag 26005325/4940001
290.47/289.13	c cleaning 99007 clauses out of 198039 with flag 26489146/5040001
297.15/295.86	c cleaning 100001 clauses out of 200031 with flag 26947903/5141000
304.13/302.87	c cleaning 101003 clauses out of 202032 with flag 27417634/5243002
311.71/310.47	c cleaning 101983 clauses out of 204029 with flag 27918660/5346002
319.50/318.26	c cleaning 102989 clauses out of 206047 with flag 28415476/5450003
327.15/325.82	c cleaning 104016 clauses out of 208056 with flag 28886583/5555001
334.73/333.42	c cleaning 104996 clauses out of 210040 with flag 29399091/5661001
343.11/341.87	c cleaning 105992 clauses out of 212043 with flag 29908194/5768000
350.99/349.71	c cleaning 107010 clauses out of 214051 with flag 30463436/5876000
358.87/357.68	c cleaning 108003 clauses out of 216041 with flag 30956584/5985000
368.36/367.19	c cleaning 108995 clauses out of 218038 with flag 31486644/6095000
376.38/375.19	c cleaning 110003 clauses out of 220044 with flag 31999780/6206001
385.55/384.38	c cleaning 110990 clauses out of 222040 with flag 32515746/6318000
393.83/392.61	c cleaning 112019 clauses out of 224050 with flag 33058024/6431000
402.02/400.86	c cleaning 112993 clauses out of 226031 with flag 33591290/6545000
410.99/409.86	c cleaning 114003 clauses out of 228038 with flag 34115848/6660000
420.57/419.48	c cleaning 115007 clauses out of 230036 with flag 34663991/6776001
429.96/428.89	c cleaning 115986 clauses out of 232029 with flag 35195316/6893001
439.57/438.44	c cleaning 116993 clauses out of 234042 with flag 35737943/7011000
449.65/448.58	c cleaning 118000 clauses out of 236050 with flag 36280428/7130001
459.13/458.06	c cleaning 119003 clauses out of 238050 with flag 36843498/7250001
468.91/467.83	c cleaning 119987 clauses out of 240046 with flag 37379071/7371000
479.69/478.66	c cleaning 121013 clauses out of 242060 with flag 37990064/7493001
489.87/488.81	c cleaning 122016 clauses out of 244047 with flag 38550576/7616001
499.94/499.00	c cleaning 122992 clauses out of 246032 with flag 39107676/7740002
511.47/510.44	c cleaning 123999 clauses out of 248038 with flag 39733570/7865000
523.24/522.25	c cleaning 124992 clauses out of 250040 with flag 40347617/7991001
534.71/533.75	c cleaning 126013 clauses out of 252047 with flag 40970287/8118000
547.09/546.19	c cleaning 126979 clauses out of 254034 with flag 41599112/8246000
558.56/557.65	c cleaning 128019 clauses out of 256056 with flag 42239782/8375001
570.33/569.47	c cleaning 129009 clauses out of 258037 with flag 42865415/8505001
581.21/580.33	c cleaning 130009 clauses out of 260027 with flag 43483197/8636000
594.38/593.57	c cleaning 130997 clauses out of 262018 with flag 44131323/8768000
605.86/605.07	c cleaning 131960 clauses out of 264021 with flag 44759159/8901000
617.95/617.00	c cleaning 133016 clauses out of 266062 with flag 45399131/9035001
629.61/628.73	c cleaning 134016 clauses out of 268047 with flag 46003492/9170002
641.49/640.63	c cleaning 135001 clauses out of 270029 with flag 46640284/9306000
652.46/651.61	c cleaning 135998 clauses out of 272028 with flag 47281966/9443000
664.94/664.17	c cleaning 136987 clauses out of 274031 with flag 47924063/9581001
678.31/677.51	c cleaning 138020 clauses out of 276044 with flag 48585773/9720001
691.89/691.19	c cleaning 138992 clauses out of 278023 with flag 49267471/9860000
706.05/705.35	c cleaning 139989 clauses out of 280031 with flag 49962627/10001000
719.21/718.45	c cleaning 140991 clauses out of 282042 with flag 50632304/10143000
734.27/733.51	c cleaning 141999 clauses out of 284052 with flag 51321372/10286001
747.44/746.77	c cleaning 143014 clauses out of 286052 with flag 51969307/10430000
760.62/759.94	c cleaning 144010 clauses out of 288041 with flag 52651170/10575003
773.29/772.64	c cleaning 144986 clauses out of 290029 with flag 53313353/10721001
786.67/786.05	c cleaning 145992 clauses out of 292043 with flag 53958281/10868001
801.13/800.50	c cleaning 147010 clauses out of 294050 with flag 54628826/11016000
815.61/815.08	c cleaning 147994 clauses out of 296041 with flag 55317943/11165001
830.04/829.40	c cleaning 148992 clauses out of 298047 with flag 56016194/11315001
844.21/843.69	c cleaning 150006 clauses out of 300055 with flag 56694644/11466001
858.37/857.82	c cleaning 151020 clauses out of 302051 with flag 57399667/11618003
872.56/872.02	c cleaning 151985 clauses out of 304029 with flag 58047065/11771001
887.22/886.70	c cleaning 153009 clauses out of 306043 with flag 58810350/11925000
902.98/902.51	c cleaning 154009 clauses out of 308036 with flag 59554155/12080002
918.75/918.31	c cleaning 154998 clauses out of 310026 with flag 60258289/12236001
934.61/934.27	c cleaning 155978 clauses out of 312028 with flag 60954398/12393001
952.30/951.52	c cleaning 157000 clauses out of 314049 with flag 61711677/12551000
968.47/967.72	c cleaning 158000 clauses out of 316051 with flag 62402608/12710002
984.33/983.66	c cleaning 159013 clauses out of 318051 with flag 63093688/12870002
1000.80/1000.17	c cleaning 159990 clauses out of 320036 with flag 63840396/13031000
1017.67/1017.06	c cleaning 161001 clauses out of 322046 with flag 64584161/13193000
1033.83/1033.27	c cleaning 161987 clauses out of 324046 with flag 65281916/13356001
1050.09/1049.54	c cleaning 163018 clauses out of 326058 with flag 66003916/13520000
1066.05/1065.58	c cleaning 164013 clauses out of 328040 with flag 66709299/13685000
1083.39/1082.86	c cleaning 164970 clauses out of 330028 with flag 67448245/13851001
1100.66/1100.17	c cleaning 166004 clauses out of 332058 with flag 68188553/14018001
1117.21/1116.75	c cleaning 167003 clauses out of 334054 with flag 68936425/14186001
1136.97/1136.57	c cleaning 167997 clauses out of 336051 with flag 69738256/14355001
1154.04/1153.66	c cleaning 169015 clauses out of 338055 with flag 70504767/14525002
1171.59/1171.22	c cleaning 169991 clauses out of 340038 with flag 71241082/14696000
1189.15/1188.86	c cleaning 171014 clauses out of 342047 with flag 72001740/14868000
1207.51/1207.23	c cleaning 172000 clauses out of 344033 with flag 72780446/15041000
1227.17/1226.91	c cleaning 173000 clauses out of 346035 with flag 73561618/15215002
1246.59/1246.43	c cleaning 173998 clauses out of 348033 with flag 74314545/15390000
1266.02/1266.08	c cleaning 175016 clauses out of 350038 with flag 75119319/15566003
1288.11/1288.37	c cleaning 175993 clauses out of 352019 with flag 75953454/15743000
1306.85/1307.28	c cleaning 176989 clauses out of 354026 with flag 76730478/15921000
1331.13/1331.74	c cleaning 177989 clauses out of 356037 with flag 77589254/16100000
1351.85/1352.62	c cleaning 179003 clauses out of 358049 with flag 78368753/16280001
1372.45/1373.45	c cleaning 180003 clauses out of 360046 with flag 79165940/16461001
1394.56/1395.77	c cleaning 180991 clauses out of 362042 with flag 79984202/16643000
1415.13/1416.30	c cleaning 182012 clauses out of 364055 with flag 80776922/16826004
1434.79/1436.01	c cleaning 182997 clauses out of 366039 with flag 81581353/17010000
1455.14/1456.42	c cleaning 184002 clauses out of 368042 with flag 82382223/17195000
1477.60/1478.90	c cleaning 184994 clauses out of 370040 with flag 83213981/17381000
1498.35/1499.76	c cleaning 186007 clauses out of 372046 with flag 83991387/17568000
1520.60/1522.08	c cleaning 186995 clauses out of 374042 with flag 84880428/17756003
1541.25/1542.75	c cleaning 188000 clauses out of 376044 with flag 85642636/17945000
1562.39/1563.93	c cleaning 189001 clauses out of 378044 with flag 86486240/18135000
1584.83/1586.43	c cleaning 190005 clauses out of 380046 with flag 87329207/18326003
1606.07/1607.61	c cleaning 190996 clauses out of 382040 with flag 88134835/18518002
1628.12/1629.74	c cleaning 191985 clauses out of 384043 with flag 88974367/18711001
1653.77/1655.46	c cleaning 193009 clauses out of 386058 with flag 89856923/18905001
1678.02/1679.70	c cleaning 194008 clauses out of 388048 with flag 90772667/19100000
1701.07/1702.83	c cleaning 194996 clauses out of 390041 with flag 91639499/19296001
1723.22/1725.09	c cleaning 196005 clauses out of 392044 with flag 92483542/19493000
1746.47/1748.35	c cleaning 197006 clauses out of 394040 with flag 93304234/19691001
1771.12/1773.05	c cleaning 198004 clauses out of 396034 with flag 94166963/19890001
1794.49/1796.37	c cleaning 198980 clauses out of 398030 with flag 95028848/20090001
1816.74/1818.63	c cleaning 200015 clauses out of 400051 with flag 95878434/20291002
1838.90/1840.89	c cleaning 200997 clauses out of 402035 with flag 96756214/20493001
1862.74/1864.72	c cleaning 202001 clauses out of 404038 with flag 97590962/20696001
1886.79/1888.87	c cleaning 202991 clauses out of 406037 with flag 98486560/20900001
1913.13/1915.23	c cleaning 204006 clauses out of 408046 with flag 99402964/21105001
1937.27/1939.47	c cleaning 204988 clauses out of 410040 with flag 100262255/21311001
1963.32/1965.59	c cleaning 206013 clauses out of 412053 with flag 101161385/21518002
1988.06/1990.29	c cleaning 207001 clauses out of 414038 with flag 102063971/21726000
2016.80/2019.03	c cleaning 208000 clauses out of 416040 with flag 102992138/21935003
2041.75/2044.04	c cleaning 209002 clauses out of 418037 with flag 103913554/22145000
2069.28/2071.69	c cleaning 209982 clauses out of 420036 with flag 104856242/22356001
2096.32/2098.77	c cleaning 211000 clauses out of 422054 with flag 105751867/22568001
2122.17/2124.63	c cleaning 212013 clauses out of 424054 with flag 106670187/22781001
2148.42/2150.97	c cleaning 213005 clauses out of 426040 with flag 107624809/22995000
2174.46/2177.06	c cleaning 213992 clauses out of 428035 with flag 108546619/23210000
2201.69/2204.34	c cleaning 215005 clauses out of 430045 with flag 109481815/23426002
2230.14/2232.83	c cleaning 216007 clauses out of 432040 with flag 110452355/23643002
2257.48/2260.24	c cleaning 216993 clauses out of 434031 with flag 111345286/23861000
2284.82/2287.62	c cleaning 218005 clauses out of 436038 with flag 112241947/24080000
2312.15/2314.95	c cleaning 218994 clauses out of 438034 with flag 113195162/24300001
2340.79/2343.61	c cleaning 219998 clauses out of 440040 with flag 114122376/24521001
2368.43/2371.39	c cleaning 221009 clauses out of 442042 with flag 115067195/24743001
2396.77/2399.79	c cleaning 221991 clauses out of 444032 with flag 116013157/24966000
2427.40/2430.46	c cleaning 222977 clauses out of 446041 with flag 117008132/25190000
2455.55/2458.67	c cleaning 224010 clauses out of 448066 with flag 117952484/25415002
2483.69/2486.85	c cleaning 224989 clauses out of 450054 with flag 118917262/25641000
2513.12/2516.39	c cleaning 226001 clauses out of 452068 with flag 119861428/25868003
2542.66/2545.92	c cleaning 227013 clauses out of 454066 with flag 120844531/26096002
2573.95/2577.18	c cleaning 228015 clauses out of 456053 with flag 121920291/26325002
2603.38/2606.62	c cleaning 229005 clauses out of 458041 with flag 122871149/26555005
2632.51/2635.81	c cleaning 229994 clauses out of 460031 with flag 123851528/26786000
2664.53/2667.94	c cleaning 231013 clauses out of 462037 with flag 124816189/27018000
2695.16/2698.69	c cleaning 231978 clauses out of 464025 with flag 125758483/27251001
2727.61/2731.15	c cleaning 233016 clauses out of 466046 with flag 126757363/27485000
2761.13/2764.72	c cleaning 234006 clauses out of 468030 with flag 127807500/27720000
2791.27/2794.93	c cleaning 234992 clauses out of 470026 with flag 128795564/27956002
2821.14/2824.78	c cleaning 235981 clauses out of 472032 with flag 129760014/28193000
2853.28/2856.91	c cleaning 237008 clauses out of 474052 with flag 130786575/28431001
2889.32/2893.05	c cleaning 238007 clauses out of 476044 with flag 131768146/28670001
2920.86/2924.62	c cleaning 238992 clauses out of 478036 with flag 132785201/28910000
2952.30/2956.12	c cleaning 240010 clauses out of 480044 with flag 133852309/29151000
2986.13/2990.06	c cleaning 240998 clauses out of 482034 with flag 134826798/29393000
3019.28/3023.28	c cleaning 241987 clauses out of 484037 with flag 135823754/29636001
3051.22/3055.24	c cleaning 243011 clauses out of 486051 with flag 136845379/29880002
3085.88/3089.51	c cleaning 244008 clauses out of 488039 with flag 137844895/30125001
3119.81/3123.52	c cleaning 244991 clauses out of 490030 with flag 138861895/30371000
3154.04/3157.86	c cleaning 246005 clauses out of 492039 with flag 139889836/30618000
3190.96/3194.81	c cleaning 246989 clauses out of 494035 with flag 140933301/30866001
3227.47/3231.40	c cleaning 247994 clauses out of 496045 with flag 142035906/31115000
3260.61/3264.69	c cleaning 249010 clauses out of 498051 with flag 142994060/31365000
3294.64/3298.70	c cleaning 250006 clauses out of 500041 with flag 143979067/31616000
3329.63/3333.74	c cleaning 250990 clauses out of 502035 with flag 145046520/31868000
3365.07/3369.20	c cleaning 252002 clauses out of 504046 with flag 146098101/32121001
3402.10/3406.32	c cleaning 253005 clauses out of 506043 with flag 147200147/32375000
3438.51/3442.82	c cleaning 254006 clauses out of 508039 with flag 148267482/32630001
3471.95/3476.30	c cleaning 254992 clauses out of 510033 with flag 149309738/32886001
3507.59/3512.08	c cleaning 255998 clauses out of 512041 with flag 150374272/33143001
3541.53/3546.00	c cleaning 257004 clauses out of 514042 with flag 151460534/33401000
3578.37/3582.95	c cleaning 258003 clauses out of 516038 with flag 152527055/33660000
3600.02/3604.62	c starts		: 22376
3600.02/3604.62	c timeout
3600.02/3604.62	c conflicts		: 33828002
3600.02/3604.62	c decisions		: 49093555
3600.02/3604.62	c propagations		: 1110933318
3600.02/3604.62	c inspects		: 61968344145
3600.02/3604.62	c shortcuts		: 0
3600.02/3604.62	c learnt literals	: 0
3600.02/3604.62	c learnt binary clauses	: 22
3600.02/3604.62	c learnt ternary clauses	: 86
3600.02/3604.62	c learnt constraints	: 33828002
3600.02/3604.62	c ignored constraints	: 0
3600.02/3604.62	c root simplifications	: 0
3600.02/3604.62	c removed literals (reason simplification)	: 0
3600.02/3604.62	c reason swapping (by a shorter reason)	: 0
3600.02/3604.62	c Calls to reduceDB	: 255
3600.02/3604.62	c Number of update (reduction) of LBD	: 11630320
3600.02/3604.62	c Imported unit clauses	: 0
3600.02/3604.62	c No decision after first conflict	: false
3600.02/3604.62	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.62	c number of learned constraints concerned by reduction	: 0
3600.02/3604.62	c number of learning phase by resolution	: 0
3600.02/3604.62	c number of learning phase by cutting planes	: 0
3600.02/3604.62	c number of rounding to 1 operations	: 0
3600.02/3604.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.62	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.62	c number of right shift for reduction by power 2 	: 0
3600.02/3604.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.62	c number of ending skipping 	: 0
3600.02/3604.62	c number of internal skipping 	: 0
3600.02/3604.62	c number of derivation steps 	: 0
3600.02/3604.62	c number of skipped derivation steps 	: 0
3600.02/3604.62	c number of remaining unassigned 	: 0
3600.02/3604.62	c number of remaining assigned 	: 0
3600.02/3604.62	c number of falsified literals weakened from reason	: 0
3600.02/3604.62	c number of falsified literals weakened from conflict	: 0
3600.02/3604.62	c time for arithmetic operations	: 0
3600.02/3604.63	c minimum degree of deleted constraints	: null
3600.02/3604.63	c maximum degree of deleted constraints	: null
3600.02/3604.63	c number of deleted constraints	: 0
3600.02/3604.63	c speed (assignments/second)	: 308212.1175970552
3600.02/3604.63	c non guided choices	: 1534978
3600.02/3604.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 426015
3600.02/3604.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 22
3600.02/3604.68	s UNKNOWN
3600.02/3604.68	c Total wall clock time (in seconds): 3604.565

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454044-1721492700/watcher-4454044-1721492700 -o /tmp/evaluation-result-4454044-1721492700/solver-4454044-1721492700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089315 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4454044-1721492700.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=1092162, runsolver pid=1092159
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.11 4.17 4.18 7/330 1092180
/proc/meminfo: memFree=123321512/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=18975048 memory=63092 CPUtime=0.13 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 7203 0 0 0 12 1 0 0 20 0 18 0 201432419 19430449152 15773 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4743762 15773 5677 1 0 549337 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 5743 0 0 0 7 1 0 0 20 0 18 0 201432420 19430449152 15773 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201432422 19430449152 15773 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201432423 19430449152 15773 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63092 KiB

[startup+0.205722 s]*
/proc/loadavg: 4.11 4.17 4.18 7/331 1092181
/proc/meminfo: memFree=123315356/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=69660 CPUtime=0.34 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 7715 0 0 0 32 2 0 0 20 0 19 0 201432419 19498610688 17415 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 17415 5831 1 0 549932 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 5945 0 0 0 18 1 0 0 20 0 19 0 201432420 19498610688 17415 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=1905144 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 17415 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 17415 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 17415 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69660 KiB

[startup+0.309438 s]*
/proc/loadavg: 4.11 4.17 4.18 6/331 1092181
/proc/meminfo: memFree=123311000/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=73076 CPUtime=0.53 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 9213 0 0 0 51 2 0 0 20 0 19 0 201432419 19498610688 18269 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 18269 5831 1 0 550751 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=-7666636723204154982 CPUtime=0.28 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 5953 0 0 0 27 1 0 0 20 0 19 0 201432420 19498610688 18269 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 18269 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 18269 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 18269 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73076 KiB

[startup+0.700436 s]
/proc/loadavg: 4.11 4.17 4.18 6/331 1092181
/proc/meminfo: memFree=123300848/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=84644 CPUtime=1.29 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 12090 0 0 0 126 3 0 0 20 0 19 0 201432419 19498610688 21161 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 21161 5863 1 0 552791 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=51092 CPUtime=0.65 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 5993 0 0 0 64 1 0 0 20 0 19 0 201432420 19498610688 21161 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=13124 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 21161 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=2328 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 21161 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=100 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 21161 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84644 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.17 4.18 6/331 1092181
/proc/meminfo: memFree=123287820/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=108848 CPUtime=2.67 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 23617 0 0 0 262 5 0 0 20 0 19 0 201432419 19498610688 27212 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 27212 5863 1 0 555449 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=13124 CPUtime=1.46 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 6343 0 0 0 144 2 0 0 20 0 19 0 201432420 19498610688 27212 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 27212 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=2328 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 27212 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=100 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 27212 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108848 KiB

[startup+3.10561 s]
/proc/loadavg: 4.11 4.17 4.18 5/331 1092181
/proc/meminfo: memFree=123258912/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=127660 CPUtime=4.36 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 24280 0 0 0 431 5 0 0 20 0 19 0 201432419 19498610688 31915 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 31915 5863 1 0 555450 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=0 CPUtime=3.05 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 6667 0 0 0 303 2 0 0 20 0 19 0 201432420 19498610688 31915 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=-7666636723204154982 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 31915 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=13124 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 31915 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=2328 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 31915 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127660 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.17 4.17 6/331 1092183
/proc/meminfo: memFree=123234836/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19041612 memory=151732 CPUtime=7.82 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 28741 0 0 0 776 6 0 0 20 0 19 0 201432419 19498610688 37933 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4760403 37933 5879 1 0 555455 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19041612 memory=2328 CPUtime=6.24 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 7158 0 0 0 621 3 0 0 20 0 19 0 201432420 19498610688 37933 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201432422 19498610688 37933 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19041612 memory=13124 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201432423 19498610688 37933 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201432437 19498610688 37933 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.17 4.17 5/332 1092184
/proc/meminfo: memFree=123144108/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=187140 CPUtime=14.3 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 33299 0 0 0 1422 8 0 0 20 0 20 0 201432419 19566772224 46785 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 46785 5927 1 0 555744 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=13124 CPUtime=12.6 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 7838 0 0 0 1257 3 0 0 20 0 20 0 201432420 19566772224 46785 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=187052 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 46785 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 46785 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 46785 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187140 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.16 4.17 5/334 1092569
/proc/meminfo: memFree=123134456/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=195508 CPUtime=27.08 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 35983 0 0 0 2699 9 0 0 20 0 20 0 201432419 19566772224 48877 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 48877 5927 1 0 555744 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=6944656574621848725 CPUtime=25.36 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 9143 0 0 0 2532 4 0 0 20 0 20 0 201432420 19566772224 48877 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 48877 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=3458 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 48877 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 48877 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195508 KiB

[startup+51.106 s]
/proc/loadavg: 4.19 4.18 4.18 5/332 1092574
/proc/meminfo: memFree=122947644/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=257160 CPUtime=52.66 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 39199 0 0 0 5256 10 0 0 20 0 20 0 201432419 19566772224 64290 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 64290 5927 1 0 555744 0

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

/proc/meminfo: memFree=122323472/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=3218.39 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 146743 0 0 0 321713 126 0 0 20 0 20 0 201432419 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540763 5927 1 0 560637 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=51092 CPUtime=3210.23 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 69231 0 0 0 321005 18 0 0 20 0 20 0 201432420 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163048 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4174 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=1468808388902289537 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3218.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163052 KiB

[startup+3282.3 s]
/proc/loadavg: 2.09 2.45 3.22 3/278 1094015
/proc/meminfo: memFree=122323164/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=3278.27 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 148140 0 0 0 327699 128 0 0 20 0 20 0 201432419 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540763 5927 1 0 560637 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=3270.08 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 70363 0 0 0 326990 18 0 0 20 0 20 0 201432420 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4275 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=2163052 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540763 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3278.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163052 KiB

[startup+3342.3 s]
/proc/loadavg: 2.08 2.38 3.15 3/279 1094030
/proc/meminfo: memFree=122322800/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3338.23 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 150851 0 0 0 333693 130 0 0 20 0 20 0 201432419 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540765 5927 1 0 560637 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3329.86 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 71528 0 0 0 332968 18 0 0 20 0 20 0 201432420 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4375 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=-7666636723204154982 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3338.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163060 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.34 3.08 3/279 1094040
/proc/meminfo: memFree=122322420/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3398.1 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 151934 0 0 0 339679 131 0 0 20 0 20 0 201432419 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540765 5927 1 0 560637 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3389.73 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 72381 0 0 0 338954 19 0 0 20 0 20 0 201432420 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4480 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3398.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163060 KiB

[startup+3462.3 s]
/proc/loadavg: 2.05 2.28 3.01 2/253 1094085
/proc/meminfo: memFree=124496276/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3457.98 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 153593 0 0 0 345666 132 0 0 20 0 20 0 201432419 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540765 5927 1 0 560637 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3449.58 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 73574 0 0 0 344939 19 0 0 20 0 20 0 201432420 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4578 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3457.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163060 KiB

[startup+3522.3 s]
/proc/loadavg: 1.43 2.05 2.89 2/253 1094096
/proc/meminfo: memFree=124495940/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=3517.87 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 155232 0 0 0 351654 133 0 0 20 0 20 0 201432419 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540765 5927 1 0 560638 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=-7666636723204154982 CPUtime=3509.45 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 74837 0 0 0 350926 19 0 0 20 0 20 0 201432420 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=5628 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4679 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=2163060 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540765 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3517.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163060 KiB

[startup+3582.3 s]
/proc/loadavg: 1.25 1.89 2.78 2/253 1094107
/proc/meminfo: memFree=124495564/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163096 CPUtime=3577.77 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 156966 0 0 0 357643 134 0 0 20 0 20 0 201432419 19566772224 540774 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540774 5927 1 0 560646 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=14364 CPUtime=3569.32 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 75989 0 0 0 356913 19 0 0 20 0 20 0 201432420 19566772224 540774 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=2163096 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540774 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=6154005503424751464 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540774 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540774 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3577.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.6 s]
/proc/loadavg: 1.18 1.83 2.74 2/253 1094110
/proc/meminfo: memFree=124495508/131524600 swapFree=131071216/131071996
[pid=1092162] ppid=1092159 vsize=19108176 memory=2163108 CPUtime=3600.02 cores=1,3
/proc/1092162/stat : 1092162 (java) S 1092159 1092162 1089301 0 -1 1077936128 157595 0 0 0 359868 134 0 0 20 0 20 0 201432419 19566772224 540777 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
/proc/1092162/statm: 4777044 540777 5927 1 0 560647 0
[pid=1092162/tid=1092164] ppid=1092159 vsize=19108176 memory=20884 CPUtime=3591.58 cores=1,3
/proc/1092162/task/1092164/stat : 1092164 (java) R 1092159 1092162 1089301 0 -1 4194368 76516 0 0 0 359139 19 0 0 20 0 20 0 201432420 19566772224 540777 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092173] ppid=1092159 vsize=19108176 memory=29740 CPUtime=0 cores=1,3
/proc/1092162/task/1092173/stat : 1092173 (Finalizer) S 1092159 1092162 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201432422 19566772224 540777 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092180] ppid=1092159 vsize=19108176 memory=5392 CPUtime=0 cores=1,3
/proc/1092162/task/1092180/stat : 1092180 (Common-Cleaner) S 1092159 1092162 1089301 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 20 0 201432423 19566772224 540777 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
[pid=1092162/tid=1092181] ppid=1092159 vsize=19108176 memory=2748 CPUtime=0 cores=1,3
/proc/1092162/task/1092181/stat : 1092181 (Timer-0) S 1092159 1092162 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201432437 19566772224 540777 134679101440 94213497085952 94213497089648 140726735642704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94213497097464 94213497098256 94213509931008 140726735647749 140726735647839 140726735647839 140726735654856 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2163108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=1.35656 s

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

Child status: 143

Real time (s): 3604.7
CPU time (s): 3600.17
CPU user time (s): 3598.82
CPU system time (s): 1.35656
CPU usage (%): 99.8744
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2163108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.35656
maximum resident set size= 2164624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102774
involuntary context switches= 5566


# summary of solver processes directly reported to runsolver:
#   pid: 1092162
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 1.35656

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30863 second user time and 18.1121 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 18:25:12
IDJOB=4454044
IDBENCH=176039
IDSOLVER=3058
FILE ID=nodeC018/4454044-1721492700
RUNJOBID= nodeC018-1721488208-1089315
SLURM_JOB_ID= 7545781
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 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 -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454044-1721492700/watcher-4454044-1721492700 -o /tmp/evaluation-result-4454044-1721492700/solver-4454044-1721492700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089315 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4454044-1721492700.opb

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

MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=1580102369

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		: 3664.301
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.52
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		: 3653.524
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.30
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		: 3599.925
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.52
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		: 3617.186
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.30
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		: 3664.831
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.52
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		: 3677.839
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.30
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		: 3599.858
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.52
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		: 3600.183
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123363872 kB
MemAvailable:   126460296 kB
Buffers:          585480 kB
Cached:          3326776 kB
SwapCached:          148 kB
Active:          1164492 kB
Inactive:        6367024 kB
Active(anon):       1552 kB
Inactive(anon):  3663496 kB
Active(file):    1162940 kB
Inactive(file):  2703528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       3619120 kB
Mapped:           129948 kB
Shmem:             45784 kB
KReclaimable:     139556 kB
Slab:             240596 kB
SReclaimable:     139556 kB
SUnreclaim:       101040 kB
KernelStack:        5040 kB
PageTables:        17400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7409468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3330048 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC018 at 2024-07-20 19:25:17