Trace number 4453144

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.18 3575.92

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_61.shuf-3.opb
MD5SUMbfdf6d83df30c910f347e65f608bda2f
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.009769
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables366
Total number of constraints367
Number of constraints which are clauses366
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint366
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 378
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 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.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4453144-1721452167.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.16	c ... done. Wall clock time 0.028s.
0.14/0.16	c declared #vars     366
0.14/0.16	c #constraints  367
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 366
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.14/0.16	c 367 constraints processed.
0.91/0.55	c cleaning 2501 clauses out of 5001 with flag 10451/5001
1.68/0.93	c cleaning 4250 clauses out of 8499 with flag 23042/11000
2.01/1.11	c cleaning 5623 clauses out of 11250 with flag 37760/18001
2.28/1.32	c cleaning 6812 clauses out of 13628 with flag 54502/26002
2.51/1.55	c cleaning 7908 clauses out of 15815 with flag 73398/35001
2.80/1.84	c cleaning 8951 clauses out of 17906 with flag 94198/45000
3.17/2.11	c cleaning 9978 clauses out of 19956 with flag 117180/56001
3.46/2.47	c cleaning 10989 clauses out of 21978 with flag 142104/68001
3.97/2.93	c cleaning 11994 clauses out of 23988 with flag 169226/81000
4.38/3.34	c cleaning 12996 clauses out of 25994 with flag 198634/95000
4.94/3.88	c cleaning 13998 clauses out of 27998 with flag 230129/110000
5.53/4.43	c cleaning 14999 clauses out of 30000 with flag 263683/126000
6.18/5.01	c cleaning 15995 clauses out of 32001 with flag 299387/143000
6.81/5.61	c cleaning 17004 clauses out of 34007 with flag 337005/161001
7.55/6.33	c cleaning 17996 clauses out of 36003 with flag 376762/180001
8.37/7.12	c cleaning 18999 clauses out of 38006 with flag 418511/200000
9.06/7.84	c cleaning 20001 clauses out of 40008 with flag 462577/221001
9.91/8.67	c cleaning 21004 clauses out of 42007 with flag 508885/243001
10.81/9.59	c cleaning 22000 clauses out of 44004 with flag 557183/266002
11.87/10.59	c cleaning 23002 clauses out of 46003 with flag 607599/290001
12.87/11.56	c cleaning 24000 clauses out of 48000 with flag 660117/315000
14.01/12.63	c cleaning 25000 clauses out of 50001 with flag 714742/341001
15.00/13.65	c cleaning 26000 clauses out of 52002 with flag 771259/368002
16.16/14.74	c cleaning 26999 clauses out of 54000 with flag 829803/396000
17.26/15.89	c cleaning 27995 clauses out of 56001 with flag 890701/425000
18.68/17.22	c cleaning 29002 clauses out of 58006 with flag 953826/455000
19.87/18.47	c cleaning 29999 clauses out of 60004 with flag 1018391/486000
21.29/19.85	c cleaning 30999 clauses out of 62005 with flag 1085433/518000
22.83/21.37	c cleaning 31999 clauses out of 64006 with flag 1154653/551000
24.43/22.99	c cleaning 33002 clauses out of 66007 with flag 1225521/585000
26.17/24.64	c cleaning 34001 clauses out of 68005 with flag 1298460/620000
27.66/26.10	c cleaning 34998 clauses out of 70004 with flag 1373819/656000
29.50/27.98	c cleaning 36000 clauses out of 72006 with flag 1451304/693000
31.46/29.80	c cleaning 37004 clauses out of 74007 with flag 1531073/731001
32.95/31.35	c cleaning 37998 clauses out of 76003 with flag 1612620/770001
34.69/33.08	c cleaning 38999 clauses out of 78004 with flag 1695742/810000
36.38/34.75	c cleaning 40004 clauses out of 80007 with flag 1780978/851002
38.52/36.82	c cleaning 40999 clauses out of 82002 with flag 1868564/893001
40.52/38.87	c cleaning 42000 clauses out of 84003 with flag 1958012/936001
43.00/41.27	c cleaning 43002 clauses out of 86003 with flag 2049568/980001
44.99/43.22	c cleaning 43999 clauses out of 88000 with flag 2143308/1025000
47.27/45.49	c cleaning 44994 clauses out of 90002 with flag 2239302/1071001
49.45/47.67	c cleaning 46003 clauses out of 92008 with flag 2337621/1118001
51.51/49.68	c cleaning 46999 clauses out of 94004 with flag 2437903/1166000
53.81/51.96	c cleaning 47999 clauses out of 96005 with flag 2539760/1215000
57.01/55.04	c cleaning 49000 clauses out of 98006 with flag 2644091/1265000
59.50/57.58	c cleaning 50002 clauses out of 100006 with flag 2750810/1316000
63.33/60.71	c cleaning 50995 clauses out of 102005 with flag 2859609/1368001
66.31/63.76	c cleaning 51998 clauses out of 104009 with flag 2970218/1421000
69.03/66.45	c cleaning 53002 clauses out of 106012 with flag 3083390/1475001
72.00/69.40	c cleaning 54003 clauses out of 108009 with flag 3197714/1530000
75.15/72.51	c cleaning 55001 clauses out of 110007 with flag 3314129/1586001
78.52/75.93	c cleaning 56000 clauses out of 112006 with flag 3432814/1643001
82.06/79.42	c cleaning 57002 clauses out of 114005 with flag 3553592/1701000
85.16/82.54	c cleaning 58000 clauses out of 116004 with flag 3676497/1760001
88.66/86.07	c cleaning 59000 clauses out of 118005 with flag 3801272/1820002
91.94/89.31	c cleaning 59999 clauses out of 120003 with flag 3928115/1881000
95.33/92.73	c cleaning 61000 clauses out of 122005 with flag 4056942/1943001
98.93/96.31	c cleaning 62001 clauses out of 124005 with flag 4188361/2006001
102.82/100.20	c cleaning 62997 clauses out of 126004 with flag 4321604/2070001
107.42/104.89	c cleaning 64002 clauses out of 128007 with flag 4456917/2135001
111.40/108.87	c cleaning 65000 clauses out of 130005 with flag 4594445/2201001
115.90/113.33	c cleaning 66002 clauses out of 132005 with flag 4733705/2268001
119.89/117.31	c cleaning 66997 clauses out of 134003 with flag 4875890/2336001
124.73/122.03	c cleaning 67996 clauses out of 136005 with flag 5019984/2405000
129.12/126.45	c cleaning 69003 clauses out of 138010 with flag 5166436/2475001
134.31/131.62	c cleaning 69998 clauses out of 140006 with flag 5314882/2546000
138.60/135.97	c cleaning 71000 clauses out of 142010 with flag 5464762/2618002
142.89/140.28	c cleaning 72003 clauses out of 144009 with flag 5616993/2691001
147.39/144.77	c cleaning 73003 clauses out of 146005 with flag 5770669/2765000
152.11/149.37	c cleaning 74002 clauses out of 148003 with flag 5926480/2840001
157.00/154.29	c cleaning 74996 clauses out of 150000 with flag 6084806/2916000
161.79/159.07	c cleaning 76002 clauses out of 152005 with flag 6245128/2993001
167.27/164.56	c cleaning 76997 clauses out of 154002 with flag 6407479/3071000
172.80/169.94	c cleaning 77998 clauses out of 156006 with flag 6572282/3150001
177.60/174.76	c cleaning 79000 clauses out of 158008 with flag 6739968/3230001
182.69/179.80	c cleaning 80001 clauses out of 160007 with flag 6908921/3311000
188.58/185.72	c cleaning 81003 clauses out of 162007 with flag 7080258/3393001
194.27/191.45	c cleaning 82000 clauses out of 164003 with flag 7253684/3476000
199.46/196.67	c cleaning 82998 clauses out of 166003 with flag 7429564/3560000
205.03/201.90	c cleaning 84000 clauses out of 168005 with flag 7607713/3645000
211.31/208.22	c cleaning 84999 clauses out of 170005 with flag 7787246/3731000
217.36/214.18	c cleaning 85995 clauses out of 172006 with flag 7969020/3818000
223.90/220.73	c cleaning 87003 clauses out of 174012 with flag 8152131/3906001
230.72/227.11	c cleaning 88003 clauses out of 176009 with flag 8337647/3995001
237.30/233.76	c cleaning 88997 clauses out of 178005 with flag 8525058/4085000
243.81/240.16	c cleaning 90001 clauses out of 180008 with flag 8715534/4176000
251.87/248.27	c cleaning 91004 clauses out of 182007 with flag 8907183/4268000
257.66/254.05	c cleaning 91999 clauses out of 184003 with flag 9101485/4361000
265.34/261.71	c cleaning 93000 clauses out of 186005 with flag 9297693/4455001
272.93/269.30	c cleaning 93997 clauses out of 188004 with flag 9495752/4550000
281.73/277.98	c cleaning 95003 clauses out of 190008 with flag 9696493/4646001
289.02/285.24	c cleaning 95999 clauses out of 192004 with flag 9898868/4743000
296.10/292.37	c cleaning 97002 clauses out of 194006 with flag 10102845/4841001
304.49/300.67	c cleaning 97997 clauses out of 196004 with flag 10309891/4940001
312.37/308.59	c cleaning 99002 clauses out of 198008 with flag 10518890/5040002
321.26/317.44	c cleaning 99999 clauses out of 200004 with flag 10730108/5141000
328.66/324.54	c cleaning 101000 clauses out of 202005 with flag 10942836/5243000
336.59/332.52	c cleaning 102000 clauses out of 204006 with flag 11157858/5346001
345.24/341.10	c cleaning 102999 clauses out of 206005 with flag 11375451/5450000
353.07/348.93	c cleaning 104004 clauses out of 208007 with flag 11594130/5555001
361.97/357.71	c cleaning 105001 clauses out of 210003 with flag 11815876/5661001
370.70/366.59	c cleaning 105994 clauses out of 212001 with flag 12039708/5768000
379.89/375.68	c cleaning 107002 clauses out of 214009 with flag 12264937/5876002
389.17/384.92	c cleaning 107999 clauses out of 216006 with flag 12491701/5985001
398.05/393.79	c cleaning 109001 clauses out of 218006 with flag 12720491/6095000
408.30/403.38	c cleaning 109998 clauses out of 220006 with flag 12952301/6206001
418.71/413.82	c cleaning 111000 clauses out of 222008 with flag 13186304/6318001
426.74/421.85	c cleaning 112001 clauses out of 224008 with flag 13422927/6431001
436.94/432.11	c cleaning 113004 clauses out of 226008 with flag 13661547/6545002
445.47/440.54	c cleaning 113996 clauses out of 228002 with flag 13901798/6660000
456.45/451.58	c cleaning 115003 clauses out of 230006 with flag 14143876/6776000
465.92/460.99	c cleaning 116002 clauses out of 232003 with flag 14387869/6893000
476.01/471.04	c cleaning 116997 clauses out of 234002 with flag 14634252/7011001
487.76/482.64	c cleaning 118003 clauses out of 236005 with flag 14882886/7130001
498.56/493.55	c cleaning 118996 clauses out of 238002 with flag 15132671/7250001
509.80/504.75	c cleaning 120000 clauses out of 240006 with flag 15383939/7371001
518.52/513.59	c cleaning 121000 clauses out of 242005 with flag 15637543/7493000
530.06/525.05	c cleaning 122001 clauses out of 244007 with flag 15893958/7616002
540.57/535.64	c cleaning 122999 clauses out of 246005 with flag 16152323/7740001
551.54/546.59	c cleaning 123998 clauses out of 248006 with flag 16412233/7865001
562.07/557.02	c cleaning 125002 clauses out of 250008 with flag 16675741/7991001
573.19/568.29	c cleaning 125998 clauses out of 252005 with flag 16941409/8118000
584.92/579.13	c cleaning 126999 clauses out of 254008 with flag 17209271/8246001
594.23/588.58	c cleaning 128002 clauses out of 256010 with flag 17477234/8375002
604.03/598.37	c cleaning 129000 clauses out of 258006 with flag 17746555/8505000
613.61/607.93	c cleaning 130003 clauses out of 260007 with flag 18018367/8636001
625.42/619.61	c cleaning 130999 clauses out of 262003 with flag 18293673/8768000
637.00/631.21	c cleaning 131999 clauses out of 264004 with flag 18570714/8901000
646.69/640.92	c cleaning 133000 clauses out of 266006 with flag 18849022/9035001
660.16/654.35	c cleaning 133996 clauses out of 268005 with flag 19130112/9170000
672.73/666.95	c cleaning 135001 clauses out of 270009 with flag 19414416/9306000
682.64/676.51	c cleaning 136001 clauses out of 272008 with flag 19701466/9443000
693.71/687.41	c cleaning 136999 clauses out of 274008 with flag 19989265/9581001
704.92/698.51	c cleaning 138001 clauses out of 276008 with flag 20279157/9720000
716.72/710.20	c cleaning 139005 clauses out of 278009 with flag 20570573/9860002
729.32/721.93	c cleaning 139999 clauses out of 280003 with flag 20863853/10001001
743.11/735.68	c cleaning 141002 clauses out of 282004 with flag 21159982/10143001
756.28/748.81	c cleaning 141993 clauses out of 284001 with flag 21459366/10286000
769.40/761.93	c cleaning 143003 clauses out of 286008 with flag 21760725/10430000
780.18/772.71	c cleaning 144000 clauses out of 288005 with flag 22063624/10575000
791.69/784.00	c cleaning 144998 clauses out of 290006 with flag 22368808/10721001
804.60/796.87	c cleaning 145999 clauses out of 292007 with flag 22676270/10868000
816.75/808.83	c cleaning 146998 clauses out of 294008 with flag 22984665/11016000
829.44/821.57	c cleaning 148003 clauses out of 296010 with flag 23294651/11165000
840.12/832.14	c cleaning 149002 clauses out of 298007 with flag 23607277/11315000
850.93/842.93	c cleaning 150002 clauses out of 300006 with flag 23922041/11466001
864.17/856.11	c cleaning 150997 clauses out of 302003 with flag 24240285/11618000
877.53/869.43	c cleaning 152001 clauses out of 304007 with flag 24560203/11771001
894.74/885.46	c cleaning 152998 clauses out of 306006 with flag 24881706/11925001
908.72/899.39	c cleaning 153998 clauses out of 308007 with flag 25204901/12080000
923.83/914.37	c cleaning 155002 clauses out of 310009 with flag 25530487/12236000
935.95/926.35	c cleaning 155997 clauses out of 312007 with flag 25857370/12393000
950.08/940.31	c cleaning 156999 clauses out of 314011 with flag 26186206/12551001
964.72/954.87	c cleaning 158001 clauses out of 316012 with flag 26517350/12710001
978.27/968.32	c cleaning 159001 clauses out of 318010 with flag 26849932/12870000
992.14/981.84	c cleaning 159999 clauses out of 320009 with flag 27184120/13031000
1006.75/996.32	c cleaning 161002 clauses out of 322011 with flag 27521191/13193001
1023.57/1013.02	c cleaning 162001 clauses out of 324008 with flag 27860267/13356000
1037.40/1025.63	c cleaning 163002 clauses out of 326009 with flag 28201760/13520002
1050.85/1039.09	c cleaning 164001 clauses out of 328007 with flag 28545905/13685002
1063.90/1052.17	c cleaning 164997 clauses out of 330005 with flag 28891738/13851001
1079.32/1067.50	c cleaning 166002 clauses out of 332008 with flag 29238802/14018001
1093.62/1081.76	c cleaning 167000 clauses out of 334006 with flag 29588238/14186001
1110.65/1098.65	c cleaning 167997 clauses out of 336005 with flag 29940046/14355000
1124.73/1112.56	c cleaning 169001 clauses out of 338008 with flag 30293570/14525000
1138.29/1125.91	c cleaning 169999 clauses out of 340008 with flag 30648756/14696001
1154.80/1142.36	c cleaning 171000 clauses out of 342008 with flag 31006828/14868000
1170.29/1157.74	c cleaning 172003 clauses out of 344010 with flag 31367049/15041002
1184.97/1172.21	c cleaning 172999 clauses out of 346006 with flag 31729055/15215001
1202.57/1189.74	c cleaning 173998 clauses out of 348006 with flag 32093439/15390000
1217.19/1204.20	c cleaning 175004 clauses out of 350009 with flag 32458876/15566001
1234.80/1221.73	c cleaning 175996 clauses out of 352004 with flag 32827391/15743000
1252.14/1239.01	c cleaning 177002 clauses out of 354009 with flag 33198811/15921001
1272.05/1257.70	c cleaning 177998 clauses out of 356006 with flag 33571668/16100000
1286.73/1272.45	c cleaning 178999 clauses out of 358008 with flag 33945887/16280000
1307.71/1293.35	c cleaning 180001 clauses out of 360009 with flag 34322475/16461000
1324.71/1310.22	c cleaning 181004 clauses out of 362009 with flag 34701923/16643001
1342.15/1327.55	c cleaning 181996 clauses out of 364004 with flag 35082493/16826000
1363.29/1348.61	c cleaning 183002 clauses out of 366010 with flag 35466533/17010002
1379.12/1364.45	c cleaning 183996 clauses out of 368006 with flag 35851562/17195000
1398.22/1383.41	c cleaning 185003 clauses out of 370011 with flag 36238876/17381001
1415.50/1400.69	c cleaning 185999 clauses out of 372007 with flag 36628303/17568000
1432.22/1417.18	c cleaning 187001 clauses out of 374010 with flag 37019758/17756002
1451.79/1436.62	c cleaning 187993 clauses out of 376007 with flag 37412915/17945000
1471.47/1456.36	c cleaning 189004 clauses out of 378015 with flag 37808668/18135001
1489.46/1474.36	c cleaning 190004 clauses out of 380010 with flag 38207112/18326000
1506.98/1491.86	c cleaning 191001 clauses out of 382006 with flag 38606463/18518000
1526.73/1511.59	c cleaning 192001 clauses out of 384005 with flag 39008088/18711000
1548.07/1532.77	c cleaning 193002 clauses out of 386005 with flag 39411719/18905001
1568.36/1553.03	c cleaning 194000 clauses out of 388003 with flag 39817669/19100001
1587.74/1572.46	c cleaning 194998 clauses out of 390002 with flag 40225828/19296000
1607.41/1592.15	c cleaning 196000 clauses out of 392005 with flag 40635396/19493001
1627.19/1611.99	c cleaning 196995 clauses out of 394004 with flag 41047591/19691000
1646.48/1631.04	c cleaning 197998 clauses out of 396010 with flag 41461592/19890001
1670.42/1653.89	c cleaning 199004 clauses out of 398012 with flag 41878376/20090001
1694.81/1678.27	c cleaning 199999 clauses out of 400007 with flag 42296664/20291000
1719.47/1702.79	c cleaning 200999 clauses out of 402008 with flag 42718035/20493000
1741.26/1724.52	c cleaning 202001 clauses out of 404009 with flag 43143124/20696000
1761.13/1744.33	c cleaning 203001 clauses out of 406009 with flag 43570459/20900001
1779.89/1762.99	c cleaning 204002 clauses out of 408007 with flag 43999015/21105000
1801.61/1784.53	c cleaning 205000 clauses out of 410005 with flag 44429153/21311000
1824.74/1807.63	c cleaning 206003 clauses out of 412005 with flag 44862649/21518000
1842.47/1825.32	c cleaning 206996 clauses out of 414002 with flag 45297387/21726000
1867.83/1850.69	c cleaning 207998 clauses out of 416007 with flag 45735361/21935001
1892.24/1874.94	c cleaning 208996 clauses out of 418008 with flag 46173234/22145000
1914.64/1897.19	c cleaning 210003 clauses out of 420013 with flag 46612624/22356001
1936.62/1919.08	c cleaning 211000 clauses out of 422009 with flag 47052965/22568000
1956.63/1938.92	c cleaning 211999 clauses out of 424009 with flag 47496622/22781000
1980.27/1962.40	c cleaning 213002 clauses out of 426010 with flag 47942988/22995000
2004.72/1986.70	c cleaning 214000 clauses out of 428009 with flag 48390798/23210001
2030.29/2012.23	c cleaning 215000 clauses out of 430009 with flag 48841511/23426001
2056.31/2038.07	c cleaning 216003 clauses out of 432009 with flag 49294875/23643001
2083.94/2065.67	c cleaning 216999 clauses out of 434006 with flag 49749197/23861001
2105.52/2087.29	c cleaning 218003 clauses out of 436006 with flag 50205723/24080000
2129.59/2111.24	c cleaning 219002 clauses out of 438003 with flag 50663277/24300000
2154.97/2136.78	c cleaning 219998 clauses out of 440002 with flag 51123418/24521001
2186.75/2168.40	c cleaning 220997 clauses out of 442003 with flag 51586197/24743000
2209.27/2191.00	c cleaning 221996 clauses out of 444007 with flag 52050206/24966001
2233.08/2214.70	c cleaning 223005 clauses out of 446011 with flag 52516339/25190001
2257.20/2238.84	c cleaning 224000 clauses out of 448005 with flag 52984362/25415000
2279.58/2261.17	c cleaning 224998 clauses out of 450005 with flag 53456505/25641000
2305.44/2286.90	c cleaning 226001 clauses out of 452007 with flag 53930801/25868000
2334.61/2314.74	c cleaning 226998 clauses out of 454006 with flag 54407312/26096000
2358.27/2338.48	c cleaning 227999 clauses out of 456009 with flag 54886780/26325001
2387.04/2367.09	c cleaning 229003 clauses out of 458010 with flag 55367674/26555001
2410.41/2390.31	c cleaning 230000 clauses out of 460006 with flag 55848704/26786000
2435.94/2415.86	c cleaning 231000 clauses out of 462006 with flag 56331680/27018000
2462.53/2442.48	c cleaning 232001 clauses out of 464007 with flag 56816989/27251001
2486.20/2465.94	c cleaning 233000 clauses out of 466005 with flag 57306571/27485000
2515.25/2494.69	c cleaning 233994 clauses out of 468006 with flag 57797720/27720001
2540.12/2519.35	c cleaning 235002 clauses out of 470011 with flag 58290470/27956000
2565.28/2544.48	c cleaning 236001 clauses out of 472009 with flag 58784625/28193000
2593.75/2573.18	c cleaning 236996 clauses out of 474009 with flag 59283307/28431001
2619.78/2599.03	c cleaning 238003 clauses out of 476012 with flag 59783344/28670000
2647.08/2626.36	c cleaning 239002 clauses out of 478010 with flag 60284889/28910001
2678.91/2658.14	c cleaning 240000 clauses out of 480007 with flag 60786332/29151000
2710.08/2689.39	c cleaning 241003 clauses out of 482009 with flag 61290541/29393002
2739.45/2718.69	c cleaning 241998 clauses out of 484004 with flag 61797838/29636000
2769.21/2748.33	c cleaning 243001 clauses out of 486006 with flag 62305957/29880000
2802.88/2782.01	c cleaning 243998 clauses out of 488005 with flag 62816952/30125000
2832.72/2811.99	c cleaning 245003 clauses out of 490009 with flag 63330736/30371002
2861.34/2840.74	c cleaning 245996 clauses out of 492004 with flag 63845842/30618000
2891.72/2871.12	c cleaning 246999 clauses out of 494008 with flag 64362013/30866000
2919.67/2898.84	c cleaning 248001 clauses out of 496009 with flag 64883030/31115000
2947.19/2926.29	c cleaning 249001 clauses out of 498008 with flag 65405407/31365000
2975.90/2954.91	c cleaning 250001 clauses out of 500007 with flag 65929434/31616000
3002.94/2981.85	c cleaning 250997 clauses out of 502008 with flag 66454861/31868002
3031.31/3010.18	c cleaning 252001 clauses out of 504010 with flag 66980360/32121001
3060.34/3038.99	c cleaning 253001 clauses out of 506009 with flag 67508757/32375001
3094.52/3073.03	c cleaning 253998 clauses out of 508007 with flag 68041076/32630000
3125.03/3103.51	c cleaning 255006 clauses out of 510011 with flag 68575720/32886002
3159.54/3138.07	c cleaning 255996 clauses out of 512003 with flag 69110743/33143000
3191.49/3170.04	c cleaning 257000 clauses out of 514007 with flag 69648360/33401000
3223.63/3202.28	c cleaning 258000 clauses out of 516007 with flag 70188507/33660000
3255.30/3233.98	c cleaning 259002 clauses out of 518008 with flag 70731897/33920001
3290.85/3269.54	c cleaning 260000 clauses out of 520006 with flag 71277656/34181001
3327.79/3306.56	c cleaning 261000 clauses out of 522005 with flag 71823746/34443000
3360.76/3338.39	c cleaning 261999 clauses out of 524005 with flag 72374168/34706000
3394.40/3372.02	c cleaning 263000 clauses out of 526006 with flag 72927496/34970000
3428.48/3405.73	c cleaning 264000 clauses out of 528006 with flag 73480524/35235000
3460.91/3437.82	c cleaning 265000 clauses out of 530008 with flag 74035338/35501002
3491.49/3468.20	c cleaning 265998 clauses out of 532007 with flag 74593130/35768001
3526.34/3502.83	c cleaning 267003 clauses out of 534009 with flag 75153609/36036001
3555.42/3531.73	c cleaning 268001 clauses out of 536005 with flag 75715195/36305000
3590.14/3566.19	c cleaning 269001 clauses out of 538004 with flag 76278584/36575000
3600.01/3575.81	c starts		: 1
3600.01/3575.82	c conflicts		: 36721829
3600.01/3575.82	c decisions		: 38963848
3600.01/3575.82	c propagations		: 376679604
3600.01/3575.82	c inspects		: 25077026245
3600.01/3575.82	c shortcuts		: 0
3600.01/3575.82	c learnt literals	: 0
3600.01/3575.82	c learnt binary clauses	: 0
3600.01/3575.82	c learnt ternary clauses	: 0
3600.01/3575.82	c learnt constraints	: 36721829
3600.01/3575.82	c ignored constraints	: 0
3600.01/3575.82	c root simplifications	: 0
3600.01/3575.82	c removed literals (reason simplification)	: 0
3600.01/3575.82	c reason swapping (by a shorter reason)	: 0
3600.01/3575.82	c Calls to reduceDB	: 266
3600.01/3575.82	c Number of update (reduction) of LBD	: 458464
3600.01/3575.82	c Imported unit clauses	: 0
3600.01/3575.82	c No decision after first conflict	: false
3600.01/3575.82	c number of reductions to clauses (during analyze)	: 0
3600.01/3575.82	c number of learned constraints concerned by reduction	: 0
3600.01/3575.82	c number of learning phase by resolution	: 0
3600.01/3575.82	c number of learning phase by cutting planes	: 0
3600.01/3575.82	c number of rounding to 1 operations	: 0
3600.01/3575.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3575.82	c number of reductions of the coefficients by power 2 	: 0
3600.01/3575.82	c number of right shift for reduction by power 2 	: 0
3600.01/3575.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3575.82	c number of ending skipping 	: 0
3600.01/3575.82	c number of internal skipping 	: 0
3600.01/3575.82	c number of derivation steps 	: 0
3600.01/3575.82	c number of skipped derivation steps 	: 0
3600.01/3575.82	c number of remaining unassigned 	: 0
3600.01/3575.82	c number of remaining assigned 	: 0
3600.01/3575.82	c number of falsified literals weakened from reason	: 0
3600.01/3575.82	c number of falsified literals weakened from conflict	: 0
3600.01/3575.82	c time for arithmetic operations	: 0
3600.01/3575.82	c minimum degree of deleted constraints	: null
3600.01/3575.82	c maximum degree of deleted constraints	: null
3600.01/3575.82	c number of deleted constraints	: 0
3600.01/3575.82	c speed (assignments/second)	: 105345.38741486544
3600.01/3575.82	c non guided choices	: 146
3600.01/3575.84	c timeout
3600.01/3575.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 415832
3600.01/3575.88	s UNKNOWN
3600.01/3575.88	c Total wall clock time (in seconds): 3575.759

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: 63931 MiB (49241 MiB free)
  memory of node 1: 64510 MiB (57361 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453144-1721452167/watcher-4453144-1721452167 -o /tmp/evaluation-result-4453144-1721452167/solver-4453144-1721452167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453144-1721452167.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=1019963, runsolver pid=1019960
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 4.20 4.20 4.24 6/328 1019981
/proc/meminfo: memFree=109118564/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=18975048 memory=64656 CPUtime=0.14 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 7587 0 0 0 12 2 0 0 20 0 18 0 197377228 19430449152 16164 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4743762 16164 5666 1 0 549327 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 6168 0 0 0 7 1 0 0 20 0 18 0 197377228 19430449152 16164 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197377231 19430449152 16164 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197377231 19430449152 16164 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64656 KiB

[startup+0.216424 s]*
/proc/loadavg: 4.20 4.20 4.24 7/329 1019982
/proc/meminfo: memFree=109114388/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19041612 memory=68936 CPUtime=0.35 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 8191 0 0 0 33 2 0 0 20 0 19 0 197377228 19498610688 17234 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4760403 17234 5832 1 0 549931 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 6366 0 0 0 18 1 0 0 20 0 19 0 197377228 19498610688 17234 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19041612 memory=14994 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 17234 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 17234 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197377244 19498610688 17234 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68936 KiB

[startup+0.30683 s]*
/proc/loadavg: 4.20 4.20 4.24 8/329 1019982
/proc/meminfo: memFree=109106544/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19041612 memory=78688 CPUtime=0.52 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 9598 0 0 0 50 2 0 0 20 0 19 0 197377228 19498610688 19672 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4760403 19672 5832 1 0 550773 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19041612 memory=-7164485364752934238 CPUtime=0.28 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 6373 0 0 0 27 1 0 0 20 0 19 0 197377228 19498610688 19672 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 19672 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 19672 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197377244 19498610688 19672 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78688 KiB

[startup+0.700829 s]
/proc/loadavg: 4.20 4.20 4.24 8/329 1019982
/proc/meminfo: memFree=109093028/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19041612 memory=96592 CPUtime=1.28 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 12543 0 0 0 125 3 0 0 20 0 19 0 197377228 19498610688 24148 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4760403 24148 5832 1 0 552636 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19041612 memory=47000 CPUtime=0.67 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 6446 0 0 0 65 2 0 0 20 0 19 0 197377228 19498610688 24148 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 24148 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19041612 memory=2312 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 24148 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197377244 19498610688 24148 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96592 KiB

[startup+1.50025 s]
/proc/loadavg: 4.20 4.20 4.24 6/329 1019982
/proc/meminfo: memFree=109032472/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19041612 memory=162140 CPUtime=2.51 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 16436 0 0 0 246 5 0 0 20 0 19 0 197377228 19498610688 40535 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4760403 40535 5832 1 0 552980 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19041612 memory=13012 CPUtime=1.46 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 6831 0 0 0 143 3 0 0 20 0 19 0 197377228 19498610688 40535 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 40535 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19041612 memory=2312 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197377231 19498610688 40535 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19041612 memory=26268 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197377244 19498610688 40535 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162140 KiB

[startup+3.10549 s]
/proc/loadavg: 4.18 4.20 4.24 5/330 1019983
/proc/meminfo: memFree=108849052/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=230576 CPUtime=4.18 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 18714 0 0 0 412 6 0 0 20 0 20 0 197377228 19566772224 57644 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 57644 5876 1 0 553287 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=0 CPUtime=2.97 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 7126 0 0 0 294 3 0 0 20 0 20 0 197377228 19566772224 57644 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=-7164485364752934238 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 57644 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 57644 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=2312 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 57644 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 230576 KiB

[startup+6.30027 s]
/proc/loadavg: 4.18 4.20 4.24 6/330 1019985
/proc/meminfo: memFree=108580440/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=417804 CPUtime=7.55 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 19803 0 0 0 745 10 0 0 20 0 20 0 197377228 19566772224 104451 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 104451 5876 1 0 697398 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=2312 CPUtime=5.99 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 7286 0 0 0 596 3 0 0 20 0 20 0 197377228 19566772224 104451 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 104451 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 104451 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 104451 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 417804 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.20 4.23 6/330 1019985
/proc/meminfo: memFree=108174332/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=774744 CPUtime=14.11 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 21674 0 0 0 1393 18 0 0 20 0 20 0 197377228 19566772224 193686 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 193686 5876 1 0 697408 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=13012 CPUtime=12.19 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 7888 0 0 0 1213 6 0 0 20 0 20 0 197377228 19566772224 193686 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=616776 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 193686 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 193686 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 193686 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 14.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 774744 KiB

[startup+25.5008 s]
/proc/loadavg: 4.13 4.19 4.23 5/331 1019989
/proc/meminfo: memFree=107459696/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=1290548 CPUtime=27.07 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 24500 0 0 0 2679 28 0 0 20 0 20 0 197377228 19566772224 322637 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 322637 5876 1 0 833187 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=6944656574621848725 CPUtime=24.57 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 8794 0 0 0 2448 9 0 0 20 0 20 0 197377228 19566772224 322637 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 322637 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=3477 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 322637 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 322637 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 27.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1290548 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.19 4.23 5/333 1019996
/proc/meminfo: memFree=106758728/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=1907584 CPUtime=53.01 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 28930 0 0 0 5259 42 0 0 20 0 20 0 197377228 19566772224 476896 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 476896 5876 1 0 833187 0

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

/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2140553 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=8543780 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2140553 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=8543780 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2140553 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3183.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8562212 KiB

[startup+3222.3 s]
/proc/loadavg: 3.20 3.72 4.02 3/283 1021904
/proc/meminfo: memFree=114249124/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9231948 CPUtime=3243.73 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 257582 0 0 0 324073 300 0 0 20 0 20 0 197377228 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2307987 5892 1 0 2321434 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=11488 CPUtime=3184.11 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 77217 0 0 0 318308 103 0 0 20 0 20 0 197377228 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=26268 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=9154088 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1435 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3243.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9231948 KiB

[startup+3282.3 s]
/proc/loadavg: 2.54 3.44 3.90 3/281 1021917
/proc/meminfo: memFree=114235480/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9231948 CPUtime=3303.63 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 260272 0 0 0 330061 302 0 0 20 0 20 0 197377228 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2307987 5892 1 0 2321434 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=9231948 CPUtime=3243.98 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 79590 0 0 0 324295 103 0 0 20 0 20 0 197377228 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=47292 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1522 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2307987 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3303.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9231948 KiB

[startup+3342.3 s]
/proc/loadavg: 2.29 3.20 3.79 3/281 1021927
/proc/meminfo: memFree=113949248/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=3364.75 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 279780 0 0 0 336165 310 0 0 20 0 20 0 197377228 19566772224 2355965 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2355965 5908 1 0 2369476 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=3303.75 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 84370 0 0 0 330268 107 0 0 20 0 20 0 197377228 19566772224 2355965 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355965 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=-7737605734073691286 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1534 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355965 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2355965 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3364.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9423860 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 3.00 3.68 3/279 1021938
/proc/meminfo: memFree=113948468/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9423864 CPUtime=3425.08 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 286467 0 0 0 342196 312 0 0 20 0 20 0 197377228 19566772224 2355966 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2355966 5908 1 0 2369476 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=3363.18 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 87434 0 0 0 336211 107 0 0 20 0 20 0 197377228 19566772224 2355966 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355966 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1570 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355966 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2355966 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3425.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9423864 KiB

[startup+3462.3 s]
/proc/loadavg: 2.14 2.84 3.58 3/278 1021948
/proc/meminfo: memFree=113947476/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=3485.59 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 293973 0 0 0 348245 314 0 0 20 0 20 0 197377228 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2355971 5908 1 0 2369476 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=3422.34 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 90163 0 0 0 342126 108 0 0 20 0 20 0 197377228 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=9423860 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=9423868 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1614 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3485.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9423884 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.72 3.49 3/278 1021959
/proc/meminfo: memFree=113946452/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=3546.04 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 300124 0 0 0 354287 317 0 0 20 0 20 0 197377228 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2355971 5908 1 0 2369476 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=9423868 CPUtime=3481.56 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 92276 0 0 0 348048 108 0 0 20 0 20 0 197377228 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1711 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=9423884 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2355971 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3546.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9423884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.8 s]
/proc/loadavg: 2.06 2.59 3.40 3/278 1021968
/proc/meminfo: memFree=113945716/131524600 swapFree=131071996/131071996
[pid=1019963] ppid=1019960 vsize=19108176 memory=9423928 CPUtime=3600.01 cores=1,3
/proc/1019963/stat : 1019963 (java) S 1019960 1019963 1015377 0 -1 1077936128 304737 0 0 0 359682 319 0 0 20 0 20 0 197377228 19566772224 2355982 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
/proc/1019963/statm: 4777044 2355982 5908 1 0 2369476 0
[pid=1019963/tid=1019965] ppid=1019960 vsize=19108176 memory=47292 CPUtime=3534.36 cores=1,3
/proc/1019963/task/1019965/stat : 1019965 (java) R 1019960 1019963 1015377 0 -1 4194368 94201 0 0 0 353328 108 0 0 20 0 20 0 197377228 19566772224 2355982 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019974] ppid=1019960 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1019963/task/1019974/stat : 1019974 (Finalizer) S 1019960 1019963 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355982 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019981] ppid=1019960 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/1019963/task/1019981/stat : 1019981 (Common-Cleaner) S 1019960 1019963 1015377 0 -1 1077936192 1849 0 0 0 0 0 0 0 20 0 20 0 197377231 19566772224 2355982 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
[pid=1019963/tid=1019982] ppid=1019960 vsize=19108176 memory=32440 CPUtime=0 cores=1,3
/proc/1019963/task/1019982/stat : 1019982 (Timer-0) S 1019960 1019963 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197377244 19566772224 2355982 134679101440 93845483446272 93845483449968 140729385961920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93845483457784 93845483458576 93845495738368 140729385968645 140729385968735 140729385968735 140729385975752 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9423928 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.96 s, system=3.22219 s

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

