Trace number 4453762

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 2024 2024-07-07? (TO) 3600.22 3633.15

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-70.shuf-2.opb
MD5SUM910ccac47c65ba0051d9c956ec5a939d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.002801
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables281
Total number of constraints280
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints230
Minimum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
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.06/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.23	c See www.sat4j.org for details.
0.06/0.24	c version CUSTOM.v20240707
0.06/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.25	c java.vm.version	22.0.1+8-16
0.06/0.25	c java.vm.vendor	Oracle Corporation
0.06/0.25	c sun.arch.data.model	64
0.06/0.25	c java.version		22.0.1
0.06/0.25	c os.name		Linux
0.06/0.25	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.25	c os.arch		amd64
0.06/0.25	c Free memory 		2104792832
0.06/0.25	c Max memory 		16282288128
0.06/0.25	c Total memory 		2113929216
0.06/0.25	c Number of processors 	2
0.06/0.29	--- Begin Solver configuration ---
0.06/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.29	Learn all clauses as in MiniSAT
0.06/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.29	Expensive reason simplification
0.06/0.29	Glucose 2.1 dynamic restart strategy
0.06/0.29	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.06/0.29	timeout=2147483s
0.06/0.29	DB Simplification allowed=false
0.06/0.29	Listener: none
0.06/0.29	--- End Solver configuration ---
0.06/0.29	c Pseudo Boolean Optimization by upper bound
0.06/0.29	c --- Begin Solver configuration ---
0.06/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.29	c Learn all clauses as in MiniSAT
0.06/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.29	c Expensive reason simplification
0.06/0.29	c Glucose 2.1 dynamic restart strategy
0.06/0.29	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.06/0.29	c timeout=2147483s
0.06/0.29	c DB Simplification allowed=false
0.06/0.29	c Listener: none
0.06/0.29	c --- End Solver configuration ---
0.06/0.29	c solving HOME/instance-4453762-1721843598.opb
0.06/0.29	c reading problem ... 
0.06/0.30	c using VERIPB proof format
0.06/0.30	c  no objective function found
0.21/0.33	c ... done. Wall clock time 0.028s.
0.21/0.33	c declared #vars     281
0.21/0.33	c #constraints  280
0.21/0.33	c constraints type 
0.21/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 280
0.21/0.33	c 280 constraints processed.
0.98/0.77	c cleaning 2493 clauses out of 5000 with flag 24809/5000
1.77/1.11	c cleaning 4244 clauses out of 8508 with flag 56769/11001
2.15/1.37	c cleaning 5627 clauses out of 11263 with flag 89850/18000
2.57/1.59	c cleaning 6803 clauses out of 13636 with flag 129256/26000
3.01/1.85	c cleaning 7909 clauses out of 15833 with flag 175057/35000
3.58/2.11	c cleaning 8951 clauses out of 17924 with flag 222587/45000
3.96/2.42	c cleaning 9966 clauses out of 19973 with flag 273679/56000
4.27/2.78	c cleaning 10989 clauses out of 22007 with flag 334525/68000
4.78/3.20	c cleaning 12010 clauses out of 24020 with flag 407926/81002
5.19/3.63	c cleaning 12997 clauses out of 26008 with flag 488616/95000
5.61/4.10	c cleaning 13995 clauses out of 28012 with flag 572116/110001
6.10/4.59	c cleaning 14997 clauses out of 30016 with flag 662313/126000
6.77/5.13	c cleaning 15994 clauses out of 32019 with flag 757225/143000
7.49/5.82	c cleaning 17001 clauses out of 34027 with flag 864592/161002
8.19/6.56	c cleaning 18005 clauses out of 36024 with flag 974848/180000
9.00/7.32	c cleaning 19001 clauses out of 38020 with flag 1093332/200001
9.81/8.11	c cleaning 20000 clauses out of 40018 with flag 1216713/221000
10.60/8.91	c cleaning 20993 clauses out of 42018 with flag 1336288/243000
11.49/9.87	c cleaning 22004 clauses out of 44026 with flag 1469881/266001
12.49/10.85	c cleaning 22994 clauses out of 46021 with flag 1610426/290000
13.49/11.89	c cleaning 24006 clauses out of 48027 with flag 1753521/315000
14.70/13.05	c cleaning 25003 clauses out of 50021 with flag 1909790/341000
15.94/14.27	c cleaning 25994 clauses out of 52018 with flag 2070798/368000
17.31/15.51	c cleaning 27000 clauses out of 54024 with flag 2234554/396000
18.65/16.89	c cleaning 28010 clauses out of 56027 with flag 2412847/425003
20.05/18.29	c cleaning 28998 clauses out of 58014 with flag 2591574/455000
21.64/19.85	c cleaning 29990 clauses out of 60016 with flag 2775083/486000
23.45/21.52	c cleaning 31004 clauses out of 62027 with flag 2969823/518001
25.27/23.24	c cleaning 31995 clauses out of 64025 with flag 3171359/551003
26.99/24.97	c cleaning 33004 clauses out of 66028 with flag 3372659/585001
28.79/26.73	c cleaning 33994 clauses out of 68024 with flag 3582632/620001
30.69/28.61	c cleaning 35007 clauses out of 70033 with flag 3800934/656004
32.68/30.63	c cleaning 35995 clauses out of 72023 with flag 4029397/693001
34.77/32.76	c cleaning 37002 clauses out of 74027 with flag 4254586/731000
36.98/34.90	c cleaning 38000 clauses out of 76025 with flag 4488706/770000
39.30/37.38	c cleaning 38996 clauses out of 78025 with flag 4723261/810000
41.59/39.67	c cleaning 40002 clauses out of 80030 with flag 4966240/851001
44.19/42.28	c cleaning 41009 clauses out of 82027 with flag 5230139/893000
46.88/44.93	c cleaning 41995 clauses out of 84021 with flag 5494600/936003
49.58/47.62	c cleaning 42995 clauses out of 86024 with flag 5759912/980001
52.48/50.52	c cleaning 44006 clauses out of 88028 with flag 6033364/1025000
55.37/53.42	c cleaning 44987 clauses out of 90022 with flag 6311514/1071000
58.37/56.48	c cleaning 46003 clauses out of 92035 with flag 6599603/1118000
61.56/59.68	c cleaning 47003 clauses out of 94032 with flag 6890922/1166000
65.15/63.24	c cleaning 47997 clauses out of 96029 with flag 7192280/1215000
68.54/66.63	c cleaning 49001 clauses out of 98032 with flag 7493030/1265000
72.10/70.22	c cleaning 50004 clauses out of 100033 with flag 7801938/1316002
75.99/74.12	c cleaning 51005 clauses out of 102028 with flag 8113744/1368001
79.67/77.80	c cleaning 51997 clauses out of 104022 with flag 8435724/1421000
83.26/81.48	c cleaning 53012 clauses out of 106026 with flag 8761555/1475001
87.27/85.45	c cleaning 53996 clauses out of 108013 with flag 9091404/1530000
91.27/89.42	c cleaning 54994 clauses out of 110017 with flag 9425135/1586000
95.56/93.77	c cleaning 56005 clauses out of 112023 with flag 9776154/1643000
99.74/97.91	c cleaning 57004 clauses out of 114019 with flag 10124336/1701001
103.93/102.20	c cleaning 57997 clauses out of 116016 with flag 10474382/1760002
108.96/107.22	c cleaning 58998 clauses out of 118017 with flag 10826449/1820000
113.65/111.99	c cleaning 59992 clauses out of 120019 with flag 11181171/1881000
118.53/116.85	c cleaning 61005 clauses out of 122027 with flag 11540995/1943000
123.73/122.10	c cleaning 62001 clauses out of 124022 with flag 11918147/2006000
129.11/127.46	c cleaning 63002 clauses out of 126021 with flag 12291926/2070000
134.60/132.96	c cleaning 64002 clauses out of 128021 with flag 12668795/2135002
140.01/138.59	c cleaning 64999 clauses out of 130017 with flag 13045443/2201000
146.37/145.00	c cleaning 65996 clauses out of 132018 with flag 13433419/2268000
152.22/150.85	c cleaning 66994 clauses out of 134022 with flag 13819870/2336000
158.25/156.95	c cleaning 68000 clauses out of 136028 with flag 14204678/2405000
163.99/162.77	c cleaning 69006 clauses out of 138028 with flag 14604576/2475000
169.97/168.87	c cleaning 70004 clauses out of 140023 with flag 14997890/2546001
176.35/175.24	c cleaning 70994 clauses out of 142019 with flag 15400579/2618001
182.74/181.65	c cleaning 72004 clauses out of 144024 with flag 15808677/2691000
190.23/189.10	c cleaning 73010 clauses out of 146020 with flag 16227325/2765000
196.80/195.82	c cleaning 73988 clauses out of 148011 with flag 16648468/2840001
203.29/202.37	c cleaning 75000 clauses out of 150022 with flag 17075765/2916000
210.66/209.79	c cleaning 75999 clauses out of 152024 with flag 17501907/2993002
217.89/217.08	c cleaning 76995 clauses out of 154023 with flag 17925355/3071000
225.80/225.03	c cleaning 78003 clauses out of 156028 with flag 18361289/3150000
233.70/233.22	c cleaning 79009 clauses out of 158026 with flag 18799970/3230001
241.71/241.21	c cleaning 80008 clauses out of 160016 with flag 19236191/3311000
249.89/249.45	c cleaning 80992 clauses out of 162011 with flag 19679906/3393003
258.71/258.30	c cleaning 82001 clauses out of 164017 with flag 20126025/3476001
267.30/266.91	c cleaning 82996 clauses out of 166015 with flag 20583322/3560000
275.68/275.33	c cleaning 83992 clauses out of 168019 with flag 21034952/3645000
284.56/284.28	c cleaning 85000 clauses out of 170027 with flag 21500298/3731000
294.19/293.96	c cleaning 86001 clauses out of 172027 with flag 21964662/3818000
303.17/302.98	c cleaning 87003 clauses out of 174028 with flag 22425484/3906002
313.15/312.96	c cleaning 88002 clauses out of 176024 with flag 22892348/3995001
323.30/323.12	c cleaning 88991 clauses out of 178021 with flag 23376041/4085000
333.61/333.42	c cleaning 90007 clauses out of 180030 with flag 23849624/4176000
343.38/343.27	c cleaning 90998 clauses out of 182023 with flag 24329906/4268000
354.12/354.01	c cleaning 92006 clauses out of 184026 with flag 24819149/4361001
364.22/364.14	c cleaning 93002 clauses out of 186019 with flag 25314898/4455000
374.59/374.56	c cleaning 94001 clauses out of 188021 with flag 25803639/4550004
385.26/385.29	c cleaning 94994 clauses out of 190016 with flag 26297296/4646000
396.83/396.86	c cleaning 95995 clauses out of 192022 with flag 26803227/4743000
408.11/408.12	c cleaning 97001 clauses out of 194029 with flag 27320485/4841002
419.99/420.47	c cleaning 98003 clauses out of 196027 with flag 27819166/4940001
431.98/432.45	c cleaning 99001 clauses out of 198023 with flag 28342243/5040000
444.88/445.43	c cleaning 100004 clauses out of 200023 with flag 28868618/5141001
457.80/458.42	c cleaning 101001 clauses out of 202018 with flag 29403136/5243000
472.65/473.32	c cleaning 102003 clauses out of 204018 with flag 29947044/5346001
486.33/487.07	c cleaning 102997 clauses out of 206015 with flag 30482097/5450001
499.90/500.60	c cleaning 103998 clauses out of 208020 with flag 31011761/5555003
513.17/513.90	c cleaning 105001 clauses out of 210020 with flag 31547909/5661001
527.03/527.83	c cleaning 106009 clauses out of 212019 with flag 32102580/5768001
541.46/542.47	c cleaning 106991 clauses out of 214009 with flag 32652158/5876000
556.30/557.48	c cleaning 107996 clauses out of 216018 with flag 33195302/5985000
572.73/573.98	c cleaning 108997 clauses out of 218022 with flag 33761758/6095000
588.49/589.71	c cleaning 110002 clauses out of 220029 with flag 34334857/6206004
603.77/605.06	c cleaning 110995 clauses out of 222023 with flag 34890867/6318000
620.44/621.75	c cleaning 112008 clauses out of 224029 with flag 35460790/6431001
636.69/638.05	c cleaning 113000 clauses out of 226020 with flag 36033203/6545000
655.01/656.47	c cleaning 113998 clauses out of 228020 with flag 36614773/6660000
672.62/674.10	c cleaning 114995 clauses out of 230023 with flag 37185810/6776001
690.45/691.98	c cleaning 115998 clauses out of 232027 with flag 37765052/6893000
707.15/708.67	c cleaning 117008 clauses out of 234029 with flag 38349943/7011000
724.26/725.85	c cleaning 118006 clauses out of 236022 with flag 38964769/7130001
741.28/742.85	c cleaning 118989 clauses out of 238016 with flag 39572363/7250001
757.89/759.57	c cleaning 120013 clauses out of 240026 with flag 40187288/7371000
775.80/777.42	c cleaning 121001 clauses out of 242014 with flag 40801976/7493001
792.59/794.28	c cleaning 121996 clauses out of 244014 with flag 41399319/7616002
810.62/812.35	c cleaning 122997 clauses out of 246018 with flag 42013164/7740002
828.94/830.64	c cleaning 124002 clauses out of 248019 with flag 42649265/7865000
847.97/849.71	c cleaning 125002 clauses out of 250019 with flag 43280660/7991002
866.97/868.71	c cleaning 126000 clauses out of 252015 with flag 43902332/8118000
885.11/886.97	c cleaning 127005 clauses out of 254015 with flag 44531400/8246000
904.47/906.36	c cleaning 127999 clauses out of 256012 with flag 45171487/8375002
923.79/925.61	c cleaning 128996 clauses out of 258011 with flag 45825481/8505000
944.02/945.91	c cleaning 130000 clauses out of 260016 with flag 46481501/8636001
964.30/966.22	c cleaning 130999 clauses out of 262016 with flag 47143510/8768001
984.76/986.79	c cleaning 131997 clauses out of 264016 with flag 47802274/8901000
1004.82/1006.87	c cleaning 132999 clauses out of 266019 with flag 48468757/9035000
1026.08/1028.12	c cleaning 134001 clauses out of 268021 with flag 49153860/9170001
1048.52/1050.61	c cleaning 135000 clauses out of 270020 with flag 49831556/9306001
1070.28/1072.49	c cleaning 136002 clauses out of 272019 with flag 50506397/9443000
1093.14/1095.38	c cleaning 136998 clauses out of 274019 with flag 51206386/9581002
1115.26/1117.58	c cleaning 138001 clauses out of 276019 with flag 51899393/9720000
1137.27/1139.54	c cleaning 138994 clauses out of 278018 with flag 52614571/9860000
1160.88/1163.21	c cleaning 140000 clauses out of 280025 with flag 53334291/10001001
1184.81/1187.23	c cleaning 141000 clauses out of 282025 with flag 54029691/10143001
1208.49/1210.92	c cleaning 142004 clauses out of 284025 with flag 54748578/10286001
1231.93/1234.49	c cleaning 142998 clauses out of 286020 with flag 55465499/10430000
1258.06/1271.52	c cleaning 144005 clauses out of 288022 with flag 56194004/10575000
1282.49/1296.81	c cleaning 144994 clauses out of 290018 with flag 56907091/10721001
1308.00/1322.45	c cleaning 146002 clauses out of 292025 with flag 57632080/10868002
1332.39/1346.80	c cleaning 147002 clauses out of 294021 with flag 58360932/11016000
1358.42/1373.19	c cleaning 147995 clauses out of 296020 with flag 59096601/11165001
1383.42/1398.29	c cleaning 149001 clauses out of 298025 with flag 59845733/11315001
1410.08/1424.94	c cleaning 150001 clauses out of 300023 with flag 60581601/11466000
1436.86/1451.74	c cleaning 151003 clauses out of 302022 with flag 61329204/11618000
1462.64/1477.57	c cleaning 152003 clauses out of 304022 with flag 62092481/11771003
1490.63/1505.66	c cleaning 152996 clauses out of 306018 with flag 62860915/11925002
1517.01/1532.07	c cleaning 153994 clauses out of 308020 with flag 63638324/12080000
1545.08/1560.15	c cleaning 154995 clauses out of 310026 with flag 64402418/12236000
1575.45/1590.65	c cleaning 156003 clauses out of 312032 with flag 65188094/12393001
1604.78/1620.45	c cleaning 157000 clauses out of 314028 with flag 65959895/12551000
1632.71/1648.70	c cleaning 158000 clauses out of 316029 with flag 66740157/12710001
1663.16/1679.50	c cleaning 159003 clauses out of 318028 with flag 67512201/12870000
1693.76/1710.62	c cleaning 159999 clauses out of 320025 with flag 68306044/13031000
1722.44/1739.77	c cleaning 161001 clauses out of 322026 with flag 69081126/13193000
1751.72/1769.49	c cleaning 162007 clauses out of 324026 with flag 69874742/13356001
1782.24/1800.32	c cleaning 162992 clauses out of 326018 with flag 70683185/13520000
1814.29/1832.85	c cleaning 164009 clauses out of 328028 with flag 71493297/13685002
1845.43/1864.29	c cleaning 165000 clauses out of 330021 with flag 72298399/13851004
1877.66/1896.86	c cleaning 165995 clauses out of 332018 with flag 73128858/14018001
1910.87/1930.34	c cleaning 167003 clauses out of 334025 with flag 73954571/14186003
1944.33/1964.40	c cleaning 167992 clauses out of 336021 with flag 74798457/14355002
1977.89/1998.45	c cleaning 169007 clauses out of 338028 with flag 75632240/14525001
2011.82/2032.68	c cleaning 170005 clauses out of 340022 with flag 76478470/14696002
2044.98/2067.11	c cleaning 170999 clauses out of 342017 with flag 77329567/14868002
2077.78/2100.02	c cleaning 171994 clauses out of 344016 with flag 78195730/15041000
2112.37/2135.07	c cleaning 173009 clauses out of 346026 with flag 79069751/15215004
2147.41/2170.30	c cleaning 173988 clauses out of 348014 with flag 79937492/15390001
2182.47/2205.42	c cleaning 175007 clauses out of 350027 with flag 80828471/15566002
2218.25/2241.30	c cleaning 176006 clauses out of 352020 with flag 81710898/15743002
2255.85/2279.15	c cleaning 176996 clauses out of 354013 with flag 82582916/15921001
2289.81/2313.24	c cleaning 178006 clauses out of 356020 with flag 83470023/16100004
2326.75/2350.59	c cleaning 179002 clauses out of 358011 with flag 84362803/16280001
2363.92/2387.86	c cleaning 179992 clauses out of 360008 with flag 85274719/16461000
2399.67/2423.74	c cleaning 181000 clauses out of 362016 with flag 86153985/16643000
2439.50/2463.86	c cleaning 181998 clauses out of 364016 with flag 87056507/16826000
2476.47/2501.00	c cleaning 183000 clauses out of 366018 with flag 87982069/17010000
2514.24/2538.82	c cleaning 184002 clauses out of 368021 with flag 88905647/17195003
2554.26/2579.10	c cleaning 185003 clauses out of 370018 with flag 89814598/17381002
2593.47/2618.57	c cleaning 185991 clauses out of 372014 with flag 90740638/17568001
2633.30/2658.55	c cleaning 186999 clauses out of 374022 with flag 91676261/17756000
2674.65/2700.07	c cleaning 188001 clauses out of 376024 with flag 92593185/17945001
2714.56/2740.26	c cleaning 188998 clauses out of 378022 with flag 93510488/18135000
2757.02/2783.03	c cleaning 190001 clauses out of 380024 with flag 94472450/18326000
2799.28/2825.41	c cleaning 191003 clauses out of 382023 with flag 95422888/18518000
2841.82/2868.21	c cleaning 192000 clauses out of 384022 with flag 96384672/18711002
2884.91/2911.65	c cleaning 193005 clauses out of 386021 with flag 97345463/18905001
2928.41/2955.40	c cleaning 194003 clauses out of 388015 with flag 98279850/19100000
2972.97/3000.28	c cleaning 194994 clauses out of 390013 with flag 99209015/19296001
3016.96/3044.52	c cleaning 196002 clauses out of 392018 with flag 100181326/19493000
3064.12/3091.83	c cleaning 196993 clauses out of 394016 with flag 101161391/19691000
3109.98/3137.91	c cleaning 198000 clauses out of 396025 with flag 102128446/19890002
3156.24/3184.47	c cleaning 199008 clauses out of 398025 with flag 103089568/20090002
3200.31/3229.10	c cleaning 199999 clauses out of 400015 with flag 104057856/20291000
3248.46/3277.38	c cleaning 200999 clauses out of 402017 with flag 105029124/20493001
3295.06/3324.36	c cleaning 201995 clauses out of 404017 with flag 106005051/20696000
3341.28/3370.75	c cleaning 203001 clauses out of 406023 with flag 106996738/20900001
3389.12/3418.84	c cleaning 203998 clauses out of 408021 with flag 107994466/21105000
3438.12/3469.10	c cleaning 205002 clauses out of 410026 with flag 108984844/21311003
3486.92/3518.20	c cleaning 206005 clauses out of 412022 with flag 109974304/21518001
3538.02/3569.56	c cleaning 206994 clauses out of 414016 with flag 110985172/21726000
3588.07/3619.83	c cleaning 208001 clauses out of 416022 with flag 112025924/21935000
3600.08/3631.82	c starts		: 47878
3600.08/3631.82	c timeout
3600.08/3631.82	c conflicts		: 22000341
3600.08/3631.82	c decisions		: 30663275
3600.08/3631.82	c propagations		: 390428031
3600.08/3631.82	c inspects		: 64977132206
3600.08/3631.82	c shortcuts		: 0
3600.08/3631.82	c learnt literals	: 0
3600.08/3631.82	c learnt binary clauses	: 0
3600.08/3631.82	c learnt ternary clauses	: 0
3600.08/3631.82	c learnt constraints	: 22000341
3600.08/3631.82	c ignored constraints	: 0
3600.08/3631.82	c root simplifications	: 0
3600.08/3631.82	c removed literals (reason simplification)	: 33351986
3600.08/3631.82	c reason swapping (by a shorter reason)	: 0
3600.08/3631.82	c Calls to reduceDB	: 205
3600.08/3631.82	c Number of update (reduction) of LBD	: 5778907
3600.08/3631.82	c Imported unit clauses	: 0
3600.08/3631.82	c No decision after first conflict	: false
3600.08/3631.82	c number of reductions to clauses (during analyze)	: 0
3600.08/3631.82	c number of learned constraints concerned by reduction	: 0
3600.08/3631.82	c number of learning phase by resolution	: 0
3600.08/3631.82	c number of learning phase by cutting planes	: 0
3600.08/3631.82	c number of rounding to 1 operations	: 0
3600.08/3631.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3631.82	c number of reductions of the coefficients by power 2 	: 0
3600.08/3631.82	c number of right shift for reduction by power 2 	: 0
3600.08/3631.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3631.82	c number of ending skipping 	: 0
3600.08/3631.82	c number of internal skipping 	: 0
3600.08/3631.82	c number of derivation steps 	: 0
3600.08/3631.82	c number of skipped derivation steps 	: 0
3600.08/3631.82	c number of remaining unassigned 	: 0
3600.08/3631.82	c number of remaining assigned 	: 0
3600.08/3631.82	c number of falsified literals weakened from reason	: 0
3600.08/3631.82	c number of falsified literals weakened from conflict	: 0
3600.08/3631.82	c time for arithmetic operations	: 0
3600.08/3631.82	c minimum degree of deleted constraints	: null
3600.08/3631.82	c maximum degree of deleted constraints	: null
3600.08/3631.82	c number of deleted constraints	: 0
3600.08/3631.83	c speed (assignments/second)	: 107511.86042746114
3600.08/3631.83	c non guided choices	: 117944
3600.08/3631.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 273362
3600.08/3631.88	s UNKNOWN
3600.08/3631.88	c Total wall clock time (in seconds): 3631.59

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61580 MiB free)
  memory of node 1: 64510 MiB (62156 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=200203, runsolver pid=200192

[startup+0.100058 s]*
/proc/loadavg: 1.01 1.40 2.15 2/267 200215
/proc/meminfo: memFree=126657452/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=16431484 memory=22864 CPUtime=0 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 1505 0 81 0 0 0 0 0 20 0 2 0 20888292 16825839616 5650 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16784588 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4107871 5716 3524 1 0 4847 0
[pid=200203/tid=200211] ppid=200192 vsize=16809112 memory=4026531971 CPUtime=0 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 1001 0 51 0 0 0 0 0 20 0 3 0 20888296 17212530688 5716 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 5 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200216] ppid=200192 vsize=16809112 memory=1555553 CPUtime=0 cores=4,6
/proc/200203/task/200216/stat : 200216 (java) R 200192 200203 200135 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 3 0 20888303 17212530688 5716 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16431484 KiB
Current children cumulated memory: 22864 KiB

