Trace number 4440269

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)356 3600.32 3688.31

General information on the benchmark

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

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.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
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.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440269-1721769063.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.14	c  objective function found
1.09/0.62	c ... done. Wall clock time 0.486s.
1.09/0.62	c declared #vars     2700
1.09/0.62	c #constraints  43070
1.09/0.62	c constraints type 
1.09/0.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1.09/0.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1.09/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
1.09/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1.09/0.63	c 43070 constraints processed.
1.09/0.64	c objective function length is 900 literals
1.47/0.89	c SATISFIABLE
1.47/0.89	c OPTIMIZING...
1.67/0.90	c Got one! Elapsed wall clock time (in seconds):0.76
1.67/0.90	o 356
3.45/1.83	c cleaning 2818 clauses out of 5635 with flag 11938/5635
4.85/2.59	c cleaning 4407 clauses out of 8816 with flag 25471/11634
6.07/3.33	c cleaning 5704 clauses out of 11408 with flag 41686/18633
6.97/4.13	c cleaning 6840 clauses out of 13706 with flag 60479/26635
7.89/4.93	c cleaning 7926 clauses out of 15865 with flag 81670/35634
8.85/5.85	c cleaning 8970 clauses out of 17939 with flag 104852/45634
9.85/6.82	c cleaning 9983 clauses out of 19968 with flag 130083/56633
11.14/7.96	c cleaning 10988 clauses out of 21985 with flag 158232/68633
12.58/9.20	c cleaning 11997 clauses out of 23997 with flag 188512/81633
13.79/10.47	c cleaning 12995 clauses out of 26000 with flag 220005/95633
15.18/11.87	c cleaning 14001 clauses out of 28006 with flag 253934/110634
16.79/13.41	c cleaning 15002 clauses out of 30004 with flag 291731/126633
18.46/15.04	c cleaning 15999 clauses out of 32002 with flag 330343/143633
20.23/16.78	c cleaning 17002 clauses out of 34004 with flag 372726/161634
22.11/18.65	c cleaning 17998 clauses out of 36001 with flag 416602/180633
24.11/20.61	c cleaning 19000 clauses out of 38003 with flag 464007/200633
26.12/22.69	c cleaning 19999 clauses out of 40004 with flag 518491/221634
28.22/24.71	c cleaning 21001 clauses out of 42004 with flag 573341/243633
30.64/27.12	c cleaning 21996 clauses out of 44003 with flag 626097/266633
33.03/29.54	c cleaning 23001 clauses out of 46008 with flag 682717/290634
35.78/32.51	c cleaning 23998 clauses out of 48006 with flag 740394/315633
38.58/35.37	c cleaning 25005 clauses out of 50009 with flag 804462/341634
41.49/38.27	c cleaning 25995 clauses out of 52003 with flag 872891/368633
44.69/41.46	c cleaning 27000 clauses out of 54010 with flag 943811/396635
47.98/44.78	c cleaning 28000 clauses out of 56008 with flag 1012500/425633
51.40/48.12	c cleaning 29002 clauses out of 58008 with flag 1088033/455633
54.59/51.32	c cleaning 30000 clauses out of 60007 with flag 1163357/486634
57.89/54.63	c cleaning 30998 clauses out of 62007 with flag 1237026/518634
61.39/58.12	c cleaning 32001 clauses out of 64010 with flag 1313401/551635
65.30/61.92	c cleaning 32994 clauses out of 66007 with flag 1392990/585633
69.29/78.05	c cleaning 34007 clauses out of 68013 with flag 1475416/620633
73.00/81.77	c cleaning 35000 clauses out of 70007 with flag 1562254/656634
76.82/85.57	c cleaning 35995 clauses out of 72006 with flag 1652660/693633
80.71/89.47	c cleaning 37004 clauses out of 74012 with flag 1746546/731634
84.62/93.30	c cleaning 37987 clauses out of 76008 with flag 1843026/770634
88.41/97.19	c cleaning 39000 clauses out of 78020 with flag 1940402/810633
92.72/101.45	c cleaning 40005 clauses out of 80020 with flag 2040135/851633
97.04/106.25	c cleaning 41004 clauses out of 82015 with flag 2145300/893633
101.75/110.97	c cleaning 42006 clauses out of 84012 with flag 2252877/936634
106.57/115.74	c cleaning 42997 clauses out of 86005 with flag 2363745/980633
111.18/120.39	c cleaning 43995 clauses out of 88008 with flag 2475724/1025633
116.39/125.50	c cleaning 45004 clauses out of 90014 with flag 2591222/1071634
121.88/131.08	c cleaning 45988 clauses out of 92009 with flag 2708397/1118633
126.91/136.48	c cleaning 47000 clauses out of 94021 with flag 2829931/1166633
132.22/141.77	c cleaning 48006 clauses out of 96022 with flag 2952489/1215634
138.00/147.50	c cleaning 48999 clauses out of 98015 with flag 3078975/1265633
144.12/153.60	c cleaning 50007 clauses out of 100019 with flag 3207717/1316636
149.98/159.48	c cleaning 51005 clauses out of 102009 with flag 3337625/1368633
156.10/166.28	c cleaning 52001 clauses out of 104004 with flag 3474579/1421633
162.71/172.83	c cleaning 53000 clauses out of 106003 with flag 3614067/1475633
169.43/179.52	c cleaning 53994 clauses out of 108004 with flag 3756574/1530634
176.29/186.39	c cleaning 55000 clauses out of 110011 with flag 3896647/1586635
183.63/193.64	c cleaning 56001 clauses out of 112009 with flag 4043418/1643633
191.13/201.62	c cleaning 57005 clauses out of 114009 with flag 4195498/1701634
198.44/208.98	c cleaning 57996 clauses out of 116004 with flag 4350253/1760634
206.48/217.00	c cleaning 58997 clauses out of 118007 with flag 4501780/1820633
214.73/225.16	c cleaning 59998 clauses out of 120010 with flag 4659472/1881633
223.12/235.21	c cleaning 61003 clauses out of 122013 with flag 4822867/1943634
231.16/243.29	c cleaning 62003 clauses out of 124011 with flag 4993011/2006635
240.48/252.50	c cleaning 63000 clauses out of 126006 with flag 5154931/2070633
249.69/261.83	c cleaning 63993 clauses out of 128007 with flag 5328372/2135634
259.43/271.54	c cleaning 65006 clauses out of 130014 with flag 5500223/2201634
269.67/281.77	c cleaning 65997 clauses out of 132008 with flag 5685351/2268634
279.46/291.66	c cleaning 67000 clauses out of 134011 with flag 5876355/2336634
290.09/302.23	c cleaning 68004 clauses out of 136010 with flag 6055238/2405633
299.72/311.82	c cleaning 68995 clauses out of 138006 with flag 6239366/2475633
307.83/321.29	c cleaning 69997 clauses out of 140011 with flag 6432283/2546633
316.12/329.49	c cleaning 70993 clauses out of 142014 with flag 6615676/2618633
325.24/338.58	c cleaning 72006 clauses out of 144022 with flag 6801614/2691634
334.58/347.86	c cleaning 73005 clauses out of 146016 with flag 6991298/2765634
344.05/359.79	c cleaning 73998 clauses out of 148010 with flag 7180101/2840633
353.51/369.19	c cleaning 75001 clauses out of 150012 with flag 7386727/2916633
363.28/378.88	c cleaning 75999 clauses out of 152012 with flag 7598413/2993634
373.30/389.72	c cleaning 77005 clauses out of 154012 with flag 7810733/3071633
382.87/399.25	c cleaning 77989 clauses out of 156008 with flag 8026833/3150634
392.82/409.18	c cleaning 79010 clauses out of 158020 with flag 8234350/3230635
403.04/420.17	c cleaning 79998 clauses out of 160008 with flag 8451926/3311633
414.46/431.58	c cleaning 80997 clauses out of 162011 with flag 8683840/3393634
426.14/443.16	c cleaning 81997 clauses out of 164014 with flag 8913504/3476634
437.99/455.58	c cleaning 82994 clauses out of 166017 with flag 9146991/3560634
449.40/466.95	c cleaning 84005 clauses out of 168022 with flag 9385087/3645633
460.15/478.39	c cleaning 85004 clauses out of 170017 with flag 9610506/3731633
472.20/490.37	c cleaning 86004 clauses out of 172015 with flag 9835129/3818635
484.67/502.74	c cleaning 87000 clauses out of 174010 with flag 10084902/3906634
495.91/514.91	c cleaning 87988 clauses out of 176009 with flag 10320397/3995633
509.04/528.00	c cleaning 89006 clauses out of 178021 with flag 10565393/4085633
522.08/541.06	c cleaning 90007 clauses out of 180016 with flag 10804653/4176634
535.32/554.20	c cleaning 90995 clauses out of 182008 with flag 11047161/4268633
548.08/566.65	c cleaning 92003 clauses out of 184013 with flag 11289313/4361633
561.94/581.36	c cleaning 92997 clauses out of 186010 with flag 11549896/4455633
573.96/593.27	c cleaning 93998 clauses out of 188013 with flag 11788344/4550633
586.56/607.24	c cleaning 94994 clauses out of 190016 with flag 12024632/4646634
598.60/619.22	c cleaning 96005 clauses out of 192021 with flag 12257816/4743633
611.92/633.70	c cleaning 97001 clauses out of 194016 with flag 12501584/4841633
626.59/648.49	c cleaning 97998 clauses out of 196015 with flag 12752682/4940633
642.51/665.47	c cleaning 99006 clauses out of 198017 with flag 13013067/5040633
657.64/680.45	c cleaning 100000 clauses out of 200011 with flag 13304781/5141633
673.36/697.44	c cleaning 100997 clauses out of 202011 with flag 13604843/5243633
688.20/712.32	c cleaning 101997 clauses out of 204016 with flag 13909326/5346635
701.77/726.98	c cleaning 103001 clauses out of 206017 with flag 14204873/5450633
715.20/740.34	c cleaning 104005 clauses out of 208016 with flag 14508682/5555633
729.72/755.45	c cleaning 104998 clauses out of 210012 with flag 14808894/5661634
743.97/769.66	c cleaning 106002 clauses out of 212013 with flag 15115263/5768633
759.06/785.18	c cleaning 106995 clauses out of 214011 with flag 15434416/5876633
773.94/800.11	c cleaning 108005 clauses out of 216016 with flag 15762925/5985633
789.06/815.99	c cleaning 109001 clauses out of 218012 with flag 16092304/6095634
803.85/830.71	c cleaning 110000 clauses out of 220010 with flag 16396260/6206633
820.87/848.45	c cleaning 110995 clauses out of 222010 with flag 16720487/6318633
837.63/865.16	c cleaning 112002 clauses out of 224015 with flag 17068140/6431633
853.16/881.39	c cleaning 113001 clauses out of 226013 with flag 17413100/6545633
869.76/897.93	c cleaning 114002 clauses out of 228012 with flag 17764375/6660633
885.21/914.32	c cleaning 114997 clauses out of 230012 with flag 18108763/6776635
901.14/930.19	c cleaning 116001 clauses out of 232013 with flag 18436442/6893633
917.19/948.20	c cleaning 116997 clauses out of 234012 with flag 18781805/7011633
935.38/966.14	c cleaning 118002 clauses out of 236015 with flag 19108011/7130633
953.12/984.93	c cleaning 118995 clauses out of 238014 with flag 19457477/7250634
970.23/1002.89	c cleaning 120007 clauses out of 240018 with flag 19835412/7371633
988.96/1021.65	c cleaning 120999 clauses out of 242012 with flag 20200786/7493634
1007.27/1040.66	c cleaning 122004 clauses out of 244014 with flag 20548994/7616635
1027.57/1060.84	c cleaning 123002 clauses out of 246008 with flag 20912193/7740633
1046.37/1080.27	c cleaning 123993 clauses out of 248006 with flag 21289599/7865633
1064.39/1099.12	c cleaning 125005 clauses out of 250014 with flag 21675254/7991634
1083.08/1117.97	c cleaning 125999 clauses out of 252009 with flag 22064071/8118634
1101.19/1137.01	c cleaning 126995 clauses out of 254009 with flag 22429994/8246633
1122.05/1158.68	c cleaning 128008 clauses out of 256016 with flag 22805697/8375635
1141.90/1178.42	c cleaning 128989 clauses out of 258006 with flag 23181543/8505633
1163.20/1200.34	c cleaning 130009 clauses out of 260017 with flag 23552880/8636633
1186.77/1224.41	c cleaning 130997 clauses out of 262009 with flag 23950691/8768634
1208.10/1246.43	c cleaning 131996 clauses out of 264011 with flag 24360066/8901633
1226.45/1264.73	c cleaning 132994 clauses out of 266015 with flag 24741372/9035633
1245.06/1283.97	c cleaning 133999 clauses out of 268022 with flag 25141364/9170634
1263.40/1302.27	c cleaning 135009 clauses out of 270023 with flag 25505732/9306634
1284.13/1323.69	c cleaning 135996 clauses out of 272013 with flag 25915915/9443633
1306.64/1346.89	c cleaning 137003 clauses out of 274017 with flag 26350910/9581633
1326.82/1366.90	c cleaning 137997 clauses out of 276014 with flag 26759465/9720633
1345.04/1385.70	c cleaning 138997 clauses out of 278019 with flag 27127845/9860635
1365.78/1407.10	c cleaning 140009 clauses out of 280023 with flag 27529412/10001636
1389.35/1431.12	c cleaning 141001 clauses out of 282012 with flag 27951362/10143634
1412.15/1453.97	c cleaning 142001 clauses out of 284011 with flag 28378475/10286634
1433.61/1476.02	c cleaning 142993 clauses out of 286012 with flag 28783348/10430636
1455.29/1498.47	c cleaning 144007 clauses out of 288016 with flag 29190233/10575633
1480.31/1523.93	c cleaning 145003 clauses out of 290010 with flag 29615843/10721634
1503.29/1546.93	c cleaning 145993 clauses out of 292007 with flag 30042759/10868634
1526.93/1571.16	c cleaning 146998 clauses out of 294013 with flag 30480110/11016633
1555.17/1599.98	c cleaning 148002 clauses out of 296016 with flag 30931015/11165634
1587.67/1632.83	c cleaning 149007 clauses out of 298015 with flag 31412935/11315635
1608.24/1653.91	c cleaning 149995 clauses out of 300007 with flag 31872683/11466634
1631.45/1677.40	c cleaning 151000 clauses out of 302011 with flag 32335550/11618633
1653.02/1698.96	c cleaning 152001 clauses out of 304012 with flag 32761688/11771634
1673.61/1720.06	c cleaning 153005 clauses out of 306011 with flag 33156284/11925634
1695.63/1742.43	c cleaning 153994 clauses out of 308005 with flag 33622121/12080633
1718.12/1764.89	c cleaning 154997 clauses out of 310011 with flag 34100522/12236633
1741.44/1788.77	c cleaning 156006 clauses out of 312014 with flag 34578645/12393633
1764.27/1812.09	c cleaning 156999 clauses out of 314010 with flag 35053189/12551635
1785.50/1833.72	c cleaning 157996 clauses out of 316009 with flag 35536003/12710633
1808.43/1856.53	c cleaning 159001 clauses out of 318014 with flag 35980989/12870634
1832.36/1880.73	c cleaning 160000 clauses out of 320013 with flag 36437468/13031634
1856.81/1905.97	c cleaning 161005 clauses out of 322014 with flag 36900706/13193635
1881.01/1931.07	c cleaning 162001 clauses out of 324008 with flag 37357018/13356634
1903.21/1961.21	c cleaning 162994 clauses out of 326006 with flag 37841434/13520633
1926.80/1984.85	c cleaning 164003 clauses out of 328014 with flag 38316767/13685635
1951.09/2010.42	c cleaning 164998 clauses out of 330010 with flag 38841843/13851634
1975.78/2036.99	c cleaning 165991 clauses out of 332012 with flag 39344040/14018634
2001.68/2063.87	c cleaning 167007 clauses out of 334022 with flag 39876806/14186635
2025.95/2088.05	c cleaning 168006 clauses out of 336016 with flag 40424957/14355636
2049.67/2113.01	c cleaning 168995 clauses out of 338009 with flag 40990278/14525635
2073.25/2138.14	c cleaning 169999 clauses out of 340012 with flag 41555812/14696633
2097.07/2163.28	c cleaning 171003 clauses out of 342014 with flag 42107212/14868634
2126.32/2193.53	c cleaning 171995 clauses out of 344013 with flag 42658212/15041636
2151.49/2219.13	c cleaning 173004 clauses out of 346015 with flag 43254184/15215633
2177.46/2245.71	c cleaning 174001 clauses out of 348013 with flag 43819280/15390635
2203.04/2271.28	c cleaning 174997 clauses out of 350010 with flag 44388702/15566633
2231.09/2298.88	c cleaning 175998 clauses out of 352013 with flag 44973884/15743633
2255.43/2323.95	c cleaning 176992 clauses out of 354015 with flag 45556721/15921633
2282.29/2351.55	c cleaning 178001 clauses out of 356023 with flag 46149717/16100633
2312.42/2382.84	c cleaning 179011 clauses out of 358023 with flag 46748397/16280634
2341.68/2412.59	c cleaning 180003 clauses out of 360014 with flag 47359002/16461636
2367.08/2438.53	c cleaning 181000 clauses out of 362010 with flag 47981355/16643635
2396.09/2467.60	c cleaning 182001 clauses out of 364009 with flag 48623276/16826634
2429.97/2502.25	c cleaning 183000 clauses out of 366007 with flag 49261530/17010633
2457.85/2530.50	c cleaning 183998 clauses out of 368007 with flag 49908088/17195633
2483.93/2557.25	c cleaning 184989 clauses out of 370010 with flag 50538605/17381634
2510.80/2584.94	c cleaning 186003 clauses out of 372020 with flag 51173338/17568633
2540.33/2615.70	c cleaning 187007 clauses out of 374019 with flag 51827986/17756635
2572.36/2648.96	c cleaning 188001 clauses out of 376011 with flag 52461226/17945634
2603.17/2679.99	c cleaning 188994 clauses out of 378010 with flag 53123613/18135634
2633.22/2710.56	c cleaning 190004 clauses out of 380015 with flag 53798399/18326633
2665.58/2743.27	c cleaning 190993 clauses out of 382011 with flag 54458389/18518633
2691.99/2770.01	c cleaning 191989 clauses out of 384018 with flag 55116363/18711633
2721.03/2799.52	c cleaning 193011 clauses out of 386029 with flag 55800765/18905633
2751.10/2829.68	c cleaning 193996 clauses out of 388018 with flag 56465614/19100633
2780.60/2859.98	c cleaning 195004 clauses out of 390024 with flag 57141856/19296635
2812.19/2892.04	c cleaning 196009 clauses out of 392018 with flag 57916392/19493633
2845.99/2925.52	c cleaning 197000 clauses out of 394009 with flag 58709034/19691633
2874.03/2954.16	c cleaning 197996 clauses out of 396012 with flag 59511487/19890636
2905.19/2985.98	c cleaning 198999 clauses out of 398013 with flag 60313581/20090633
2938.76/3019.44	c cleaning 199999 clauses out of 400016 with flag 61122663/20291635
2970.94/3052.25	c cleaning 201006 clauses out of 402016 with flag 61930567/20493634
3003.22/3084.96	c cleaning 202004 clauses out of 404010 with flag 62698480/20696634
3041.35/3123.41	c cleaning 203001 clauses out of 406005 with flag 63457604/20900633
3077.16/3159.23	c cleaning 203995 clauses out of 408005 with flag 64214609/21105634
3106.14/3188.59	c cleaning 204994 clauses out of 410009 with flag 65007871/21311633
3138.65/3221.89	c cleaning 205995 clauses out of 412016 with flag 65819036/21518634
3171.15/3254.66	c cleaning 207001 clauses out of 414020 with flag 66659397/21726633
3210.03/3293.74	c cleaning 208007 clauses out of 416021 with flag 67514685/21935635
3243.09/3326.97	c cleaning 209005 clauses out of 418012 with flag 68311583/22145633
3275.83/3359.92	c cleaning 209997 clauses out of 420009 with flag 69122371/22356635
3311.36/3395.73	c cleaning 211002 clauses out of 422010 with flag 69963766/22568633
3349.11/3433.57	c cleaning 211989 clauses out of 424008 with flag 70770328/22781633
3385.33/3470.69	c cleaning 213010 clauses out of 426020 with flag 71613842/22995634
3428.36/3514.02	c cleaning 214002 clauses out of 428009 with flag 72416198/23210633
3460.21/3546.19	c cleaning 214993 clauses out of 430007 with flag 73256757/23426633
3496.40/3582.09	c cleaning 216002 clauses out of 432016 with flag 74107566/23643635
3529.82/3615.61	c cleaning 216991 clauses out of 434012 with flag 74974252/23861633
3565.37/3651.58	c cleaning 218002 clauses out of 436023 with flag 75850947/24080635
3600.05/3688.03	c starts		: 58
3600.05/3688.03	c conflicts		: 24300635
3600.05/3688.03	c decisions		: 33315145
3600.05/3688.03	c propagations		: 491039340
3600.05/3688.03	c inspects		: 10596388534
3600.05/3688.03	c shortcuts		: 0
3600.05/3688.03	c learnt literals	: 0
3600.05/3688.03	c learnt binary clauses	: 0
3600.05/3688.03	c learnt ternary clauses	: 0
3600.05/3688.03	c learnt constraints	: 24300635
3600.05/3688.03	c ignored constraints	: 0
3600.05/3688.03	c root simplifications	: 0
3600.05/3688.03	c removed literals (reason simplification)	: 679188031
3600.05/3688.03	c reason swapping (by a shorter reason)	: 0
3600.05/3688.03	c Calls to reduceDB	: 216
3600.05/3688.03	c Number of update (reduction) of LBD	: 3151777
3600.05/3688.03	c Imported unit clauses	: 0
3600.05/3688.03	c No decision after first conflict	: false
3600.05/3688.03	c number of reductions to clauses (during analyze)	: 0
3600.05/3688.03	c number of learned constraints concerned by reduction	: 0
3600.05/3688.03	c number of learning phase by resolution	: 0
3600.05/3688.03	c number of learning phase by cutting planes	: 0
3600.05/3688.03	c number of rounding to 1 operations	: 0
3600.05/3688.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3688.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3688.03	c number of right shift for reduction by power 2 	: 0
3600.05/3688.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3688.03	c number of ending skipping 	: 0
3600.05/3688.03	c number of internal skipping 	: 0
3600.05/3688.03	c number of derivation steps 	: 0
3600.05/3688.03	c number of skipped derivation steps 	: 0
3600.05/3688.03	c number of remaining unassigned 	: 0
3600.05/3688.03	c number of remaining assigned 	: 0
3600.05/3688.03	c number of falsified literals weakened from reason	: 0
3600.05/3688.03	c number of falsified literals weakened from conflict	: 0
3600.05/3688.03	c time for arithmetic operations	: 0
3600.05/3688.03	c minimum degree of deleted constraints	: null
3600.05/3688.03	c maximum degree of deleted constraints	: null
3600.05/3688.03	c number of deleted constraints	: 0
3600.05/3688.03	c speed (assignments/second)	: 133167.58054976177
3600.05/3688.03	c non guided choices	: 1829
3600.05/3688.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 438021
3600.05/3688.11	s SATISFIABLE
3600.05/3688.11	c Found 1 solution(s)
3600.05/3688.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 x1805 x1806 -x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 x2101 x2102 x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 x2299 x2300 x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 x2397 x2398 x2399 x2400 x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 -x2497 x2498 x2499 -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 x2693 x2694 -x2695 x2696 -x2697 x2698 x2699 -x2700 
3600.26/3688.11	c objective function=356
3600.26/3688.11	c Total wall clock time (in seconds): 3687.981

