Trace number 4486386

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 2025-06-06SAT (TO)356 3600.38 3591.2

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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.31/0.32	c Pseudo Boolean Optimization by upper bound
0.31/0.32	c --- Begin Solver configuration ---
0.31/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.32	c Learn all clauses as in MiniSAT
0.31/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.32	c Expensive reason simplification
0.31/0.32	c Glucose 2.1 dynamic restart strategy
0.31/0.32	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.31/0.32	c timeout=2147483s
0.31/0.32	c DB Simplification allowed=false
0.31/0.32	c Listener: none
0.31/0.32	c --- End Solver configuration ---
0.31/0.32	c solving HOME/instance-4486386-1751314083.opb
0.31/0.32	c reading problem ... 
0.31/0.32	c  objective function found
2.15/1.22	c ... done. Wall clock time 0.903s.
2.15/1.22	c declared #vars     2700
2.15/1.22	c #constraints  43070
2.15/1.22	c constraints type 
2.15/1.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
2.15/1.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
2.15/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
2.15/1.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
2.15/1.23	c 43070 constraints processed.
2.15/1.25	c objective function length is 900 literals
2.55/1.46	c SATISFIABLE
2.55/1.46	c OPTIMIZING...
2.55/1.46	c Got one! Elapsed wall clock time (in seconds):1.151
2.55/1.46	o 356
4.13/2.26	c cleaning 2818 clauses out of 5635 with flag 11938/5635
4.88/2.73	c cleaning 4407 clauses out of 8816 with flag 25471/11634
5.68/3.59	c cleaning 5704 clauses out of 11408 with flag 41686/18633
6.61/4.48	c cleaning 6840 clauses out of 13706 with flag 60479/26635
7.32/5.17	c cleaning 7926 clauses out of 15865 with flag 81670/35634
8.23/5.90	c cleaning 8970 clauses out of 17939 with flag 104852/45634
8.93/6.67	c cleaning 9983 clauses out of 19968 with flag 130083/56633
10.21/7.67	c cleaning 10988 clauses out of 21985 with flag 158232/68633
11.23/8.62	c cleaning 11997 clauses out of 23997 with flag 188512/81633
12.24/9.64	c cleaning 12995 clauses out of 26000 with flag 220005/95633
13.34/10.77	c cleaning 14001 clauses out of 28006 with flag 253934/110634
14.54/12.00	c cleaning 15002 clauses out of 30004 with flag 291731/126633
16.02/13.32	c cleaning 15999 clauses out of 32002 with flag 330343/143633
17.48/14.75	c cleaning 17002 clauses out of 34004 with flag 372726/161634
18.97/16.24	c cleaning 17998 clauses out of 36001 with flag 416602/180633
21.07/18.30	c cleaning 19000 clauses out of 38003 with flag 464007/200633
22.78/20.01	c cleaning 19999 clauses out of 40004 with flag 518491/221634
24.37/21.67	c cleaning 21001 clauses out of 42004 with flag 573341/243633
26.36/23.64	c cleaning 21996 clauses out of 44003 with flag 626097/266633
28.56/25.87	c cleaning 23001 clauses out of 46008 with flag 682717/290634
30.76/28.08	c cleaning 23998 clauses out of 48006 with flag 740394/315633
33.15/30.45	c cleaning 25005 clauses out of 50009 with flag 804462/341634
35.99/33.25	c cleaning 25995 clauses out of 52003 with flag 872891/368633
38.58/35.89	c cleaning 27000 clauses out of 54010 with flag 943811/396635
41.38/38.62	c cleaning 28000 clauses out of 56008 with flag 1012500/425633
44.28/41.51	c cleaning 29002 clauses out of 58008 with flag 1088033/455633
46.97/44.24	c cleaning 30000 clauses out of 60007 with flag 1163357/486634
49.78/47.02	c cleaning 30998 clauses out of 62007 with flag 1237026/518634
52.59/49.89	c cleaning 32001 clauses out of 64010 with flag 1313401/551635
55.80/53.07	c cleaning 32994 clauses out of 66007 with flag 1392990/585633
59.38/56.63	c cleaning 34007 clauses out of 68013 with flag 1475416/620633
62.38/59.69	c cleaning 35000 clauses out of 70007 with flag 1562254/656634
65.61/62.84	c cleaning 35995 clauses out of 72006 with flag 1652660/693633
68.82/66.06	c cleaning 37004 clauses out of 74012 with flag 1746546/731634
72.00/69.22	c cleaning 37987 clauses out of 76008 with flag 1843026/770634
75.22/72.46	c cleaning 39000 clauses out of 78020 with flag 1940402/810633
78.71/75.99	c cleaning 40005 clauses out of 80020 with flag 2040135/851633
82.52/79.70	c cleaning 41004 clauses out of 82015 with flag 2145300/893633
86.31/83.56	c cleaning 42006 clauses out of 84012 with flag 2252877/936634
90.31/87.54	c cleaning 42997 clauses out of 86005 with flag 2363745/980633
94.31/91.54	c cleaning 43995 clauses out of 88008 with flag 2475724/1025633
98.60/95.86	c cleaning 45004 clauses out of 90014 with flag 2591222/1071634
103.38/100.62	c cleaning 45988 clauses out of 92009 with flag 2708397/1118633
107.38/104.67	c cleaning 47000 clauses out of 94021 with flag 2829931/1166633
111.81/109.01	c cleaning 48006 clauses out of 96022 with flag 2952489/1215634
116.49/113.71	c cleaning 48999 clauses out of 98015 with flag 3078975/1265633
121.59/118.85	c cleaning 50007 clauses out of 100019 with flag 3207717/1316636
126.44/123.65	c cleaning 51005 clauses out of 102009 with flag 3337625/1368633
131.34/128.59	c cleaning 52001 clauses out of 104004 with flag 3474579/1421633
136.84/134.06	c cleaning 53000 clauses out of 106003 with flag 3614067/1475633
142.22/139.47	c cleaning 53994 clauses out of 108004 with flag 3756574/1530634
148.03/145.29	c cleaning 55000 clauses out of 110011 with flag 3896647/1586635
154.03/151.27	c cleaning 56001 clauses out of 112009 with flag 4043418/1643633
160.21/157.41	c cleaning 57005 clauses out of 114009 with flag 4195498/1701634
166.20/163.45	c cleaning 57996 clauses out of 116004 with flag 4350253/1760634
172.98/170.21	c cleaning 58997 clauses out of 118007 with flag 4501780/1820633
179.68/176.98	c cleaning 59998 clauses out of 120010 with flag 4659472/1881633
186.81/184.03	c cleaning 61003 clauses out of 122013 with flag 4822867/1943634
193.38/190.66	c cleaning 62003 clauses out of 124011 with flag 4993011/2006635
201.25/198.45	c cleaning 63000 clauses out of 126006 with flag 5154931/2070633
208.73/205.99	c cleaning 63993 clauses out of 128007 with flag 5328372/2135634
216.84/214.09	c cleaning 65006 clauses out of 130014 with flag 5500223/2201634
225.97/223.00	c cleaning 65997 clauses out of 132008 with flag 5685351/2268634
233.96/230.99	c cleaning 67000 clauses out of 134011 with flag 5876355/2336634
244.10/241.09	c cleaning 68004 clauses out of 136010 with flag 6055238/2405633
251.97/248.90	c cleaning 68995 clauses out of 138006 with flag 6239366/2475633
258.45/255.40	c cleaning 69997 clauses out of 140011 with flag 6432283/2546633
264.95/261.94	c cleaning 70993 clauses out of 142014 with flag 6615676/2618633
274.04/271.07	c cleaning 72006 clauses out of 144022 with flag 6801614/2691634
281.61/278.67	c cleaning 73005 clauses out of 146016 with flag 6991298/2765634
289.39/286.41	c cleaning 73998 clauses out of 148010 with flag 7180101/2840633
297.10/294.12	c cleaning 75001 clauses out of 150012 with flag 7386727/2916633
304.98/302.04	c cleaning 75999 clauses out of 152012 with flag 7598413/2993634
313.15/310.24	c cleaning 77005 clauses out of 154012 with flag 7810733/3071633
320.83/317.92	c cleaning 77989 clauses out of 156008 with flag 8026833/3150634
328.93/326.06	c cleaning 79010 clauses out of 158020 with flag 8234350/3230635
337.30/334.42	c cleaning 79998 clauses out of 160008 with flag 8451926/3311633
346.67/343.89	c cleaning 80997 clauses out of 162011 with flag 8683840/3393634
356.25/353.47	c cleaning 81997 clauses out of 164014 with flag 8913504/3476634
366.03/363.22	c cleaning 82994 clauses out of 166017 with flag 9146991/3560634
375.31/372.54	c cleaning 84005 clauses out of 168022 with flag 9385087/3645633
384.51/381.61	c cleaning 85004 clauses out of 170017 with flag 9610506/3731633
394.38/391.54	c cleaning 86004 clauses out of 172015 with flag 9835129/3818635
404.56/401.79	c cleaning 87000 clauses out of 174010 with flag 10084902/3906634
413.85/410.92	c cleaning 87988 clauses out of 176009 with flag 10320397/3995633
424.87/422.00	c cleaning 89006 clauses out of 178021 with flag 10565393/4085633
435.66/432.78	c cleaning 90007 clauses out of 180016 with flag 10804653/4176634
446.74/443.88	c cleaning 90995 clauses out of 182008 with flag 11047161/4268633
457.35/454.34	c cleaning 92003 clauses out of 184013 with flag 11289313/4361633
468.73/465.79	c cleaning 92997 clauses out of 186010 with flag 11549896/4455633
478.50/475.50	c cleaning 93998 clauses out of 188013 with flag 11788344/4550633
488.91/485.97	c cleaning 94994 clauses out of 190016 with flag 12024632/4646634
498.69/495.74	c cleaning 96005 clauses out of 192021 with flag 12257816/4743633
511.43/508.42	c cleaning 97001 clauses out of 194016 with flag 12501584/4841633
523.71/520.72	c cleaning 97998 clauses out of 196015 with flag 12752682/4940633
538.17/534.89	c cleaning 99006 clauses out of 198017 with flag 13013067/5040633
550.65/547.37	c cleaning 100000 clauses out of 200011 with flag 13304781/5141633
565.51/562.13	c cleaning 100997 clauses out of 202011 with flag 13604843/5243633
577.89/574.50	c cleaning 101997 clauses out of 204016 with flag 13909326/5346635
588.92/585.58	c cleaning 103001 clauses out of 206017 with flag 14204873/5450633
599.91/596.53	c cleaning 104005 clauses out of 208016 with flag 14508682/5555633
611.90/608.50	c cleaning 104998 clauses out of 210012 with flag 14808894/5661634
623.58/620.23	c cleaning 106002 clauses out of 212013 with flag 15115263/5768633
636.21/632.88	c cleaning 106995 clauses out of 214011 with flag 15434416/5876633
648.49/645.15	c cleaning 108005 clauses out of 216016 with flag 15762925/5985633
661.24/657.85	c cleaning 109001 clauses out of 218012 with flag 16092304/6095634
673.32/669.98	c cleaning 110000 clauses out of 220010 with flag 16396260/6206633
687.97/684.54	c cleaning 110995 clauses out of 222010 with flag 16720487/6318633
701.95/698.51	c cleaning 112002 clauses out of 224015 with flag 17068140/6431633
714.63/711.22	c cleaning 113001 clauses out of 226013 with flag 17413100/6545633
728.36/724.99	c cleaning 114002 clauses out of 228012 with flag 17764375/6660633
741.04/737.63	c cleaning 114997 clauses out of 230012 with flag 18108763/6776635
754.33/750.80	c cleaning 116001 clauses out of 232013 with flag 18436442/6893633
767.41/763.93	c cleaning 116997 clauses out of 234012 with flag 18781805/7011633
782.50/779.02	c cleaning 118002 clauses out of 236015 with flag 19108011/7130633
798.24/794.47	c cleaning 118995 clauses out of 238014 with flag 19457477/7250634
812.52/808.77	c cleaning 120007 clauses out of 240018 with flag 19835412/7371633
828.19/824.48	c cleaning 120999 clauses out of 242012 with flag 20200786/7493634
844.05/840.23	c cleaning 122004 clauses out of 244014 with flag 20548994/7616635
861.13/857.31	c cleaning 123002 clauses out of 246008 with flag 20912193/7740633
876.70/872.99	c cleaning 123993 clauses out of 248006 with flag 21289599/7865633
891.73/887.93	c cleaning 125005 clauses out of 250014 with flag 21675254/7991634
907.20/903.48	c cleaning 125999 clauses out of 252009 with flag 22064071/8118634
922.06/918.37	c cleaning 126995 clauses out of 254009 with flag 22429994/8246633
940.28/936.53	c cleaning 128008 clauses out of 256016 with flag 22805697/8375635
956.86/953.16	c cleaning 128989 clauses out of 258006 with flag 23181543/8505633
974.94/971.19	c cleaning 130009 clauses out of 260017 with flag 23552880/8636633
995.00/991.28	c cleaning 130997 clauses out of 262009 with flag 23950691/8768634
1012.78/1009.09	c cleaning 131996 clauses out of 264011 with flag 24360066/8901633
1027.91/1024.12	c cleaning 132994 clauses out of 266015 with flag 24741372/9035633
1042.98/1039.23	c cleaning 133999 clauses out of 268022 with flag 25141364/9170634
1058.05/1054.34	c cleaning 135009 clauses out of 270023 with flag 25505732/9306634
1075.76/1072.07	c cleaning 135996 clauses out of 272013 with flag 25915915/9443633
1094.12/1090.40	c cleaning 137003 clauses out of 274017 with flag 26350910/9581633
1110.79/1107.15	c cleaning 137997 clauses out of 276014 with flag 26759465/9720633
1127.39/1123.71	c cleaning 138997 clauses out of 278019 with flag 27127845/9860635
1144.68/1141.07	c cleaning 140009 clauses out of 280023 with flag 27529412/10001636
1164.33/1160.78	c cleaning 141001 clauses out of 282012 with flag 27951362/10143634
1183.59/1179.91	c cleaning 142001 clauses out of 284011 with flag 28378475/10286634
1200.96/1197.36	c cleaning 142993 clauses out of 286012 with flag 28783348/10430636
1219.12/1215.53	c cleaning 144007 clauses out of 288016 with flag 29190233/10575633
1240.31/1236.70	c cleaning 145003 clauses out of 290010 with flag 29615843/10721634
1259.47/1255.93	c cleaning 145993 clauses out of 292007 with flag 30042759/10868634
1279.56/1275.96	c cleaning 146998 clauses out of 294013 with flag 30480110/11016633
1303.22/1299.62	c cleaning 148002 clauses out of 296016 with flag 30931015/11165634
1330.08/1326.58	c cleaning 149007 clauses out of 298015 with flag 31412935/11315635
1346.71/1343.13	c cleaning 149995 clauses out of 300007 with flag 31872683/11466634
1365.67/1362.12	c cleaning 151000 clauses out of 302011 with flag 32335550/11618633
1383.90/1380.21	c cleaning 152001 clauses out of 304012 with flag 32761688/11771634
1400.60/1396.92	c cleaning 153005 clauses out of 306011 with flag 33156284/11925634
1420.07/1415.60	c cleaning 153994 clauses out of 308005 with flag 33622121/12080633
1440.35/1435.84	c cleaning 154997 clauses out of 310011 with flag 34100522/12236633
1459.92/1455.49	c cleaning 156006 clauses out of 312014 with flag 34578645/12393633
1479.35/1474.82	c cleaning 156999 clauses out of 314010 with flag 35053189/12551635
1496.83/1492.30	c cleaning 157996 clauses out of 316009 with flag 35536003/12710633
1516.00/1511.41	c cleaning 159001 clauses out of 318014 with flag 35980989/12870634
1535.58/1531.06	c cleaning 160000 clauses out of 320013 with flag 36437468/13031634
1556.13/1551.62	c cleaning 161005 clauses out of 322014 with flag 36900706/13193635
1576.44/1571.95	c cleaning 162001 clauses out of 324008 with flag 37357018/13356634
1594.65/1590.12	c cleaning 162994 clauses out of 326006 with flag 37841434/13520633
1614.61/1610.18	c cleaning 164003 clauses out of 328014 with flag 38316767/13685635
1636.61/1632.04	c cleaning 164998 clauses out of 330010 with flag 38841843/13851634
1656.96/1652.46	c cleaning 165991 clauses out of 332012 with flag 39344040/14018634
1678.62/1674.15	c cleaning 167007 clauses out of 334022 with flag 39876806/14186635
1699.16/1694.62	c cleaning 168006 clauses out of 336016 with flag 40424957/14355636
1718.52/1714.04	c cleaning 168995 clauses out of 338009 with flag 40990278/14525635
1737.97/1733.52	c cleaning 169999 clauses out of 340012 with flag 41555812/14696633
1758.32/1753.83	c cleaning 171003 clauses out of 342014 with flag 42107212/14868634
1783.06/1778.60	c cleaning 171995 clauses out of 344013 with flag 42658212/15041636
1803.69/1799.25	c cleaning 173004 clauses out of 346015 with flag 43254184/15215633
1825.54/1821.06	c cleaning 174001 clauses out of 348013 with flag 43819280/15390635
1846.79/1842.33	c cleaning 174997 clauses out of 350010 with flag 44388702/15566633
1869.98/1865.53	c cleaning 175998 clauses out of 352013 with flag 44973884/15743633
1889.84/1885.40	c cleaning 176992 clauses out of 354015 with flag 45556721/15921633
1913.69/1909.25	c cleaning 178001 clauses out of 356023 with flag 46149717/16100633
1941.52/1936.40	c cleaning 179011 clauses out of 358023 with flag 46748397/16280634
1966.52/1961.49	c cleaning 180003 clauses out of 360014 with flag 47359002/16461636
1987.38/1982.33	c cleaning 181000 clauses out of 362010 with flag 47981355/16643635
2010.96/2005.80	c cleaning 182001 clauses out of 364009 with flag 48623276/16826634
2039.30/2034.25	c cleaning 183000 clauses out of 366007 with flag 49261530/17010633
2062.91/2057.70	c cleaning 183998 clauses out of 368007 with flag 49908088/17195633
2084.37/2079.22	c cleaning 184989 clauses out of 370010 with flag 50538605/17381634
2106.94/2101.77	c cleaning 186003 clauses out of 372020 with flag 51173338/17568633
2131.31/2126.16	c cleaning 187007 clauses out of 374019 with flag 51827986/17756635
2158.44/2153.31	c cleaning 188001 clauses out of 376011 with flag 52461226/17945634
2184.08/2178.95	c cleaning 188994 clauses out of 378010 with flag 53123613/18135634
2209.23/2204.12	c cleaning 190004 clauses out of 380015 with flag 53798399/18326633
2237.00/2231.88	c cleaning 190993 clauses out of 382011 with flag 54458389/18518633
2260.45/2255.20	c cleaning 191989 clauses out of 384018 with flag 55116363/18711633
2284.70/2279.58	c cleaning 193011 clauses out of 386029 with flag 55800765/18905633
2310.09/2304.93	c cleaning 193996 clauses out of 388018 with flag 56465614/19100633
2335.05/2329.93	c cleaning 195004 clauses out of 390024 with flag 57141856/19296635
2362.19/2357.08	c cleaning 196009 clauses out of 392018 with flag 57916392/19493633
2392.42/2386.52	c cleaning 197000 clauses out of 394009 with flag 58709034/19691633
2415.28/2409.32	c cleaning 197996 clauses out of 396012 with flag 59511487/19890636
2442.96/2437.03	c cleaning 198999 clauses out of 398013 with flag 60313581/20090633
2471.17/2465.28	c cleaning 199999 clauses out of 400016 with flag 61122663/20291635
2498.93/2492.94	c cleaning 201006 clauses out of 402016 with flag 61930567/20493634
2526.49/2520.42	c cleaning 202004 clauses out of 404010 with flag 62698480/20696634
2558.34/2552.30	c cleaning 203001 clauses out of 406005 with flag 63457604/20900633
2588.33/2582.39	c cleaning 203995 clauses out of 408005 with flag 64214609/21105634
2612.86/2606.74	c cleaning 204994 clauses out of 410009 with flag 65007871/21311633
2640.31/2634.20	c cleaning 205995 clauses out of 412016 with flag 65819036/21518634
2667.42/2661.34	c cleaning 207001 clauses out of 414020 with flag 66659397/21726633
2700.37/2694.14	c cleaning 208007 clauses out of 416021 with flag 67514685/21935635
2729.14/2721.52	c cleaning 209005 clauses out of 418012 with flag 68311583/22145633
2756.82/2749.27	c cleaning 209997 clauses out of 420009 with flag 69122371/22356635
2786.94/2779.36	c cleaning 211002 clauses out of 422010 with flag 69963766/22568633
2819.84/2812.21	c cleaning 211989 clauses out of 424008 with flag 70770328/22781633
2851.89/2844.21	c cleaning 213010 clauses out of 426020 with flag 71613842/22995634
2888.63/2880.92	c cleaning 214002 clauses out of 428009 with flag 72416198/23210633
2915.03/2907.27	c cleaning 214993 clauses out of 430007 with flag 73256757/23426633
2944.98/2937.28	c cleaning 216002 clauses out of 432016 with flag 74107566/23643635
2974.30/2966.55	c cleaning 216991 clauses out of 434012 with flag 74974252/23861633
3005.95/2998.21	c cleaning 218002 clauses out of 436023 with flag 75850947/24080635
3035.23/3027.46	c cleaning 219004 clauses out of 438021 with flag 76650516/24300635
3066.27/3058.59	c cleaning 220002 clauses out of 440016 with flag 77466326/24521634
3097.95/3090.27	c cleaning 220999 clauses out of 442014 with flag 78303628/24743634
3127.21/3119.53	c cleaning 222005 clauses out of 444014 with flag 79167456/24966633
3154.90/3147.20	c cleaning 222992 clauses out of 446011 with flag 80075286/25190635
3182.89/3175.14	c cleaning 224000 clauses out of 448019 with flag 80956527/25415635
3213.74/3206.11	c cleaning 225004 clauses out of 450017 with flag 81877495/25641633
3243.13/3234.34	c cleaning 225999 clauses out of 452013 with flag 82779414/25868633
3272.97/3264.12	c cleaning 226997 clauses out of 454015 with flag 83679362/26096634
3311.09/3302.32	c cleaning 228005 clauses out of 456020 with flag 84611365/26325636
3347.31/3338.48	c cleaning 229002 clauses out of 458012 with flag 85555956/26555633
3376.15/3367.37	c cleaning 229993 clauses out of 460010 with flag 86480164/26786633
3406.29/3397.49	c cleaning 231000 clauses out of 462017 with flag 87406455/27018633
3440.13/3431.30	c cleaning 232004 clauses out of 464017 with flag 88363295/27251633
3471.43/3462.51	c cleaning 232990 clauses out of 466013 with flag 89309634/27485633
3509.56/3500.71	c cleaning 234010 clauses out of 468026 with flag 90289343/27720636
3542.09/3533.17	c cleaning 235001 clauses out of 470015 with flag 91274490/27956635
3579.58/3570.54	c cleaning 236002 clauses out of 472012 with flag 92254848/28193633
3600.04/3591.04	c starts		: 58
3600.04/3591.05	c conflicts		: 28362303
3600.04/3591.05	c decisions		: 38798453
3600.04/3591.06	c propagations		: 559006710
3600.04/3591.06	c inspects		: 12793209465
3600.04/3591.06	c shortcuts		: 0
3600.04/3591.06	c learnt literals	: 0
3600.04/3591.06	c learnt binary clauses	: 0
3600.04/3591.06	c learnt ternary clauses	: 0
3600.04/3591.06	c learnt constraints	: 28362303
3600.04/3591.06	c ignored constraints	: 0
3600.04/3591.06	c root simplifications	: 0
3600.04/3591.06	c removed literals (reason simplification)	: 784435586
3600.04/3591.06	c reason swapping (by a shorter reason)	: 0
3600.04/3591.06	c Calls to reduceDB	: 233
3600.04/3591.06	c Number of update (reduction) of LBD	: 3839139
3600.04/3591.06	c Imported unit clauses	: 0
3600.04/3591.06	c No decision after first conflict	: false
3600.04/3591.06	c number of reductions to clauses (during analyze)	: 0
3600.04/3591.06	c number of learned constraints concerned by reduction	: 0
3600.04/3591.06	c number of learning phase by resolution	: 0
3600.04/3591.06	c number of learning phase by cutting planes	: 0
3600.04/3591.06	c number of rounding to 1 operations	: 0
3600.04/3591.07	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3591.07	c number of reductions of the coefficients by power 2 	: 0
3600.04/3591.07	c number of right shift for reduction by power 2 	: 0
3600.04/3591.07	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3591.07	c number of ending skipping 	: 0
3600.04/3591.07	c number of internal skipping 	: 0
3600.04/3591.07	c number of derivation steps 	: 0
3600.04/3591.07	c number of skipped derivation steps 	: 0
3600.04/3591.07	c number of remaining unassigned 	: 0
3600.04/3591.07	c number of remaining assigned 	: 0
3600.04/3591.07	c number of falsified literals weakened from reason	: 0
3600.04/3591.07	c number of falsified literals weakened from conflict	: 0
3600.04/3591.07	c time for arithmetic operations	: 0
3600.04/3591.07	c minimum degree of deleted constraints	: null
3600.04/3591.07	c maximum degree of deleted constraints	: null
3600.04/3591.07	c number of deleted constraints	: 0
3600.04/3591.08	c speed (assignments/second)	: 155720.37357955612
3600.04/3591.08	c non guided choices	: 1831
3600.24/3591.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 404680
3600.24/3591.14	s SATISFIABLE
3600.24/3591.14	c Found 1 solution(s)
3600.24/3591.16	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.24/3591.17	c objective function=356
3600.24/3591.17	c Total wall clock time (in seconds): 3590.853

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: 63794 MiB (62889 MiB free)
  memory of node 1: 64507 MiB (63783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486386-1751314083/watcher-4486386-1751314083 -o /tmp/evaluation-result-4486386-1751314083/solver-4486386-1751314083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42350 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4486386-1751314083.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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42658, runsolver pid=42655
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 2.38 3.52 3.88 7/325 42676
/proc/meminfo: memFree=129701876/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=18930384 memory=48576 CPUtime=0.12 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 5819 0 0 0 8 4 0 0 20 0 18 0 47087206 19384713216 12144 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4732596 12144 5331 1 0 547035 0
[pid=42658/tid=42660] ppid=42655 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 4685 0 0 0 5 3 0 0 20 0 18 0 47087207 19384713216 12144 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47087212 19384713216 12144 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47087213 19384713216 12144 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48576 KiB

[startup+0.213599 s]*
/proc/loadavg: 2.38 3.52 3.88 6/325 42676
/proc/meminfo: memFree=129694516/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=18930384 memory=55508 CPUtime=0.31 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 6520 0 0 0 26 5 0 0 20 0 18 0 47087206 19384713216 13877 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4732596 13877 5331 1 0 547611 0
[pid=42658/tid=42660] ppid=42655 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 5042 0 0 0 16 3 0 0 20 0 18 0 47087207 19384713216 13877 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=18930384 memory=1593 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47087212 19384713216 13877 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47087213 19384713216 13877 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55508 KiB

[startup+0.316407 s]*
/proc/loadavg: 2.38 3.52 3.88 7/325 42676
/proc/meminfo: memFree=129688404/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=18930384 memory=58916 CPUtime=0.48 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 6810 0 0 0 43 5 0 0 20 0 18 0 47087206 19384713216 14729 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4732596 14729 5427 1 0 547800 0
[pid=42658/tid=42660] ppid=42655 vsize=18930384 memory=-6000919485591349867 CPUtime=0.29 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 5217 0 0 0 26 3 0 0 20 0 18 0 47087207 19384713216 14729 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47087212 19384713216 14729 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47087213 19384713216 14729 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58916 KiB

[startup+0.700377 s]
/proc/loadavg: 2.38 3.52 3.88 6/325 42676
/proc/meminfo: memFree=129670004/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=18930384 memory=111252 CPUtime=1.18 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 8537 0 0 0 110 8 0 0 20 0 18 0 47087206 19384713216 27813 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4732596 27813 5427 1 0 548901 0
[pid=42658/tid=42660] ppid=42655 vsize=18930384 memory=17664 CPUtime=0.61 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 5302 0 0 0 56 5 0 0 20 0 18 0 47087207 19384713216 27813 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47087212 19384713216 27813 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47087213 19384713216 27813 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111252 KiB

[startup+1.50024 s]
/proc/loadavg: 2.38 3.52 3.88 7/326 42677
/proc/meminfo: memFree=129593000/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=182704 CPUtime=2.74 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 22765 0 0 0 262 12 0 0 20 0 20 0 47087206 19521036288 45676 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 45676 5523 1 0 554954 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=3200 CPUtime=1.27 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 7422 0 0 0 121 6 0 0 20 0 20 0 47087207 19521036288 45676 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 45676 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 45676 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182704 KiB

[startup+3.10541 s]
/proc/loadavg: 2.59 3.54 3.89 5/327 42678
/proc/meminfo: memFree=129519704/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=185264 CPUtime=5.29 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 24361 0 0 0 517 12 0 0 20 0 20 0 47087206 19521036288 46316 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 46316 5523 1 0 555126 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=11264 CPUtime=2.85 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 8128 0 0 0 279 6 0 0 20 0 20 0 47087207 19521036288 46316 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 46316 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 46316 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 46316 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185264 KiB

[startup+6.3004 s]
/proc/loadavg: 2.59 3.54 3.89 5/327 42678
/proc/meminfo: memFree=129462360/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=188784 CPUtime=8.63 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 28915 0 0 0 850 13 0 0 20 0 20 0 47087206 19521036288 47196 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 47196 5523 1 0 555130 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=0 CPUtime=6.01 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 8575 0 0 0 595 6 0 0 20 0 20 0 47087207 19521036288 47196 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=-6000919485591349867 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 47196 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 47196 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 47196 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188784 KiB

[startup+12.7005 s]
/proc/loadavg: 2.78 3.56 3.89 7/327 42678
/proc/meminfo: memFree=129284468/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=207672 CPUtime=15.42 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 33028 0 0 0 1527 15 0 0 20 0 20 0 47087206 19521036288 51918 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 51918 5555 1 0 555130 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=207672 CPUtime=12.38 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 9215 0 0 0 1231 7 0 0 20 0 20 0 47087207 19521036288 51918 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 51918 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 51918 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 51918 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 15.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207672 KiB

[startup+25.5005 s]
/proc/loadavg: 3.12 3.60 3.90 5/327 42678
/proc/meminfo: memFree=129046648/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=257020 CPUtime=28.26 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 35470 0 0 0 2809 17 0 0 20 0 20 0 47087206 19521036288 64255 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 64255 5555 1 0 555130 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=207672 CPUtime=24.96 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 9954 0 0 0 2489 7 0 0 20 0 20 0 47087207 19521036288 64255 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 64255 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=224128 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 64255 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=224128 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 64255 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257020 KiB

[startup+51.1127 s]
/proc/loadavg: 3.42 3.64 3.91 5/327 42679
/proc/meminfo: memFree=128628100/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=382020 CPUtime=53.9 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 35609 0 0 0 5369 21 0 0 20 0 20 0 47087206 19521036288 95505 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 95505 5555 1 0 555130 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=382020 CPUtime=50.3 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 9959 0 0 0 5023 7 0 0 20 0 20 0 47087207 19521036288 95505 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=353344 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 95505 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=312384 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 95505 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 95505 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0

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

[startup+3282.3 s]
/proc/loadavg: 4.30 4.22 4.19 5/326 42844
/proc/meminfo: memFree=116754756/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3291.13 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 114375 0 0 0 328876 237 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733120 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=14720 CPUtime=3262.23 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 44948 0 0 0 326175 48 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1141 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3291.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.23 4.19 5/326 42846
/proc/meminfo: memFree=116754520/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3351.2 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 115008 0 0 0 334880 240 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733121 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3321.9 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 45440 0 0 0 332142 48 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1141 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3351.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.22 4.19 5/326 42848
/proc/meminfo: memFree=116536944/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3411.18 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 116573 0 0 0 340876 242 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733121 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3381.66 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 46263 0 0 0 338118 48 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1142 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3411.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/326 42850
/proc/meminfo: memFree=116531484/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3471.23 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 118051 0 0 0 346878 245 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733121 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3441.35 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 46951 0 0 0 344087 48 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1187 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3471.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/326 42852
/proc/meminfo: memFree=116518524/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3531.3 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 118368 0 0 0 352883 247 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733125 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=5632 CPUtime=3501.03 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 47163 0 0 0 350055 48 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3531.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/326 42921
/proc/meminfo: memFree=122690240/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3591.35 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 118924 0 0 0 358883 252 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733125 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=17664 CPUtime=3560.71 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 47616 0 0 0 356020 51 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3591.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591 s]*
/proc/loadavg: 4.17 4.18 4.18 5/326 42921
/proc/meminfo: memFree=122636992/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19063512 memory=2879940 CPUtime=3600.04 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 119163 0 0 0 359752 252 0 0 20 0 20 0 47087206 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4765878 719985 5587 1 0 733125 0
[pid=42658/tid=42660] ppid=42655 vsize=19063512 memory=-6000919472639208043 CPUtime=3569.4 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 47809 0 0 0 356889 51 0 0 20 0 20 0 47087207 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19063512 memory=9216 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087212 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19063512 memory=26140 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 20 0 47087213 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42678] ppid=42655 vsize=19063512 memory=9088 CPUtime=0 cores=1,3
/proc/42658/task/42678/stat : 42678 (Timer-0) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47087332 19521036288 719985 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2879940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.55603 s

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

