Trace number 4509977

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.26 3616.53

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM01d829ad4c115fdb9b9dc327d7beaf7a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables201
Total number of constraints536
Number of constraints which are clauses536
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	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-4509977-1751196265.opb
0.13/0.13	c reading problem ... 
0.18/1.47	c using VERIPB proof format
0.18/1.48	c  no objective function found
0.18/1.51	c ... done. Wall clock time 1.38s.
0.18/1.51	c declared #vars     201
0.24/1.51	c #constraints  536
0.24/1.51	c constraints type 
0.24/1.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 536
0.24/1.51	c 536 constraints processed.
1.02/1.93	c cleaning 2496 clauses out of 5000 with flag 22663/5000
1.61/2.22	c cleaning 4245 clauses out of 8504 with flag 52116/11000
2.00/2.44	c cleaning 5621 clauses out of 11259 with flag 82524/18000
2.39/2.68	c cleaning 6814 clauses out of 13638 with flag 122226/26000
2.95/2.91	c cleaning 7904 clauses out of 15825 with flag 165392/35001
3.36/3.14	c cleaning 8957 clauses out of 17921 with flag 214881/45001
3.74/3.39	c cleaning 9972 clauses out of 19964 with flag 267193/56001
4.27/3.69	c cleaning 10992 clauses out of 21992 with flag 330057/68001
4.66/3.96	c cleaning 11994 clauses out of 24000 with flag 398718/81001
5.06/4.34	c cleaning 12994 clauses out of 26005 with flag 462345/95000
5.37/4.68	c cleaning 14002 clauses out of 28013 with flag 543536/110002
5.77/5.06	c cleaning 14999 clauses out of 30009 with flag 629955/126000
6.21/5.45	c cleaning 16000 clauses out of 32010 with flag 720467/143000
6.67/5.86	c cleaning 17000 clauses out of 34010 with flag 809549/161000
7.17/6.37	c cleaning 17998 clauses out of 36010 with flag 908096/180000
7.67/6.89	c cleaning 18999 clauses out of 38012 with flag 1012138/200000
8.27/7.49	c cleaning 20001 clauses out of 40013 with flag 1115459/221000
8.86/8.03	c cleaning 20999 clauses out of 42012 with flag 1226233/243000
9.36/8.59	c cleaning 22000 clauses out of 44013 with flag 1347339/266000
10.10/9.23	c cleaning 23000 clauses out of 46014 with flag 1470736/290001
10.70/9.84	c cleaning 24000 clauses out of 48013 with flag 1599062/315000
11.39/10.50	c cleaning 25005 clauses out of 50013 with flag 1732672/341000
12.09/11.25	c cleaning 25997 clauses out of 52008 with flag 1872611/368000
12.91/12.05	c cleaning 27002 clauses out of 54011 with flag 2013403/396000
13.91/13.08	c cleaning 27998 clauses out of 56009 with flag 2162770/425000
15.00/14.16	c cleaning 29001 clauses out of 58012 with flag 2309408/455001
16.29/15.49	c cleaning 29999 clauses out of 60010 with flag 2459334/486000
17.59/16.79	c cleaning 30999 clauses out of 62012 with flag 2613323/518001
18.99/18.11	c cleaning 32000 clauses out of 64013 with flag 2770892/551001
20.09/19.21	c cleaning 32997 clauses out of 66012 with flag 2946680/585000
21.20/20.36	c cleaning 34000 clauses out of 68015 with flag 3125224/620000
22.49/21.60	c cleaning 34998 clauses out of 70016 with flag 3302182/656001
23.79/22.99	c cleaning 36001 clauses out of 72017 with flag 3482656/693000
25.38/24.53	c cleaning 36998 clauses out of 74016 with flag 3662064/731000
27.09/26.23	c cleaning 38002 clauses out of 76019 with flag 3850686/770001
28.79/27.92	c cleaning 39003 clauses out of 78017 with flag 4039933/810001
30.59/29.73	c cleaning 39996 clauses out of 80013 with flag 4231271/851000
32.28/31.41	c cleaning 41005 clauses out of 82018 with flag 4449149/893001
34.21/33.87	c cleaning 41995 clauses out of 84013 with flag 4643896/936001
36.72/36.30	c cleaning 43002 clauses out of 86018 with flag 4832887/980001
39.42/39.06	c cleaning 43999 clauses out of 88016 with flag 5051364/1025001
43.41/43.08	c cleaning 45002 clauses out of 90016 with flag 5289217/1071000
45.80/45.41	c cleaning 45998 clauses out of 92015 with flag 5516745/1118001
48.71/48.30	c cleaning 47002 clauses out of 94017 with flag 5747489/1166001
51.51/51.13	c cleaning 48004 clauses out of 96015 with flag 5981118/1215001
54.40/54.04	c cleaning 48998 clauses out of 98011 with flag 6209890/1265001
57.68/57.35	c cleaning 50000 clauses out of 100012 with flag 6470397/1316000
61.07/60.77	c cleaning 50999 clauses out of 102012 with flag 6724995/1368000
63.99/63.76	c cleaning 52001 clauses out of 104014 with flag 6980041/1421001
66.99/66.73	c cleaning 53002 clauses out of 106013 with flag 7234849/1475001
70.09/69.87	c cleaning 54000 clauses out of 108010 with flag 7498401/1530000
72.80/72.59	c cleaning 55000 clauses out of 110010 with flag 7771636/1586000
75.11/74.80	c cleaning 55998 clauses out of 112010 with flag 8043039/1643000
78.10/77.86	c cleaning 56996 clauses out of 114012 with flag 8320683/1701000
81.49/81.28	c cleaning 58002 clauses out of 116016 with flag 8591378/1760000
84.29/84.03	c cleaning 59005 clauses out of 118014 with flag 8869683/1820000
87.67/87.44	c cleaning 60000 clauses out of 120010 with flag 9160168/1881001
91.99/91.79	c cleaning 60998 clauses out of 122009 with flag 9437073/1943000
96.10/95.91	c cleaning 61996 clauses out of 124011 with flag 9722849/2006000
100.19/100.03	c cleaning 63001 clauses out of 126016 with flag 10012024/2070001
103.48/103.35	c cleaning 64003 clauses out of 128015 with flag 10302706/2135001
106.47/106.37	c cleaning 65002 clauses out of 130012 with flag 10576781/2201001
110.46/110.32	c cleaning 65998 clauses out of 132010 with flag 10873228/2268001
115.57/115.43	c cleaning 66997 clauses out of 134011 with flag 11175320/2336000
118.16/118.04	c cleaning 67999 clauses out of 136014 with flag 11481795/2405000
122.51/122.27	c cleaning 69001 clauses out of 138016 with flag 11797404/2475001
126.04/125.88	c cleaning 69996 clauses out of 140015 with flag 12127956/2546001
129.53/129.35	c cleaning 70998 clauses out of 142018 with flag 12472024/2618000
133.34/133.13	c cleaning 72001 clauses out of 144021 with flag 12827387/2691001
137.16/136.97	c cleaning 73006 clauses out of 146019 with flag 13173336/2765000
141.47/141.25	c cleaning 74002 clauses out of 148013 with flag 13494533/2840000
148.16/147.93	c cleaning 75000 clauses out of 150011 with flag 13826902/2916000
151.68/151.41	c cleaning 75995 clauses out of 152011 with flag 14192674/2993000
156.27/161.27	c cleaning 77000 clauses out of 154017 with flag 14550900/3071001
159.96/164.92	c cleaning 78001 clauses out of 156017 with flag 14909453/3150001
163.76/168.72	c cleaning 79001 clauses out of 158015 with flag 15243690/3230000
169.95/174.91	c cleaning 80000 clauses out of 160015 with flag 15625431/3311001
175.26/180.21	c cleaning 81000 clauses out of 162014 with flag 16018279/3393000
180.05/185.06	c cleaning 81999 clauses out of 164015 with flag 16402043/3476001
185.35/190.36	c cleaning 82998 clauses out of 166015 with flag 16790216/3560000
190.07/195.12	c cleaning 84000 clauses out of 168018 with flag 17199483/3645001
194.58/199.61	c cleaning 85004 clauses out of 170018 with flag 17623550/3731001
202.56/207.67	c cleaning 86006 clauses out of 172013 with flag 18023061/3818000
207.97/213.01	c cleaning 86997 clauses out of 174008 with flag 18407449/3906001
213.95/219.08	c cleaning 88001 clauses out of 176010 with flag 18805004/3995000
219.66/224.98	c cleaning 88996 clauses out of 178009 with flag 19231648/4085000
224.85/230.17	c cleaning 90001 clauses out of 180014 with flag 19659370/4176001
230.96/236.28	c cleaning 90997 clauses out of 182013 with flag 20071571/4268001
236.95/242.28	c cleaning 92004 clauses out of 184016 with flag 20489958/4361001
242.54/247.84	c cleaning 93000 clauses out of 186011 with flag 20922124/4455000
247.93/253.31	c cleaning 93998 clauses out of 188011 with flag 21323031/4550000
256.64/262.09	c cleaning 94998 clauses out of 190013 with flag 21744618/4646000
261.77/267.19	c cleaning 96001 clauses out of 192015 with flag 22121960/4743000
267.15/272.52	c cleaning 96995 clauses out of 194014 with flag 22495707/4841000
272.79/278.19	c cleaning 98002 clauses out of 196019 with flag 22874462/4940000
279.37/284.80	c cleaning 98999 clauses out of 198017 with flag 23280534/5040000
286.71/292.19	c cleaning 100006 clauses out of 200019 with flag 23704584/5141001
294.16/299.50	c cleaning 101000 clauses out of 202012 with flag 24134683/5243000
301.94/307.34	c cleaning 101998 clauses out of 204012 with flag 24563555/5346000
308.28/313.65	c cleaning 102998 clauses out of 206015 with flag 25007585/5450001
314.17/319.67	c cleaning 104003 clauses out of 208016 with flag 25466157/5555000
320.60/326.03	c cleaning 104999 clauses out of 210013 with flag 25948492/5661000
326.64/332.01	c cleaning 105998 clauses out of 212014 with flag 26427361/5768000
333.92/339.35	c cleaning 107002 clauses out of 214017 with flag 26910369/5876001
340.86/349.37	c cleaning 108001 clauses out of 216014 with flag 27435941/5985000
347.09/355.59	c cleaning 109000 clauses out of 218014 with flag 27948836/6095001
353.58/362.02	c cleaning 110002 clauses out of 220013 with flag 28437425/6206000
360.40/368.88	c cleaning 110997 clauses out of 222011 with flag 28850107/6318000
367.37/375.85	c cleaning 111998 clauses out of 224014 with flag 29304206/6431000
374.05/382.53	c cleaning 112999 clauses out of 226017 with flag 29784865/6545001
383.00/391.44	c cleaning 114002 clauses out of 228017 with flag 30275719/6660000
389.08/397.53	c cleaning 114999 clauses out of 230016 with flag 30730602/6776001
397.91/406.62	c cleaning 116002 clauses out of 232017 with flag 31180505/6893001
408.25/416.95	c cleaning 116998 clauses out of 234014 with flag 31721004/7011000
416.31/424.95	c cleaning 118002 clauses out of 236016 with flag 32248139/7130000
422.69/431.34	c cleaning 118997 clauses out of 238014 with flag 32734387/7250000
430.54/439.21	c cleaning 120003 clauses out of 240017 with flag 33221455/7371000
439.48/448.17	c cleaning 120999 clauses out of 242014 with flag 33782467/7493000
447.06/455.76	c cleaning 122005 clauses out of 244016 with flag 34311221/7616001
455.99/464.65	c cleaning 122996 clauses out of 246011 with flag 34861984/7740001
464.96/473.68	c cleaning 123998 clauses out of 248015 with flag 35380097/7865001
473.34/482.05	c cleaning 124999 clauses out of 250016 with flag 35895717/7991000
482.49/491.14	c cleaning 125995 clauses out of 252018 with flag 36412785/8118001
493.24/501.96	c cleaning 127005 clauses out of 254022 with flag 36929415/8246000
502.86/511.52	c cleaning 128004 clauses out of 256018 with flag 37420484/8375001
511.44/520.11	c cleaning 129002 clauses out of 258014 with flag 37920163/8505001
520.82/529.53	c cleaning 129995 clauses out of 260011 with flag 38411092/8636000
530.16/538.81	c cleaning 130995 clauses out of 262016 with flag 38918318/8768000
539.35/548.06	c cleaning 132006 clauses out of 264021 with flag 39440115/8901000
547.98/556.63	c cleaning 133002 clauses out of 266015 with flag 39951150/9035000
556.46/565.19	c cleaning 134000 clauses out of 268015 with flag 40467119/9170002
564.79/573.40	c cleaning 135003 clauses out of 270013 with flag 41028242/9306000
572.54/581.14	c cleaning 135997 clauses out of 272011 with flag 41560954/9443001
582.04/590.72	c cleaning 136997 clauses out of 274014 with flag 42113580/9581001
591.06/599.78	c cleaning 137997 clauses out of 276016 with flag 42778877/9720000
600.88/609.55	c cleaning 139002 clauses out of 278019 with flag 43418951/9860000
612.66/621.34	c cleaning 140002 clauses out of 280017 with flag 44038397/10001000
622.94/631.64	c cleaning 141003 clauses out of 282015 with flag 44636867/10143000
634.15/642.80	c cleaning 141998 clauses out of 284012 with flag 45255356/10286000
643.71/652.44	c cleaning 143003 clauses out of 286014 with flag 45818282/10430000
654.84/663.59	c cleaning 143999 clauses out of 288011 with flag 46428732/10575000
666.68/675.37	c cleaning 144997 clauses out of 290012 with flag 46983464/10721000
678.30/687.04	c cleaning 145998 clauses out of 292015 with flag 47570976/10868000
687.14/695.82	c cleaning 147000 clauses out of 294018 with flag 48156939/11016001
696.87/705.53	c cleaning 148001 clauses out of 296018 with flag 48751078/11165001
707.99/716.88	c cleaning 149000 clauses out of 298016 with flag 49353542/11315000
718.73/727.57	c cleaning 150002 clauses out of 300017 with flag 49993088/11466001
728.95/737.73	c cleaning 151002 clauses out of 302014 with flag 50579338/11618000
740.00/748.86	c cleaning 151999 clauses out of 304012 with flag 51169836/11771000
749.88/758.74	c cleaning 152998 clauses out of 306013 with flag 51763004/11925000
761.48/770.38	c cleaning 154002 clauses out of 308016 with flag 52380237/12080001
773.21/782.17	c cleaning 155001 clauses out of 310013 with flag 53029887/12236000
785.03/793.94	c cleaning 155998 clauses out of 312012 with flag 53646430/12393000
799.18/808.11	c cleaning 157004 clauses out of 314014 with flag 54277575/12551000
809.69/818.66	c cleaning 157994 clauses out of 316010 with flag 54910754/12710000
821.12/830.10	c cleaning 159003 clauses out of 318017 with flag 55521792/12870001
832.99/841.94	c cleaning 160000 clauses out of 320014 with flag 56150857/13031001
845.36/854.39	c cleaning 161004 clauses out of 322013 with flag 56803740/13193000
857.65/866.60	c cleaning 161996 clauses out of 324010 with flag 57403808/13356001
871.71/880.72	c cleaning 162999 clauses out of 326013 with flag 58082917/13520000
886.81/895.80	c cleaning 164000 clauses out of 328014 with flag 58773576/13685000
899.27/908.33	c cleaning 165000 clauses out of 330014 with flag 59392882/13851000
911.51/920.50	c cleaning 165998 clauses out of 332015 with flag 59995819/14018001
923.46/932.57	c cleaning 167004 clauses out of 334016 with flag 60620352/14186000
938.49/947.58	c cleaning 167998 clauses out of 336013 with flag 61339383/14355001
951.28/961.04	c cleaning 168998 clauses out of 338014 with flag 62018397/14525000
967.08/976.83	c cleaning 170001 clauses out of 340017 with flag 62648730/14696001
982.65/992.47	c cleaning 171003 clauses out of 342015 with flag 63279858/14868000
995.90/1005.66	c cleaning 172001 clauses out of 344013 with flag 63946876/15041001
1010.63/1020.95	c cleaning 172995 clauses out of 346012 with flag 64588060/15215001
1026.04/1036.36	c cleaning 174002 clauses out of 348017 with flag 65242188/15390001
1041.62/1051.91	c cleaning 174999 clauses out of 350015 with flag 65903743/15566001
1058.63/1068.97	c cleaning 176004 clauses out of 352016 with flag 66583418/15743001
1073.19/1083.52	c cleaning 177001 clauses out of 354012 with flag 67226271/15921001
1090.60/1100.94	c cleaning 178000 clauses out of 356011 with flag 67929891/16100001
1104.64/1115.05	c cleaning 178997 clauses out of 358010 with flag 68613230/16280000
1119.63/1130.09	c cleaning 179999 clauses out of 360014 with flag 69302103/16461001
1136.12/1146.53	c cleaning 181001 clauses out of 362015 with flag 70020833/16643001
1152.21/1162.62	c cleaning 182002 clauses out of 364013 with flag 70769026/16826000
1167.86/1178.34	c cleaning 183001 clauses out of 366012 with flag 71530280/17010001
1183.86/1194.35	c cleaning 183999 clauses out of 368010 with flag 72259486/17195000
1201.49/1212.08	c cleaning 184999 clauses out of 370011 with flag 72944299/17381000
1217.97/1228.58	c cleaning 186005 clauses out of 372013 with flag 73673940/17568001
1235.29/1245.88	c cleaning 186996 clauses out of 374007 with flag 74372205/17756000
1252.90/1263.42	c cleaning 187997 clauses out of 376012 with flag 75070718/17945001
1270.36/1280.95	c cleaning 189002 clauses out of 378015 with flag 75769863/18135001
1286.71/1297.32	c cleaning 190001 clauses out of 380014 with flag 76515157/18326002
1304.84/1315.44	c cleaning 190999 clauses out of 382012 with flag 77262422/18518001
1320.50/1331.14	c cleaning 191996 clauses out of 384012 with flag 78047226/18711000
1338.43/1349.10	c cleaning 193004 clauses out of 386016 with flag 78799438/18905000
1355.47/1366.10	c cleaning 194002 clauses out of 388013 with flag 79551079/19100001
1371.67/1382.33	c cleaning 195000 clauses out of 390011 with flag 80325207/19296001
1389.74/1400.45	c cleaning 196000 clauses out of 392010 with flag 81087419/19493000
1408.25/1418.90	c cleaning 196998 clauses out of 394010 with flag 81870713/19691000
1426.54/1437.08	c cleaning 197998 clauses out of 396012 with flag 82667518/19890000
1446.15/1456.77	c cleaning 199005 clauses out of 398015 with flag 83471150/20090001
1463.06/1473.61	c cleaning 200003 clauses out of 400010 with flag 84297998/20291001
1480.00/1490.64	c cleaning 200996 clauses out of 402006 with flag 85068712/20493000
1497.67/1508.33	c cleaning 202000 clauses out of 404010 with flag 85876119/20696000
1514.51/1525.25	c cleaning 202997 clauses out of 406010 with flag 86701407/20900000
1532.37/1543.15	c cleaning 203999 clauses out of 408014 with flag 87509862/21105001
1553.07/1563.81	c cleaning 205001 clauses out of 410014 with flag 88305044/21311000
1571.00/1581.86	c cleaning 206001 clauses out of 412014 with flag 89143615/21518001
1589.07/1599.95	c cleaning 207000 clauses out of 414013 with flag 89960250/21726001
1612.00/1622.99	c cleaning 207995 clauses out of 416012 with flag 90790848/21935000
1634.97/1645.94	c cleaning 209003 clauses out of 418017 with flag 91617584/22145000
1655.01/1665.96	c cleaning 209999 clauses out of 420015 with flag 92469098/22356001
1674.05/1684.95	c cleaning 211006 clauses out of 422015 with flag 93318121/22568000
1693.89/1704.86	c cleaning 212002 clauses out of 424010 with flag 94176987/22781001
1713.68/1724.64	c cleaning 212999 clauses out of 426008 with flag 95022322/22995001
1732.36/1743.30	c cleaning 213997 clauses out of 428008 with flag 95910070/23210000
1753.08/1764.15	c cleaning 214999 clauses out of 430012 with flag 96761941/23426001
1778.90/1790.00	c cleaning 215995 clauses out of 432013 with flag 97566934/23643001
1802.70/1813.86	c cleaning 217003 clauses out of 434017 with flag 98411692/23861000
1825.96/1837.12	c cleaning 217999 clauses out of 436015 with flag 99271892/24080001
1847.57/1858.79	c cleaning 219000 clauses out of 438016 with flag 100125692/24300001
1869.17/1880.37	c cleaning 220004 clauses out of 440016 with flag 101012315/24521001
1896.49/1907.77	c cleaning 220999 clauses out of 442012 with flag 101961441/24743001
1917.62/1928.91	c cleaning 221998 clauses out of 444012 with flag 102864610/24966000
1937.48/1948.87	c cleaning 223004 clauses out of 446015 with flag 103778754/25190001
1964.74/1976.15	c cleaning 223998 clauses out of 448010 with flag 104785766/25415000
1988.83/2000.26	c cleaning 224999 clauses out of 450013 with flag 105758858/25641001
2008.61/2020.04	c cleaning 225998 clauses out of 452014 with flag 106687574/25868001
2029.17/2040.69	c cleaning 227003 clauses out of 454016 with flag 107609862/26096001
2054.92/2066.43	c cleaning 228001 clauses out of 456013 with flag 108493832/26325001
2078.20/2089.71	c cleaning 229002 clauses out of 458011 with flag 109430211/26555000
2103.28/2114.84	c cleaning 230000 clauses out of 460010 with flag 110360921/26786001
2127.42/2139.05	c cleaning 231001 clauses out of 462010 with flag 111294288/27018001
2149.16/2160.84	c cleaning 231999 clauses out of 464009 with flag 112224430/27251001
2172.60/2184.22	c cleaning 233002 clauses out of 466011 with flag 113209374/27485002
2194.35/2206.09	c cleaning 233998 clauses out of 468008 with flag 114150661/27720001
2216.87/2228.65	c cleaning 234998 clauses out of 470010 with flag 115112631/27956001
2238.14/2249.93	c cleaning 235999 clauses out of 472012 with flag 116095039/28193001
2259.83/2271.68	c cleaning 236995 clauses out of 474012 with flag 117080812/28431000
2284.48/2296.38	c cleaning 237999 clauses out of 476018 with flag 118048251/28670001
2309.80/2321.71	c cleaning 239002 clauses out of 478018 with flag 119043178/28910000
2335.53/2347.50	c cleaning 240004 clauses out of 480017 with flag 120037082/29151001
2362.80/2374.82	c cleaning 241002 clauses out of 482013 with flag 121018241/29393001
2389.28/2401.38	c cleaning 241996 clauses out of 484010 with flag 122046221/29636000
2417.23/2429.37	c cleaning 243000 clauses out of 486015 with flag 123048229/29880001
2440.15/2452.32	c cleaning 244000 clauses out of 488014 with flag 124030860/30125000
2472.95/2485.27	c cleaning 245000 clauses out of 490015 with flag 125022436/30371001
2498.92/2511.26	c cleaning 246006 clauses out of 492015 with flag 126010632/30618001
2526.05/2538.40	c cleaning 246997 clauses out of 494009 with flag 127017263/30866001
2555.22/2567.63	c cleaning 247998 clauses out of 496011 with flag 128024480/31115000
2581.24/2593.72	c cleaning 248999 clauses out of 498014 with flag 129018663/31365001
2609.31/2622.07	c cleaning 250005 clauses out of 500015 with flag 130047885/31616001
2633.63/2646.39	c cleaning 250996 clauses out of 502009 with flag 131078655/31868000
2661.76/2674.67	c cleaning 252000 clauses out of 504014 with flag 132145257/32121001
2689.61/2702.68	c cleaning 253004 clauses out of 506013 with flag 133164971/32375000
2718.31/2731.40	c cleaning 254001 clauses out of 508010 with flag 134221667/32630001
2750.06/2763.20	c cleaning 254998 clauses out of 510009 with flag 135266502/32886001
2778.87/2792.11	c cleaning 255996 clauses out of 512011 with flag 136335982/33143001
2808.30/2821.66	c cleaning 256999 clauses out of 514014 with flag 137366583/33401000
2835.49/2848.92	c cleaning 258006 clauses out of 516016 with flag 138427983/33660001
2863.85/2877.39	c cleaning 258995 clauses out of 518010 with flag 139493382/33920001
2892.75/2906.37	c cleaning 260000 clauses out of 520015 with flag 140593457/34181001
2922.77/2936.48	c cleaning 261002 clauses out of 522015 with flag 141637904/34443001
2951.35/2965.10	c cleaning 261998 clauses out of 524013 with flag 142753960/34706001
2980.09/2993.93	c cleaning 263004 clauses out of 526014 with flag 143870919/34970000
3012.59/3026.55	c cleaning 264002 clauses out of 528011 with flag 144923130/35235001
3040.73/3054.76	c cleaning 265002 clauses out of 530009 with flag 146031122/35501001
3066.26/3080.34	c cleaning 265998 clauses out of 532006 with flag 147146383/35768000
3104.85/3119.08	c cleaning 267000 clauses out of 534009 with flag 148284760/36036001
3135.72/3150.19	c cleaning 267998 clauses out of 536008 with flag 149402748/36305000
3178.95/3193.57	c cleaning 268999 clauses out of 538010 with flag 150585620/36575000
3214.41/3229.28	c cleaning 270000 clauses out of 540012 with flag 151717351/36846001
3253.26/3268.42	c cleaning 271001 clauses out of 542012 with flag 152840484/37118001
3282.27/3297.66	c cleaning 271996 clauses out of 544011 with flag 153975360/37391001
3319.52/3335.02	c cleaning 273000 clauses out of 546015 with flag 155168397/37665001
3350.22/3365.86	c cleaning 273998 clauses out of 548015 with flag 156331734/37940001
3385.80/3401.57	c cleaning 275003 clauses out of 550016 with flag 157506930/38216000
3416.41/3432.26	c cleaning 276001 clauses out of 552013 with flag 158684757/38493000
3452.68/3468.65	c cleaning 276998 clauses out of 554013 with flag 159876719/38771001
3488.60/3504.63	c cleaning 278000 clauses out of 556014 with flag 161051882/39050000
3521.17/3537.32	c cleaning 278999 clauses out of 558014 with flag 162164015/39330000
3555.57/3571.82	c cleaning 280001 clauses out of 560016 with flag 163390524/39611001
3598.58/3614.98	c cleaning 281000 clauses out of 562014 with flag 164579762/39893000
3600.08/3616.41	c starts		: 45854
3600.08/3616.42	c conflicts		: 39924681
3600.08/3616.42	c decisions		: 51483873
3600.08/3616.42	c propagations		: 182710080
3600.08/3616.42	c inspects		: 29953457051
3600.08/3616.42	c shortcuts		: 0
3600.08/3616.42	c learnt literals	: 0
3600.08/3616.42	c learnt binary clauses	: 0
3600.08/3616.42	c learnt ternary clauses	: 3
3600.08/3616.42	c learnt constraints	: 39924681
3600.08/3616.42	c ignored constraints	: 0
3600.08/3616.42	c root simplifications	: 0
3600.08/3616.42	c removed literals (reason simplification)	: 81151898
3600.08/3616.42	c reason swapping (by a shorter reason)	: 0
3600.08/3616.42	c Calls to reduceDB	: 278
3600.08/3616.42	c Number of update (reduction) of LBD	: 3192906
3600.08/3616.42	c Imported unit clauses	: 0
3600.08/3616.42	c No decision after first conflict	: false
3600.08/3616.42	c number of reductions to clauses (during analyze)	: 0
3600.08/3616.42	c number of learned constraints concerned by reduction	: 0
3600.08/3616.42	c number of learning phase by resolution	: 0
3600.08/3616.42	c number of learning phase by cutting planes	: 0
3600.08/3616.42	c number of rounding to 1 operations	: 0
3600.08/3616.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3616.42	c number of reductions of the coefficients by power 2 	: 0
3600.08/3616.42	c number of right shift for reduction by power 2 	: 0
3600.08/3616.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3616.42	c number of ending skipping 	: 0
3600.08/3616.42	c number of internal skipping 	: 0
3600.08/3616.42	c number of derivation steps 	: 0
3600.08/3616.42	c number of skipped derivation steps 	: 0
3600.08/3616.42	c number of remaining unassigned 	: 0
3600.08/3616.42	c number of remaining assigned 	: 0
3600.08/3616.42	c number of falsified literals weakened from reason	: 0
3600.08/3616.42	c number of falsified literals weakened from conflict	: 0
3600.08/3616.42	c time for arithmetic operations	: 0
3600.08/3616.42	c minimum degree of deleted constraints	: null
3600.08/3616.42	c maximum degree of deleted constraints	: null
3600.08/3616.42	c number of deleted constraints	: 0
3600.08/3616.42	c speed (assignments/second)	: 50543.4797943738
3600.08/3616.42	c non guided choices	: 18940
3600.08/3616.44	c timeout
3600.08/3616.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 312695
3600.08/3616.49	s UNKNOWN
3600.08/3616.49	c Total wall clock time (in seconds): 3616.361

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=25809, runsolver pid=25806
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.12 4.14 5/342 25827
/proc/meminfo: memFree=113114460/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=18930384 memory=57744 CPUtime=0.13 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 6591 0 0 0 11 2 0 0 20 0 18 0 35304215 19384713216 14436 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4732596 14436 5330 1 0 547639 0
[pid=25809/tid=25811] ppid=25806 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 5094 0 0 0 7 1 0 0 20 0 18 0 35304216 19384713216 14436 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=18930384 memory=224227754321 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35304218 19384713216 14436 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=18930384 memory=59585004335488 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35304219 19384713216 14436 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57744 KiB

