Trace number 4494568

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 2025-06-06? (TO) 3600.41 3598.14

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
MD5SUM392bb637b95a9bbde51dfdce2cdaf17a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.06969
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1650
Total number of constraints113164
Number of constraints which are clauses112614
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.15	c See www.sat4j.org for details.
0.02/0.16	c version PB25.v20250606
0.02/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.18	c java.vm.version	22.0.1+8-16
0.02/0.18	c java.vm.vendor	Oracle Corporation
0.02/0.18	c sun.arch.data.model	64
0.02/0.18	c java.version		22.0.1
0.02/0.18	c os.name		Linux
0.02/0.18	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.02/0.18	c os.arch		amd64
0.02/0.18	c Free memory 		2104792832
0.02/0.18	c Max memory 		16282288128
0.02/0.18	c Total memory 		2113929216
0.02/0.18	c Number of processors 	2
0.15/0.23	c Pseudo Boolean Optimization by upper bound
0.15/0.23	c --- Begin Solver configuration ---
0.15/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.15/0.23	c Learn all clauses as in MiniSAT
0.15/0.23	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.23	c Expensive reason simplification
0.15/0.23	c Glucose 2.1 dynamic restart strategy
0.15/0.23	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.15/0.23	c timeout=2147483s
0.15/0.23	c DB Simplification allowed=false
0.15/0.23	c Listener: none
0.15/0.23	c --- End Solver configuration ---
0.15/0.23	c solving HOME/instance-4494568-1751158606.opb
0.15/0.23	c reading problem ... 
0.15/0.23	c  no objective function found
1.30/0.88	c ... done. Wall clock time 0.651s.
1.30/0.88	c declared #vars     1650
1.30/0.88	c #constraints  113714
1.30/0.88	c constraints type 
1.30/0.88	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 550
1.30/0.88	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 113164
1.30/0.88	c 113714 constraints processed.
3.26/1.87	c cleaning 2500 clauses out of 5001 with flag 19251/5001
4.31/2.61	c cleaning 4249 clauses out of 8503 with flag 51089/11003
5.17/3.45	c cleaning 5627 clauses out of 11253 with flag 84263/18002
6.18/4.36	c cleaning 6805 clauses out of 13624 with flag 124337/26000
7.36/5.36	c cleaning 7905 clauses out of 15821 with flag 172607/35002
8.46/6.47	c cleaning 8949 clauses out of 17916 with flag 226686/45002
9.65/7.68	c cleaning 9979 clauses out of 19965 with flag 283543/56000
11.06/9.02	c cleaning 10985 clauses out of 21987 with flag 345592/68001
12.67/10.61	c cleaning 11996 clauses out of 24003 with flag 416583/81002
14.28/12.24	c cleaning 12999 clauses out of 26006 with flag 487359/95001
16.07/14.03	c cleaning 13996 clauses out of 28006 with flag 569045/110000
17.86/15.88	c cleaning 15001 clauses out of 30010 with flag 654759/126000
20.01/17.97	c cleaning 16002 clauses out of 32009 with flag 745779/143000
22.14/20.09	c cleaning 16998 clauses out of 34007 with flag 844360/161000
24.41/22.30	c cleaning 17994 clauses out of 36009 with flag 948485/180000
26.85/24.76	c cleaning 19002 clauses out of 38015 with flag 1056258/200000
29.33/27.24	c cleaning 19998 clauses out of 40014 with flag 1169115/221001
32.02/29.94	c cleaning 20995 clauses out of 42015 with flag 1283613/243000
35.02/32.96	c cleaning 22004 clauses out of 44020 with flag 1431845/266000
37.91/35.89	c cleaning 22988 clauses out of 46017 with flag 1560806/290001
41.03/38.93	c cleaning 24004 clauses out of 48028 with flag 1695779/315000
44.22/42.17	c cleaning 25012 clauses out of 50024 with flag 1831529/341000
47.64/45.59	c cleaning 26000 clauses out of 52013 with flag 1977121/368001
51.33/49.22	c cleaning 26996 clauses out of 54013 with flag 2142513/396001
55.06/52.92	c cleaning 28000 clauses out of 56016 with flag 2297086/425000
58.74/56.61	c cleaning 28993 clauses out of 58017 with flag 2462688/455001
62.78/60.66	c cleaning 30006 clauses out of 60025 with flag 2630497/486002
66.87/64.79	c cleaning 31002 clauses out of 62017 with flag 2821378/518000
71.17/69.07	c cleaning 32003 clauses out of 64015 with flag 3003495/551000
75.56/73.49	c cleaning 32999 clauses out of 66012 with flag 3183086/585000
80.05/77.97	c cleaning 34001 clauses out of 68015 with flag 3364596/620002
84.67/82.58	c cleaning 34996 clauses out of 70013 with flag 3565933/656001
89.47/87.34	c cleaning 35992 clauses out of 72017 with flag 3764487/693001
94.47/92.33	c cleaning 37007 clauses out of 74025 with flag 3968024/731001
99.46/97.39	c cleaning 38003 clauses out of 76018 with flag 4176589/770001
104.74/102.63	c cleaning 39002 clauses out of 78014 with flag 4405407/810000
110.05/107.93	c cleaning 39994 clauses out of 80012 with flag 4631582/851000
115.63/113.50	c cleaning 40995 clauses out of 82020 with flag 4867652/893002
121.23/119.19	c cleaning 42011 clauses out of 84023 with flag 5085949/936000
127.29/125.17	c cleaning 42991 clauses out of 86015 with flag 5307814/980003
133.17/131.06	c cleaning 44009 clauses out of 88023 with flag 5546845/1025002
139.26/137.17	c cleaning 45004 clauses out of 90014 with flag 5793944/1071002
145.44/143.35	c cleaning 45997 clauses out of 92008 with flag 6048415/1118000
151.96/149.85	c cleaning 46989 clauses out of 94012 with flag 6315683/1166001
158.44/156.36	c cleaning 48005 clauses out of 96023 with flag 6589331/1215001
165.24/163.12	c cleaning 49002 clauses out of 98017 with flag 6886639/1265000
172.01/169.92	c cleaning 50000 clauses out of 100017 with flag 7166400/1316002
178.99/176.95	c cleaning 51004 clauses out of 102015 with flag 7452864/1368000
186.08/184.05	c cleaning 51994 clauses out of 104013 with flag 7747822/1421002
193.45/191.44	c cleaning 52995 clauses out of 106019 with flag 8044554/1475002
201.28/199.17	c cleaning 53994 clauses out of 108022 with flag 8349461/1530000
208.85/206.75	c cleaning 54997 clauses out of 110030 with flag 8656306/1586002
216.73/214.62	c cleaning 56008 clauses out of 112033 with flag 8974417/1643002
224.92/222.83	c cleaning 57002 clauses out of 114023 with flag 9287587/1701000
233.19/231.10	c cleaning 58004 clauses out of 116021 with flag 9618069/1760000
241.47/239.31	c cleaning 58995 clauses out of 118017 with flag 9950408/1820000
249.95/247.81	c cleaning 59996 clauses out of 120023 with flag 10287348/1881001
258.33/256.27	c cleaning 61000 clauses out of 122027 with flag 10632494/1943001
267.30/265.12	c cleaning 61998 clauses out of 124027 with flag 10973468/2006001
276.28/274.12	c cleaning 63011 clauses out of 126028 with flag 11334992/2070000
285.55/283.48	c cleaning 63990 clauses out of 128018 with flag 11684419/2135001
295.03/292.90	c cleaning 65000 clauses out of 130028 with flag 12062060/2201001
305.18/302.78	c cleaning 66001 clauses out of 132030 with flag 12418994/2268003
314.96/312.52	c cleaning 67004 clauses out of 134026 with flag 12790520/2336000
325.04/322.61	c cleaning 68001 clauses out of 136023 with flag 13200253/2405001
335.02/332.68	c cleaning 68998 clauses out of 138021 with flag 13582541/2475000
345.22/342.83	c cleaning 70010 clauses out of 140028 with flag 13982513/2546005
355.70/353.35	c cleaning 70997 clauses out of 142013 with flag 14396382/2618000
366.58/364.22	c cleaning 71994 clauses out of 144018 with flag 14793131/2691002
377.56/375.20	c cleaning 73003 clauses out of 146022 with flag 15204703/2765000
388.64/386.21	c cleaning 73992 clauses out of 148019 with flag 15636052/2840000
399.63/397.28	c cleaning 75003 clauses out of 150030 with flag 16078550/2916003
411.20/408.83	c cleaning 76007 clauses out of 152024 with flag 16498902/2993000
423.08/420.69	c cleaning 77001 clauses out of 154018 with flag 16927397/3071001
434.95/432.56	c cleaning 77993 clauses out of 156016 with flag 17364884/3150000
446.63/444.23	c cleaning 78996 clauses out of 158023 with flag 17815467/3230000
459.02/456.57	c cleaning 80009 clauses out of 160027 with flag 18276774/3311000
471.29/468.84	c cleaning 81006 clauses out of 162020 with flag 18731154/3393002
483.66/481.26	c cleaning 82005 clauses out of 164013 with flag 19195686/3476001
496.24/493.82	c cleaning 82995 clauses out of 166008 with flag 19674789/3560001
509.26/506.80	c cleaning 83993 clauses out of 168014 with flag 20149692/3645002
522.24/519.83	c cleaning 85003 clauses out of 170019 with flag 20618804/3731000
535.22/532.82	c cleaning 86000 clauses out of 172016 with flag 21120451/3818000
548.59/546.28	c cleaning 86996 clauses out of 174018 with flag 21615189/3906002
561.95/559.54	c cleaning 87994 clauses out of 176023 with flag 22117372/3995003
575.72/573.38	c cleaning 89004 clauses out of 178026 with flag 22616555/4085000
589.29/586.95	c cleaning 89997 clauses out of 180022 with flag 23149001/4176000
603.56/601.20	c cleaning 91008 clauses out of 182026 with flag 23692555/4268001
617.54/615.26	c cleaning 91997 clauses out of 184018 with flag 24241091/4361001
632.08/629.78	c cleaning 93006 clauses out of 186021 with flag 24783664/4455001
646.74/644.46	c cleaning 93991 clauses out of 188014 with flag 25346720/4550000
661.51/659.21	c cleaning 94998 clauses out of 190026 with flag 25916471/4646003
676.78/674.55	c cleaning 96002 clauses out of 192025 with flag 26459056/4743000
692.50/690.27	c cleaning 97001 clauses out of 194023 with flag 27009177/4841000
707.87/705.66	c cleaning 98008 clauses out of 196024 with flag 27593389/4940002
723.94/721.74	c cleaning 99001 clauses out of 198015 with flag 28163125/5040001
740.31/738.19	c cleaning 100003 clauses out of 200013 with flag 28744933/5141000
757.08/754.72	c cleaning 100996 clauses out of 202011 with flag 29324580/5243001
773.25/770.96	c cleaning 102006 clauses out of 204015 with flag 29944127/5346001
790.02/787.73	c cleaning 102999 clauses out of 206008 with flag 30562166/5450000
807.18/804.67	c cleaning 103985 clauses out of 208010 with flag 31185161/5555001
824.45/821.95	c cleaning 104994 clauses out of 210027 with flag 31781347/5661003
841.72/839.14	c cleaning 106007 clauses out of 212031 with flag 32390943/5768001
859.18/856.60	c cleaning 107006 clauses out of 214026 with flag 33004444/5876003
876.44/873.90	c cleaning 108000 clauses out of 216018 with flag 33615286/5985001
894.27/891.71	c cleaning 109003 clauses out of 218018 with flag 34260028/6095001
912.33/909.89	c cleaning 110005 clauses out of 220017 with flag 34890573/6206003
930.69/928.22	c cleaning 111000 clauses out of 222010 with flag 35530428/6318001
949.26/946.87	c cleaning 112001 clauses out of 224010 with flag 36177856/6431001
968.26/965.81	c cleaning 112983 clauses out of 226009 with flag 36815247/6545001
987.12/984.75	c cleaning 114005 clauses out of 228025 with flag 37491930/6660000
1006.18/1003.85	c cleaning 115003 clauses out of 230020 with flag 38160845/6776000
1025.84/1023.50	c cleaning 116006 clauses out of 232020 with flag 38963858/6893003
1045.65/1043.22	c cleaning 117000 clauses out of 234013 with flag 39657964/7011002
1065.31/1062.94	c cleaning 117992 clauses out of 236013 with flag 40361409/7130002
1085.38/1083.06	c cleaning 119002 clauses out of 238021 with flag 41082256/7250002
1105.23/1102.95	c cleaning 119988 clauses out of 240017 with flag 41780536/7371000
1125.30/1123.08	c cleaning 121003 clauses out of 242030 with flag 42528842/7493001
1146.00/1143.77	c cleaning 122010 clauses out of 244026 with flag 43233415/7616000
1167.26/1165.05	c cleaning 122995 clauses out of 246018 with flag 43972832/7740002
1187.81/1185.63	c cleaning 123998 clauses out of 248022 with flag 44734441/7865001
1209.56/1207.44	c cleaning 124992 clauses out of 250023 with flag 45455108/7991000
1231.41/1229.31	c cleaning 126007 clauses out of 252031 with flag 46189197/8118000
1253.35/1251.29	c cleaning 126995 clauses out of 254025 with flag 46941160/8246001
1275.49/1273.42	c cleaning 128011 clauses out of 256032 with flag 47687072/8375003
1297.85/1295.88	c cleaning 128987 clauses out of 258018 with flag 48448689/8505000
1320.80/1318.88	c cleaning 130017 clauses out of 260033 with flag 49212456/8636002
1343.64/1341.76	c cleaning 131004 clauses out of 262014 with flag 49983114/8768000
1366.88/1364.92	c cleaning 131986 clauses out of 264011 with flag 50739749/8901001
1390.51/1388.60	c cleaning 133001 clauses out of 266024 with flag 51501537/9035000
1413.95/1412.18	c cleaning 134009 clauses out of 268027 with flag 52270688/9170004
1437.79/1436.09	c cleaning 134996 clauses out of 270016 with flag 53076592/9306002
1462.09/1460.25	c cleaning 136000 clauses out of 272019 with flag 53855905/9443001
1486.34/1484.56	c cleaning 137002 clauses out of 274020 with flag 54692126/9581002
1510.89/1509.16	c cleaning 137994 clauses out of 276018 with flag 55476887/9720002
1535.84/1534.16	c cleaning 139004 clauses out of 278025 with flag 56315639/9860003
1560.66/1558.93	c cleaning 139990 clauses out of 280018 with flag 57130548/10001000
1586.41/1584.72	c cleaning 140999 clauses out of 282028 with flag 57973795/10143000
1612.04/1610.41	c cleaning 142011 clauses out of 284031 with flag 58808058/10286002
1638.23/1636.55	c cleaning 142995 clauses out of 286018 with flag 59629964/10430000
1663.88/1662.21	c cleaning 143993 clauses out of 288023 with flag 60497398/10575000
1691.46/1689.20	c cleaning 145010 clauses out of 290034 with flag 61349761/10721004
1717.86/1715.72	c cleaning 145992 clauses out of 292021 with flag 62208401/10868001
1744.99/1742.89	c cleaning 146995 clauses out of 294028 with flag 63089453/11016000
1771.44/1769.35	c cleaning 148007 clauses out of 296034 with flag 63983281/11165001
1799.55/1797.39	c cleaning 149001 clauses out of 298027 with flag 64847693/11315001
1827.39/1825.24	c cleaning 150006 clauses out of 300029 with flag 65696950/11466004
1855.53/1853.43	c cleaning 151003 clauses out of 302019 with flag 66613591/11618000
1883.44/1881.32	c cleaning 151998 clauses out of 304016 with flag 67523107/11771000
1912.47/1910.48	c cleaning 152993 clauses out of 306018 with flag 68433004/11925000
1940.90/1938.93	c cleaning 154013 clauses out of 308026 with flag 69369480/12080001
1969.49/1967.56	c cleaning 154990 clauses out of 310012 with flag 70275296/12236000
1998.93/1997.01	c cleaning 156006 clauses out of 312023 with flag 71192895/12393001
2028.57/2026.78	c cleaning 156991 clauses out of 314016 with flag 72162109/12551000
2058.34/2056.06	c cleaning 157996 clauses out of 316029 with flag 73147591/12710004
2088.37/2086.13	c cleaning 158994 clauses out of 318030 with flag 74096002/12870001
2119.30/2117.16	c cleaning 160007 clauses out of 320035 with flag 75019806/13031000
2150.00/2147.85	c cleaning 160994 clauses out of 322028 with flag 75959830/13193000
2181.34/2179.29	c cleaning 162006 clauses out of 324035 with flag 76896107/13356001
2212.98/2210.74	c cleaning 163001 clauses out of 326030 with flag 77863203/13520002
2244.40/2242.22	c cleaning 163991 clauses out of 328027 with flag 78850581/13685000
2276.02/2273.96	c cleaning 165003 clauses out of 330036 with flag 79834455/13851000
2308.51/2306.44	c cleaning 165998 clauses out of 332033 with flag 80815901/14018000
2340.52/2338.56	c cleaning 167009 clauses out of 334035 with flag 81801935/14186000
2373.34/2371.48	c cleaning 168004 clauses out of 336027 with flag 82778870/14355001
2406.14/2404.29	c cleaning 168991 clauses out of 338022 with flag 83795601/14525000
2438.88/2437.03	c cleaning 170007 clauses out of 340032 with flag 84799411/14696001
2471.91/2470.13	c cleaning 171000 clauses out of 342024 with flag 85844672/14868000
2505.93/2503.72	c cleaning 172003 clauses out of 344025 with flag 86875905/15041001
2539.67/2537.57	c cleaning 172997 clauses out of 346021 with flag 87910727/15215000
2574.10/2572.10	c cleaning 174002 clauses out of 348024 with flag 88932110/15390000
2608.63/2606.61	c cleaning 174998 clauses out of 350023 with flag 90001126/15566001
2643.16/2641.29	c cleaning 176000 clauses out of 352026 with flag 91087474/15743002
2678.59/2676.79	c cleaning 177004 clauses out of 354026 with flag 92122241/15921002
2714.23/2712.34	c cleaning 177994 clauses out of 356021 with flag 93146259/16100001
2750.26/2748.41	c cleaning 179010 clauses out of 358031 with flag 94197423/16280005
2786.08/2784.32	c cleaning 180005 clauses out of 360016 with flag 95277522/16461000
2822.79/2820.92	c cleaning 180968 clauses out of 362011 with flag 96426069/16643000
2859.49/2857.75	c cleaning 182016 clauses out of 364044 with flag 97520352/16826001
2896.19/2894.56	c cleaning 182990 clauses out of 366028 with flag 98604806/17010001
2933.56/2931.87	c cleaning 184000 clauses out of 368038 with flag 99730827/17195001
2971.48/2969.83	c cleaning 185009 clauses out of 370037 with flag 100849571/17381000
3008.71/3007.18	c cleaning 186004 clauses out of 372028 with flag 101972024/17568000
3047.90/3045.94	c cleaning 187001 clauses out of 374024 with flag 103095981/17756000
3085.81/3083.98	c cleaning 187999 clauses out of 376023 with flag 104221987/17945000
3124.53/3122.53	c cleaning 189007 clauses out of 378028 with flag 105367033/18135004
3163.24/3161.37	c cleaning 189991 clauses out of 380017 with flag 106502146/18326000
3202.50/3200.56	c cleaning 190992 clauses out of 382027 with flag 107661977/18518001
3243.22/3241.34	c cleaning 192006 clauses out of 384034 with flag 108803687/18711000
3283.98/3282.07	c cleaning 193002 clauses out of 386028 with flag 109927880/18905000
3324.19/3322.37	c cleaning 193992 clauses out of 388029 with flag 111116066/19100003
3365.01/3363.15	c cleaning 195002 clauses out of 390034 with flag 112267877/19296000
3406.02/3404.20	c cleaning 195995 clauses out of 392032 with flag 113442979/19493000
3448.14/3445.91	c cleaning 197009 clauses out of 394037 with flag 114643266/19691000
3489.76/3487.65	c cleaning 197995 clauses out of 396028 with flag 115820964/19890000
3531.58/3529.44	c cleaning 199001 clauses out of 398034 with flag 117047010/20090001
3573.77/3571.67	c cleaning 200008 clauses out of 400033 with flag 118279784/20291001
3600.22/3598.05	c timeout
3600.22/3598.05	c starts		: 46753
3600.22/3598.05	c conflicts		: 20422018
3600.22/3598.05	c decisions		: 37069417
3600.22/3598.05	c propagations		: 2654851327
3600.22/3598.05	c inspects		: 41356633925
3600.22/3598.05	c shortcuts		: 0
3600.22/3598.05	c learnt literals	: 0
3600.22/3598.05	c learnt binary clauses	: 0
3600.22/3598.05	c learnt ternary clauses	: 0
3600.22/3598.05	c learnt constraints	: 20422018
3600.22/3598.05	c ignored constraints	: 0
3600.22/3598.05	c root simplifications	: 0
3600.22/3598.05	c removed literals (reason simplification)	: 233408000
3600.22/3598.05	c reason swapping (by a shorter reason)	: 0
3600.22/3598.05	c Calls to reduceDB	: 197
3600.22/3598.05	c Number of update (reduction) of LBD	: 8056613
3600.22/3598.06	c Imported unit clauses	: 0
3600.22/3598.06	c No decision after first conflict	: false
3600.22/3598.06	c number of reductions to clauses (during analyze)	: 0
3600.22/3598.06	c number of learned constraints concerned by reduction	: 0
3600.22/3598.06	c number of learning phase by resolution	: 0
3600.22/3598.06	c number of learning phase by cutting planes	: 0
3600.22/3598.06	c number of rounding to 1 operations	: 0
3600.22/3598.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.22/3598.06	c number of reductions of the coefficients by power 2 	: 0
3600.22/3598.06	c number of right shift for reduction by power 2 	: 0
3600.22/3598.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.22/3598.06	c number of ending skipping 	: 0
3600.22/3598.06	c number of internal skipping 	: 0
3600.22/3598.06	c number of derivation steps 	: 0
3600.22/3598.06	c number of skipped derivation steps 	: 0
3600.22/3598.06	c number of remaining unassigned 	: 0
3600.22/3598.06	c number of remaining assigned 	: 0
3600.22/3598.06	c number of falsified literals weakened from reason	: 0
3600.22/3598.06	c number of falsified literals weakened from conflict	: 0
3600.22/3598.06	c time for arithmetic operations	: 0
3600.22/3598.06	c minimum degree of deleted constraints	: null
3600.22/3598.06	c maximum degree of deleted constraints	: null
3600.22/3598.06	c number of deleted constraints	: 0
3600.22/3598.06	c speed (assignments/second)	: 738037.6514799388
3600.22/3598.06	c non guided choices	: 284
3600.37/3598.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 331042
3600.37/3598.12	s UNKNOWN
3600.37/3598.12	c Total wall clock time (in seconds): 3597.897

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: 63665 MiB (63085 MiB free)
  memory of node 1: 64507 MiB (63736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494568-1751158606/watcher-4494568-1751158606 -o /tmp/evaluation-result-4494568-1751158606/solver-4494568-1751158606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20468 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4494568-1751158606.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20517, runsolver pid=20509
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.94 1.72 2.52 6/310 20566
/proc/meminfo: memFree=129802444/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=18863636 memory=41392 CPUtime=0.02 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 5157 0 215 0 1 1 0 0 20 0 17 0 31538348 19316363264 10348 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4715909 10348 4515 1 0 546337 0
[pid=20517/tid=20526] ppid=20509 vsize=18863636 memory=4026531959 CPUtime=0.02 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) D 20509 20517 20457 0 -1 4194368 4373 0 194 0 1 1 0 0 20 0 17 0 31538352 19316363264 10348 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=18863636 memory=224227768828 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 17 0 31538358 19316363264 10348 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18863636 KiB
Current children cumulated memory: 41392 KiB

