Trace number 4432422

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)360 3600.46 3590.83

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
MD5SUMe9a18706671e83c85382be3233ac0f60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.10/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.17	c See www.sat4j.org for details.
0.10/0.19	c version CUSTOM.v20240707
0.10/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.22	c java.vm.version	22.0.1+8-16
0.10/0.22	c java.vm.vendor	Oracle Corporation
0.10/0.22	c sun.arch.data.model	64
0.10/0.22	c java.version		22.0.1
0.10/0.22	c os.name		Linux
0.10/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.22	c os.arch		amd64
0.10/0.22	c Free memory 		2113181440
0.10/0.22	c Max memory 		16282288128
0.10/0.22	c Total memory 		2122317824
0.28/0.24	c Number of processors 	2
0.28/0.32	--- Begin Solver configuration ---
0.28/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.32	Learn all clauses as in MiniSAT
0.28/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.32	No reason simplification
0.28/0.32	Glucose 2.1 dynamic restart strategy
0.28/0.32	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.28/0.32	timeout=2147483s
0.28/0.32	DB Simplification allowed=false
0.28/0.32	Listener: none
0.28/0.32	--- End Solver configuration ---
0.28/0.32	c Pseudo Boolean Optimization by upper bound
0.28/0.32	c --- Begin Solver configuration ---
0.28/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.32	c Learn all clauses as in MiniSAT
0.28/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.32	c No reason simplification
0.28/0.32	c Glucose 2.1 dynamic restart strategy
0.28/0.32	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.28/0.32	c timeout=2147483s
0.28/0.32	c DB Simplification allowed=false
0.28/0.32	c Listener: none
0.28/0.32	c --- End Solver configuration ---
0.28/0.32	c solving HOME/instance-4432422-1721134843.opb
0.28/0.32	c reading problem ... 
0.28/0.32	c  objective function found
1.91/1.18	c ... done. Wall clock time 0.862s.
1.91/1.19	c declared #vars     2700
1.91/1.19	c #constraints  43070
1.91/1.19	c constraints type 
1.91/1.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1.91/1.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1.91/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
1.91/1.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1.91/1.19	c 43070 constraints processed.
2.09/1.20	c objective function length is 900 literals
2.47/1.46	c SATISFIABLE
2.47/1.46	c OPTIMIZING...
2.47/1.46	c Got one! Elapsed wall clock time (in seconds):1.143
2.47/1.47	o 400
3.07/1.75	c Got one! Elapsed wall clock time (in seconds):1.422
3.07/1.75	o 386
3.68/2.07	c cleaning 3027 clauses out of 6063 with flag 9491/6063
4.45/2.42	c cleaning 4515 clauses out of 9035 with flag 22692/12062
4.79/2.71	c cleaning 5760 clauses out of 11520 with flag 37915/19062
5.12/3.00	c cleaning 6881 clauses out of 13761 with flag 55164/27063
5.68/3.31	c cleaning 7939 clauses out of 15879 with flag 75030/36062
5.98/3.64	c cleaning 8965 clauses out of 17940 with flag 97164/46062
6.38/4.03	c cleaning 9988 clauses out of 19975 with flag 122481/57062
6.79/4.49	c cleaning 10994 clauses out of 21987 with flag 150427/69062
7.32/4.93	c cleaning 11992 clauses out of 23993 with flag 179639/82062
7.82/5.44	c cleaning 13001 clauses out of 26001 with flag 211320/96062
8.32/5.98	c cleaning 13997 clauses out of 28001 with flag 247519/111063
9.36/6.91	c cleaning 15000 clauses out of 30004 with flag 285025/127063
9.99/7.52	c cleaning 16002 clauses out of 32003 with flag 324877/144062
11.04/8.57	c cleaning 16998 clauses out of 34002 with flag 367296/162063
12.18/9.69	c cleaning 18002 clauses out of 36004 with flag 411834/181063
12.98/10.49	c cleaning 19000 clauses out of 38003 with flag 457579/201064
14.10/11.50	c cleaning 19997 clauses out of 40001 with flag 506102/222062
14.90/12.36	c cleaning 20998 clauses out of 42004 with flag 555633/244062
16.02/13.41	c cleaning 21998 clauses out of 44006 with flag 607920/267062
16.92/14.38	c cleaning 23002 clauses out of 46009 with flag 660809/291063
18.14/15.57	c cleaning 24000 clauses out of 48006 with flag 722361/316062
19.23/16.65	c cleaning 25001 clauses out of 50006 with flag 785188/342062
20.33/17.78	c cleaning 26001 clauses out of 52005 with flag 849045/369062
21.86/19.16	c cleaning 27002 clauses out of 54004 with flag 916551/397062
23.15/20.42	c cleaning 27996 clauses out of 56002 with flag 985002/426062
24.45/21.70	c cleaning 28996 clauses out of 58006 with flag 1056615/456062
25.97/23.22	c cleaning 30001 clauses out of 60011 with flag 1130907/487063
27.37/24.63	c cleaning 30998 clauses out of 62010 with flag 1208502/519063
28.95/26.12	c cleaning 32003 clauses out of 64012 with flag 1286771/552063
30.33/27.51	c cleaning 33000 clauses out of 66008 with flag 1372322/586062
32.08/29.27	c cleaning 34000 clauses out of 68008 with flag 1461272/621062
33.68/30.81	c cleaning 34997 clauses out of 70008 with flag 1550902/657062
35.43/32.53	c cleaning 36000 clauses out of 72011 with flag 1643069/694062
37.23/34.31	c cleaning 37003 clauses out of 74013 with flag 1740761/732064
39.22/36.27	c cleaning 38000 clauses out of 76008 with flag 1829098/771062
41.21/38.26	c cleaning 39000 clauses out of 78008 with flag 1916678/811062
43.41/40.43	c cleaning 40001 clauses out of 80008 with flag 2005998/852062
45.70/42.60	c cleaning 40998 clauses out of 82007 with flag 2097657/894062
47.89/44.81	c cleaning 42005 clauses out of 84010 with flag 2191268/937063
50.33/47.29	c cleaning 43000 clauses out of 86004 with flag 2289496/981062
52.82/49.70	c cleaning 43998 clauses out of 88004 with flag 2392841/1026062
55.45/52.35	c cleaning 45000 clauses out of 90006 with flag 2497039/1072062
58.35/55.24	c cleaning 45994 clauses out of 92006 with flag 2607670/1119062
61.41/58.23	c cleaning 47004 clauses out of 94014 with flag 2716315/1167064
64.32/61.18	c cleaning 47998 clauses out of 96010 with flag 2829481/1216064
67.40/64.18	c cleaning 48997 clauses out of 98011 with flag 2940017/1266063
70.30/67.06	c cleaning 50006 clauses out of 100013 with flag 3052236/1317062
74.01/70.67	c cleaning 51002 clauses out of 102007 with flag 3170887/1369062
77.52/74.19	c cleaning 51997 clauses out of 104005 with flag 3294757/1422062
81.01/77.50	c cleaning 53002 clauses out of 106009 with flag 3415688/1476063
84.62/81.14	c cleaning 53997 clauses out of 108007 with flag 3543147/1531063
88.16/84.67	c cleaning 55002 clauses out of 110009 with flag 3673174/1587062
91.57/88.07	c cleaning 55993 clauses out of 112007 with flag 3801710/1644062
94.96/91.47	c cleaning 57001 clauses out of 114015 with flag 3929422/1702063
98.28/94.76	c cleaning 58007 clauses out of 116015 with flag 4060216/1761064
101.48/97.99	c cleaning 59002 clauses out of 118006 with flag 4192828/1821062
105.17/101.63	c cleaning 59998 clauses out of 120005 with flag 4329683/1882063
109.16/105.62	c cleaning 61003 clauses out of 122006 with flag 4469427/1944062
112.96/109.48	c cleaning 61991 clauses out of 124003 with flag 4613634/2007062
117.16/113.56	c cleaning 63005 clauses out of 126014 with flag 4758037/2071064
121.76/118.13	c cleaning 64004 clauses out of 128008 with flag 4910798/2136063
125.94/122.29	c cleaning 64997 clauses out of 130004 with flag 5061279/2202063
130.33/126.63	c cleaning 65999 clauses out of 132006 with flag 5218070/2269062
134.92/131.23	c cleaning 66999 clauses out of 134007 with flag 5382331/2337062
139.69/135.92	c cleaning 68000 clauses out of 136008 with flag 5542614/2406062
144.29/140.58	c cleaning 68998 clauses out of 138008 with flag 5705667/2476062
149.51/145.68	c cleaning 70003 clauses out of 140012 with flag 5872240/2547064
154.50/150.68	c cleaning 70999 clauses out of 142008 with flag 6042026/2619063
160.43/155.62	c Got one! Elapsed wall clock time (in seconds):155.306
160.43/155.62	o 382
161.21/156.39	c cleaning 72335 clauses out of 144669 with flag 31655/2692723
161.92/157.03	c cleaning 39169 clauses out of 78337 with flag 76312/2698726
162.96/157.94	c cleaning 23082 clauses out of 46167 with flag 138237/2705725
164.40/159.22	c cleaning 15527 clauses out of 31083 with flag 224027/2713723
165.10/160.00	c cleaning 12259 clauses out of 24556 with flag 289050/2722723
166.31/161.13	c cleaning 11124 clauses out of 22297 with flag 379346/2732723
167.70/162.50	c cleaning 11043 clauses out of 22173 with flag 472434/2743723
168.21/163.07	c Got one! Elapsed wall clock time (in seconds):162.752
168.21/163.07	o 374
168.53/163.28	c cleaning 8373 clauses out of 16764 with flag 25187/2749357
169.08/163.77	c cleaning 7176 clauses out of 14391 with flag 80043/2755357
169.78/164.48	c cleaning 7100 clauses out of 14216 with flag 157108/2762358
170.39/165.05	c cleaning 7533 clauses out of 15115 with flag 213662/2770357
171.38/166.08	c Got one! Elapsed wall clock time (in seconds):165.759
171.38/166.08	o 360
171.95/166.53	c cleaning 10642 clauses out of 21291 with flag 43598/2784066
172.35/166.90	c cleaning 8296 clauses out of 16648 with flag 85482/2790065
173.05/167.61	c cleaning 7640 clauses out of 15352 with flag 145219/2797065
173.95/168.50	c cleaning 7821 clauses out of 15712 with flag 204325/2805065
174.75/169.33	c cleaning 8419 clauses out of 16891 with flag 284081/2814065
175.65/170.27	c cleaning 9210 clauses out of 18474 with flag 368355/2824067
177.24/171.86	c cleaning 10112 clauses out of 20263 with flag 453512/2835066
179.05/173.65	c cleaning 11053 clauses out of 22150 with flag 542334/2847065
181.25/175.82	c cleaning 12033 clauses out of 24098 with flag 649261/2860066
183.34/177.91	c cleaning 13022 clauses out of 26065 with flag 769443/2874066
185.74/180.31	c cleaning 14014 clauses out of 28045 with flag 882498/2889068
188.44/183.10	c cleaning 15009 clauses out of 30029 with flag 1000169/2905066
191.72/186.33	c cleaning 16005 clauses out of 32019 with flag 1128222/2922065
195.61/190.23	c cleaning 17000 clauses out of 34014 with flag 1264283/2940065
200.42/195.04	c cleaning 18004 clauses out of 36016 with flag 1412344/2959067
206.30/200.90	c cleaning 19000 clauses out of 38014 with flag 1578785/2979069
213.02/207.67	c cleaning 19992 clauses out of 40010 with flag 1767183/3000065
219.31/213.94	c cleaning 21003 clauses out of 42019 with flag 1955103/3022066
225.69/220.39	c cleaning 22003 clauses out of 44020 with flag 2121468/3045070
233.67/228.39	c cleaning 23001 clauses out of 46015 with flag 2307164/3069068
241.76/236.46	c cleaning 24001 clauses out of 48012 with flag 2492327/3094066
251.04/245.76	c cleaning 24991 clauses out of 50011 with flag 2686220/3120066
265.71/260.47	c cleaning 25989 clauses out of 52019 with flag 2938697/3147065
276.89/271.66	c cleaning 27007 clauses out of 54031 with flag 3168314/3175066
288.11/282.73	c cleaning 28000 clauses out of 56024 with flag 3378186/3204066
301.67/296.31	c cleaning 29002 clauses out of 58024 with flag 3594351/3234066
316.14/310.81	c cleaning 30000 clauses out of 60022 with flag 3826372/3265066
330.82/325.59	c cleaning 31005 clauses out of 62022 with flag 4050539/3297066
347.19/341.90	c cleaning 31988 clauses out of 64016 with flag 4272338/3330065
364.36/359.18	c cleaning 33007 clauses out of 66029 with flag 4516107/3364066
383.41/378.23	c cleaning 34000 clauses out of 68021 with flag 4779791/3399065
399.98/394.86	c cleaning 35001 clauses out of 70021 with flag 5055960/3435065
417.71/412.41	c cleaning 36008 clauses out of 72027 with flag 5327490/3472072
435.76/430.52	c cleaning 36998 clauses out of 74012 with flag 5596939/3510065
454.72/449.42	c cleaning 37999 clauses out of 76014 with flag 5865869/3549065
481.18/476.00	c cleaning 38998 clauses out of 78015 with flag 6155164/3589065
510.02/504.82	c cleaning 40000 clauses out of 80018 with flag 6452823/3630066
541.77/536.63	c cleaning 41000 clauses out of 82019 with flag 6790185/3672067
570.32/565.12	c cleaning 42004 clauses out of 84020 with flag 7141719/3715068
599.57/594.49	c cleaning 43004 clauses out of 86020 with flag 7521829/3759072
636.60/631.54	c cleaning 43993 clauses out of 88011 with flag 7896377/3804067
673.25/668.16	c cleaning 44997 clauses out of 90018 with flag 8287519/3850067
710.08/705.09	c cleaning 45999 clauses out of 92020 with flag 8671685/3897066
742.12/737.19	c cleaning 47005 clauses out of 94021 with flag 9050641/3945066
776.99/771.97	c cleaning 47999 clauses out of 96017 with flag 9441357/3994067
812.22/807.21	c cleaning 48997 clauses out of 98017 with flag 9842160/4044066
849.45/844.57	c cleaning 49997 clauses out of 100021 with flag 10224270/4095067
892.60/887.64	c cleaning 50999 clauses out of 102022 with flag 10652557/4147065
940.81/935.90	c cleaning 52002 clauses out of 104024 with flag 11091281/4200066
981.53/976.70	c cleaning 52997 clauses out of 106021 with flag 11498478/4254065
1030.25/1025.42	c cleaning 54002 clauses out of 108026 with flag 11933218/4309067
1084.13/1079.45	c cleaning 55002 clauses out of 110024 with flag 12372083/4365067
1138.82/1134.22	c cleaning 55998 clauses out of 112024 with flag 12832240/4422069
1198.63/1194.07	c cleaning 57002 clauses out of 114022 with flag 13291446/4480065
1254.41/1249.90	c cleaning 58003 clauses out of 116021 with flag 13774732/4539066
1310.04/1305.51	c cleaning 58998 clauses out of 118018 with flag 14286872/4599066
1380.82/1376.43	c cleaning 59994 clauses out of 120021 with flag 14828635/4660067
1438.94/1434.59	c cleaning 61003 clauses out of 122025 with flag 15367107/4722065
1486.77/1482.41	c cleaning 62001 clauses out of 124022 with flag 15893751/4785065
1540.00/1535.71	c cleaning 63000 clauses out of 126021 with flag 16422179/4849065
1603.44/1598.94	c cleaning 64003 clauses out of 128021 with flag 17009427/4914065
1658.55/1654.12	c cleaning 65004 clauses out of 130018 with flag 17500136/4980065
1712.61/1708.18	c cleaning 65999 clauses out of 132014 with flag 18052112/5047065
1776.67/1772.38	c cleaning 66999 clauses out of 134016 with flag 18542322/5115066
1845.35/1841.16	c cleaning 67992 clauses out of 136016 with flag 19032140/5184065
1926.59/1922.44	c cleaning 69004 clauses out of 138027 with flag 19531723/5254068
1997.94/1993.93	c cleaning 69999 clauses out of 140020 with flag 20070764/5325065
2074.35/2070.36	c cleaning 71002 clauses out of 142022 with flag 20618847/5397066
2164.67/2160.86	c cleaning 72003 clauses out of 144021 with flag 21141907/5470067
2290.44/2286.88	c cleaning 73000 clauses out of 146016 with flag 21679335/5544065
2401.61/2398.05	c cleaning 74002 clauses out of 148016 with flag 22209634/5619065
2520.89/2517.53	c cleaning 75000 clauses out of 150014 with flag 22768693/5695065
2648.04/2644.94	c cleaning 76000 clauses out of 152014 with flag 23342499/5772065
2668.30/2665.19	c cleaning 77002 clauses out of 154015 with flag 23701793/5850066
2672.40/2669.13	c cleaning 78002 clauses out of 156012 with flag 23905740/5929065
2675.98/2672.75	c cleaning 79005 clauses out of 158011 with flag 24109398/6009066
2679.77/2676.45	c cleaning 79999 clauses out of 160006 with flag 24319225/6090066
2684.07/2680.72	c cleaning 80999 clauses out of 162006 with flag 24532404/6172065
2688.22/2684.80	c cleaning 82000 clauses out of 164007 with flag 24746882/6255065
2692.43/2689.09	c cleaning 82998 clauses out of 166007 with flag 24960300/6339065
2696.70/2693.39	c cleaning 83999 clauses out of 168009 with flag 25172627/6424065
2701.03/2697.61	c cleaning 84995 clauses out of 170010 with flag 25389707/6510065
2705.13/2701.79	c cleaning 86002 clauses out of 172015 with flag 25607898/6597065
2709.41/2705.99	c cleaning 87000 clauses out of 174013 with flag 25829065/6685065
2713.61/2710.16	c cleaning 87997 clauses out of 176013 with flag 26052023/6774065
2718.05/2714.59	c cleaning 89005 clauses out of 178017 with flag 26287721/6864066
2722.57/2719.03	c cleaning 90002 clauses out of 180012 with flag 26513316/6955066
2727.15/2723.53	c cleaning 91000 clauses out of 182010 with flag 26748396/7047066
2731.84/2728.22	c cleaning 91995 clauses out of 184009 with flag 26979130/7140065
2736.87/2733.12	c cleaning 93008 clauses out of 186015 with flag 27210463/7234066
2743.36/2739.61	c cleaning 94000 clauses out of 188007 with flag 27448374/7329066
2748.45/2744.76	c cleaning 94995 clauses out of 190006 with flag 27693475/7425065
2755.45/2751.29	c cleaning 95995 clauses out of 192012 with flag 27943975/7522066
2760.44/2756.20	c cleaning 96998 clauses out of 194016 with flag 28179343/7620065
2765.75/2761.42	c cleaning 97999 clauses out of 196018 with flag 28410895/7719065
2771.74/2767.43	c cleaning 99001 clauses out of 198019 with flag 28647691/7819065
2776.87/2772.42	c cleaning 100003 clauses out of 200018 with flag 28887058/7920065
2781.67/2777.28	c cleaning 101000 clauses out of 202016 with flag 29132385/8022066
2787.04/2782.53	c cleaning 102005 clauses out of 204016 with flag 29387464/8125066
2792.33/2787.83	c cleaning 103002 clauses out of 206011 with flag 29651061/8229066
2798.22/2793.61	c cleaning 103997 clauses out of 208008 with flag 29927055/8334065
2803.51/2798.92	c cleaning 105000 clauses out of 210012 with flag 30196128/8440066
2809.22/2804.55	c cleaning 106005 clauses out of 212011 with flag 30452252/8547065
2815.21/2810.56	c cleaning 106994 clauses out of 214007 with flag 30709342/8655066
2821.21/2816.57	c cleaning 107997 clauses out of 216012 with flag 30967616/8764065
2828.41/2823.63	c cleaning 109003 clauses out of 218015 with flag 31229925/8874065
2834.91/2830.17	c cleaning 110004 clauses out of 220013 with flag 31501430/8985066
2842.32/2837.43	c cleaning 110993 clauses out of 222009 with flag 31775091/9097066
2849.92/2845.05	c cleaning 112003 clauses out of 224015 with flag 32053650/9210065
2856.15/2851.14	c cleaning 112999 clauses out of 226012 with flag 32328897/9324065
2862.05/2857.05	c cleaning 114006 clauses out of 228013 with flag 32607393/9439065
2868.23/2863.27	c cleaning 114996 clauses out of 230008 with flag 32883031/9555066
2875.43/2870.30	c cleaning 116001 clauses out of 232011 with flag 33163687/9672065
2881.23/2876.19	c cleaning 116998 clauses out of 234010 with flag 33446919/9790065
2887.61/2882.55	c cleaning 118001 clauses out of 236012 with flag 33739267/9909065
2895.86/2890.70	c cleaning 119003 clauses out of 238013 with flag 34028341/10029067
2903.05/2897.95	c cleaning 119996 clauses out of 240008 with flag 34314592/10150065
2910.24/2905.16	c cleaning 120998 clauses out of 242012 with flag 34603630/10272065
2918.61/2913.36	c cleaning 122000 clauses out of 244015 with flag 34897533/10395066
2925.50/2920.23	c cleaning 122998 clauses out of 246016 with flag 35189776/10519067
2934.68/2929.22	c cleaning 124004 clauses out of 248017 with flag 35498964/10644066
2944.76/2939.32	c cleaning 124998 clauses out of 250012 with flag 35826594/10770065
2955.44/2948.65	c cleaning 126001 clauses out of 252015 with flag 36166746/10897066
2966.94/2960.18	c cleaning 127000 clauses out of 254014 with flag 36529975/11025066
2977.40/2970.50	c cleaning 127999 clauses out of 256013 with flag 36899768/11154065
2988.74/2981.71	c cleaning 129001 clauses out of 258015 with flag 37286046/11284066
2999.52/2992.54	c cleaning 129998 clauses out of 260013 with flag 37667695/11415065
3010.21/3003.12	c cleaning 131005 clauses out of 262017 with flag 38061315/11547067
3022.59/3015.56	c cleaning 131996 clauses out of 264012 with flag 38464492/11680067
3034.75/3027.67	c cleaning 133001 clauses out of 266015 with flag 38877167/11814066
3048.17/3040.96	c cleaning 133998 clauses out of 268013 with flag 39297220/11949065
3060.59/3053.22	c cleaning 135005 clauses out of 270016 with flag 39717918/12085066
3072.70/3065.23	c cleaning 135999 clauses out of 272010 with flag 40143158/12222065
3085.78/3078.37	c cleaning 137000 clauses out of 274011 with flag 40579237/12360065
3098.92/3091.41	c cleaning 138000 clauses out of 276012 with flag 41021560/12499066
3111.92/3104.34	c cleaning 138998 clauses out of 278012 with flag 41467947/12639066
3125.36/3117.62	c cleaning 140006 clauses out of 280013 with flag 41925314/12780065
3139.85/3132.18	c cleaning 140999 clauses out of 282007 with flag 42388387/12922065
3155.92/3148.17	c cleaning 142000 clauses out of 284010 with flag 42855347/13065067
3172.40/3164.58	c cleaning 142996 clauses out of 286009 with flag 43320634/13209066
3187.58/3179.76	c cleaning 144004 clauses out of 288013 with flag 43781989/13354066
3201.32/3193.41	c cleaning 144992 clauses out of 290008 with flag 44259724/13500065
3217.39/3209.52	c cleaning 146003 clauses out of 292016 with flag 44753000/13647065
3235.90/3227.38	c cleaning 147006 clauses out of 294014 with flag 45249486/13795066
3252.97/3244.45	c cleaning 148002 clauses out of 296007 with flag 45749893/13944065
3270.64/3262.06	c cleaning 148995 clauses out of 298005 with flag 46253998/14094065
3287.00/3278.48	c cleaning 150002 clauses out of 300010 with flag 46767815/14245065
3304.32/3295.74	c cleaning 150999 clauses out of 302012 with flag 47291471/14397069
3323.70/3315.18	c cleaning 151991 clauses out of 304009 with flag 47821644/14550065
3342.41/3333.77	c cleaning 153005 clauses out of 306018 with flag 48362128/14704065
3362.17/3353.54	c cleaning 154006 clauses out of 308013 with flag 48906675/14859065
3381.76/3373.04	c cleaning 155000 clauses out of 310009 with flag 49450996/15015067
3400.84/3392.06	c cleaning 155999 clauses out of 312007 with flag 50001426/15172065
3419.59/3410.87	c cleaning 156987 clauses out of 314008 with flag 50546467/15330065
3441.21/3432.47	c cleaning 158001 clauses out of 316022 with flag 51111176/15489066
3463.38/3454.57	c cleaning 159002 clauses out of 318020 with flag 51672085/15649065
3484.93/3476.00	c cleaning 160004 clauses out of 320018 with flag 52252395/15810065
3509.55/3500.45	c cleaning 161001 clauses out of 322015 with flag 52819941/15972066
3532.97/3523.78	c cleaning 162003 clauses out of 324014 with flag 53416646/16135066
3558.36/3549.01	c cleaning 163004 clauses out of 326011 with flag 54019467/16299066
3584.26/3574.87	c cleaning 163998 clauses out of 328006 with flag 54624085/16464065
3600.03/3590.64	c starts		: 37143
3600.03/3590.65	c conflicts		: 16587122
3600.03/3590.65	c decisions		: 24686465
3600.03/3590.65	c propagations		: 535290105
3600.03/3590.65	c inspects		: 35342985915
3600.03/3590.65	c shortcuts		: 0
3600.03/3590.65	c learnt literals	: 0
3600.03/3590.65	c learnt binary clauses	: 0
3600.03/3590.65	c learnt ternary clauses	: 0
3600.03/3590.65	c learnt constraints	: 16587122
3600.03/3590.65	c ignored constraints	: 0
3600.03/3590.65	c root simplifications	: 0
3600.03/3590.65	c removed literals (reason simplification)	: 0
3600.03/3590.65	c reason swapping (by a shorter reason)	: 0
3600.03/3590.65	c Calls to reduceDB	: 240
3600.03/3590.65	c Number of update (reduction) of LBD	: 3073674
3600.03/3590.65	c Imported unit clauses	: 0
3600.03/3590.65	c No decision after first conflict	: false
3600.03/3590.65	c number of reductions to clauses (during analyze)	: 0
3600.03/3590.65	c number of learned constraints concerned by reduction	: 0
3600.03/3590.65	c number of learning phase by resolution	: 0
3600.03/3590.65	c number of learning phase by cutting planes	: 0
3600.03/3590.65	c number of rounding to 1 operations	: 0
3600.03/3590.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3590.65	c number of reductions of the coefficients by power 2 	: 0
3600.03/3590.65	c number of right shift for reduction by power 2 	: 0
3600.03/3590.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3590.65	c number of ending skipping 	: 0
3600.03/3590.65	c number of internal skipping 	: 0
3600.03/3590.65	c number of derivation steps 	: 0
3600.03/3590.65	c number of skipped derivation steps 	: 0
3600.03/3590.65	c number of remaining unassigned 	: 0
3600.03/3590.65	c number of remaining assigned 	: 0
3600.03/3590.65	c number of falsified literals weakened from reason	: 0
3600.03/3590.65	c number of falsified literals weakened from conflict	: 0
3600.03/3590.65	c time for arithmetic operations	: 0
3600.03/3590.65	c minimum degree of deleted constraints	: null
3600.03/3590.65	c maximum degree of deleted constraints	: null
3600.03/3590.65	c number of deleted constraints	: 0
3600.03/3590.65	c speed (assignments/second)	: 149129.5152351445
3600.03/3590.65	c non guided choices	: 4396
3600.22/3590.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 287065
3600.22/3590.78	s SATISFIABLE
3600.22/3590.78	c Found 5 solution(s)
3600.22/3590.79	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 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 -x2525 -x2526 x2527 x2528 -x2529 x2530 x2531 -x2532 x2533 x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 x2543 -x2544 -x2545 x2546 -x2547 -x2548 x2549 x2550 x2551 -x2552 x2553 x2554 x2555 -x2556 x2557 x2558 -x2559 -x2560 x2561 x2562 x2563 -x2564 x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 x2572 x2573 -x2574 -x2575 -x2576 x2577 x2578 x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2585 x2586 x2587 x2588 -x2589 x2590 -x2591 -x2592 x2593 x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 -x2606 -x2607 x2608 x2609 x2610 x2611 x2612 -x2613 -x2614 -x2615 x2616 x2617 x2618 -x2619 -x2620 -x2621 x2622 x2623 -x2624 -x2625 -x2626 x2627 x2628 -x2629 x2630 -x2631 x2632 -x2633 x2634 x2635 x2636 -x2637 -x2638 -x2639 x2640 -x2641 x2642 x2643 -x2644 x2645 -x2646 x2647 x2648 x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 x2656 x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 x2664 x2665 -x2666 x2667 x2668 x2669 -x2670 -x2671 x2672 x2673 -x2674 x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 x2685 -x2686 x2687 x2688 -x2689 -x2690 x2691 x2692 -x2693 -x2694 -x2695 x2696 x2697 x2698 -x2699 x2700 
3600.41/3590.80	c objective function=360
3600.41/3590.80	c Total wall clock time (in seconds): 3590.481

