Trace number 4458454

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 Default 2024-07-07SAT (TO)-29 3600.67 3311.58

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
MD5SUM678da6339402b89815c46f6042afd950
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark506.649
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1056
Total number of constraints488
Number of constraints which are clauses416
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints32
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 640
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 640
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 640
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.15	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.19	c java.vm.version	22.0.1+8-16
0.13/0.19	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2115194816
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.13/0.21	c Number of processors 	2
0.33/0.30	--- Begin Solver configuration ---
0.33/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.30	Learn all clauses as in MiniSAT
0.33/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.30	No reason simplification
0.33/0.30	Glucose 2.1 dynamic restart strategy
0.33/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.33/0.30	timeout=2147483s
0.33/0.30	DB Simplification allowed=false
0.33/0.30	Listener: none
0.33/0.30	--- End Solver configuration ---
0.33/0.30	c Pseudo Boolean Optimization by upper bound
0.33/0.30	c --- Begin Solver configuration ---
0.33/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.30	c Learn all clauses as in MiniSAT
0.33/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.30	c No reason simplification
0.33/0.30	c Glucose 2.1 dynamic restart strategy
0.33/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.33/0.30	c timeout=2147483s
0.33/0.30	c DB Simplification allowed=false
0.33/0.30	c Listener: none
0.33/0.30	c --- End Solver configuration ---
0.33/0.30	c solving HOME/instance-4458454-1721878085.opb
0.33/0.30	c reading problem ... 
0.33/0.30	c  objective function found
0.48/0.42	c ... done. Wall clock time 0.107s.
0.48/0.42	c declared #vars     1056
0.48/0.42	c #constraints  488
0.48/0.42	c constraints type 
0.48/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.48/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 32
0.48/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 416
0.48/0.42	c 488 constraints processed.
0.67/0.44	c objective function length is 640 literals
0.67/0.53	c SATISFIABLE
0.67/0.53	c OPTIMIZING...
0.67/0.53	c Got one! Elapsed wall clock time (in seconds):0.218
0.67/0.53	o -29
2.75/1.57	c cleaning 2542 clauses out of 5086 with flag 17239/5086
3.45/2.09	c cleaning 4271 clauses out of 8543 with flag 31367/11085
4.21/2.75	c cleaning 5636 clauses out of 11273 with flag 47858/18086
5.11/3.51	c cleaning 6819 clauses out of 13640 with flag 66701/26089
6.35/4.46	c cleaning 7910 clauses out of 15821 with flag 87879/35089
7.64/5.76	c cleaning 8952 clauses out of 17907 with flag 111434/45085
9.39/7.21	c cleaning 9976 clauses out of 19955 with flag 137346/56085
10.72/8.47	c cleaning 10990 clauses out of 21982 with flag 165609/68088
12.19/9.78	c cleaning 11993 clauses out of 23991 with flag 196205/81087
13.85/11.22	c cleaning 12998 clauses out of 25996 with flag 229179/95085
15.24/12.62	c cleaning 13999 clauses out of 28000 with flag 264524/110087
17.34/14.41	c cleaning 14999 clauses out of 30000 with flag 302184/126086
19.56/16.38	c cleaning 16002 clauses out of 32004 with flag 342226/143089
21.80/18.22	c cleaning 16998 clauses out of 33999 with flag 387238/161086
23.51/19.97	c cleaning 17996 clauses out of 36001 with flag 435468/180086
25.44/21.73	c cleaning 19000 clauses out of 38005 with flag 494901/200086
27.87/23.83	c cleaning 20002 clauses out of 40004 with flag 557507/221085
30.25/25.95	c cleaning 21000 clauses out of 42003 with flag 623030/243086
32.25/27.94	c cleaning 21998 clauses out of 44002 with flag 691522/266085
34.50/30.14	c cleaning 23003 clauses out of 46005 with flag 762932/290086
37.04/32.54	c cleaning 23995 clauses out of 48001 with flag 837477/315085
40.25/35.50	c cleaning 25004 clauses out of 50007 with flag 902061/341086
44.07/38.95	c cleaning 25996 clauses out of 52002 with flag 968848/368085
48.15/42.62	c cleaning 27000 clauses out of 54006 with flag 1038558/396085
51.88/46.14	c cleaning 27999 clauses out of 56006 with flag 1109750/425085
55.57/49.48	c cleaning 29000 clauses out of 58008 with flag 1190358/455086
59.18/52.79	c cleaning 30002 clauses out of 60008 with flag 1280670/486086
62.80/56.06	c cleaning 31000 clauses out of 62005 with flag 1368694/518085
68.23/59.73	c cleaning 31996 clauses out of 64005 with flag 1461564/551085
73.13/64.22	c cleaning 33000 clauses out of 66009 with flag 1543981/585085
77.47/68.22	c cleaning 34005 clauses out of 68009 with flag 1628472/620085
81.53/71.97	c cleaning 34999 clauses out of 70004 with flag 1715618/656085
86.95/76.50	c cleaning 36000 clauses out of 72005 with flag 1809343/693085
91.67/80.78	c cleaning 36999 clauses out of 74005 with flag 1905078/731085
97.13/85.78	c cleaning 37999 clauses out of 76006 with flag 2002559/770085
102.06/90.23	c cleaning 38998 clauses out of 78007 with flag 2101792/810085
106.90/94.82	c cleaning 40001 clauses out of 80009 with flag 2203302/851085
111.80/99.57	c cleaning 41000 clauses out of 82008 with flag 2307292/893085
117.03/104.35	c cleaning 42005 clauses out of 84009 with flag 2413756/936086
122.88/109.50	c cleaning 42999 clauses out of 86004 with flag 2522692/980086
128.44/114.69	c cleaning 43998 clauses out of 88004 with flag 2634111/1025085
136.20/120.10	c cleaning 45001 clauses out of 90007 with flag 2750186/1071086
142.64/126.27	c cleaning 45999 clauses out of 92006 with flag 2873812/1118086
149.17/132.63	c cleaning 46999 clauses out of 94007 with flag 3000063/1166086
156.08/138.84	c cleaning 47999 clauses out of 96008 with flag 3122807/1215086
163.03/145.35	c cleaning 49002 clauses out of 98009 with flag 3246606/1265086
169.91/151.88	c cleaning 49998 clauses out of 100007 with flag 3372878/1316086
178.83/159.79	c cleaning 51000 clauses out of 102009 with flag 3501621/1368086
186.44/166.93	c cleaning 52000 clauses out of 104009 with flag 3632846/1421086
194.53/174.71	c cleaning 53001 clauses out of 106009 with flag 3766541/1475086
202.93/182.44	c cleaning 54000 clauses out of 108008 with flag 3902720/1530086
210.88/189.93	c cleaning 54999 clauses out of 110008 with flag 4041373/1586086
220.55/197.04	c cleaning 56002 clauses out of 112009 with flag 4182493/1643086
229.35/205.20	c cleaning 57001 clauses out of 114007 with flag 4326096/1701086
236.77/212.27	c cleaning 57998 clauses out of 116006 with flag 4475491/1760086
245.65/220.31	c cleaning 59000 clauses out of 118008 with flag 4630629/1820086
253.81/228.01	c cleaning 60002 clauses out of 120008 with flag 4781716/1881086
262.84/236.26	c cleaning 61000 clauses out of 122006 with flag 4935226/1943086
271.55/244.45	c cleaning 62000 clauses out of 124006 with flag 5091212/2006086
281.28/253.39	c cleaning 62999 clauses out of 126006 with flag 5249667/2070086
291.50/263.01	c cleaning 64001 clauses out of 128006 with flag 5419331/2135085
303.57/274.01	c cleaning 65001 clauses out of 130005 with flag 5592929/2201085
314.63/284.40	c cleaning 65998 clauses out of 132004 with flag 5759805/2268085
325.73/294.70	c cleaning 67003 clauses out of 134006 with flag 5928170/2336085
337.09/305.59	c cleaning 67999 clauses out of 136003 with flag 6099005/2405085
348.98/316.60	c cleaning 68996 clauses out of 138004 with flag 6272312/2475085
362.10/328.70	c cleaning 70001 clauses out of 140008 with flag 6448100/2546085
373.40/339.58	c cleaning 71000 clauses out of 142007 with flag 6626368/2618085
389.78/352.14	c cleaning 72003 clauses out of 144007 with flag 6807103/2691085
400.64/362.66	c cleaning 73001 clauses out of 146004 with flag 6996713/2765085
413.64/374.89	c cleaning 73999 clauses out of 148003 with flag 7194246/2840085
426.93/387.21	c cleaning 75000 clauses out of 150005 with flag 7394545/2916086
439.11/398.96	c cleaning 76001 clauses out of 152005 with flag 7573744/2993086
451.38/410.24	c cleaning 77000 clauses out of 154004 with flag 7743133/3071086
463.99/421.83	c cleaning 77997 clauses out of 156004 with flag 7911840/3150086
476.41/433.81	c cleaning 79001 clauses out of 158007 with flag 8082674/3230086
489.46/446.04	c cleaning 79998 clauses out of 160005 with flag 8261322/3311085
505.31/460.94	c cleaning 81000 clauses out of 162007 with flag 8438279/3393085
522.41/477.12	c cleaning 81999 clauses out of 164008 with flag 8632146/3476086
535.93/489.48	c cleaning 83002 clauses out of 166008 with flag 8817558/3560085
547.89/500.84	c cleaning 84000 clauses out of 168006 with flag 9011051/3645085
561.87/513.83	c cleaning 85002 clauses out of 170006 with flag 9225513/3731085
576.68/527.52	c cleaning 86002 clauses out of 172005 with flag 9431322/3818086
595.70/542.31	c cleaning 86997 clauses out of 174003 with flag 9646952/3906086
610.40/556.57	c cleaning 88001 clauses out of 176006 with flag 9869924/3995086
623.84/569.25	c cleaning 89002 clauses out of 178005 with flag 10095396/4085086
638.32/582.78	c cleaning 89996 clauses out of 180003 with flag 10323483/4176086
655.36/598.50	c cleaning 91002 clauses out of 182007 with flag 10554450/4268086
671.51/613.48	c cleaning 92002 clauses out of 184005 with flag 10787915/4361086
686.31/627.66	c cleaning 92999 clauses out of 186003 with flag 11021249/4455086
701.35/641.99	c cleaning 93998 clauses out of 188003 with flag 11255931/4550085
717.57/657.37	c cleaning 94998 clauses out of 190005 with flag 11496324/4646085
735.26/673.94	c cleaning 96001 clauses out of 192007 with flag 11739226/4743085
752.12/689.70	c cleaning 96997 clauses out of 194006 with flag 11984927/4841085
768.93/705.42	c cleaning 98002 clauses out of 196009 with flag 12233247/4940085
786.46/721.86	c cleaning 98998 clauses out of 198007 with flag 12483347/5040085
808.64/739.23	c cleaning 99999 clauses out of 200010 with flag 12730336/5141086
827.25/756.64	c cleaning 101002 clauses out of 202011 with flag 12983648/5243086
846.87/775.06	c cleaning 102001 clauses out of 204009 with flag 13241910/5346086
865.20/792.79	c cleaning 103001 clauses out of 206008 with flag 13502097/5450086
881.13/807.78	c cleaning 103999 clauses out of 208007 with flag 13758571/5555086
898.03/823.64	c cleaning 105002 clauses out of 210007 with flag 14013998/5661085
915.39/840.11	c cleaning 106002 clauses out of 212005 with flag 14279214/5768085
935.87/859.48	c cleaning 107000 clauses out of 214003 with flag 14548661/5876085
954.65/876.81	c cleaning 107999 clauses out of 216004 with flag 14819007/5985086
975.08/896.37	c cleaning 109000 clauses out of 218004 with flag 15040510/6095085
998.66/915.17	c cleaning 109998 clauses out of 220005 with flag 15265913/6206086
1019.67/935.22	c cleaning 111001 clauses out of 222007 with flag 15491023/6318086
1039.98/954.49	c cleaning 112002 clauses out of 224005 with flag 15719544/6431085
1060.05/973.75	c cleaning 113000 clauses out of 226004 with flag 15950225/6545086
1081.08/993.73	c cleaning 113998 clauses out of 228004 with flag 16181723/6660086
1102.21/1014.12	c cleaning 115001 clauses out of 230006 with flag 16417672/6776086
1125.68/1036.00	c cleaning 116000 clauses out of 232006 with flag 16716658/6893087
1146.45/1055.46	c cleaning 116999 clauses out of 234004 with flag 17017005/7011085
1169.33/1077.14	c cleaning 117999 clauses out of 236005 with flag 17315594/7130085
1193.45/1100.07	c cleaning 118999 clauses out of 238007 with flag 17613600/7250086
1215.56/1121.28	c cleaning 119999 clauses out of 240008 with flag 17916354/7371086
1242.00/1142.43	c cleaning 121000 clauses out of 242009 with flag 18239192/7493086
1265.53/1164.69	c cleaning 122000 clauses out of 244008 with flag 18565793/7616085
1288.94/1186.83	c cleaning 123001 clauses out of 246008 with flag 18877911/7740085
1312.93/1209.80	c cleaning 124000 clauses out of 248008 with flag 19169315/7865086
1337.25/1232.56	c cleaning 125000 clauses out of 250008 with flag 19453969/7991086
1361.44/1255.44	c cleaning 126000 clauses out of 252007 with flag 19735583/8118085
1382.82/1275.76	c cleaning 127002 clauses out of 254008 with flag 20056855/8246086
1407.58/1298.92	c cleaning 128000 clauses out of 256005 with flag 20346192/8375085
1443.94/1329.12	c cleaning 129001 clauses out of 258006 with flag 20638272/8505086
1470.65/1354.60	c cleaning 129998 clauses out of 260005 with flag 20928751/8636086
1498.11/1380.34	c cleaning 131000 clauses out of 262006 with flag 21221372/8768085
1526.15/1407.04	c cleaning 131998 clauses out of 264006 with flag 21522280/8901085
1553.11/1431.88	c cleaning 133001 clauses out of 266008 with flag 21824446/9035085
1580.69/1458.04	c cleaning 134001 clauses out of 268007 with flag 22134900/9170085
1606.98/1483.22	c cleaning 135001 clauses out of 270008 with flag 22440640/9306087
1641.23/1510.62	c cleaning 135998 clauses out of 272006 with flag 22748786/9443086
1669.76/1537.99	c cleaning 137000 clauses out of 274008 with flag 23058809/9581086
1699.56/1566.11	c cleaning 138002 clauses out of 276008 with flag 23376950/9720086
1724.06/1589.40	c cleaning 138999 clauses out of 278005 with flag 23688896/9860085
1757.49/1621.09	c cleaning 140002 clauses out of 280006 with flag 24001692/10001085
1791.33/1653.74	c cleaning 140999 clauses out of 282004 with flag 24316571/10143085
1821.09/1681.57	c cleaning 141998 clauses out of 284005 with flag 24636066/10286085
1854.24/1708.49	c cleaning 143002 clauses out of 286007 with flag 24960009/10430085
1881.01/1733.89	c cleaning 143998 clauses out of 288006 with flag 25290265/10575086
1915.26/1766.36	c cleaning 144999 clauses out of 290007 with flag 25617867/10721085
1948.87/1798.59	c cleaning 146001 clauses out of 292008 with flag 25944809/10868085
1984.91/1833.03	c cleaning 147000 clauses out of 294007 with flag 26277248/11016085
2020.66/1867.07	c cleaning 148001 clauses out of 296007 with flag 26608761/11165085
2068.66/1906.31	c cleaning 149000 clauses out of 298007 with flag 26952634/11315086
2101.58/1937.85	c cleaning 150001 clauses out of 300006 with flag 27322897/11466085
2134.47/1969.10	c cleaning 150998 clauses out of 302006 with flag 27667922/11618086
2170.19/2002.78	c cleaning 152000 clauses out of 304007 with flag 28017744/11771085
2203.47/2034.53	c cleaning 153001 clauses out of 306007 with flag 28377115/11925085
2236.84/2066.37	c cleaning 154002 clauses out of 308006 with flag 28727520/12080085
2275.72/2097.08	c cleaning 154997 clauses out of 310004 with flag 29068897/12236085
2307.59/2127.04	c cleaning 156003 clauses out of 312007 with flag 29404184/12393085
2340.65/2158.02	c cleaning 156997 clauses out of 314004 with flag 29741592/12551085
2374.41/2190.47	c cleaning 158002 clauses out of 316007 with flag 30082355/12710085
2409.34/2223.69	c cleaning 158998 clauses out of 318005 with flag 30427340/12870085
2445.94/2258.60	c cleaning 160003 clauses out of 320007 with flag 30774614/13031085
2486.49/2292.62	c cleaning 160997 clauses out of 322004 with flag 31120585/13193085
2524.43/2328.82	c cleaning 162002 clauses out of 324007 with flag 31467835/13356085
2560.64/2363.12	c cleaning 163001 clauses out of 326005 with flag 31817197/13520085
2590.83/2391.43	c cleaning 163997 clauses out of 328004 with flag 32189854/13685085
2622.96/2421.61	c cleaning 165002 clauses out of 330008 with flag 32577312/13851086
2661.10/2452.58	c cleaning 165999 clauses out of 332005 with flag 32966604/14018085
2692.71/2482.18	c cleaning 166998 clauses out of 334007 with flag 33357857/14186086
2731.45/2518.99	c cleaning 168004 clauses out of 336009 with flag 33742913/14355086
2766.12/2551.40	c cleaning 169000 clauses out of 338004 with flag 34137705/14525085
2802.67/2586.04	c cleaning 170000 clauses out of 340004 with flag 34525712/14696085
2841.97/2618.59	c cleaning 170998 clauses out of 342004 with flag 34927916/14868085
2879.13/2653.86	c cleaning 172002 clauses out of 344007 with flag 35360839/15041086
2914.98/2687.87	c cleaning 172999 clauses out of 346004 with flag 35795879/15215085
2948.76/2719.82	c cleaning 173996 clauses out of 348006 with flag 36227297/15390086
2986.41/2755.14	c cleaning 174997 clauses out of 350010 with flag 36626528/15566086
3036.78/2798.38	c cleaning 176003 clauses out of 352013 with flag 37032830/15743086
3082.21/2841.70	c cleaning 177002 clauses out of 354010 with flag 37439052/15921086
3117.83/2875.38	c cleaning 178001 clauses out of 356007 with flag 37861834/16100085
3155.06/2910.67	c cleaning 179000 clauses out of 358006 with flag 38277720/16280085
3206.15/2951.92	c cleaning 180001 clauses out of 360006 with flag 38695400/16461085
3242.71/2986.48	c cleaning 180999 clauses out of 362006 with flag 39112599/16643086
3283.43/3025.27	c cleaning 182000 clauses out of 364006 with flag 39562513/16826085
3330.31/3070.38	c cleaning 183001 clauses out of 366007 with flag 40027073/17010086
3386.29/3115.95	c cleaning 183999 clauses out of 368005 with flag 40459955/17195085
3429.93/3157.74	c cleaning 184999 clauses out of 370006 with flag 40882391/17381085
3469.75/3195.69	c cleaning 186000 clauses out of 372007 with flag 41306931/17568085
3515.33/3238.60	c cleaning 186999 clauses out of 374007 with flag 41733757/17756085
3564.78/3278.33	c cleaning 188002 clauses out of 376008 with flag 42201399/17945085
3600.19/3311.33	c starts		: 61
3600.19/3311.34	c conflicts		: 18134631
3600.19/3311.34	c decisions		: 21353485
3600.19/3311.34	c propagations		: 288966868
3600.19/3311.34	c inspects		: 8566431753
3600.19/3311.34	c shortcuts		: 0
3600.19/3311.34	c learnt literals	: 0
3600.19/3311.34	c learnt binary clauses	: 0
3600.19/3311.34	c learnt ternary clauses	: 0
3600.19/3311.34	c learnt constraints	: 18134631
3600.19/3311.34	c ignored constraints	: 0
3600.19/3311.34	c root simplifications	: 0
3600.19/3311.34	c removed literals (reason simplification)	: 0
3600.19/3311.34	c reason swapping (by a shorter reason)	: 0
3600.19/3311.34	c Calls to reduceDB	: 185
3600.19/3311.34	c Number of update (reduction) of LBD	: 11041
3600.19/3311.34	c Imported unit clauses	: 0
3600.19/3311.34	c No decision after first conflict	: false
3600.19/3311.34	c number of reductions to clauses (during analyze)	: 0
3600.19/3311.34	c number of learned constraints concerned by reduction	: 0
3600.19/3311.34	c number of learning phase by resolution	: 0
3600.19/3311.37	c number of learning phase by cutting planes	: 0
3600.19/3311.37	c number of rounding to 1 operations	: 0
3600.19/3311.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.19/3311.37	c number of reductions of the coefficients by power 2 	: 0
3600.19/3311.37	c number of right shift for reduction by power 2 	: 0
3600.19/3311.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.19/3311.37	c number of ending skipping 	: 0
3600.19/3311.37	c number of internal skipping 	: 0
3600.19/3311.37	c number of derivation steps 	: 0
3600.19/3311.37	c number of skipped derivation steps 	: 0
3600.19/3311.37	c number of remaining unassigned 	: 0
3600.19/3311.37	c number of remaining assigned 	: 0
3600.19/3311.37	c number of falsified literals weakened from reason	: 0
3600.19/3311.37	c number of falsified literals weakened from conflict	: 0
3600.19/3311.37	c time for arithmetic operations	: 0
3600.19/3311.37	c minimum degree of deleted constraints	: null
3600.19/3311.37	c maximum degree of deleted constraints	: null
3600.19/3311.37	c number of deleted constraints	: 0
3600.19/3311.37	c speed (assignments/second)	: 87277.01578656782
3600.19/3311.37	c non guided choices	: 25
3600.57/3311.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 377552
3600.57/3311.51	s SATISFIABLE
3600.57/3311.51	c Found 1 solution(s)
3600.57/3311.51	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 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 x758 -x759 x760 x761 x762 -x763 x764 x765 -x766 -x767 -x768 x769 x770 -x771 x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 x1054 x1055 x1056 
3600.57/3311.51	c objective function=-29
3600.57/3311.51	c Total wall clock time (in seconds): 3311.211