[startup+0.205909 s]*
/proc/loadavg: 0.94 1.72 2.52 6/317 20575
/proc/meminfo: memFree=129755508/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=18930384 memory=57896 CPUtime=0.15 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 6521 0 256 0 13 2 0 0 20 0 18 0 31538348 19384713216 14474 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4732596 14474 5315 1 0 547683 0
[pid=20517/tid=20526] ppid=20509 vsize=18930384 memory=3472328300254199928 CPUtime=0.09 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 4990 0 208 0 7 2 0 0 20 0 18 0 31538352 19384713216 14474 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=18930384 memory=3472275554110275925 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 31538358 19384713216 14474 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=18930384 memory=59585004307076 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31538359 19384713216 14474 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57896 KiB

[startup+0.305925 s]*
/proc/loadavg: 0.94 1.72 2.52 11/336 20597
/proc/meminfo: memFree=129685364/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=18930384 memory=74864 CPUtime=0.34 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 7127 0 256 0 31 3 0 0 20 0 18 0 31538348 19384713216 18716 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4732596 18716 5379 1 0 548100 0
[pid=20517/tid=20526] ppid=20509 vsize=18930604 memory=-6000919481262894189 CPUtime=0.17 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 5147 0 208 0 15 2 0 0 20 0 18 0 31538352 19384938496 18748 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=18930604 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 31538358 19384938496 18780 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=18930604 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31538359 19384938496 18780 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74864 KiB

