Trace number 4440221

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.64 3617.66

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM0aad002c81e214aa0b66948d5567e1f0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8691
Best CPU time to get the best result obtained on this benchmark0.113538
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.17	c version CUSTOM.v20240707
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.20	c os.arch		amd64
0.11/0.21	c Free memory 		2113181440
0.11/0.21	c Max memory 		16282288128
0.11/0.21	c Total memory 		2122317824
0.11/0.21	c Number of processors 	2
0.44/0.33	--- Begin Solver configuration ---
0.44/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.33	Learn all clauses as in MiniSAT
0.44/0.33	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	Expensive reason simplification
0.44/0.33	Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	timeout=2147483s
0.44/0.33	DB Simplification allowed=false
0.44/0.33	Listener: none
0.44/0.33	--- End Solver configuration ---
0.44/0.34	c Pseudo Boolean Optimization by upper bound
0.44/0.34	c --- Begin Solver configuration ---
0.44/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.34	c Learn all clauses as in MiniSAT
0.44/0.34	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	c Expensive reason simplification
0.44/0.34	c Glucose 2.1 dynamic restart strategy
0.44/0.34	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.44/0.34	c timeout=2147483s
0.44/0.34	c DB Simplification allowed=false
0.44/0.34	c Listener: none
0.44/0.34	c --- End Solver configuration ---
0.44/0.34	c solving HOME/instance-4440221-1721768753.opb
0.44/0.34	c reading problem ... 
0.44/0.35	c using VERIPB proof format
0.44/0.35	c  objective function found
0.44/0.42	c ... done. Wall clock time 0.074s.
0.44/0.43	c declared #vars     548
0.44/0.43	c #constraints  166
0.44/0.43	c constraints type 
0.44/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 40
0.44/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.44/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 104
0.44/0.43	c 166 constraints processed.
0.63/0.47	c objective function length is 416 literals
2.48/1.46	c cleaning 2501 clauses out of 5001 with flag 10871/5001
3.28/1.89	c cleaning 4249 clauses out of 8500 with flag 23198/11001
4.07/2.28	c cleaning 5625 clauses out of 11250 with flag 38271/18000
4.85/2.65	c cleaning 6811 clauses out of 13625 with flag 54560/26000
5.38/3.01	c cleaning 7905 clauses out of 15815 with flag 73492/35001
5.89/3.44	c cleaning 8955 clauses out of 17909 with flag 94782/45000
6.51/3.99	c cleaning 9977 clauses out of 19954 with flag 118022/56000
7.22/4.64	c cleaning 10987 clauses out of 21977 with flag 143187/68000
8.03/5.44	c cleaning 11993 clauses out of 23990 with flag 170098/81000
9.21/6.33	c cleaning 12999 clauses out of 25997 with flag 199504/95000
10.64/7.16	c cleaning 13998 clauses out of 27998 with flag 231547/110000
11.73/8.09	c cleaning 14998 clauses out of 30000 with flag 267950/126000
12.78/8.98	c cleaning 16000 clauses out of 32002 with flag 308073/143000
13.89/9.84	c cleaning 16997 clauses out of 34003 with flag 347501/161001
14.99/11.00	c cleaning 18003 clauses out of 36005 with flag 387037/180000
16.55/12.47	c cleaning 18997 clauses out of 38003 with flag 428559/200001
17.95/13.88	c cleaning 19996 clauses out of 40005 with flag 472792/221000
19.35/15.20	c cleaning 21003 clauses out of 42009 with flag 535721/243000
20.75/16.62	c cleaning 21998 clauses out of 44006 with flag 598179/266000
22.16/18.06	c cleaning 23005 clauses out of 46009 with flag 651349/290001
24.12/19.78	c cleaning 23994 clauses out of 48003 with flag 708888/315000
26.19/21.51	c cleaning 24999 clauses out of 50010 with flag 769686/341001
28.50/23.87	c cleaning 25999 clauses out of 52010 with flag 836634/368000
30.79/26.07	c cleaning 27000 clauses out of 54011 with flag 903335/396000
32.67/27.96	c cleaning 28002 clauses out of 56012 with flag 974031/425001
34.96/30.27	c cleaning 29002 clauses out of 58010 with flag 1047616/455001
37.22/32.64	c cleaning 30000 clauses out of 60008 with flag 1117896/486001
39.81/35.26	c cleaning 31001 clauses out of 62008 with flag 1195494/518001
42.81/38.22	c cleaning 32000 clauses out of 64007 with flag 1274706/551001
45.82/41.22	c cleaning 33001 clauses out of 66006 with flag 1356470/585000
48.51/43.93	c cleaning 33998 clauses out of 68005 with flag 1440759/620000
51.57/47.01	c cleaning 35004 clauses out of 70008 with flag 1527052/656001
54.52/49.87	c cleaning 36001 clauses out of 72004 with flag 1617275/693001
57.73/53.04	c cleaning 36997 clauses out of 74002 with flag 1696212/731000
60.61/55.90	c cleaning 38000 clauses out of 76005 with flag 1780597/770000
63.60/58.94	c cleaning 38994 clauses out of 78005 with flag 1874644/810000
67.19/62.53	c cleaning 40006 clauses out of 80011 with flag 1959119/851000
70.76/66.41	c cleaning 41004 clauses out of 82007 with flag 2060610/893002
74.37/70.08	c cleaning 41998 clauses out of 84002 with flag 2157397/936001
78.36/74.07	c cleaning 42997 clauses out of 86007 with flag 2252707/980004
81.36/77.05	c cleaning 44000 clauses out of 88006 with flag 2348047/1025000
84.35/80.08	c cleaning 44999 clauses out of 90006 with flag 2445761/1071000
88.03/83.72	c cleaning 46001 clauses out of 92008 with flag 2545713/1118001
92.12/87.86	c cleaning 46998 clauses out of 94006 with flag 2649330/1166000
96.61/92.33	c cleaning 47999 clauses out of 96008 with flag 2752837/1215000
100.60/96.67	c cleaning 49001 clauses out of 98010 with flag 2857823/1265001
104.89/101.01	c cleaning 50001 clauses out of 100009 with flag 2968147/1316001
108.81/104.84	c cleaning 50999 clauses out of 102007 with flag 3091205/1368000
113.51/109.56	c cleaning 51999 clauses out of 104008 with flag 3205768/1421000
117.90/113.94	c cleaning 53004 clauses out of 106009 with flag 3322362/1475000
122.13/118.17	c cleaning 53998 clauses out of 108005 with flag 3441463/1530000
127.01/122.96	c cleaning 55005 clauses out of 110009 with flag 3570003/1586002
132.80/128.91	c cleaning 55994 clauses out of 112002 with flag 3700783/1643000
137.86/134.00	c cleaning 57002 clauses out of 114009 with flag 3833084/1701001
143.27/139.38	c cleaning 57995 clauses out of 116006 with flag 3968352/1760000
148.49/144.55	c cleaning 59002 clauses out of 118011 with flag 4100762/1820000
153.90/149.92	c cleaning 60000 clauses out of 120009 with flag 4235235/1881000
160.03/156.05	c cleaning 61002 clauses out of 122010 with flag 4377961/1943001
165.72/161.83	c cleaning 62003 clauses out of 124007 with flag 4517132/2006000
172.18/168.23	c cleaning 62994 clauses out of 126004 with flag 4660012/2070000
178.18/174.27	c cleaning 64002 clauses out of 128010 with flag 4798175/2135000
183.48/179.50	c cleaning 64997 clauses out of 130010 with flag 4945796/2201002
190.09/186.18	c cleaning 66003 clauses out of 132012 with flag 5099524/2268001
196.94/193.10	c cleaning 66997 clauses out of 134009 with flag 5253733/2336001
204.40/200.41	c cleaning 68003 clauses out of 136012 with flag 5405225/2405001
210.19/206.20	c cleaning 69000 clauses out of 138009 with flag 5557028/2475001
217.42/213.48	c cleaning 69997 clauses out of 140010 with flag 5708652/2546002
223.22/219.21	c cleaning 70998 clauses out of 142011 with flag 5870341/2618000
230.01/225.93	c cleaning 72000 clauses out of 144014 with flag 6026613/2691001
236.99/232.82	c cleaning 72998 clauses out of 146014 with flag 6196190/2765001
243.77/239.62	c cleaning 74002 clauses out of 148015 with flag 6367615/2840000
252.02/247.83	c cleaning 75003 clauses out of 150014 with flag 6546271/2916001
260.05/255.93	c cleaning 76000 clauses out of 152011 with flag 6715873/2993001
267.91/263.72	c cleaning 77006 clauses out of 154011 with flag 6887242/3071001
276.24/272.01	c cleaning 77997 clauses out of 156005 with flag 7061824/3150001
282.58/278.34	c cleaning 79003 clauses out of 158009 with flag 7252508/3230002
290.89/286.79	c cleaning 79997 clauses out of 160005 with flag 7437825/3311001
298.61/294.42	c cleaning 80999 clauses out of 162007 with flag 7613814/3393000
305.93/301.73	c cleaning 81997 clauses out of 164010 with flag 7793169/3476002
313.47/309.27	c cleaning 83002 clauses out of 166012 with flag 7977055/3560001
321.51/317.36	c cleaning 84000 clauses out of 168010 with flag 8173846/3645001
329.98/325.77	c cleaning 85002 clauses out of 170010 with flag 8366063/3731001
340.05/335.74	c cleaning 86003 clauses out of 172008 with flag 8584019/3818001
348.02/343.79	c cleaning 87000 clauses out of 174005 with flag 8828036/3906001
356.27/351.99	c cleaning 87999 clauses out of 176005 with flag 9052007/3995001
366.33/361.90	c cleaning 89000 clauses out of 178006 with flag 9237328/4085001
378.40/384.01	c cleaning 89998 clauses out of 180006 with flag 9424949/4176001
391.87/397.46	c cleaning 91003 clauses out of 182007 with flag 9645101/4268000
405.42/410.93	c cleaning 91995 clauses out of 184004 with flag 9861894/4361000
415.90/421.35	c cleaning 93002 clauses out of 186010 with flag 10077269/4455001
426.08/431.44	c cleaning 94001 clauses out of 188008 with flag 10281307/4550001
440.01/445.63	c cleaning 94998 clauses out of 190006 with flag 10522187/4646000
452.56/458.16	c cleaning 95997 clauses out of 192009 with flag 10740008/4743001
466.30/472.00	c cleaning 97002 clauses out of 194012 with flag 10977268/4841001
477.83/483.43	c cleaning 98000 clauses out of 196009 with flag 11202681/4940000
489.45/494.90	c cleaning 99001 clauses out of 198009 with flag 11435156/5040000
503.88/509.40	c cleaning 99999 clauses out of 200009 with flag 11672150/5141001
519.74/525.26	c cleaning 101002 clauses out of 202009 with flag 11909766/5243000
534.23/539.89	c cleaning 102003 clauses out of 204010 with flag 12143985/5346003
548.49/554.10	c cleaning 102998 clauses out of 206006 with flag 12382915/5450002
560.72/566.50	c cleaning 104001 clauses out of 208006 with flag 12619623/5555000
573.06/578.81	c cleaning 105000 clauses out of 210005 with flag 12862518/5661000
588.11/594.09	c cleaning 106002 clauses out of 212007 with flag 13110089/5768002
601.47/607.35	c cleaning 107000 clauses out of 214003 with flag 13346414/5876000
614.16/620.07	c cleaning 108002 clauses out of 216003 with flag 13579701/5985000
626.80/632.55	c cleaning 109001 clauses out of 218001 with flag 13811775/6095000
640.11/645.86	c cleaning 110000 clauses out of 220001 with flag 14050679/6206001
655.82/661.56	c cleaning 111001 clauses out of 222001 with flag 14287547/6318001
669.37/675.13	c cleaning 111998 clauses out of 224000 with flag 14528626/6431001
682.31/688.17	c cleaning 112996 clauses out of 226001 with flag 14776590/6545000
695.77/701.67	c cleaning 114004 clauses out of 228009 with flag 15023117/6660004
711.55/717.06	c cleaning 114996 clauses out of 230001 with flag 15281841/6776000
725.72/731.21	c cleaning 115998 clauses out of 232005 with flag 15561245/6893000
742.03/747.67	c cleaning 116998 clauses out of 234008 with flag 15834528/7011001
759.34/764.94	c cleaning 118003 clauses out of 236009 with flag 16119970/7130000
772.62/778.28	c cleaning 118999 clauses out of 238007 with flag 16392459/7250001
789.25/794.74	c cleaning 119998 clauses out of 240008 with flag 16661629/7371001
803.86/809.43	c cleaning 121002 clauses out of 242009 with flag 16920702/7493000
819.68/825.22	c cleaning 122000 clauses out of 244007 with flag 17227725/7616000
836.77/842.36	c cleaning 122994 clauses out of 246008 with flag 17502288/7740001
856.86/862.43	c cleaning 124003 clauses out of 248014 with flag 17760708/7865001
873.76/879.58	c cleaning 125002 clauses out of 250010 with flag 18040630/7991000
890.57/896.29	c cleaning 126000 clauses out of 252008 with flag 18362838/8118000
909.33/915.34	c cleaning 127002 clauses out of 254011 with flag 18638742/8246003
925.46/931.46	c cleaning 128000 clauses out of 256006 with flag 18927330/8375000
944.05/949.75	c cleaning 128995 clauses out of 258006 with flag 19200645/8505000
963.96/969.69	c cleaning 130002 clauses out of 260011 with flag 19471269/8636000
979.96/985.69	c cleaning 131001 clauses out of 262009 with flag 19786418/8768000
997.24/1003.00	c cleaning 132002 clauses out of 264009 with flag 20113004/8901001
1014.75/1020.43	c cleaning 132998 clauses out of 266006 with flag 20406473/9035000
1037.04/1042.99	c cleaning 134002 clauses out of 268008 with flag 20718576/9170000
1062.14/1068.33	c cleaning 134996 clauses out of 270006 with flag 21017411/9306000
1080.29/1086.46	c cleaning 135996 clauses out of 272010 with flag 21315918/9443000
1099.14/1105.54	c cleaning 137002 clauses out of 274016 with flag 21619948/9581002
1114.85/1121.40	c cleaning 138001 clauses out of 276013 with flag 21934969/9720001
1129.97/1136.48	c cleaning 139001 clauses out of 278012 with flag 22253203/9860001
1154.14/1160.62	c cleaning 140000 clauses out of 280011 with flag 22585300/10001001
1178.04/1184.57	c cleaning 141002 clauses out of 282010 with flag 22924611/10143000
1199.57/1206.09	c cleaning 142002 clauses out of 284011 with flag 23243623/10286003
1216.34/1222.72	c cleaning 142997 clauses out of 286006 with flag 23574966/10430000
1235.25/1241.57	c cleaning 144000 clauses out of 288009 with flag 23865950/10575000
1248.99/1255.23	c cleaning 145000 clauses out of 290011 with flag 24161288/10721002
1267.40/1273.70	c cleaning 145999 clauses out of 292010 with flag 24459605/10868001
1285.84/1292.07	c cleaning 147001 clauses out of 294012 with flag 24773691/11016002
1313.94/1320.32	c cleaning 148002 clauses out of 296009 with flag 25205614/11165000
1335.11/1341.52	c cleaning 148998 clauses out of 298007 with flag 25615736/11315000
1364.35/1370.82	c cleaning 149999 clauses out of 300010 with flag 26042440/11466001
1383.46/1389.99	c cleaning 151004 clauses out of 302010 with flag 26457626/11618000
1403.29/1409.80	c cleaning 151997 clauses out of 304006 with flag 26784003/11771000
1426.10/1432.77	c cleaning 153003 clauses out of 306009 with flag 27105752/11925000
1453.02/1459.65	c cleaning 154002 clauses out of 308007 with flag 27431978/12080001
1476.91/1483.46	c cleaning 155000 clauses out of 310005 with flag 27767438/12236001
1498.65/1505.22	c cleaning 155996 clauses out of 312004 with flag 28125261/12393000
1528.89/1535.58	c cleaning 156999 clauses out of 314008 with flag 28464123/12551000
1550.24/1556.89	c cleaning 158002 clauses out of 316010 with flag 28809357/12710001
1569.85/1576.24	c cleaning 158999 clauses out of 318008 with flag 29160164/12870001
1593.09/1598.91	c cleaning 159994 clauses out of 320008 with flag 29511184/13031000
1613.35/1619.21	c cleaning 161001 clauses out of 322014 with flag 29883646/13193000
1638.27/1644.19	c cleaning 162003 clauses out of 324014 with flag 30243323/13356001
1660.20/1666.17	c cleaning 163002 clauses out of 326012 with flag 30585786/13520002
1680.10/1686.04	c cleaning 163999 clauses out of 328009 with flag 30984085/13685001
1704.22/1710.35	c cleaning 164997 clauses out of 330010 with flag 31353421/13851001
1734.99/1741.28	c cleaning 166005 clauses out of 332013 with flag 31724605/14018001
1759.36/1765.59	c cleaning 166999 clauses out of 334007 with flag 32081553/14186000
1781.86/1788.08	c cleaning 168003 clauses out of 336008 with flag 32444998/14355000
1812.54/1818.95	c cleaning 168998 clauses out of 338005 with flag 32805354/14525000
1837.21/1843.72	c cleaning 170002 clauses out of 340009 with flag 33165822/14696002
1860.51/1867.26	c cleaning 170996 clauses out of 342006 with flag 33624559/14868001
1883.43/1890.08	c cleaning 172000 clauses out of 344009 with flag 34104584/15041000
1918.45/1925.37	c cleaning 173000 clauses out of 346010 with flag 34557833/15215001
1949.61/1956.54	c cleaning 173997 clauses out of 348010 with flag 34930270/15390001
1981.32/1988.28	c cleaning 175000 clauses out of 350012 with flag 35299754/15566000
2010.25/2017.25	c cleaning 175998 clauses out of 352012 with flag 35669346/15743000
2042.33/2049.49	c cleaning 176999 clauses out of 354014 with flag 36042642/15921000
2073.18/2080.37	c cleaning 178006 clauses out of 356016 with flag 36417715/16100001
2104.01/2111.36	c cleaning 179003 clauses out of 358010 with flag 36797136/16280001
2141.76/2149.21	c cleaning 180001 clauses out of 360007 with flag 37174889/16461001
2192.88/2200.57	c cleaning 180995 clauses out of 362005 with flag 37558852/16643000
2237.93/2245.62	c cleaning 182001 clauses out of 364010 with flag 37939344/16826000
2289.71/2304.97	c cleaning 183000 clauses out of 366010 with flag 38322436/17010001
2341.00/2356.34	c cleaning 184005 clauses out of 368009 with flag 38710211/17195000
2401.87/2417.28	c cleaning 184997 clauses out of 370005 with flag 39099560/17381001
2423.81/2439.14	c cleaning 186004 clauses out of 372007 with flag 39517827/17568000
2450.50/2465.99	c cleaning 186997 clauses out of 374004 with flag 39941090/17756001
2477.43/2492.94	c cleaning 187999 clauses out of 376006 with flag 40355681/17945000
2501.29/2516.78	c cleaning 188996 clauses out of 378008 with flag 40788461/18135001
2534.67/2550.39	c cleaning 190001 clauses out of 380011 with flag 41205164/18326000
2565.08/2580.43	c cleaning 191002 clauses out of 382010 with flag 41678211/18518000
2591.56/2606.96	c cleaning 192001 clauses out of 384010 with flag 42084694/18711002
2616.11/2631.59	c cleaning 192999 clauses out of 386008 with flag 42524597/18905001
2642.70/2658.13	c cleaning 194002 clauses out of 388009 with flag 42956295/19100001
2675.18/2690.89	c cleaning 195001 clauses out of 390007 with flag 43405056/19296001
2703.35/2719.03	c cleaning 195996 clauses out of 392005 with flag 43832417/19493000
2736.76/2752.50	c cleaning 196996 clauses out of 394010 with flag 44292278/19691001
2786.75/2802.52	c cleaning 197998 clauses out of 396013 with flag 44765613/19890000
2812.56/2828.46	c cleaning 199006 clauses out of 398016 with flag 45229592/20090001
2847.50/2863.42	c cleaning 200003 clauses out of 400009 with flag 45687746/20291000
2881.67/2897.70	c cleaning 201002 clauses out of 402007 with flag 46165236/20493001
2926.05/2942.26	c cleaning 201997 clauses out of 404005 with flag 46620304/20696001
2959.82/2976.09	c cleaning 203004 clauses out of 406010 with flag 47112201/20900003
2996.60/3012.99	c cleaning 203997 clauses out of 408003 with flag 47575593/21105000
3039.96/3056.36	c cleaning 205001 clauses out of 410006 with flag 48037217/21311000
3073.68/3090.17	c cleaning 205994 clauses out of 412005 with flag 48502603/21518000
3102.72/3119.22	c cleaning 207003 clauses out of 414012 with flag 49058097/21726001
3156.72/3173.48	c cleaning 208000 clauses out of 416009 with flag 49502525/21935001
3210.06/3226.89	c cleaning 209000 clauses out of 418008 with flag 49951159/22145000
3250.89/3267.44	c cleaning 210001 clauses out of 420008 with flag 50416845/22356000
3287.56/3304.28	c cleaning 210999 clauses out of 422007 with flag 50908952/22568000
3331.04/3347.94	c cleaning 211999 clauses out of 424009 with flag 51398175/22781001
3360.67/3377.67	c cleaning 213004 clauses out of 426009 with flag 51890950/22995000
3399.57/3416.56	c cleaning 214002 clauses out of 428005 with flag 52357577/23210000
3439.43/3456.49	c cleaning 215002 clauses out of 430006 with flag 52852889/23426003
3487.97/3505.14	c cleaning 216000 clauses out of 432002 with flag 53341129/23643001
3522.78/3540.01	c cleaning 216995 clauses out of 434002 with flag 53930057/23861001
3569.07/3586.35	c cleaning 218004 clauses out of 436010 with flag 54391022/24080004
3600.05/3617.32	c starts		: 1
3600.05/3617.35	c conflicts		: 24300001
3600.05/3617.36	c decisions		: 26186941
3600.05/3617.36	c propagations		: 407427915
3600.05/3617.36	c inspects		: 26878038258
3600.05/3617.36	c shortcuts		: 0
3600.05/3617.36	c learnt literals	: 0
3600.05/3617.36	c learnt binary clauses	: 2
3600.05/3617.36	c learnt ternary clauses	: 2
3600.05/3617.36	c learnt constraints	: 24300001
3600.05/3617.36	c ignored constraints	: 0
3600.05/3617.38	c root simplifications	: 0
3600.05/3617.38	c removed literals (reason simplification)	: 168314758
3600.05/3617.38	c reason swapping (by a shorter reason)	: 0
3600.05/3617.38	c Calls to reduceDB	: 216
3600.05/3617.38	c Number of update (reduction) of LBD	: 617606
3600.05/3617.38	c Imported unit clauses	: 0
3600.05/3617.38	c No decision after first conflict	: false
3600.05/3617.38	c number of reductions to clauses (during analyze)	: 0
3600.05/3617.38	c number of learned constraints concerned by reduction	: 0
3600.05/3617.38	c number of learning phase by resolution	: 0
3600.05/3617.38	c number of learning phase by cutting planes	: 0
3600.05/3617.38	c number of rounding to 1 operations	: 0
3600.05/3617.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3617.38	c number of reductions of the coefficients by power 2 	: 0
3600.05/3617.38	c number of right shift for reduction by power 2 	: 0
3600.05/3617.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3617.39	c number of ending skipping 	: 0
3600.05/3617.39	c number of internal skipping 	: 0
3600.05/3617.39	c number of derivation steps 	: 0
3600.05/3617.39	c number of skipped derivation steps 	: 0
3600.05/3617.39	c number of remaining unassigned 	: 0
3600.05/3617.39	c number of remaining assigned 	: 0
3600.05/3617.39	c number of falsified literals weakened from reason	: 0
3600.05/3617.39	c number of falsified literals weakened from conflict	: 0
3600.05/3617.39	c time for arithmetic operations	: 0
3600.05/3617.39	c minimum degree of deleted constraints	: null
3600.05/3617.39	c maximum degree of deleted constraints	: null
3600.05/3617.39	c number of deleted constraints	: 0
3600.05/3617.39	c speed (assignments/second)	: 112645.26967901616
3600.05/3617.39	c non guided choices	: 0
3600.44/3617.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 438001
3600.44/3617.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3600.44/3617.58	s UNKNOWN
3600.44/3617.58	c Total wall clock time (in seconds): 3617.238

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=125243, runsolver pid=125240