Verifier Data 

OK	360

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432422-1721134843/watcher-4432422-1721134843 -o /tmp/evaluation-result-4432422-1721134843/solver-4432422-1721134843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854699 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432422-1721134843.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100365 s]*
/proc/loadavg: 4.09 4.24 4.26 6/320 856789
/proc/meminfo: memFree=111821972/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=18975048 memory=55584 CPUtime=0.1 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 6386 0 0 0 7 3 0 0 20 0 18 0 165642351 19430449152 13896 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4743762 13896 5633 1 0 550748 0
[pid=856771/tid=856773] ppid=856768 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 1077936192 5290 0 0 0 4 3 0 0 20 0 18 0 165642352 19430449152 13896 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165642357 19430449152 13896 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=18975048 memory=3978424728183636000 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165642358 19430449152 13896 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55584 KiB

[startup+0.214296 s]*
/proc/loadavg: 4.09 4.24 4.26 8/320 856789
/proc/meminfo: memFree=111816696/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=18975048 memory=60760 CPUtime=0.28 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 7091 0 0 0 24 4 0 0 20 0 18 0 165642351 19430449152 15190 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4743762 15190 5706 1 0 551332 0
[pid=856771/tid=856773] ppid=856768 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) S 856768 856771 854686 0 -1 1077936192 5668 0 0 0 15 3 0 0 20 0 18 0 165642352 19430449152 15190 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=18975048 memory=694 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165642357 19430449152 15190 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=18975048 memory=14135562894328173 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165642358 19430449152 15190 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60760 KiB