[startup+0.207441 s]*
/proc/loadavg: 1.01 1.40 2.15 11/331 200279
/proc/meminfo: memFree=126532024/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=18975048 memory=55380 CPUtime=0.06 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 6517 0 148 0 4 2 0 0 20 0 18 0 20888292 19430449152 13845 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4743762 13845 5508 1 0 548745 0
[pid=200203/tid=200211] ppid=200192 vsize=18975048 memory=3461362060219711619 CPUtime=0.04 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 5375 0 104 0 3 1 0 0 20 0 18 0 20888296 19430449152 13845 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=18975048 memory=1555553 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 13845 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=18975048 memory=16098173902915238 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 13845 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55380 KiB

[startup+0.307003 s]*
/proc/loadavg: 1.01 1.40 2.15 16/331 200279
/proc/meminfo: memFree=126475504/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=18975048 memory=68056 CPUtime=0.21 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 7471 0 148 0 19 2 0 0 20 0 18 0 20888292 19430449152 17014 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4743762 17014 5665 1 0 549514 0
[pid=200203/tid=200211] ppid=200192 vsize=18975048 memory=-9103016661251498684 CPUtime=0.12 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 5928 0 104 0 11 1 0 0 20 0 18 0 20888296 19430449152 17014 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=18975048 memory=1470208041383723609 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20888310 19430449152 17014 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 20888311 19430449152 17014 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68056 KiB

