Trace number 4440271

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)66 3600.54 3603.74

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUM01f07e427327757fda434ad4b1d2038d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.14	c See www.sat4j.org for details.
0.10/0.15	c version CUSTOM.v20240707
0.10/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.18	c java.vm.version	22.0.1+8-16
0.10/0.18	c java.vm.vendor	Oracle Corporation
0.10/0.18	c sun.arch.data.model	64
0.10/0.18	c java.version		22.0.1
0.10/0.18	c os.name		Linux
0.10/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.18	c os.arch		amd64
0.10/0.19	c Free memory 		2113181440
0.10/0.19	c Max memory 		16282288128
0.10/0.19	c Total memory 		2122317824
0.10/0.20	c Number of processors 	2
0.28/0.30	--- Begin Solver configuration ---
0.28/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.30	Learn all clauses as in MiniSAT
0.28/0.30	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	Expensive reason simplification
0.28/0.30	Glucose 2.1 dynamic restart strategy
0.28/0.30	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.28/0.30	timeout=2147483s
0.28/0.30	DB Simplification allowed=false
0.28/0.30	Listener: none
0.28/0.30	--- End Solver configuration ---
0.28/0.30	c Pseudo Boolean Optimization by upper bound
0.28/0.30	c --- Begin Solver configuration ---
0.28/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.30	c Learn all clauses as in MiniSAT
0.28/0.30	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	c Expensive reason simplification
0.28/0.30	c Glucose 2.1 dynamic restart strategy
0.28/0.30	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.28/0.30	c timeout=2147483s
0.28/0.30	c DB Simplification allowed=false
0.28/0.30	c Listener: none
0.28/0.30	c --- End Solver configuration ---
0.28/0.30	c solving HOME/instance-4440271-1721769065.opb
0.28/0.30	c reading problem ... 
0.28/0.31	c using VERIPB proof format
0.28/0.31	c  objective function found
0.77/0.56	c ... done. Wall clock time 0.25s.
0.77/0.56	c declared #vars     540
0.77/0.56	c #constraints  4626
0.77/0.56	c constraints type 
0.77/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.77/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.77/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.77/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.77/0.56	c 4626 constraints processed.
0.77/0.58	c objective function length is 180 literals
1.12/0.74	c SATISFIABLE
1.12/0.75	c OPTIMIZING...
1.12/0.75	c Got one! Elapsed wall clock time (in seconds):0.441
1.12/0.75	o 78
1.33/0.87	c Got one! Elapsed wall clock time (in seconds):0.558
1.33/0.87	o 76
1.51/0.96	c Got one! Elapsed wall clock time (in seconds):0.661
1.51/0.97	o 74
1.91/1.19	c Got one! Elapsed wall clock time (in seconds):0.886
1.91/1.20	o 68
3.48/1.96	c cleaning 3524 clauses out of 7053 with flag 30822/7053
5.06/2.78	c cleaning 4760 clauses out of 9529 with flag 80249/13053
6.08/3.64	c cleaning 5878 clauses out of 11769 with flag 147681/20053
7.57/4.81	c cleaning 6941 clauses out of 13894 with flag 245093/28056
9.64/6.12	c cleaning 7969 clauses out of 15951 with flag 346858/37054
11.71/8.28	c cleaning 8989 clauses out of 17982 with flag 468552/47054
13.81/10.31	c cleaning 9989 clauses out of 19992 with flag 612695/58053
15.71/12.29	c cleaning 10993 clauses out of 22003 with flag 781196/70053
18.10/14.63	c cleaning 12001 clauses out of 24012 with flag 976530/83055
20.71/17.25	c cleaning 12993 clauses out of 26009 with flag 1190558/97053
23.51/20.11	c cleaning 14000 clauses out of 28017 with flag 1419181/112054
26.62/23.12	c cleaning 15001 clauses out of 30016 with flag 1676061/128053
30.14/26.51	c cleaning 16001 clauses out of 32016 with flag 1955118/145054
33.96/30.28	c cleaning 17002 clauses out of 34016 with flag 2255310/163055
39.47/35.87	c cleaning 18004 clauses out of 36012 with flag 2658712/182053
44.92/41.34	c cleaning 18997 clauses out of 38008 with flag 3022702/202053
45.42/41.86	c Got one! Elapsed wall clock time (in seconds):41.557
45.42/41.86	o 66
46.55/42.90	c cleaning 12415 clauses out of 24848 with flag 81167/207890
47.55/43.92	c cleaning 9201 clauses out of 18433 with flag 191765/213890
48.66/45.01	c cleaning 8103 clauses out of 16231 with flag 307557/220889
49.91/46.17	c cleaning 8051 clauses out of 16128 with flag 431184/228889
51.19/47.46	c cleaning 8535 clauses out of 17078 with flag 563405/237890
52.69/48.94	c cleaning 9267 clauses out of 18543 with flag 717254/247890
54.48/50.74	c cleaning 10129 clauses out of 20276 with flag 894764/258890
56.48/52.74	c cleaning 11062 clauses out of 22146 with flag 1091904/270889
58.68/54.94	c cleaning 12035 clauses out of 24084 with flag 1307849/283889
60.89/57.17	c cleaning 13022 clauses out of 26049 with flag 1528176/297889
61.27/57.56	c cleaning 14010 clauses out of 28028 with flag 1559571/312890
61.68/57.97	c cleaning 15007 clauses out of 30018 with flag 1595615/328890
62.18/58.47	c cleaning 16003 clauses out of 32011 with flag 1637643/345890
62.80/59.05	c cleaning 16997 clauses out of 34007 with flag 1680904/363889
63.39/59.67	c cleaning 18005 clauses out of 36010 with flag 1731353/382889
64.09/60.32	c cleaning 18996 clauses out of 38005 with flag 1786541/402889
64.80/61.07	c cleaning 20005 clauses out of 40009 with flag 1842140/423889
65.68/61.90	c cleaning 20999 clauses out of 42005 with flag 1900571/445890
66.48/62.75	c cleaning 21998 clauses out of 44006 with flag 1960188/468890
67.39/63.64	c cleaning 23000 clauses out of 46008 with flag 2021734/492890
68.91/72.02	c cleaning 24004 clauses out of 48009 with flag 2084965/517891
70.08/73.26	c cleaning 25001 clauses out of 50005 with flag 2156764/543891
71.28/74.41	c cleaning 25996 clauses out of 52002 with flag 2229889/570889
72.58/75.71	c cleaning 27001 clauses out of 54007 with flag 2307481/598890
73.77/76.93	c cleaning 27999 clauses out of 56005 with flag 2382794/627889
75.07/78.23	c cleaning 29002 clauses out of 58007 with flag 2462087/657890
76.37/79.54	c cleaning 29997 clauses out of 60004 with flag 2544915/688889
77.66/80.80	c cleaning 31001 clauses out of 62007 with flag 2630750/720889
78.87/82.01	c cleaning 32004 clauses out of 64007 with flag 2718235/753890
80.15/83.38	c cleaning 32997 clauses out of 66002 with flag 2810003/787889
81.86/85.04	c cleaning 34003 clauses out of 68005 with flag 2903073/822889
83.45/86.60	c cleaning 35001 clauses out of 70003 with flag 3001368/858890
84.96/88.15	c cleaning 35995 clauses out of 72001 with flag 3103764/895889
86.74/89.94	c cleaning 36996 clauses out of 74006 with flag 3204991/933889
88.34/91.58	c cleaning 37996 clauses out of 76010 with flag 3304146/972889
90.23/93.42	c cleaning 39001 clauses out of 78015 with flag 3408806/1012890
92.23/95.41	c cleaning 40003 clauses out of 80013 with flag 3532283/1053889
93.72/96.97	c cleaning 41004 clauses out of 82011 with flag 3642486/1095890
104.51/107.50	c cleaning 42000 clauses out of 84008 with flag 4283447/1138891
108.49/111.54	c cleaning 42998 clauses out of 86008 with flag 4537935/1182891
114.58/117.61	c cleaning 44002 clauses out of 88009 with flag 4847426/1227890
131.38/134.59	c cleaning 44997 clauses out of 90006 with flag 5625911/1273889
153.03/156.30	c cleaning 45994 clauses out of 92009 with flag 6491394/1320889
172.83/176.18	c cleaning 47004 clauses out of 94018 with flag 7381146/1368892
198.45/201.86	c cleaning 48001 clauses out of 96012 with flag 8347931/1417890
223.98/227.43	c cleaning 49001 clauses out of 98012 with flag 9331544/1467891
225.88/229.32	c cleaning 50002 clauses out of 100010 with flag 9456198/1518890
227.80/231.26	c cleaning 50998 clauses out of 102011 with flag 9578796/1570893
229.79/233.27	c cleaning 51995 clauses out of 104010 with flag 9705407/1623890
231.70/235.17	c cleaning 53006 clauses out of 106014 with flag 9839787/1677889
234.08/237.58	c cleaning 53998 clauses out of 108009 with flag 9978053/1732890
236.78/240.27	c cleaning 55001 clauses out of 110012 with flag 10128296/1788891
239.21/242.63	c cleaning 56000 clauses out of 112009 with flag 10280666/1845889
255.49/259.06	c cleaning 57004 clauses out of 114009 with flag 10931481/1903889
296.50/300.17	c cleaning 58002 clauses out of 116005 with flag 12092807/1962889
303.38/307.03	c cleaning 58996 clauses out of 118003 with flag 12393583/2022889
305.48/309.17	c cleaning 60000 clauses out of 120007 with flag 12543487/2083889
308.14/311.88	c cleaning 61000 clauses out of 122007 with flag 12683054/2145889
311.03/314.76	c cleaning 62002 clauses out of 124008 with flag 12831367/2208890
313.64/317.50	c cleaning 63000 clauses out of 126005 with flag 12980560/2272889
317.14/320.13	c cleaning 64000 clauses out of 128005 with flag 13131938/2337889
320.22/322.99	c cleaning 64997 clauses out of 130005 with flag 13289320/2403889
330.31/333.00	c cleaning 66001 clauses out of 132008 with flag 13643330/2470889
385.81/388.65	c cleaning 67000 clauses out of 134007 with flag 14944367/2538889
389.00/391.84	c cleaning 67993 clauses out of 136008 with flag 15094285/2607890
392.17/394.98	c cleaning 69003 clauses out of 138014 with flag 15246552/2677889
395.76/398.54	c cleaning 69997 clauses out of 140011 with flag 15410503/2748889
399.33/402.07	c cleaning 71004 clauses out of 142016 with flag 15565633/2820891
403.52/406.29	c cleaning 72005 clauses out of 144010 with flag 15727169/2893889
407.78/410.55	c cleaning 72998 clauses out of 146005 with flag 15889714/2967889
411.67/414.43	c cleaning 74000 clauses out of 148007 with flag 16057980/3042889
415.98/418.76	c cleaning 74992 clauses out of 150008 with flag 16230765/3118890
419.81/422.55	c cleaning 76007 clauses out of 152017 with flag 16399960/3195891
436.40/439.22	c cleaning 76996 clauses out of 154008 with flag 16929094/3273889
439.60/442.45	c cleaning 77996 clauses out of 156012 with flag 17107734/3352889
443.84/446.64	c cleaning 79008 clauses out of 158016 with flag 17295911/3432889
447.64/450.29	c cleaning 80000 clauses out of 160008 with flag 17486152/3513889
490.15/492.92	c cleaning 80999 clauses out of 162008 with flag 18426520/3595889
501.47/504.24	c cleaning 81996 clauses out of 164010 with flag 18784529/3678890
504.95/507.79	c cleaning 83001 clauses out of 166013 with flag 18993029/3762889
509.04/511.74	c cleaning 83999 clauses out of 168012 with flag 19185538/3847889
513.29/515.95	c cleaning 85003 clauses out of 170016 with flag 19382084/3933892
553.26/555.90	c cleaning 86000 clauses out of 172010 with flag 20188992/4020889
663.69/666.55	c cleaning 87003 clauses out of 174011 with flag 21907820/4108890
690.61/693.42	c cleaning 87999 clauses out of 176008 with flag 22609489/4197890
730.88/733.72	c cleaning 88999 clauses out of 178008 with flag 23411696/4287889
844.97/848.13	c cleaning 90002 clauses out of 180012 with flag 25157017/4378892
967.97/971.25	c cleaning 91002 clauses out of 182007 with flag 26985240/4470889
1094.12/1097.74	c cleaning 91999 clauses out of 184006 with flag 28805897/4563890
1166.74/1170.33	c cleaning 92997 clauses out of 186007 with flag 29982638/4657890
1172.15/1175.83	c cleaning 94003 clauses out of 188009 with flag 30189403/4752889
1177.73/1181.30	c cleaning 94997 clauses out of 190007 with flag 30407832/4848890
1183.44/1187.07	c cleaning 95995 clauses out of 192010 with flag 30630600/4945890
1188.59/1192.16	c cleaning 97007 clauses out of 194015 with flag 30851282/5043890
1194.23/1197.72	c cleaning 97999 clauses out of 196007 with flag 31076682/5142889
1212.38/1215.93	c cleaning 98998 clauses out of 198008 with flag 31467512/5242889
1240.20/1243.73	c cleaning 99997 clauses out of 200012 with flag 32018388/5343891
1245.59/1249.08	c cleaning 101001 clauses out of 202014 with flag 32261645/5445890
1250.27/1253.63	c cleaning 101999 clauses out of 204013 with flag 32509825/5548890
1254.77/1258.15	c cleaning 103005 clauses out of 206015 with flag 32766699/5652891
1260.84/1264.17	c cleaning 103997 clauses out of 208008 with flag 33016693/5757889
1268.72/1272.06	c cleaning 105002 clauses out of 210013 with flag 33289812/5863891
1275.09/1278.49	c cleaning 106000 clauses out of 212009 with flag 33552135/5970889
1282.61/1285.90	c cleaning 106999 clauses out of 214010 with flag 33805439/6078890
1288.74/1292.07	c cleaning 107999 clauses out of 216010 with flag 34065702/6187889
1295.38/1298.71	c cleaning 109000 clauses out of 218012 with flag 34334913/6297890
1300.71/1304.11	c cleaning 110003 clauses out of 220011 with flag 34601721/6408889
1306.63/1309.98	c cleaning 111002 clauses out of 222008 with flag 34875224/6520889
1312.62/1315.97	c cleaning 112000 clauses out of 224009 with flag 35155260/6633892
1318.75/1322.02	c cleaning 113003 clauses out of 226007 with flag 35441538/6747890
1326.42/1329.85	c cleaning 113997 clauses out of 228003 with flag 35726344/6862889
1334.33/1337.78	c cleaning 114994 clauses out of 230007 with flag 36016916/6978890
1341.51/1345.01	c cleaning 116000 clauses out of 232012 with flag 36315913/7095889
1348.93/1352.34	c cleaning 117004 clauses out of 234013 with flag 36628410/7213890
1355.37/1358.68	c cleaning 117999 clauses out of 236008 with flag 36945500/7332889
1362.26/1365.67	c cleaning 119001 clauses out of 238010 with flag 37265708/7452890
1370.16/1373.60	c cleaning 119996 clauses out of 240008 with flag 37581600/7573889
1376.87/1380.29	c cleaning 121001 clauses out of 242013 with flag 37911021/7695890
1385.80/1389.14	c cleaning 121999 clauses out of 244011 with flag 38252668/7818889
1394.82/1398.20	c cleaning 122995 clauses out of 246012 with flag 38595252/7942889
1400.95/1404.37	c cleaning 123998 clauses out of 248017 with flag 38912694/8067889
1410.44/1413.82	c cleaning 125002 clauses out of 250022 with flag 39233875/8193892
1417.76/1421.20	c cleaning 126004 clauses out of 252017 with flag 39524559/8320889
1424.38/1427.81	c cleaning 127003 clauses out of 254013 with flag 39826887/8448889
1435.78/1439.28	c cleaning 128004 clauses out of 256011 with flag 40146713/8577890
1462.58/1466.16	c cleaning 129003 clauses out of 258011 with flag 40660689/8707894
1654.91/1658.67	c cleaning 129993 clauses out of 260003 with flag 42659715/8838889
1663.30/1667.05	c cleaning 131003 clauses out of 262012 with flag 42962590/8970891
1672.44/1676.12	c cleaning 131999 clauses out of 264009 with flag 43290453/9103891
1681.73/1685.47	c cleaning 133000 clauses out of 266008 with flag 43626172/9237889
1689.86/1693.58	c cleaning 133998 clauses out of 268008 with flag 43958482/9372889
1698.08/1701.81	c cleaning 134999 clauses out of 270010 with flag 44283649/9508889
1707.03/1710.73	c cleaning 136001 clauses out of 272012 with flag 44612310/9645890
1716.94/1720.63	c cleaning 137002 clauses out of 274012 with flag 44949846/9783891
1726.55/1730.33	c cleaning 138002 clauses out of 276009 with flag 45276886/9922890
1735.89/1739.51	c cleaning 138994 clauses out of 278006 with flag 45607474/10062889
1744.96/1748.51	c cleaning 140002 clauses out of 280012 with flag 45952444/10203889
1885.77/1889.51	c cleaning 140995 clauses out of 282010 with flag 47571773/10345889
1896.58/1899.62	c cleaning 142004 clauses out of 284015 with flag 47893837/10488889
1907.49/1910.10	c cleaning 143003 clauses out of 286012 with flag 48224343/10632890
1914.71/1917.32	c cleaning 144000 clauses out of 288008 with flag 48551419/10777889
1922.93/1925.52	c cleaning 145000 clauses out of 290010 with flag 48885811/10923891
1931.23/1933.88	c cleaning 146003 clauses out of 292008 with flag 49226887/11070889
1941.86/1944.56	c cleaning 147000 clauses out of 294005 with flag 49582444/11218889
1951.87/1954.58	c cleaning 147995 clauses out of 296008 with flag 49942904/11367892
1961.70/1964.35	c cleaning 149000 clauses out of 298011 with flag 50302946/11517890
1992.46/1995.13	c cleaning 149999 clauses out of 300011 with flag 50940266/11668890
2005.35/2008.26	c cleaning 150996 clauses out of 302012 with flag 51419447/11820890
2015.62/2018.49	c cleaning 152003 clauses out of 304015 with flag 51838851/11973889
2026.58/2029.39	c cleaning 152995 clauses out of 306012 with flag 52247854/12127889
2036.88/2039.72	c cleaning 154004 clauses out of 308017 with flag 52673100/12282889
2048.58/2051.34	c cleaning 155004 clauses out of 310014 with flag 53146709/12438890
2060.95/2063.62	c cleaning 156002 clauses out of 312009 with flag 53618485/12595889
2072.68/2075.48	c cleaning 156999 clauses out of 314009 with flag 54064180/12753891
2084.35/2087.06	c cleaning 157997 clauses out of 316009 with flag 54493038/12912890
2096.86/2099.61	c cleaning 158999 clauses out of 318012 with flag 54912900/13072890
2111.07/2113.85	c cleaning 160001 clauses out of 320012 with flag 55385249/13233889
2128.01/2130.88	c cleaning 161000 clauses out of 322012 with flag 55849954/13395890
2139.05/2141.89	c cleaning 162001 clauses out of 324011 with flag 56339634/13558889
2151.17/2153.96	c cleaning 163000 clauses out of 326010 with flag 56732945/13722889
2165.87/2168.61	c cleaning 164000 clauses out of 328010 with flag 57139699/13887889
2178.51/2181.21	c cleaning 165001 clauses out of 330011 with flag 57555875/14053890
2266.79/2269.61	c cleaning 165994 clauses out of 332009 with flag 58523892/14220889
2355.09/2358.09	c cleaning 166999 clauses out of 334015 with flag 59492015/14388889
2629.85/2633.32	c cleaning 168004 clauses out of 336017 with flag 61462342/14557890
2818.65/2822.35	c cleaning 168998 clauses out of 338014 with flag 63047131/14727891
2828.60/2832.25	c cleaning 170005 clauses out of 340016 with flag 63461547/14898891
2837.10/2840.70	c cleaning 171000 clauses out of 342010 with flag 63887963/15070890
2846.86/2850.36	c cleaning 172003 clauses out of 344009 with flag 64325639/15243889
2857.44/2860.80	c cleaning 172998 clauses out of 346006 with flag 64779928/15417889
2866.86/2870.36	c cleaning 174000 clauses out of 348008 with flag 65242705/15592889
2876.48/2879.82	c cleaning 174999 clauses out of 350009 with flag 65719712/15768890
2885.75/2889.04	c cleaning 176000 clauses out of 352010 with flag 66202001/15945890
2896.16/2899.53	c cleaning 177002 clauses out of 354011 with flag 66688710/16123891
2906.60/2909.83	c cleaning 177997 clauses out of 356007 with flag 67175242/16302889
2917.45/2920.65	c cleaning 179000 clauses out of 358012 with flag 67659348/16482891
2926.67/2929.99	c cleaning 180001 clauses out of 360012 with flag 68136951/16663891
2938.49/2941.73	c cleaning 180999 clauses out of 362009 with flag 68628404/16845889
2948.22/2951.41	c cleaning 182002 clauses out of 364010 with flag 69111317/17028889
2959.05/2962.42	c cleaning 183002 clauses out of 366008 with flag 69599822/17212889
2969.45/2972.71	c cleaning 184001 clauses out of 368006 with flag 70091339/17397889
2980.29/2983.53	c cleaning 184998 clauses out of 370005 with flag 70620341/17583889
2992.95/2996.26	c cleaning 185999 clauses out of 372007 with flag 71142402/17770889
3004.94/3008.15	c cleaning 186997 clauses out of 374008 with flag 71684827/17958889
3016.65/3019.92	c cleaning 188004 clauses out of 376013 with flag 72226458/18147891
3029.49/3032.72	c cleaning 189002 clauses out of 378008 with flag 72774325/18337890
3042.24/3045.35	c cleaning 189997 clauses out of 380006 with flag 73328822/18528890
3053.26/3056.56	c cleaning 190994 clauses out of 382008 with flag 73880358/18720889
3064.39/3067.67	c cleaning 191995 clauses out of 384015 with flag 74448452/18913890
3078.40/3081.32	c cleaning 193004 clauses out of 386019 with flag 75021507/19107889
3092.02/3094.98	c cleaning 194005 clauses out of 388017 with flag 75597117/19302891
3104.24/3107.15	c cleaning 195004 clauses out of 390010 with flag 76183730/19498889
3118.68/3121.78	c cleaning 196000 clauses out of 392007 with flag 76754593/19695890
3131.13/3134.25	c cleaning 197002 clauses out of 394007 with flag 77310982/19893890
3145.41/3148.53	c cleaning 197996 clauses out of 396005 with flag 77874789/20092890
3158.66/3161.71	c cleaning 198998 clauses out of 398008 with flag 78423779/20292889
3482.22/3485.76	c cleaning 199997 clauses out of 400010 with flag 80597811/20493889
3499.16/3502.68	c cleaning 201003 clauses out of 402016 with flag 81122792/20695892
3516.88/3520.31	c cleaning 202000 clauses out of 404010 with flag 81644674/20898889
3536.54/3539.92	c cleaning 203005 clauses out of 406011 with flag 82191287/21102890
3555.61/3559.01	c cleaning 203996 clauses out of 408005 with flag 82748710/21307889
3600.07/3603.52	c starts		: 14179
3600.07/3603.54	c conflicts		: 21497017
3600.07/3603.55	c decisions		: 24820336
3600.07/3603.56	c propagations		: 411510280
3600.07/3603.56	c inspects		: 30865288346
3600.07/3603.56	c shortcuts		: 0
3600.07/3603.56	c learnt literals	: 0
3600.07/3603.56	c learnt binary clauses	: 5
3600.07/3603.56	c learnt ternary clauses	: 123
3600.07/3603.56	c learnt constraints	: 21497017
3600.07/3603.56	c ignored constraints	: 0
3600.07/3603.56	c root simplifications	: 0
3600.07/3603.56	c removed literals (reason simplification)	: 254660466
3600.07/3603.56	c reason swapping (by a shorter reason)	: 0
3600.07/3603.56	c Calls to reduceDB	: 217
3600.07/3603.56	c Number of update (reduction) of LBD	: 1711034
3600.07/3603.56	c Imported unit clauses	: 0
3600.07/3603.56	c No decision after first conflict	: false
3600.07/3603.56	c number of reductions to clauses (during analyze)	: 0
3600.07/3603.56	c number of learned constraints concerned by reduction	: 0
3600.07/3603.56	c number of learning phase by resolution	: 0
3600.07/3603.56	c number of learning phase by cutting planes	: 0
3600.07/3603.56	c number of rounding to 1 operations	: 0
3600.07/3603.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3603.56	c number of reductions of the coefficients by power 2 	: 0
3600.07/3603.56	c number of right shift for reduction by power 2 	: 0
3600.07/3603.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3603.56	c number of ending skipping 	: 0
3600.07/3603.56	c number of internal skipping 	: 0
3600.07/3603.56	c number of derivation steps 	: 0
3600.07/3603.56	c number of skipped derivation steps 	: 0
3600.07/3603.56	c number of remaining unassigned 	: 0
3600.07/3603.56	c number of remaining assigned 	: 0
3600.07/3603.56	c number of falsified literals weakened from reason	: 0
3600.07/3603.56	c number of falsified literals weakened from conflict	: 0
3600.07/3603.56	c time for arithmetic operations	: 0
3600.07/3603.56	c minimum degree of deleted constraints	: null
3600.07/3603.56	c maximum degree of deleted constraints	: null
3600.07/3603.56	c number of deleted constraints	: 0
3600.07/3603.57	c speed (assignments/second)	: 114214.15270897267
3600.07/3603.57	c non guided choices	: 695
3600.47/3603.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 393132
3600.47/3603.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.47/3603.71	s SATISFIABLE
3600.47/3603.71	c Found 5 solution(s)
3600.47/3603.71	v -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 x433 x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 
3600.47/3603.72	c objective function=66
3600.47/3603.72	c Total wall clock time (in seconds): 3603.415

