Trace number 4432215

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)24845 3600.32 3604.16

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
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 benchmark23916
Best CPU time to get the best result obtained on this benchmark3441.35
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432215-1721074053.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.34/0.22	c ... done. Wall clock time 0.097s.
0.34/0.22	c declared #vars     540
0.34/0.22	c #constraints  4626
0.34/0.22	c constraints type 
0.34/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.34/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.34/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.34/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.34/0.22	c 4626 constraints processed.
0.34/0.23	c objective function length is 180 literals
0.34/0.29	c SATISFIABLE
0.34/0.29	c OPTIMIZING...
0.34/0.29	c Got one! Elapsed wall clock time (in seconds):0.168
0.34/0.29	o 27583
1.09/0.62	c Got one! Elapsed wall clock time (in seconds):0.504
1.09/0.62	o 27394
1.29/0.77	c Got one! Elapsed wall clock time (in seconds):0.65
1.29/0.77	o 26451
1.63/0.97	c cleaning 3350 clauses out of 6706 with flag 13877/6706
2.34/1.50	c cleaning 4672 clauses out of 9355 with flag 59379/12705
2.75/1.92	c cleaning 5836 clauses out of 11684 with flag 103057/19706
2.87/2.07	c cleaning 6925 clauses out of 13849 with flag 121276/27707
3.07/2.24	c cleaning 7959 clauses out of 15923 with flag 142300/36706
3.37/2.43	c cleaning 8981 clauses out of 17964 with flag 165730/46706
3.58/2.66	c cleaning 9987 clauses out of 19982 with flag 190346/57705
3.87/2.92	c cleaning 10996 clauses out of 21996 with flag 216790/69706
4.17/3.22	c cleaning 11998 clauses out of 24000 with flag 245501/82706
4.48/3.54	c cleaning 12999 clauses out of 26003 with flag 277114/96707
4.78/3.87	c cleaning 13999 clauses out of 28002 with flag 309925/111705
5.18/4.27	c cleaning 15001 clauses out of 30008 with flag 346527/127710
5.60/4.65	c cleaning 15997 clauses out of 32002 with flag 384250/144705
6.02/5.05	c cleaning 16998 clauses out of 34005 with flag 423877/162705
6.52/5.57	c cleaning 18004 clauses out of 36007 with flag 468074/181705
7.02/6.05	c cleaning 19002 clauses out of 38003 with flag 512127/201705
7.51/6.50	c cleaning 19998 clauses out of 40002 with flag 556940/222706
8.01/7.04	c cleaning 21000 clauses out of 42004 with flag 604223/244706
8.61/7.60	c cleaning 21998 clauses out of 44003 with flag 654289/267705
9.51/8.51	c cleaning 23001 clauses out of 46005 with flag 738423/291705
10.07/9.09	c cleaning 24001 clauses out of 48004 with flag 798221/316705
10.67/9.68	c cleaning 24999 clauses out of 50004 with flag 854175/342706
11.97/10.92	c cleaning 25999 clauses out of 52005 with flag 962934/369706
12.18/11.12	c Got one! Elapsed wall clock time (in seconds):11.006
12.18/11.13	o 26425
12.93/11.87	c cleaning 15653 clauses out of 31316 with flag 50101/375016
13.03/11.96	c Got one! Elapsed wall clock time (in seconds):11.849
13.03/11.96	o 25922
13.74/12.60	c Got one! Elapsed wall clock time (in seconds):12.48
13.74/12.60	o 25762
14.04/12.97	c cleaning 10769 clauses out of 21554 with flag 19781/380907
14.84/13.78	c cleaning 8383 clauses out of 16781 with flag 76028/386903
15.79/14.66	c cleaning 7673 clauses out of 15397 with flag 147673/393902
16.84/15.67	c cleaning 7862 clauses out of 15725 with flag 229197/401903
18.03/16.83	c cleaning 8423 clauses out of 16863 with flag 326478/410903
19.32/18.16	c cleaning 9209 clauses out of 18439 with flag 446795/420902
20.80/19.68	c cleaning 10106 clauses out of 20231 with flag 581242/431903
22.59/21.40	c cleaning 11056 clauses out of 22126 with flag 729567/443904
24.47/23.39	c cleaning 12022 clauses out of 24068 with flag 891091/456902
26.80/25.69	c cleaning 13010 clauses out of 26046 with flag 1078842/470902
29.18/28.07	c cleaning 14011 clauses out of 28036 with flag 1290950/485902
32.18/31.02	c cleaning 15004 clauses out of 30026 with flag 1524114/501903
35.91/34.72	c cleaning 15999 clauses out of 32021 with flag 1800026/518902
39.40/38.23	c cleaning 17003 clauses out of 34022 with flag 2059721/536902
43.09/41.93	c cleaning 17979 clauses out of 36019 with flag 2334682/555902
47.38/46.25	c cleaning 19015 clauses out of 38041 with flag 2642988/575903
49.78/48.63	c cleaning 20007 clauses out of 40025 with flag 2834401/596902
54.28/53.11	c cleaning 21006 clauses out of 42021 with flag 3134645/618905
55.87/54.71	c cleaning 22002 clauses out of 44012 with flag 3269401/641902
56.17/55.08	c cleaning 23005 clauses out of 46010 with flag 3318674/665902
56.70/55.51	c cleaning 23994 clauses out of 48005 with flag 3369923/690902
57.10/55.95	c cleaning 25003 clauses out of 50011 with flag 3423535/716902
57.60/56.43	c cleaning 25998 clauses out of 52008 with flag 3479397/743902
58.10/56.92	c cleaning 27001 clauses out of 54010 with flag 3537165/771902
58.59/57.43	c cleaning 28004 clauses out of 56009 with flag 3597038/800902
59.20/58.01	c cleaning 29003 clauses out of 58005 with flag 3659430/830902
59.79/58.61	c cleaning 29998 clauses out of 60002 with flag 3723840/861902
60.41/59.24	c cleaning 30997 clauses out of 62004 with flag 3790118/893902
61.11/59.99	c cleaning 32001 clauses out of 64007 with flag 3860693/926902
61.81/60.68	c cleaning 32997 clauses out of 66006 with flag 3932141/960902
62.50/61.36	c cleaning 33997 clauses out of 68009 with flag 4004310/995902
63.21/62.08	c cleaning 35003 clauses out of 70012 with flag 4079476/1031902
64.02/62.82	c cleaning 36005 clauses out of 72009 with flag 4156382/1068902
64.72/63.53	c cleaning 36999 clauses out of 74004 with flag 4235372/1106902
65.62/64.40	c cleaning 38000 clauses out of 76008 with flag 4318919/1145905
66.42/65.25	c cleaning 39000 clauses out of 78005 with flag 4403074/1185902
67.42/66.28	c cleaning 39999 clauses out of 80005 with flag 4498547/1226902
76.20/75.00	c cleaning 40999 clauses out of 82007 with flag 4968094/1268903
77.79/76.69	c Got one! Elapsed wall clock time (in seconds):76.577
77.79/76.69	o 25630
80.39/79.22	c cleaning 26371 clauses out of 52787 with flag 99888/1280682
81.89/80.71	c cleaning 16186 clauses out of 32417 with flag 191458/1286683
83.10/81.94	c cleaning 11594 clauses out of 23231 with flag 283552/1293683
84.30/83.12	c cleaning 9797 clauses out of 19636 with flag 374700/1301682
85.60/84.44	c cleaning 9403 clauses out of 18844 with flag 474179/1310687
87.09/85.95	c cleaning 9700 clauses out of 19436 with flag 582151/1320682
88.99/87.80	c cleaning 10360 clauses out of 20736 with flag 714070/1331682
90.68/89.53	c cleaning 11183 clauses out of 22376 with flag 831704/1343682
92.69/91.52	c cleaning 12083 clauses out of 24194 with flag 970377/1356683
94.78/93.67	c cleaning 13051 clauses out of 26110 with flag 1124595/1370682
97.18/96.10	c cleaning 14016 clauses out of 28059 with flag 1295481/1385682
100.28/99.13	c cleaning 15014 clauses out of 30045 with flag 1493028/1401684
102.57/101.49	c cleaning 16006 clauses out of 32030 with flag 1680092/1418683
102.97/101.83	c cleaning 17011 clauses out of 34025 with flag 1720766/1436684
103.37/102.22	c cleaning 18002 clauses out of 36012 with flag 1764662/1455682
103.77/102.64	c cleaning 19001 clauses out of 38010 with flag 1811077/1475682
104.21/103.07	c cleaning 19994 clauses out of 40009 with flag 1857112/1496682
104.70/103.52	c cleaning 21001 clauses out of 42016 with flag 1905531/1518683
105.21/104.08	c cleaning 22008 clauses out of 44015 with flag 1955855/1541683
105.80/104.64	c cleaning 23000 clauses out of 46006 with flag 2009756/1565682
106.31/105.18	c cleaning 23999 clauses out of 48006 with flag 2065392/1590682
107.00/105.87	c cleaning 25002 clauses out of 50008 with flag 2122519/1616683
107.60/106.49	c cleaning 25997 clauses out of 52007 with flag 2183889/1643684
108.40/107.20	c cleaning 27001 clauses out of 54009 with flag 2245085/1671683
109.09/107.96	c cleaning 28000 clauses out of 56007 with flag 2310601/1700682
109.79/108.62	c cleaning 28999 clauses out of 58008 with flag 2379586/1730683
110.59/109.41	c cleaning 30003 clauses out of 60009 with flag 2447840/1761683
111.39/110.29	c cleaning 30997 clauses out of 62005 with flag 2515958/1793682
112.42/111.27	c cleaning 32003 clauses out of 64008 with flag 2586533/1826682
113.32/112.19	c cleaning 32997 clauses out of 66005 with flag 2660443/1860682
114.32/113.14	c cleaning 34002 clauses out of 68009 with flag 2736982/1895683
115.32/114.15	c cleaning 35003 clauses out of 70008 with flag 2817758/1931684
116.51/115.37	c cleaning 35996 clauses out of 72005 with flag 2902010/1968684
117.71/116.57	c cleaning 37000 clauses out of 74007 with flag 2990964/2006682
118.90/117.74	c cleaning 38004 clauses out of 76007 with flag 3081724/2045682
120.31/119.14	c cleaning 39000 clauses out of 78003 with flag 3175084/2085682
121.70/120.54	c cleaning 40000 clauses out of 80004 with flag 3273111/2126683
123.09/121.92	c cleaning 40998 clauses out of 82003 with flag 3369529/2168682
124.50/123.38	c cleaning 41995 clauses out of 84005 with flag 3467489/2211682
125.93/124.75	c cleaning 43001 clauses out of 86011 with flag 3564727/2255683
127.33/126.15	c cleaning 44005 clauses out of 88009 with flag 3665257/2300682
128.72/127.53	c cleaning 45001 clauses out of 90005 with flag 3767714/2346683
130.22/129.09	c cleaning 45994 clauses out of 92004 with flag 3871695/2393683
131.81/130.69	c cleaning 47005 clauses out of 94010 with flag 3979598/2441683
133.31/132.18	c cleaning 47998 clauses out of 96004 with flag 4088315/2490682
135.10/133.94	c cleaning 49002 clauses out of 98007 with flag 4195594/2540683
136.80/135.63	c cleaning 50000 clauses out of 100005 with flag 4303878/2591683
138.70/137.54	c cleaning 50994 clauses out of 102004 with flag 4413390/2643682
140.54/139.39	c cleaning 51999 clauses out of 104011 with flag 4523379/2696683
142.44/141.21	c cleaning 53002 clauses out of 106011 with flag 4636574/2750682
143.84/142.65	c cleaning 54004 clauses out of 108009 with flag 4753073/2805682
145.34/144.14	c cleaning 54998 clauses out of 110005 with flag 4875456/2861682
146.93/145.78	c cleaning 55998 clauses out of 112008 with flag 4994875/2918683
148.54/147.32	c cleaning 57001 clauses out of 114010 with flag 5120480/2976683
150.24/149.07	c cleaning 57999 clauses out of 116008 with flag 5250777/3035682
152.18/150.96	c cleaning 58997 clauses out of 118010 with flag 5388507/3095683
153.87/152.65	c cleaning 59995 clauses out of 120012 with flag 5534240/3156682
156.37/155.13	c cleaning 61007 clauses out of 122018 with flag 5777881/3218683
181.91/180.73	c cleaning 61999 clauses out of 124010 with flag 6660141/3281682
216.43/215.24	c cleaning 63003 clauses out of 126011 with flag 7607120/3345682
228.80/227.66	c cleaning 63994 clauses out of 128011 with flag 8011882/3410685
231.09/229.95	c cleaning 65003 clauses out of 130015 with flag 8159975/3476683
233.10/231.91	c cleaning 65997 clauses out of 132011 with flag 8307732/3543682
248.54/247.37	c cleaning 67002 clauses out of 134014 with flag 8823870/3611682
260.63/259.42	c Got one! Elapsed wall clock time (in seconds):259.3
260.63/259.42	o 25616
264.41/263.25	c cleaning 65300 clauses out of 130605 with flag 75478/3675275
267.71/266.54	c cleaning 35643 clauses out of 71302 with flag 161509/3681272
269.70/268.57	c cleaning 21311 clauses out of 42660 with flag 253225/3688273
271.50/270.36	c cleaning 14669 clauses out of 29351 with flag 373560/3696275
273.09/271.90	c cleaning 11825 clauses out of 23679 with flag 455827/3705272
274.58/273.47	c cleaning 10913 clauses out of 21854 with flag 539538/3715272
275.39/274.29	c Got one! Elapsed wall clock time (in seconds):274.179
275.39/274.29	o 25589
276.30/275.15	c cleaning 11114 clauses out of 22249 with flag 28003/3726580
277.39/276.25	c cleaning 7516 clauses out of 17135 with flag 67764/3732580
278.49/277.34	c cleaning 7025 clauses out of 16619 with flag 103769/3739580
279.59/278.42	c cleaning 7992 clauses out of 17595 with flag 138138/3747581
279.59/278.42	c Got one! Elapsed wall clock time (in seconds):278.304
279.59/278.42	o 24845
280.09/278.98	c cleaning 5019 clauses out of 14624 with flag 16315/3752602
280.19/279.07	c cleaning 5994 clauses out of 15603 with flag 28697/3758600
280.30/279.19	c cleaning 7001 clauses out of 16609 with flag 43190/3765600
280.49/279.30	c cleaning 7999 clauses out of 17610 with flag 60303/3773602
280.77/279.51	c cleaning 9000 clauses out of 18609 with flag 79596/3782600
281.16/279.70	c cleaning 9801 clauses out of 19610 with flag 100924/3792601
281.38/279.93	c cleaning 10398 clauses out of 20808 with flag 125374/3803600
281.58/280.15	c cleaning 11203 clauses out of 22410 with flag 151288/3815600
281.94/280.46	c cleaning 12100 clauses out of 24207 with flag 179152/3828600
282.16/280.69	c cleaning 13045 clauses out of 26107 with flag 208935/3842600
282.46/280.99	c cleaning 14028 clauses out of 28062 with flag 241781/3857600
282.86/281.36	c cleaning 15009 clauses out of 30034 with flag 277855/3873600
283.26/281.75	c cleaning 16011 clauses out of 32026 with flag 315268/3890601
283.67/282.18	c cleaning 17001 clauses out of 34014 with flag 354833/3908600
284.16/282.62	c cleaning 18002 clauses out of 36015 with flag 397172/3927602
284.67/283.11	c cleaning 19001 clauses out of 38011 with flag 441336/3947600
284.96/283.47	c cleaning 20000 clauses out of 40011 with flag 485673/3968601
285.36/283.84	c cleaning 21003 clauses out of 42011 with flag 535215/3990601
285.76/284.29	c cleaning 21999 clauses out of 44008 with flag 584526/4013601
286.26/284.72	c cleaning 23000 clauses out of 46009 with flag 638363/4037601
286.66/285.19	c cleaning 24003 clauses out of 48010 with flag 692550/4062602
287.15/285.67	c cleaning 25001 clauses out of 50005 with flag 751746/4088600
287.66/286.17	c cleaning 25994 clauses out of 52004 with flag 814652/4115600
288.15/286.68	c cleaning 26999 clauses out of 54010 with flag 878016/4143600
288.75/287.22	c cleaning 27995 clauses out of 56011 with flag 941073/4172600
289.35/287.83	c cleaning 29007 clauses out of 58017 with flag 1009990/4202601
289.95/288.41	c cleaning 30002 clauses out of 60009 with flag 1080649/4233600
290.55/289.07	c cleaning 30999 clauses out of 62007 with flag 1160080/4265600
291.24/289.75	c cleaning 32003 clauses out of 64008 with flag 1234099/4298600
291.94/290.47	c cleaning 33001 clauses out of 66005 with flag 1313837/4332600
292.74/291.25	c cleaning 34001 clauses out of 68005 with flag 1397495/4367601
293.57/292.04	c cleaning 34999 clauses out of 70003 with flag 1482489/4403600
294.37/292.83	c cleaning 36002 clauses out of 72004 with flag 1563681/4440600
295.17/293.62	c cleaning 36998 clauses out of 74002 with flag 1647134/4478600
296.06/294.50	c cleaning 38001 clauses out of 76004 with flag 1737657/4517600
296.86/295.37	c cleaning 38995 clauses out of 78004 with flag 1831301/4557601
297.76/296.24	c cleaning 39999 clauses out of 80009 with flag 1927418/4598601
298.67/297.18	c cleaning 41004 clauses out of 82010 with flag 2023301/4640601
299.66/298.15	c cleaning 42000 clauses out of 84005 with flag 2116401/4683600
300.56/299.09	c cleaning 43000 clauses out of 86005 with flag 2211240/4727600
301.56/300.08	c cleaning 44003 clauses out of 88005 with flag 2313666/4772600
302.66/301.18	c cleaning 44999 clauses out of 90002 with flag 2423592/4818600
303.85/302.34	c cleaning 45998 clauses out of 92004 with flag 2536947/4865601
308.74/307.21	c cleaning 46993 clauses out of 94006 with flag 2689074/4913601
310.14/308.64	c cleaning 48005 clauses out of 96012 with flag 2801626/4962600
311.84/310.36	c cleaning 48992 clauses out of 98007 with flag 2915860/5012600
313.54/312.05	c cleaning 50001 clauses out of 100016 with flag 3033992/5063601
315.23/313.70	c cleaning 51003 clauses out of 102015 with flag 3153138/5115601
316.83/315.35	c cleaning 51997 clauses out of 104014 with flag 3276493/5168603
318.63/317.11	c cleaning 52993 clauses out of 106014 with flag 3400387/5222600
320.32/318.80	c cleaning 54007 clauses out of 108023 with flag 3529253/5277602
321.91/320.49	c cleaning 55001 clauses out of 110015 with flag 3657873/5333601
324.21/322.71	c cleaning 56002 clauses out of 112014 with flag 3782376/5390601
326.21/324.78	c cleaning 56998 clauses out of 114012 with flag 3907871/5448601
328.40/326.98	c cleaning 57996 clauses out of 116013 with flag 4033350/5507600
331.07/329.53	c cleaning 59000 clauses out of 118019 with flag 4160339/5567602
333.58/332.02	c cleaning 59995 clauses out of 120018 with flag 4295723/5628601
336.27/334.71	c cleaning 60996 clauses out of 122022 with flag 4435682/5690600
338.77/337.29	c cleaning 61998 clauses out of 124026 with flag 4571316/5753600
341.76/340.20	c cleaning 63002 clauses out of 126028 with flag 4715960/5817600
344.25/342.79	c cleaning 64005 clauses out of 128027 with flag 4859804/5882601
346.75/345.28	c cleaning 65002 clauses out of 130022 with flag 5002288/5948601
349.55/348.04	c cleaning 66004 clauses out of 132019 with flag 5148363/6015600
352.14/350.66	c cleaning 66999 clauses out of 134016 with flag 5293911/6083601
355.13/353.64	c cleaning 67999 clauses out of 136017 with flag 5448918/6152601
358.12/356.66	c cleaning 69000 clauses out of 138017 with flag 5604667/6222600
360.83/359.37	c cleaning 69997 clauses out of 140017 with flag 5761885/6293600
363.63/362.10	c cleaning 71000 clauses out of 142022 with flag 5919092/6365602
366.42/364.90	c cleaning 72002 clauses out of 144021 with flag 6077858/6438601
369.91/368.49	c cleaning 72998 clauses out of 146019 with flag 6248110/6512601
373.20/371.78	c cleaning 73996 clauses out of 148022 with flag 6423497/6587602
376.98/375.22	c cleaning 75001 clauses out of 150025 with flag 6589541/6663601
380.17/378.49	c cleaning 76004 clauses out of 152025 with flag 6768286/6740602
384.16/382.45	c cleaning 76998 clauses out of 154019 with flag 6955472/6818600
386.86/385.12	c cleaning 77996 clauses out of 156022 with flag 7143160/6897601
389.35/387.66	c cleaning 78995 clauses out of 158025 with flag 7335774/6977600
392.24/390.59	c cleaning 80001 clauses out of 160030 with flag 7528552/7058600
395.74/394.06	c cleaning 80994 clauses out of 162029 with flag 7720653/7140600
398.84/397.13	c cleaning 82004 clauses out of 164035 with flag 7905326/7223600
401.83/400.15	c cleaning 83001 clauses out of 166031 with flag 8105097/7307600
405.02/403.34	c cleaning 84008 clauses out of 168033 with flag 8289529/7392603
408.82/407.17	c cleaning 84999 clauses out of 170022 with flag 8473826/7478600
412.28/410.57	c cleaning 86001 clauses out of 172023 with flag 8657811/7565600
415.78/414.09	c cleaning 87007 clauses out of 174023 with flag 8843286/7653601
419.17/417.40	c cleaning 87998 clauses out of 176016 with flag 9034747/7742601
422.26/420.56	c cleaning 89003 clauses out of 178017 with flag 9234148/7832600
425.86/424.13	c cleaning 90001 clauses out of 180014 with flag 9429883/7923600
429.94/428.25	c cleaning 90996 clauses out of 182013 with flag 9641400/8015600
434.23/432.52	c cleaning 92002 clauses out of 184017 with flag 9847037/8108600
445.41/443.77	c cleaning 93002 clauses out of 186016 with flag 10159296/8202601
450.60/448.98	c cleaning 94001 clauses out of 188013 with flag 10408636/8297600
458.59/456.90	c cleaning 94999 clauses out of 190014 with flag 10701994/8393602
461.69/460.02	c cleaning 96000 clauses out of 192014 with flag 10915328/8490601
466.58/464.85	c cleaning 97007 clauses out of 194013 with flag 11174073/8588600
473.88/472.13	c cleaning 98004 clauses out of 196007 with flag 11462295/8687601
476.27/474.54	c cleaning 98997 clauses out of 198003 with flag 11689825/8787601
479.46/477.78	c cleaning 99995 clauses out of 200005 with flag 11937336/8888600
482.25/480.56	c cleaning 101004 clauses out of 202011 with flag 12195719/8990601
485.24/483.53	c cleaning 101999 clauses out of 204007 with flag 12456548/9093601
488.21/486.51	c cleaning 102995 clauses out of 206007 with flag 12717103/9197600
491.20/489.59	c cleaning 104000 clauses out of 208013 with flag 12966393/9302601
510.78/509.10	c cleaning 105006 clauses out of 210015 with flag 13418163/9408603
530.77/529.05	c cleaning 105998 clauses out of 212007 with flag 13891838/9515601
534.96/533.27	c cleaning 106997 clauses out of 214008 with flag 14155424/9623600
538.86/537.10	c cleaning 107999 clauses out of 216011 with flag 14497438/9732600
542.65/540.93	c cleaning 109000 clauses out of 218012 with flag 14844417/9842600
546.54/544.85	c cleaning 110000 clauses out of 220012 with flag 15206312/9953600
550.74/549.04	c cleaning 110995 clauses out of 222012 with flag 15551110/10065600
555.20/553.42	c cleaning 111996 clauses out of 224017 with flag 15926406/10178600
559.57/557.86	c cleaning 113010 clauses out of 226021 with flag 16306064/10292600
566.70/565.03	c cleaning 113996 clauses out of 228013 with flag 16726439/10407602
573.05/571.46	c cleaning 114997 clauses out of 230016 with flag 17025332/10523601
577.31/575.76	c cleaning 116003 clauses out of 232020 with flag 17288916/10640602
583.16/581.70	c cleaning 117004 clauses out of 234015 with flag 17565116/10758600
587.92/586.45	c cleaning 117996 clauses out of 236012 with flag 17828872/10877601
593.27/591.80	c cleaning 119001 clauses out of 238015 with flag 18094856/10997600
598.42/596.95	c cleaning 120002 clauses out of 240016 with flag 18370297/11118602
603.91/602.47	c cleaning 121001 clauses out of 242014 with flag 18641716/11240602
610.40/608.93	c cleaning 121997 clauses out of 244012 with flag 18912040/11363601
616.79/615.31	c cleaning 123002 clauses out of 246014 with flag 19185425/11487600
622.88/621.40	c cleaning 124002 clauses out of 248014 with flag 19466791/11612602
629.07/627.68	c cleaning 125001 clauses out of 250010 with flag 19749399/11738600
634.76/633.37	c cleaning 125999 clauses out of 252010 with flag 20036572/11865601
648.26/646.71	c cleaning 127000 clauses out of 254010 with flag 20436278/11993600
718.01/716.65	c cleaning 127998 clauses out of 256011 with flag 21350542/12122601
906.71/905.73	c cleaning 129006 clauses out of 258014 with flag 23161398/12252602
931.36/930.44	c cleaning 129997 clauses out of 260006 with flag 23677106/12383600
935.75/934.80	c cleaning 130998 clauses out of 262011 with flag 23967534/12515602
940.14/939.08	c cleaning 131998 clauses out of 264011 with flag 24263132/12648600
944.82/943.71	c cleaning 132998 clauses out of 266013 with flag 24556884/12782600
973.75/972.70	c cleaning 134003 clauses out of 268017 with flag 25121592/12917602
1006.10/1005.16	c cleaning 134995 clauses out of 270013 with flag 25706505/13053601
1013.31/1011.91	c cleaning 136002 clauses out of 272017 with flag 26008041/13190600
1019.80/1018.46	c cleaning 137000 clauses out of 274017 with flag 26308202/13328602
1025.98/1024.63	c cleaning 138003 clauses out of 276015 with flag 26605530/13467600
1032.08/1030.72	c cleaning 139004 clauses out of 278015 with flag 26907335/13607603
1040.06/1038.78	c cleaning 139997 clauses out of 280008 with flag 27208474/13748600
1045.81/1044.46	c cleaning 140995 clauses out of 282011 with flag 27514071/13890600
1052.09/1050.70	c cleaning 142007 clauses out of 284017 with flag 27826090/14033601
1059.87/1058.50	c cleaning 142998 clauses out of 286009 with flag 28147731/14177600
1067.25/1065.95	c cleaning 143999 clauses out of 288013 with flag 28473853/14322602
1074.74/1073.42	c cleaning 145000 clauses out of 290012 with flag 28803711/14468600
1081.53/1080.26	c cleaning 145997 clauses out of 292013 with flag 29133817/14615601
1089.01/1087.60	c cleaning 147004 clauses out of 294015 with flag 29467012/14763600
1096.74/1095.40	c cleaning 148001 clauses out of 296011 with flag 29807182/14912600
1103.88/1102.62	c cleaning 148998 clauses out of 298010 with flag 30146638/15062600
1110.62/1109.40	c cleaning 150005 clauses out of 300014 with flag 30488748/15213602
1117.47/1116.38	c cleaning 150998 clauses out of 302007 with flag 30826585/15365600
1125.99/1124.97	c cleaning 152000 clauses out of 304009 with flag 31163714/15518600
1137.59/1136.67	c cleaning 152994 clauses out of 306010 with flag 31500680/15672601
1146.49/1145.58	c cleaning 153999 clauses out of 308015 with flag 31834718/15827600
1156.71/1155.89	c cleaning 155005 clauses out of 310018 with flag 32172798/15983602
1165.23/1164.47	c cleaning 156002 clauses out of 312014 with flag 32515357/16140603
1173.65/1172.99	c cleaning 156997 clauses out of 314010 with flag 32871471/16298601
1181.48/1180.87	c cleaning 158006 clauses out of 316014 with flag 33231100/16457602
1189.21/1188.64	c cleaning 158995 clauses out of 318007 with flag 33593026/16617601
1198.13/1197.63	c cleaning 159997 clauses out of 320012 with flag 33953253/16778601
1206.96/1206.57	c cleaning 161003 clauses out of 322015 with flag 34323794/16940601
1214.73/1214.33	c cleaning 161997 clauses out of 324011 with flag 34695295/17103600
1223.95/1223.63	c cleaning 163001 clauses out of 326015 with flag 35071956/17267601
1232.57/1232.30	c cleaning 164001 clauses out of 328013 with flag 35453076/17432600
1242.79/1242.64	c cleaning 165004 clauses out of 330014 with flag 35828482/17598602
1254.49/1254.46	c cleaning 166002 clauses out of 332009 with flag 36214318/17765601
1265.20/1265.27	c cleaning 166993 clauses out of 334006 with flag 36604598/17933600
1273.33/1273.43	c cleaning 168002 clauses out of 336014 with flag 37001099/18102601
1282.65/1282.87	c cleaning 169002 clauses out of 338011 with flag 37376621/18272600
1292.07/1292.32	c cleaning 170000 clauses out of 340012 with flag 37773536/18443603
1302.12/1302.37	c cleaning 171002 clauses out of 342010 with flag 38169433/18615601
1314.12/1314.44	c cleaning 172003 clauses out of 344007 with flag 38564064/18788600
1323.94/1324.33	c cleaning 172995 clauses out of 346004 with flag 38971604/18962600
1333.85/1334.36	c cleaning 174000 clauses out of 348009 with flag 39384732/19137600
1343.96/1344.58	c cleaning 175000 clauses out of 350009 with flag 39798003/19313600
1355.14/1355.79	c cleaning 176004 clauses out of 352010 with flag 40213380/19490601
1365.44/1366.15	c cleaning 176996 clauses out of 354005 with flag 40631060/19668600
1378.61/1379.46	c cleaning 178000 clauses out of 356009 with flag 41049588/19847600
1388.42/1389.39	c cleaning 179001 clauses out of 358010 with flag 41516824/20027601
1399.13/1400.13	c cleaning 179997 clauses out of 360008 with flag 41982485/20208600
1408.84/1409.96	c cleaning 180996 clauses out of 362012 with flag 42452236/20390601
1419.04/1420.26	c cleaning 181999 clauses out of 364015 with flag 42889800/20573600
1430.21/1431.03	c cleaning 182999 clauses out of 366017 with flag 43324890/20757601
1439.29/1440.10	c cleaning 184001 clauses out of 368017 with flag 43768286/20942600
1450.66/1451.56	c cleaning 184997 clauses out of 370016 with flag 44211998/21128600
1461.54/1462.40	c cleaning 186005 clauses out of 372020 with flag 44662987/21315601
1472.73/1473.67	c cleaning 186999 clauses out of 374014 with flag 45118391/21503600
1484.80/1485.75	c cleaning 188000 clauses out of 376015 with flag 45574150/21692600
1494.93/1495.80	c cleaning 188998 clauses out of 378017 with flag 46023943/21882602
1507.90/1508.84	c cleaning 190001 clauses out of 380017 with flag 46475500/22073600
1519.09/1520.03	c cleaning 191003 clauses out of 382016 with flag 46923452/22265600
1530.66/1531.63	c cleaning 192001 clauses out of 384013 with flag 47384121/22458600
1544.44/1545.40	c cleaning 192998 clauses out of 386014 with flag 47851059/22652602
1555.51/1556.51	c cleaning 194002 clauses out of 388014 with flag 48324208/22847600
1567.10/1568.14	c cleaning 195000 clauses out of 390013 with flag 48778854/23043601
1578.47/1579.58	c cleaning 196002 clauses out of 392014 with flag 49259992/23240602
1590.24/1591.34	c cleaning 197002 clauses out of 394011 with flag 49740821/23438601
1603.52/1604.64	c cleaning 198001 clauses out of 396010 with flag 50222861/23637602
1620.31/1621.36	c cleaning 199001 clauses out of 398008 with flag 50701664/23837601
1632.68/1633.72	c cleaning 199999 clauses out of 400007 with flag 51185355/24038601
1647.26/1648.36	c cleaning 201003 clauses out of 402008 with flag 51659573/24240601
1661.04/1662.18	c cleaning 201996 clauses out of 404004 with flag 52127436/24443600
1673.30/1674.44	c cleaning 202997 clauses out of 406010 with flag 52623711/24647602
1686.76/1687.91	c cleaning 204000 clauses out of 408011 with flag 53123878/24852600
1700.14/1701.34	c cleaning 204998 clauses out of 410012 with flag 53616886/25058601
1713.01/1714.26	c cleaning 206006 clauses out of 412014 with flag 54123756/25265601
1727.75/1728.98	c cleaning 206999 clauses out of 414008 with flag 54610051/25473601
1740.42/1741.61	c cleaning 208001 clauses out of 416008 with flag 55089437/25682600
1754.29/1755.56	c cleaning 209001 clauses out of 418008 with flag 55565480/25892601
1768.46/1769.78	c cleaning 209998 clauses out of 420009 with flag 56036705/26103603
1780.33/1781.68	c cleaning 211001 clauses out of 422008 with flag 56537051/26315600
1793.00/1794.32	c cleaning 211991 clauses out of 424007 with flag 57069072/26528600
1803.27/1804.65	c cleaning 213003 clauses out of 426016 with flag 57625072/26742600
1816.14/1817.53	c cleaning 213999 clauses out of 428013 with flag 58158287/26957600
1827.52/1828.99	c cleaning 214999 clauses out of 430015 with flag 58691801/27173601
1841.93/1843.26	c cleaning 216003 clauses out of 432016 with flag 59207937/27390601
1856.50/1857.82	c cleaning 217004 clauses out of 434012 with flag 59737997/27608600
1869.79/1871.19	c cleaning 218001 clauses out of 436008 with flag 60274104/27827600
1884.66/1886.01	c cleaning 218999 clauses out of 438007 with flag 60803429/28047600
1898.52/1899.93	c cleaning 220000 clauses out of 440008 with flag 61333917/28268600
1911.80/1913.22	c cleaning 221001 clauses out of 442010 with flag 61864697/28490602
1927.26/1928.19	c cleaning 222004 clauses out of 444008 with flag 62380683/28713601
1940.63/1941.59	c cleaning 222996 clauses out of 446003 with flag 62945133/28937600
1955.89/1956.81	c cleaning 224000 clauses out of 448009 with flag 63485393/29162602
1967.57/1968.50	c cleaning 225000 clauses out of 450007 with flag 64058111/29388600
1982.16/1983.15	c cleaning 226000 clauses out of 452009 with flag 64591079/29615602
1996.03/1997.00	c cleaning 226997 clauses out of 454008 with flag 65148945/29843601
2010.89/2011.91	c cleaning 228008 clauses out of 456015 with flag 65680643/30072605
2029.85/2030.97	c cleaning 228995 clauses out of 458003 with flag 66209955/30302601
2042.82/2043.92	c cleaning 229995 clauses out of 460007 with flag 66806146/30533600
2057.57/2058.77	c cleaning 231001 clauses out of 462012 with flag 67364692/30765600
2072.24/2073.47	c cleaning 232002 clauses out of 464011 with flag 67922641/30998600
2089.82/2091.09	c cleaning 232999 clauses out of 466010 with flag 68484163/31232601
2107.28/2108.55	c cleaning 233995 clauses out of 468010 with flag 69056783/31467600
2126.45/2127.75	c cleaning 235004 clauses out of 470016 with flag 69640273/31703601
2143.22/2144.57	c cleaning 235998 clauses out of 472011 with flag 70283007/31940600
2161.74/2162.92	c cleaning 237000 clauses out of 474013 with flag 70916985/32178600
2178.10/2179.36	c cleaning 237996 clauses out of 476014 with flag 71552330/32417601
2193.07/2194.37	c cleaning 239004 clauses out of 478018 with flag 72151213/32657601
2208.35/2209.64	c cleaning 240002 clauses out of 480015 with flag 72727290/32898602
2222.63/2223.80	c cleaning 240996 clauses out of 482011 with flag 73293188/33140600
2240.31/2241.50	c cleaning 242003 clauses out of 484015 with flag 73882943/33383600
2258.37/2259.62	c cleaning 243000 clauses out of 486012 with flag 74458421/33627600
2275.04/2276.34	c cleaning 244003 clauses out of 488012 with flag 75049256/33872600
2291.90/2293.25	c cleaning 245000 clauses out of 490009 with flag 75642738/34118600
2313.33/2314.06	c cleaning 245999 clauses out of 492009 with flag 76249017/34365600
2330.08/2330.91	c cleaning 246997 clauses out of 494011 with flag 76843438/34613601
2350.69/2351.79	c cleaning 247992 clauses out of 496013 with flag 77470509/34862600
2371.00/2372.29	c cleaning 249000 clauses out of 498021 with flag 78100783/35112600
2386.46/2387.84	c cleaning 250003 clauses out of 500022 with flag 78797742/35363601
2402.29/2403.73	c cleaning 251004 clauses out of 502020 with flag 79496660/35615602
2420.82/2422.44	c cleaning 252005 clauses out of 504015 with flag 80174498/35868601
2432.91/2434.65	c cleaning 252992 clauses out of 506010 with flag 80837036/36122601
2449.85/2451.79	c cleaning 253999 clauses out of 508017 with flag 81526331/36377600
2466.61/2468.70	c cleaning 254999 clauses out of 510018 with flag 82233545/36633600
2480.48/2482.60	c cleaning 255998 clauses out of 512020 with flag 82945041/36890601
2497.06/2499.21	c cleaning 257010 clauses out of 514022 with flag 83633427/37148601
2512.14/2514.31	c cleaning 258004 clauses out of 516011 with flag 84348386/37407600
2526.51/2528.78	c cleaning 258997 clauses out of 518008 with flag 85077479/37667601
2540.79/2543.06	c cleaning 259998 clauses out of 520011 with flag 85810712/37928601
2555.76/2558.09	c cleaning 261000 clauses out of 522012 with flag 86547972/38190600
2572.73/2575.04	c cleaning 262006 clauses out of 524013 with flag 87289331/38453601
2590.89/2593.29	c cleaning 263001 clauses out of 526007 with flag 88025155/38717601
2606.67/2609.03	c cleaning 263999 clauses out of 528005 with flag 88769705/38982600
2629.04/2631.34	c cleaning 265000 clauses out of 530007 with flag 89461365/39248601
2649.81/2652.17	c cleaning 265996 clauses out of 532007 with flag 90138786/39515601
2669.67/2672.03	c cleaning 266996 clauses out of 534010 with flag 90844324/39783600
2687.53/2689.97	c cleaning 268001 clauses out of 536015 with flag 91607937/40052601
2707.08/2709.51	c cleaning 269006 clauses out of 538013 with flag 92375094/40322600
2722.94/2725.41	c cleaning 269995 clauses out of 540007 with flag 93036929/40593600
2738.62/2741.18	c cleaning 271004 clauses out of 542013 with flag 93707752/40865601
2757.00/2759.49	c cleaning 272000 clauses out of 544008 with flag 94371370/41138600
2771.68/2774.13	c cleaning 272999 clauses out of 546008 with flag 95026836/41412600
2783.85/2786.39	c cleaning 273997 clauses out of 548010 with flag 95688273/41687601
2818.97/2821.50	c cleaning 274997 clauses out of 550012 with flag 96505630/41963600
2833.74/2836.33	c cleaning 275994 clauses out of 552016 with flag 97158625/42240601
2905.18/2907.70	c cleaning 277006 clauses out of 554021 with flag 98153527/42518600
3344.74/3348.21	c cleaning 278000 clauses out of 556016 with flag 100915287/42797601
3600.03/3604.03	c starts		: 10572
3600.03/3604.03	c conflicts		: 42967644
3600.03/3604.03	c decisions		: 49672753
3600.03/3604.03	c propagations		: 568630475
3600.03/3604.03	c inspects		: 34445929582
3600.03/3604.03	c shortcuts		: 0
3600.03/3604.03	c learnt literals	: 0
3600.03/3604.03	c learnt binary clauses	: 3
3600.03/3604.03	c learnt ternary clauses	: 58
3600.03/3604.03	c learnt constraints	: 42967644
3600.03/3604.03	c ignored constraints	: 0
3600.03/3604.03	c root simplifications	: 0
3600.03/3604.03	c removed literals (reason simplification)	: 0
3600.03/3604.03	c reason swapping (by a shorter reason)	: 0
3600.03/3604.03	c Calls to reduceDB	: 411
3600.03/3604.03	c Number of update (reduction) of LBD	: 2525472
3600.03/3604.03	c Imported unit clauses	: 0
3600.03/3604.03	c No decision after first conflict	: false
3600.03/3604.03	c number of reductions to clauses (during analyze)	: 0
3600.03/3604.03	c number of learned constraints concerned by reduction	: 0
3600.03/3604.03	c number of learning phase by resolution	: 0
3600.03/3604.03	c number of learning phase by cutting planes	: 0
3600.03/3604.03	c number of rounding to 1 operations	: 0
3600.03/3604.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3604.03	c number of reductions of the coefficients by power 2 	: 0
3600.03/3604.03	c number of right shift for reduction by power 2 	: 0
3600.03/3604.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3604.03	c number of ending skipping 	: 0
3600.03/3604.03	c number of internal skipping 	: 0
3600.03/3604.03	c number of derivation steps 	: 0
3600.03/3604.04	c number of skipped derivation steps 	: 0
3600.03/3604.04	c number of remaining unassigned 	: 0
3600.03/3604.04	c number of remaining assigned 	: 0
3600.03/3604.04	c number of falsified literals weakened from reason	: 0
3600.03/3604.04	c number of falsified literals weakened from conflict	: 0
3600.03/3604.04	c time for arithmetic operations	: 0
3600.03/3604.04	c minimum degree of deleted constraints	: null
3600.03/3604.05	c maximum degree of deleted constraints	: null
3600.03/3604.05	c number of deleted constraints	: 0
3600.03/3604.05	c speed (assignments/second)	: 157786.18232290103
3600.03/3604.05	c non guided choices	: 1143
3600.24/3604.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 448056
3600.24/3604.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3
3600.24/3604.14	s SATISFIABLE
3600.24/3604.14	c Found 10 solution(s)
3600.24/3604.14	v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 x539 x540 
3600.24/3604.14	c objective function=24845
3600.24/3604.14	c Total wall clock time (in seconds): 3604.026