[startup+0.700223 s]
/proc/loadavg: 0.94 1.72 2.52 11/339 20600
/proc/meminfo: memFree=129414844/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=18996948 memory=171172 CPUtime=1.1 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 12349 0 261 0 104 6 0 0 20 0 19 0 31538348 19452874752 42793 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4749237 42793 5411 1 0 551842 0
[pid=20517/tid=20526] ppid=20509 vsize=18996948 memory=17536 CPUtime=0.51 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 5188 0 208 0 47 4 0 0 20 0 19 0 31538352 19452874752 42793 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 19 0 31538358 19452874752 42793 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=18996948 memory=228489166905 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 31538359 19452874752 42793 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 171172 KiB

[startup+1.50024 s]
/proc/loadavg: 0.94 1.72 2.52 9/342 20603
/proc/meminfo: memFree=129306788/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=188508 CPUtime=2.69 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 13572 0 261 0 262 7 0 0 20 0 20 0 31538348 19521036288 47127 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 47127 5443 1 0 553038 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=0 CPUtime=1.22 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 5223 0 208 0 118 4 0 0 20 0 20 0 31538352 19521036288 47127 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 47127 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=224194199869 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 47127 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 47127 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188508 KiB

[startup+3.10568 s]
/proc/loadavg: 0.94 1.72 2.52 4/320 20613
/proc/meminfo: memFree=128563036/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=189020 CPUtime=4.89 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 17955 0 261 0 481 8 0 0 20 0 20 0 31538348 19521036288 47255 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 47255 5443 1 0 553074 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=5632 CPUtime=2.81 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 5697 0 208 0 277 4 0 0 20 0 20 0 31538352 19521036288 47255 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 47255 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 47255 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 47255 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 4.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189020 KiB

