Trace number 4451212

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.18 3618.89

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
MD5SUM96559038c8afb17a43160a369b358949
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.027823
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213
Total number of constraints71
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.41	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.41	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.41	c See www.sat4j.org for details.
0.09/0.41	c version CUSTOM.v20240707
0.09/0.42	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.42	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.42	c java.vm.version	22.0.1+8-16
0.09/0.42	c java.vm.vendor	Oracle Corporation
0.09/0.42	c sun.arch.data.model	64
0.09/0.42	c java.version		22.0.1
0.09/0.42	c os.name		Linux
0.09/0.42	c os.version		4.18.0-301.1.el8.x86_64
0.09/0.42	c os.arch		amd64
0.09/0.42	c Free memory 		2106806208
0.09/0.42	c Max memory 		16282288128
0.09/0.42	c Total memory 		2113929216
0.09/0.43	c Number of processors 	2
0.09/0.46	--- Begin Solver configuration ---
0.09/0.46	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.09/0.46	Learn all clauses as in MiniSAT
0.09/0.46	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.46	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.46	Expensive reason simplification
0.09/0.46	Glucose 2.1 dynamic restart strategy
0.09/0.46	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.09/0.46	timeout=2147483s
0.09/0.46	DB Simplification allowed=false
0.09/0.46	Listener: none
0.09/0.46	--- End Solver configuration ---
0.09/0.46	c Pseudo Boolean Optimization by upper bound
0.09/0.46	c --- Begin Solver configuration ---
0.09/0.46	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.09/0.46	c Learn all clauses as in MiniSAT
0.09/0.46	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.46	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.46	c Expensive reason simplification
0.09/0.46	c Glucose 2.1 dynamic restart strategy
0.09/0.46	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.09/0.46	c timeout=2147483s
0.09/0.46	c DB Simplification allowed=false
0.09/0.46	c Listener: none
0.09/0.46	c --- End Solver configuration ---
0.09/0.46	c solving HOME/instance-4451212-1721839471.opb
0.09/0.46	c reading problem ... 
0.09/0.46	c using VERIPB proof format
0.09/0.47	c  no objective function found
0.09/0.48	c ... done. Wall clock time 0.016s.
0.09/0.48	c declared #vars     213
0.09/0.48	c #constraints  142
0.09/0.48	c constraints type 
0.09/0.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 142
0.09/0.48	c 142 constraints processed.
1.05/0.94	c cleaning 2496 clauses out of 5000 with flag 22713/5000
1.63/1.25	c cleaning 4248 clauses out of 8504 with flag 51363/11000
2.23/1.55	c cleaning 5623 clauses out of 11256 with flag 88214/18000
2.81/1.84	c cleaning 6817 clauses out of 13638 with flag 129200/26005
3.80/2.31	c cleaning 7897 clauses out of 15816 with flag 184532/35000
4.50/2.85	c cleaning 8948 clauses out of 17920 with flag 261329/45001
5.04/3.34	c cleaning 9980 clauses out of 19971 with flag 337234/56000
5.44/3.77	c cleaning 10984 clauses out of 21992 with flag 404618/68001
6.02/4.34	c cleaning 11990 clauses out of 24007 with flag 490831/81000
6.53/4.80	c cleaning 13000 clauses out of 26017 with flag 567279/95000
7.03/5.35	c cleaning 14004 clauses out of 28017 with flag 646664/110000
7.62/5.98	c cleaning 15002 clauses out of 30013 with flag 731251/126000
8.27/6.57	c cleaning 15998 clauses out of 32011 with flag 826169/143000
9.00/7.22	c cleaning 16996 clauses out of 34014 with flag 939595/161001
9.69/7.95	c cleaning 17994 clauses out of 36017 with flag 1047092/180000
10.49/8.70	c cleaning 19009 clauses out of 38023 with flag 1158617/200000
11.29/9.54	c cleaning 19994 clauses out of 40016 with flag 1281461/221002
12.39/10.67	c cleaning 20992 clauses out of 42021 with flag 1421538/243001
13.40/11.63	c cleaning 22007 clauses out of 44030 with flag 1559631/266002
14.40/12.69	c cleaning 23001 clauses out of 46021 with flag 1713795/290000
15.50/13.78	c cleaning 24001 clauses out of 48020 with flag 1866517/315000
16.69/14.94	c cleaning 24990 clauses out of 50019 with flag 2024596/341000
17.99/16.27	c cleaning 25998 clauses out of 52029 with flag 2197168/368000
19.40/17.63	c cleaning 27008 clauses out of 54031 with flag 2383829/396000
21.19/19.47	c cleaning 27995 clauses out of 56023 with flag 2592686/425000
22.69/20.97	c cleaning 29000 clauses out of 58028 with flag 2792862/455000
24.39/22.60	c cleaning 30006 clauses out of 60028 with flag 2988046/486000
25.98/24.21	c cleaning 31005 clauses out of 62024 with flag 3186596/518002
27.68/25.96	c cleaning 31998 clauses out of 64018 with flag 3398124/551001
29.57/27.87	c cleaning 33004 clauses out of 66021 with flag 3629506/585002
31.47/29.77	c cleaning 33990 clauses out of 68015 with flag 3851444/620000
33.75/32.25	c cleaning 35001 clauses out of 70025 with flag 4091722/656000
36.04/34.57	c cleaning 36013 clauses out of 72025 with flag 4346915/693001
38.33/36.83	c cleaning 36993 clauses out of 74011 with flag 4587148/731000
40.73/39.20	c cleaning 37990 clauses out of 76018 with flag 4842876/770000
43.13/41.67	c cleaning 39004 clauses out of 78028 with flag 5109169/810000
45.72/44.20	c cleaning 40006 clauses out of 80026 with flag 5378465/851002
48.22/46.70	c cleaning 41005 clauses out of 82019 with flag 5648121/893001
50.72/49.26	c cleaning 41997 clauses out of 84013 with flag 5916891/936000
53.52/52.03	c cleaning 42998 clauses out of 86016 with flag 6213445/980000
56.20/54.78	c cleaning 43999 clauses out of 88018 with flag 6499240/1025000
59.20/57.75	c cleaning 45003 clauses out of 90019 with flag 6795788/1071000
62.10/60.66	c cleaning 45992 clauses out of 92016 with flag 7091138/1118000
65.16/63.82	c cleaning 46997 clauses out of 94024 with flag 7409445/1166000
68.55/67.26	c cleaning 48003 clauses out of 96027 with flag 7792728/1215000
71.96/70.64	c cleaning 49004 clauses out of 98024 with flag 8114930/1265000
75.26/73.95	c cleaning 50003 clauses out of 100020 with flag 8457798/1316000
78.75/77.44	c cleaning 51006 clauses out of 102019 with flag 8798387/1368002
82.26/80.98	c cleaning 51991 clauses out of 104011 with flag 9139753/1421000
85.85/84.55	c cleaning 52999 clauses out of 106020 with flag 9506398/1475000
89.66/88.30	c cleaning 53993 clauses out of 108021 with flag 9879321/1530000
93.55/92.28	c cleaning 55002 clauses out of 110028 with flag 10277631/1586000
97.82/96.60	c cleaning 56003 clauses out of 112027 with flag 10672143/1643001
101.92/100.77	c cleaning 56992 clauses out of 114023 with flag 11067682/1701000
106.33/105.13	c cleaning 58006 clauses out of 116031 with flag 11453797/1760000
110.72/109.52	c cleaning 59011 clauses out of 118025 with flag 11844072/1820000
115.13/113.93	c cleaning 59992 clauses out of 120015 with flag 12260787/1881001
120.32/119.19	c cleaning 61000 clauses out of 122022 with flag 12697732/1943000
124.89/123.87	c cleaning 62000 clauses out of 124026 with flag 13119582/2006004
129.79/128.72	c cleaning 63003 clauses out of 126023 with flag 13561417/2070001
134.89/133.87	c cleaning 64001 clauses out of 128021 with flag 14008199/2135002
140.19/139.17	c cleaning 64989 clauses out of 130018 with flag 14448548/2201000
145.66/144.66	c cleaning 66004 clauses out of 132029 with flag 14917618/2268000
151.07/150.01	c cleaning 67002 clauses out of 134026 with flag 15374636/2336001
156.54/155.61	c cleaning 68001 clauses out of 136023 with flag 15852863/2405000
162.24/161.38	c cleaning 69001 clauses out of 138025 with flag 16310582/2475003
168.18/167.34	c cleaning 70009 clauses out of 140023 with flag 16782270/2546002
174.53/173.73	c cleaning 70997 clauses out of 142013 with flag 17287955/2618001
180.52/179.77	c cleaning 72000 clauses out of 144015 with flag 17809758/2691000
186.93/186.24	c cleaning 72996 clauses out of 146015 with flag 18310359/2765000
193.59/192.84	c cleaning 74003 clauses out of 148020 with flag 18832439/2840001
200.37/199.69	c cleaning 75002 clauses out of 150016 with flag 19391590/2916000
207.30/206.51	c cleaning 75990 clauses out of 152014 with flag 19919299/2993000
214.23/213.43	c cleaning 77002 clauses out of 154024 with flag 20449998/3071000
221.21/220.55	c cleaning 78008 clauses out of 156023 with flag 20972899/3150001
228.54/227.83	c cleaning 79005 clauses out of 158016 with flag 21512913/3230002
236.14/235.44	c cleaning 79988 clauses out of 160009 with flag 22084131/3311000
243.83/243.11	c cleaning 80999 clauses out of 162023 with flag 22675045/3393002
251.76/251.17	c cleaning 82001 clauses out of 164022 with flag 23251299/3476000
260.08/259.40	c cleaning 83005 clauses out of 166022 with flag 23812908/3560001
268.36/267.74	c cleaning 84000 clauses out of 168018 with flag 24389888/3645002
276.78/276.18	c cleaning 84994 clauses out of 170016 with flag 24972209/3731000
285.79/285.22	c cleaning 86002 clauses out of 172023 with flag 25628038/3818001
294.53/293.99	c cleaning 87000 clauses out of 174020 with flag 26242005/3906000
303.75/303.17	c cleaning 88002 clauses out of 176021 with flag 26880739/3995001
312.94/312.96	c cleaning 89001 clauses out of 178018 with flag 27503093/4085000
322.16/322.18	c cleaning 90001 clauses out of 180018 with flag 28121745/4176001
331.19/331.15	c cleaning 90997 clauses out of 182016 with flag 28734287/4268000
340.62/340.63	c cleaning 92006 clauses out of 184019 with flag 29374218/4361000
350.30/350.37	c cleaning 92996 clauses out of 186013 with flag 30039777/4455000
360.11/360.20	c cleaning 94002 clauses out of 188019 with flag 30694119/4550002
369.98/370.15	c cleaning 95001 clauses out of 190015 with flag 31410445/4646000
380.17/380.33	c cleaning 95997 clauses out of 192014 with flag 32106571/4743000
390.82/390.94	c cleaning 97002 clauses out of 194018 with flag 32791118/4841001
401.46/401.61	c cleaning 98002 clauses out of 196015 with flag 33491040/4940000
412.04/412.26	c cleaning 98998 clauses out of 198013 with flag 34177051/5040000
423.07/423.24	c cleaning 100002 clauses out of 200016 with flag 34876239/5141001
434.02/434.24	c cleaning 100992 clauses out of 202013 with flag 35581669/5243000
444.95/445.19	c cleaning 102007 clauses out of 204023 with flag 36306135/5346002
456.32/456.50	c cleaning 102994 clauses out of 206014 with flag 37048342/5450000
468.17/468.52	c cleaning 104000 clauses out of 208020 with flag 37775027/5555000
479.79/480.25	c cleaning 104996 clauses out of 210020 with flag 38524208/5661000
492.02/492.68	c cleaning 105998 clauses out of 212024 with flag 39301550/5768000
504.54/505.17	c cleaning 107004 clauses out of 214026 with flag 40071687/5876000
517.37/517.91	c cleaning 108005 clauses out of 216023 with flag 40843021/5985001
529.57/530.73	c cleaning 109000 clauses out of 218020 with flag 41648001/6095003
541.97/543.13	c cleaning 109994 clauses out of 220018 with flag 42440892/6206001
555.01/556.31	c cleaning 111005 clauses out of 222023 with flag 43264882/6318000
569.40/570.71	c cleaning 112002 clauses out of 224019 with flag 44121069/6431001
582.61/583.98	c cleaning 113000 clauses out of 226018 with flag 44953948/6545002
596.03/597.41	c cleaning 114001 clauses out of 228016 with flag 45801507/6660000
610.04/611.49	c cleaning 115001 clauses out of 230016 with flag 46627120/6776001
623.77/625.26	c cleaning 116002 clauses out of 232015 with flag 47474283/6893001
638.40/639.88	c cleaning 117000 clauses out of 234013 with flag 48352761/7011001
652.65/654.39	c cleaning 118003 clauses out of 236014 with flag 49224958/7130002
667.21/668.95	c cleaning 118984 clauses out of 238010 with flag 50077265/7250001
682.36/684.44	c cleaning 120003 clauses out of 240025 with flag 50992220/7371000
697.17/699.37	c cleaning 121005 clauses out of 242024 with flag 51889738/7493002
712.69/715.16	c cleaning 122002 clauses out of 244017 with flag 52782420/7616000
727.69/730.28	c cleaning 123000 clauses out of 246015 with flag 53682612/7740000
743.58/746.36	c cleaning 123998 clauses out of 248015 with flag 54591344/7865000
760.50/763.27	c cleaning 125004 clauses out of 250017 with flag 55572861/7991000
777.30/780.15	c cleaning 125992 clauses out of 252013 with flag 56563803/8118000
796.10/798.94	c cleaning 126996 clauses out of 254021 with flag 57582439/8246000
812.73/815.69	c cleaning 128006 clauses out of 256028 with flag 58537901/8375003
830.42/833.31	c cleaning 129002 clauses out of 258021 with flag 59573895/8505002
847.96/850.89	c cleaning 130003 clauses out of 260017 with flag 60534495/8636000
865.80/868.79	c cleaning 130995 clauses out of 262014 with flag 61524677/8768000
882.89/885.84	c cleaning 132004 clauses out of 264019 with flag 62509307/8901000
900.72/903.76	c cleaning 133002 clauses out of 266016 with flag 63520196/9035001
919.43/922.51	c cleaning 133995 clauses out of 268013 with flag 64533018/9170000
937.56/940.69	c cleaning 134996 clauses out of 270018 with flag 65524469/9306000
955.25/958.90	c cleaning 136006 clauses out of 272023 with flag 66494048/9443001
973.77/977.41	c cleaning 137000 clauses out of 274017 with flag 67581118/9581001
992.68/996.46	c cleaning 138001 clauses out of 276016 with flag 68609675/9720000
1011.53/1015.39	c cleaning 139003 clauses out of 278015 with flag 69661241/9860000
1031.20/1035.19	c cleaning 139998 clauses out of 280014 with flag 70709288/10001002
1051.28/1055.46	c cleaning 140995 clauses out of 282014 with flag 71798745/10143000
1071.67/1076.05	c cleaning 141999 clauses out of 284019 with flag 72906885/10286000
1091.83/1096.48	c cleaning 143005 clauses out of 286021 with flag 74013638/10430001
1111.78/1116.56	c cleaning 143997 clauses out of 288015 with flag 75117123/10575000
1132.17/1136.95	c cleaning 144995 clauses out of 290019 with flag 76231388/10721001
1153.04/1157.87	c cleaning 146008 clauses out of 292025 with flag 77326921/10868002
1173.70/1179.01	c cleaning 146998 clauses out of 294018 with flag 78423977/11016003
1194.82/1200.21	c cleaning 148002 clauses out of 296018 with flag 79541974/11165001
1218.46/1223.86	c cleaning 149000 clauses out of 298017 with flag 80714744/11315002
1240.00/1245.44	c cleaning 149999 clauses out of 300015 with flag 81831457/11466000
1262.58/1268.03	c cleaning 151000 clauses out of 302017 with flag 82964499/11618001
1285.09/1290.51	c cleaning 151999 clauses out of 304018 with flag 84093585/11771002
1307.52/1313.27	c cleaning 152994 clauses out of 306017 with flag 85244714/11925000
1331.40/1337.24	c cleaning 154001 clauses out of 308023 with flag 86461797/12080000
1355.33/1361.21	c cleaning 155002 clauses out of 310024 with flag 87663435/12236002
1380.29/1386.21	c cleaning 156003 clauses out of 312021 with flag 88902794/12393001
1403.65/1409.59	c cleaning 156998 clauses out of 314018 with flag 90091865/12551001
1428.19/1434.13	c cleaning 158001 clauses out of 316020 with flag 91278071/12710001
1453.89/1459.91	c cleaning 159001 clauses out of 318018 with flag 92501705/12870000
1476.85/1483.13	c cleaning 159993 clauses out of 320017 with flag 93705955/13031000
1502.36/1508.72	c cleaning 161004 clauses out of 322024 with flag 94949450/13193000
1526.98/1533.31	c cleaning 161993 clauses out of 324021 with flag 96238627/13356001
1553.85/1560.44	c cleaning 163001 clauses out of 326028 with flag 97491826/13520001
1579.69/1586.64	c cleaning 164008 clauses out of 328027 with flag 98796494/13685001
1606.51/1613.67	c cleaning 164995 clauses out of 330018 with flag 100074228/13851000
1634.25/1641.42	c cleaning 165999 clauses out of 332023 with flag 101371992/14018000
1660.81/1668.35	c cleaning 167003 clauses out of 334025 with flag 102671018/14186001
1689.49/1697.33	c cleaning 168004 clauses out of 336021 with flag 104002966/14355000
1717.57/1725.78	c cleaning 169002 clauses out of 338018 with flag 105298164/14525001
1746.01/1754.22	c cleaning 170004 clauses out of 340018 with flag 106622419/14696003
1773.41/1781.66	c cleaning 170991 clauses out of 342011 with flag 107945266/14868000
1801.30/1809.68	c cleaning 172003 clauses out of 344021 with flag 109281121/15041001
1828.90/1837.31	c cleaning 173001 clauses out of 346018 with flag 110618397/15215001
1856.98/1865.53	c cleaning 173999 clauses out of 348017 with flag 111959227/15390001
1886.70/1895.32	c cleaning 175003 clauses out of 350017 with flag 113356822/15566000
1916.04/1924.81	c cleaning 175996 clauses out of 352015 with flag 114681187/15743001
1945.59/1954.40	c cleaning 177002 clauses out of 354018 with flag 116034515/15921000
1975.15/1984.04	c cleaning 178000 clauses out of 356018 with flag 117414340/16100002
2005.25/2014.29	c cleaning 179003 clauses out of 358016 with flag 118807083/16280000
2037.96/2047.04	c cleaning 180001 clauses out of 360015 with flag 120250877/16461002
2069.31/2078.51	c cleaning 181001 clauses out of 362012 with flag 121667215/16643000
2101.63/2111.07	c cleaning 181995 clauses out of 364011 with flag 123143997/16826000
2133.77/2143.35	c cleaning 183006 clauses out of 366018 with flag 124578006/17010002
2166.44/2175.91	c cleaning 183990 clauses out of 368010 with flag 125990391/17195000
2199.17/2208.76	c cleaning 184995 clauses out of 370021 with flag 127413854/17381001
2231.71/2241.56	c cleaning 186009 clauses out of 372025 with flag 128843773/17568000
2265.82/2276.07	c cleaning 186997 clauses out of 374016 with flag 130337947/17756000
2299.35/2310.00	c cleaning 187997 clauses out of 376020 with flag 131749865/17945001
2335.48/2346.27	c cleaning 188998 clauses out of 378022 with flag 133284396/18135000
2369.82/2380.64	c cleaning 190007 clauses out of 380026 with flag 134793189/18326002
2409.36/2420.23	c cleaning 190998 clauses out of 382018 with flag 136394159/18518001
2443.29/2454.52	c cleaning 191998 clauses out of 384019 with flag 137917855/18711000
2478.07/2489.49	c cleaning 193004 clauses out of 386021 with flag 139425826/18905000
2513.16/2524.77	c cleaning 193997 clauses out of 388017 with flag 140942092/19100000
2549.36/2561.09	c cleaning 194999 clauses out of 390020 with flag 142516688/19296000
2584.00/2596.18	c cleaning 196003 clauses out of 392023 with flag 144040545/19493002
2619.43/2631.95	c cleaning 197001 clauses out of 394020 with flag 145577128/19691002
2654.73/2667.27	c cleaning 198007 clauses out of 396019 with flag 147164564/19890002
2691.23/2704.09	c cleaning 198997 clauses out of 398012 with flag 148687632/20090002
2728.48/2741.45	c cleaning 200002 clauses out of 400014 with flag 150240358/20291001
2764.89/2777.99	c cleaning 200990 clauses out of 402011 with flag 151852731/20493000
2802.41/2815.56	c cleaning 202001 clauses out of 404024 with flag 153442899/20696003
2839.98/2853.12	c cleaning 203007 clauses out of 406022 with flag 155015915/20900002
2877.73/2891.43	c cleaning 203993 clauses out of 408014 with flag 156628467/21105001
2919.26/2933.24	c cleaning 205003 clauses out of 410020 with flag 158280997/21311000
2957.85/2972.06	c cleaning 205997 clauses out of 412017 with flag 159899133/21518000
2995.87/3010.54	c cleaning 207004 clauses out of 414023 with flag 161545917/21726003
3035.65/3051.49	c cleaning 207999 clauses out of 416016 with flag 163234836/21935000
3074.71/3090.53	c cleaning 208999 clauses out of 418018 with flag 164874875/22145001
3117.24/3133.27	c cleaning 210000 clauses out of 420018 with flag 166507179/22356000
3157.76/3173.85	c cleaning 211001 clauses out of 422019 with flag 168123423/22568001
3200.71/3216.94	c cleaning 211996 clauses out of 424017 with flag 169786785/22781000
3243.38/3259.72	c cleaning 213002 clauses out of 426021 with flag 171481329/22995000
3286.99/3303.45	c cleaning 214008 clauses out of 428021 with flag 173208007/23210002
3328.42/3344.95	c cleaning 214998 clauses out of 430011 with flag 174908819/23426000
3371.99/3388.61	c cleaning 215996 clauses out of 432014 with flag 176630165/23643001
3413.95/3430.85	c cleaning 217003 clauses out of 434019 with flag 178328387/23861002
3458.69/3476.39	c cleaning 218000 clauses out of 436014 with flag 180091193/24080000
3502.50/3520.53	c cleaning 218997 clauses out of 438014 with flag 181819005/24300000
3547.55/3566.07	c cleaning 220000 clauses out of 440019 with flag 183564959/24521002
3591.41/3610.15	c cleaning 221000 clauses out of 442017 with flag 185339342/24743000
3600.05/3618.82	c starts		: 33400
3600.05/3618.82	c timeout
3600.05/3618.82	c conflicts		: 24792529
3600.05/3618.82	c decisions		: 31164919
3600.05/3618.82	c propagations		: 454660215
3600.05/3618.82	c inspects		: 58285255272
3600.05/3618.82	c shortcuts		: 0
3600.05/3618.82	c learnt literals	: 0
3600.05/3618.82	c learnt binary clauses	: 0
3600.05/3618.82	c learnt ternary clauses	: 0
3600.05/3618.82	c learnt constraints	: 24792529
3600.05/3618.82	c ignored constraints	: 0
3600.05/3618.82	c root simplifications	: 0
3600.05/3618.82	c removed literals (reason simplification)	: 43177702
3600.05/3618.82	c reason swapping (by a shorter reason)	: 0
3600.05/3618.82	c Calls to reduceDB	: 218
3600.05/3618.82	c Number of update (reduction) of LBD	: 6837120
3600.05/3618.82	c Imported unit clauses	: 0
3600.05/3618.82	c No decision after first conflict	: false
3600.05/3618.82	c number of reductions to clauses (during analyze)	: 0
3600.05/3618.82	c number of learned constraints concerned by reduction	: 0
3600.05/3618.82	c number of learning phase by resolution	: 0
3600.05/3618.82	c number of learning phase by cutting planes	: 0
3600.05/3618.82	c number of rounding to 1 operations	: 0
3600.05/3618.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3618.82	c number of reductions of the coefficients by power 2 	: 0
3600.05/3618.82	c number of right shift for reduction by power 2 	: 0
3600.05/3618.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3618.82	c number of ending skipping 	: 0
3600.05/3618.82	c number of internal skipping 	: 0
3600.05/3618.82	c number of derivation steps 	: 0
3600.05/3618.82	c number of skipped derivation steps 	: 0
3600.05/3618.82	c number of remaining unassigned 	: 0
3600.05/3618.82	c number of remaining assigned 	: 0
3600.05/3618.82	c number of falsified literals weakened from reason	: 0
3600.05/3618.82	c number of falsified literals weakened from conflict	: 0
3600.05/3618.82	c time for arithmetic operations	: 0
3600.05/3618.82	c minimum degree of deleted constraints	: null
3600.05/3618.82	c maximum degree of deleted constraints	: null
3600.05/3618.82	c number of deleted constraints	: 0
3600.05/3618.82	c speed (assignments/second)	: 125654.6428022636
3600.05/3618.82	c non guided choices	: 34013
3600.05/3618.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 270546
3600.05/3618.88	s UNKNOWN
3600.05/3618.88	c Total wall clock time (in seconds): 3618.416

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451212-1721839471/watcher-4451212-1721839471 -o /tmp/evaluation-result-4451212-1721839471/solver-4451212-1721839471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206803 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451212-1721839471 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451212-1721839471.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.x
Current StackSize limit: 8192 KiB