[startup+0.205917 s]*
/proc/loadavg: 4.11 4.12 4.14 4/342 25827
/proc/meminfo: memFree=113114460/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=18930384 memory=58896 CPUtime=0.18 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 6800 0 0 0 16 2 0 0 20 0 18 0 35304215 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4732596 14724 5394 1 0 547793 0
[pid=25809/tid=25811] ppid=25806 vsize=18930384 memory=4026597660 CPUtime=0.1 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) D 25806 25809 24970 0 -1 4456512 5216 0 0 0 9 1 0 0 20 0 18 0 35304216 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=18930384 memory=16195 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35304218 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35304219 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58896 KiB

[startup+0.306067 s]*
/proc/loadavg: 4.11 4.12 4.14 4/342 25827
/proc/meminfo: memFree=113114460/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=18930384 memory=58896 CPUtime=0.18 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 6800 0 0 0 16 2 0 0 20 0 18 0 35304215 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4732596 14724 5394 1 0 547793 0
[pid=25809/tid=25811] ppid=25806 vsize=18930384 memory=-6000919481380136813 CPUtime=0.1 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) D 25806 25809 24970 0 -1 4456512 5216 0 0 0 9 1 0 0 20 0 18 0 35304216 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35304218 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35304219 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58896 KiB

[startup+0.700211 s]
/proc/loadavg: 4.11 4.12 4.14 4/342 25827
/proc/meminfo: memFree=113114460/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=18930384 memory=58896 CPUtime=0.18 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 6800 0 0 0 16 2 0 0 20 0 18 0 35304215 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4732596 14724 5394 1 0 547793 0
[pid=25809/tid=25811] ppid=25806 vsize=18930384 memory=17280 CPUtime=0.1 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) D 25806 25809 24970 0 -1 4456512 5216 0 0 0 9 1 0 0 20 0 18 0 35304216 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=18930384 memory=10752 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35304218 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=18930384 memory=3328 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35304219 19384713216 14724 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58896 KiB