[startup+6.30017 s]
/proc/loadavg: 1.35 1.79 2.54 6/322 20749
/proc/meminfo: memFree=129422544/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=199984 CPUtime=8.36 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 20100 0 261 0 827 9 0 0 20 0 20 0 31538348 19521036288 49996 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 49996 5443 1 0 553076 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=0 CPUtime=5.96 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 5993 0 208 0 591 5 0 0 20 0 20 0 31538352 19521036288 49996 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 49996 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 49996 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 49996 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199984 KiB

[startup+12.7002 s]
/proc/loadavg: 1.64 1.84 2.56 7/342 20995
/proc/meminfo: memFree=129331840/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=232792 CPUtime=14.78 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 22736 0 261 0 1466 12 0 0 20 0 20 0 31538348 19521036288 58198 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 58198 5443 1 0 553092 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=5632 CPUtime=12.29 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 6646 0 208 0 1223 6 0 0 20 0 20 0 31538352 19521036288 58198 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=232792 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 58198 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 58198 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=-6000919468495432813 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 58198 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 14.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 232792 KiB

[startup+25.5003 s]
/proc/loadavg: 2.62 2.05 2.61 4/320 21460
/proc/meminfo: memFree=129238192/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=302664 CPUtime=27.64 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 27221 0 261 0 2748 16 0 0 20 0 20 0 31538348 19521036288 75666 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 75666 5475 1 0 553092 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=232792 CPUtime=24.95 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 7779 0 208 0 2487 8 0 0 20 0 20 0 31538352 19521036288 75666 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 75666 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=269888 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 75666 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=269888 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 75666 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 27.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 302664 KiB