Verifier Data 

OK	66

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: 64059 MiB (3214 MiB free)
  memory of node 1: 64510 MiB (31218 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=129408, runsolver pid=129405
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.25 4.34 4.27 5/323 129426
/proc/meminfo: memFree=35209552/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=18975048 memory=57460 CPUtime=0.1 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 6314 0 19 0 7 3 0 0 20 0 18 0 12895877 19430449152 14365 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4743762 14365 5661 1 0 550793 0
[pid=129408/tid=129410] ppid=129405 vsize=18975048 memory=4026561586 CPUtime=0.06 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 5296 0 13 0 4 2 0 0 20 0 18 0 12895878 19430449152 14365 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12895884 19430449152 14365 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12895885 19430449152 14365 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57460 KiB

[startup+0.222642 s]*
/proc/loadavg: 4.25 4.34 4.27 8/323 129426
/proc/meminfo: memFree=35197916/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=18975048 memory=66720 CPUtime=0.28 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 7075 0 19 0 24 4 0 0 20 0 18 0 12895877 19430449152 16680 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4743762 16680 5668 1 0 551415 0
[pid=129408/tid=129410] ppid=129405 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 5651 0 13 0 14 2 0 0 20 0 18 0 12895878 19430449152 16680 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=18975048 memory=605730 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12895884 19430449152 16680 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12895885 19430449152 16680 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66720 KiB

[startup+0.315676 s]*
/proc/loadavg: 4.25 4.34 4.27 7/323 129426
/proc/meminfo: memFree=35195852/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=18975048 memory=67748 CPUtime=0.4 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 7343 0 19 0 36 4 0 0 20 0 18 0 12895877 19430449152 16937 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4743762 16937 5686 1 0 551589 0
[pid=129408/tid=129410] ppid=129405 vsize=18975048 memory=-8817316222667104956 CPUtime=0.25 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 1077936192 5806 0 13 0 22 3 0 0 20 0 18 0 12895878 19430449152 16937 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12895884 19430449152 16937 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12895885 19430449152 16937 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67748 KiB

[startup+0.701634 s]
/proc/loadavg: 4.25 4.34 4.27 7/323 129426
/proc/meminfo: memFree=35177228/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19041612 memory=94956 CPUtime=1.12 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 9357 0 19 0 106 6 0 0 20 0 19 0 12895877 19498610688 23739 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4760403 23739 5868 1 0 553128 0
[pid=129408/tid=129410] ppid=129405 vsize=19041612 memory=5472 CPUtime=0.57 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 6018 0 13 0 53 4 0 0 20 0 19 0 12895878 19498610688 23739 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12895884 19498610688 23739 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12895885 19498610688 23739 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94956 KiB

[startup+1.51063 s]
/proc/loadavg: 4.25 4.34 4.27 6/324 129427
/proc/meminfo: memFree=35135456/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19041612 memory=159852 CPUtime=2.71 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 15597 0 19 0 263 8 0 0 20 0 19 0 12895877 19498610688 39963 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4760403 39963 5884 1 0 554343 0
[pid=129408/tid=129410] ppid=129405 vsize=19041612 memory=0 CPUtime=1.33 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 6653 0 13 0 128 5 0 0 20 0 19 0 12895878 19498610688 39963 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12895884 19498610688 39963 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12895885 19498610688 39963 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12895936 19498610688 39963 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159852 KiB

[startup+3.10663 s]
/proc/loadavg: 4.31 4.36 4.28 5/325 129428
/proc/meminfo: memFree=35043316/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=184236 CPUtime=5.56 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 21938 0 19 0 546 10 0 0 20 0 20 0 12895877 19566772224 46059 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 46059 5916 1 0 557232 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=0 CPUtime=2.88 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 7588 0 13 0 282 6 0 0 20 0 20 0 12895878 19566772224 46059 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 46059 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 46059 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 46059 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184236 KiB

[startup+6.30063 s]
/proc/loadavg: 4.31 4.36 4.28 7/325 129428
/proc/meminfo: memFree=34854100/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=336116 CPUtime=9.83 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 22215 0 19 0 968 15 0 0 20 0 20 0 12895877 19566772224 84029 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 84029 5916 1 0 557254 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=12928 CPUtime=6.01 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 7743 0 13 0 591 10 0 0 20 0 20 0 12895878 19566772224 84029 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 84029 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=237540 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 84029 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=605646 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 84029 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 336116 KiB

[startup+12.7005 s]
/proc/loadavg: 4.36 4.37 4.28 5/300 129459
/proc/meminfo: memFree=51119828/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=683092 CPUtime=16.2 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 24527 0 19 0 1594 26 0 0 20 0 20 0 12895877 19566772224 170773 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 170773 5916 1 0 557254 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=0 CPUtime=12.37 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 9185 0 13 0 1216 21 0 0 20 0 20 0 12895878 19566772224 170773 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 170773 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=633940 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 170773 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=572500 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 170773 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 16.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 683092 KiB

[startup+25.5005 s]
/proc/loadavg: 4.65 4.43 4.31 5/325 129568
/proc/meminfo: memFree=67243928/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=787676 CPUtime=29.13 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 31220 0 19 0 2879 34 0 0 20 0 20 0 12895877 19566772224 196919 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 196919 5916 1 0 557254 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=0 CPUtime=25.08 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 10661 0 13 0 2481 27 0 0 20 0 20 0 12895878 19566772224 196919 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=787676 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 196919 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=-8817316222667104956 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 196919 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 196919 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 29.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 787676 KiB

[startup+51.1138 s]
/proc/loadavg: 4.49 4.41 4.30 5/325 129573
/proc/meminfo: memFree=65918392/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=1326420 CPUtime=54.9 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 41156 0 19 0 5436 54 0 0 20 0 20 0 12895877 19566772224 331605 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 331605 5916 1 0 557254 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=15976 CPUtime=50.43 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 13404 0 13 0 4998 45 0 0 20 0 20 0 12895878 19566772224 331605 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=1326408 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 331605 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=1326408 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 331605 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0

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

Current children cumulated memory: 2619208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.21 4.24 5/323 131571
/proc/meminfo: memFree=92214984/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3339.07 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 157478 0 19 0 332963 944 0 0 20 0 20 0 12895877 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654802 5964 1 0 667259 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3300.1 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 67269 0 13 0 329275 735 0 0 20 0 20 0 12895878 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1240 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2609 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3339.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.19 4.23 5/325 131596
/proc/meminfo: memFree=91839892/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3399.1 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 159448 0 19 0 338959 951 0 0 20 0 20 0 12895877 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654802 5964 1 0 667259 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3359.8 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 68142 0 13 0 335242 738 0 0 20 0 20 0 12895878 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1240 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2609 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3399.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.17 4.22 5/325 131830
/proc/meminfo: memFree=91186796/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3458.87 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 159691 0 19 0 344929 958 0 0 20 0 20 0 12895877 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654802 5964 1 0 667259 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3419.51 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 68309 0 13 0 341210 741 0 0 20 0 20 0 12895878 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1253 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2679 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619208 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654802 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3458.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.22 5/325 131840
/proc/meminfo: memFree=90786660/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619228 CPUtime=3518.88 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 160517 0 19 0 350912 976 0 0 20 0 20 0 12895877 19566772224 654807 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654807 5964 1 0 667264 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=2619208 CPUtime=3478.91 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 68992 0 13 0 347135 756 0 0 20 0 20 0 12895878 19566772224 654807 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1268 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=11672 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654807 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=2619228 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2679 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654807 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619228 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654807 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3518.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.21 5/327 132142
/proc/meminfo: memFree=90459844/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619240 CPUtime=3578.9 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 162183 0 19 0 356894 996 0 0 20 0 20 0 12895877 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654810 5964 1 0 667264 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=15976 CPUtime=3538.21 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 69738 0 13 0 353048 773 0 0 20 0 20 0 12895878 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1279 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=2619240 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=26224 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2755 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619240 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3578.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 4.13 4.16 4.20 5/327 132145
/proc/meminfo: memFree=90380520/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19108176 memory=2619240 CPUtime=3600.07 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 162269 0 19 0 359009 998 0 0 20 0 20 0 12895877 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4777044 654810 5964 1 0 667264 0
[pid=129408/tid=129410] ppid=129405 vsize=19108176 memory=2619240 CPUtime=3559.36 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 69808 0 13 0 355162 774 0 0 20 0 20 0 12895878 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1279 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19108176 memory=49436 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12895884 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19108176 memory=2619240 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2767 0 0 0 0 0 0 0 20 0 20 0 12895885 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129427] ppid=129405 vsize=19108176 memory=2619240 CPUtime=0 cores=5,7
/proc/129408/task/129427/stat : 129427 (Timer-0) S 129405 129408 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12895936 19566772224 654810 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.53 s, system=10.0106 s

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

