Trace number 4459759

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)-59 3600.59 3497.63

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
MD5SUMfd2f82137517c7c348dacac3fbe759ff
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark71365.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Quality of the solution as a function of time


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

Solver Data 

0.14/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.16	c See www.sat4j.org for details.
0.14/0.17	c version CUSTOM.v20240707
0.14/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.19	c java.vm.version	22.0.1+8-16
0.14/0.19	c java.vm.vendor	Oracle Corporation
0.14/0.19	c sun.arch.data.model	64
0.14/0.19	c java.version		22.0.1
0.14/0.19	c os.name		Linux
0.14/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.19	c os.arch		amd64
0.14/0.20	c Free memory 		2113181440
0.14/0.20	c Max memory 		16282288128
0.14/0.20	c Total memory 		2122317824
0.14/0.21	c Number of processors 	2
0.29/0.30	--- Begin Solver configuration ---
0.29/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.30	Learn all clauses as in MiniSAT
0.29/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.30	No reason simplification
0.29/0.30	Glucose 2.1 dynamic restart strategy
0.29/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.29/0.30	timeout=2147483s
0.29/0.30	DB Simplification allowed=false
0.29/0.30	Listener: none
0.29/0.30	--- End Solver configuration ---
0.29/0.31	c Pseudo Boolean Optimization by upper bound
0.29/0.31	c --- Begin Solver configuration ---
0.29/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.31	c Learn all clauses as in MiniSAT
0.29/0.31	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.31	c No reason simplification
0.29/0.31	c Glucose 2.1 dynamic restart strategy
0.29/0.31	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.29/0.31	c timeout=2147483s
0.29/0.31	c DB Simplification allowed=false
0.29/0.31	c Listener: none
0.29/0.31	c --- End Solver configuration ---
0.29/0.31	c solving HOME/instance-4459759-1721939470.opb
0.29/0.31	c reading problem ... 
0.29/0.32	c  objective function found
0.98/0.65	c ... done. Wall clock time 0.345s.
0.98/0.66	c declared #vars     500
0.98/0.66	c internal #vars     8361
0.98/0.66	c #constraints  16722
0.98/0.66	c constraints type 
0.98/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
0.98/0.66	c org.sat4j.specs.Constr$1 => 526
0.98/0.66	c org.sat4j.pb.constraints.pb.UnitClausesPB => 450
0.98/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7861
0.98/0.66	c org.sat4j.pb.constraints.pb.UnitClausePB => 24
0.98/0.66	c 16722 constraints processed.
0.98/0.67	c objective function length is 500 literals
1.16/0.73	c SATISFIABLE
1.16/0.73	c OPTIMIZING...
1.16/0.73	c Got one! Elapsed wall clock time (in seconds):0.423
1.16/0.73	o -51
1.36/0.81	c Got one! Elapsed wall clock time (in seconds):0.5
1.36/0.81	o -52
1.36/0.87	c Got one! Elapsed wall clock time (in seconds):0.558
1.36/0.87	o -53
2.34/1.37	c Got one! Elapsed wall clock time (in seconds):1.064
2.34/1.37	o -54
3.14/1.73	c cleaning 2889 clauses out of 5778 with flag 6308/5778
3.78/2.16	c cleaning 4444 clauses out of 8888 with flag 18656/11777
4.72/2.96	c cleaning 5722 clauses out of 11444 with flag 34173/18777
6.26/4.01	c cleaning 6854 clauses out of 13722 with flag 52593/26777
7.57/5.24	c cleaning 7931 clauses out of 15868 with flag 73040/35777
9.58/7.14	c cleaning 8968 clauses out of 17937 with flag 96317/45777
10.67/8.21	c cleaning 9978 clauses out of 19968 with flag 121117/56776
12.00/9.44	c cleaning 10991 clauses out of 21990 with flag 146071/68776
12.91/10.32	c cleaning 11999 clauses out of 24000 with flag 172913/81777
14.15/11.48	c cleaning 12999 clauses out of 26000 with flag 201633/95776
15.74/12.81	c cleaning 13998 clauses out of 28002 with flag 232458/110777
16.95/14.06	c cleaning 15002 clauses out of 30003 with flag 265380/126776
18.69/15.59	c cleaning 15999 clauses out of 32002 with flag 300327/143777
20.49/17.03	c cleaning 17000 clauses out of 34004 with flag 337381/161778
21.78/18.33	c cleaning 17998 clauses out of 36002 with flag 376299/180776
23.68/20.07	c cleaning 18996 clauses out of 38005 with flag 417323/200777
25.78/21.98	c cleaning 20002 clauses out of 40009 with flag 460395/221777
28.16/24.06	c cleaning 20999 clauses out of 42006 with flag 505541/243776
29.84/25.73	c Got one! Elapsed wall clock time (in seconds):25.425
29.84/25.73	o -55
30.81/26.51	c cleaning 23264 clauses out of 46528 with flag 11008/269297
31.87/27.31	c cleaning 14632 clauses out of 29263 with flag 23985/275296
32.59/28.01	c cleaning 10813 clauses out of 21632 with flag 38738/282297
33.17/28.60	c cleaning 9407 clauses out of 18818 with flag 55178/290296
33.68/29.12	c Got one! Elapsed wall clock time (in seconds):28.812
33.68/29.12	o -56
34.43/29.85	c cleaning 11322 clauses out of 22647 with flag 10289/303532
35.36/30.55	c cleaning 8661 clauses out of 17327 with flag 22826/309534
35.87/31.04	c cleaning 7834 clauses out of 15667 with flag 37457/316535
36.63/31.64	c cleaning 7912 clauses out of 15830 with flag 53956/324532
37.35/32.25	c cleaning 8456 clauses out of 16918 with flag 72544/333532
38.30/33.06	c cleaning 9230 clauses out of 18462 with flag 93397/343532
39.19/33.93	c cleaning 10112 clauses out of 20233 with flag 116762/354533
40.19/34.97	c cleaning 11059 clauses out of 22120 with flag 141670/366532
41.65/36.23	c cleaning 12028 clauses out of 24062 with flag 168928/379533
43.14/37.75	c cleaning 13017 clauses out of 26033 with flag 198552/393532
45.07/39.41	c cleaning 14007 clauses out of 28017 with flag 229479/408533
45.17/39.52	c Got one! Elapsed wall clock time (in seconds):39.214
45.17/39.52	o -57
45.49/39.82	c cleaning 9604 clauses out of 19207 with flag 6299/413730
45.89/40.27	c cleaning 7801 clauses out of 15604 with flag 18854/419731
46.39/40.73	c cleaning 7398 clauses out of 14802 with flag 33568/426730
46.99/41.31	c cleaning 7701 clauses out of 15405 with flag 50809/434731
47.80/42.11	c cleaning 8353 clauses out of 16705 with flag 70199/443732
48.68/42.92	c cleaning 9168 clauses out of 18350 with flag 91818/453730
49.57/43.83	c cleaning 10092 clauses out of 20184 with flag 114449/464732
51.09/45.13	c cleaning 11044 clauses out of 22090 with flag 139097/476730
52.27/46.31	c cleaning 12017 clauses out of 24048 with flag 165811/489732
53.57/47.61	c cleaning 13015 clauses out of 26030 with flag 194532/503731
54.99/48.98	c cleaning 14008 clauses out of 28015 with flag 225291/518731
56.68/50.68	c cleaning 15000 clauses out of 30008 with flag 258150/534732
58.88/52.68	c cleaning 16000 clauses out of 32007 with flag 293128/551731
60.88/54.61	c cleaning 17004 clauses out of 34008 with flag 330078/569732
63.41/56.91	c cleaning 18001 clauses out of 36002 with flag 369070/588730
65.52/59.06	c cleaning 19001 clauses out of 38001 with flag 410155/608730
69.14/62.44	c cleaning 19994 clauses out of 40000 with flag 453161/629730
72.43/65.71	c cleaning 20996 clauses out of 42006 with flag 498308/651730
74.83/67.90	c cleaning 22003 clauses out of 44011 with flag 545500/674731
79.19/71.02	c cleaning 23002 clauses out of 46008 with flag 594690/698731
81.96/73.63	c cleaning 24003 clauses out of 48005 with flag 645852/723730
84.84/76.53	c cleaning 24995 clauses out of 50003 with flag 699031/749731
88.58/80.04	c cleaning 26001 clauses out of 52008 with flag 754480/776731
91.81/83.03	c cleaning 27003 clauses out of 54008 with flag 811980/804732
95.51/86.52	c cleaning 28002 clauses out of 56003 with flag 871575/833730
99.96/90.79	c cleaning 28995 clauses out of 58001 with flag 933232/863730
106.21/96.74	c cleaning 30002 clauses out of 60007 with flag 996876/894731
111.89/102.19	c cleaning 30998 clauses out of 62005 with flag 1062567/926731
117.76/107.77	c cleaning 32004 clauses out of 64007 with flag 1130187/959731
122.74/112.49	c cleaning 33002 clauses out of 66004 with flag 1199905/993732
129.50/118.96	c cleaning 34000 clauses out of 68001 with flag 1271755/1028731
135.67/124.84	c cleaning 34999 clauses out of 70001 with flag 1345491/1064731
144.25/132.34	c cleaning 36001 clauses out of 72003 with flag 1421356/1101732
151.76/139.66	c cleaning 36996 clauses out of 74001 with flag 1499229/1139731
157.05/144.60	c cleaning 37997 clauses out of 76004 with flag 1579280/1178730
163.57/150.99	c cleaning 38997 clauses out of 78008 with flag 1661180/1218731
170.06/157.12	c cleaning 40003 clauses out of 80010 with flag 1745398/1259730
177.98/164.64	c cleaning 41000 clauses out of 82007 with flag 1831469/1301730
185.45/171.84	c cleaning 41999 clauses out of 84007 with flag 1919582/1344730
191.89/178.05	c cleaning 43004 clauses out of 86008 with flag 2009714/1388730
203.48/189.44	c cleaning 43998 clauses out of 88005 with flag 2102019/1433731
214.85/200.39	c cleaning 45002 clauses out of 90006 with flag 2196398/1479730
227.90/213.12	c cleaning 45997 clauses out of 92005 with flag 2292828/1526731
238.35/222.33	c cleaning 46999 clauses out of 94007 with flag 2391356/1574730
248.39/232.17	c cleaning 48004 clauses out of 96009 with flag 2491940/1623731
256.82/240.44	c cleaning 48998 clauses out of 98005 with flag 2594601/1673731
266.34/249.56	c cleaning 50000 clauses out of 100006 with flag 2699248/1724730
279.42/262.35	c cleaning 51001 clauses out of 102008 with flag 2806202/1776732
295.48/277.88	c cleaning 52001 clauses out of 104005 with flag 2914826/1829730
307.76/289.59	c cleaning 53000 clauses out of 106005 with flag 3025666/1883731
319.70/301.28	c cleaning 53998 clauses out of 108005 with flag 3138668/1938731
330.77/311.80	c cleaning 55001 clauses out of 110006 with flag 3253738/1994730
343.10/323.63	c cleaning 55998 clauses out of 112005 with flag 3370564/2051730
354.59/334.81	c cleaning 57000 clauses out of 114007 with flag 3489255/2109730
367.04/346.73	c cleaning 58003 clauses out of 116008 with flag 3610320/2168731
382.68/361.86	c cleaning 58997 clauses out of 118004 with flag 3733458/2228730
397.04/375.98	c cleaning 60004 clauses out of 120009 with flag 3858711/2289732
414.13/390.64	c cleaning 61001 clauses out of 122003 with flag 3985887/2351730
431.23/407.29	c cleaning 61999 clauses out of 124004 with flag 4114779/2414732
441.91/417.46	c cleaning 62997 clauses out of 126003 with flag 4245726/2478730
456.34/431.23	c cleaning 64001 clauses out of 128008 with flag 4378890/2543732
467.47/441.78	c cleaning 64999 clauses out of 130006 with flag 4514267/2609731
481.73/455.60	c cleaning 66002 clauses out of 132006 with flag 4651795/2676730
500.07/473.54	c cleaning 67000 clauses out of 134004 with flag 4791198/2744730
514.46/487.47	c cleaning 67998 clauses out of 136004 with flag 4932660/2813730
530.35/502.81	c cleaning 68996 clauses out of 138006 with flag 5076528/2883730
552.42/524.46	c cleaning 70006 clauses out of 140011 with flag 5222197/2954731
573.09/544.67	c cleaning 70994 clauses out of 142004 with flag 5369219/3026730
596.39/567.21	c cleaning 72002 clauses out of 144013 with flag 5518217/3099733
623.95/592.15	c cleaning 72997 clauses out of 146008 with flag 5669380/3173730
649.26/617.37	c cleaning 74007 clauses out of 148013 with flag 5822361/3248732
687.24/655.00	c cleaning 75000 clauses out of 150007 with flag 5978221/3324733
727.45/694.42	c cleaning 76003 clauses out of 152006 with flag 6136224/3401732
758.63/724.85	c cleaning 76993 clauses out of 154002 with flag 6296312/3479731
786.21/751.89	c cleaning 78003 clauses out of 156009 with flag 6458406/3558731
812.43/777.60	c cleaning 79003 clauses out of 158006 with flag 6622569/3638731
839.04/803.81	c cleaning 80000 clauses out of 160003 with flag 6788655/3719731
877.80/842.12	c cleaning 81001 clauses out of 162002 with flag 6956742/3801730
907.46/871.14	c cleaning 81993 clauses out of 164001 with flag 7126590/3884730
944.89/906.55	c cleaning 82998 clauses out of 166008 with flag 7298780/3968730
983.06/943.76	c cleaning 84001 clauses out of 168011 with flag 7472854/4053731
1012.20/972.24	c cleaning 85004 clauses out of 170009 with flag 7648957/4139730
1050.52/1010.01	c cleaning 85995 clauses out of 172006 with flag 7827385/4226731
1085.19/1044.07	c cleaning 86999 clauses out of 174011 with flag 8007961/4314731
1119.27/1077.31	c cleaning 88001 clauses out of 176011 with flag 8190469/4403730
1153.34/1110.91	c cleaning 89005 clauses out of 178012 with flag 8375003/4493732
1188.04/1144.96	c cleaning 90002 clauses out of 180007 with flag 8561464/4584732
1218.90/1172.98	c cleaning 90996 clauses out of 182003 with flag 8749932/4676730
1250.32/1203.76	c cleaning 91998 clauses out of 184007 with flag 8940504/4769730
1280.41/1233.21	c cleaning 93000 clauses out of 186012 with flag 9133124/4863733
1310.51/1262.21	c cleaning 94002 clauses out of 188009 with flag 9328149/4958730
1338.27/1289.29	c cleaning 95004 clauses out of 190008 with flag 9525255/5054731
1379.35/1329.72	c cleaning 95997 clauses out of 192004 with flag 9723903/5151731
1416.95/1366.86	c cleaning 97001 clauses out of 194006 with flag 9924489/5249730
1456.35/1405.20	c cleaning 98000 clauses out of 196005 with flag 10127161/5348730
1493.55/1441.79	c cleaning 98995 clauses out of 198006 with flag 10332359/5448731
1526.57/1471.26	c cleaning 100003 clauses out of 200011 with flag 10539747/5549731
1554.92/1498.60	c cleaning 101000 clauses out of 202008 with flag 10748888/5651731
1578.44/1521.35	c cleaning 102002 clauses out of 204007 with flag 10960364/5754730
1603.32/1545.45	c cleaning 103000 clauses out of 206005 with flag 11173387/5858730
1633.81/1575.29	c cleaning 103997 clauses out of 208005 with flag 11388385/5963730
1669.44/1610.30	c cleaning 105000 clauses out of 210008 with flag 11605697/6069730
1736.46/1676.52	c cleaning 105999 clauses out of 212008 with flag 11824860/6176730
1773.49/1712.96	c cleaning 107000 clauses out of 214009 with flag 12046175/6284730
1807.72/1746.64	c cleaning 108000 clauses out of 216010 with flag 12270045/6393731
1857.35/1792.59	c cleaning 109000 clauses out of 218010 with flag 12495912/6503731
1889.17/1823.55	c cleaning 110001 clauses out of 220010 with flag 12723721/6614731
1923.49/1857.01	c cleaning 111005 clauses out of 222009 with flag 12953599/6726731
1960.86/1893.68	c cleaning 111998 clauses out of 224003 with flag 13185563/6839730
1991.32/1923.00	c cleaning 112999 clauses out of 226005 with flag 13419199/6953730
1995.52/1927.19	c Got one! Elapsed wall clock time (in seconds):1926.887
1995.52/1927.19	o -58
1998.80/1930.01	c cleaning 78380 clauses out of 156772 with flag 10390/6997496
2000.49/1931.71	c cleaning 42193 clauses out of 84392 with flag 23052/7003496
2001.39/1932.66	c cleaning 24594 clauses out of 49201 with flag 38295/7010498
2002.09/1933.30	c cleaning 16296 clauses out of 32605 with flag 54893/7018496
2002.69/1933.91	c cleaning 12648 clauses out of 25309 with flag 73582/7027496
2003.28/1934.51	c cleaning 11327 clauses out of 22661 with flag 94312/7037496
2004.05/1935.22	c cleaning 11157 clauses out of 22333 with flag 117090/7048495
2004.15/1935.40	c Got one! Elapsed wall clock time (in seconds):1935.089
2004.15/1935.40	o -59
2004.27/1935.49	c cleaning 8118 clauses out of 16241 with flag 2061/7053560
2004.66/1935.80	c cleaning 7058 clauses out of 14123 with flag 14479/7059560
2004.98/1936.19	c cleaning 7032 clauses out of 14065 with flag 28878/7066560
2005.36/1936.59	c cleaning 7514 clauses out of 15035 with flag 45839/7074562
2005.87/1937.08	c cleaning 8254 clauses out of 16520 with flag 64955/7083561
2006.66/1937.80	c cleaning 9126 clauses out of 18266 with flag 86083/7093561
2007.43/1938.52	c cleaning 10071 clauses out of 20141 with flag 108875/7104562
2008.23/1939.30	c cleaning 11031 clauses out of 22068 with flag 133457/7116560
2009.13/1940.23	c cleaning 12015 clauses out of 24038 with flag 160274/7129561
2010.23/1941.33	c cleaning 13007 clauses out of 26022 with flag 189263/7143560
2011.62/1942.67	c cleaning 14008 clauses out of 28015 with flag 220932/7158560
2013.26/1944.17	c cleaning 14997 clauses out of 30009 with flag 254538/7174562
2014.74/1945.64	c cleaning 16003 clauses out of 32011 with flag 290256/7191561
2016.88/1947.67	c cleaning 17004 clauses out of 34008 with flag 328703/7209561
2019.39/1950.12	c cleaning 17999 clauses out of 36003 with flag 369572/7228560
2021.29/1952.09	c cleaning 18999 clauses out of 38004 with flag 411415/7248560
2024.24/1954.93	c cleaning 19998 clauses out of 40005 with flag 456380/7269560
2027.13/1957.85	c cleaning 20998 clauses out of 42008 with flag 504107/7291561
2029.90/1960.45	c cleaning 21998 clauses out of 44009 with flag 552471/7314560
2032.61/1963.13	c cleaning 23005 clauses out of 46012 with flag 601712/7338561
2036.77/1967.16	c cleaning 24001 clauses out of 48007 with flag 654512/7363561
2040.36/1970.78	c cleaning 25003 clauses out of 50006 with flag 710028/7389561
2043.93/1974.14	c cleaning 25995 clauses out of 52002 with flag 767158/7416560
2047.01/1977.21	c cleaning 27001 clauses out of 54008 with flag 825617/7444561
2050.70/1980.87	c cleaning 28004 clauses out of 56007 with flag 887234/7473561
2053.51/1983.67	c cleaning 28994 clauses out of 58002 with flag 949965/7503560
2056.66/1986.76	c cleaning 29998 clauses out of 60008 with flag 1014826/7534560
2061.44/1991.25	c cleaning 31002 clauses out of 62011 with flag 1082189/7566561
2065.93/1995.71	c cleaning 31996 clauses out of 64009 with flag 1151179/7599561
2071.03/2000.75	c cleaning 33006 clauses out of 66012 with flag 1222267/7633560
2080.02/2009.54	c cleaning 33995 clauses out of 68007 with flag 1296738/7668561
2087.11/2016.60	c cleaning 35005 clauses out of 70012 with flag 1372488/7704561
2093.73/2023.24	c cleaning 35999 clauses out of 72006 with flag 1451028/7741560
2100.77/2030.19	c cleaning 36995 clauses out of 74007 with flag 1529583/7779560
2108.43/2037.50	c cleaning 37999 clauses out of 76012 with flag 1613782/7818560
2115.22/2044.32	c cleaning 38997 clauses out of 78013 with flag 1698044/7858560
2120.54/2049.69	c cleaning 40001 clauses out of 80016 with flag 1782902/7899560
2126.86/2055.84	c cleaning 41005 clauses out of 82015 with flag 1869181/7941560
2133.84/2062.55	c cleaning 42002 clauses out of 84010 with flag 1957877/7984560
2140.83/2069.17	c cleaning 43002 clauses out of 86009 with flag 2050877/8028561
2149.41/2077.44	c cleaning 44000 clauses out of 88007 with flag 2146199/8073561
2160.36/2088.04	c cleaning 45001 clauses out of 90006 with flag 2241668/8119560
2175.85/2103.20	c cleaning 46000 clauses out of 92008 with flag 2340520/8166563
2184.33/2111.62	c cleaning 47004 clauses out of 94007 with flag 2442194/8214562
2193.93/2119.72	c cleaning 47999 clauses out of 96001 with flag 2545852/8263560
2202.39/2128.15	c cleaning 48999 clauses out of 98002 with flag 2652076/8313560
2213.54/2139.22	c cleaning 50000 clauses out of 100003 with flag 2761016/8364560
2224.21/2149.88	c cleaning 51000 clauses out of 102005 with flag 2868643/8416562
2234.57/2160.19	c cleaning 52000 clauses out of 104004 with flag 2978204/8469561
2247.20/2172.23	c cleaning 52996 clauses out of 106004 with flag 3089389/8523561
2259.01/2183.64	c cleaning 53993 clauses out of 108008 with flag 3203494/8578561
2269.88/2194.11	c cleaning 55000 clauses out of 110015 with flag 3318390/8634561
2280.90/2204.77	c cleaning 56000 clauses out of 112014 with flag 3435224/8691560
2292.45/2216.06	c cleaning 57005 clauses out of 114015 with flag 3554073/8749561
2306.03/2229.46	c cleaning 58002 clauses out of 116009 with flag 3675114/8808560
2316.15/2239.43	c cleaning 58996 clauses out of 118007 with flag 3800167/8868560
2328.73/2251.55	c cleaning 60005 clauses out of 120012 with flag 3926945/8929561
2341.26/2263.74	c cleaning 60999 clauses out of 122007 with flag 4054308/8991561
2352.03/2274.18	c cleaning 61999 clauses out of 124008 with flag 4183611/9054561
2361.58/2283.53	c cleaning 63001 clauses out of 126008 with flag 4314683/9118560
2376.99/2298.40	c cleaning 64003 clauses out of 128008 with flag 4447986/9183561
2392.02/2313.12	c cleaning 64997 clauses out of 130004 with flag 4583337/9249560
2409.32/2330.21	c cleaning 66002 clauses out of 132007 with flag 4722400/9316560
2426.80/2347.13	c cleaning 67002 clauses out of 134005 with flag 4865077/9384560
2444.20/2364.26	c cleaning 67996 clauses out of 136003 with flag 5008477/9453560
2465.47/2385.39	c cleaning 69002 clauses out of 138007 with flag 5154930/9523560
2479.76/2399.13	c cleaning 70003 clauses out of 140005 with flag 5303282/9594560
2495.64/2414.70	c cleaning 70999 clauses out of 142002 with flag 5453880/9666560
2517.40/2435.77	c cleaning 72000 clauses out of 144004 with flag 5603588/9739561
2536.32/2454.33	c cleaning 72998 clauses out of 146003 with flag 5756667/9813560
2558.38/2475.79	c cleaning 73998 clauses out of 148005 with flag 5912899/9888560
2581.60/2498.69	c cleaning 75004 clauses out of 150009 with flag 6071850/9964562
2607.90/2522.08	c cleaning 76003 clauses out of 152005 with flag 6231694/10041562
2647.61/2561.44	c cleaning 76998 clauses out of 154002 with flag 6407000/10119562
2686.37/2599.50	c cleaning 77998 clauses out of 156002 with flag 6586870/10198560
2721.78/2634.57	c cleaning 78999 clauses out of 158005 with flag 6770741/10278561
2757.57/2669.65	c cleaning 80000 clauses out of 160006 with flag 6958849/10359561
2797.33/2709.03	c cleaning 81000 clauses out of 162005 with flag 7152477/10441560
2838.16/2749.08	c cleaning 81998 clauses out of 164005 with flag 7343516/10524560
2880.94/2791.01	c cleaning 83001 clauses out of 166007 with flag 7537158/10608560
2918.33/2828.06	c cleaning 83999 clauses out of 168007 with flag 7730879/10693561
2955.71/2864.88	c cleaning 85000 clauses out of 170009 with flag 7924548/10779562
2988.87/2897.21	c cleaning 85999 clauses out of 172007 with flag 8123436/10866560
3020.46/2928.43	c cleaning 86998 clauses out of 174009 with flag 8319904/10954561
3057.33/2964.56	c cleaning 88003 clauses out of 176011 with flag 8524587/11043561
3095.55/2999.02	c cleaning 88998 clauses out of 178007 with flag 8730737/11133560
3145.69/3048.73	c cleaning 89998 clauses out of 180009 with flag 8940562/11224560
3198.38/3100.46	c cleaning 90997 clauses out of 182011 with flag 9150001/11316560
3239.10/3140.64	c cleaning 92001 clauses out of 184014 with flag 9363339/11409560
3273.89/3174.40	c cleaning 93002 clauses out of 186014 with flag 9581742/11503561
3308.10/3208.17	c cleaning 93999 clauses out of 188012 with flag 9798619/11598561
3348.62/3247.65	c cleaning 95005 clauses out of 190013 with flag 10018184/11694561
3383.55/3282.18	c cleaning 96002 clauses out of 192009 with flag 10239363/11791562
3427.61/3325.66	c cleaning 96998 clauses out of 194005 with flag 10463330/11889560
3481.14/3379.18	c cleaning 98002 clauses out of 196007 with flag 10692608/11988560
3539.73/3437.25	c cleaning 98999 clauses out of 198006 with flag 10929635/12088561
3585.35/3482.83	c cleaning 99998 clauses out of 200006 with flag 11162740/12189560
3600.00/3497.34	c starts		: 43797
3600.00/3497.35	c conflicts		: 12233616
3600.00/3497.37	c decisions		: 31494325
3600.00/3497.37	c propagations		: 87590654
3600.00/3497.37	c inspects		: 20295907697
3600.00/3497.37	c shortcuts		: 0
3600.00/3497.37	c learnt literals	: 0
3600.00/3497.37	c learnt binary clauses	: 0
3600.00/3497.37	c learnt ternary clauses	: 0
3600.00/3497.37	c learnt constraints	: 12233616
3600.00/3497.37	c ignored constraints	: 0
3600.00/3497.37	c root simplifications	: 0
3600.00/3497.37	c removed literals (reason simplification)	: 0
3600.00/3497.37	c reason swapping (by a shorter reason)	: 0
3600.00/3497.37	c Calls to reduceDB	: 247
3600.00/3497.38	c Number of update (reduction) of LBD	: 234175
3600.00/3497.38	c Imported unit clauses	: 0
3600.00/3497.38	c No decision after first conflict	: false
3600.00/3497.38	c number of reductions to clauses (during analyze)	: 0
3600.00/3497.38	c number of learned constraints concerned by reduction	: 0
3600.00/3497.38	c number of learning phase by resolution	: 0
3600.00/3497.38	c number of learning phase by cutting planes	: 0
3600.00/3497.38	c number of rounding to 1 operations	: 0
3600.00/3497.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3497.38	c number of reductions of the coefficients by power 2 	: 0
3600.00/3497.38	c number of right shift for reduction by power 2 	: 0
3600.00/3497.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3497.38	c number of ending skipping 	: 0
3600.00/3497.38	c number of internal skipping 	: 0
3600.00/3497.38	c number of derivation steps 	: 0
3600.00/3497.38	c number of skipped derivation steps 	: 0
3600.00/3497.38	c number of remaining unassigned 	: 0
3600.00/3497.39	c number of remaining assigned 	: 0
3600.00/3497.39	c number of falsified literals weakened from reason	: 0
3600.00/3497.39	c number of falsified literals weakened from conflict	: 0
3600.00/3497.39	c time for arithmetic operations	: 0
3600.00/3497.40	c minimum degree of deleted constraints	: null
3600.20/3497.41	c maximum degree of deleted constraints	: null
3600.20/3497.41	c number of deleted constraints	: 0
3600.20/3497.41	c speed (assignments/second)	: 25049.461951069406
3600.20/3497.42	c non guided choices	: 0
3600.38/3497.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 144064
3600.38/3497.57	s SATISFIABLE
3600.38/3497.57	c Found 9 solution(s)
3600.38/3497.57	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 
3600.38/3497.57	c objective function=-59
3600.38/3497.57	c Total wall clock time (in seconds): 3497.267