Verifier Data 

OK	356

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101585 s]*
/proc/loadavg: 4.51 4.53 4.41 7/337 134303
/proc/meminfo: memFree=100887616/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=18975048 memory=64968 CPUtime=0.14 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 7236 0 0 0 12 2 0 0 20 0 18 0 13428870 19430449152 16242 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4743762 16242 5600 1 0 549337 0
[pid=134285/tid=134287] ppid=134282 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 1077936192 5766 0 0 0 7 1 0 0 20 0 18 0 13428871 19430449152 16242 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13428873 19430449152 16242 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13428874 19430449152 16242 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64968 KiB

[startup+0.209845 s]*
/proc/loadavg: 4.51 4.53 4.41 7/337 134303
/proc/meminfo: memFree=100863160/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=18975048 memory=89056 CPUtime=0.33 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 7874 0 0 0 31 2 0 0 20 0 18 0 13428870 19430449152 22264 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4743762 22264 5845 1 0 549815 0
[pid=134285/tid=134287] ppid=134282 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 5964 0 0 0 16 1 0 0 20 0 18 0 13428871 19430449152 22264 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=18975048 memory=738093 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13428873 19430449152 22264 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13428874 19430449152 22264 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 89056 KiB

[startup+0.305857 s]*
/proc/loadavg: 4.51 4.53 4.41 6/337 134303
/proc/meminfo: memFree=100832312/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=18975048 memory=116464 CPUtime=0.51 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 9192 0 0 0 48 3 0 0 20 0 18 0 13428870 19430449152 29116 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4743762 29116 5845 1 0 550616 0
[pid=134285/tid=134287] ppid=134282 vsize=18975048 memory=-9031239425448518332 CPUtime=0.27 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 5978 0 0 0 25 2 0 0 20 0 18 0 13428871 19430449152 29116 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13428873 19430449152 29116 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13428874 19430449152 29116 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116464 KiB