[startup+1.51296 s]
/proc/loadavg: 4.11 4.12 4.14 4/342 25827
/proc/meminfo: memFree=113115064/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=18930384 memory=61380 CPUtime=0.24 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 6922 0 0 0 22 2 0 0 20 0 18 0 35304215 19384713216 15345 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4732596 15345 5394 1 0 547869 0
[pid=25809/tid=25811] ppid=25806 vsize=18930384 memory=3328 CPUtime=0.13 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 5279 0 0 0 12 1 0 0 20 0 18 0 35304216 19384713216 15345 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35304218 19384713216 15345 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=18930384 memory=10752 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35304219 19384713216 15345 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61380 KiB

[startup+3.10611 s]
/proc/loadavg: 4.11 4.12 4.14 6/344 25830
/proc/meminfo: memFree=112963524/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=183852 CPUtime=3.36 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 20879 0 0 0 326 10 0 0 20 0 20 0 35304215 19521036288 45963 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 45963 5458 1 0 553295 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=10752 CPUtime=1.68 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 5861 0 0 0 163 5 0 0 20 0 20 0 35304216 19521036288 45963 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 45963 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 45963 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 45963 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183852 KiB

[startup+6.30021 s]
/proc/loadavg: 4.18 4.13 4.14 5/344 25830
/proc/meminfo: memFree=112589432/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=568624 CPUtime=7.17 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 23009 0 0 0 693 24 0 0 20 0 20 0 35304215 19521036288 142156 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 142156 5458 1 0 553299 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=0 CPUtime=4.85 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 6630 0 0 0 466 19 0 0 20 0 20 0 35304216 19521036288 142156 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=-7879749704144776324 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 142156 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=-6000919481380136813 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 142156 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 142156 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 568624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.14 5/344 25830
/proc/meminfo: memFree=111680808/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=1312164 CPUtime=13.6 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 24827 0 0 0 1312 48 0 0 20 0 20 0 35304215 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 328041 5458 1 0 553299 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=0 CPUtime=11.21 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 7864 0 0 0 1079 42 0 0 20 0 20 0 35304216 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=1213804 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 13.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.14 5/344 25830
/proc/meminfo: memFree=111559932/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=1312164 CPUtime=26.38 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 27844 0 0 0 2576 62 0 0 20 0 20 0 35304215 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 328041 5458 1 0 553299 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=-6000919481380136813 CPUtime=23.96 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 9764 0 0 0 2340 56 0 0 20 0 20 0 35304216 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=3028 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=1312164 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=1312164 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 328041 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 26.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312164 KiB