[startup+0.707304 s]
/proc/loadavg: 1.01 1.40 2.15 14/335 200283
/proc/meminfo: memFree=125714904/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19041612 memory=117204 CPUtime=0.98 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 14932 0 148 0 94 4 0 0 20 0 19 0 20888292 19498610688 29301 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4760403 29301 5787 1 0 553532 0
[pid=200203/tid=200211] ppid=200192 vsize=19041612 memory=12348 CPUtime=0.48 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 6058 0 104 0 46 2 0 0 20 0 19 0 20888296 19498610688 29301 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19041612 memory=280726981637072 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20888310 19498610688 29301 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19041612 memory=15888 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 20888311 19498610688 29301 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19041612 memory=2372 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 20888326 19498610688 29301 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117204 KiB

[startup+1.50731 s]
/proc/loadavg: 1.01 1.40 2.15 15/338 200286
/proc/meminfo: memFree=124730436/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=180860 CPUtime=2.57 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 21590 0 148 0 250 7 0 0 20 0 20 0 20888292 19566772224 45215 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 45215 5819 1 0 554835 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=0 CPUtime=1.27 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 6527 0 104 0 123 4 0 0 20 0 20 0 20888296 19566772224 45215 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 45215 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=3694 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 45215 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=2244 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 45215 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180860 KiB