[startup+0.102559 s]*
/proc/loadavg: 4.77 4.93 4.89 6/350 125261
/proc/meminfo: memFree=37151428/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=18993908 memory=58936 CPUtime=0.11 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 6398 0 0 0 8 3 0 0 20 0 18 0 12865190 19449761792 14734 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4748477 14734 5954 1 0 550826 0
[pid=125243/tid=125245] ppid=125240 vsize=18993908 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 1077936192 5325 0 0 0 5 2 0 0 20 0 18 0 12865190 19449761792 14734 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12865196 19449761792 14734 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=18993908 memory=3761975942948682572 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12865197 19449761792 14734 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 58936 KiB

[startup+0.219023 s]*
/proc/loadavg: 4.77 4.93 4.89 9/350 125261
/proc/meminfo: memFree=37143416/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=18993908 memory=65848 CPUtime=0.29 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 7071 0 0 0 25 4 0 0 20 0 18 0 12865190 19449761792 16462 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4748477 16462 5995 1 0 551374 0
[pid=125243/tid=125245] ppid=125240 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 5661 0 0 0 15 3 0 0 20 0 18 0 12865190 19449761792 16462 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=18993908 memory=1118598 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12865196 19449761792 16462 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12865197 19449761792 16462 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65848 KiB

[startup+0.318676 s]*
/proc/loadavg: 4.77 4.93 4.89 9/350 125261
/proc/meminfo: memFree=37133976/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=18993908 memory=68856 CPUtime=0.44 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 7345 0 0 0 40 4 0 0 20 0 18 0 12865190 19449761792 17214 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4748477 17214 6004 1 0 551572 0
[pid=125243/tid=125245] ppid=125240 vsize=18993908 memory=-9176480509153026748 CPUtime=0.25 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 5831 0 0 0 22 3 0 0 20 0 18 0 12865190 19449761792 17214 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12865196 19449761792 17214 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12865197 19449761792 17214 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68856 KiB