[startup+0.701611 s]
/proc/loadavg: 4.51 4.53 4.41 7/338 134304
/proc/meminfo: memFree=100773948/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=187544 CPUtime=1.27 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 16622 0 0 0 121 6 0 0 20 0 20 0 13428870 19566772224 46886 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 46886 5898 1 0 556116 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=5520 CPUtime=0.61 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 6132 0 0 0 58 3 0 0 20 0 20 0 13428871 19566772224 46886 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 46886 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 46886 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187544 KiB

[startup+1.50086 s]
/proc/loadavg: 4.51 4.53 4.41 7/339 134305
/proc/meminfo: memFree=100743224/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=205004 CPUtime=2.84 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 18429 0 0 0 277 7 0 0 20 0 20 0 13428870 19566772224 51251 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 51251 5908 1 0 557357 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=13048 CPUtime=1.3 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 6146 0 0 0 126 4 0 0 20 0 20 0 13428871 19566772224 51251 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 51251 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 51251 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 51251 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205004 KiB

[startup+3.10584 s]
/proc/loadavg: 4.51 4.53 4.41 5/339 134305
/proc/meminfo: memFree=100443792/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=416352 CPUtime=5.88 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 19095 0 0 0 575 13 0 0 20 0 20 0 13428870 19566772224 104088 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 104088 5908 1 0 672267 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=0 CPUtime=2.83 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 6290 0 0 0 275 8 0 0 20 0 20 0 13428871 19566772224 104088 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 104088 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 104088 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 104088 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 416352 KiB