Verifier Data 

OK	24845

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432215-1721074053/watcher-4432215-1721074053 -o /tmp/evaluation-result-4432215-1721074053/solver-4432215-1721074053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432215-1721074053.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.32 4.24 4.18 4/303 818131
/proc/meminfo: memFree=124876984/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=18975048 memory=62792 CPUtime=0.14 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 7224 0 0 0 12 2 0 0 20 0 18 0 159568806 19430449152 15698 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4743762 15698 5605 1 0 549341 0
[pid=818096/tid=818098] ppid=818093 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 159568806 19430449152 15698 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=18975048 memory=211376406882 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159568808 19430449152 15698 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=18975048 memory=14411505886058044 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159568809 19430449152 15698 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62792 KiB

[startup+0.205676 s]*
/proc/loadavg: 4.32 4.24 4.18 7/305 818139
/proc/meminfo: memFree=124853524/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=18975048 memory=83928 CPUtime=0.34 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 8678 0 0 0 31 3 0 0 20 0 18 0 159568806 19430449152 20982 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4743762 20982 5851 1 0 550240 0
[pid=818096/tid=818098] ppid=818093 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 5935 0 0 0 17 2 0 0 20 0 18 0 159568806 19430449152 20982 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=18975048 memory=1623 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159568808 19430449152 20982 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159568809 19430449152 20982 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83928 KiB