[startup+51.1058 s]
/proc/loadavg: 3.45 2.30 2.68 5/343 22686
/proc/meminfo: memFree=128773472/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=441932 CPUtime=53.23 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 28374 0 261 0 5295 28 0 0 20 0 20 0 31538348 19521036288 110483 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 110483 5475 1 0 553092 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=1920 CPUtime=50.28 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 8100 0 208 0 5011 17 0 0 20 0 20 0 31538352 19521036288 110483 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=378444 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 110483 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=378444 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 110483 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 110483 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0

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

/proc/meminfo: memFree=121235728/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2181752 CPUtime=3344.15 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 109842 0 261 0 334287 128 0 0 20 0 20 0 31538348 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545438 5475 1 0 558397 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=2181752 CPUtime=3327.49 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 55300 0 208 0 332718 31 0 0 20 0 20 0 31538352 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1233 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3344.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/342 23011
/proc/meminfo: memFree=121235880/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2181752 CPUtime=3404.13 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 110345 0 261 0 340284 129 0 0 20 0 20 0 31538348 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545438 5475 1 0 558398 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=2181752 CPUtime=3387.15 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 55707 0 208 0 338684 31 0 0 20 0 20 0 31538352 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1233 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545438 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3404.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/342 23018
/proc/meminfo: memFree=121244216/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2182136 CPUtime=3464.51 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 115043 0 261 0 346320 131 0 0 20 0 20 0 31538348 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545534 5475 1 0 558513 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=2181752 CPUtime=3446.88 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 58715 0 208 0 344656 32 0 0 20 0 20 0 31538352 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=2181752 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1336 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=2182136 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3464.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/342 23020
/proc/meminfo: memFree=121244360/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2182136 CPUtime=3524.5 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 115841 0 261 0 352318 132 0 0 20 0 20 0 31538348 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545534 5475 1 0 558513 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=2182136 CPUtime=3506.58 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 59192 0 208 0 350626 32 0 0 20 0 20 0 31538352 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=2182136 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1337 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545534 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3524.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/342 23022
/proc/meminfo: memFree=121244488/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2182392 CPUtime=3584.45 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 116212 0 261 0 358311 134 0 0 20 0 20 0 31538348 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545598 5475 1 0 558513 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=2182392 CPUtime=3566.36 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 59388 0 208 0 356603 33 0 0 20 0 20 0 31538352 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.9 s]
/proc/loadavg: 4.14 4.15 4.10 5/342 23022
/proc/meminfo: memFree=121244496/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19063512 memory=2182392 CPUtime=3600.01 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 116222 0 261 0 359867 134 0 0 20 0 20 0 31538348 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4765878 545598 5475 1 0 558513 0
[pid=20517/tid=20526] ppid=20509 vsize=19063512 memory=14592 CPUtime=3581.92 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) R 20509 20517 20457 0 -1 4194368 59389 0 208 0 358159 33 0 0 20 0 20 0 31538352 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19063512 memory=2182392 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 31538358 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 31538359 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20603] ppid=20509 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/20517/task/20603/stat : 20603 (Timer-0) S 20509 20517 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31538437 19521036288 545598 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.35956 s

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

