Trace number 4494569

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 VeriPB 2025-06-06? (TO) 3600.24 3599.32

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4494569-1751158366.opb
0.13/0.13	c reading problem ... 
0.13/0.17	c using VERIPB proof format
0.13/0.17	c  no objective function found
1.38/0.83	c ... done. Wall clock time 0.699s.
1.38/0.83	c declared #vars     1650
1.38/0.83	c #constraints  113714
1.38/0.83	c constraints type 
1.38/0.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 550
1.38/0.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 113164
1.38/0.83	c 113714 constraints processed.
4.14/2.26	c cleaning 2500 clauses out of 5001 with flag 19251/5001
6.06/3.34	c cleaning 4249 clauses out of 8503 with flag 51089/11003
7.18/4.39	c cleaning 5627 clauses out of 11253 with flag 84263/18002
8.54/5.61	c cleaning 6805 clauses out of 13624 with flag 124337/26000
9.92/7.00	c cleaning 7905 clauses out of 15821 with flag 172607/35002
11.44/8.44	c cleaning 8949 clauses out of 17916 with flag 226686/45002
12.97/10.00	c cleaning 9979 clauses out of 19965 with flag 283543/56000
14.77/11.75	c cleaning 10985 clauses out of 21987 with flag 345592/68001
16.72/13.65	c cleaning 11996 clauses out of 24003 with flag 416583/81002
18.71/15.66	c cleaning 12999 clauses out of 26006 with flag 487359/95001
21.00/17.90	c cleaning 13996 clauses out of 28006 with flag 569045/110000
23.39/20.33	c cleaning 15001 clauses out of 30010 with flag 654759/126000
25.89/22.88	c cleaning 16002 clauses out of 32009 with flag 745779/143000
28.66/25.51	c cleaning 16998 clauses out of 34007 with flag 844360/161000
31.33/28.26	c cleaning 17994 clauses out of 36009 with flag 948485/180000
34.31/31.23	c cleaning 19002 clauses out of 38015 with flag 1056258/200000
37.42/34.36	c cleaning 19998 clauses out of 40014 with flag 1169115/221001
40.70/37.68	c cleaning 20995 clauses out of 42015 with flag 1283613/243000
44.28/41.26	c cleaning 22004 clauses out of 44020 with flag 1431845/266000
47.87/44.86	c cleaning 22988 clauses out of 46017 with flag 1560806/290001
51.57/48.56	c cleaning 24004 clauses out of 48028 with flag 1695779/315000
55.45/52.49	c cleaning 25012 clauses out of 50024 with flag 1831529/341000
59.66/56.64	c cleaning 26000 clauses out of 52013 with flag 1977121/368001
64.03/61.02	c cleaning 26996 clauses out of 54013 with flag 2142513/396001
68.41/65.47	c cleaning 28000 clauses out of 56016 with flag 2297086/425000
73.00/70.07	c cleaning 28993 clauses out of 58017 with flag 2462688/455001
77.86/74.90	c cleaning 30006 clauses out of 60025 with flag 2630497/486002
82.86/79.97	c cleaning 31002 clauses out of 62017 with flag 2821378/518000
88.02/85.13	c cleaning 32003 clauses out of 64015 with flag 3003495/551000
93.38/90.51	c cleaning 32999 clauses out of 66012 with flag 3183086/585000
98.77/95.96	c cleaning 34001 clauses out of 68015 with flag 3364596/620002
104.35/101.54	c cleaning 34996 clauses out of 70013 with flag 3565933/656001
110.06/107.29	c cleaning 35992 clauses out of 72017 with flag 3764487/693001
115.95/113.19	c cleaning 37007 clauses out of 74025 with flag 3968024/731001
122.05/119.29	c cleaning 38003 clauses out of 76018 with flag 4176589/770001
128.49/125.67	c cleaning 39002 clauses out of 78014 with flag 4405407/810000
134.98/132.12	c cleaning 39994 clauses out of 80012 with flag 4631582/851000
141.69/138.87	c cleaning 40995 clauses out of 82020 with flag 4867652/893002
148.67/145.86	c cleaning 42011 clauses out of 84023 with flag 5085949/936000
155.89/153.02	c cleaning 42991 clauses out of 86015 with flag 5307814/980003
163.07/160.27	c cleaning 44009 clauses out of 88023 with flag 5546845/1025002
170.67/167.83	c cleaning 45004 clauses out of 90014 with flag 5793944/1071002
178.49/175.61	c cleaning 45997 clauses out of 92008 with flag 6048415/1118000
186.37/183.50	c cleaning 46989 clauses out of 94012 with flag 6315683/1166001
194.55/191.71	c cleaning 48005 clauses out of 96023 with flag 6589331/1215001
202.98/200.14	c cleaning 49002 clauses out of 98017 with flag 6886639/1265000
211.56/208.71	c cleaning 50000 clauses out of 100017 with flag 7166400/1316002
220.36/217.57	c cleaning 51004 clauses out of 102015 with flag 7452864/1368000
229.59/226.71	c cleaning 51994 clauses out of 104013 with flag 7747822/1421002
238.95/236.04	c cleaning 52995 clauses out of 106019 with flag 8044554/1475002
248.43/245.54	c cleaning 53994 clauses out of 108022 with flag 8349461/1530000
258.24/255.38	c cleaning 54997 clauses out of 110030 with flag 8656306/1586002
268.39/265.42	c cleaning 56008 clauses out of 112033 with flag 8974417/1643002
278.94/275.99	c cleaning 57002 clauses out of 114023 with flag 9287587/1701000
289.69/286.66	c cleaning 58004 clauses out of 116021 with flag 9618069/1760000
300.36/297.38	c cleaning 58995 clauses out of 118017 with flag 9950408/1820000
311.51/308.40	c cleaning 59996 clauses out of 120023 with flag 10287348/1881001
322.65/319.55	c cleaning 61000 clauses out of 122027 with flag 10632494/1943001
334.23/331.07	c cleaning 61998 clauses out of 124027 with flag 10973468/2006001
346.01/342.75	c cleaning 63011 clauses out of 126028 with flag 11334992/2070000
358.12/354.73	c cleaning 63990 clauses out of 128018 with flag 11684419/2135001
370.41/366.91	c cleaning 65000 clauses out of 130028 with flag 12062060/2201001
383.00/379.45	c cleaning 66001 clauses out of 132030 with flag 12418994/2268003
395.68/392.04	c cleaning 67004 clauses out of 134026 with flag 12790520/2336000
408.66/404.97	c cleaning 68001 clauses out of 136023 with flag 13200253/2405001
421.72/417.97	c cleaning 68998 clauses out of 138021 with flag 13582541/2475000
435.00/431.11	c cleaning 70010 clauses out of 140028 with flag 13982513/2546005
448.57/444.62	c cleaning 70997 clauses out of 142013 with flag 14396382/2618000
462.46/458.42	c cleaning 71994 clauses out of 144018 with flag 14793131/2691002
476.54/472.44	c cleaning 73003 clauses out of 146022 with flag 15204703/2765000
490.61/486.44	c cleaning 73992 clauses out of 148019 with flag 15636052/2840000
505.19/500.98	c cleaning 75003 clauses out of 150030 with flag 16078550/2916003
520.06/515.77	c cleaning 76007 clauses out of 152024 with flag 16498902/2993000
535.22/530.89	c cleaning 77001 clauses out of 154018 with flag 16927397/3071001
550.73/546.19	c cleaning 77993 clauses out of 156016 with flag 17364884/3150000
566.35/561.63	c cleaning 78996 clauses out of 158023 with flag 17815467/3230000
581.91/577.18	c cleaning 80009 clauses out of 160027 with flag 18276774/3311000
597.93/593.12	c cleaning 81006 clauses out of 162020 with flag 18731154/3393002
613.88/609.06	c cleaning 82005 clauses out of 164013 with flag 19195686/3476001
630.10/625.29	c cleaning 82995 clauses out of 166008 with flag 19674789/3560001
646.95/641.91	c cleaning 83993 clauses out of 168014 with flag 20149692/3645002
663.80/658.76	c cleaning 85003 clauses out of 170019 with flag 20618804/3731000
680.44/675.38	c cleaning 86000 clauses out of 172016 with flag 21120451/3818000
697.74/692.61	c cleaning 86996 clauses out of 174018 with flag 21615189/3906002
715.17/709.95	c cleaning 87994 clauses out of 176023 with flag 22117372/3995003
732.92/727.62	c cleaning 89004 clauses out of 178026 with flag 22616555/4085000
750.72/745.42	c cleaning 89997 clauses out of 180022 with flag 23149001/4176000
768.64/763.37	c cleaning 91008 clauses out of 182026 with flag 23692555/4268001
787.12/781.77	c cleaning 91997 clauses out of 184018 with flag 24241091/4361001
805.78/800.39	c cleaning 93006 clauses out of 186021 with flag 24783664/4455001
824.82/819.28	c cleaning 93991 clauses out of 188014 with flag 25346720/4550000
844.06/838.41	c cleaning 94998 clauses out of 190026 with flag 25916471/4646003
863.60/857.90	c cleaning 96002 clauses out of 192025 with flag 26459056/4743000
883.61/877.82	c cleaning 97001 clauses out of 194023 with flag 27009177/4841000
903.44/897.64	c cleaning 98008 clauses out of 196024 with flag 27593389/4940002
923.83/917.99	c cleaning 99001 clauses out of 198015 with flag 28163125/5040001
944.83/938.85	c cleaning 100003 clauses out of 200013 with flag 28744933/5141000
965.69/959.69	c cleaning 100996 clauses out of 202011 with flag 29324580/5243001
986.64/980.55	c cleaning 102006 clauses out of 204015 with flag 29944127/5346001
1007.83/1001.73	c cleaning 102999 clauses out of 206008 with flag 30562166/5450000
1029.59/1023.42	c cleaning 103985 clauses out of 208010 with flag 31185161/5555001
1051.52/1045.35	c cleaning 104994 clauses out of 210027 with flag 31781347/5661003
1073.80/1067.50	c cleaning 106007 clauses out of 212031 with flag 32390943/5768001
1096.00/1089.79	c cleaning 107006 clauses out of 214026 with flag 33004444/5876003
1118.76/1112.40	c cleaning 108000 clauses out of 216018 with flag 33615286/5985001
1141.28/1134.91	c cleaning 109003 clauses out of 218018 with flag 34260028/6095001
1164.71/1158.38	c cleaning 110005 clauses out of 220017 with flag 34890573/6206003
1188.62/1182.13	c cleaning 111000 clauses out of 222010 with flag 35530428/6318001
1212.43/1205.91	c cleaning 112001 clauses out of 224010 with flag 36177856/6431001
1236.61/1230.02	c cleaning 112983 clauses out of 226009 with flag 36815247/6545001
1260.50/1253.99	c cleaning 114005 clauses out of 228025 with flag 37491930/6660000
1285.22/1278.62	c cleaning 115003 clauses out of 230020 with flag 38160845/6776000
1310.63/1303.92	c cleaning 116006 clauses out of 232020 with flag 38963858/6893003
1335.66/1328.85	c cleaning 117000 clauses out of 234013 with flag 39657964/7011002
1360.81/1353.95	c cleaning 117992 clauses out of 236013 with flag 40361409/7130002
1386.44/1379.57	c cleaning 119002 clauses out of 238021 with flag 41082256/7250002
1412.33/1405.32	c cleaning 119988 clauses out of 240017 with flag 41780536/7371000
1438.42/1431.35	c cleaning 121003 clauses out of 242030 with flag 42528842/7493001
1465.08/1457.96	c cleaning 122010 clauses out of 244026 with flag 43233415/7616000
1491.74/1484.56	c cleaning 122995 clauses out of 246018 with flag 43972832/7740002
1518.28/1511.09	c cleaning 123998 clauses out of 248022 with flag 44734441/7865001
1545.62/1538.37	c cleaning 124992 clauses out of 250023 with flag 45455108/7991000
1573.40/1566.09	c cleaning 126007 clauses out of 252031 with flag 46189197/8118000
1601.35/1593.91	c cleaning 126995 clauses out of 254025 with flag 46941160/8246001
1629.73/1622.20	c cleaning 128011 clauses out of 256032 with flag 47687072/8375003
1658.18/1650.69	c cleaning 128987 clauses out of 258018 with flag 48448689/8505000
1686.85/1679.25	c cleaning 130017 clauses out of 260033 with flag 49212456/8636002
1716.10/1708.41	c cleaning 131004 clauses out of 262014 with flag 49983114/8768000
1745.66/1737.93	c cleaning 131986 clauses out of 264011 with flag 50739749/8901001
1775.85/1768.11	c cleaning 133001 clauses out of 266024 with flag 51501537/9035000
1806.32/1798.46	c cleaning 134009 clauses out of 268027 with flag 52270688/9170004
1836.56/1828.97	c cleaning 134996 clauses out of 270016 with flag 53076592/9306002
1867.49/1859.87	c cleaning 136000 clauses out of 272019 with flag 53855905/9443001
1898.42/1890.82	c cleaning 137002 clauses out of 274020 with flag 54692126/9581002
1930.01/1922.51	c cleaning 137994 clauses out of 276018 with flag 55476887/9720002
1961.68/1954.18	c cleaning 139004 clauses out of 278025 with flag 56315639/9860003
1993.52/1986.04	c cleaning 139990 clauses out of 280018 with flag 57130548/10001000
2026.09/2018.65	c cleaning 140999 clauses out of 282028 with flag 57973795/10143000
2059.46/2051.82	c cleaning 142011 clauses out of 284031 with flag 58808058/10286002
2092.15/2084.65	c cleaning 142995 clauses out of 286018 with flag 59629964/10430000
2125.16/2117.71	c cleaning 143993 clauses out of 288023 with flag 60497398/10575000
2158.77/2151.40	c cleaning 145010 clauses out of 290034 with flag 61349761/10721004
2192.73/2185.48	c cleaning 145992 clauses out of 292021 with flag 62208401/10868001
2227.07/2219.70	c cleaning 146995 clauses out of 294028 with flag 63089453/11016000
2261.09/2253.76	c cleaning 148007 clauses out of 296034 with flag 63983281/11165001
2296.17/2288.86	c cleaning 149001 clauses out of 298027 with flag 64847693/11315001
2331.55/2324.28	c cleaning 150006 clauses out of 300029 with flag 65696950/11466004
2366.54/2359.29	c cleaning 151003 clauses out of 302019 with flag 66613591/11618000
2401.98/2394.73	c cleaning 151998 clauses out of 304016 with flag 67523107/11771000
2438.22/2431.08	c cleaning 152993 clauses out of 306018 with flag 68433004/11925000
2474.81/2467.53	c cleaning 154013 clauses out of 308026 with flag 69369480/12080001
2511.54/2504.39	c cleaning 154990 clauses out of 310012 with flag 70275296/12236000
2548.51/2541.38	c cleaning 156006 clauses out of 312023 with flag 71192895/12393001
2585.76/2578.62	c cleaning 156991 clauses out of 314016 with flag 72162109/12551000
2623.21/2616.02	c cleaning 157996 clauses out of 316029 with flag 73147591/12710004
2661.10/2654.10	c cleaning 158994 clauses out of 318030 with flag 74096002/12870001
2699.85/2696.50	c cleaning 160007 clauses out of 320035 with flag 75019806/13031000
2738.94/2735.56	c cleaning 160994 clauses out of 322028 with flag 75959830/13193000
2778.46/2775.02	c cleaning 162006 clauses out of 324035 with flag 76896107/13356001
2818.01/2814.73	c cleaning 163001 clauses out of 326030 with flag 77863203/13520002
2857.98/2854.65	c cleaning 163991 clauses out of 328027 with flag 78850581/13685000
2898.39/2895.04	c cleaning 165003 clauses out of 330036 with flag 79834455/13851000
2938.51/2935.58	c cleaning 165998 clauses out of 332033 with flag 80815901/14018000
2979.46/2976.43	c cleaning 167009 clauses out of 334035 with flag 81801935/14186000
3020.93/3017.95	c cleaning 168004 clauses out of 336027 with flag 82778870/14355001
3062.49/3059.44	c cleaning 168991 clauses out of 338022 with flag 83795601/14525000
3103.97/3100.95	c cleaning 170007 clauses out of 340032 with flag 84799411/14696001
3146.14/3143.06	c cleaning 171000 clauses out of 342024 with flag 85844672/14868000
3188.39/3185.43	c cleaning 172003 clauses out of 344025 with flag 86875905/15041001
3231.23/3228.21	c cleaning 172997 clauses out of 346021 with flag 87910727/15215000
3274.36/3271.42	c cleaning 174002 clauses out of 348024 with flag 88932110/15390000
3317.75/3314.90	c cleaning 174998 clauses out of 350023 with flag 90001126/15566001
3361.55/3358.66	c cleaning 176000 clauses out of 352026 with flag 91087474/15743002
3405.63/3402.88	c cleaning 177004 clauses out of 354026 with flag 92122241/15921002
3450.85/3448.03	c cleaning 177994 clauses out of 356021 with flag 93146259/16100001
3496.31/3493.50	c cleaning 179010 clauses out of 358031 with flag 94197423/16280005
3541.87/3539.03	c cleaning 180005 clauses out of 360016 with flag 95277522/16461000
3586.07/3585.23	c cleaning 180968 clauses out of 362011 with flag 96426069/16643000
3600.08/3599.21	c timeout
3600.08/3599.21	c starts		: 38334
3600.08/3599.22	c conflicts		: 16707154
3600.08/3599.22	c decisions		: 30347984
3600.08/3599.22	c propagations		: 2172308548
3600.08/3599.22	c inspects		: 32651418131
3600.08/3599.22	c shortcuts		: 0
3600.08/3599.22	c learnt literals	: 0
3600.08/3599.22	c learnt binary clauses	: 0
3600.08/3599.22	c learnt ternary clauses	: 0
3600.08/3599.22	c learnt constraints	: 16707154
3600.08/3599.22	c ignored constraints	: 0
3600.08/3599.22	c root simplifications	: 0
3600.08/3599.22	c removed literals (reason simplification)	: 190701954
3600.08/3599.22	c reason swapping (by a shorter reason)	: 0
3600.08/3599.22	c Calls to reduceDB	: 178
3600.08/3599.22	c Number of update (reduction) of LBD	: 6590769
3600.08/3599.22	c Imported unit clauses	: 0
3600.08/3599.22	c No decision after first conflict	: false
3600.08/3599.22	c number of reductions to clauses (during analyze)	: 0
3600.08/3599.22	c number of learned constraints concerned by reduction	: 0
3600.08/3599.22	c number of learning phase by resolution	: 0
3600.08/3599.22	c number of learning phase by cutting planes	: 0
3600.08/3599.22	c number of rounding to 1 operations	: 0
3600.08/3599.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3599.22	c number of reductions of the coefficients by power 2 	: 0
3600.08/3599.22	c number of right shift for reduction by power 2 	: 0
3600.08/3599.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3599.23	c number of ending skipping 	: 0
3600.08/3599.23	c number of internal skipping 	: 0
3600.08/3599.23	c number of derivation steps 	: 0
3600.08/3599.23	c number of skipped derivation steps 	: 0
3600.08/3599.23	c number of remaining unassigned 	: 0
3600.08/3599.23	c number of remaining assigned 	: 0
3600.08/3599.23	c number of falsified literals weakened from reason	: 0
3600.08/3599.23	c number of falsified literals weakened from conflict	: 0
3600.08/3599.23	c time for arithmetic operations	: 0
3600.08/3599.23	c minimum degree of deleted constraints	: null
3600.08/3599.23	c maximum degree of deleted constraints	: null
3600.08/3599.23	c number of deleted constraints	: 0
3600.08/3599.23	c speed (assignments/second)	: 603688.6887254085
3600.08/3599.23	c non guided choices	: 284
3600.08/3599.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 245197
3600.08/3599.29	s UNKNOWN
3600.08/3599.29	c Total wall clock time (in seconds): 3599.169

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: 63708 MiB (63104 MiB free)
  memory of node 1: 64465 MiB (63978 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494569-1751158366/watcher-4494569-1751158366 -o /tmp/evaluation-result-4494569-1751158366/solver-4494569-1751158366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20623 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4494569-1751158366 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4494569-1751158366.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
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=20661, runsolver pid=20654
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.65 1.39 2.47 6/294 20702
/proc/meminfo: memFree=130045568/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=18930384 memory=57800 CPUtime=0.13 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 6605 0 0 0 11 2 0 0 20 0 18 0 31516031 19384713216 14450 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4732596 14450 5329 1 0 547642 0
[pid=20661/tid=20669] ppid=20654 vsize=18930384 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5103 0 0 0 7 1 0 0 20 0 18 0 31516032 19384713216 14450 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=18930384 memory=224227770586 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 14450 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=18930384 memory=29326 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 14450 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB

[startup+0.205291 s]*
/proc/loadavg: 0.65 1.39 2.47 9/314 20724
/proc/meminfo: memFree=130018036/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=18930384 memory=65760 CPUtime=0.24 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 6951 0 0 0 22 2 0 0 20 0 18 0 31516031 19384713216 16440 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4732596 16440 5425 1 0 547855 0
[pid=20661/tid=20669] ppid=20654 vsize=18930384 memory=4026597495 CPUtime=0.13 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5285 0 0 0 12 1 0 0 20 0 18 0 31516032 19384713216 16440 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=18930384 memory=224227770586 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 16440 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=18930384 memory=29326 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 16440 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65760 KiB

[startup+0.305942 s]*
/proc/loadavg: 0.65 1.39 2.47 9/326 20741
/proc/meminfo: memFree=129936732/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=18930384 memory=100860 CPUtime=0.43 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 8504 0 0 0 39 4 0 0 20 0 18 0 31516031 19384713216 25215 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4732596 25215 5425 1 0 548894 0
[pid=20661/tid=20669] ppid=20654 vsize=18930384 memory=-6000919468461747309 CPUtime=0.22 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5310 0 0 0 20 2 0 0 20 0 18 0 31516032 19384713216 25215 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 25215 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31516034 19384713216 25215 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100860 KiB

[startup+0.700247 s]
/proc/loadavg: 0.65 1.39 2.47 10/337 20752
/proc/meminfo: memFree=129673296/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=18996948 memory=178568 CPUtime=1.19 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 12762 0 0 0 112 7 0 0 20 0 19 0 31516031 19452874752 44642 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4749237 44642 5457 1 0 552133 0
[pid=20661/tid=20669] ppid=20654 vsize=18996948 memory=17280 CPUtime=0.56 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5339 0 0 0 52 4 0 0 20 0 19 0 31516032 19452874752 44642 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31516034 19452874752 44642 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31516034 19452874752 44642 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178568 KiB

[startup+1.50024 s]
/proc/loadavg: 0.65 1.39 2.47 10/341 20756
/proc/meminfo: memFree=129487988/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=194004 CPUtime=2.75 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 14072 0 0 0 266 9 0 0 20 0 20 0 31516031 19521036288 48501 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 48501 5489 1 0 553260 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=3328 CPUtime=1.19 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5398 0 0 0 114 5 0 0 20 0 20 0 31516032 19521036288 48501 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 48501 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 48501 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 48501 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194004 KiB

[startup+3.10588 s]
/proc/loadavg: 1.16 1.48 2.50 8/342 20757
/proc/meminfo: memFree=127771944/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=409420 CPUtime=5.77 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 15275 0 1 0 561 16 0 0 20 0 20 0 31516031 19521036288 102355 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 102355 5489 1 0 1079710 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=10752 CPUtime=2.71 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 5543 0 0 0 260 11 0 0 20 0 20 0 31516032 19521036288 102355 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 102355 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 102355 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 102355 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 409420 KiB

[startup+6.30024 s]
/proc/loadavg: 1.16 1.48 2.50 5/325 20776
/proc/meminfo: memFree=128157080/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=701240 CPUtime=9.22 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 19541 0 1 0 894 28 0 0 20 0 20 0 31516031 19521036288 175310 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 175310 5489 1 0 1079715 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=0 CPUtime=5.8 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 6661 0 0 0 559 21 0 0 20 0 20 0 31516032 19521036288 175310 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 175310 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 175310 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=355936 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 175310 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 701240 KiB

[startup+12.7002 s]
/proc/loadavg: 1.38 1.53 2.51 6/344 20827
/proc/meminfo: memFree=126416688/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=1346480 CPUtime=15.79 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 22454 0 1 0 1534 45 0 0 20 0 20 0 31516031 19521036288 336620 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 336620 5489 1 0 1079719 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=355936 CPUtime=12.14 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 7311 0 0 0 1177 37 0 0 20 0 20 0 31516032 19521036288 336620 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 336620 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=65 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 336620 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=979848 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 336620 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1346480 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.68 2.54 6/346 21162
/proc/meminfo: memFree=123332428/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=2581732 CPUtime=28.66 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 28526 0 1 0 2783 83 0 0 20 0 20 0 31516031 19521036288 645433 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 645433 5521 1 0 1079726 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=16380 CPUtime=24.83 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 9824 0 0 0 2409 74 0 0 20 0 20 0 31516032 19521036288 645433 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 645433 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=875400 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 645433 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 645433 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 28.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2581732 KiB

[startup+51.1058 s]
/proc/loadavg: 3.02 1.93 2.60 6/345 21692
/proc/meminfo: memFree=121544376/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=2610416 CPUtime=54.16 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 32604 0 1 0 5311 105 0 0 20 0 20 0 31516031 19521036288 652604 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 652604 5521 1 0 1079726 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=2610416 CPUtime=50.21 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 11811 0 0 0 4926 95 0 0 20 0 20 0 31516032 19521036288 652604 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=2610416 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 652604 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=5504 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.21 4.16 5/345 22942
/proc/meminfo: memFree=52202820/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3285.15 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 137510 0 1 0 326920 1595 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082076 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3242.49 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 74120 0 0 0 322766 1483 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2134 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3285.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/346 22947
/proc/meminfo: memFree=51770472/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3345.14 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 138335 0 1 0 332893 1621 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=16380 CPUtime=3301.71 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 74778 0 0 0 328664 1507 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2190 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3345.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.22 4.17 5/347 22953
/proc/meminfo: memFree=50265380/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3405.13 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 140725 0 1 0 338870 1643 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3360.97 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 76511 0 0 0 334570 1527 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2191 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3405.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.21 4.17 5/345 22955
/proc/meminfo: memFree=49320976/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3465.06 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 143067 0 1 0 344840 1666 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=17280 CPUtime=3420.27 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 78150 0 0 0 340478 1549 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2246 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3465.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.28 4.20 5/345 22959
/proc/meminfo: memFree=47968992/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3525.06 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 143772 0 1 0 350820 1686 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3479.45 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 78668 0 0 0 346376 1569 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2302 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=-6000919489886317677 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3525.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.38 4.28 4.20 5/344 23224
/proc/meminfo: memFree=68207728/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3583.18 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 146279 0 1 0 356603 1715 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3536.62 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 80406 0 0 0 352066 1596 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2303 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.2 s]
/proc/loadavg: 4.34 4.27 4.20 5/344 23291
/proc/meminfo: memFree=85444812/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19063512 memory=4270388 CPUtime=3600.08 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 146647 0 1 0 358286 1722 0 0 20 0 20 0 31516031 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4765878 1067597 5521 1 0 1082077 0
[pid=20661/tid=20669] ppid=20654 vsize=19063512 memory=16380 CPUtime=3553.42 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) R 20654 20661 20613 0 -1 4194368 80733 0 0 0 353739 1603 0 0 20 0 20 0 31516032 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2303 0 0 0 0 0 0 0 20 0 20 0 31516034 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20756] ppid=20654 vsize=19063512 memory=4270388 CPUtime=0 cores=0,2
/proc/20661/task/20756/stat : 20756 (Timer-0) S 20654 20661 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31516115 19521036288 1067597 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4270388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.99 s, system=17.2554 s

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

