Trace number 4451434

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 Default 2024-07-07? (TO) 3600.25 3600.32

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-random4regular-75.opb
MD5SUM4657a61cc40ea04220a947ee55001d91
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.002787
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables301
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
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.14/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.17	c See www.sat4j.org for details.
0.14/0.18	c version CUSTOM.v20240707
0.14/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.21	c java.vm.version	22.0.1+8-16
0.14/0.21	c java.vm.vendor	Oracle Corporation
0.14/0.21	c sun.arch.data.model	64
0.14/0.21	c java.version		22.0.1
0.14/0.21	c os.name		Linux
0.14/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.21	c os.arch		amd64
0.14/0.23	c Free memory 		2115194816
0.14/0.23	c Max memory 		16282288128
0.14/0.23	c Total memory 		2122317824
0.31/0.23	c Number of processors 	2
0.31/0.31	--- Begin Solver configuration ---
0.31/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.31	Learn all clauses as in MiniSAT
0.31/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.31	No reason simplification
0.31/0.31	Glucose 2.1 dynamic restart strategy
0.31/0.31	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.31/0.31	timeout=2147483s
0.31/0.31	DB Simplification allowed=false
0.31/0.31	Listener: none
0.31/0.31	--- End Solver configuration ---
0.47/0.33	c Pseudo Boolean Optimization by upper bound
0.47/0.33	c --- Begin Solver configuration ---
0.47/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.47/0.33	c Learn all clauses as in MiniSAT
0.47/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.33	c No reason simplification
0.47/0.33	c Glucose 2.1 dynamic restart strategy
0.47/0.33	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.47/0.33	c timeout=2147483s
0.47/0.33	c DB Simplification allowed=false
0.47/0.33	c Listener: none
0.47/0.33	c --- End Solver configuration ---
0.47/0.33	c solving HOME/instance-4451434-1721434903.opb
0.47/0.33	c reading problem ... 
0.47/0.34	c  no objective function found
0.47/0.39	c ... done. Wall clock time 0.049s.
0.47/0.39	c declared #vars     301
0.47/0.39	c #constraints  300
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 300
0.47/0.39	c 300 constraints processed.
1.78/1.06	c cleaning 2495 clauses out of 5002 with flag 35426/5002
2.53/1.42	c cleaning 4248 clauses out of 8505 with flag 81153/11000
2.88/1.67	c cleaning 5619 clauses out of 11258 with flag 140084/18001
3.39/2.12	c cleaning 6802 clauses out of 13640 with flag 206016/26002
3.71/2.48	c cleaning 7910 clauses out of 15836 with flag 284903/35000
4.34/2.80	c cleaning 8954 clauses out of 17926 with flag 363836/45000
4.74/3.20	c cleaning 9981 clauses out of 19972 with flag 452783/56000
5.24/3.73	c cleaning 10987 clauses out of 21993 with flag 567223/68002
5.66/4.17	c cleaning 11997 clauses out of 24004 with flag 679493/81000
6.15/4.61	c cleaning 12991 clauses out of 26007 with flag 794073/95000
6.85/5.34	c cleaning 13999 clauses out of 28017 with flag 934945/110001
7.56/6.10	c cleaning 14997 clauses out of 30017 with flag 1089012/126000
8.73/7.13	c cleaning 16001 clauses out of 32020 with flag 1242848/143000
9.57/7.96	c cleaning 17001 clauses out of 34019 with flag 1398276/161000
10.47/8.84	c cleaning 18004 clauses out of 36020 with flag 1575151/180002
11.58/9.93	c cleaning 19000 clauses out of 38015 with flag 1797784/200001
12.37/10.76	c cleaning 20004 clauses out of 40016 with flag 1967930/221002
13.17/11.59	c cleaning 21005 clauses out of 42010 with flag 2140768/243000
14.17/12.52	c cleaning 21985 clauses out of 44005 with flag 2323320/266000
15.07/13.48	c cleaning 23003 clauses out of 46022 with flag 2508474/290002
16.16/14.54	c cleaning 23994 clauses out of 48021 with flag 2708455/315004
17.36/15.74	c cleaning 24997 clauses out of 50023 with flag 2932346/341000
18.46/16.85	c cleaning 25999 clauses out of 52026 with flag 3146264/368000
19.77/18.18	c cleaning 27001 clauses out of 54027 with flag 3369127/396000
21.05/19.48	c cleaning 28000 clauses out of 56026 with flag 3624987/425000
22.95/21.36	c cleaning 29001 clauses out of 58026 with flag 3913729/455000
24.66/23.05	c cleaning 30003 clauses out of 60026 with flag 4168111/486001
26.25/24.65	c cleaning 31004 clauses out of 62022 with flag 4434820/518000
29.05/27.44	c cleaning 31994 clauses out of 64018 with flag 4742850/551000
30.94/29.32	c cleaning 32998 clauses out of 66024 with flag 5039604/585000
32.85/31.23	c cleaning 34005 clauses out of 68027 with flag 5331685/620001
35.04/33.45	c cleaning 35002 clauses out of 70023 with flag 5637755/656002
37.24/35.61	c cleaning 36004 clauses out of 72019 with flag 5941214/693000
39.57/37.83	c cleaning 37001 clauses out of 74015 with flag 6259304/731000
41.98/40.27	c cleaning 38003 clauses out of 76015 with flag 6587250/770001
44.47/42.72	c cleaning 38990 clauses out of 78011 with flag 6921673/810000
47.07/45.33	c cleaning 40004 clauses out of 80021 with flag 7265513/851000
49.56/47.83	c cleaning 40984 clauses out of 82017 with flag 7610065/893000
52.37/50.67	c cleaning 42012 clauses out of 84034 with flag 7967205/936001
55.26/53.51	c cleaning 43002 clauses out of 86021 with flag 8329417/980000
58.36/56.60	c cleaning 44005 clauses out of 88020 with flag 8699647/1025001
61.45/59.78	c cleaning 45001 clauses out of 90015 with flag 9077855/1071001
65.35/63.61	c cleaning 45993 clauses out of 92014 with flag 9468903/1118001
68.65/66.96	c cleaning 46993 clauses out of 94020 with flag 9873830/1166000
71.85/70.19	c cleaning 47996 clauses out of 96027 with flag 10268547/1215000
75.23/73.58	c cleaning 49006 clauses out of 98031 with flag 10684570/1265000
79.13/77.47	c cleaning 50004 clauses out of 100025 with flag 11111726/1316000
83.34/81.64	c cleaning 50996 clauses out of 102021 with flag 11539336/1368000
87.13/85.49	c cleaning 52003 clauses out of 104026 with flag 11998158/1421001
91.23/89.50	c cleaning 53000 clauses out of 106022 with flag 12459329/1475000
95.42/93.78	c cleaning 54006 clauses out of 108023 with flag 12938852/1530001
100.01/98.34	c cleaning 55000 clauses out of 110016 with flag 13421408/1586000
104.40/102.75	c cleaning 56001 clauses out of 112016 with flag 13894327/1643000
108.90/107.24	c cleaning 57000 clauses out of 114016 with flag 14370697/1701001
113.71/112.05	c cleaning 57995 clauses out of 116015 with flag 14875612/1760000
119.29/117.38	c cleaning 59000 clauses out of 118020 with flag 15367170/1820000
124.68/122.70	c cleaning 60008 clauses out of 120021 with flag 15907214/1881001
129.89/127.91	c cleaning 60991 clauses out of 122013 with flag 16430029/1943001
135.27/133.31	c cleaning 62007 clauses out of 124022 with flag 16956083/2006001
140.77/138.89	c cleaning 62999 clauses out of 126016 with flag 17495742/2070002
146.66/144.76	c cleaning 64005 clauses out of 128015 with flag 18050215/2135000
152.65/150.76	c cleaning 64996 clauses out of 130010 with flag 18599712/2201000
159.25/157.33	c cleaning 66004 clauses out of 132014 with flag 19171830/2268000
165.54/163.61	c cleaning 66987 clauses out of 134010 with flag 19716678/2336000
171.73/169.80	c cleaning 68000 clauses out of 136023 with flag 20287556/2405000
177.82/175.99	c cleaning 69000 clauses out of 138024 with flag 20852566/2475001
186.09/184.22	c cleaning 69996 clauses out of 140025 with flag 21432774/2546002
193.78/191.93	c cleaning 71011 clauses out of 142027 with flag 22028733/2618000
201.07/199.26	c cleaning 71993 clauses out of 144016 with flag 22612062/2691000
209.01/207.19	c cleaning 73007 clauses out of 146023 with flag 23225391/2765000
216.69/214.38	c cleaning 74000 clauses out of 148016 with flag 23852841/2840000
224.98/222.67	c cleaning 75000 clauses out of 150017 with flag 24507564/2916001
234.07/231.75	c cleaning 75993 clauses out of 152016 with flag 25187858/2993000
241.47/239.15	c cleaning 77004 clauses out of 154024 with flag 25818491/3071001
249.58/247.28	c cleaning 78000 clauses out of 156020 with flag 26477988/3150001
258.07/255.75	c cleaning 78995 clauses out of 158019 with flag 27152593/3230000
266.26/263.95	c cleaning 80007 clauses out of 160024 with flag 27817104/3311000
275.45/273.16	c cleaning 80998 clauses out of 162017 with flag 28497139/3393000
284.82/282.56	c cleaning 82006 clauses out of 164021 with flag 29177088/3476002
293.51/291.24	c cleaning 83000 clauses out of 166013 with flag 29866557/3560000
303.69/301.42	c cleaning 83994 clauses out of 168013 with flag 30578054/3645000
312.68/310.44	c cleaning 84999 clauses out of 170019 with flag 31295255/3731000
322.54/320.32	c cleaning 85997 clauses out of 172021 with flag 32017236/3818001
332.92/330.76	c cleaning 87004 clauses out of 174024 with flag 32738151/3906001
343.81/341.69	c cleaning 88007 clauses out of 176022 with flag 33455462/3995003
354.59/352.40	c cleaning 88981 clauses out of 178012 with flag 34181156/4085000
364.06/361.98	c cleaning 90005 clauses out of 180031 with flag 34932315/4176000
374.35/372.25	c cleaning 91005 clauses out of 182026 with flag 35691789/4268000
385.44/383.38	c cleaning 91998 clauses out of 184023 with flag 36462994/4361002
396.73/394.68	c cleaning 93006 clauses out of 186024 with flag 37219445/4455001
407.41/405.37	c cleaning 94006 clauses out of 188017 with flag 38015830/4550000
419.79/417.70	c cleaning 94997 clauses out of 190012 with flag 38810397/4646001
432.67/430.68	c cleaning 95995 clauses out of 192015 with flag 39583190/4743001
445.10/443.09	c cleaning 97002 clauses out of 194019 with flag 40405145/4841000
457.98/455.91	c cleaning 98003 clauses out of 196018 with flag 41215630/4940001
470.85/468.80	c cleaning 98999 clauses out of 198016 with flag 42075603/5040002
484.18/482.14	c cleaning 99995 clauses out of 200015 with flag 42894631/5141000
496.65/494.66	c cleaning 100998 clauses out of 202020 with flag 43707988/5243000
510.64/508.66	c cleaning 102004 clauses out of 204024 with flag 44536561/5346002
524.83/522.81	c cleaning 103006 clauses out of 206021 with flag 45375645/5450003
538.12/536.18	c cleaning 103998 clauses out of 208013 with flag 46219040/5555001
551.89/550.00	c cleaning 104990 clauses out of 210014 with flag 47160015/5661000
564.57/562.61	c cleaning 106002 clauses out of 212024 with flag 48042836/5768000
580.14/578.21	c cleaning 107001 clauses out of 214022 with flag 48925989/5876000
602.71/600.84	c cleaning 108007 clauses out of 216022 with flag 49883310/5985001
617.58/615.75	c cleaning 108999 clauses out of 218014 with flag 50776622/6095000
633.60/631.74	c cleaning 109998 clauses out of 220015 with flag 51655087/6206000
650.67/648.83	c cleaning 110996 clauses out of 222017 with flag 52560321/6318000
666.54/664.78	c cleaning 112008 clauses out of 224024 with flag 53492253/6431003
681.71/680.01	c cleaning 113006 clauses out of 226013 with flag 54462963/6545000
699.18/697.48	c cleaning 113996 clauses out of 228010 with flag 55378879/6660003
718.07/716.39	c cleaning 114999 clauses out of 230011 with flag 56305896/6776000
736.34/734.68	c cleaning 115998 clauses out of 232013 with flag 57238297/6893001
752.61/750.97	c cleaning 116990 clauses out of 234014 with flag 58203787/7011000
770.88/769.24	c cleaning 118001 clauses out of 236025 with flag 59151269/7130001
790.05/788.47	c cleaning 118996 clauses out of 238024 with flag 60102021/7250001
808.32/806.72	c cleaning 120009 clauses out of 240027 with flag 61048953/7371000
828.40/826.86	c cleaning 121007 clauses out of 242021 with flag 62013427/7493003
848.67/847.19	c cleaning 122000 clauses out of 244012 with flag 63058105/7616001
866.51/864.96	c cleaning 122995 clauses out of 246011 with flag 64046729/7740000
884.48/882.97	c cleaning 124002 clauses out of 248016 with flag 65029972/7865000
904.43/902.90	c cleaning 125002 clauses out of 250015 with flag 66003940/7991001
925.56/923.75	c cleaning 125999 clauses out of 252012 with flag 67038118/8118000
946.23/944.49	c cleaning 126991 clauses out of 254013 with flag 68067015/8246000
967.40/965.66	c cleaning 128008 clauses out of 256023 with flag 69083171/8375001
984.99/983.28	c cleaning 129008 clauses out of 258015 with flag 70142855/8505001
1004.55/1002.87	c cleaning 129998 clauses out of 260008 with flag 71160466/8636002
1026.32/1024.63	c cleaning 131002 clauses out of 262010 with flag 72186405/8768002
1047.11/1045.47	c cleaning 131998 clauses out of 264006 with flag 73233967/8901000
1068.27/1066.69	c cleaning 132999 clauses out of 266010 with flag 74262889/9035002
1089.64/1088.08	c cleaning 133993 clauses out of 268010 with flag 75314379/9170001
1112.31/1110.71	c cleaning 135001 clauses out of 270016 with flag 76365988/9306000
1132.77/1131.20	c cleaning 135999 clauses out of 272015 with flag 77435960/9443000
1155.24/1153.79	c cleaning 137001 clauses out of 274017 with flag 78519955/9581001
1179.55/1178.01	c cleaning 137999 clauses out of 276015 with flag 79609149/9720000
1204.50/1203.09	c cleaning 139006 clauses out of 278017 with flag 80693029/9860001
1228.94/1227.52	c cleaning 139994 clauses out of 280012 with flag 81751329/10001002
1251.31/1249.94	c cleaning 141005 clauses out of 282016 with flag 82858101/10143000
1276.67/1275.35	c cleaning 141998 clauses out of 284011 with flag 83967348/10286000
1300.44/1299.17	c cleaning 142998 clauses out of 286014 with flag 85098671/10430001
1323.40/1322.14	c cleaning 144001 clauses out of 288015 with flag 86244637/10575000
1349.04/1347.89	c cleaning 144999 clauses out of 290014 with flag 87392729/10721000
1376.31/1375.14	c cleaning 146003 clauses out of 292015 with flag 88566434/10868000
1404.55/1403.46	c cleaning 146997 clauses out of 294012 with flag 89721370/11016000
1432.40/1431.38	c cleaning 147998 clauses out of 296015 with flag 90863616/11165000
1460.74/1459.78	c cleaning 148999 clauses out of 298017 with flag 92016768/11315000
1488.00/1487.08	c cleaning 150002 clauses out of 300018 with flag 93157927/11466000
1516.04/1515.16	c cleaning 151002 clauses out of 302019 with flag 94302811/11618003
1543.18/1542.35	c cleaning 152004 clauses out of 304014 with flag 95542654/11771000
1569.53/1568.75	c cleaning 153000 clauses out of 306010 with flag 96758758/11925000
1598.17/1597.33	c cleaning 154001 clauses out of 308012 with flag 97970278/12080002
1627.94/1627.18	c cleaning 155000 clauses out of 310010 with flag 99172155/12236001
1657.29/1656.56	c cleaning 156000 clauses out of 312009 with flag 100357730/12393000
1685.86/1685.18	c cleaning 156990 clauses out of 314010 with flag 101584305/12551001
1714.97/1714.22	c cleaning 158000 clauses out of 316019 with flag 102856010/12710000
1748.32/1747.65	c cleaning 159002 clauses out of 318020 with flag 104073517/12870001
1780.07/1779.43	c cleaning 159992 clauses out of 320017 with flag 105318103/13031000
1811.42/1810.81	c cleaning 161004 clauses out of 322025 with flag 106599672/13193000
1840.17/1839.68	c cleaning 161995 clauses out of 324022 with flag 107835663/13356001
1871.25/1870.71	c cleaning 163009 clauses out of 326026 with flag 109088072/13520000
1905.40/1905.00	c cleaning 164003 clauses out of 328017 with flag 110361207/13685000
1940.74/1940.38	c cleaning 164995 clauses out of 330014 with flag 111813572/13851000
1975.07/1974.72	c cleaning 166006 clauses out of 332020 with flag 113057035/14018001
2009.69/2009.33	c cleaning 166996 clauses out of 334013 with flag 114316725/14186000
2043.74/2043.49	c cleaning 167997 clauses out of 336018 with flag 115623965/14355001
2075.90/2075.68	c cleaning 168997 clauses out of 338021 with flag 116927611/14525001
2110.84/2110.64	c cleaning 169999 clauses out of 340024 with flag 118253898/14696001
2144.32/2144.17	c cleaning 171004 clauses out of 342024 with flag 119601315/14868000
2177.09/2176.92	c cleaning 172004 clauses out of 344020 with flag 120948929/15041000
2211.04/2211.00	c cleaning 172989 clauses out of 346020 with flag 122312075/15215004
2248.18/2248.14	c cleaning 174005 clauses out of 348027 with flag 123645517/15390000
2282.22/2282.19	c cleaning 175006 clauses out of 350022 with flag 125008040/15566000
2318.33/2318.38	c cleaning 176005 clauses out of 352017 with flag 126430374/15743001
2353.44/2353.47	c cleaning 176995 clauses out of 354011 with flag 127768400/15921000
2392.69/2392.78	c cleaning 177999 clauses out of 356016 with flag 129123993/16100000
2431.47/2431.57	c cleaning 179003 clauses out of 358017 with flag 130463136/16280000
2472.41/2472.55	c cleaning 180002 clauses out of 360014 with flag 131813604/16461000
2516.72/2516.92	c cleaning 180984 clauses out of 362013 with flag 133177537/16643001
2555.16/2555.43	c cleaning 182007 clauses out of 364029 with flag 134538615/16826001
2592.38/2592.74	c cleaning 183001 clauses out of 366021 with flag 135923258/17010000
2626.03/2626.46	c cleaning 184000 clauses out of 368020 with flag 137432009/17195000
2667.85/2668.30	c cleaning 184999 clauses out of 370020 with flag 138822034/17381000
2705.90/2706.40	c cleaning 186003 clauses out of 372022 with flag 140204405/17568001
2747.84/2748.45	c cleaning 187001 clauses out of 374018 with flag 141616420/17756000
2788.45/2788.59	c cleaning 188001 clauses out of 376019 with flag 143028555/17945002
2825.79/2826.00	c cleaning 188989 clauses out of 378016 with flag 144448680/18135000
2870.48/2870.57	c cleaning 190011 clauses out of 380027 with flag 145883516/18326000
2913.93/2914.04	c cleaning 191003 clauses out of 382016 with flag 147292197/18518000
2960.98/2960.90	c cleaning 191997 clauses out of 384013 with flag 148711085/18711000
3006.34/3006.33	c cleaning 192998 clauses out of 386016 with flag 150177873/18905000
3051.23/3051.14	c cleaning 194000 clauses out of 388019 with flag 151626058/19100001
3098.51/3098.54	c cleaning 195001 clauses out of 390020 with flag 153076928/19296002
3149.20/3149.18	c cleaning 196002 clauses out of 392017 with flag 154528892/19493000
3200.12/3200.14	c cleaning 196983 clauses out of 394016 with flag 155989977/19691001
3243.01/3242.94	c cleaning 197998 clauses out of 396034 with flag 157451173/19890002
3288.40/3288.34	c cleaning 199004 clauses out of 398034 with flag 158925755/20090000
3333.94/3333.92	c cleaning 200003 clauses out of 400031 with flag 160472176/20291001
3384.56/3384.65	c cleaning 201007 clauses out of 402027 with flag 162062508/20493000
3434.39/3434.42	c cleaning 202002 clauses out of 404021 with flag 163563405/20696001
3483.95/3484.01	c cleaning 203001 clauses out of 406018 with flag 165072439/20900000
3528.97/3529.17	c cleaning 203999 clauses out of 408017 with flag 166583308/21105000
3579.87/3580.01	c cleaning 204995 clauses out of 410019 with flag 168074576/21311001
3600.03/3600.22	c starts		: 62217
3600.03/3600.22	c conflicts		: 21403017
3600.03/3600.22	c decisions		: 32656075
3600.03/3600.22	c propagations		: 636772331
3600.03/3600.22	c inspects		: 54928170188
3600.03/3600.22	c shortcuts		: 0
3600.03/3600.22	c learnt literals	: 0
3600.03/3600.22	c learnt binary clauses	: 0
3600.03/3600.22	c learnt ternary clauses	: 0
3600.03/3600.22	c learnt constraints	: 21403017
3600.03/3600.22	c ignored constraints	: 0
3600.03/3600.22	c root simplifications	: 0
3600.03/3600.22	c removed literals (reason simplification)	: 0
3600.03/3600.22	c reason swapping (by a shorter reason)	: 0
3600.03/3600.22	c Calls to reduceDB	: 202
3600.03/3600.22	c Number of update (reduction) of LBD	: 6173716
3600.03/3600.22	c Imported unit clauses	: 0
3600.03/3600.22	c No decision after first conflict	: false
3600.03/3600.22	c number of reductions to clauses (during analyze)	: 0
3600.03/3600.22	c number of learned constraints concerned by reduction	: 0
3600.03/3600.22	c number of learning phase by resolution	: 0
3600.03/3600.22	c number of learning phase by cutting planes	: 0
3600.03/3600.22	c number of rounding to 1 operations	: 0
3600.03/3600.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3600.22	c number of reductions of the coefficients by power 2 	: 0
3600.03/3600.23	c number of right shift for reduction by power 2 	: 0
3600.03/3600.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3600.23	c number of ending skipping 	: 0
3600.03/3600.23	c number of internal skipping 	: 0
3600.03/3600.23	c number of derivation steps 	: 0
3600.03/3600.23	c number of skipped derivation steps 	: 0
3600.03/3600.23	c number of remaining unassigned 	: 0
3600.03/3600.23	c number of remaining assigned 	: 0
3600.03/3600.23	c number of falsified literals weakened from reason	: 0
3600.03/3600.23	c number of falsified literals weakened from conflict	: 0
3600.03/3600.23	c time for arithmetic operations	: 0
3600.03/3600.25	c minimum degree of deleted constraints	: null
3600.03/3600.25	c maximum degree of deleted constraints	: null
3600.03/3600.25	c number of deleted constraints	: 0
3600.03/3600.25	c speed (assignments/second)	: 176889.06479176853
3600.03/3600.25	c non guided choices	: 4807
3600.03/3600.25	c timeout
3600.03/3600.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 297040
3600.03/3600.30	s UNKNOWN
3600.03/3600.30	c Total wall clock time (in seconds): 3599.97

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451434-1721434903/watcher-4451434-1721434903 -o /tmp/evaluation-result-4451434-1721434903/solver-4451434-1721434903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036503 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451434-1721434903.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1036557, runsolver pid=1036551