Verifier Data 

OK	-29

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

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

solver pid=204138, runsolver pid=204135

[startup+0.10028 s]*
/proc/loadavg: 4.23 3.65 3.03 7/317 204156
/proc/meminfo: memFree=116834680/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=18975048 memory=55324 CPUtime=0.13 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 6441 0 0 0 9 4 0 0 20 0 18 0 23798372 19430449152 13831 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4743762 13831 5538 1 0 550813 0
[pid=204138/tid=204140] ppid=204135 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 5374 0 0 0 6 2 0 0 20 0 18 0 23798373 19430449152 13831 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23798378 19430449152 13831 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=18975048 memory=14127853412601218 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23798379 19430449152 13831 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55324 KiB

[startup+0.216934 s]*
/proc/loadavg: 4.23 3.65 3.03 7/317 204156
/proc/meminfo: memFree=116829212/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=18975048 memory=62420 CPUtime=0.33 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 7174 0 0 0 28 5 0 0 20 0 18 0 23798372 19430449152 15605 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4743762 15605 5545 1 0 551389 0
[pid=204138/tid=204140] ppid=204135 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 5731 0 0 0 17 3 0 0 20 0 18 0 23798373 19430449152 15605 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=18975048 memory=1364536 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23798378 19430449152 15605 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23798379 19430449152 15605 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62420 KiB