[startup+0.316201 s]*
/proc/loadavg: 4.09 4.24 4.26 9/320 856789
/proc/meminfo: memFree=111811508/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=18975048 memory=66356 CPUtime=0.46 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 7405 0 0 0 41 5 0 0 20 0 18 0 165642351 19430449152 16589 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4743762 16589 5788 1 0 551549 0
[pid=856771/tid=856773] ppid=856768 vsize=18975048 memory=-8599451304992285372 CPUtime=0.28 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 5861 0 0 0 25 3 0 0 20 0 18 0 165642352 19430449152 16589 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165642357 19430449152 16589 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165642358 19430449152 16589 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66356 KiB

[startup+0.701092 s]
/proc/loadavg: 4.09 4.24 4.26 7/320 856789
/proc/meminfo: memFree=111793780/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=18975048 memory=118664 CPUtime=1.11 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 9156 0 0 0 104 7 0 0 20 0 18 0 165642351 19430449152 29666 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4743762 29666 5868 1 0 552653 0
[pid=856771/tid=856773] ppid=856768 vsize=18975048 memory=5576 CPUtime=0.57 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 5938 0 0 0 53 4 0 0 20 0 18 0 165642352 19430449152 29666 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=18975048 memory=12676 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165642357 19430449152 29666 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165642358 19430449152 29666 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118664 KiB

