Trace number 4452472

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.24 3618.12

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-mine-90-10.0.u.opb
MD5SUM655e29d3d11acc2b2e2d8217bccdc3c7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark61.7102
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints6271
Number of constraints which are clauses6250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21
Minimum length of a constraint2
Maximum length of a constraint900
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 212908544
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 712908561
Number of bits of the biggest sum of numbers30
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	--- Begin Solver configuration ---
0.10/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.14	Learn all clauses as in MiniSAT
0.10/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	Expensive reason simplification
0.10/0.14	Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	timeout=2147483s
0.10/0.14	DB Simplification allowed=false
0.10/0.14	Listener: none
0.10/0.14	--- End Solver configuration ---
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4452472-1721841378.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c using VERIPB proof format
0.10/0.15	c  no objective function found
0.30/0.24	c ... done. Wall clock time 0.088s.
0.30/0.24	c declared #vars     900
0.30/0.24	c #constraints  6271
0.30/0.24	c constraints type 
0.30/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6250
0.30/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.30/0.24	c 6271 constraints processed.
2.41/1.36	c cleaning 2496 clauses out of 4991 with flag 13797/5000
3.49/1.98	c cleaning 4243 clauses out of 8495 with flag 32484/11000
4.55/2.72	c cleaning 5623 clauses out of 11252 with flag 55861/18000
5.41/3.46	c cleaning 6815 clauses out of 13629 with flag 83019/26000
6.43/4.28	c cleaning 7908 clauses out of 15815 with flag 109825/35001
7.45/5.21	c cleaning 8953 clauses out of 17906 with flag 144139/45000
8.63/6.21	c cleaning 9976 clauses out of 19954 with flag 181292/56001
10.00/7.43	c cleaning 10980 clauses out of 21975 with flag 225997/68000
11.49/8.93	c cleaning 11996 clauses out of 23998 with flag 272418/81003
13.12/10.55	c cleaning 12999 clauses out of 26000 with flag 319432/95001
14.54/11.70	c cleaning 13995 clauses out of 28001 with flag 365014/110001
16.54/13.79	c cleaning 14999 clauses out of 30006 with flag 413575/126001
18.81/15.94	c cleaning 16007 clauses out of 32014 with flag 469326/143008
20.77/17.85	c cleaning 16998 clauses out of 33999 with flag 538699/161000
22.77/19.87	c cleaning 17991 clauses out of 36001 with flag 612949/180000
24.78/21.95	c cleaning 19002 clauses out of 38011 with flag 689552/200001
27.28/24.50	c cleaning 19994 clauses out of 40008 with flag 762095/221000
29.69/26.88	c cleaning 20996 clauses out of 42014 with flag 846759/243000
31.68/28.88	c cleaning 22007 clauses out of 44022 with flag 930318/266004
34.10/31.37	c cleaning 22998 clauses out of 46011 with flag 1016271/290000
37.00/34.22	c cleaning 24004 clauses out of 48013 with flag 1104108/315000
39.60/36.85	c cleaning 24987 clauses out of 50010 with flag 1200431/341001
42.29/39.53	c cleaning 26005 clauses out of 52022 with flag 1305153/368000
45.28/42.59	c cleaning 27003 clauses out of 54017 with flag 1408172/396000
48.38/45.61	c cleaning 27998 clauses out of 56014 with flag 1505354/425000
51.38/48.61	c cleaning 29002 clauses out of 58018 with flag 1606622/455002
54.58/51.89	c cleaning 29993 clauses out of 60015 with flag 1712180/486001
58.17/55.43	c cleaning 30997 clauses out of 62021 with flag 1817052/518000
62.47/59.77	c cleaning 32009 clauses out of 64024 with flag 1930338/551000
67.06/64.51	c cleaning 32998 clauses out of 66016 with flag 2055281/585001
71.47/68.97	c cleaning 34003 clauses out of 68016 with flag 2168709/620000
75.93/73.32	c cleaning 34993 clauses out of 70013 with flag 2286175/656000
80.65/78.09	c cleaning 36010 clauses out of 72019 with flag 2397782/693000
85.15/82.58	c cleaning 37002 clauses out of 74013 with flag 2520796/731004
90.05/87.42	c cleaning 37993 clauses out of 76007 with flag 2639112/770000
94.74/92.11	c cleaning 38993 clauses out of 78014 with flag 2773737/810000
99.51/97.02	c cleaning 40003 clauses out of 80021 with flag 2928090/851000
104.89/102.49	c cleaning 41000 clauses out of 82020 with flag 3065027/893003
109.69/107.20	c cleaning 42004 clauses out of 84017 with flag 3194723/936000
114.69/112.26	c cleaning 42978 clauses out of 86016 with flag 3329006/980003
120.29/117.85	c cleaning 44009 clauses out of 88036 with flag 3472623/1025001
126.23/123.80	c cleaning 45003 clauses out of 90027 with flag 3636231/1071001
132.93/130.74	c cleaning 45998 clauses out of 92023 with flag 3791169/1118000
138.97/136.82	c cleaning 47001 clauses out of 94026 with flag 3939638/1166001
144.55/142.42	c cleaning 48009 clauses out of 96028 with flag 4096149/1215004
151.43/149.37	c cleaning 48994 clauses out of 98015 with flag 4313691/1265000
159.03/157.11	c cleaning 49998 clauses out of 100021 with flag 4487550/1316000
166.79/164.85	c cleaning 51001 clauses out of 102024 with flag 4664562/1368001
173.39/171.49	c cleaning 52013 clauses out of 104026 with flag 4864682/1421004
180.46/178.51	c cleaning 52988 clauses out of 106010 with flag 5074213/1475001
187.14/185.28	c cleaning 54007 clauses out of 108021 with flag 5285180/1530000
194.61/192.82	c cleaning 54998 clauses out of 110015 with flag 5528032/1586001
202.39/200.63	c cleaning 56002 clauses out of 112018 with flag 5746621/1643002
210.77/209.06	c cleaning 56998 clauses out of 114014 with flag 5946520/1701000
218.36/216.66	c cleaning 57991 clauses out of 116017 with flag 6144049/1760001
226.97/225.32	c cleaning 58993 clauses out of 118025 with flag 6366773/1820000
236.65/234.93	c cleaning 60011 clauses out of 120033 with flag 6581750/1881001
246.28/244.52	c cleaning 61004 clauses out of 122021 with flag 6805362/1943000
255.93/254.26	c cleaning 62001 clauses out of 124018 with flag 7009025/2006001
265.26/263.58	c cleaning 62989 clauses out of 126016 with flag 7241073/2070000
273.27/271.59	c cleaning 64003 clauses out of 128028 with flag 7487387/2135001
282.63/284.94	c cleaning 64999 clauses out of 130024 with flag 7728686/2201000
291.67/293.99	c cleaning 65997 clauses out of 132025 with flag 7968646/2268000
301.65/303.86	c cleaning 66992 clauses out of 134028 with flag 8222062/2336000
313.25/315.54	c cleaning 68006 clauses out of 136036 with flag 8500346/2405000
323.44/325.79	c cleaning 69000 clauses out of 138030 with flag 8760612/2475000
332.79/335.15	c cleaning 70005 clauses out of 140031 with flag 9058996/2546001
343.72/346.36	c cleaning 70992 clauses out of 142025 with flag 9346841/2618000
353.55/356.11	c cleaning 72009 clauses out of 144037 with flag 9646859/2691004
364.27/366.82	c cleaning 73002 clauses out of 146024 with flag 9941610/2765000
374.96/378.21	c cleaning 73999 clauses out of 148021 with flag 10225794/2840000
386.77/390.06	c cleaning 74991 clauses out of 150023 with flag 10543937/2916001
399.83/403.30	c cleaning 75999 clauses out of 152034 with flag 10828663/2993003
412.71/416.12	c cleaning 77006 clauses out of 154034 with flag 11095712/3071002
423.89/427.38	c cleaning 78003 clauses out of 156028 with flag 11350972/3150002
436.41/439.93	c cleaning 78990 clauses out of 158025 with flag 11641794/3230002
449.43/453.03	c cleaning 80000 clauses out of 160034 with flag 11982409/3311001
462.67/466.45	c cleaning 81012 clauses out of 162033 with flag 12289705/3393000
475.54/479.32	c cleaning 82009 clauses out of 164022 with flag 12590788/3476001
488.38/492.19	c cleaning 83001 clauses out of 166012 with flag 12957298/3560000
501.75/505.52	c cleaning 83988 clauses out of 168014 with flag 13337200/3645003
515.45/519.37	c cleaning 85000 clauses out of 170023 with flag 13673221/3731000
528.71/532.72	c cleaning 86001 clauses out of 172023 with flag 14024610/3818000
542.74/546.71	c cleaning 87002 clauses out of 174023 with flag 14373928/3906001
556.42/560.48	c cleaning 88000 clauses out of 176020 with flag 14737182/3995000
571.17/575.18	c cleaning 88982 clauses out of 178021 with flag 15082345/4085001
586.58/590.60	c cleaning 90003 clauses out of 180038 with flag 15485796/4176000
601.02/605.08	c cleaning 91014 clauses out of 182035 with flag 15802462/4268000
615.97/620.13	c cleaning 91992 clauses out of 184021 with flag 16175359/4361000
631.11/635.35	c cleaning 92988 clauses out of 186029 with flag 16554670/4455000
647.34/651.71	c cleaning 94021 clauses out of 188043 with flag 16883856/4550003
663.62/668.02	c cleaning 94994 clauses out of 190019 with flag 17227342/4646000
678.62/683.33	c cleaning 96005 clauses out of 192026 with flag 17598365/4743001
694.76/699.48	c cleaning 97001 clauses out of 194021 with flag 17962164/4841001
711.20/716.06	c cleaning 98003 clauses out of 196022 with flag 18342244/4940004
730.23/735.07	c cleaning 99001 clauses out of 198016 with flag 18673535/5040002
748.49/753.20	c cleaning 99995 clauses out of 200013 with flag 19029861/5141000
766.09/770.77	c cleaning 100999 clauses out of 202020 with flag 19517379/5243002
782.83/787.51	c cleaning 102005 clauses out of 204019 with flag 19918535/5346000
797.64/802.30	c cleaning 103001 clauses out of 206019 with flag 20293992/5450005
812.88/817.64	c cleaning 103997 clauses out of 208013 with flag 20679547/5555000
834.70/839.59	c cleaning 105004 clauses out of 210016 with flag 21109765/5661000
853.28/858.13	c cleaning 105995 clauses out of 212012 with flag 21460780/5768000
869.87/874.96	c cleaning 106991 clauses out of 214019 with flag 21870434/5876002
888.41/893.52	c cleaning 107995 clauses out of 216026 with flag 22285511/5985000
905.41/910.77	c cleaning 109012 clauses out of 218033 with flag 22698028/6095002
924.19/929.65	c cleaning 110001 clauses out of 220021 with flag 23123994/6206002
945.48/951.01	c cleaning 110984 clauses out of 222017 with flag 23608123/6318000
967.98/973.62	c cleaning 112013 clauses out of 224034 with flag 24010506/6431001
986.11/991.65	c cleaning 113003 clauses out of 226022 with flag 24511126/6545002
1006.52/1012.14	c cleaning 113994 clauses out of 228020 with flag 24930810/6660003
1028.57/1034.43	c cleaning 115009 clauses out of 230026 with flag 25425621/6776003
1049.38/1055.31	c cleaning 116002 clauses out of 232014 with flag 25809700/6893000
1068.76/1074.61	c cleaning 116982 clauses out of 234013 with flag 26225428/7011001
1092.58/1098.56	c cleaning 118003 clauses out of 236030 with flag 26687888/7130000
1113.80/1119.81	c cleaning 118994 clauses out of 238027 with flag 27250037/7250000
1138.46/1144.57	c cleaning 120013 clauses out of 240033 with flag 27706740/7371000
1160.94/1166.94	c cleaning 120989 clauses out of 242021 with flag 28183807/7493001
1180.71/1187.83	c cleaning 121994 clauses out of 244032 with flag 28650356/7616001
1202.64/1209.87	c cleaning 123015 clauses out of 246038 with flag 29096879/7740001
1225.77/1232.92	c cleaning 124005 clauses out of 248023 with flag 29551665/7865001
1252.96/1260.39	c cleaning 124994 clauses out of 250018 with flag 30101030/7991001
1276.81/1284.47	c cleaning 125992 clauses out of 252024 with flag 30620482/8118001
1301.89/1309.70	c cleaning 126996 clauses out of 254031 with flag 31085219/8246000
1337.50/1345.31	c cleaning 128005 clauses out of 256035 with flag 31530347/8375000
1365.92/1373.54	c cleaning 129012 clauses out of 258031 with flag 32019898/8505001
1390.50/1398.19	c cleaning 130008 clauses out of 260023 with flag 32538200/8636005
1415.49/1423.44	c cleaning 130997 clauses out of 262010 with flag 33007180/8768000
1446.05/1454.10	c cleaning 131997 clauses out of 264017 with flag 33507728/8901004
1474.14/1482.23	c cleaning 132995 clauses out of 266016 with flag 34053263/9035000
1502.77/1510.93	c cleaning 134001 clauses out of 268023 with flag 34594774/9170002
1528.53/1536.74	c cleaning 134995 clauses out of 270020 with flag 35157765/9306000
1553.90/1562.01	c cleaning 136002 clauses out of 272028 with flag 35686674/9443003
1574.77/1583.02	c cleaning 137001 clauses out of 274023 with flag 36176785/9581000
1601.91/1610.33	c cleaning 138004 clauses out of 276022 with flag 36774192/9720000
1631.16/1639.75	c cleaning 139004 clauses out of 278020 with flag 37543934/9860003
1658.18/1666.78	c cleaning 139990 clauses out of 280013 with flag 38162612/10001000
1688.63/1697.34	c cleaning 140995 clauses out of 282023 with flag 38700928/10143000
1716.05/1724.96	c cleaning 142009 clauses out of 284030 with flag 39297776/10286002
1750.17/1759.13	c cleaning 142992 clauses out of 286019 with flag 39858078/10430000
1785.89/1794.99	c cleaning 144008 clauses out of 288030 with flag 40457400/10575003
1816.12/1824.98	c cleaning 144998 clauses out of 290020 with flag 41094753/10721001
1847.34/1856.21	c cleaning 146002 clauses out of 292022 with flag 41647614/10868001
1877.65/1886.52	c cleaning 147003 clauses out of 294022 with flag 42263570/11016003
1908.94/1917.89	c cleaning 148000 clauses out of 296016 with flag 42787275/11165000
1940.55/1949.47	c cleaning 149002 clauses out of 298017 with flag 43435314/11315001
1969.52/1978.48	c cleaning 149996 clauses out of 300015 with flag 44091471/11466001
1998.16/2007.13	c cleaning 150996 clauses out of 302018 with flag 44725195/11618000
2032.44/2041.60	c cleaning 151995 clauses out of 304022 with flag 45270336/11771000
2070.47/2079.77	c cleaning 153002 clauses out of 306027 with flag 45822288/11925000
2103.86/2113.33	c cleaning 154003 clauses out of 308026 with flag 46420928/12080001
2133.84/2143.45	c cleaning 155002 clauses out of 310022 with flag 47018814/12236000
2170.06/2179.79	c cleaning 155998 clauses out of 312021 with flag 47558342/12393001
2200.72/2210.36	c cleaning 157003 clauses out of 314023 with flag 48093733/12551001
2232.29/2241.68	c cleaning 158000 clauses out of 316021 with flag 48649671/12710002
2272.08/2281.45	c cleaning 159003 clauses out of 318020 with flag 49223835/12870001
2300.89/2310.27	c cleaning 159993 clauses out of 320017 with flag 49775030/13031001
2334.50/2344.01	c cleaning 160999 clauses out of 322023 with flag 50354172/13193000
2363.60/2373.31	c cleaning 162002 clauses out of 324026 with flag 50954988/13356002
2394.00/2404.07	c cleaning 163003 clauses out of 326022 with flag 51578622/13520000
2423.76/2433.90	c cleaning 163993 clauses out of 328020 with flag 52200279/13685001
2457.21/2467.77	c cleaning 165002 clauses out of 330026 with flag 52836934/13851000
2491.36/2502.18	c cleaning 166004 clauses out of 332025 with flag 53480245/14018001
2532.98/2544.05	c cleaning 167005 clauses out of 334021 with flag 54138859/14186001
2566.39/2577.55	c cleaning 167997 clauses out of 336016 with flag 54708219/14355001
2603.70/2614.86	c cleaning 169000 clauses out of 338018 with flag 55315476/14525000
2651.82/2662.97	c cleaning 170001 clauses out of 340022 with flag 55933166/14696004
2689.50/2700.83	c cleaning 170999 clauses out of 342017 with flag 56540676/14868000
2725.94/2737.39	c cleaning 171999 clauses out of 344018 with flag 57193226/15041000
2763.97/2775.44	c cleaning 173002 clauses out of 346019 with flag 57801900/15215000
2806.67/2818.20	c cleaning 173998 clauses out of 348018 with flag 58434632/15390001
2848.12/2859.74	c cleaning 174999 clauses out of 350020 with flag 59061386/15566001
2891.86/2903.52	c cleaning 175998 clauses out of 352020 with flag 59688644/15743000
2938.37/2950.06	c cleaning 177001 clauses out of 354023 with flag 60325747/15921001
2978.35/2990.02	c cleaning 177999 clauses out of 356021 with flag 60972434/16100000
3021.31/3033.00	c cleaning 179001 clauses out of 358023 with flag 61626183/16280001
3062.04/3074.08	c cleaning 180001 clauses out of 360021 with flag 62304486/16461000
3107.63/3120.51	c cleaning 180997 clauses out of 362020 with flag 62964535/16643000
3150.02/3163.69	c cleaning 182003 clauses out of 364023 with flag 63624563/16826000
3191.90/3206.40	c cleaning 183000 clauses out of 366020 with flag 64322024/17010000
3230.51/3245.60	c cleaning 184000 clauses out of 368020 with flag 65045781/17195000
3279.68/3296.58	c cleaning 184997 clauses out of 370020 with flag 65766961/17381000
3319.99/3337.32	c cleaning 186003 clauses out of 372024 with flag 66464047/17568001
3356.40/3373.82	c cleaning 186995 clauses out of 374020 with flag 67188609/17756000
3395.12/3412.63	c cleaning 188000 clauses out of 376025 with flag 67930535/17945000
3428.50/3446.09	c cleaning 189000 clauses out of 378025 with flag 68692172/18135000
3470.40/3488.11	c cleaning 190004 clauses out of 380026 with flag 69396117/18326001
3501.67/3519.49	c cleaning 191003 clauses out of 382025 with flag 70047604/18518004
3542.56/3560.44	c cleaning 191997 clauses out of 384019 with flag 70738839/18711001
3577.97/3595.99	c cleaning 192995 clauses out of 386021 with flag 71443220/18905000
3600.09/3618.01	c starts		: 24993
3600.09/3618.02	c timeout
3600.09/3618.02	c conflicts		: 19055496
3600.09/3618.02	c decisions		: 23104755
3600.09/3618.02	c propagations		: 362766840
3600.09/3618.02	c inspects		: 22767237064
3600.09/3618.02	c shortcuts		: 0
3600.09/3618.02	c learnt literals	: 20
3600.09/3618.02	c learnt binary clauses	: 82
3600.09/3618.02	c learnt ternary clauses	: 212
3600.09/3618.02	c learnt constraints	: 19055476
3600.09/3618.02	c ignored constraints	: 0
3600.09/3618.03	c root simplifications	: 0
3600.09/3618.03	c removed literals (reason simplification)	: 3632074954
3600.09/3618.03	c reason swapping (by a shorter reason)	: 0
3600.09/3618.03	c Calls to reduceDB	: 190
3600.09/3618.03	c Number of update (reduction) of LBD	: 2202013
3600.09/3618.03	c Imported unit clauses	: 0
3600.09/3618.03	c No decision after first conflict	: false
3600.09/3618.03	c number of reductions to clauses (during analyze)	: 0
3600.09/3618.03	c number of learned constraints concerned by reduction	: 0
3600.09/3618.03	c number of learning phase by resolution	: 0
3600.09/3618.03	c number of learning phase by cutting planes	: 0
3600.09/3618.03	c number of rounding to 1 operations	: 0
3600.09/3618.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3618.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3618.03	c number of right shift for reduction by power 2 	: 0
3600.09/3618.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3618.03	c number of ending skipping 	: 0
3600.09/3618.03	c number of internal skipping 	: 0
3600.09/3618.03	c number of derivation steps 	: 0
3600.09/3618.03	c number of skipped derivation steps 	: 0
3600.09/3618.03	c number of remaining unassigned 	: 0
3600.09/3618.03	c number of remaining assigned 	: 0
3600.09/3618.03	c number of falsified literals weakened from reason	: 0
3600.09/3618.03	c number of falsified literals weakened from conflict	: 0
3600.09/3618.03	c time for arithmetic operations	: 0
3600.09/3618.03	c minimum degree of deleted constraints	: null
3600.09/3618.03	c maximum degree of deleted constraints	: null
3600.09/3618.03	c number of deleted constraints	: 0
3600.09/3618.03	c speed (assignments/second)	: 100273.3555587558
3600.09/3618.03	c non guided choices	: 406
3600.09/3618.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 343440
3600.09/3618.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 82
3600.09/3618.10	s UNKNOWN
3600.09/3618.10	c Total wall clock time (in seconds): 3617.953

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: 63968 MiB (61882 MiB free)
  memory of node 1: 64473 MiB (61048 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=197333, runsolver pid=197330

[startup+0.101114 s]*
/proc/loadavg: 1.10 1.92 2.65 9/327 197402
/proc/meminfo: memFree=125746076/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=18975048 memory=59660 CPUtime=0.1 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 6855 0 1 0 9 1 0 0 20 0 18 0 20667545 19430449152 14915 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4743762 14915 5687 1 0 549007 0
[pid=197333/tid=197335] ppid=197330 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 5670 0 1 0 6 1 0 0 20 0 18 0 20667546 19430449152 14915 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=18975048 memory=1376128 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667550 19430449152 14915 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20667551 19430449152 14915 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59660 KiB

[startup+0.210594 s]*
/proc/loadavg: 1.10 1.92 2.65 15/327 197402
/proc/meminfo: memFree=125615480/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=18975048 memory=73556 CPUtime=0.3 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 7668 0 1 0 29 1 0 0 20 0 18 0 20667545 19430449152 18389 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4743762 18389 5851 1 0 549610 0
[pid=197333/tid=197335] ppid=197330 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 5975 0 1 0 16 1 0 0 20 0 18 0 20667546 19430449152 18389 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=18975048 memory=1376128 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667550 19430449152 18389 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20667551 19430449152 18389 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73556 KiB

[startup+0.310725 s]*
/proc/loadavg: 1.10 1.92 2.65 12/331 197406
/proc/meminfo: memFree=125424580/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19041612 memory=84668 CPUtime=0.48 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 9351 0 1 0 46 2 0 0 20 0 19 0 20667545 19498610688 21167 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4760403 21167 5851 1 0 551021 0
[pid=197333/tid=197335] ppid=197330 vsize=19041612 memory=-8672076242668528316 CPUtime=0.23 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 6065 0 1 0 22 1 0 0 20 0 19 0 20667546 19498610688 21167 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19041612 memory=1469368018913100121 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20667550 19498610688 21167 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20667551 19498610688 21167 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20667570 19498610688 21167 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84668 KiB

[startup+0.700593 s]
/proc/loadavg: 1.10 1.92 2.65 15/332 197407
/proc/meminfo: memFree=124614492/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19041612 memory=131516 CPUtime=1.23 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 10687 0 1 0 120 3 0 0 20 0 19 0 20667545 19498610688 32879 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4760403 32879 5863 1 0 551761 0
[pid=197333/tid=197335] ppid=197330 vsize=19041612 memory=12928 CPUtime=0.55 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 6106 0 1 0 53 2 0 0 20 0 19 0 20667546 19498610688 32879 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19041612 memory=12928 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20667550 19498610688 32879 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19041612 memory=279516337730536 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20667551 19498610688 32879 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19041612 memory=39048 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20667570 19498610688 32879 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131516 KiB

[startup+1.5006 s]
/proc/loadavg: 1.81 2.05 2.69 7/335 197410
/proc/meminfo: memFree=124424648/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=173532 CPUtime=2.81 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 16362 0 1 0 276 5 0 0 20 0 20 0 20667545 19566772224 43383 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 43383 5895 1 0 552994 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=12928 CPUtime=1.32 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 7196 0 1 0 128 4 0 0 20 0 20 0 20667546 19566772224 43383 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=39048 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 43383 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 43383 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 43383 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173532 KiB

[startup+3.10571 s]
/proc/loadavg: 1.81 2.05 2.69 8/333 197476
/proc/meminfo: memFree=123967520/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=243140 CPUtime=5.11 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 23448 0 1 0 503 8 0 0 20 0 20 0 20667545 19566772224 60785 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 60785 5895 1 0 555440 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=0 CPUtime=2.89 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 7585 0 1 0 284 5 0 0 20 0 20 0 20667546 19566772224 60785 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 60785 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 60785 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 60785 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243140 KiB

[startup+6.30159 s]
/proc/loadavg: 2.15 2.12 2.71 7/334 197477
/proc/meminfo: memFree=122257888/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=471620 CPUtime=8.75 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 25117 0 1 0 859 16 0 0 20 0 20 0 20667545 19566772224 117905 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 117905 5895 1 0 555915 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=0 CPUtime=6.07 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 7843 0 1 0 595 12 0 0 20 0 20 0 20667546 19566772224 117905 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 117905 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=-8815053532582212800 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 117905 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 117905 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 471620 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 2.15 2.72 7/333 197545
/proc/meminfo: memFree=122017164/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=750956 CPUtime=15.55 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 31519 0 1 0 1530 25 0 0 20 0 20 0 20667545 19566772224 187739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 187739 5895 1 0 555915 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=12928 CPUtime=12.43 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 9208 0 1 0 1223 20 0 0 20 0 20 0 20667546 19566772224 187739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=6640 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 187739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 187739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 187739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 750956 KiB

[startup+25.5003 s]
/proc/loadavg: 2.71 2.24 2.74 5/335 197549
/proc/meminfo: memFree=116902668/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=1325208 CPUtime=28.38 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 38224 0 1 0 2792 46 0 0 20 0 20 0 20667545 19566772224 331302 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 331302 5895 1 0 555915 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=1325208 CPUtime=25.05 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 10785 0 1 0 2465 40 0 0 20 0 20 0 20667546 19566772224 331302 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=1325208 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 331302 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=6640 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 331302 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 331302 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 28.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325208 KiB

[startup+51.1058 s]
/proc/loadavg: 3.28 2.43 2.79 5/335 197553
/proc/meminfo: memFree=111548100/131524600 swapFree=131064476/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=1337612 CPUtime=53.89 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 44773 0 1 0 5329 60 0 0 20 0 20 0 20667545 19566772224 334403 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 334403 5910 1 0 555915 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=1337588 CPUtime=50.42 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 12830 0 1 0 4989 53 0 0 20 0 20 0 20667546 19566772224 334403 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0

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

[startup+3282.3 s]
/proc/loadavg: 4.38 4.39 4.27 5/350 199395
/proc/meminfo: memFree=517912/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3265.83 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 239823 0 1 0 325119 1464 0 0 20 0 20 0 20667545 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543737 5910 1 0 557890 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3228.04 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 99309 0 1 0 321474 1330 0 0 20 0 20 0 20667546 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1908 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3464 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=67736 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3265.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.41 4.28 5/349 199409
/proc/meminfo: memFree=615524/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3325 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 242576 0 1 0 331020 1480 0 0 20 0 20 0 20667545 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543737 5910 1 0 557890 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3287.01 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 100772 0 1 0 327358 1343 0 0 20 0 20 0 20667546 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1982 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3520 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3325 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174948 KiB

[startup+3402.3 s]
/proc/loadavg: 3.65 4.19 4.21 4/323 199453
/proc/meminfo: memFree=40832896/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3384.84 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 245039 0 1 0 336990 1494 0 0 20 0 20 0 20667545 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543737 5910 1 0 557890 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3346.64 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 101967 0 1 0 333308 1356 0 0 20 0 20 0 20667546 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1992 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543737 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3384.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174948 KiB

[startup+3462.3 s]
/proc/loadavg: 3.36 4.01 4.14 2/321 199463
/proc/meminfo: memFree=39725708/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174956 CPUtime=3444.63 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 247753 0 1 0 342955 1508 0 0 20 0 20 0 20667545 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543739 5910 1 0 557892 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3406.02 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 103302 0 1 0 339234 1368 0 0 20 0 20 0 20667546 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2003 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=2174948 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3633 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=2174956 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3444.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174956 KiB

[startup+3522.3 s]
/proc/loadavg: 3.19 3.84 4.08 4/316 199475
/proc/meminfo: memFree=38664872/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174956 CPUtime=3504.55 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 250448 0 1 0 348936 1519 0 0 20 0 20 0 20667545 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543739 5910 1 0 557892 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174948 CPUtime=3465.58 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 104588 0 1 0 345180 1378 0 0 20 0 20 0 20667546 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2012 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=2174956 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=67736 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3689 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=2174956 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3504.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174956 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.72 4.02 3/290 199523
/proc/meminfo: memFree=106548360/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174956 CPUtime=3564.4 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 253191 0 1 0 354907 1533 0 0 20 0 20 0 20667545 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543739 5910 1 0 557892 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=2174956 CPUtime=3525.06 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 106270 0 1 0 351115 1391 0 0 20 0 20 0 20667546 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2029 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=67736 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3564.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618 s]*
/proc/loadavg: 2.69 3.55 3.95 3/290 199528
/proc/meminfo: memFree=106446280/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19108176 memory=2174956 CPUtime=3600.09 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 255341 0 1 0 358469 1540 0 0 20 0 20 0 20667545 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4777044 543739 5910 1 0 557892 0
[pid=197333/tid=197335] ppid=197330 vsize=19108176 memory=-8672076242668528316 CPUtime=3560.53 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) R 197330 197333 197258 0 -1 4194368 107008 0 1 0 354656 1397 0 0 20 0 20 0 20667546 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2033 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19108176 memory=-4421386521933865566 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667550 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19108176 memory=3770616 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3801 0 0 0 0 0 0 0 20 0 20 0 20667551 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197405] ppid=197330 vsize=19108176 memory=-8672076242668528316 CPUtime=0 cores=1,3
/proc/197333/task/197405/stat : 197405 (Timer-0) S 197330 197333 197258 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667570 19566772224 543739 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.82 s, system=15.4233 s

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