Verifier Data 

OK	-59

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459759-1721939470/watcher-4459759-1721939470 -o /tmp/evaluation-result-4459759-1721939470/solver-4459759-1721939470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251130 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459759-1721939470.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=251383, runsolver pid=251380

[startup+0.104333 s]*
/proc/loadavg: 1.28 0.36 0.30 5/318 251401
/proc/meminfo: memFree=99479432/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=18975048 memory=55968 CPUtime=0.14 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 6469 0 0 0 11 3 0 0 20 0 18 0 29936084 19430449152 13992 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4743762 13992 5656 1 0 550831 0
[pid=251383/tid=251385] ppid=251380 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 5379 0 0 0 7 2 0 0 20 0 18 0 29936084 19430449152 13992 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 13992 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 13992 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55968 KiB

[startup+0.215222 s]*
/proc/loadavg: 1.28 0.36 0.30 7/318 251401
/proc/meminfo: memFree=99474444/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=18975048 memory=60640 CPUtime=0.29 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 7121 0 0 0 26 3 0 0 20 0 18 0 29936084 19430449152 15160 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4743762 15160 5665 1 0 551342 0
[pid=251383/tid=251385] ppid=251380 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 1077936192 5670 0 0 0 16 2 0 0 20 0 18 0 29936084 19430449152 15160 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=18975048 memory=1122407 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 15160 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 15160 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60640 KiB