[startup+0.105025 s]*
/proc/loadavg: 3.82 4.15 4.18 17/311 1036633
/proc/meminfo: memFree=129337080/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=18975048 memory=55760 CPUtime=0.14 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 6456 0 0 0 10 4 0 0 20 0 18 0 195647453 19430449152 13940 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4743762 13940 5668 1 0 550787 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 5359 0 0 0 6 3 0 0 20 0 18 0 195647453 19430449152 13940 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=18975048 memory=1774770 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 13940 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 13940 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55760 KiB

[startup+0.219025 s]*
/proc/loadavg: 3.82 4.15 4.18 13/311 1036633
/proc/meminfo: memFree=129321040/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=18975048 memory=58656 CPUtime=0.31 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 7128 0 0 0 27 4 0 0 20 0 18 0 195647453 19430449152 14664 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4743762 14664 5693 1 0 551323 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=18975048 memory=8603368907145347203 CPUtime=0.19 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 5694 0 0 0 16 3 0 0 20 0 18 0 195647453 19430449152 14689 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=18975048 memory=1774770 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 14689 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 14689 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58656 KiB

[startup+0.318143 s]*
/proc/loadavg: 3.82 4.15 4.18 17/311 1036633
/proc/meminfo: memFree=129300824/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=18975048 memory=64300 CPUtime=0.47 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 7392 0 0 0 42 5 0 0 20 0 18 0 195647453 19430449152 16075 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4743762 16075 5790 1 0 551540 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=18975048 memory=-7380095196913100386 CPUtime=0.28 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 5868 0 0 0 25 3 0 0 20 0 18 0 195647453 19430449152 16075 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 16075 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 16075 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64300 KiB