[startup+0.30681 s]*
/proc/loadavg: 4.32 4.24 4.18 9/327 818164
/proc/meminfo: memFree=124809472/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19041612 memory=88992 CPUtime=0.51 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 9437 0 0 0 48 3 0 0 20 0 19 0 159568806 19498610688 22248 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4760403 22248 5889 1 0 551065 0
[pid=818096/tid=818098] ppid=818093 vsize=19041612 memory=-9032366407720215228 CPUtime=0.26 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 6059 0 0 0 24 2 0 0 20 0 19 0 159568806 19498610688 22248 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159568808 19498610688 22248 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159568809 19498610688 22248 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159568830 19498610688 22248 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88992 KiB

[startup+0.70981 s]
/proc/loadavg: 4.32 4.24 4.18 7/327 818164
/proc/meminfo: memFree=124735200/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19041612 memory=105540 CPUtime=1.29 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 12602 0 0 0 125 4 0 0 20 0 19 0 159568806 19498610688 26385 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4760403 26385 5905 1 0 553003 0
[pid=818096/tid=818098] ppid=818093 vsize=19041612 memory=40860 CPUtime=0.64 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 6064 0 0 0 62 2 0 0 20 0 19 0 159568806 19498610688 26385 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159568808 19498610688 26385 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159568809 19498610688 26385 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159568830 19498610688 26385 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105540 KiB