[startup+0.701385 s]
/proc/loadavg: 4.77 4.93 4.89 8/351 125262
/proc/meminfo: memFree=37121004/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19060472 memory=83948 CPUtime=1.11 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 9211 0 0 0 106 5 0 0 20 0 19 0 12865190 19517923328 20987 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4765118 20987 6184 1 0 552784 0
[pid=125243/tid=125245] ppid=125240 vsize=19060472 memory=5672 CPUtime=0.58 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 6075 0 0 0 54 4 0 0 20 0 19 0 12865190 19517923328 20987 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19060472 memory=12312 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12865196 19517923328 20987 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19060472 memory=16285113 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12865197 19517923328 20987 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19060472 memory=2244 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12865237 19517923328 20987 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 83948 KiB

[startup+1.50739 s]
/proc/loadavg: 4.77 4.93 4.89 7/351 125262
/proc/meminfo: memFree=37048876/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=177168 CPUtime=2.69 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 17109 0 0 0 260 9 0 0 20 0 20 0 12865190 19586084864 44292 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 44292 6232 1 0 555453 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=12312 CPUtime=1.3 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 7010 0 0 0 123 7 0 0 20 0 20 0 12865190 19586084864 44292 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 44292 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=1118365 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12865197 19586084864 44292 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 44292 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 177168 KiB