[startup+3618.11 s]
/proc/loadavg: 2.69 3.55 3.95 3/290 199528
/proc/meminfo: memFree=106446280/131524600 swapFree=131055836/131071996
[pid=197333] ppid=197330 vsize=19307868 memory=2175744 CPUtime=3600.23 cores=1,3
/proc/197333/stat : 197333 (java) S 197330 197333 197258 0 -1 1077936128 258970 0 1 0 358482 1541 0 0 20 0 15 0 20667545 19771256832 543936 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
/proc/197333/statm: 4826967 543936 5922 1 0 558839 0
[pid=197333/tid=197335] ppid=197330 vsize=19307868 memory=2174956 CPUtime=3560.55 cores=1,3
/proc/197333/task/197335/stat : 197335 (java) S 197330 197333 197258 0 -1 1077936192 107314 0 1 0 354657 1398 0 0 20 0 15 0 20667546 19771256832 543936 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2041 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197376] ppid=197330 vsize=19307868 memory=11588 CPUtime=0 cores=1,3
/proc/197333/task/197376/stat : 197376 (Finalizer) S 197330 197333 197258 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20667550 19771256832 543936 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
[pid=197333/tid=197391] ppid=197330 vsize=19307868 memory=108 CPUtime=0 cores=1,3
/proc/197333/task/197391/stat : 197391 (Common-Cleaner) S 197330 197333 197258 0 -1 1077936192 3801 0 0 0 0 0 0 0 20 0 15 0 20667551 19771256832 543936 134679101440 94083219890176 94083219893872 140729335652512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94083219901688 94083219902480 94083233812480 140729335657387 140729335657569 140729335657569 140729335664584 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2175744 KiB