[startup+3.10701 s]
/proc/loadavg: 1.01 1.40 2.15 7/339 200287
/proc/meminfo: memFree=124524900/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=203904 CPUtime=4.68 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 24249 0 148 0 459 9 0 0 20 0 20 0 20888292 19566772224 50976 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 50976 5833 1 0 554843 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=0 CPUtime=2.85 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 6877 0 104 0 279 6 0 0 20 0 20 0 20888296 19566772224 50976 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=2308 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 50976 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 50976 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=3694 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 50976 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203904 KiB

[startup+6.30024 s]
/proc/loadavg: 1.25 1.44 2.16 8/339 200289
/proc/meminfo: memFree=122917552/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=460104 CPUtime=8 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 28216 0 148 0 783 17 0 0 20 0 20 0 20888292 19566772224 115026 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 115026 5833 1 0 554845 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=0 CPUtime=6 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 7667 0 104 0 587 13 0 0 20 0 20 0 20888296 19566772224 115026 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=7378677851142384481 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 115026 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 115026 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=13492 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 115026 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 460104 KiB

[startup+12.7003 s]
/proc/loadavg: 1.47 1.49 2.17 8/339 200289
/proc/meminfo: memFree=122108340/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=722268 CPUtime=14.39 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 30487 0 148 0 1413 26 0 0 20 0 20 0 20888292 19566772224 180567 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 180567 5833 1 0 554845 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=5500 CPUtime=12.37 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 8634 0 104 0 1215 22 0 0 20 0 20 0 20888296 19566772224 180567 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=-9030959067213570748 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 180567 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=68676 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 180567 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=-9030959067213570748 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 180567 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 722268 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 1.61 2.20 6/339 200290
/proc/meminfo: memFree=120519660/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=917012 CPUtime=27.6 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 37845 0 148 0 2721 39 0 0 20 0 20 0 20888292 19566772224 229253 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 229253 5833 1 0 554845 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=-9030959067213570748 CPUtime=25.1 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 9845 0 104 0 2477 33 0 0 20 0 20 0 20888296 19566772224 229253 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 229253 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 229253 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 229253 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 27.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 917012 KiB