[startup+1.50081 s]
/proc/loadavg: 4.32 4.24 4.18 7/329 818166
/proc/meminfo: memFree=124656796/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19041612 memory=114300 CPUtime=2.34 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 14091 0 0 0 230 4 0 0 20 0 19 0 159568806 19498610688 28575 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4760403 28575 5905 1 0 553084 0
[pid=818096/tid=818098] ppid=818093 vsize=19041612 memory=12292 CPUtime=1.42 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 6248 0 0 0 140 2 0 0 20 0 19 0 159568806 19498610688 28575 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159568808 19498610688 28575 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159568809 19498610688 28575 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19041612 memory=3513682681722778 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159568830 19498610688 28575 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114300 KiB

[startup+3.10581 s]
/proc/loadavg: 4.62 4.31 4.21 5/329 818166
/proc/meminfo: memFree=124599992/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19041612 memory=153308 CPUtime=4.07 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 16343 0 0 0 402 5 0 0 20 0 19 0 159568806 19498610688 38327 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4760403 38327 5905 1 0 553087 0
[pid=818096/tid=818098] ppid=818093 vsize=19041612 memory=105540 CPUtime=3.01 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 6763 0 0 0 298 3 0 0 20 0 19 0 159568806 19498610688 38327 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19041612 memory=-8958902538310361788 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159568808 19498610688 38327 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159568809 19498610688 38327 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159568830 19498610688 38327 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153308 KiB