[startup+0.313495 s]*
/proc/loadavg: 1.28 0.36 0.30 6/318 251401
/proc/meminfo: memFree=99469060/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=18975048 memory=65664 CPUtime=0.45 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 7400 0 0 0 41 4 0 0 20 0 18 0 29936084 19430449152 16416 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4743762 16416 5679 1 0 551541 0
[pid=251383/tid=251385] ppid=251380 vsize=18975048 memory=-9175353526864028348 CPUtime=0.26 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 1077936192 5849 0 0 0 24 2 0 0 20 0 18 0 29936084 19430449152 16416 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 16416 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 16416 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65664 KiB

[startup+0.700623 s]
/proc/loadavg: 1.28 0.36 0.30 7/318 251401
/proc/meminfo: memFree=99459692/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=18975048 memory=100760 CPUtime=1.16 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 9460 0 0 0 110 6 0 0 20 0 18 0 29936084 19430449152 25190 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4743762 25190 5851 1 0 552796 0
[pid=251383/tid=251385] ppid=251380 vsize=18975048 memory=5456 CPUtime=0.6 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 6030 0 0 0 57 3 0 0 20 0 18 0 29936084 19430449152 25190 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=18975048 memory=12108 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 25190 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29936090 19430449152 25190 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 100760 KiB