[startup+3.1068 s]
/proc/loadavg: 4.77 4.93 4.89 7/352 125265
/proc/meminfo: memFree=36819064/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=288464 CPUtime=5.55 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 20878 0 0 0 541 14 0 0 20 0 20 0 12865190 19586084864 72116 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 72116 6232 1 0 555937 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=0 CPUtime=2.85 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 7640 0 0 0 274 11 0 0 20 0 20 0 12865190 19586084864 72116 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 72116 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=12312 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12865197 19586084864 72116 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=11564 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 72116 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 288464 KiB

[startup+6.30042 s]
/proc/loadavg: 4.71 4.92 4.89 6/352 125265
/proc/meminfo: memFree=36436076/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=527440 CPUtime=9.21 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 23364 0 0 0 898 23 0 0 20 0 20 0 12865190 19586084864 131860 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 131860 6232 1 0 555937 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=12312 CPUtime=6.02 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 8187 0 0 0 583 19 0 0 20 0 20 0 12865190 19586084864 131860 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 131860 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=8110268427993965960 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12865197 19586084864 131860 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=16285113 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 131860 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 527440 KiB

[startup+12.7004 s]
/proc/loadavg: 4.74 4.92 4.89 6/352 125265
/proc/meminfo: memFree=35497552/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=1327848 CPUtime=16.86 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 30744 0 0 0 1639 47 0 0 20 0 20 0 12865190 19586084864 331962 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 331962 6232 1 0 556739 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=0 CPUtime=12.35 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 10700 0 0 0 1194 41 0 0 20 0 20 0 12865190 19586084864 331962 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=2304 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 331962 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=1147588 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12865197 19586084864 331962 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 331962 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 16.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1327848 KiB

