Trace number 4486387

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 VeriPB 2025-06-06SAT (TO)356 3600.45 3586.63

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 benchmark288
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.02/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.13	c See www.sat4j.org for details.
0.02/0.14	c version PB25.v20250606
0.02/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.15	c java.vm.version	22.0.1+8-16
0.02/0.15	c java.vm.vendor	Oracle Corporation
0.02/0.15	c sun.arch.data.model	64
0.02/0.15	c java.version		22.0.1
0.02/0.15	c os.name		Linux
0.02/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.02/0.15	c os.arch		amd64
0.02/0.15	c Free memory 		2104792832
0.02/0.15	c Max memory 		16282288128
0.02/0.15	c Total memory 		2113929216
0.02/0.16	c Number of processors 	2
0.02/0.20	c Pseudo Boolean Optimization by upper bound
0.02/0.20	c --- Begin Solver configuration ---
0.02/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.02/0.20	c Learn all clauses as in MiniSAT
0.02/0.20	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.20	c Expensive reason simplification
0.02/0.20	c Glucose 2.1 dynamic restart strategy
0.02/0.20	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.02/0.20	c timeout=2147483s
0.02/0.20	c DB Simplification allowed=false
0.02/0.20	c Listener: none
0.02/0.20	c --- End Solver configuration ---
0.02/0.20	c solving HOME/instance-4486387-1751335254.opb
0.02/0.20	c reading problem ... 
0.02/0.20	c using VERIPB proof format
0.18/0.21	c  objective function found
0.94/0.66	c ... done. Wall clock time 0.458s.
0.94/0.66	c declared #vars     2700
0.94/0.66	c #constraints  43070
0.94/0.66	c constraints type 
0.94/0.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
0.94/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.94/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
0.94/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
0.94/0.66	c 43070 constraints processed.
0.94/0.68	c objective function length is 900 literals
1.53/0.90	c SATISFIABLE
1.53/0.90	c OPTIMIZING...
1.53/0.90	c Got one! Elapsed wall clock time (in seconds):0.7
1.53/0.90	o 356
3.48/1.96	c cleaning 2818 clauses out of 5635 with flag 11938/5635
5.04/2.73	c cleaning 4407 clauses out of 8816 with flag 25471/11634
5.96/3.44	c cleaning 5704 clauses out of 11408 with flag 41686/18633
6.80/4.22	c cleaning 6840 clauses out of 13706 with flag 60479/26635
7.64/5.06	c cleaning 7926 clauses out of 15865 with flag 81670/35634
8.83/6.06	c cleaning 8970 clauses out of 17939 with flag 104852/45634
9.94/7.11	c cleaning 9983 clauses out of 19968 with flag 130083/56633
11.51/8.34	c cleaning 10988 clauses out of 21985 with flag 158232/68633
12.95/9.62	c cleaning 11997 clauses out of 23997 with flag 188512/81633
14.38/11.00	c cleaning 12995 clauses out of 26000 with flag 220005/95633
15.77/12.43	c cleaning 14001 clauses out of 28006 with flag 253934/110634
17.28/13.94	c cleaning 15002 clauses out of 30004 with flag 291731/126633
18.90/15.58	c cleaning 15999 clauses out of 32002 with flag 330343/143633
20.74/17.38	c cleaning 17002 clauses out of 34004 with flag 372726/161634
22.74/19.36	c cleaning 17998 clauses out of 36001 with flag 416602/180633
24.85/21.54	c cleaning 19000 clauses out of 38003 with flag 464007/200633
26.96/23.66	c cleaning 19999 clauses out of 40004 with flag 518491/221634
29.06/25.72	c cleaning 21001 clauses out of 42004 with flag 573341/243633
31.46/28.12	c cleaning 21996 clauses out of 44003 with flag 626097/266633
33.94/30.61	c cleaning 23001 clauses out of 46008 with flag 682717/290634
36.54/33.29	c cleaning 23998 clauses out of 48006 with flag 740394/315633
39.56/36.22	c cleaning 25005 clauses out of 50009 with flag 804462/341634
42.45/39.19	c cleaning 25995 clauses out of 52003 with flag 872891/368633
45.76/42.44	c cleaning 27000 clauses out of 54010 with flag 943811/396635
49.15/45.85	c cleaning 28000 clauses out of 56008 with flag 1012500/425633
52.67/49.35	c cleaning 29002 clauses out of 58008 with flag 1088033/455633
56.06/52.96	c cleaning 30000 clauses out of 60007 with flag 1163357/486634
59.47/56.38	c cleaning 30998 clauses out of 62007 with flag 1237026/518634
62.97/59.88	c cleaning 32001 clauses out of 64010 with flag 1313401/551635
67.10/63.83	c cleaning 32994 clauses out of 66007 with flag 1392990/585633
71.32/68.05	c cleaning 34007 clauses out of 68013 with flag 1475416/620633
75.11/71.82	c cleaning 35000 clauses out of 70007 with flag 1562254/656634
79.02/75.73	c cleaning 35995 clauses out of 72006 with flag 1652660/693633
83.03/79.72	c cleaning 37004 clauses out of 74012 with flag 1746546/731634
87.01/83.92	c cleaning 37987 clauses out of 76008 with flag 1843026/770634
91.01/88.00	c cleaning 39000 clauses out of 78020 with flag 1940402/810633
95.52/92.44	c cleaning 40005 clauses out of 80020 with flag 2040135/851633
99.81/96.78	c cleaning 41004 clauses out of 82015 with flag 2145300/893633
104.62/101.54	c cleaning 42006 clauses out of 84012 with flag 2252877/936634
109.43/106.33	c cleaning 42997 clauses out of 86005 with flag 2363745/980633
114.26/111.11	c cleaning 43995 clauses out of 88008 with flag 2475724/1025633
119.45/116.55	c cleaning 45004 clauses out of 90014 with flag 2591222/1071634
124.96/122.08	c cleaning 45988 clauses out of 92009 with flag 2708397/1118633
129.95/127.08	c cleaning 47000 clauses out of 94021 with flag 2829931/1166633
135.26/132.37	c cleaning 48006 clauses out of 96022 with flag 2952489/1215634
140.97/138.07	c cleaning 48999 clauses out of 98015 with flag 3078975/1265633
147.25/144.51	c cleaning 50007 clauses out of 100019 with flag 3207717/1316636
153.09/150.33	c cleaning 51005 clauses out of 102009 with flag 3337625/1368633
159.12/156.39	c cleaning 52001 clauses out of 104004 with flag 3474579/1421633
165.67/162.88	c cleaning 53000 clauses out of 106003 with flag 3614067/1475633
172.30/169.48	c cleaning 53994 clauses out of 108004 with flag 3756574/1530634
179.33/176.62	c cleaning 55000 clauses out of 110011 with flag 3896647/1586635
186.48/183.75	c cleaning 56001 clauses out of 112009 with flag 4043418/1643633
193.91/191.12	c cleaning 57005 clauses out of 114009 with flag 4195498/1701634
201.24/198.48	c cleaning 57996 clauses out of 116004 with flag 4350253/1760634
209.09/206.70	c cleaning 58997 clauses out of 118007 with flag 4501780/1820633
217.22/214.76	c cleaning 59998 clauses out of 120010 with flag 4659472/1881633
225.64/223.06	c cleaning 61003 clauses out of 122013 with flag 4822867/1943634
233.70/231.10	c cleaning 62003 clauses out of 124011 with flag 4993011/2006635
242.96/240.49	c cleaning 63000 clauses out of 126006 with flag 5154931/2070633
252.30/249.70	c cleaning 63993 clauses out of 128007 with flag 5328372/2135634
262.03/259.42	c cleaning 65006 clauses out of 130014 with flag 5500223/2201634
272.20/269.75	c cleaning 65997 clauses out of 132008 with flag 5685351/2268634
282.09/279.58	c cleaning 67000 clauses out of 134011 with flag 5876355/2336634
292.63/290.08	c cleaning 68004 clauses out of 136010 with flag 6055238/2405633
302.39/300.11	c cleaning 68995 clauses out of 138006 with flag 6239366/2475633
310.78/308.49	c cleaning 69997 clauses out of 140011 with flag 6432283/2546633
319.23/316.88	c cleaning 70993 clauses out of 142014 with flag 6615676/2618633
328.65/326.25	c cleaning 72006 clauses out of 144022 with flag 6801614/2691634
338.33/336.00	c cleaning 73005 clauses out of 146016 with flag 6991298/2765634
347.97/345.62	c cleaning 73998 clauses out of 148010 with flag 7180101/2840633
357.54/355.15	c cleaning 75001 clauses out of 150012 with flag 7386727/2916633
367.15/365.58	c cleaning 75999 clauses out of 152012 with flag 7598413/2993634
377.35/375.62	c cleaning 77005 clauses out of 154012 with flag 7810733/3071633
386.90/385.15	c cleaning 77989 clauses out of 156008 with flag 8026833/3150634
396.96/395.36	c cleaning 79010 clauses out of 158020 with flag 8234350/3230635
407.29/405.68	c cleaning 79998 clauses out of 160008 with flag 8451926/3311633
418.75/417.08	c cleaning 80997 clauses out of 162011 with flag 8683840/3393634
430.19/428.67	c cleaning 81997 clauses out of 164014 with flag 8913504/3476634
442.01/440.32	c cleaning 82994 clauses out of 166017 with flag 9146991/3560634
453.66/452.41	c cleaning 84005 clauses out of 168022 with flag 9385087/3645633
464.70/463.43	c cleaning 85004 clauses out of 170017 with flag 9610506/3731633
476.86/475.57	c cleaning 86004 clauses out of 172015 with flag 9835129/3818635
489.60/488.31	c cleaning 87000 clauses out of 174010 with flag 10084902/3906634
500.95/499.60	c cleaning 87988 clauses out of 176009 with flag 10320397/3995633
514.30/513.14	c cleaning 89006 clauses out of 178021 with flag 10565393/4085633
527.81/526.50	c cleaning 90007 clauses out of 180016 with flag 10804653/4176634
541.28/539.96	c cleaning 90995 clauses out of 182008 with flag 11047161/4268633
554.10/552.81	c cleaning 92003 clauses out of 184013 with flag 11289313/4361633
568.18/566.86	c cleaning 92997 clauses out of 186010 with flag 11549896/4455633
580.48/579.24	c cleaning 93998 clauses out of 188013 with flag 11788344/4550633
593.43/592.17	c cleaning 94994 clauses out of 190016 with flag 12024632/4646634
605.84/604.40	c cleaning 96005 clauses out of 192021 with flag 12257816/4743633
619.26/617.79	c cleaning 97001 clauses out of 194016 with flag 12501584/4841633
633.99/632.45	c cleaning 97998 clauses out of 196015 with flag 12752682/4940633
649.96/648.59	c cleaning 99006 clauses out of 198017 with flag 13013067/5040633
665.17/663.65	c cleaning 100000 clauses out of 200011 with flag 13304781/5141633
681.22/679.86	c cleaning 100997 clauses out of 202011 with flag 13604843/5243633
696.31/694.86	c cleaning 101997 clauses out of 204016 with flag 13909326/5346635
710.25/708.80	c cleaning 103001 clauses out of 206017 with flag 14204873/5450633
723.61/722.16	c cleaning 104005 clauses out of 208016 with flag 14508682/5555633
738.38/737.85	c cleaning 104998 clauses out of 210012 with flag 14808894/5661634
752.86/752.20	c cleaning 106002 clauses out of 212013 with flag 15115263/5768633
767.76/767.27	c cleaning 106995 clauses out of 214011 with flag 15434416/5876633
782.61/782.08	c cleaning 108005 clauses out of 216016 with flag 15762925/5985633
797.79/797.47	c cleaning 109001 clauses out of 218012 with flag 16092304/6095634
812.55/812.15	c cleaning 110000 clauses out of 220010 with flag 16396260/6206633
829.82/829.54	c cleaning 110995 clauses out of 222010 with flag 16720487/6318633
846.93/846.59	c cleaning 112002 clauses out of 224015 with flag 17068140/6431633
862.50/862.28	c cleaning 113001 clauses out of 226013 with flag 17413100/6545633
878.95/878.63	c cleaning 114002 clauses out of 228012 with flag 17764375/6660633
894.32/894.12	c cleaning 114997 clauses out of 230012 with flag 18108763/6776635
910.27/909.92	c cleaning 116001 clauses out of 232013 with flag 18436442/6893633
926.15/925.94	c cleaning 116997 clauses out of 234012 with flag 18781805/7011633
943.90/943.66	c cleaning 118002 clauses out of 236015 with flag 19108011/7130633
961.33/961.05	c cleaning 118995 clauses out of 238014 with flag 19457477/7250634
978.45/978.06	c cleaning 120007 clauses out of 240018 with flag 19835412/7371633
997.21/996.79	c cleaning 120999 clauses out of 242012 with flag 20200786/7493634
1015.44/1014.98	c cleaning 122004 clauses out of 244014 with flag 20548994/7616635
1035.44/1034.86	c cleaning 123002 clauses out of 246008 with flag 20912193/7740633
1054.18/1053.53	c cleaning 123993 clauses out of 248006 with flag 21289599/7865633
1072.63/1071.95	c cleaning 125005 clauses out of 250014 with flag 21675254/7991634
1091.65/1090.90	c cleaning 125999 clauses out of 252009 with flag 22064071/8118634
1109.92/1109.13	c cleaning 126995 clauses out of 254009 with flag 22429994/8246633
1131.15/1130.33	c cleaning 128008 clauses out of 256016 with flag 22805697/8375635
1151.21/1150.40	c cleaning 128989 clauses out of 258006 with flag 23181543/8505633
1172.81/1171.86	c cleaning 130009 clauses out of 260017 with flag 23552880/8636633
1196.68/1195.67	c cleaning 130997 clauses out of 262009 with flag 23950691/8768634
1217.96/1216.83	c cleaning 131996 clauses out of 264011 with flag 24360066/8901633
1236.23/1235.00	c cleaning 132994 clauses out of 266015 with flag 24741372/9035633
1254.60/1253.34	c cleaning 133999 clauses out of 268022 with flag 25141364/9170634
1272.97/1271.65	c cleaning 135009 clauses out of 270023 with flag 25505732/9306634
1293.52/1292.16	c cleaning 135996 clauses out of 272013 with flag 25915915/9443633
1315.15/1313.72	c cleaning 137003 clauses out of 274017 with flag 26350910/9581633
1335.33/1333.57	c cleaning 137997 clauses out of 276014 with flag 26759465/9720633
1354.04/1352.16	c cleaning 138997 clauses out of 278019 with flag 27127845/9860635
1375.44/1373.42	c cleaning 140009 clauses out of 280023 with flag 27529412/10001636
1399.10/1397.03	c cleaning 141001 clauses out of 282012 with flag 27951362/10143634
1422.18/1420.03	c cleaning 142001 clauses out of 284011 with flag 28378475/10286634
1443.67/1441.45	c cleaning 142993 clauses out of 286012 with flag 28783348/10430636
1465.91/1463.68	c cleaning 144007 clauses out of 288016 with flag 29190233/10575633
1491.15/1488.80	c cleaning 145003 clauses out of 290010 with flag 29615843/10721634
1514.39/1511.99	c cleaning 145993 clauses out of 292007 with flag 30042759/10868634
1538.42/1535.90	c cleaning 146998 clauses out of 294013 with flag 30480110/11016633
1566.81/1564.21	c cleaning 148002 clauses out of 296016 with flag 30931015/11165634
1598.91/1596.28	c cleaning 149007 clauses out of 298015 with flag 31412935/11315635
1619.54/1616.86	c cleaning 149995 clauses out of 300007 with flag 31872683/11466634
1642.60/1639.88	c cleaning 151000 clauses out of 302011 with flag 32335550/11618633
1664.72/1661.89	c cleaning 152001 clauses out of 304012 with flag 32761688/11771634
1685.86/1682.81	c cleaning 153005 clauses out of 306011 with flag 33156284/11925634
1708.32/1705.08	c cleaning 153994 clauses out of 308005 with flag 33622121/12080633
1731.16/1727.88	c cleaning 154997 clauses out of 310011 with flag 34100522/12236633
1754.99/1751.64	c cleaning 156006 clauses out of 312014 with flag 34578645/12393633
1778.45/1774.98	c cleaning 156999 clauses out of 314010 with flag 35053189/12551635
1800.23/1796.62	c cleaning 157996 clauses out of 316009 with flag 35536003/12710633
1823.62/1819.95	c cleaning 159001 clauses out of 318014 with flag 35980989/12870634
1847.72/1843.95	c cleaning 160000 clauses out of 320013 with flag 36437468/13031634
1872.80/1868.90	c cleaning 161005 clauses out of 322014 with flag 36900706/13193635
1897.44/1893.54	c cleaning 162001 clauses out of 324008 with flag 37357018/13356634
1920.28/1916.12	c cleaning 162994 clauses out of 326006 with flag 37841434/13520633
1944.58/1940.38	c cleaning 164003 clauses out of 328014 with flag 38316767/13685635
1969.53/1965.19	c cleaning 164998 clauses out of 330010 with flag 38841843/13851634
1995.10/1990.24	c cleaning 165991 clauses out of 332012 with flag 39344040/14018634
2021.48/2016.52	c cleaning 167007 clauses out of 334022 with flag 39876806/14186635
2046.44/2041.41	c cleaning 168006 clauses out of 336016 with flag 40424957/14355636
2070.71/2065.59	c cleaning 168995 clauses out of 338009 with flag 40990278/14525635
2094.89/2089.62	c cleaning 169999 clauses out of 340012 with flag 41555812/14696633
2119.36/2114.02	c cleaning 171003 clauses out of 342014 with flag 42107212/14868634
2149.05/2143.67	c cleaning 171995 clauses out of 344013 with flag 42658212/15041636
2174.62/2169.03	c cleaning 173004 clauses out of 346015 with flag 43254184/15215633
2200.82/2195.14	c cleaning 174001 clauses out of 348013 with flag 43819280/15390635
2226.97/2221.23	c cleaning 174997 clauses out of 350010 with flag 44388702/15566633
2255.34/2249.43	c cleaning 175998 clauses out of 352013 with flag 44973884/15743633
2280.08/2274.10	c cleaning 176992 clauses out of 354015 with flag 45556721/15921633
2307.64/2301.43	c cleaning 178001 clauses out of 356023 with flag 46149717/16100633
2338.24/2331.92	c cleaning 179011 clauses out of 358023 with flag 46748397/16280634
2368.42/2361.90	c cleaning 180003 clauses out of 360014 with flag 47359002/16461636
2394.40/2387.90	c cleaning 181000 clauses out of 362010 with flag 47981355/16643635
2423.29/2416.58	c cleaning 182001 clauses out of 364009 with flag 48623276/16826634
2457.71/2450.50	c cleaning 183000 clauses out of 366007 with flag 49261530/17010633
2486.28/2478.90	c cleaning 183998 clauses out of 368007 with flag 49908088/17195633
2513.06/2505.52	c cleaning 184989 clauses out of 370010 with flag 50538605/17381634
2540.60/2533.00	c cleaning 186003 clauses out of 372020 with flag 51173338/17568633
2569.67/2561.90	c cleaning 187007 clauses out of 374019 with flag 51827986/17756635
2601.07/2593.24	c cleaning 188001 clauses out of 376011 with flag 52461226/17945634
2631.29/2623.22	c cleaning 188994 clauses out of 378010 with flag 53123613/18135634
2661.33/2653.13	c cleaning 190004 clauses out of 380015 with flag 53798399/18326633
2693.39/2685.12	c cleaning 190993 clauses out of 382011 with flag 54458389/18518633
2719.66/2711.33	c cleaning 191989 clauses out of 384018 with flag 55116363/18711633
2749.50/2741.03	c cleaning 193011 clauses out of 386029 with flag 55800765/18905633
2779.60/2771.05	c cleaning 193996 clauses out of 388018 with flag 56465614/19100633
2810.05/2801.31	c cleaning 195004 clauses out of 390024 with flag 57141856/19296635
2843.41/2834.04	c cleaning 196009 clauses out of 392018 with flag 57916392/19493633
2877.32/2867.77	c cleaning 197000 clauses out of 394009 with flag 58709034/19691633
2906.26/2896.40	c cleaning 197996 clauses out of 396012 with flag 59511487/19890636
2938.17/2928.27	c cleaning 198999 clauses out of 398013 with flag 60313581/20090633
2972.03/2961.95	c cleaning 199999 clauses out of 400016 with flag 61122663/20291635
3005.64/2994.94	c cleaning 201006 clauses out of 402016 with flag 61930567/20493634
3038.84/3027.96	c cleaning 202004 clauses out of 404010 with flag 62698480/20696634
3077.01/3065.96	c cleaning 203001 clauses out of 406005 with flag 63457604/20900633
3113.25/3102.02	c cleaning 203995 clauses out of 408005 with flag 64214609/21105634
3143.15/3131.77	c cleaning 204994 clauses out of 410009 with flag 65007871/21311633
3176.56/3165.02	c cleaning 205995 clauses out of 412016 with flag 65819036/21518634
3209.47/3197.87	c cleaning 207001 clauses out of 414020 with flag 66659397/21726633
3249.14/3236.76	c cleaning 208007 clauses out of 416021 with flag 67514685/21935635
3282.55/3269.93	c cleaning 209005 clauses out of 418012 with flag 68311583/22145633
3315.44/3302.78	c cleaning 209997 clauses out of 420009 with flag 69122371/22356635
3351.64/3338.80	c cleaning 211002 clauses out of 422010 with flag 69963766/22568633
3389.47/3376.48	c cleaning 211989 clauses out of 424008 with flag 70770328/22781633
3426.35/3413.16	c cleaning 213010 clauses out of 426020 with flag 71613842/22995634
3469.66/3456.37	c cleaning 214002 clauses out of 428009 with flag 72416198/23210633
3501.61/3488.11	c cleaning 214993 clauses out of 430007 with flag 73256757/23426633
3537.73/3523.64	c cleaning 216002 clauses out of 432016 with flag 74107566/23643635
3570.99/3556.73	c cleaning 216991 clauses out of 434012 with flag 74974252/23861633
3600.08/3585.71	c starts		: 58
3600.08/3585.73	c conflicts		: 24073396
3600.08/3585.73	c decisions		: 33022292
3600.08/3585.73	c propagations		: 486066897
3600.08/3585.73	c inspects		: 10467030190
3600.08/3585.73	c shortcuts		: 0
3600.08/3585.73	c learnt literals	: 0
3600.08/3585.73	c learnt binary clauses	: 0
3600.08/3585.73	c learnt ternary clauses	: 0
3600.08/3585.73	c learnt constraints	: 24073396
3600.08/3585.73	c ignored constraints	: 0
3600.08/3585.73	c root simplifications	: 0
3600.08/3585.73	c removed literals (reason simplification)	: 672854006
3600.08/3585.73	c reason swapping (by a shorter reason)	: 0
3600.08/3585.73	c Calls to reduceDB	: 214
3600.08/3585.73	c Number of update (reduction) of LBD	: 3129624
3600.08/3585.73	c Imported unit clauses	: 0
3600.08/3585.73	c No decision after first conflict	: false
3600.08/3585.73	c number of reductions to clauses (during analyze)	: 0
3600.08/3585.73	c number of learned constraints concerned by reduction	: 0
3600.08/3585.73	c number of learning phase by resolution	: 0
3600.08/3585.73	c number of learning phase by cutting planes	: 0
3600.08/3585.73	c number of rounding to 1 operations	: 0
3600.08/3585.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3585.73	c number of reductions of the coefficients by power 2 	: 0
3600.08/3585.73	c number of right shift for reduction by power 2 	: 0
3600.08/3585.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3585.73	c number of ending skipping 	: 0
3600.08/3585.73	c number of internal skipping 	: 0
3600.08/3585.73	c number of derivation steps 	: 0
3600.08/3585.73	c number of skipped derivation steps 	: 0
3600.08/3585.73	c number of remaining unassigned 	: 0
3600.08/3585.73	c number of remaining assigned 	: 0
3600.08/3585.73	c number of falsified literals weakened from reason	: 0
3600.08/3585.73	c number of falsified literals weakened from conflict	: 0
3600.08/3585.73	c time for arithmetic operations	: 0
3600.08/3585.73	c minimum degree of deleted constraints	: null
3600.08/3585.73	c maximum degree of deleted constraints	: null
3600.08/3585.73	c number of deleted constraints	: 0
3600.08/3585.73	c speed (assignments/second)	: 135582.53050326553
3600.08/3585.73	c non guided choices	: 1829
3600.08/3585.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 428784
3600.08/3585.80	s SATISFIABLE
3600.08/3585.80	c Found 1 solution(s)
3600.28/3585.81	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.28/3585.81	c objective function=356
3600.28/3585.82	c Total wall clock time (in seconds): 3585.616

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: 63665 MiB (62869 MiB free)
  memory of node 1: 64507 MiB (62411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486387-1751335254/watcher-4486387-1751335254 -o /tmp/evaluation-result-4486387-1751335254/solver-4486387-1751335254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43899 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486387-1751335254 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486387-1751335254.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43957, runsolver pid=43940
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 1.01 2.90 3.68 5/334 44025
/proc/meminfo: memFree=128196336/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=18930288 memory=45356 CPUtime=0.02 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 5420 0 0 0 1 1 0 0 20 0 18 0 49205035 19384614912 11339 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4732572 11339 4892 1 0 546709 0
[pid=43957/tid=43982] ppid=43940 vsize=18930288 memory=4026531960 CPUtime=0.02 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 4538 0 0 0 1 1 0 0 20 0 18 0 49205042 19384614912 11339 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=18930288 memory=228522721619 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205044 19384614912 11339 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=18930288 memory=59585004335790 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49205044 19384614912 11339 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 45356 KiB

[startup+0.205716 s]*
/proc/loadavg: 1.01 2.90 3.68 7/334 44025
/proc/meminfo: memFree=128163276/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=18930384 memory=59060 CPUtime=0.18 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 6838 0 0 0 16 2 0 0 20 0 18 0 49205035 19384713216 14765 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4732596 14765 5436 1 0 547808 0
[pid=43957/tid=43982] ppid=43940 vsize=18930384 memory=4026663196 CPUtime=0.11 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 5219 0 0 0 9 2 0 0 20 0 18 0 49205042 19384713216 14765 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=18930384 memory=16912 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 14765 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 14765 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59060 KiB

[startup+0.305354 s]*
/proc/loadavg: 1.01 2.90 3.68 6/334 44025
/proc/meminfo: memFree=128122040/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=18931448 memory=87808 CPUtime=0.37 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 8024 0 0 0 34 3 0 0 20 0 18 0 49205035 19385802752 21952 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4732862 21952 5436 1 0 548753 0
[pid=43957/tid=43982] ppid=43940 vsize=18931448 memory=-6000919507082766699 CPUtime=0.19 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 5301 0 0 0 17 2 0 0 20 0 18 0 49205042 19385802752 21952 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=18931448 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205044 19385802752 21952 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=18931448 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49205044 19385802752 21952 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18931448 KiB
Current children cumulated memory: 87808 KiB

[startup+0.700292 s]
/proc/loadavg: 1.01 2.90 3.68 11/338 44029
/proc/meminfo: memFree=128016304/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=18996948 memory=166856 CPUtime=1.13 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 10633 0 0 0 107 6 0 0 20 0 19 0 49205035 19452874752 41714 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4749237 41714 5500 1 0 550597 0
[pid=43957/tid=43982] ppid=43940 vsize=18996948 memory=17792 CPUtime=0.51 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 5440 0 0 0 47 4 0 0 20 0 19 0 49205042 19452874752 41714 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=18996948 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49205044 19452874752 41714 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49205044 19452874752 41714 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 166856 KiB

[startup+1.50025 s]
/proc/loadavg: 1.01 2.90 3.68 8/317 44040
/proc/meminfo: memFree=127902868/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=193624 CPUtime=2.69 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 18796 0 0 0 260 9 0 0 20 0 20 0 49205035 19521036288 48406 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 48406 5532 1 0 555640 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3200 CPUtime=1.23 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 5476 0 0 0 119 4 0 0 20 0 20 0 49205042 19521036288 48406 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 48406 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 48406 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 48406 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193624 KiB

[startup+3.10537 s]
/proc/loadavg: 1.01 2.90 3.68 4/321 44046
/proc/meminfo: memFree=127650208/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=367276 CPUtime=5.67 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 24910 0 0 0 551 16 0 0 20 0 20 0 49205035 19521036288 91819 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 91819 5532 1 0 812604 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=14464 CPUtime=2.74 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 6004 0 0 0 265 9 0 0 20 0 20 0 49205042 19521036288 91819 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 91819 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 91819 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 91819 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 367276 KiB

[startup+6.3002 s]
/proc/loadavg: 1.17 2.90 3.68 6/342 44099
/proc/meminfo: memFree=126383252/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=967888 CPUtime=9.13 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 29135 0 0 0 885 28 0 0 20 0 20 0 49205035 19521036288 241972 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 241972 5532 1 0 812617 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=0 CPUtime=5.91 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 7075 0 0 0 571 20 0 0 20 0 20 0 49205042 19521036288 241972 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 241972 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 241972 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=197884 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 241972 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 967888 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 2.96 3.69 5/342 44110
/proc/meminfo: memFree=123894796/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=1949612 CPUtime=16.08 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 30912 0 0 0 1556 52 0 0 20 0 20 0 49205035 19521036288 487403 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 487403 5564 1 0 812640 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=197884 CPUtime=12.27 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 8564 0 0 0 1185 42 0 0 20 0 20 0 49205042 19521036288 487403 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=1949612 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 487403 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 487403 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 487403 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 16.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1949612 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 3.01 3.70 5/343 44111
/proc/meminfo: memFree=122024304/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=1968080 CPUtime=28.86 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 36253 0 0 0 2822 64 0 0 20 0 20 0 49205035 19521036288 492020 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 492020 5564 1 0 812640 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=1949612 CPUtime=24.93 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 10178 0 0 0 2440 53 0 0 20 0 20 0 49205042 19521036288 492020 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 492020 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=1968080 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 492020 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 492020 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 28.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968080 KiB

[startup+51.1054 s]
/proc/loadavg: 2.75 3.09 3.71 5/343 44113
/proc/meminfo: memFree=121316200/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=1986528 CPUtime=54.47 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 40621 0 0 0 5367 80 0 0 20 0 20 0 49205035 19521036288 496632 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 496632 5564 1 0 812640 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=1982428 CPUtime=50.35 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 12614 0 0 0 4966 69 0 0 20 0 20 0 49205042 19521036288 496632 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=1974232 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 496632 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=1974232 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 496632 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0

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

Current children cumulated memory: 3076836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/345 44282
/proc/meminfo: memFree=69636496/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3294.96 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 163126 0 1 0 327429 2067 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3241.5 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 71906 0 0 0 322210 1940 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3294.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/345 44284
/proc/meminfo: memFree=69643636/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3355.18 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 163444 0 1 0 333419 2099 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3300.98 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 72072 0 0 0 328128 1970 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=4642253117491670689 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1881 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3355.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/345 44287
/proc/meminfo: memFree=69495684/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3415.47 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 164190 0 1 0 339415 2132 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3360.31 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 72618 0 0 0 334029 2002 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1881 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=2372 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3415.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/344 44290
/proc/meminfo: memFree=69013956/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3475.68 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 166944 0 1 0 345411 2157 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3419.78 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 74452 0 0 0 339953 2025 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1881 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3475.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/346 44296
/proc/meminfo: memFree=67759972/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3536.44 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 171889 0 1 0 351448 2196 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3479.1 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 76511 0 0 0 345849 2061 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1938 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3536.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.22 4.13 5/346 44298
/proc/meminfo: memFree=66850812/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3596.69 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 172192 0 1 0 357440 2229 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3538.5 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 76657 0 0 0 351757 2093 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1986 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3596.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.7 s]
/proc/loadavg: 4.29 4.22 4.13 5/346 44298
/proc/meminfo: memFree=66814768/131249996 swapFree=33010416/33010684
[pid=43957] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3600.08 cores=1,3
/proc/43957/stat : 43957 (java) S 43940 43957 43887 0 -1 4194304 172199 0 1 0 357777 2231 0 0 20 0 20 0 49205035 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
/proc/43957/statm: 4765878 769785 5596 1 0 782801 0
[pid=43957/tid=43982] ppid=43940 vsize=19063512 memory=3079140 CPUtime=3541.89 cores=1,3
/proc/43957/task/43982/stat : 43982 (java) R 43940 43957 43887 0 -1 4194368 76661 0 0 0 352094 2095 0 0 20 0 20 0 49205042 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44009] ppid=43940 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/43957/task/44009/stat : 44009 (Finalizer) S 43940 43957 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44023] ppid=43940 vsize=19063512 memory=3079140 CPUtime=0 cores=1,3
/proc/43957/task/44023/stat : 44023 (Common-Cleaner) S 43940 43957 43887 0 -1 4194368 1986 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
[pid=43957/tid=44032] ppid=43940 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/43957/task/44032/stat : 44032 (Timer-0) S 43940 43957 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205105 19521036288 769785 18446744073709551615 94422155907072 94422155910768 140721930266560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94422155918584 94422155919376 94422167429120 140721930271024 140721930271206 140721930271206 140721930276808 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3079140 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.01 s, system=22.4418 s

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