[startup+1.50062 s]
/proc/loadavg: 1.28 0.36 0.30 6/319 251402
/proc/meminfo: memFree=99424052/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19041612 memory=138940 CPUtime=2.75 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 14201 0 0 0 267 8 0 0 20 0 19 0 29936084 19498610688 34735 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4760403 34735 5870 1 0 554192 0
[pid=251383/tid=251385] ppid=251380 vsize=19041612 memory=12108 CPUtime=1.38 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 6616 0 0 0 134 4 0 0 20 0 19 0 29936084 19498610688 34735 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29936090 19498610688 34735 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29936090 19498610688 34735 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29936154 19498610688 34735 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138940 KiB

[startup+3.10561 s]
/proc/loadavg: 1.28 0.36 0.30 7/320 251403
/proc/meminfo: memFree=99142328/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=294188 CPUtime=5.08 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 18883 0 0 0 496 12 0 0 20 0 20 0 29936084 19566772224 73547 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 73547 5886 1 0 555631 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=0 CPUtime=2.79 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 7629 0 0 0 274 5 0 0 20 0 20 0 29936084 19566772224 73547 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 73547 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 73547 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=12108 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 73547 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 294188 KiB

[startup+6.30046 s]
/proc/loadavg: 1.57 0.44 0.33 5/320 251405
/proc/meminfo: memFree=98989844/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=445556 CPUtime=8.66 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 19169 0 0 0 851 15 0 0 20 0 20 0 29936084 19566772224 111389 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 111389 5886 1 0 555632 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=0 CPUtime=5.7 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 7750 0 0 0 565 5 0 0 20 0 20 0 29936084 19566772224 111389 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=12108 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 111389 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 111389 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=69356 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 111389 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445556 KiB