[startup+3575.91 s]*
/proc/loadavg: 2.06 2.59 3.40 3/260 1021971
/proc/meminfo: memFree=123146372/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3575.92
CPU time (s): 3600.18
CPU user time (s): 3596.96
CPU system time (s): 3.22219
CPU usage (%): 100.678
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 9423928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 3.2222
maximum resident set size= 9425612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113151
involuntary context switches= 13030


# summary of solver processes directly reported to runsolver:
#   pid: 1019963
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 3.22219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45127 second user time and 17.5093 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 07:09:38
IDJOB=4453144
IDBENCH=169053
IDSOLVER=3058
FILE ID=nodeC016/4453144-1721452167
RUNJOBID= nodeC016-1721444951-1015389
SLURM_JOB_ID= 7545662
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-lines-v3_shuffle/normalized-grid6_61.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453144-1721452167/watcher-4453144-1721452167 -o /tmp/evaluation-result-4453144-1721452167/solver-4453144-1721452167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453144-1721452167.opb

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

MD5SUM BENCH= bfdf6d83df30c910f347e65f608bda2f
RANDOM SEED=1028204592

nodeC016.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		: 3599.848
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.70
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		: 3655.660
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109162124 kB
MemAvailable:   113033496 kB
Buffers:          427236 kB
Cached:          4285392 kB
SwapCached:            0 kB
Active:           702908 kB
Inactive:       21004532 kB
Active(anon):       1568 kB
Inactive(anon): 17038824 kB
Active(file):     701340 kB
Inactive(file):  3965708 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:      16992976 kB
Mapped:           128340 kB
Shmem:             45912 kB
KReclaimable:      87944 kB
Slab:             200096 kB
SReclaimable:      87944 kB
SUnreclaim:       112152 kB
KernelStack:        4972 kB
PageTables:        42724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20133824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73728 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16439296 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-20 08:09:14