Child status: 143

Real time (s): 3618.12
CPU time (s): 3600.24
CPU user time (s): 3584.82
CPU system time (s): 15.4233
CPU usage (%): 99.5058
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2175744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.82
system time used= 15.4233
maximum resident set size= 2176648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259020
page faults= 1
swaps= 0
block input operations= 2168
block output operations= 20461856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123943
involuntary context switches= 19315


# summary of solver processes directly reported to runsolver:
#   pid: 197333
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3584.82
#   total CPU system time (s): 15.4233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68113 second user time and 19.8856 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 19:16:18
IDJOB=4452472
IDBENCH=164378
IDSOLVER=3079
FILE ID=nodeC033/4452472-1721841378
RUNJOBID= nodeC033-1721841378-197270
SLURM_JOB_ID= 7891561
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-mine-90-10.0.u.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-4452472-1721841378/watcher-4452472-1721841378 -o /tmp/evaluation-result-4452472-1721841378/solver-4452472-1721841378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721841378-197270 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452472-1721841378 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452472-1721841378.opb

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

MD5SUM BENCH= 655e29d3d11acc2b2e2d8217bccdc3c7
RANDOM SEED=1897182615

nodeC033.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		: 3558.975
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.99
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		: 3650.290
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.76
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		: 3528.726
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.99
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		: 3634.805
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.76
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		: 3608.805
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.99
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		: 3644.126
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.76
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		: 3472.459
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.99
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		: 3660.831
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125904048 kB
MemAvailable:   129679248 kB
Buffers:          264312 kB
Cached:          4306960 kB
SwapCached:          784 kB
Active:          2429748 kB
Inactive:        2528620 kB
Active(anon):       1684 kB
Inactive(anon):   438692 kB
Active(file):    2428064 kB
Inactive(file):  2089928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:              3628 kB
Writeback:             0 kB
AnonPages:        384640 kB
Mapped:           118348 kB
Shmem:             53264 kB
KReclaimable:     194064 kB
Slab:             309152 kB
SReclaimable:     194064 kB
SUnreclaim:       115088 kB
KernelStack:        4024 kB
PageTables:        10092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     751288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-24 20:16:37