[startup+12.7005 s]
/proc/loadavg: 1.93 0.53 0.36 5/320 251405
/proc/meminfo: memFree=98320108/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=1136432 CPUtime=15.64 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 21932 0 0 0 1535 29 0 0 20 0 20 0 29936084 19566772224 284108 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 284108 5886 1 0 1044422 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=101316 CPUtime=11.4 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 8622 0 0 0 1132 8 0 0 20 0 20 0 29936084 19566772224 284108 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=970328 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 284108 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=294188 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 284108 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 284108 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1136432 KiB

[startup+25.5005 s]
/proc/loadavg: 2.54 0.74 0.43 5/319 251475
/proc/meminfo: memFree=96758468/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=2389872 CPUtime=29.64 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 26620 0 0 0 2908 56 0 0 20 0 20 0 29936084 19566772224 597468 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 597468 5917 1 0 1689882 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=970328 CPUtime=23.09 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 9210 0 0 0 2292 17 0 0 20 0 20 0 29936084 19566772224 597468 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=1836664 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 597468 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=1836664 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 597468 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=294188 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 597468 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 29.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2389872 KiB

[startup+51.1137 s]
/proc/loadavg: 3.10 1.02 0.53 5/320 251546
/proc/meminfo: memFree=95037880/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=3877412 CPUtime=57.2 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 33041 0 0 0 5633 87 0 0 20 0 20 0 29936084 19566772224 969353 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 969353 5917 1 0 1817347 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=3777056 CPUtime=47.11 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 10971 0 0 0 4687 24 0 0 20 0 20 0 29936084 19566772224 969353 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=609 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 969353 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 969353 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0

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