[startup+0.701023 s]
/proc/loadavg: 3.82 4.15 4.18 12/313 1036635
/proc/meminfo: memFree=129233548/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19041612 memory=72212 CPUtime=1.17 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 9621 0 0 0 111 6 0 0 20 0 19 0 195647453 19498610688 18053 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4760403 18053 5875 1 0 553046 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19041612 memory=5540 CPUtime=0.59 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 5966 0 0 0 56 3 0 0 20 0 19 0 195647453 19498610688 18053 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 18053 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 18053 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19041612 memory=279697263105760 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647492 19498610688 18053 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72212 KiB

[startup+1.50601 s]
/proc/loadavg: 3.82 4.15 4.18 10/315 1036637
/proc/meminfo: memFree=129181912/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19041612 memory=91232 CPUtime=2.74 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 17798 0 0 0 265 9 0 0 20 0 19 0 195647453 19498610688 22808 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4760403 22808 5891 1 0 555629 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19041612 memory=12508 CPUtime=1.37 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 6368 0 0 0 133 4 0 0 20 0 19 0 195647453 19498610688 22808 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 22808 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 22808 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19041612 memory=1128 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647492 19498610688 22808 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91232 KiB

[startup+3.11386 s]
/proc/loadavg: 4.00 4.18 4.19 9/315 1036639
/proc/meminfo: memFree=129026852/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19041612 memory=107812 CPUtime=4.65 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 18532 0 0 0 456 9 0 0 20 0 19 0 195647453 19498610688 26953 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4760403 26953 5891 1 0 555634 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19041612 memory=0 CPUtime=2.97 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 6658 0 0 0 293 4 0 0 20 0 19 0 195647453 19498610688 26953 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 26953 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 26953 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19041612 memory=11420 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647492 19498610688 26953 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107812 KiB