[startup+3598 s]*
/proc/loadavg: 4.14 4.15 4.10 6/343 23025
/proc/meminfo: memFree=121244496/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19263204 memory=2182904 CPUtime=3600.22 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 117601 0 261 0 359887 135 0 0 20 0 21 0 31538348 19725520896 545726 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4815801 545726 5507 1 0 559384 0
[pid=20517/tid=20526] ppid=20509 vsize=19263204 memory=6816 CPUtime=3581.93 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) S 20509 20517 20457 0 -1 4194368 59389 0 208 0 358160 33 0 0 20 0 21 0 31538352 19725520896 545726 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 21 0 31538358 19725520896 545726 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19263204 memory=2182392 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 21 0 31538359 19725520896 545726 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=23025] ppid=20509 vsize=19263204 memory=6896 CPUtime=0 cores=4,6
/proc/20517/task/23025/stat : 23025 (Thread-0) S 20509 20517 20457 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 21 0 31898139 19725520896 545726 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2182904 KiB

[startup+3598.11 s]
/proc/loadavg: 4.14 4.15 4.10 6/343 23025
/proc/meminfo: memFree=121244496/131249996 swapFree=33010684/33010684
[pid=20517] ppid=20509 vsize=19263204 memory=2183032 CPUtime=3600.37 cores=4,6
/proc/20517/stat : 20517 (java) S 20509 20517 20457 0 -1 4194304 118036 0 261 0 359902 135 0 0 20 0 21 0 31538348 19725520896 545758 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
/proc/20517/statm: 4815801 545758 5507 1 0 559436 0
[pid=20517/tid=20526] ppid=20509 vsize=19263204 memory=14592 CPUtime=3581.93 cores=4,6
/proc/20517/task/20526/stat : 20526 (java) S 20509 20517 20457 0 -1 4194368 59613 0 208 0 358160 33 0 0 20 0 21 0 31538352 19725520896 545758 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20545] ppid=20509 vsize=19263204 memory=2182392 CPUtime=0 cores=4,6
/proc/20517/task/20545/stat : 20545 (Finalizer) S 20509 20517 20457 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 21 0 31538358 19725520896 545758 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=20569] ppid=20509 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/20517/task/20569/stat : 20569 (Common-Cleaner) S 20509 20517 20457 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 21 0 31538359 19725520896 545758 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
[pid=20517/tid=23025] ppid=20509 vsize=19263204 memory=3200 CPUtime=0.04 cores=4,6
/proc/20517/task/23025/stat : 23025 (Thread-0) R 20509 20517 20457 0 -1 4194368 187 0 0 0 4 0 0 0 20 0 21 0 31898139 19725520896 545758 18446744073709551615 94359447011328 94359447015024 140727461462160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359447022840 94359447023632 94359454982144 140727461464449 140727461464550 140727461464550 140727461470152 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2183032 KiB