/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=11138648 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3200.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11138648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.51 4.27 4.13 5/320 252681
/proc/meminfo: memFree=82169680/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11138648 CPUtime=3261.19 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 435116 0 0 0 325674 445 0 0 20 0 20 0 29936084 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784662 5917 1 0 3137293 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=16096 CPUtime=3065.74 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 130316 0 0 0 306477 97 0 0 20 0 20 0 29936084 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=1972 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=11138648 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1341 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784662 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3261.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11138648 KiB

[startup+3222.3 s]
/proc/loadavg: 4.54 4.33 4.16 5/320 252691
/proc/meminfo: memFree=82169092/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11138700 CPUtime=3322.7 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 436759 0 0 0 331821 449 0 0 20 0 20 0 29936084 19566772224 2784675 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784675 5917 1 0 3137297 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=16096 CPUtime=3123.96 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 130863 0 0 0 312299 97 0 0 20 0 20 0 29936084 19566772224 2784675 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784675 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=16096 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1341 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784675 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=5796695868719759386 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784675 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3322.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11138700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.30 4.16 5/320 253085
/proc/meminfo: memFree=82111740/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3383.74 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 439741 0 0 0 337922 452 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784370 5917 1 0 3137356 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=11138704 CPUtime=3182.26 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 131067 0 0 0 318129 97 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=25560 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=16096 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1341 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=-9175353526864028348 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3383.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11137480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.26 4.16 5/320 253095
/proc/meminfo: memFree=82082716/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3444.16 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 443697 0 0 0 343961 455 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784370 5917 1 0 3137356 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3240.7 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 132376 0 0 0 323973 97 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=2224 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=11137480 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1341 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3444.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11137480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.16 5/320 253105
/proc/meminfo: memFree=81885240/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3504.53 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 444802 0 0 0 349995 458 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784370 5917 1 0 3137356 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3299.18 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 133030 0 0 0 329820 98 0 0 20 0 20 0 29936084 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=11137480 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=69356 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1394 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=5116 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784370 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3504.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11137480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.25 4.17 5/322 253286
/proc/meminfo: memFree=81884288/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11137488 CPUtime=3565.03 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 446527 0 0 0 356041 462 0 0 20 0 20 0 29936084 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784372 5917 1 0 3137356 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=11137480 CPUtime=3357.56 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 133907 0 0 0 335658 98 0 0 20 0 20 0 29936084 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=11137480 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=69356 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1394 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=5116 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3565.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11137488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3497.3 s]
/proc/loadavg: 4.22 4.24 4.17 5/321 253292
/proc/meminfo: memFree=81884108/131655788 swapFree=131062644/131071996
[pid=251383] ppid=251380 vsize=19108176 memory=11137488 CPUtime=3600 cores=4,6
/proc/251383/stat : 251383 (java) S 251380 251383 251119 0 -1 1077936128 449145 0 0 0 359536 464 0 0 20 0 20 0 29936084 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
/proc/251383/statm: 4777044 2784372 5917 1 0 3137356 0
[pid=251383/tid=251385] ppid=251380 vsize=19108176 memory=11137488 CPUtime=3391.87 cores=4,6
/proc/251383/task/251385/stat : 251385 (java) R 251380 251383 251119 0 -1 4194368 134780 0 0 0 339089 98 0 0 20 0 20 0 29936084 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251394] ppid=251380 vsize=19108176 memory=11137488 CPUtime=0 cores=4,6
/proc/251383/task/251394/stat : 251394 (Finalizer) S 251380 251383 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251401] ppid=251380 vsize=19108176 memory=11137488 CPUtime=0 cores=4,6
/proc/251383/task/251401/stat : 251401 (Common-Cleaner) S 251380 251383 251119 0 -1 1077936192 1395 0 0 0 0 0 0 0 20 0 20 0 29936090 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
[pid=251383/tid=251402] ppid=251380 vsize=19108176 memory=11137488 CPUtime=0 cores=4,6
/proc/251383/task/251402/stat : 251402 (Timer-0) S 251380 251383 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936154 19566772224 2784372 134679101440 94159209799680 94159209803376 140729010218160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159209811192 94159209811984 94159215538176 140729010226182 140729010226272 140729010226272 140729010233288 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11137488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.89 s, system=4.69406 s

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