[startup+3603.61 s]
/proc/loadavg: 4.13 4.16 4.20 5/327 132145
/proc/meminfo: memFree=90380520/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19307868 memory=2619900 CPUtime=3600.28 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 164418 0 19 0 359029 999 0 0 20 0 21 0 12895877 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4826967 654975 5963 1 0 668203 0
[pid=129408/tid=129410] ppid=129405 vsize=19307868 memory=-8817316222667104956 CPUtime=3559.46 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 69976 0 13 0 355172 774 0 0 20 0 21 0 12895878 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1279 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19307868 memory=5028 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12895884 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19307868 memory=2486140 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2767 0 0 0 0 0 0 0 20 0 21 0 12895885 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2619900 KiB

[startup+3603.7 s]
/proc/loadavg: 4.13 4.16 4.20 5/327 132145
/proc/meminfo: memFree=90380520/131655788 swapFree=131071472/131071996
[pid=129408] ppid=129405 vsize=19307868 memory=2619900 CPUtime=3600.47 cores=5,7
/proc/129408/stat : 129408 (java) S 129405 129408 127376 0 -1 1077936128 164459 0 19 0 359048 999 0 0 20 0 21 0 12895877 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
/proc/129408/statm: 4826967 654975 5963 1 0 668203 0
[pid=129408/tid=129410] ppid=129405 vsize=19307868 memory=2619240 CPUtime=3559.55 cores=5,7
/proc/129408/task/129410/stat : 129410 (java) R 129405 129408 127376 0 -1 4194368 69980 0 13 0 355181 774 0 0 20 0 21 0 12895878 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1279 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129419] ppid=129405 vsize=19307868 memory=49436 CPUtime=0 cores=5,7
/proc/129408/task/129419/stat : 129419 (Finalizer) S 129405 129408 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12895884 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
[pid=129408/tid=129426] ppid=129405 vsize=19307868 memory=2619240 CPUtime=0 cores=5,7
/proc/129408/task/129426/stat : 129426 (Common-Cleaner) S 129405 129408 127376 0 -1 1077936192 2767 0 0 0 0 0 0 0 20 0 21 0 12895885 19771256832 654975 134679101440 94338038800384 94338038804080 140735256909760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94338038811896 94338038812688 94338068316160 140735256916907 140735256917089 140735256917089 140735256924104 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2619900 KiB