[startup+0.319312 s]*
/proc/loadavg: 4.23 3.65 3.03 7/317 204156
/proc/meminfo: memFree=116821752/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=18975048 memory=64108 CPUtime=0.48 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 7429 0 0 0 43 5 0 0 20 0 18 0 23798372 19430449152 16027 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4743762 16027 5736 1 0 551561 0
[pid=204138/tid=204140] ppid=204135 vsize=18975048 memory=-8816475117780181692 CPUtime=0.29 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 5882 0 0 0 26 3 0 0 20 0 18 0 23798373 19430449152 16027 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23798378 19430449152 16027 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23798379 19430449152 16027 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64108 KiB

[startup+0.710252 s]
/proc/loadavg: 4.23 3.65 3.03 7/318 204157
/proc/meminfo: memFree=116811908/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19041612 memory=76420 CPUtime=1.21 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 9673 0 0 0 114 7 0 0 20 0 19 0 23798372 19498610688 19105 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4760403 19105 5878 1 0 553084 0
[pid=204138/tid=204140] ppid=204135 vsize=19041612 memory=5516 CPUtime=0.66 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 6041 0 0 0 63 3 0 0 20 0 19 0 23798373 19498610688 19105 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19041612 memory=12668 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23798378 19498610688 19105 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19041612 memory=7235542843232977741 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23798379 19498610688 19105 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19041612 memory=281126010942440 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23798417 19498610688 19105 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76420 KiB