[startup+6.30027 s]
/proc/loadavg: 4.47 4.52 4.41 5/339 134305
/proc/meminfo: memFree=100059440/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=720348 CPUtime=9.35 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 25382 0 0 0 911 24 0 0 20 0 20 0 13428870 19566772224 180087 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 180087 5924 1 0 672272 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=0 CPUtime=5.97 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 7485 0 0 0 579 18 0 0 20 0 20 0 13428871 19566772224 180087 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 180087 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 180087 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=52816 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 180087 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 720348 KiB

[startup+12.7003 s]
/proc/loadavg: 4.43 4.52 4.41 5/339 134307
/proc/meminfo: memFree=99315064/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=1492720 CPUtime=16.08 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 28058 0 0 0 1562 46 0 0 20 0 20 0 13428870 19566772224 373180 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 373180 5940 1 0 672277 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=189124 CPUtime=12.3 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 8482 0 0 0 1191 39 0 0 20 0 20 0 13428871 19566772224 373180 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=1208048 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 373180 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=440928 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 373180 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 373180 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 16.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1492720 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.51 4.41 5/339 134308
/proc/meminfo: memFree=98655232/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=1628048 CPUtime=29.02 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 34270 0 0 0 2842 60 0 0 20 0 20 0 13428870 19566772224 407012 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 407012 5940 1 0 672278 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=1208048 CPUtime=25.02 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 10151 0 0 0 2451 51 0 0 20 0 20 0 13428871 19566772224 407012 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=1628048 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 407012 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 407012 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 407012 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 29.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1628048 KiB