[startup+3497.61 s]*
/proc/loadavg: 4.22 4.24 4.17 5/303 253295
/proc/meminfo: memFree=92723256/131655788 swapFree=131062644/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3497.63
CPU time (s): 3600.59
CPU user time (s): 3595.89
CPU system time (s): 4.69406
CPU usage (%): 102.944
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11142048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.89
system time used= 4.69406
maximum resident set size= 11142048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117923
involuntary context switches= 13927


# summary of solver processes directly reported to runsolver:
#   pid: 251383
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3595.89
#   total CPU system time (s): 4.69406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3272 second user time and 32.7949 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 22:31:10
IDJOB=4459759
IDBENCH=148535
IDSOLVER=3058
FILE ID=nodeC003/4459759-1721939470
RUNJOBID= nodeC003-1721939462-251130
SLURM_JOB_ID= 8247257
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459759-1721939470/watcher-4459759-1721939470 -o /tmp/evaluation-result-4459759-1721939470/solver-4459759-1721939470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251130 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459759-1721939470.opb

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

MD5SUM BENCH= fd2f82137517c7c348dacac3fbe759ff
RANDOM SEED=694240006

nodeC003.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		: 3652.035
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.440
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.281
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	: 6984.09
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		: 3656.087
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.065
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	: 6984.09
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		: 3656.023
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.283
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	: 6984.09
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.392
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        99514356 kB
MemAvailable:   129274872 kB
Buffers:          336256 kB
Cached:         29967836 kB
SwapCached:          968 kB
Active:          2545444 kB
Inactive:       28591124 kB
Active(anon):       2572 kB
Inactive(anon):   883352 kB
Active(file):    2542872 kB
Inactive(file): 27707772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              4160 kB
Writeback:             0 kB
AnonPages:        831740 kB
Mapped:           130700 kB
Shmem:             53440 kB
KReclaimable:     571616 kB
Slab:             686436 kB
SReclaimable:     571616 kB
SUnreclaim:       114820 kB
KernelStack:        4864 kB
PageTables:        11592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7280932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-25 23:29:28