[startup+51.1058 s]
/proc/loadavg: 4.20 4.14 4.14 5/344 25830
/proc/meminfo: memFree=111323300/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=1322560 CPUtime=51.51 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 32597 0 0 0 5072 79 0 0 20 0 20 0 35304215 19521036288 330640 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 330640 5490 1 0 553299 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=1322560 CPUtime=48.97 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 11228 0 0 0 4826 71 0 0 20 0 20 0 35304216 19521036288 330640 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=-6000919481380136813 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 330640 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=1318452 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 330640 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=1312164 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 330640 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0

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

/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1594 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3207.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.15 5/347 27271
/proc/meminfo: memFree=115311268/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3267.15 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 106020 0 0 0 325212 1503 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554019 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3244.15 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 42394 0 0 0 323009 1406 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3267.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/347 27273
/proc/meminfo: memFree=114859552/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3326.83 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 106254 0 0 0 331165 1518 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554019 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3303.57 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 42586 0 0 0 328938 1419 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3326.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.15 4/326 27343
/proc/meminfo: memFree=116482812/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3386.59 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 108113 0 0 0 337123 1536 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554019 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=10752 CPUtime=3363.08 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 43684 0 0 0 334871 1437 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3386.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.20 4.15 5/347 27613
/proc/meminfo: memFree=115566712/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3446.39 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 109774 0 0 0 343084 1555 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554019 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=10752 CPUtime=3422.62 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 44819 0 0 0 340808 1454 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1654 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3446.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/348 27620
/proc/meminfo: memFree=114441212/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3506.2 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 110748 0 0 0 349041 1579 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554019 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=10752 CPUtime=3482.2 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 45087 0 0 0 346743 1477 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1713 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=-6000919481380136813 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3506.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/346 27623
/proc/meminfo: memFree=113896944/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3566.09 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 110823 0 0 0 355012 1597 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554023 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=10752 CPUtime=3541.76 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 45098 0 0 0 352683 1493 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1713 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=2164620 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3566.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.4 s]
/proc/loadavg: 4.09 4.15 4.14 5/346 27623
/proc/meminfo: memFree=113673892/131249996 swapFree=33010684/33010684
[pid=25809] ppid=25806 vsize=19063512 memory=2164620 CPUtime=3600.08 cores=5,7
/proc/25809/stat : 25809 (java) S 25806 25809 24970 0 -1 4194304 111075 0 0 0 358403 1605 0 0 20 0 20 0 35304215 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
/proc/25809/statm: 4765878 541155 5490 1 0 554023 0
[pid=25809/tid=25811] ppid=25806 vsize=19063512 memory=-6000919481380136813 CPUtime=3575.59 cores=5,7
/proc/25809/task/25811/stat : 25811 (java) R 25806 25809 24970 0 -1 4194368 45303 0 0 0 356058 1501 0 0 20 0 20 0 35304216 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25820] ppid=25806 vsize=19063512 memory=5204 CPUtime=0 cores=5,7
/proc/25809/task/25820/stat : 25820 (Finalizer) S 25806 25809 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35304218 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25827] ppid=25806 vsize=19063512 memory=4916 CPUtime=0 cores=5,7
/proc/25809/task/25827/stat : 25827 (Common-Cleaner) S 25806 25809 24970 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 35304219 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
[pid=25809/tid=25829] ppid=25806 vsize=19063512 memory=6828 CPUtime=0 cores=5,7
/proc/25809/task/25829/stat : 25829 (Timer-0) S 25806 25809 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35304367 19521036288 541155 18446744073709551615 93937198006272 93937198009968 140723101191904 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93937198017784 93937198018576 93937203568640 140723101198640 140723101198822 140723101198822 140723101204424 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.19 s, system=16.0734 s

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