[startup+1.50109 s]
/proc/loadavg: 4.09 4.24 4.26 7/321 856790
/proc/meminfo: memFree=111710608/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=189352 CPUtime=2.67 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 17156 0 0 0 257 10 0 0 20 0 20 0 165642351 19566772224 47338 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 47338 5954 1 0 558651 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=12676 CPUtime=1.28 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 6114 0 0 0 122 6 0 0 20 0 20 0 165642352 19566772224 47338 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 47338 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 47338 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189352 KiB

[startup+3.10609 s]
/proc/loadavg: 4.16 4.25 4.26 7/322 856791
/proc/meminfo: memFree=111675852/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=202496 CPUtime=5.47 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 22872 0 0 0 535 12 0 0 20 0 20 0 165642351 19566772224 50624 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 50624 5969 1 0 559200 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=198340509722 CPUtime=2.81 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 6244 0 0 0 275 6 0 0 20 0 20 0 165642352 19566772224 50624 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 50624 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=12676 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 50624 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=191196 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 50624 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202496 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.25 4.26 5/320 856802
/proc/meminfo: memFree=111656732/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=220912 CPUtime=8.71 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 24787 0 0 0 858 13 0 0 20 0 20 0 165642351 19566772224 55228 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 55228 5985 1 0 559201 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=0 CPUtime=5.95 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 6851 0 0 0 588 7 0 0 20 0 20 0 165642352 19566772224 55228 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12676 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 55228 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=189476 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 55228 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=220912 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 55228 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220912 KiB