[startup+51.1058 s]
/proc/loadavg: 4.27 4.46 4.40 5/339 134313
/proc/meminfo: memFree=97991252/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=1656736 CPUtime=54.39 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 39631 0 0 0 5360 79 0 0 20 0 20 0 13428870 19566772224 414184 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 414184 5940 1 0 672278 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=1644440 CPUtime=50.18 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 13095 0 0 0 4949 69 0 0 20 0 20 0 13428871 19566772224 414184 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=1644440 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 414184 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 414184 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0

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

Current children cumulated memory: 2504152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.32 4.28 5/335 136244
/proc/meminfo: memFree=37052476/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2504180 CPUtime=3258.52 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 287309 0 0 0 323816 2036 0 0 20 0 20 0 13428870 19566772224 626045 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626045 5955 1 0 638728 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=2504176 CPUtime=3196.22 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 101589 0 0 0 317743 1879 0 0 20 0 20 0 13428871 19566772224 626045 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10296 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=5520 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626045 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=2504180 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3609 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626045 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626045 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3258.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2504180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.30 4.27 5/337 136268
/proc/meminfo: memFree=35986872/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2504184 CPUtime=3318.39 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 290183 0 0 0 329761 2078 0 0 20 0 20 0 13428870 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626046 5955 1 0 638728 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=2504176 CPUtime=3254.6 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 102183 0 0 0 323542 1918 0 0 20 0 20 0 13428871 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10387 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=5520 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=53012 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3609 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=2504180 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3318.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2504184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.29 4.27 5/339 136505
/proc/meminfo: memFree=34544404/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2504184 CPUtime=3377.11 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 291296 0 0 0 335597 2114 0 0 20 0 20 0 13428870 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626046 5955 1 0 638728 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=2504176 CPUtime=3312.32 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 102794 0 0 0 329279 1953 0 0 20 0 20 0 13428871 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10519 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=5520 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=-9126187764868104093 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3609 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=2504184 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3377.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2504184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.28 4.27 5/339 136515
/proc/meminfo: memFree=33450936/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2504184 CPUtime=3436.66 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 291751 0 0 0 341519 2147 0 0 20 0 20 0 13428870 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626046 5955 1 0 638728 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=2504184 CPUtime=3371.27 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 103096 0 0 0 335143 1984 0 0 20 0 20 0 13428871 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10562 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=2504184 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=53012 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3669 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=-9031239425448518332 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626046 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3436.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2504184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.29 4.27 6/342 136885
/proc/meminfo: memFree=48045620/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2507920 CPUtime=3496.69 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 296183 0 0 0 347476 2193 0 0 20 0 20 0 13428870 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626980 5955 1 0 639665 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=53012 CPUtime=3429.62 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 105049 0 0 0 340935 2027 0 0 20 0 20 0 13428871 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10654 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=2507796 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=2507920 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3669 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3496.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2507920 KiB