[startup+6.30026 s]
/proc/loadavg: 4.62 4.31 4.21 5/330 818169
/proc/meminfo: memFree=124521640/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=181116 CPUtime=7.31 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 17899 0 0 0 725 6 0 0 20 0 20 0 159568806 19566772224 45279 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 45279 5914 1 0 553379 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=12292 CPUtime=6.17 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 7071 0 0 0 614 3 0 0 20 0 20 0 159568806 19566772224 45279 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 45279 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 45279 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=116356 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 45279 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181116 KiB

[startup+12.7003 s]
/proc/loadavg: 4.60 4.31 4.21 5/330 818237
/proc/meminfo: memFree=126403400/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=189728 CPUtime=13.84 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 25205 0 0 0 1376 8 0 0 20 0 20 0 159568806 19566772224 47432 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 47432 5930 1 0 553379 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=0 CPUtime=12.54 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 8393 0 0 0 1250 4 0 0 20 0 20 0 159568806 19566772224 47432 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=189728 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 47432 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=-8958902538310361788 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 47432 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=-8889094545062863548 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 47432 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189728 KiB

[startup+25.5008 s]
/proc/loadavg: 4.66 4.33 4.22 5/330 818240
/proc/meminfo: memFree=122966452/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=258052 CPUtime=26.68 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 28946 0 0 0 2658 10 0 0 20 0 20 0 159568806 19566772224 64513 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 64513 5930 1 0 553379 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=189728 CPUtime=25.15 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 9363 0 0 0 2511 4 0 0 20 0 20 0 159568806 19566772224 64513 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=-8889094545062863548 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 64513 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=222956 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 64513 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 64513 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 258052 KiB