[startup+12.7005 s]
/proc/loadavg: 4.15 4.25 4.26 5/320 856804
/proc/meminfo: memFree=111418296/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=350352 CPUtime=15.31 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 27845 0 0 0 1515 16 0 0 20 0 20 0 165642351 19566772224 87588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 87588 5985 1 0 559201 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=350292 CPUtime=12.09 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 7500 0 0 0 1202 7 0 0 20 0 20 0 165642352 19566772224 87588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 87588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=6083351997932200787 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 87588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 87588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 15.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 350352 KiB

[startup+25.5005 s]
/proc/loadavg: 4.27 4.27 4.27 5/320 856805
/proc/meminfo: memFree=110551628/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=812016 CPUtime=28.33 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 33635 0 0 0 2806 27 0 0 20 0 20 0 165642351 19566772224 203004 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 203004 5985 1 0 793144 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=6083351997932200787 CPUtime=24.15 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 8906 0 0 0 2405 10 0 0 20 0 20 0 165642352 19566772224 203004 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 203004 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=19312 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 203004 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=-8599451304992285372 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 203004 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 812016 KiB

[startup+51.1135 s]
/proc/loadavg: 4.25 4.26 4.27 5/320 856810
/proc/meminfo: memFree=109645064/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=1392532 CPUtime=54.23 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 36884 0 0 0 5383 40 0 0 20 0 20 0 165642351 19566772224 348133 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 348133 5985 1 0 1025011 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=1328960 CPUtime=49.07 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 9898 0 0 0 4894 13 0 0 20 0 20 0 165642352 19566772224 348133 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 348133 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 348133 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 348133 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0

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