[startup+3642.3 s]
/proc/loadavg: 4.28 4.29 4.27 5/342 136895
/proc/meminfo: memFree=46548596/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2507920 CPUtime=3556.18 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 297264 0 0 0 353379 2239 0 0 20 0 20 0 13428870 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626980 5955 1 0 639665 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=13048 CPUtime=3488 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 105640 0 0 0 346728 2072 0 0 20 0 20 0 13428871 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10743 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=2507920 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=2507920 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3669 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=2507920 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3556.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2507920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3688 s]*
/proc/loadavg: 4.32 4.29 4.27 5/340 136902
/proc/meminfo: memFree=45657176/131524600 swapFree=131071216/131071996
[pid=134285] ppid=134282 vsize=19108176 memory=2507920 CPUtime=3600.05 cores=4,6
/proc/134285/stat : 134285 (java) S 134282 134285 132177 0 -1 1077936128 297545 0 0 0 357736 2269 0 0 20 0 20 0 13428870 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
/proc/134285/statm: 4777044 626980 5955 1 0 639665 0
[pid=134285/tid=134287] ppid=134282 vsize=19108176 memory=-9103853363780166332 CPUtime=3531.22 cores=4,6
/proc/134285/task/134287/stat : 134287 (java) R 134282 134285 132177 0 -1 4194368 105822 0 0 0 351023 2099 0 0 20 0 20 0 13428871 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10948 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134296] ppid=134282 vsize=19108176 memory=2507920 CPUtime=0 cores=4,6
/proc/134285/task/134296/stat : 134296 (Finalizer) S 134282 134285 132177 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13428873 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134303] ppid=134282 vsize=19108176 memory=2656 CPUtime=0 cores=4,6
/proc/134285/task/134303/stat : 134303 (Common-Cleaner) S 134282 134285 132177 0 -1 1077936192 3730 0 0 0 0 0 0 0 20 0 20 0 13428874 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
[pid=134285/tid=134305] ppid=134282 vsize=19108176 memory=5028 CPUtime=0 cores=4,6
/proc/134285/task/134305/stat : 134305 (Timer-0) S 134282 134285 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13428935 19566772224 626980 134679101440 94767210291200 94767210294896 140723454608896 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94767210302712 94767210303504 94767234920448 140723454612395 140723454612577 140723454612577 140723454619592 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2507920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.58 s, system=22.7363 s

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