[startup+6.30042 s]
/proc/loadavg: 4.00 4.18 4.19 7/318 1036642
/proc/meminfo: memFree=128840424/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19041612 memory=130232 CPUtime=7.92 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 20446 0 0 0 782 10 0 0 20 0 19 0 195647453 19498610688 32558 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4760403 32558 5900 1 0 555652 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19041612 memory=0 CPUtime=6.15 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 6889 0 0 0 610 5 0 0 20 0 19 0 195647453 19498610688 32558 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19041612 memory=7811036578824350314 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 32558 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19041612 memory=32180 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 32558 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19041612 memory=126008 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647492 19498610688 32558 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 130232 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.23 4.20 7/319 1036711
/proc/meminfo: memFree=128666516/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=177704 CPUtime=14.37 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 22869 0 0 0 1426 11 0 0 20 0 20 0 195647453 19566772224 44426 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 44426 5916 1 0 555941 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=0 CPUtime=12.5 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 7676 0 0 0 1245 5 0 0 20 0 20 0 195647453 19566772224 44426 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=177696 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 44426 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=160980 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 195647460 19566772224 44426 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 44426 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 14.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177704 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.22 4.20 6/320 1036714
/proc/meminfo: memFree=128106856/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=184096 CPUtime=27.15 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 25238 0 0 0 2703 12 0 0 20 0 20 0 195647453 19566772224 46024 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 46024 5916 1 0 555941 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=0 CPUtime=25.2 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 8607 0 0 0 2514 6 0 0 20 0 20 0 195647453 19566772224 46024 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=184096 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 46024 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 195647460 19566772224 46024 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=177696 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 46024 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 27.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184096 KiB