[startup+25.5005 s]
/proc/loadavg: 4.64 4.89 4.88 5/350 125334
/proc/meminfo: memFree=67704772/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=1340332 CPUtime=30.28 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 39879 0 0 0 2968 60 0 0 20 0 20 0 12865190 19586084864 335083 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 335083 6247 1 0 556781 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=0 CPUtime=25.04 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 12589 0 0 0 2452 52 0 0 20 0 20 0 12865190 19586084864 335083 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=1340224 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 335083 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=4750 CPUtime=0 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12865197 19586084864 335083 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=47900 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 335083 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1340332 KiB

[startup+51.1154 s]
/proc/loadavg: 4.75 4.90 4.88 7/352 125339
/proc/meminfo: memFree=66364052/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=1356764 CPUtime=55.83 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 47496 0 0 0 5499 84 0 0 20 0 20 0 12865190 19586084864 339191 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 339191 6247 1 0 556781 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=1350592 CPUtime=50.16 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 14893 0 0 0 4941 75 0 0 20 0 20 0 12865190 19586084864 339191 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=11564 CPUtime=0 cores=4,6

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

/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=2620032 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3401 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=2620032 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3205.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.39 4.30 4.30 5/324 127524
/proc/meminfo: memFree=53345436/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620032 CPUtime=3265.77 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 205683 0 0 0 324586 1991 0 0 20 0 20 0 12865190 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655008 6247 1 0 665170 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=17924 CPUtime=3215.42 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 92946 0 0 0 319757 1785 0 0 20 0 20 0 12865190 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3054 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=11564 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=31960 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3462 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=12312 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655008 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3265.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.35 4.31 5/324 127549
/proc/meminfo: memFree=52667812/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3325.52 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 207090 0 0 0 330536 2016 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3274.63 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 93528 0 0 0 325656 1807 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3073 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=1471055777851212121 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3555 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=11564 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3325.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.30 4.30 5/324 127560
/proc/meminfo: memFree=51953904/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3385.42 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 208113 0 0 0 336493 2049 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3333.98 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 94442 0 0 0 331562 1836 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3090 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=758 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3555 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3385.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.29 4.29 5/322 127572
/proc/meminfo: memFree=51267300/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3445.32 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 208987 0 0 0 342456 2076 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3393.3 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 94818 0 0 0 337471 1859 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3106 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=758 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3616 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3445.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.55 4.36 4.31 5/322 127583
/proc/meminfo: memFree=49771992/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3505.18 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 210424 0 0 0 348413 2105 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3452.5 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 95672 0 0 0 343366 1884 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3131 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=12312 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=5672 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3616 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=1960 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3505.18 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.36 4.34 4.31 5/318 127593
/proc/meminfo: memFree=48934328/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3565.07 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 211019 0 0 0 354376 2131 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=11564 CPUtime=3511.9 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 96129 0 0 0 349284 1906 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3148 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3677 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=280756778513552 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3565.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.3 s]
/proc/loadavg: 4.39 4.35 4.31 6/318 127667
/proc/meminfo: memFree=55127516/131655788 swapFree=131069936/131071996
[pid=125243] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3600.05 cores=4,6
/proc/125243/stat : 125243 (java) S 125240 125243 122963 0 -1 1077936128 212345 0 0 0 357855 2150 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
/proc/125243/statm: 4781759 655014 6247 1 0 665173 0
[pid=125243/tid=125245] ppid=125240 vsize=19127036 memory=2620056 CPUtime=3546.4 cores=4,6
/proc/125243/task/125245/stat : 125245 (java) R 125240 125243 122963 0 -1 4194368 96936 0 0 0 352716 1924 0 0 20 0 20 0 12865190 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3154 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125254] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0 cores=4,6
/proc/125243/task/125254/stat : 125254 (Finalizer) S 125240 125243 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12865196 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125261] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0.01 cores=4,6
/proc/125243/task/125261/stat : 125261 (Common-Cleaner) S 125240 125243 122963 0 -1 1077936192 3677 0 0 0 0 1 0 0 20 0 20 0 12865197 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
[pid=125243/tid=125262] ppid=125240 vsize=19127036 memory=2620056 CPUtime=0 cores=4,6
/proc/125243/task/125262/stat : 125262 (Timer-0) S 125240 125243 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12865237 19586084864 655014 134679101440 94422053187584 94422053191280 140723814168736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94422053199096 94422053199888 94422068805632 140723814175663 140723814175845 140723814175845 140723814182856 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2620056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.11 s, system=21.5372 s

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