solver pid=206858, runsolver pid=206850

[startup+0.100093 s]*
/proc/loadavg: 1.37 2.55 3.29 2/259 206866
/proc/meminfo: memFree=122787040/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=37736 memory=1980 CPUtime=0 cores=4,6
/proc/206858/stat : 206858 (java) D 206850 206858 206792 0 -1 4194304 149 0 2 0 0 0 0 0 20 0 1 0 20475417 38641664 495 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 0 0 0 0 17 6 0 0 8 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 9434 495 452 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 1980 KiB

[startup+0.206286 s]*
/proc/loadavg: 1.37 2.55 3.29 3/263 206870
/proc/meminfo: memFree=122780800/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=289872 memory=19944 CPUtime=0 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 1344 0 5 0 0 0 0 0 20 0 2 0 20475417 296828928 4986 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16784588 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 72468 4986 2924 1 0 2347 0
[pid=206858/tid=206867] ppid=206850 vsize=294332 memory=4211840275809566851 CPUtime=0 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 805 0 1 0 0 0 0 0 20 0 2 0 20475436 301395968 5027 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16784588 0 0 0 -1 4 0 0 1 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 289872 KiB
Current children cumulated memory: 19944 KiB

[startup+0.305977 s]*
/proc/loadavg: 1.37 2.55 3.29 5/283 206890
/proc/meminfo: memFree=122673012/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=18261716 memory=47328 CPUtime=0.01 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 5584 0 25 0 0 1 0 0 20 0 8 0 20475417 18699997184 11832 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16784588 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4565429 11832 4683 1 0 545399 0
[pid=206858/tid=206867] ppid=206850 vsize=18261716 memory=-8960019650731287228 CPUtime=0.01 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 5044 0 21 0 0 1 0 0 20 0 8 0 20475436 18699997184 11832 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 11 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206892] ppid=206850 vsize=18261716 memory=1470495039789040217 CPUtime=0 cores=4,6
/proc/206858/task/206892/stat : 206892 (java) R 206850 206858 206792 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 8 0 20475448 18699997184 11832 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18261716 KiB
Current children cumulated memory: 47328 KiB