[startup+1.50125 s]
/proc/loadavg: 4.23 3.65 3.03 6/318 204157
/proc/meminfo: memFree=116782156/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19041612 memory=134728 CPUtime=2.75 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 14242 0 0 0 267 8 0 0 20 0 19 0 23798372 19498610688 33682 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4760403 33682 5894 1 0 554168 0
[pid=204138/tid=204140] ppid=204135 vsize=19041612 memory=12668 CPUtime=1.44 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 6252 0 0 0 140 4 0 0 20 0 19 0 23798373 19498610688 33682 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23798378 19498610688 33682 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23798379 19498610688 33682 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19041612 memory=281126010791184 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23798417 19498610688 33682 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134728 KiB

[startup+3.10625 s]
/proc/loadavg: 4.23 3.65 3.03 6/319 204158
/proc/meminfo: memFree=116356696/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19108176 memory=382956 CPUtime=4.72 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 17531 0 0 0 458 14 0 0 20 0 20 0 23798372 19566772224 95739 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4777044 95739 5926 1 0 554836 0
[pid=204138/tid=204140] ppid=204135 vsize=19108176 memory=0 CPUtime=2.74 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 7288 0 0 0 269 5 0 0 20 0 20 0 23798373 19566772224 95739 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19566772224 95739 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 23798379 19566772224 95739 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19566772224 95739 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 382956 KiB