[startup+3282.3 s]
/proc/loadavg: 4.25 4.35 4.31 5/319 858157
/proc/meminfo: memFree=96982416/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538352 CPUtime=3290.96 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 202185 0 0 0 328835 261 0 0 20 0 20 0 165642351 19566772224 884588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884588 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=3538352 CPUtime=3261.87 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 73285 0 0 0 326158 29 0 0 20 0 20 0 165642352 19566772224 884588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538352 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4820 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=-7161136440488257151 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884588 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3290.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.35 4.31 5/319 858555
/proc/meminfo: memFree=96225812/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538408 CPUtime=3350.99 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 202490 0 0 0 334835 264 0 0 20 0 20 0 165642351 19566772224 884602 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884602 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=43248 CPUtime=3321.57 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 73413 0 0 0 332127 30 0 0 20 0 20 0 165642352 19566772224 884602 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884602 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538408 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4820 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884602 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=12676 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884602 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3350.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.33 4.30 5/319 858634
/proc/meminfo: memFree=111500504/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538436 CPUtime=3411.11 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 203846 0 0 0 340844 267 0 0 20 0 20 0 165642351 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884609 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=3538408 CPUtime=3381.05 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 73940 0 0 0 338075 30 0 0 20 0 20 0 165642352 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=3538408 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538436 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4820 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3411.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.28 4.29 5/319 858644
/proc/meminfo: memFree=111378424/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538436 CPUtime=3471.17 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 205653 0 0 0 346847 270 0 0 20 0 20 0 165642351 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884609 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=3538436 CPUtime=3440.59 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 74291 0 0 0 344029 30 0 0 20 0 20 0 165642352 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538436 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4866 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884609 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3471.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538436 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.25 4.27 5/321 858825
/proc/meminfo: memFree=111340576/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538452 CPUtime=3531.57 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 206044 0 0 0 352884 273 0 0 20 0 20 0 165642351 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884613 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=3538436 CPUtime=3499.9 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 74493 0 0 0 349960 30 0 0 20 0 20 0 165642352 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=3538436 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=5608 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4866 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3531.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.21 4.26 5/321 858836
/proc/meminfo: memFree=111280372/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538452 CPUtime=3591.74 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 206404 0 0 0 358899 275 0 0 20 0 20 0 165642351 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884613 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=3538452 CPUtime=3559.44 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 74752 0 0 0 355914 30 0 0 20 0 20 0 165642352 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4866 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3591.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.6 s]
/proc/loadavg: 4.08 4.21 4.25 5/321 858839
/proc/meminfo: memFree=111280296/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19108176 memory=3538452 CPUtime=3600.03 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 206411 0 0 0 359727 276 0 0 20 0 20 0 165642351 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4777044 884613 5985 1 0 1030196 0
[pid=856771/tid=856773] ppid=856768 vsize=19108176 memory=-9174445489073312654 CPUtime=3567.72 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 74758 0 0 0 356742 30 0 0 20 0 20 0 165642352 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165642357 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19108176 memory=3538452 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4866 0 0 0 0 0 0 0 20 0 20 0 165642358 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856791] ppid=856768 vsize=19108176 memory=43248 CPUtime=0 cores=5,7
/proc/856771/task/856791/stat : 856791 (Timer-0) S 856768 856771 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165642473 19566772224 884613 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3538452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.66 s, system=2.79392 s

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