[startup+3591.12 s]
/proc/loadavg: 4.17 4.18 4.18 5/326 42921
/proc/meminfo: memFree=122636992/131382112 swapFree=33010160/33010684
[pid=42658] ppid=42655 vsize=19263204 memory=2880708 CPUtime=3600.24 cores=1,3
/proc/42658/stat : 42658 (java) S 42655 42658 42338 0 -1 4194304 121680 0 0 0 359771 253 0 0 20 0 21 0 47087206 19725520896 720177 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
/proc/42658/statm: 4815801 720177 5587 1 0 734106 0
[pid=42658/tid=42660] ppid=42655 vsize=19263204 memory=14720 CPUtime=3569.49 cores=1,3
/proc/42658/task/42660/stat : 42660 (java) R 42655 42658 42338 0 -1 4194368 48158 0 0 0 356898 51 0 0 20 0 21 0 47087207 19725520896 720177 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42669] ppid=42655 vsize=19263204 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42669/stat : 42669 (Finalizer) S 42655 42658 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47087212 19725520896 720177 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
[pid=42658/tid=42676] ppid=42655 vsize=19263204 memory=2879940 CPUtime=0 cores=1,3
/proc/42658/task/42676/stat : 42676 (Common-Cleaner) S 42655 42658 42338 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 21 0 47087213 19725520896 720177 18446744073709551615 93934022922240 93934022925936 140728936918320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93934022933752 93934022934544 93934026010624 140728936925569 140728936925670 140728936925670 140728936931272 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2880708 KiB