[startup+3617.6 s]*
/proc/loadavg: 4.39 4.35 4.31 7/300 127670
/proc/meminfo: memFree=57642216/131655788 swapFree=131069936/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): 3617.66
CPU time (s): 3600.64
CPU user time (s): 3579.11
CPU system time (s): 21.5372
CPU usage (%): 99.5296
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2620656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.11
system time used= 21.5372
maximum resident set size= 2620692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19188528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123755
involuntary context switches= 8111


# summary of solver processes directly reported to runsolver:
#   pid: 125243
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3579.11
#   total CPU system time (s): 21.5372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8235 second user time and 38.6546 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-23 23:05:53
IDJOB=4440221
IDBENCH=146905
IDSOLVER=3079
FILE ID=nodeC011/4440221-1721768753
RUNJOBID= nodeC011-1721765591-122974
SLURM_JOB_ID= 7770664
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440221-1721768753/watcher-4440221-1721768753 -o /tmp/evaluation-result-4440221-1721768753/solver-4440221-1721768753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122974 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440221-1721768753 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440221-1721768753.opb

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

MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0
RANDOM SEED=1428453763

nodeC011.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	: 0xb00001f
cpu MHz		: 3634.009
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.36
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	: 0xb00001f
cpu MHz		: 3635.457
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.480
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.36
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	: 0xb00001f
cpu MHz		: 1197.513
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1297.111
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.36
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	: 0xb00001f
cpu MHz		: 3649.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1496.665
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.36
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	: 0xb00001f
cpu MHz		: 1197.436
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        37194664 kB
MemAvailable:   80972636 kB
Buffers:          173236 kB
Cached:         44294204 kB
SwapCached:          200 kB
Active:           873612 kB
Inactive:       92650220 kB
Active(anon):       1856 kB
Inactive(anon): 49099440 kB
Active(file):     871756 kB
Inactive(file): 43550780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069936 kB
Dirty:            833736 kB
Writeback:             0 kB
AnonPages:      49053968 kB
Mapped:           114696 kB
Shmem:             45132 kB
KReclaimable:     391272 kB
Slab:             518772 kB
SReclaimable:     391272 kB
SUnreclaim:       127500 kB
KernelStack:        5376 kB
PageTables:       105868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   49667060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19104 kB
HardwareCorrupted:     0 kB
AnonHugePages:  48191488 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:      262984 kB
DirectMap2M:    22710272 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC011 at 2024-07-24 00:06:11