Child status: 143

Real time (s): 3603.74
CPU time (s): 3600.54
CPU user time (s): 3590.53
CPU system time (s): 10.0106
CPU usage (%): 99.911
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2619900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.53
system time used= 10.0106
maximum resident set size= 2620740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164953
page faults= 19
swaps= 0
block input operations= 26008
block output operations= 12184896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118367
involuntary context switches= 8041


# summary of solver processes directly reported to runsolver:
#   pid: 129408
#   total CPU time (s): 3600.54
#   total CPU user time (s): 3590.53
#   total CPU system time (s): 10.0106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8309 second user time and 36.722 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-23 23:11:05
IDJOB=4440271
IDBENCH=147020
IDSOLVER=3079
FILE ID=nodeC008/4440271-1721769065
RUNJOBID= nodeC008-1721765594-127389
SLURM_JOB_ID= 7770668
Free space on /tmp= 723760 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.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-4440271-1721769065/watcher-4440271-1721769065 -o /tmp/evaluation-result-4440271-1721769065/solver-4440271-1721769065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127389 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440271-1721769065 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440271-1721769065.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=551281836

nodeC008.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		: 3542.211
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.19
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		: 3567.299
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.33
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.263
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.19
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.291
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.33
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		: 3491.598
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.19
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		: 1795.690
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.33
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.220
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.19
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.126
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        35260708 kB
MemAvailable:   81181980 kB
Buffers:          192356 kB
Cached:         46470308 kB
SwapCached:           48 kB
Active:          1254128 kB
Inactive:       94321652 kB
Active(anon):       1600 kB
Inactive(anon): 48957380 kB
Active(file):    1252528 kB
Inactive(file): 45364272 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            252072 kB
Writeback:            16 kB
AnonPages:      48912812 kB
Mapped:           127328 kB
Shmem:             45784 kB
KReclaimable:     289008 kB
Slab:             402940 kB
SReclaimable:     289008 kB
SUnreclaim:       113932 kB
KernelStack:        4928 kB
PageTables:       105520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   49440804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  46706688 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:      275272 kB
DirectMap2M:    27940864 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-24 00:11:09