[startup+3586.4 s]
/proc/loadavg: 4.29 4.22 4.13 4/328 44301
/proc/meminfo: memFree=69858340/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3586.6 s]
/proc/loadavg: 4.29 4.22 4.13 4/328 44301
/proc/meminfo: memFree=69858340/131249996 swapFree=33010416/33010684
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): 3586.63
CPU time (s): 3600.45
CPU user time (s): 3578.01
CPU system time (s): 22.4418
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3201764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.01
system time used= 22.4418
maximum resident set size= 3201764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174463
page faults= 1
swaps= 0
block input operations= 992
block output operations= 47626896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148361
involuntary context switches= 10235


# summary of solver processes directly reported to runsolver:
#   pid: 43957
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3578.01
#   total CPU system time (s): 22.4418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36244 second user time and 17.6022 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 04:00:54
IDJOB=4486387
IDBENCH=147019
IDSOLVER=3364
FILE ID=nodeC030/4486387-1751335254
RUNJOBID= nodeC030-1751335254-43899
SLURM_JOB_ID= 9594379
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
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 -w /tmp/evaluation-result-4486387-1751335254/watcher-4486387-1751335254 -o /tmp/evaluation-result-4486387-1751335254/solver-4486387-1751335254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43899 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486387-1751335254 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486387-1751335254.opb

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1410440870

nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1200.461
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 3600.382
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 1202.118
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 3561.312
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 1199.662
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 3498.362
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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		: 1198.763
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
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.649
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128296800 kB
MemAvailable:   129774908 kB
Buffers:            2564 kB
Cached:          2272296 kB
SwapCached:           16 kB
Active:           413820 kB
Inactive:        1921600 kB
Active(anon):      73948 kB
Inactive(anon):     4660 kB
Active(file):     339872 kB
Inactive(file):  1916940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6904 kB
Writeback:             0 kB
AnonPages:         63724 kB
Mapped:           103084 kB
Shmem:             18048 kB
KReclaimable:     120672 kB
Slab:             207888 kB
SReclaimable:     120672 kB
SUnreclaim:        87216 kB
KernelStack:        4080 kB
PageTables:         2852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     332956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC030 at 2025-07-01 05:00:41