[startup+3590.8 s]
/proc/loadavg: 4.08 4.21 4.25 5/321 858839
/proc/meminfo: memFree=111280296/131655788 swapFree=131071996/131071996
[pid=856771] ppid=856768 vsize=19307868 memory=3539468 CPUtime=3600.41 cores=5,7
/proc/856771/stat : 856771 (java) S 856768 856771 854686 0 -1 1077936128 209549 0 0 0 359765 276 0 0 20 0 21 0 165642351 19771256832 884867 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
/proc/856771/statm: 4826967 884867 5984 1 0 1031181 0
[pid=856771/tid=856773] ppid=856768 vsize=19307868 memory=2216 CPUtime=3567.9 cores=5,7
/proc/856771/task/856773/stat : 856773 (java) R 856768 856771 854686 0 -1 4194368 74986 0 0 0 356760 30 0 0 20 0 21 0 165642352 19771256832 884867 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856782] ppid=856768 vsize=19307868 memory=5608 CPUtime=0 cores=5,7
/proc/856771/task/856782/stat : 856782 (Finalizer) S 856768 856771 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 165642357 19771256832 884867 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
[pid=856771/tid=856789] ppid=856768 vsize=19307868 memory=12676 CPUtime=0 cores=5,7
/proc/856771/task/856789/stat : 856789 (Common-Cleaner) S 856768 856771 854686 0 -1 1077936192 4866 0 0 0 0 0 0 0 20 0 21 0 165642358 19771256832 884867 134679101440 93887134658560 93887134662256 140727018407264 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93887134670072 93887134670864 93887143510016 140727018411015 140727018411105 140727018411105 140727018418120 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3539468 KiB