[startup+3688.2 s]*
/proc/loadavg: 4.32 4.29 4.27 4/322 136907
/proc/meminfo: memFree=48141808/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3688.31 s]
/proc/loadavg: 4.32 4.29 4.27 4/322 136907
/proc/meminfo: memFree=48141808/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3688.31
CPU time (s): 3600.32
CPU user time (s): 3577.58
CPU system time (s): 22.7363
CPU usage (%): 97.6143
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2639264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.58
system time used= 22.7363
maximum resident set size= 2639264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48013144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142513
involuntary context switches= 16371


# summary of solver processes directly reported to runsolver:
#   pid: 134285
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3577.58
#   total CPU system time (s): 22.7363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88344 second user time and 18.3649 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 23:11:03
IDJOB=4440269
IDBENCH=147019
IDSOLVER=3079
FILE ID=nodeC017/4440269-1721769063
RUNJOBID= nodeC017-1721765588-132188
SLURM_JOB_ID= 7770662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440269-1721769063/watcher-4440269-1721769063 -o /tmp/evaluation-result-4440269-1721769063/solver-4440269-1721769063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721765588-132188 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440269-1721769063 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440269-1721769063.opb

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1679388258

nodeC017.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		: 3672.147
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.61
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		: 3601.149
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	: 7006.74
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		: 3604.652
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.61
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		: 3685.107
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	: 7006.74
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		: 3620.218
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.61
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		: 3685.146
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	: 7006.74
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		: 3649.821
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.61
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		: 3600.544
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	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        100934576 kB
MemAvailable:   123806376 kB
Buffers:          190108 kB
Cached:         23424516 kB
SwapCached:           88 kB
Active:          1246200 kB
Inactive:       28563464 kB
Active(anon):       1712 kB
Inactive(anon):  6239084 kB
Active(file):    1244488 kB
Inactive(file): 22324380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            301204 kB
Writeback:             0 kB
AnonPages:       6190912 kB
Mapped:           127584 kB
Shmem:             45628 kB
KReclaimable:     285508 kB
Slab:             406996 kB
SReclaimable:     285508 kB
SUnreclaim:       121488 kB
KernelStack:        5168 kB
PageTables:        21928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7514084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5879808 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:      305876 kB
DirectMap2M:    28827648 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC017 at 2024-07-24 00:12:32