[startup+51.107 s]
/proc/loadavg: 2.76 1.82 2.25 8/339 200295
/proc/meminfo: memFree=116376204/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1318536 CPUtime=53.09 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 43887 0 148 0 5251 58 0 0 20 0 20 0 20888292 19566772224 329634 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 329634 5849 1 0 554845 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1318532 CPUtime=50.53 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 12189 0 104 0 5002 51 0 0 20 0 20 0 20888296 19566772224 329634 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=1314428 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 329634 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=1314428 CPUtime=0 cores=4,6

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

[pid=200203] ppid=200192 vsize=19108176 memory=1966212 CPUtime=3313.02 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 147375 0 148 0 330557 745 0 0 20 0 20 0 20888292 19566772224 491553 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 491553 5850 1 0 554882 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1966212 CPUtime=3300.35 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 66322 0 104 0 329384 651 0 0 20 0 20 0 20888296 19566772224 491553 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2664 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=1966212 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 491553 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=1966212 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3285 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 491553 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=1966212 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 491553 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3313.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1966212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.12 9/337 202116
/proc/meminfo: memFree=62844284/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1998996 CPUtime=3372.7 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 149105 0 148 0 336514 756 0 0 20 0 20 0 20888292 19566772224 499749 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 499749 5850 1 0 554888 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1966212 CPUtime=3359.86 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 67746 0 104 0 335326 660 0 0 20 0 20 0 20888296 19566772224 499749 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2690 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 499749 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=68676 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3366 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 499749 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=5072 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 499749 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3372.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1998996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 7/340 202132
/proc/meminfo: memFree=62041100/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1999016 CPUtime=3431.38 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 150528 0 148 0 342373 765 0 0 20 0 20 0 20888292 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 499754 5850 1 0 554891 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1966212 CPUtime=3418.38 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 68808 0 104 0 341171 667 0 0 20 0 20 0 20888296 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2814 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=1999016 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=1999016 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3383 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=13492 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3431.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1999016 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 6/341 202144
/proc/meminfo: memFree=61253864/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1999016 CPUtime=3491.02 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 153241 0 148 0 348330 772 0 0 20 0 20 0 20888292 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 499754 5850 1 0 554891 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1999016 CPUtime=3477.85 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 70141 0 104 0 347111 674 0 0 20 0 20 0 20888296 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2844 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=13492 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=13492 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3439 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=1999016 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3491.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1999016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/340 202154
/proc/meminfo: memFree=60425276/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1999016 CPUtime=3550.75 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 155125 0 148 0 354293 782 0 0 20 0 20 0 20888292 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 499754 5850 1 0 554891 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=13492 CPUtime=3537.48 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 71148 0 104 0 353066 682 0 0 20 0 20 0 20888296 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2862 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=1999016 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=32176 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3495 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3550.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1999016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631.8 s]
/proc/loadavg: 4.02 4.12 4.09 4/290 202228
/proc/meminfo: memFree=84801564/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19108176 memory=1999016 CPUtime=3600.08 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 155979 0 148 0 359217 791 0 0 20 0 20 0 20888292 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 4 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4777044 499754 5850 1 0 554891 0
[pid=200203/tid=200211] ppid=200192 vsize=19108176 memory=1470776484633870937 CPUtime=3586.71 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) R 200192 200203 200135 0 -1 4194368 71863 0 104 0 357981 690 0 0 20 0 20 0 20888296 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2871 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19108176 memory=2756 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20888310 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19108176 memory=2760 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3558 0 0 0 0 0 0 0 20 0 20 0 20888311 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200280] ppid=200192 vsize=19108176 memory=33600 CPUtime=0 cores=4,6
/proc/200203/task/200280/stat : 200280 (Timer-0) S 200192 200203 200135 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20888326 19566772224 499754 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1999016 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.29 s, system=7.92916 s

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