[startup+0.700464 s]
/proc/loadavg: 1.37 2.55 3.29 16/331 206938
/proc/meminfo: memFree=122583428/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19060472 memory=94828 CPUtime=0.63 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 9972 0 25 0 60 3 0 0 20 0 19 0 20475417 19517923328 23707 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4765118 23707 6097 1 0 551157 0
[pid=206858/tid=206867] ppid=206850 vsize=19060472 memory=0 CPUtime=0.31 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 6124 0 21 0 29 2 0 0 20 0 19 0 20475436 19517923328 23707 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19060472 memory=321 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20475448 19517923328 23707 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20475450 19517923328 23707 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19060472 memory=11496 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20475465 19517923328 23707 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 94828 KiB

[startup+1.50746 s]
/proc/loadavg: 1.37 2.55 3.29 12/331 206938
/proc/meminfo: memFree=122306672/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=180384 CPUtime=2.23 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 18663 0 25 0 217 6 0 0 20 0 20 0 20475417 19586084864 45096 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 45096 6113 1 0 554618 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=0 CPUtime=1.1 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 6418 0 21 0 106 4 0 0 20 0 20 0 20475436 19586084864 45096 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 45096 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 45096 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=232785580467 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 45096 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180384 KiB

[startup+3.10648 s]
/proc/loadavg: 1.82 2.62 3.31 9/335 207009
/proc/meminfo: memFree=122057956/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=237596 CPUtime=4.84 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 23361 0 25 0 473 11 0 0 20 0 20 0 20475417 19586084864 59399 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 59399 6113 1 0 554959 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=38868 CPUtime=2.65 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 6861 0 21 0 257 8 0 0 20 0 20 0 20475436 19586084864 59399 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 59399 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=181824 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 59399 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=18928 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 59399 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 237596 KiB