[startup+51.106 s]
/proc/loadavg: 4.63 4.36 4.23 5/330 818243
/proc/meminfo: memFree=117804412/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=346376 CPUtime=52.28 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 32754 0 0 0 5216 12 0 0 20 0 20 0 159568806 19566772224 86594 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 86594 5930 1 0 553379 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=-8889094545062863548 CPUtime=50.58 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 11250 0 0 0 5054 4 0 0 20 0 20 0 159568806 19566772224 86594 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.28 4.35 5/335 820744
/proc/meminfo: memFree=120333116/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195732 CPUtime=3278.99 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 173913 0 0 0 327761 138 0 0 20 0 20 0 159568806 19566772224 548933 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548933 5930 1 0 562752 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=2195732 CPUtime=3265.39 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 65993 0 0 0 326522 17 0 0 20 0 20 0 159568806 19566772224 548933 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=5436 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548933 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=2195728 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 2889 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548933 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=2195728 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548933 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3278.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.24 4.33 5/335 820754
/proc/meminfo: memFree=119933888/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195744 CPUtime=3338.85 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 174715 0 0 0 333745 140 0 0 20 0 20 0 159568806 19566772224 548936 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548936 5930 1 0 562756 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=5436 CPUtime=3325.24 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 66612 0 0 0 332506 18 0 0 20 0 20 0 159568806 19566772224 548936 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=-9177037983022686908 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548936 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3006 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548936 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548936 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3338.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.23 4.32 5/333 820768
/proc/meminfo: memFree=119728036/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195764 CPUtime=3398.73 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 175940 0 0 0 339731 142 0 0 20 0 20 0 159568806 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548941 5930 1 0 562760 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=2195740 CPUtime=3385.08 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 67685 0 0 0 338490 18 0 0 20 0 20 0 159568806 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=41036 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=2195764 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3094 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=41036 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3398.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.26 4.32 5/333 820778
/proc/meminfo: memFree=119011392/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195764 CPUtime=3458.61 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 176964 0 0 0 345716 145 0 0 20 0 20 0 159568806 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548941 5930 1 0 562760 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=2195740 CPUtime=3444.92 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 68527 0 0 0 344474 18 0 0 20 0 20 0 159568806 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=2195764 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=2195764 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3211 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=2195764 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548941 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3458.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195764 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.24 4.31 5/331 820789
/proc/meminfo: memFree=118430300/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195768 CPUtime=3518.49 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 178003 0 0 0 351703 146 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548942 5930 1 0 562761 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=12064 CPUtime=3504.76 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 69386 0 0 0 350458 18 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=2195764 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=41036 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3326 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=2195768 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3518.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.26 4.31 5/330 820800
/proc/meminfo: memFree=118396396/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195768 CPUtime=3578.36 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 178975 0 0 0 357688 148 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548942 5930 1 0 562761 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=2195768 CPUtime=3564.61 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 70177 0 0 0 356443 18 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=5436 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=2195768 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3443 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3578.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604 s]*
/proc/loadavg: 4.39 4.28 4.31 7/330 820940
/proc/meminfo: memFree=118951796/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19108176 memory=2195768 CPUtime=3600.03 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 179075 0 0 0 359854 149 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4777044 548942 5930 1 0 562762 0
[pid=818096/tid=818098] ppid=818093 vsize=19108176 memory=-8817029288786502332 CPUtime=3586.26 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 70269 0 0 0 358608 18 0 0 20 0 20 0 159568806 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19108176 memory=4262500 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568808 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19108176 memory=2656 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3443 0 0 0 0 0 0 0 20 0 20 0 159568809 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818154] ppid=818093 vsize=19108176 memory=4648 CPUtime=0 cores=4,6
/proc/818096/task/818154/stat : 818154 (Timer-0) S 818093 818096 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568830 19566772224 548942 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.81 s, system=1.50861 s

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