[startup+51.1137 s]
/proc/loadavg: 4.12 4.20 4.19 6/320 1036717
/proc/meminfo: memFree=127100148/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=247876 CPUtime=52.88 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 31005 0 0 0 5273 15 0 0 20 0 20 0 195647453 19566772224 61969 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 61969 5931 1 0 555941 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=212928 CPUtime=50.47 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 10071 0 0 0 5041 6 0 0 20 0 20 0 195647453 19566772224 61969 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=212928 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 61969 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.17 6/319 1038614
/proc/meminfo: memFree=120237288/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1621636 CPUtime=3282.41 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 161854 0 0 0 328020 221 0 0 20 0 20 0 195647453 19566772224 405409 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405409 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=1621636 CPUtime=3266.15 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 64452 0 0 0 326594 21 0 0 20 0 20 0 195647453 19566772224 405409 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405409 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=11420 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 3796 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405409 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405409 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3282.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1621636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.18 6/319 1038624
/proc/meminfo: memFree=120236780/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1621740 CPUtime=3342.34 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 163612 0 0 0 334010 224 0 0 20 0 20 0 195647453 19566772224 405435 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405435 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=2264 CPUtime=3325.87 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 65236 0 0 0 332566 21 0 0 20 0 20 0 195647453 19566772224 405435 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=1619496 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405435 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=-7380095196913231458 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 3914 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405435 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=48488 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405435 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3342.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1621740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/319 1038634
/proc/meminfo: memFree=119826692/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1621752 CPUtime=3402.34 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 165157 0 0 0 340006 228 0 0 20 0 20 0 195647453 19566772224 405438 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405438 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=1621752 CPUtime=3385.65 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 65966 0 0 0 338543 22 0 0 20 0 20 0 195647453 19566772224 405438 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=48488 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405438 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=1936 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4031 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405438 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=26808 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405438 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3402.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1621752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 6/319 1038645
/proc/meminfo: memFree=119612932/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1621768 CPUtime=3462.26 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 166807 0 0 0 345994 232 0 0 20 0 20 0 195647453 19566772224 405442 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405442 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=48488 CPUtime=3445.39 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 66686 0 0 0 344517 22 0 0 20 0 20 0 195647453 19566772224 405442 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=48488 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405442 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=1621768 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4148 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405442 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=5540 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405442 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3462.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1621768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.17 6/319 1038655
/proc/meminfo: memFree=119587888/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1621784 CPUtime=3522.17 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 168140 0 0 0 351982 235 0 0 20 0 20 0 195647453 19566772224 405446 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405446 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=5540 CPUtime=3505.11 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 67464 0 0 0 350489 22 0 0 20 0 20 0 195647453 19566772224 405446 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=1621784 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405446 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=2264 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4231 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405446 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=5540 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405446 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3522.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1621784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/321 1038669
/proc/meminfo: memFree=119554648/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1623856 CPUtime=3582.16 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 170044 0 0 0 357978 238 0 0 20 0 20 0 195647453 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405964 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=12508 CPUtime=3564.81 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 68418 0 0 0 356459 22 0 0 20 0 20 0 195647453 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=2264 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4305 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1623856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.2 s]
/proc/loadavg: 4.20 4.15 4.17 5/319 1038738
/proc/meminfo: memFree=123830636/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19108176 memory=1623856 CPUtime=3600.03 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 170350 0 0 0 359764 239 0 0 20 0 20 0 195647453 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4777044 405964 5931 1 0 560968 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19108176 memory=13948 CPUtime=3582.67 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) R 1036551 1036557 1036492 0 -1 4194368 68682 0 0 0 358245 22 0 0 20 0 20 0 195647453 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19108176 memory=11568 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19108176 memory=11272 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4305 0 0 0 0 1 0 0 20 0 20 0 195647460 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036634] ppid=1036551 vsize=19108176 memory=32200 CPUtime=0 cores=4,6
/proc/1036557/task/1036634/stat : 1036634 (Timer-0) S 1036551 1036557 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647492 19566772224 405964 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1623856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.84 s, system=2.40841 s

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