[startup+3599.3 s]
/proc/loadavg: 4.34 4.27 4.20 5/344 23291
/proc/meminfo: memFree=85444812/131250000 swapFree=33010684/33010684
[pid=20661] ppid=20654 vsize=19263204 memory=4271540 CPUtime=3600.22 cores=0,2
/proc/20661/stat : 20661 (java) S 20654 20661 20613 0 -1 4194304 149216 0 1 0 358298 1724 0 0 20 0 16 0 31516031 19725520896 1067885 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
/proc/20661/statm: 4815801 1067885 5553 1 0 1083024 0
[pid=20661/tid=20669] ppid=20654 vsize=19263204 memory=-6000919489886317677 CPUtime=3553.44 cores=0,2
/proc/20661/task/20669/stat : 20669 (java) S 20654 20661 20613 0 -1 4194368 81039 0 0 0 353741 1603 0 0 20 0 16 0 31516032 19725520896 1067885 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20689] ppid=20654 vsize=19263204 memory=4380 CPUtime=0 cores=0,2
/proc/20661/task/20689/stat : 20689 (Finalizer) S 20654 20661 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 31516034 19725520896 1067885 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
[pid=20661/tid=20696] ppid=20654 vsize=19263204 memory=16380 CPUtime=0 cores=0,2
/proc/20661/task/20696/stat : 20696 (Common-Cleaner) S 20654 20661 20613 0 -1 4194368 2303 0 0 0 0 0 0 0 20 0 16 0 31516034 19725520896 1067885 18446744073709551615 93920754712576 93920754716272 140732158754752 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93920754724088 93920754724880 93920775962624 140732158757168 140732158757350 140732158757350 140732158762952 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4271540 KiB