Child status: 143

Real time (s): 3590.83
CPU time (s): 3600.46
CPU user time (s): 3597.66
CPU system time (s): 2.79392
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3539468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.66
system time used= 2.79392
maximum resident set size= 3540328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109810
involuntary context switches= 2635


# summary of solver processes directly reported to runsolver:
#   pid: 856771
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3597.66
#   total CPU system time (s): 2.79392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5062 second user time and 37.6395 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-16 15:00:55
IDJOB=4432422
IDBENCH=155380
IDSOLVER=3058
FILE ID=nodeC002/4432422-1721134843
RUNJOBID= nodeC002-1721131365-854699
SLURM_JOB_ID= 7505700
Free space on /tmp= 723748 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432422-1721134843/watcher-4432422-1721134843 -o /tmp/evaluation-result-4432422-1721134843/solver-4432422-1721134843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854699 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432422-1721134843.opb

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=435229567

nodeC002.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		: 3631.554
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.38
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		: 3549.129
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.320
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.38
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.248
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		: 3603.108
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.38
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.702
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.159
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.38
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.166
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:        111857152 kB
MemAvailable:   113353160 kB
Buffers:          434392 kB
Cached:          1887564 kB
SwapCached:            0 kB
Active:           757056 kB
Inactive:       18445544 kB
Active(anon):       2716 kB
Inactive(anon): 16915308 kB
Active(file):     754340 kB
Inactive(file):  1530236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4016 kB
Writeback:             0 kB
AnonPages:      16879880 kB
Mapped:           124836 kB
Shmem:             37704 kB
KReclaimable:     102928 kB
Slab:             202540 kB
SReclaimable:     102928 kB
SUnreclaim:        99612 kB
KernelStack:        4844 kB
PageTables:        43132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   21848368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54432 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16568320 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:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC002 at 2024-07-16 16:00:46