[startup+3604.12 s]
/proc/loadavg: 4.39 4.28 4.31 7/330 820940
/proc/meminfo: memFree=118951796/131524600 swapFree=131071996/131071996
[pid=818096] ppid=818093 vsize=19307868 memory=2196476 CPUtime=3600.24 cores=4,6
/proc/818096/stat : 818096 (java) S 818093 818096 815582 0 -1 1077936128 181795 0 0 0 359875 149 0 0 20 0 21 0 159568806 19771256832 549119 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
/proc/818096/statm: 4826967 549119 5929 1 0 563684 0
[pid=818096/tid=818098] ppid=818093 vsize=19307868 memory=2195768 CPUtime=3586.37 cores=4,6
/proc/818096/task/818098/stat : 818098 (java) R 818093 818096 815582 0 -1 4194368 70367 0 0 0 358619 18 0 0 20 0 21 0 159568806 19771256832 549119 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818107] ppid=818093 vsize=19307868 memory=2195768 CPUtime=0 cores=4,6
/proc/818096/task/818107/stat : 818107 (Finalizer) S 818093 818096 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159568808 19771256832 549119 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
[pid=818096/tid=818117] ppid=818093 vsize=19307868 memory=2195768 CPUtime=0 cores=4,6
/proc/818096/task/818117/stat : 818117 (Common-Cleaner) S 818093 818096 815582 0 -1 1077936192 3476 0 0 0 0 0 0 0 20 0 21 0 159568809 19771256832 549119 134679101440 94787080683520 94787080687216 140733077502720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94787080695032 94787080695824 94787086860288 140733077509127 140733077509217 140733077509217 140733077516232 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2196476 KiB