[startup+6.30825 s]
/proc/loadavg: 4.21 3.65 3.03 5/319 204160
/proc/meminfo: memFree=115927408/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19108176 memory=774080 CPUtime=8.3 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 18793 0 0 0 807 23 0 0 20 0 20 0 23798372 19566772224 193520 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4777044 193520 5926 1 0 1095848 0
[pid=204138/tid=204140] ppid=204135 vsize=19108176 memory=0 CPUtime=5.65 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) S 204135 204138 203492 0 -1 1077936192 7496 0 0 0 556 9 0 0 20 0 20 0 23798373 19566772224 193520 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19566772224 193520 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 23798379 19566772224 193520 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19108176 memory=-8816475117780181692 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19566772224 193520 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 774080 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 3.66 3.04 5/319 204160
/proc/meminfo: memFree=114938920/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19108176 memory=1513220 CPUtime=15.35 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 20311 0 0 0 1495 40 0 0 20 0 20 0 23798372 19566772224 378305 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4777044 378305 5939 1 0 1693266 0
[pid=204138/tid=204140] ppid=204135 vsize=19108176 memory=12668 CPUtime=11.31 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 7790 0 0 0 1116 15 0 0 20 0 20 0 23798373 19566772224 378305 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19108176 memory=-8816475117780181692 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19566772224 378305 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19108176 memory=1376004 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 23798379 19566772224 378305 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19566772224 378305 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1513220 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 3.68 3.05 5/321 204333
/proc/meminfo: memFree=112959704/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19108176 memory=3163264 CPUtime=29.85 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 25965 0 0 0 2912 73 0 0 20 0 20 0 23798372 19566772224 790816 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4777044 790816 5939 1 0 2048391 0
[pid=204138/tid=204140] ppid=204135 vsize=19108176 memory=3003500 CPUtime=22.43 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 9117 0 0 0 2221 22 0 0 20 0 20 0 23798373 19566772224 790816 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19108176 memory=3003500 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19566772224 790816 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19108176 memory=68 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 23798379 19566772224 790816 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19108176 memory=-8816475117780181692 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19566772224 790816 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 29.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3163264 KiB