[startup+3632 s]*
/proc/loadavg: 4.02 4.12 4.09 1/286 202231
/proc/meminfo: memFree=84791868/131524600 swapFree=131056028/131071996
[pid=200203] ppid=200192 vsize=19307868 memory=1999696 CPUtime=3600.21 cores=4,6
/proc/200203/stat : 200203 (java) S 200192 200203 200135 0 -1 1077936128 158577 0 148 0 359229 792 0 0 20 0 16 0 20888292 19771256832 499924 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 0 0 16800975 0 0 0 17 6 0 0 2 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
/proc/200203/statm: 4826967 499924 5848 1 0 555802 0
[pid=200203/tid=200211] ppid=200192 vsize=19307868 memory=1616 CPUtime=3586.72 cores=4,6
/proc/200203/task/200211/stat : 200211 (java) D 200192 200203 200135 0 -1 4194368 72156 0 104 0 357982 690 0 0 20 0 16 0 20888296 19771256832 499924 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2871 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200250] ppid=200192 vsize=19307868 memory=39000 CPUtime=0 cores=4,6
/proc/200203/task/200250/stat : 200250 (Finalizer) S 200192 200203 200135 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 16 0 20888310 19771256832 499924 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
[pid=200203/tid=200276] ppid=200192 vsize=19307868 memory=1470776484633870937 CPUtime=0 cores=4,6
/proc/200203/task/200276/stat : 200276 (Common-Cleaner) S 200192 200203 200135 0 -1 1077936192 3558 0 0 0 0 0 0 0 20 0 16 0 20888311 19771256832 499924 134679101440 94801205432320 94801205436016 140724345210960 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94801205443832 94801205444624 94801225814016 140724345213867 140724345214049 140724345214049 140724345221064 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1999696 KiB