Child status: 143

Real time (s): 3591.2
CPU time (s): 3600.38
CPU user time (s): 3597.82
CPU system time (s): 2.55603
CPU usage (%): 100.256
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2880708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.55603
maximum resident set size= 2880964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111017
involuntary context switches= 4716


# summary of solver processes directly reported to runsolver:
#   pid: 42658
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.55603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1924 second user time and 35.4966 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-06-30 22:08:03
IDJOB=4486386
IDBENCH=147019
IDSOLVER=3363
FILE ID=nodeC001/4486386-1751314083
RUNJOBID= nodeC001-1751314075-42350
SLURM_JOB_ID= 9594322
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486386-1751314083/watcher-4486386-1751314083 -o /tmp/evaluation-result-4486386-1751314083/solver-4486386-1751314083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42350 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4486386-1751314083.opb

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=830651819

nodeC001 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	: 0xb00001f
cpu MHz		: 3491.745
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.527
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.266
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.196
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3643.882
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3638.188
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129713592 kB
MemAvailable:   129463944 kB
Buffers:            2128 kB
Cached:           555124 kB
SwapCached:           28 kB
Active:           879336 kB
Inactive:         256260 kB
Active(anon):     585900 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   245880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8736 kB
Writeback:             8 kB
AnonPages:        581540 kB
Mapped:           122608 kB
Shmem:             17932 kB
KReclaimable:     100944 kB
Slab:             183664 kB
SReclaimable:     100944 kB
SUnreclaim:        82720 kB
KernelStack:        4944 kB
PageTables:         4764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7039408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150264 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC001 at 2025-06-30 23:07:55