[startup+3600.31 s]
/proc/loadavg: 4.20 4.15 4.17 5/319 1038738
/proc/meminfo: memFree=123830636/131655788 swapFree=131070704/131071996
[pid=1036557] ppid=1036551 vsize=19307868 memory=1624932 CPUtime=3600.23 cores=4,6
/proc/1036557/stat : 1036557 (java) S 1036551 1036557 1036492 0 -1 1077936128 172931 0 0 0 359783 240 0 0 20 0 20 0 195647453 19771256832 406233 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
/proc/1036557/statm: 4826967 406233 5942 1 0 561959 0
[pid=1036557/tid=1036567] ppid=1036551 vsize=19307868 memory=25544 CPUtime=3582.69 cores=4,6
/proc/1036557/task/1036567/stat : 1036567 (java) S 1036551 1036557 1036492 0 -1 1077936192 68898 0 0 0 358247 22 0 0 20 0 20 0 195647453 19771256832 406233 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036613] ppid=1036551 vsize=19307868 memory=5540 CPUtime=0 cores=4,6
/proc/1036557/task/1036613/stat : 1036613 (Finalizer) S 1036551 1036557 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19771256832 406233 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
[pid=1036557/tid=1036632] ppid=1036551 vsize=19307868 memory=1623856 CPUtime=0.01 cores=4,6
/proc/1036557/task/1036632/stat : 1036632 (Common-Cleaner) S 1036551 1036557 1036492 0 -1 1077936192 4305 0 0 0 0 1 0 0 20 0 20 0 195647460 19771256832 406233 134679101440 94828773621760 94828773625456 140730929419312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94828773633272 94828773634064 94828789817344 140730929427461 140730929427551 140730929427551 140730929434568 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1624932 KiB