Child status: 143

Real time (s): 3604.16
CPU time (s): 3600.32
CPU user time (s): 3598.81
CPU system time (s): 1.50861
CPU usage (%): 99.8936
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2196476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.50861
maximum resident set size= 2196916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105612
involuntary context switches= 10145


# summary of solver processes directly reported to runsolver:
#   pid: 818096
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.81
#   total CPU system time (s): 1.50861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82918 second user time and 17.6479 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 22:07:46
IDJOB=4432215
IDBENCH=147022
IDSOLVER=3058
FILE ID=nodeC020/4432215-1721074053
RUNJOBID= nodeC020-1721070467-815593
SLURM_JOB_ID= 7505528
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432215-1721074053/watcher-4432215-1721074053 -o /tmp/evaluation-result-4432215-1721074053/solver-4432215-1721074053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432215-1721074053.opb

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=1660271054

nodeC020.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	: 0xb00002a
cpu MHz		: 3616.293
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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	: 0xb00002a
cpu MHz		: 3656.448
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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	: 0xb00002a
cpu MHz		: 3674.143
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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	: 0xb00002a
cpu MHz		: 3688.247
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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	: 0xb00002a
cpu MHz		: 3639.247
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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	: 0xb00002a
cpu MHz		: 3600.468
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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	: 0xb00002a
cpu MHz		: 3644.186
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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	: 0xb00002a
cpu MHz		: 3665.723
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124917176 kB
MemAvailable:   126421360 kB
Buffers:          377948 kB
Cached:          1951380 kB
SwapCached:            0 kB
Active:           605356 kB
Inactive:        5379160 kB
Active(anon):       1560 kB
Inactive(anon):  3691324 kB
Active(file):     603796 kB
Inactive(file):  1687836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2488 kB
Writeback:             0 kB
AnonPages:       3654164 kB
Mapped:           123436 kB
Shmem:             37720 kB
KReclaimable:     104752 kB
Slab:             211776 kB
SReclaimable:     104752 kB
SUnreclaim:       107024 kB
KernelStack:        4656 kB
PageTables:        16988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6099940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3403776 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-15 23:07:50