[startup+3616.5 s]*
/proc/loadavg: 4.09 4.15 4.14 5/325 27626
/proc/meminfo: memFree=115802200/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3616.53
CPU time (s): 3600.26
CPU user time (s): 3584.19
CPU system time (s): 16.0734
CPU usage (%): 99.5502
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2164620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.19
system time used= 16.0734
maximum resident set size= 2165772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13451304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117944
involuntary context switches= 24287


# summary of solver processes directly reported to runsolver:
#   pid: 25809
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3584.19
#   total CPU system time (s): 16.0734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82131 second user time and 17.6815 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 13:24:25
IDJOB=4509977
IDBENCH=159217
IDSOLVER=3364
FILE ID=nodeC017/4509977-1751196265
RUNJOBID= nodeC017-1751191606-24983
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509977-1751196265/watcher-4509977-1751196265 -o /tmp/evaluation-result-4509977-1751196265/solver-4509977-1751196265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509977-1751196265 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509977-1751196265.opb

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

MD5SUM BENCH= 01d829ad4c115fdb9b9dc327d7beaf7a
RANDOM SEED=1091881290

nodeC017 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.026
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.12
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		: 3599.797
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.12
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.700
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.12
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.352
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.12
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.063
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.12
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		: 3600.042
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.12
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		: 3600.588
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.12
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.058
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113135340 kB
MemAvailable:   124022044 kB
Buffers:            3280 kB
Cached:         11684140 kB
SwapCached:            0 kB
Active:          6098460 kB
Inactive:       11430336 kB
Active(anon):    5859584 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file): 11430336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             93736 kB
Writeback:             0 kB
AnonPages:       5844056 kB
Mapped:           122648 kB
Shmem:             18080 kB
KReclaimable:     113064 kB
Slab:             203316 kB
SReclaimable:     113064 kB
SUnreclaim:        90252 kB
KernelStack:        5232 kB
PageTables:        15048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7071928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5599232 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:24:41