[startup+51.1133 s]
/proc/loadavg: 4.17 3.72 3.09 5/321 204336
/proc/meminfo: memFree=110115560/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19108176 memory=5250224 CPUtime=57.6 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 30594 0 0 0 5643 117 0 0 20 0 20 0 23798372 19566772224 1312556 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4777044 1312556 5939 1 0 2236392 0
[pid=204138/tid=204140] ppid=204135 vsize=19108176 memory=4647924 CPUtime=45.67 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 10405 0 0 0 4537 30 0 0 20 0 20 0 23798373 19566772224 1312556 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19108176 memory=1531652 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19566772224 1312556 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0

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

Current children cumulated memory: 16455572 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.25 4.26 5/317 205505
/proc/meminfo: memFree=64287596/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16455604 CPUtime=3301.6 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 521689 0 0 0 329579 581 0 0 20 0 20 0 23798372 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4113901 5971 1 0 4127609 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=16455588 CPUtime=2832.86 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 131471 0 0 0 283113 173 0 0 20 0 20 0 23798373 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16455588 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=15864 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 750 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=20652 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3301.6 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16455604 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.25 4.26 6/318 205516
/proc/meminfo: memFree=64285148/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16455604 CPUtime=3368.91 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 525823 0 0 0 336304 587 0 0 20 0 20 0 23798372 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4113901 5971 1 0 4127609 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=16455604 CPUtime=2889.16 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 134772 0 0 0 288742 174 0 0 20 0 20 0 23798373 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16455588 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=16455604 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=16455604 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4113901 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3368.91 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16455604 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.25 4.26 5/320 205530
/proc/meminfo: memFree=64280004/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16455908 CPUtime=3434.9 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 528080 0 0 0 342897 593 0 0 20 0 20 0 23798372 19700989952 4113977 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4113977 5971 1 0 4127749 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=16455604 CPUtime=2946.07 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 135415 0 0 0 294433 174 0 0 20 0 20 0 23798373 19700989952 4113977 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16455604 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4113977 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=16455604 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4113977 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=15864 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4113977 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3434.9 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16455908 KiB