[startup+6.30046 s]
/proc/loadavg: 1.82 2.62 3.31 8/334 207009
/proc/meminfo: memFree=121113296/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=873072 CPUtime=8.06 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 23945 0 25 0 780 26 0 0 20 0 20 0 20475417 19586084864 218268 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 218268 6113 1 0 554961 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=0 CPUtime=5.8 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 7293 0 21 0 557 23 0 0 20 0 20 0 20475436 19586084864 218268 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=186228 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 218268 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 218268 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 218268 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 873072 KiB

[startup+12.7002 s]
/proc/loadavg: 2.15 2.67 3.32 6/334 207011
/proc/meminfo: memFree=119535608/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=1313500 CPUtime=14.5 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 26660 0 25 0 1407 43 0 0 20 0 20 0 20475417 19586084864 328375 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 328375 6113 1 0 554961 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=181824 CPUtime=12.17 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 8239 0 21 0 1178 39 0 0 20 0 20 0 20475436 19586084864 328375 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=1122928 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 328375 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 328375 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 328375 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1313500 KiB

[startup+25.5002 s]
/proc/loadavg: 2.44 2.71 3.32 6/334 207012
/proc/meminfo: memFree=118219400/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=1327888 CPUtime=27.28 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 29202 0 25 0 2674 54 0 0 20 0 20 0 20475417 19586084864 331972 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 331972 6113 1 0 554961 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=1317644 CPUtime=24.9 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 9476 0 21 0 2440 50 0 0 20 0 20 0 20475436 19586084864 331972 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=-9176192432845071036 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 331972 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 331972 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=1317644 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 331972 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 27.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1327888 KiB