[startup+3632.8 s]
/proc/loadavg: 4.02 4.12 4.09 2/272 202231
/proc/meminfo: memFree=84791876/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3633 s]*
/proc/loadavg: 4.02 4.12 4.09 1/272 202231
/proc/meminfo: memFree=84792428/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3633.1 s]
/proc/loadavg: 4.02 4.12 4.09 1/272 202231
/proc/meminfo: memFree=84792428/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3633.15
CPU time (s): 3600.22
CPU user time (s): 3592.29
CPU system time (s): 7.92916
CPU usage (%): 99.0936
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1999696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.29
system time used= 7.92916
maximum resident set size= 2000708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158626
page faults= 148
swaps= 0
block input operations= 30432
block output operations= 6462856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109478
involuntary context switches= 7396


# summary of solver processes directly reported to runsolver:
#   pid: 200203
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3592.29
#   total CPU system time (s): 7.92916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.24146 second user time and 20.9015 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 19:53:18
IDJOB=4453762
IDBENCH=175877
IDSOLVER=3079
FILE ID=nodeC016/4453762-1721843598
RUNJOBID= nodeC016-1721843598-200146
SLURM_JOB_ID= 7891586
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-70.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453762-1721843598/watcher-4453762-1721843598 -o /tmp/evaluation-result-4453762-1721843598/solver-4453762-1721843598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721843598-200146 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453762-1721843598 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453762-1721843598.opb

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

MD5SUM BENCH= 910ccac47c65ba0051d9c956ec5a939d
RANDOM SEED=1039846711

nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126708448 kB
MemAvailable:   129578356 kB
Buffers:          266824 kB
Cached:          3285168 kB
SwapCached:          284 kB
Active:          2262304 kB
Inactive:        1658544 kB
Active(anon):       2308 kB
Inactive(anon):   418948 kB
Active(file):    2259996 kB
Inactive(file):  1239596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              3852 kB
Writeback:             0 kB
AnonPages:        368792 kB
Mapped:           102748 kB
Shmem:             52400 kB
KReclaimable:     419928 kB
Slab:             540432 kB
SReclaimable:     419928 kB
SUnreclaim:       120504 kB
KernelStack:        3936 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-24 20:53:51