[startup+3222.3 s]
/proc/loadavg: 5.10 4.53 4.36 6/320 205746
/proc/meminfo: memFree=104215576/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16455912 CPUtime=3498.4 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 529232 0 0 0 349243 597 0 0 20 0 20 0 23798372 19700989952 4113978 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4113978 5971 1 0 4127749 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=16455604 CPUtime=3002.16 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 135802 0 0 0 300042 174 0 0 20 0 20 0 23798373 19700989952 4113978 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16455912 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4113978 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=16455912 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4113978 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=16455912 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4113978 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3498.4 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16455912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.95 4.57 4.39 5/320 205756
/proc/meminfo: memFree=93625736/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16456084 CPUtime=3569.03 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 533254 0 0 0 356299 604 0 0 20 0 20 0 23798372 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4114021 5971 1 0 4127749 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=1964 CPUtime=3058.65 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 136534 0 0 0 305690 175 0 0 20 0 20 0 23798373 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16455916 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=16455916 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=15864 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3569.03 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16456084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3311.3 s]
/proc/loadavg: 4.88 4.60 4.40 6/320 205761
/proc/meminfo: memFree=91592992/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19239248 memory=16456084 CPUtime=3600.19 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 535253 0 0 0 359413 606 0 0 20 0 20 0 23798372 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4809812 4114021 5971 1 0 4127749 0
[pid=204138/tid=204140] ppid=204135 vsize=19239248 memory=15864 CPUtime=3085.11 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) S 204135 204138 203492 0 -1 1077936192 136964 0 0 0 308336 175 0 0 20 0 20 0 23798373 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19239248 memory=16456084 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23798378 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19239248 memory=12668 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 834 0 0 0 0 0 0 0 20 0 20 0 23798379 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204157] ppid=204135 vsize=19239248 memory=15864 CPUtime=0 cores=5,7
/proc/204138/task/204157/stat : 204157 (Timer-0) S 204135 204138 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23798417 19700989952 4114021 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19239248 KiB
Current children cumulated memory: 16456084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.54 s, system=6.12908 s

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