[startup+51.1059 s]
/proc/loadavg: 3.03 2.83 3.35 5/332 207085
/proc/meminfo: memFree=117358392/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=1334048 CPUtime=52.61 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 34431 0 25 0 5188 73 0 0 20 0 20 0 20475417 19586084864 333512 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 333512 6113 1 0 554961 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=455 CPUtime=50.13 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 11297 0 21 0 4945 68 0 0 20 0 20 0 20475436 19586084864 333512 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=1334048 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 333512 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 333512 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 333512 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 52.61 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1334048 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.06 3.40 5/332 207093
/proc/meminfo: memFree=116468804/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=1338320 CPUtime=103.52 cores=4,6

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

/proc/meminfo: memFree=100816084/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177572 CPUtime=3206.11 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 155826 0 25 0 319375 1236 0 0 20 0 20 0 20475417 19586084864 544393 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544393 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=2177532 CPUtime=3183.86 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 74044 0 21 0 317260 1126 0 0 20 0 20 0 20475436 19586084864 544393 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1609 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=2177532 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544393 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2177572 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 3959 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544393 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=75972 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544393 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3206.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/332 208851
/proc/meminfo: memFree=100641092/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177620 CPUtime=3265.94 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 158066 0 25 0 325341 1253 0 0 20 0 20 0 20475417 19586084864 544405 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544405 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=12248 CPUtime=3243.43 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 75078 0 21 0 323202 1141 0 0 20 0 20 0 20475436 19586084864 544405 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1622 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=6944656592387989600 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544405 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2177620 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4022 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544405 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=2177620 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544405 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3265.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/334 208866
/proc/meminfo: memFree=100415588/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177644 CPUtime=3325.83 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 160071 0 25 0 331315 1268 0 0 20 0 20 0 20475417 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544411 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=0 CPUtime=3303 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 76253 0 21 0 329146 1154 0 0 20 0 20 0 20475436 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1635 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=3328 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2177644 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4101 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3325.83 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/333 208876
/proc/meminfo: memFree=100232848/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177644 CPUtime=3385.69 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 162203 0 25 0 337283 1286 0 0 20 0 20 0 20475417 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544411 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=3328 CPUtime=3362.59 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 77563 0 21 0 335089 1170 0 0 20 0 20 0 20475436 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1649 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2177644 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4164 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544411 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3385.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/334 208888
/proc/meminfo: memFree=100033456/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177656 CPUtime=3444.89 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 164105 0 25 0 343188 1301 0 0 20 0 20 0 20475417 19586084864 544414 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544414 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=3328 CPUtime=3421.52 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 78705 0 21 0 340967 1185 0 0 20 0 20 0 20475436 19586084864 544414 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1685 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544414 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2177644 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4236 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544414 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=2177656 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544414 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3444.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/334 208899
/proc/meminfo: memFree=99851560/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177688 CPUtime=3504.29 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 166283 0 25 0 349111 1318 0 0 20 0 20 0 20475417 19586084864 544422 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544422 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=2177656 CPUtime=3480.62 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 80097 0 21 0 346862 1200 0 0 20 0 20 0 20475436 19586084864 544422 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1700 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=2177656 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544422 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=2164 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4299 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544422 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=18928 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544422 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3504.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/333 208909
/proc/meminfo: memFree=99664084/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177712 CPUtime=3563.72 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 168160 0 25 0 355037 1335 0 0 20 0 20 0 20475417 19586084864 544428 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544428 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=2177712 CPUtime=3539.74 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 81157 0 21 0 352758 1216 0 0 20 0 20 0 20475436 19586084864 544428 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1711 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=2177688 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544428 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4362 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544428 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544428 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3563.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/333 208983
/proc/meminfo: memFree=101743764/131524600 swapFree=131061696/131071996
[pid=206858] ppid=206850 vsize=19127036 memory=2177724 CPUtime=3600.05 cores=4,6
/proc/206858/stat : 206858 (java) S 206850 206858 206792 0 -1 1077936128 168829 0 25 0 358660 1345 0 0 20 0 20 0 20475417 19586084864 544431 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 25 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
/proc/206858/statm: 4781759 544431 6128 1 0 556806 0
[pid=206858/tid=206867] ppid=206850 vsize=19127036 memory=1446576 CPUtime=3575.9 cores=4,6
/proc/206858/task/206867/stat : 206867 (java) R 206850 206858 206792 0 -1 4194368 81685 0 21 0 356365 1225 0 0 20 0 20 0 20475436 19586084864 544431 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1724 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206903] ppid=206850 vsize=19127036 memory=1447178 CPUtime=0 cores=4,6
/proc/206858/task/206903/stat : 206903 (Finalizer) S 206850 206858 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 544431 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206932] ppid=206850 vsize=19127036 memory=1460294 CPUtime=0 cores=4,6
/proc/206858/task/206932/stat : 206932 (Common-Cleaner) S 206850 206858 206792 0 -1 1077936192 4441 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 544431 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
[pid=206858/tid=206938] ppid=206850 vsize=19127036 memory=19904 CPUtime=0 cores=4,6
/proc/206858/task/206938/stat : 206938 (Timer-0) S 206850 206858 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 544431 134679101440 94056002142208 94056002145904 140733437912592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94056002153720 94056002154512 94056019263488 140733437920175 140733437920357 140733437920357 140733437927368 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2177724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.72 s, system=13.4679 s

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