Child status: 143

Real time (s): 3600.32
CPU time (s): 3600.25
CPU user time (s): 3597.84
CPU system time (s): 2.40841
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1624932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.84
system time used= 2.40841
maximum resident set size= 1625004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173043
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106613
involuntary context switches= 3497


# summary of solver processes directly reported to runsolver:
#   pid: 1036557
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3597.84
#   total CPU system time (s): 2.40841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.758 second user time and 40.0585 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 02:21:55
IDJOB=4451434
IDBENCH=162424
IDSOLVER=3058
FILE ID=nodeC011/4451434-1721434903
RUNJOBID= nodeC011-1721434915-1036503
SLURM_JOB_ID= 7545639
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-75.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451434-1721434903/watcher-4451434-1721434903 -o /tmp/evaluation-result-4451434-1721434903/solver-4451434-1721434903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036503 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451434-1721434903.opb

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

MD5SUM BENCH= 4657a61cc40ea04220a947ee55001d91
RANDOM SEED=1048899140

nodeC011.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	: 0xb00001f
cpu MHz		: 1347.969
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.134
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.127
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.126
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.123
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.123
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129477528 kB
MemAvailable:   129995468 kB
Buffers:          559840 kB
Cached:           805740 kB
SwapCached:          132 kB
Active:          1071856 kB
Inactive:         616060 kB
Active(anon):       1356 kB
Inactive(anon):   366552 kB
Active(file):    1070500 kB
Inactive(file):   249508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:        322196 kB
Mapped:           105160 kB
Shmem:             45592 kB
KReclaimable:      76264 kB
Slab:             159016 kB
SReclaimable:      76264 kB
SUnreclaim:        82752 kB
KernelStack:        3672 kB
PageTables:         9224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     797888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-20 03:21:56