[startup+3311.41 s]
/proc/loadavg: 4.88 4.60 4.40 6/320 205761
/proc/meminfo: memFree=91592992/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19438940 memory=16456968 CPUtime=3600.39 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 538179 0 0 0 359433 606 0 0 20 0 21 0 23798372 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4859735 4114242 5970 1 0 4128687 0
[pid=204138/tid=204140] ppid=204135 vsize=19438940 memory=16144 CPUtime=3085.19 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 137080 0 0 0 308344 175 0 0 20 0 21 0 23798373 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19438940 memory=32356 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23798378 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19438940 memory=20652 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 834 0 0 0 0 0 0 0 20 0 21 0 23798379 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19438940 KiB
Current children cumulated memory: 16456968 KiB

[startup+3311.5 s]
/proc/loadavg: 4.88 4.60 4.40 6/320 205761
/proc/meminfo: memFree=91592992/131655788 swapFree=131058856/131071996
[pid=204138] ppid=204135 vsize=19438940 memory=16456968 CPUtime=3600.57 cores=5,7
/proc/204138/stat : 204138 (java) S 204135 204138 203492 0 -1 1077936128 538398 0 0 0 359451 606 0 0 20 0 21 0 23798372 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
/proc/204138/statm: 4859735 4114242 5970 1 0 4128690 0
[pid=204138/tid=204140] ppid=204135 vsize=19438940 memory=15864 CPUtime=3085.28 cores=5,7
/proc/204138/task/204140/stat : 204140 (java) R 204135 204138 203492 0 -1 4194368 137080 0 0 0 308353 175 0 0 20 0 21 0 23798373 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204149] ppid=204135 vsize=19438940 memory=16456084 CPUtime=0 cores=5,7
/proc/204138/task/204149/stat : 204149 (Finalizer) S 204135 204138 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23798378 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
[pid=204138/tid=204156] ppid=204135 vsize=19438940 memory=12668 CPUtime=0 cores=5,7
/proc/204138/task/204156/stat : 204156 (Common-Cleaner) S 204135 204138 203492 0 -1 1077936192 834 0 0 0 0 0 0 0 20 0 21 0 23798379 19905474560 4114242 134679101440 94165294518272 94165294521968 140720977618800 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94165294529784 94165294530576 94165303431168 140720977622023 140720977622113 140720977622113 140720977629128 0
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 19438940 KiB
Current children cumulated memory: 16456968 KiB

Child status: 143

Real time (s): 3311.58
CPU time (s): 3600.67
CPU user time (s): 3594.54
CPU system time (s): 6.12908
CPU usage (%): 108.73
Max. virtual memory (cumulated for all children) (KiB): 19438940
Max. memory (cumulated for all children) (KiB): 16456968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.54
system time used= 6.12908
maximum resident set size= 16457768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116125
involuntary context switches= 20900


# summary of solver processes directly reported to runsolver:
#   pid: 204138
#   total CPU time (s): 3600.67
#   total CPU user time (s): 3594.54
#   total CPU system time (s): 6.12908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1355 second user time and 29.9787 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-25 05:28:05
IDJOB=4458454
IDBENCH=177485
IDSOLVER=3058
FILE ID=nodeC009/4458454-1721878085
RUNJOBID= nodeC009-1721877730-203505
SLURM_JOB_ID= 8089270
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458454-1721878085/watcher-4458454-1721878085 -o /tmp/evaluation-result-4458454-1721878085/solver-4458454-1721878085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721877730-203505 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458454-1721878085.opb

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

MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=899169023

nodeC009.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		: 3680.888
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.96
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		: 3625.342
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.36
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.537
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.96
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.263
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.36
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		: 3652.464
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.96
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		: 3491.996
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.36
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.570
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.96
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.258
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116870980 kB
MemAvailable:   120407640 kB
Buffers:          297012 kB
Cached:          3978000 kB
SwapCached:         4924 kB
Active:          1744376 kB
Inactive:       12297120 kB
Active(anon):       1640 kB
Inactive(anon):  9810176 kB
Active(file):    1742736 kB
Inactive(file):  2486944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              1212 kB
Writeback:             0 kB
AnonPages:       9760500 kB
Mapped:           111040 kB
Shmem:             45300 kB
KReclaimable:     294360 kB
Slab:             405572 kB
SReclaimable:     294360 kB
SUnreclaim:       111212 kB
KernelStack:        4828 kB
PageTables:        28788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12795148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9322496 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC009 at 2024-07-25 06:23:17