Child status: 143

Real time (s): 3618.89
CPU time (s): 3600.18
CPU user time (s): 3586.72
CPU system time (s): 13.4679
CPU usage (%): 99.483
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 2180212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.72
system time used= 13.4679
maximum resident set size= 2180212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171440
page faults= 25
swaps= 0
block input operations= 9800
block output operations= 14819888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116811
involuntary context switches= 14282


# summary of solver processes directly reported to runsolver:
#   pid: 206858
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3586.72
#   total CPU system time (s): 13.4679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8739 second user time and 19.9135 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 18:44:31
IDJOB=4451212
IDBENCH=162384
IDSOLVER=3079
FILE ID=nodeC020/4451212-1721839471
RUNJOBID= nodeC020-1721839470-206803
SLURM_JOB_ID= 7891544
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.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-4451212-1721839471/watcher-4451212-1721839471 -o /tmp/evaluation-result-4451212-1721839471/solver-4451212-1721839471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206803 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451212-1721839471 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451212-1721839471.opb

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

MD5SUM BENCH= 96559038c8afb17a43160a369b358949
RANDOM SEED=974062307

nodeC020.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		: 3561.625
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.31
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		: 3624.652
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.25
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		: 3491.456
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.31
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		: 3658.662
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.25
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		: 3460.590
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.31
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		: 3657.224
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.25
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		: 3559.996
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.31
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		: 3649.919
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122783324 kB
MemAvailable:   129782148 kB
Buffers:          261668 kB
Cached:          7525192 kB
SwapCached:          120 kB
Active:          2586700 kB
Inactive:        5470380 kB
Active(anon):       2232 kB
Inactive(anon):   321876 kB
Active(file):    2584468 kB
Inactive(file):  5148504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:              2160 kB
Writeback:             4 kB
AnonPages:        269240 kB
Mapped:           109008 kB
Shmem:             53880 kB
KReclaimable:     211352 kB
Slab:             327224 kB
SReclaimable:     211352 kB
SUnreclaim:       115872 kB
KernelStack:        3904 kB
PageTables:        10240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     642704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-24 19:44:50