Child status: 143

Real time (s): 3598.14
CPU time (s): 3600.41
CPU user time (s): 3599.05
CPU system time (s): 1.35956
CPU usage (%): 100.063
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2183032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.35956
maximum resident set size= 2183288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118221
page faults= 261
swaps= 0
block input operations= 22976
block output operations= 16504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109025
involuntary context switches= 4638


# summary of solver processes directly reported to runsolver:
#   pid: 20517
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.35956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48927 second user time and 16.9492 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 02:56:47
IDJOB=4494568
IDBENCH=147894
IDSOLVER=3363
FILE ID=nodeC021/4494568-1751158606
RUNJOBID= nodeC021-1751158606-20468
SLURM_JOB_ID= 9587494
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494568-1751158606/watcher-4494568-1751158606 -o /tmp/evaluation-result-4494568-1751158606/solver-4494568-1751158606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20468 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4494568-1751158606.opb

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

MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=212284966

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.367
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3505.191
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.775
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3604.305
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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.814
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.820
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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.782
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.640
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129889548 kB
MemAvailable:   129774788 kB
Buffers:            3280 kB
Cached:           694816 kB
SwapCached:            0 kB
Active:           308724 kB
Inactive:         472892 kB
Active(anon):     101580 kB
Inactive(anon):        0 kB
Active(file):     207144 kB
Inactive(file):   472892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25928 kB
Writeback:             0 kB
AnonPages:         87060 kB
Mapped:           102940 kB
Shmem:             18060 kB
KReclaimable:      88488 kB
Slab:             173912 kB
SReclaimable:      88488 kB
SUnreclaim:        85424 kB
KernelStack:        4240 kB
PageTables:         2992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC021 at 2025-06-29 03:56:45