Child status: 143

Real time (s): 3599.32
CPU time (s): 3600.24
CPU user time (s): 3582.99
CPU system time (s): 17.2554
CPU usage (%): 100.025
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4271540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.99
system time used= 17.2554
maximum resident set size= 4271540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149244
page faults= 1
swaps= 0
block input operations= 24
block output operations= 32404000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120072
involuntary context switches= 15704


# summary of solver processes directly reported to runsolver:
#   pid: 20661
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3582.99
#   total CPU system time (s): 17.2554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39888 second user time and 18.1219 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 02:52:46
IDJOB=4494569
IDBENCH=147894
IDSOLVER=3364
FILE ID=nodeC033/4494569-1751158366
RUNJOBID= nodeC033-1751158366-20623
SLURM_JOB_ID= 9587493
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494569-1751158366/watcher-4494569-1751158366 -o /tmp/evaluation-result-4494569-1751158366/solver-4494569-1751158366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20623 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4494569-1751158366 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4494569-1751158366.opb

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

MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=189520819

nodeC033 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.093
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	: 7000.13
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		: 3600.354
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	: 7000.13
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.904
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	: 7000.13
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		: 3600.229
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	: 7000.13
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		: 3600.073
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	: 7000.13
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.351
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	: 7000.13
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		: 3597.008
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.033
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130152456 kB
MemAvailable:   129796956 kB
Buffers:            3280 kB
Cached:           452844 kB
SwapCached:            0 kB
Active:           340600 kB
Inactive:         194804 kB
Active(anon):      97400 kB
Inactive(anon):        0 kB
Active(file):     243200 kB
Inactive(file):   194804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34348 kB
Writeback:             8 kB
AnonPages:         82416 kB
Mapped:           102604 kB
Shmem:             18120 kB
KReclaimable:      86348 kB
Slab:             169240 kB
SReclaimable:      86348 kB
SUnreclaim:        82892 kB
KernelStack:        4068 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     348788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC033 at 2025-06-29 03:52:46