Trace number 4509157

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)1183 3600.28 3579.21

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
MD5SUM38f4f8acf083ab1c186c19b7f9dc1b90
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1183
Best CPU time to get the best result obtained on this benchmark94.7223
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2460
Total number of constraints4720
Number of constraints which are clauses2340
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints2340
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2340
Biggest coefficient in the objective function 39
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 31980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 31980
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.11/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.19	c See www.sat4j.org for details.
0.11/0.21	c version PB25.v20250606
0.24/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.23	c java.vm.version	22.0.1+8-16
0.24/0.23	c java.vm.vendor	Oracle Corporation
0.24/0.23	c sun.arch.data.model	64
0.24/0.23	c java.version		22.0.1
0.24/0.23	c os.name		Linux
0.24/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.24	c os.arch		amd64
0.24/0.24	c Free memory 		2104792832
0.24/0.24	c Max memory 		16282288128
0.24/0.24	c Total memory 		2113929216
0.24/0.25	c Number of processors 	2
0.38/0.36	c Pseudo Boolean Optimization by upper bound
0.38/0.36	c --- Begin Solver configuration ---
0.38/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.38/0.36	c Learn all clauses as in MiniSAT
0.38/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.38/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.38/0.36	c Expensive reason simplification
0.38/0.36	c Glucose 2.1 dynamic restart strategy
0.38/0.36	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.38/0.36	c timeout=2147483s
0.38/0.36	c DB Simplification allowed=false
0.38/0.36	c Listener: none
0.38/0.36	c --- End Solver configuration ---
0.38/0.36	c solving HOME/instance-4509157-1751518249.opb
0.38/0.36	c reading problem ... 
0.38/0.36	c using VERIPB proof format
0.38/0.37	c  objective function found
0.74/0.60	c ... done. Wall clock time 0.236s.
0.74/0.60	c declared #vars     2460
0.74/0.60	c #constraints  4760
0.74/0.60	c constraints type 
0.74/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.74/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2340
0.74/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2380
0.74/0.60	c 4760 constraints processed.
0.90/0.62	c objective function length is 2340 literals
1.07/0.79	c SATISFIABLE
1.07/0.79	c OPTIMIZING...
1.07/0.79	c Got one! Elapsed wall clock time (in seconds):0.428
1.07/0.79	o 2908
1.27/0.88	c Got one! Elapsed wall clock time (in seconds):0.521
1.27/0.88	o 1183
3.64/2.06	c cleaning 2577 clauses out of 5168 with flag 11421/5168
4.83/2.68	c cleaning 4290 clauses out of 8591 with flag 24611/11168
6.07/3.31	c cleaning 5646 clauses out of 11301 with flag 40360/18168
6.98/4.00	c cleaning 6821 clauses out of 13656 with flag 58376/26169
8.05/4.74	c cleaning 7913 clauses out of 15835 with flag 77962/35169
8.84/5.58	c cleaning 8957 clauses out of 17923 with flag 99674/45170
10.03/6.51	c cleaning 9975 clauses out of 19964 with flag 123547/56168
11.03/7.50	c cleaning 10990 clauses out of 21993 with flag 150439/68172
12.13/8.57	c cleaning 11989 clauses out of 23999 with flag 179102/81168
13.59/9.91	c cleaning 13001 clauses out of 26012 with flag 210137/95170
15.66/11.92	c cleaning 13999 clauses out of 28010 with flag 243827/110169
17.90/13.98	c cleaning 15000 clauses out of 30012 with flag 279501/126170
19.55/15.50	c cleaning 16001 clauses out of 32010 with flag 317076/143168
21.11/16.98	c cleaning 16999 clauses out of 34009 with flag 356392/161168
22.78/18.61	c cleaning 18006 clauses out of 36011 with flag 397647/180169
24.38/20.26	c cleaning 18993 clauses out of 38004 with flag 441268/200168
25.98/21.89	c cleaning 20004 clauses out of 40012 with flag 488320/221169
27.79/23.66	c cleaning 21001 clauses out of 42007 with flag 536140/243168
29.69/25.50	c cleaning 22001 clauses out of 44006 with flag 586501/266168
32.55/28.46	c cleaning 23001 clauses out of 46005 with flag 639814/290168
34.63/30.57	c cleaning 23997 clauses out of 48004 with flag 694565/315168
37.68/33.79	c cleaning 24999 clauses out of 50007 with flag 751211/341168
41.35/37.45	c cleaning 26001 clauses out of 52009 with flag 809249/368169
45.05/41.16	c cleaning 26996 clauses out of 54007 with flag 869834/396168
47.43/43.53	c cleaning 28004 clauses out of 56013 with flag 932519/425170
51.30/47.42	c cleaning 29000 clauses out of 58007 with flag 996939/455168
53.77/49.98	c cleaning 30000 clauses out of 60007 with flag 1063532/486168
56.17/52.32	c cleaning 31001 clauses out of 62007 with flag 1133184/518168
58.56/54.71	c cleaning 31998 clauses out of 64006 with flag 1202681/551168
62.65/58.84	c cleaning 32997 clauses out of 66008 with flag 1274669/585168
65.74/61.96	c cleaning 34004 clauses out of 68013 with flag 1348112/620170
68.47/64.64	c cleaning 35004 clauses out of 70007 with flag 1424425/656168
71.18/67.44	c cleaning 36001 clauses out of 72004 with flag 1504191/693169
74.10/70.32	c cleaning 37001 clauses out of 74002 with flag 1585473/731168
77.20/73.41	c cleaning 37995 clauses out of 76001 with flag 1667649/770168
80.65/76.81	c cleaning 38994 clauses out of 78006 with flag 1753269/810168
85.31/81.59	c cleaning 40003 clauses out of 80013 with flag 1840770/851169
88.70/84.95	c cleaning 41003 clauses out of 82009 with flag 1930546/893168
91.99/88.29	c cleaning 42004 clauses out of 84007 with flag 2022455/936169
95.58/91.84	c cleaning 42998 clauses out of 86003 with flag 2116451/980169
99.18/95.40	c cleaning 43997 clauses out of 88004 with flag 2212085/1025168
102.74/99.18	c cleaning 45004 clauses out of 90008 with flag 2309065/1071169
106.25/102.68	c cleaning 46000 clauses out of 92003 with flag 2407647/1118168
110.14/106.51	c cleaning 46996 clauses out of 94004 with flag 2510370/1166169
114.15/110.59	c cleaning 47998 clauses out of 96007 with flag 2616049/1215168
118.03/114.45	c cleaning 49001 clauses out of 98009 with flag 2721762/1265168
121.85/118.30	c cleaning 50005 clauses out of 100009 with flag 2828683/1316169
127.35/123.70	c cleaning 50997 clauses out of 102003 with flag 2939892/1368168
132.87/129.49	c cleaning 52004 clauses out of 104007 with flag 3053069/1421169
137.32/133.86	c cleaning 52998 clauses out of 106002 with flag 3168094/1475168
141.53/138.10	c cleaning 53994 clauses out of 108004 with flag 3286777/1530168
146.20/142.41	c cleaning 55000 clauses out of 110010 with flag 3405886/1586168
151.02/147.27	c cleaning 56000 clauses out of 112011 with flag 3526115/1643169
155.15/151.39	c cleaning 57005 clauses out of 114010 with flag 3647747/1701168
159.53/155.71	c cleaning 58001 clauses out of 116005 with flag 3775620/1760168
164.04/160.40	c cleaning 58997 clauses out of 118005 with flag 3906241/1820169
169.18/165.51	c cleaning 59998 clauses out of 120008 with flag 4039094/1881169
174.74/171.08	c cleaning 60998 clauses out of 122009 with flag 4170293/1943168
181.83/178.20	c cleaning 62006 clauses out of 124014 with flag 4306863/2006171
187.53/183.85	c cleaning 62998 clauses out of 126006 with flag 4444734/2070169
193.66/190.11	c cleaning 63999 clauses out of 128008 with flag 4581342/2135169
199.17/195.58	c cleaning 65000 clauses out of 130008 with flag 4720334/2201168
204.55/200.93	c cleaning 66000 clauses out of 132008 with flag 4862859/2268168
209.98/206.34	c cleaning 67002 clauses out of 134009 with flag 5007043/2336169
215.24/211.54	c cleaning 67999 clauses out of 136007 with flag 5151088/2405169
222.68/218.97	c cleaning 69000 clauses out of 138007 with flag 5298684/2475168
228.41/224.77	c cleaning 70001 clauses out of 140008 with flag 5450869/2546169
235.84/232.13	c cleaning 70999 clauses out of 142007 with flag 5602866/2618169
244.07/240.41	c cleaning 72002 clauses out of 144007 with flag 5759169/2691168
250.61/246.95	c cleaning 72994 clauses out of 146005 with flag 5915198/2765168
257.67/254.05	c cleaning 74003 clauses out of 148011 with flag 6073015/2840168
265.82/262.18	c cleaning 74995 clauses out of 150008 with flag 6234886/2916168
272.76/269.10	c cleaning 76003 clauses out of 152013 with flag 6398732/2993168
279.31/275.55	c cleaning 76998 clauses out of 154011 with flag 6562939/3071169
285.67/282.03	c cleaning 78003 clauses out of 156012 with flag 6729106/3150168
292.01/288.30	c cleaning 79002 clauses out of 158010 with flag 6896530/3230169
299.76/296.08	c cleaning 79999 clauses out of 160009 with flag 7069607/3311170
306.98/303.29	c cleaning 81000 clauses out of 162008 with flag 7244782/3393168
315.11/311.39	c cleaning 81997 clauses out of 164008 with flag 7421742/3476168
321.87/318.44	c cleaning 83003 clauses out of 166011 with flag 7598672/3560168
330.38/326.90	c cleaning 84002 clauses out of 168009 with flag 7779473/3645169
338.03/334.57	c cleaning 85000 clauses out of 170007 with flag 7964374/3731169
346.74/343.40	c cleaning 85994 clauses out of 172006 with flag 8145404/3818168
353.55/350.27	c cleaning 86999 clauses out of 174012 with flag 8329727/3906168
361.80/358.43	c cleaning 88006 clauses out of 176014 with flag 8514413/3995169
369.43/365.90	c cleaning 88998 clauses out of 178008 with flag 8702068/4085169
376.62/373.05	c cleaning 90003 clauses out of 180009 with flag 8891952/4176168
384.42/380.99	c cleaning 90996 clauses out of 182007 with flag 9082464/4268169
393.41/389.92	c cleaning 92001 clauses out of 184010 with flag 9278874/4361168
400.95/397.42	c cleaning 93001 clauses out of 186009 with flag 9479144/4455168
409.95/406.52	c cleaning 94000 clauses out of 188008 with flag 9675348/4550168
417.06/413.60	c cleaning 95001 clauses out of 190009 with flag 9873368/4646169
424.82/421.20	c cleaning 96002 clauses out of 192008 with flag 10073724/4743169
432.29/428.65	c cleaning 97003 clauses out of 194005 with flag 10277653/4841168
439.33/435.70	c cleaning 97997 clauses out of 196002 with flag 10481505/4940168
448.19/444.58	c cleaning 99004 clauses out of 198007 with flag 10687720/5040170
456.95/453.25	c cleaning 99999 clauses out of 200001 with flag 10895332/5141168
466.88/463.15	c cleaning 100996 clauses out of 202002 with flag 11105275/5243168
475.00/471.23	c cleaning 102002 clauses out of 204006 with flag 11316234/5346168
483.08/479.24	c cleaning 103000 clauses out of 206004 with flag 11529642/5450168
492.09/488.29	c cleaning 103995 clauses out of 208004 with flag 11745086/5555168
499.81/495.99	c cleaning 105002 clauses out of 210009 with flag 11960961/5661168
510.03/506.14	c cleaning 105998 clauses out of 212007 with flag 12180883/5768168
518.38/514.42	c cleaning 106998 clauses out of 214009 with flag 12405020/5876168
528.28/524.37	c cleaning 108002 clauses out of 216012 with flag 12631501/5985169
539.14/535.28	c cleaning 109000 clauses out of 218009 with flag 12865718/6095168
548.56/544.57	c cleaning 109994 clauses out of 220010 with flag 13098447/6206169
557.43/553.30	c cleaning 111007 clauses out of 222016 with flag 13330422/6318169
569.34/565.34	c cleaning 111996 clauses out of 224008 with flag 13565071/6431168
578.27/574.25	c cleaning 113001 clauses out of 226012 with flag 13804262/6545168
587.66/583.56	c cleaning 114000 clauses out of 228013 with flag 14046043/6660170
598.27/594.26	c cleaning 114994 clauses out of 230011 with flag 14288965/6776168
610.43/606.96	c cleaning 116004 clauses out of 232017 with flag 14530871/6893168
621.14/617.51	c cleaning 117004 clauses out of 234015 with flag 14775802/7011170
629.75/626.16	c cleaning 118003 clauses out of 236009 with flag 15024058/7130168
641.00/636.91	c cleaning 118997 clauses out of 238007 with flag 15277493/7250169
649.69/645.62	c cleaning 120002 clauses out of 240009 with flag 15533652/7371168
660.11/656.05	c cleaning 121002 clauses out of 242008 with flag 15787643/7493169
669.87/665.82	c cleaning 122000 clauses out of 244005 with flag 16049172/7616168
681.14/677.19	c cleaning 123002 clauses out of 246005 with flag 16302122/7740168
692.21/688.22	c cleaning 123998 clauses out of 248005 with flag 16560496/7865170
703.50/699.68	c cleaning 124996 clauses out of 250005 with flag 16824145/7991168
715.54/711.71	c cleaning 125996 clauses out of 252009 with flag 17096971/8118168
727.42/723.69	c cleaning 126999 clauses out of 254013 with flag 17376333/8246168
738.95/735.36	c cleaning 127997 clauses out of 256014 with flag 17650525/8375168
749.28/745.66	c cleaning 129007 clauses out of 258017 with flag 17924587/8505168
759.16/755.64	c cleaning 130001 clauses out of 260010 with flag 18191209/8636168
769.40/765.80	c cleaning 131005 clauses out of 262010 with flag 18459474/8768169
779.04/775.40	c cleaning 132002 clauses out of 264005 with flag 18729534/8901169
790.33/786.85	c cleaning 132996 clauses out of 266003 with flag 19003418/9035169
800.70/797.09	c cleaning 134003 clauses out of 268008 with flag 19278201/9170170
811.09/807.33	c cleaning 135002 clauses out of 270003 with flag 19554828/9306168
822.53/819.61	c cleaning 135989 clauses out of 272001 with flag 19833801/9443168
834.44/831.59	c cleaning 137002 clauses out of 274013 with flag 20120029/9581169
844.97/842.16	c cleaning 137997 clauses out of 276011 with flag 20405217/9720169
856.46/853.58	c cleaning 139000 clauses out of 278013 with flag 20693686/9860168
869.27/866.31	c cleaning 139998 clauses out of 280013 with flag 20983907/10001168
880.56/877.73	c cleaning 141002 clauses out of 282016 with flag 21273617/10143169
891.08/888.20	c cleaning 141999 clauses out of 284013 with flag 21566303/10286168
904.76/901.82	c cleaning 143002 clauses out of 286014 with flag 21860662/10430168
917.58/914.73	c cleaning 144003 clauses out of 288013 with flag 22156625/10575169
929.14/926.33	c cleaning 144996 clauses out of 290009 with flag 22454239/10721168
941.51/939.15	c cleaning 145999 clauses out of 292014 with flag 22754200/10868169
955.39/953.04	c cleaning 147001 clauses out of 294014 with flag 23058126/11016168
968.17/965.69	c cleaning 148000 clauses out of 296013 with flag 23362133/11165168
979.75/977.52	c cleaning 149000 clauses out of 298013 with flag 23672432/11315168
992.14/989.93	c cleaning 149998 clauses out of 300014 with flag 23990198/11466169
1004.12/1002.07	c cleaning 151005 clauses out of 302015 with flag 24307827/11618168
1016.21/1014.13	c cleaning 152000 clauses out of 304010 with flag 24626890/11771168
1029.56/1027.45	c cleaning 152999 clauses out of 306010 with flag 24942848/11925168
1041.28/1039.28	c cleaning 154004 clauses out of 308012 with flag 25260211/12080169
1053.88/1051.83	c cleaning 155001 clauses out of 310008 with flag 25580404/12236169
1066.99/1065.03	c cleaning 155999 clauses out of 312006 with flag 25902015/12393168
1079.06/1076.94	c cleaning 157004 clauses out of 314007 with flag 26226981/12551168
1091.05/1088.80	c cleaning 158000 clauses out of 316004 with flag 26553547/12710169
1104.94/1102.99	c cleaning 158999 clauses out of 318004 with flag 26881739/12870169
1117.70/1115.54	c cleaning 159996 clauses out of 320005 with flag 27212399/13031169
1132.20/1130.12	c cleaning 160996 clauses out of 322008 with flag 27544294/13193168
1146.29/1144.23	c cleaning 162007 clauses out of 324013 with flag 27881919/13356169
1160.39/1158.35	c cleaning 163002 clauses out of 326005 with flag 28218762/13520168
1173.65/1171.53	c cleaning 163999 clauses out of 328003 with flag 28558473/13685168
1187.08/1184.84	c cleaning 164998 clauses out of 330007 with flag 28898824/13851171
1202.83/1202.55	c cleaning 166002 clauses out of 332007 with flag 29241248/14018169
1219.18/1218.82	c cleaning 166994 clauses out of 334004 with flag 29587633/14186168
1235.77/1236.83	c cleaning 168001 clauses out of 336011 with flag 29935262/14355169
1250.81/1251.72	c cleaning 168998 clauses out of 338010 with flag 30284694/14525169
1266.65/1267.63	c cleaning 170001 clauses out of 340011 with flag 30634059/14696168
1279.58/1280.52	c cleaning 170999 clauses out of 342011 with flag 30984629/14868169
1295.92/1300.83	c cleaning 172004 clauses out of 344012 with flag 31339889/15041169
1312.47/1317.47	c cleaning 172998 clauses out of 346008 with flag 31698327/15215169
1326.91/1331.86	c cleaning 174002 clauses out of 348009 with flag 32055231/15390168
1341.24/1345.70	c cleaning 174998 clauses out of 350007 with flag 32413494/15566168
1357.08/1361.88	c cleaning 175999 clauses out of 352009 with flag 32775525/15743168
1371.10/1375.87	c cleaning 177002 clauses out of 354012 with flag 33139125/15921170
1386.08/1390.83	c cleaning 178001 clauses out of 356008 with flag 33504402/16100168
1403.76/1408.59	c cleaning 179003 clauses out of 358008 with flag 33871275/16280169
1418.12/1422.83	c cleaning 180001 clauses out of 360004 with flag 34241595/16461168
1432.02/1436.65	c cleaning 180998 clauses out of 362003 with flag 34613047/16643168
1446.00/1450.54	c cleaning 181999 clauses out of 364005 with flag 34985880/16826168
1459.61/1464.10	c cleaning 182999 clauses out of 366007 with flag 35358490/17010169
1475.16/1479.46	c cleaning 184002 clauses out of 368008 with flag 35733925/17195169
1492.35/1496.75	c cleaning 185003 clauses out of 370006 with flag 36110738/17381169
1509.16/1514.19	c cleaning 185996 clauses out of 372003 with flag 36488822/17568169
1525.77/1530.72	c cleaning 187000 clauses out of 374007 with flag 36869846/17756169
1544.54/1549.60	c cleaning 188003 clauses out of 376007 with flag 37276381/17945169
1561.54/1566.60	c cleaning 189001 clauses out of 378004 with flag 37674563/18135169
1578.60/1583.82	c cleaning 190002 clauses out of 380003 with flag 38066753/18326169
1593.48/1598.52	c cleaning 190996 clauses out of 382000 with flag 38455236/18518168
1610.44/1615.58	c cleaning 191996 clauses out of 384006 with flag 38850094/18711170
1627.78/1632.99	c cleaning 192992 clauses out of 386009 with flag 39250860/18905169
1644.33/1649.51	c cleaning 193998 clauses out of 388018 with flag 39654201/19100170
1662.06/1667.44	c cleaning 195007 clauses out of 390019 with flag 40059840/19296169
1678.22/1683.55	c cleaning 196002 clauses out of 392011 with flag 40463570/19493168
1696.13/1701.63	c cleaning 197003 clauses out of 394009 with flag 40870119/19691168
1715.18/1720.65	c cleaning 197997 clauses out of 396006 with flag 41275236/19890168
1732.62/1738.19	c cleaning 198997 clauses out of 398009 with flag 41688627/20090168
1750.56/1755.93	c cleaning 200003 clauses out of 400012 with flag 42100554/20291168
1767.77/1773.51	c cleaning 200998 clauses out of 402010 with flag 42513772/20493169
1783.52/1789.18	c cleaning 201999 clauses out of 404012 with flag 42930978/20696169
1803.09/1808.75	c cleaning 203003 clauses out of 406012 with flag 43355602/20900168
1821.20/1827.00	c cleaning 204001 clauses out of 408009 with flag 43782587/21105168
1838.06/1843.66	c cleaning 205003 clauses out of 410009 with flag 44207767/21311169
1856.75/1862.39	c cleaning 205996 clauses out of 412006 with flag 44633618/21518169
1876.60/1882.18	c cleaning 207001 clauses out of 414014 with flag 45062252/21726173
1894.84/1900.31	c cleaning 207998 clauses out of 416010 with flag 45487312/21935170
1912.37/1917.05	c cleaning 209001 clauses out of 418011 with flag 45913202/22145169
1931.16/1935.87	c cleaning 209997 clauses out of 420010 with flag 46346122/22356169
1950.77/1954.29	c cleaning 210998 clauses out of 422013 with flag 46776528/22568169
1970.78/1973.52	c cleaning 212003 clauses out of 424015 with flag 47208889/22781169
1991.80/1998.00	c cleaning 213004 clauses out of 426011 with flag 47643869/22995168
2012.64/2017.97	c cleaning 213996 clauses out of 428008 with flag 48083939/23210169
2033.96/2038.30	c cleaning 215000 clauses out of 430011 with flag 48529034/23426168
2057.38/2061.01	c cleaning 216005 clauses out of 432011 with flag 48977569/23643168
2078.00/2080.95	c cleaning 216998 clauses out of 434006 with flag 49427619/23861168
2099.67/2101.66	c cleaning 218000 clauses out of 436009 with flag 49879951/24080169
2122.86/2123.02	c cleaning 218994 clauses out of 438008 with flag 50334474/24300168
2145.74/2144.41	c cleaning 220002 clauses out of 440014 with flag 50793468/24521168
2166.65/2163.79	c cleaning 221000 clauses out of 442012 with flag 51248235/24743168
2185.56/2181.86	c cleaning 221999 clauses out of 444012 with flag 51703509/24966168
2208.56/2203.25	c cleaning 222999 clauses out of 446013 with flag 52162594/25190168
2232.24/2225.63	c cleaning 224004 clauses out of 448016 with flag 52627453/25415170
2251.50/2244.15	c cleaning 224998 clauses out of 450011 with flag 53092347/25641169
2274.27/2265.74	c cleaning 226004 clauses out of 452014 with flag 53559677/25868170
2295.55/2284.92	c cleaning 227001 clauses out of 454009 with flag 54028349/26096169
2315.50/2304.57	c cleaning 228003 clauses out of 456007 with flag 54498870/26325168
2340.97/2328.56	c cleaning 228997 clauses out of 458004 with flag 54975650/26555168
2362.11/2348.06	c cleaning 229997 clauses out of 460008 with flag 55451612/26786169
2385.11/2369.90	c cleaning 230998 clauses out of 462011 with flag 55925587/27018169
2409.02/2393.60	c cleaning 232002 clauses out of 464012 with flag 56404380/27251168
2432.09/2415.00	c cleaning 232999 clauses out of 466011 with flag 56883912/27485169
2454.94/2436.73	c cleaning 234000 clauses out of 468011 with flag 57364084/27720168
2477.51/2458.58	c cleaning 235000 clauses out of 470012 with flag 57847304/27956169
2505.18/2485.54	c cleaning 235997 clauses out of 472012 with flag 58337578/28193169
2533.58/2513.30	c cleaning 237000 clauses out of 474015 with flag 58836734/28431169
2554.94/2533.86	c cleaning 238001 clauses out of 476014 with flag 59327233/28670168
2582.49/2561.42	c cleaning 238997 clauses out of 478017 with flag 59864562/28910172
2610.88/2589.60	c cleaning 240001 clauses out of 480016 with flag 60429919/29151168
2637.01/2620.06	c cleaning 241004 clauses out of 482015 with flag 60941555/29393168
2657.74/2640.87	c cleaning 242002 clauses out of 484011 with flag 61443112/29636168
2677.78/2660.86	c cleaning 242999 clauses out of 486009 with flag 61942509/29880168
2699.33/2682.32	c cleaning 244003 clauses out of 488012 with flag 62446673/30125170
2725.76/2709.97	c cleaning 244997 clauses out of 490008 with flag 62957654/30371169
2750.77/2734.90	c cleaning 246002 clauses out of 492012 with flag 63472658/30618170
2778.78/2762.80	c cleaning 246997 clauses out of 494008 with flag 63994844/30866168
2806.73/2789.83	c cleaning 248005 clauses out of 496012 with flag 64521713/31115169
2829.76/2812.84	c cleaning 248997 clauses out of 498007 with flag 65034731/31365169
2850.47/2833.33	c cleaning 249995 clauses out of 500009 with flag 65545978/31616168
2873.17/2855.92	c cleaning 251001 clauses out of 502014 with flag 66064672/31868168
2898.96/2881.77	c cleaning 252000 clauses out of 504013 with flag 66603560/32121168
2922.43/2905.14	c cleaning 253002 clauses out of 506013 with flag 67127994/32375168
2944.09/2926.81	c cleaning 254002 clauses out of 508011 with flag 67644489/32630168
2966.95/2949.69	c cleaning 254999 clauses out of 510010 with flag 68164739/32886169
2988.84/2971.55	c cleaning 255999 clauses out of 512010 with flag 68686273/33143168
3013.70/2996.34	c cleaning 256999 clauses out of 514012 with flag 69212237/33401169
3038.79/3021.32	c cleaning 257998 clauses out of 516012 with flag 69744797/33660168
3064.19/3046.71	c cleaning 259000 clauses out of 518015 with flag 70280211/33920169
3087.71/3070.23	c cleaning 260001 clauses out of 520015 with flag 70814445/34181169
3109.62/3092.26	c cleaning 261001 clauses out of 522014 with flag 71349604/34443169
3131.13/3113.57	c cleaning 262003 clauses out of 524013 with flag 71888094/34706169
3156.82/3138.43	c cleaning 262997 clauses out of 526009 with flag 72427486/34970168
3181.80/3163.46	c cleaning 264002 clauses out of 528012 with flag 72969379/35235168
3204.97/3186.52	c cleaning 265003 clauses out of 530010 with flag 73512948/35501168
3227.24/3208.63	c cleaning 265998 clauses out of 532008 with flag 74057178/35768169
3251.74/3233.64	c cleaning 267003 clauses out of 534011 with flag 74603701/36036170
3277.68/3259.50	c cleaning 267996 clauses out of 536007 with flag 75152559/36305169
3302.64/3284.42	c cleaning 268997 clauses out of 538010 with flag 75705148/36575168
3325.89/3307.68	c cleaning 270002 clauses out of 540013 with flag 76259795/36846168
3356.72/3338.43	c cleaning 271002 clauses out of 542013 with flag 76818846/37118170
3381.88/3363.69	c cleaning 272004 clauses out of 544010 with flag 77375840/37391169
3406.50/3388.36	c cleaning 272999 clauses out of 546006 with flag 77934213/37665169
3430.93/3412.78	c cleaning 274001 clauses out of 548006 with flag 78493181/37940168
3456.77/3438.66	c cleaning 274998 clauses out of 550006 with flag 79057475/38216169
3487.40/3469.32	c cleaning 276000 clauses out of 552008 with flag 79630681/38493169
3511.83/3493.69	c cleaning 276999 clauses out of 554008 with flag 80199703/38771169
3536.35/3517.40	c cleaning 277996 clauses out of 556008 with flag 80765937/39050168
3563.30/3543.34	c cleaning 278999 clauses out of 558012 with flag 81334043/39330168
3591.29/3571.04	c cleaning 280000 clauses out of 560013 with flag 81912199/39611168
3600.01/3578.92	c starts		: 12549
3600.01/3578.93	c conflicts		: 39720344
3600.01/3578.93	c decisions		: 46253722
3600.01/3578.93	c propagations		: 4488747507
3600.01/3578.93	c inspects		: 14932949183
3600.01/3578.93	c shortcuts		: 0
3600.01/3578.93	c learnt literals	: 0
3600.01/3578.93	c learnt binary clauses	: 0
3600.01/3578.93	c learnt ternary clauses	: 0
3600.01/3578.93	c learnt constraints	: 39720344
3600.01/3578.93	c ignored constraints	: 0
3600.01/3578.93	c root simplifications	: 0
3600.01/3578.93	c removed literals (reason simplification)	: 847376624
3600.01/3578.93	c reason swapping (by a shorter reason)	: 0
3600.01/3578.93	c Calls to reduceDB	: 277
3600.01/3578.93	c Number of update (reduction) of LBD	: 851994
3600.01/3578.93	c Imported unit clauses	: 0
3600.01/3578.93	c No decision after first conflict	: false
3600.01/3578.93	c number of reductions to clauses (during analyze)	: 0
3600.01/3578.93	c number of learned constraints concerned by reduction	: 0
3600.01/3578.93	c number of learning phase by resolution	: 0
3600.01/3578.93	c number of learning phase by cutting planes	: 0
3600.01/3578.93	c number of rounding to 1 operations	: 0
3600.01/3578.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3578.93	c number of reductions of the coefficients by power 2 	: 0
3600.01/3578.93	c number of right shift for reduction by power 2 	: 0
3600.01/3578.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3578.93	c number of ending skipping 	: 0
3600.01/3578.93	c number of internal skipping 	: 0
3600.01/3578.93	c number of derivation steps 	: 0
3600.01/3578.93	c number of skipped derivation steps 	: 0
3600.01/3578.93	c number of remaining unassigned 	: 0
3600.01/3578.93	c number of remaining assigned 	: 0
3600.01/3578.93	c number of falsified literals weakened from reason	: 0
3600.01/3578.93	c number of falsified literals weakened from conflict	: 0
3600.01/3578.93	c time for arithmetic operations	: 0
3600.01/3578.93	c minimum degree of deleted constraints	: null
3600.01/3578.93	c maximum degree of deleted constraints	: null
3600.01/3578.93	c number of deleted constraints	: 0
3600.01/3578.93	c speed (assignments/second)	: 1254442.4283615514
3600.01/3578.94	c non guided choices	: 57
3600.21/3579.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 389189
3600.21/3579.01	s SATISFIABLE
3600.21/3579.01	c Found 2 solution(s)
3600.21/3579.02	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 
3600.21/3579.02	c objective function=1183
3600.21/3579.02	c Total wall clock time (in seconds): 3578.662

Verifier Data 

OK	1183

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74856, runsolver pid=74853

[startup+0.100082 s]*
/proc/loadavg: 5.60 6.08 5.88 7/329 74874
/proc/meminfo: memFree=87577040/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=18930384 memory=50416 CPUtime=0.11 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 5746 0 0 0 8 3 0 0 20 0 18 0 67503764 19384713216 12604 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4732596 12604 5336 1 0 546978 0
[pid=74856/tid=74858] ppid=74853 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 4640 0 0 0 4 2 0 0 20 0 18 0 67503765 19384713216 12604 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67503770 19384713216 12604 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67503771 19384713216 12604 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50416 KiB

[startup+0.209536 s]*
/proc/loadavg: 5.60 6.08 5.88 5/329 74874
/proc/meminfo: memFree=87568976/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=18930384 memory=53768 CPUtime=0.24 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 6103 0 0 0 21 3 0 0 20 0 18 0 67503764 19384713216 13442 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4732596 13442 5336 1 0 547258 0
[pid=74856/tid=74858] ppid=74853 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 4957 0 0 0 13 2 0 0 20 0 18 0 67503765 19384713216 13442 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67503770 19384713216 13442 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67503771 19384713216 13442 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53768 KiB

[startup+0.319268 s]*
/proc/loadavg: 5.60 6.08 5.88 7/329 74874
/proc/meminfo: memFree=87564880/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=18930384 memory=59932 CPUtime=0.38 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 6594 0 0 0 34 4 0 0 20 0 18 0 67503764 19384713216 14983 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4732596 14983 5336 1 0 547725 0
[pid=74856/tid=74858] ppid=74853 vsize=18930384 memory=-6000919494181152872 CPUtime=0.23 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) S 74853 74856 73970 0 -1 4194368 5117 0 0 0 20 3 0 0 20 0 18 0 67503765 19384713216 14983 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67503770 19384713216 14983 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67503771 19384713216 14983 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59932 KiB

[startup+0.700396 s]
/proc/loadavg: 5.60 6.08 5.88 7/329 74874
/proc/meminfo: memFree=87547112/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=18996948 memory=78536 CPUtime=1.07 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 7051 0 0 0 102 5 0 0 20 0 19 0 67503764 19452874752 19634 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4749237 19634 5464 1 0 548347 0
[pid=74856/tid=74858] ppid=74853 vsize=18996948 memory=18560 CPUtime=0.59 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 5419 0 0 0 55 4 0 0 20 0 19 0 67503765 19452874752 19634 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67503770 19452874752 19634 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67503771 19452874752 19634 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78536 KiB

[startup+1.50026 s]
/proc/loadavg: 5.60 6.08 5.88 6/330 74875
/proc/meminfo: memFree=87518568/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=18997768 memory=142188 CPUtime=2.65 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 12826 0 0 0 258 7 0 0 20 0 19 0 67503764 19453714432 35547 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4749442 35547 5464 1 0 550413 0
[pid=74856/tid=74858] ppid=74853 vsize=18997768 memory=3200 CPUtime=1.38 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 5869 0 0 0 133 5 0 0 20 0 19 0 67503765 19453714432 35547 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=18997768 memory=0 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67503770 19453714432 35547 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=18997768 memory=11264 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67503771 19453714432 35547 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=18997768 memory=14720 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67503829 19453714432 35547 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18997768 KiB
Current children cumulated memory: 142188 KiB

[startup+3.1057 s]
/proc/loadavg: 5.55 6.06 5.88 6/331 74876
/proc/meminfo: memFree=87341728/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=204988 CPUtime=5.78 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 20280 0 0 0 568 10 0 0 20 0 20 0 67503764 19521036288 51247 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 51247 5496 1 0 553740 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=14720 CPUtime=2.9 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 6694 0 0 0 284 6 0 0 20 0 20 0 67503765 19521036288 51247 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 51247 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 51247 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 51247 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 204988 KiB

[startup+6.30023 s]
/proc/loadavg: 5.55 6.06 5.88 5/331 74876
/proc/meminfo: memFree=86740768/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=698608 CPUtime=9.83 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 20813 0 0 0 961 22 0 0 20 0 20 0 67503764 19521036288 174652 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 174652 5496 1 0 553745 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=0 CPUtime=6.02 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 7069 0 0 0 585 17 0 0 20 0 20 0 67503765 19521036288 174652 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 174652 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 174652 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=156308 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 174652 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 698608 KiB

[startup+12.7004 s]
/proc/loadavg: 5.43 6.02 5.87 5/331 74876
/proc/meminfo: memFree=88614568/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=1061340 CPUtime=16.45 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 21251 0 0 0 1612 33 0 0 20 0 20 0 67503764 19521036288 265335 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 265335 5528 1 0 553745 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=156308 CPUtime=12.37 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 7452 0 0 0 1210 27 0 0 20 0 20 0 67503765 19521036288 265335 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=844252 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 265335 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 265335 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 265335 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 16.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1061340 KiB

[startup+25.5005 s]
/proc/loadavg: 5.18 5.94 5.84 5/331 74876
/proc/meminfo: memFree=88039808/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=1327672 CPUtime=29.69 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 26836 0 0 0 2918 51 0 0 20 0 20 0 67503764 19521036288 331918 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 331918 5528 1 0 553745 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=0 CPUtime=25.01 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 9031 0 0 0 2459 42 0 0 20 0 20 0 67503765 19521036288 331918 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 331918 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=1327672 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 331918 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=1327672 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 331918 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 29.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1327672 KiB

[startup+51.1138 s]
/proc/loadavg: 4.91 5.82 5.80 5/332 74878
/proc/meminfo: memFree=87269388/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=1331828 CPUtime=54.98 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 28470 0 0 0 5431 67 0 0 20 0 20 0 67503764 19521036288 332957 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 332957 5528 1 0 553745 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=1331828 CPUtime=50.01 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 9474 0 0 0 4944 57 0 0 20 0 20 0 67503765 19521036288 332957 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 332957 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 332957 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0

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

/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2876852 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3180.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.46 4.49 5/337 75199
/proc/meminfo: memFree=17751068/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3240.49 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 162320 0 0 0 322204 1845 0 0 20 0 20 0 67503764 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721269 5528 1 0 735130 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=5632 CPUtime=3125.4 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 77143 0 0 0 310958 1582 0 0 20 0 20 0 67503765 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2876852 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3240.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.40 4.46 5/333 75201
/proc/meminfo: memFree=16064060/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3300.62 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 164158 0 0 0 328190 1872 0 0 20 0 20 0 67503764 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721269 5528 1 0 735130 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=5632 CPUtime=3184.5 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 78329 0 0 0 316844 1606 0 0 20 0 20 0 67503765 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1408 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3300.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.36 4.44 5/333 75203
/proc/meminfo: memFree=14550072/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3360.69 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 165401 0 0 0 334172 1897 0 0 20 0 20 0 67503764 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721269 5528 1 0 735130 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=5632 CPUtime=3243.53 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 79015 0 0 0 322726 1627 0 0 20 0 20 0 67503765 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1498 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3360.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.35 4.44 5/334 75210
/proc/meminfo: memFree=12636968/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3420.57 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 166347 0 0 0 340130 1927 0 0 20 0 20 0 67503764 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721269 5528 1 0 735130 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3302.35 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 79829 0 0 0 328580 1655 0 0 20 0 20 0 67503765 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1498 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3420.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.36 4.44 5/333 75279
/proc/meminfo: memFree=35597464/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3480.52 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 168093 0 0 0 346096 1956 0 0 20 0 20 0 67503764 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721269 5528 1 0 735130 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3360.89 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 80833 0 0 0 334408 1681 0 0 20 0 20 0 67503765 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1553 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721269 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3480.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.43 4.38 4.44 5/333 75281
/proc/meminfo: memFree=32830056/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=2885332 CPUtime=3541.24 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 172879 0 0 0 352138 1986 0 0 20 0 20 0 67503764 19521036288 721333 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 721333 5528 1 0 735134 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=2885076 CPUtime=3419.39 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 83685 0 0 0 340232 1707 0 0 20 0 20 0 67503765 19521036288 721333 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2885076 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 721333 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=2885332 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1585 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 721333 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2885332 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 721333 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3541.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2885332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.9 s]
/proc/loadavg: 4.45 4.39 4.44 6/332 75283
/proc/meminfo: memFree=31717104/131382112 swapFree=33009904/33010684
[pid=74856] ppid=74853 vsize=19063512 memory=1708580 CPUtime=3600.01 cores=5,7
/proc/74856/stat : 74856 (java) S 74853 74856 73970 0 -1 4194304 178173 0 0 0 357980 2021 0 0 20 0 20 0 67503764 19521036288 427145 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
/proc/74856/statm: 4765878 427145 5528 1 0 440365 0
[pid=74856/tid=74858] ppid=74853 vsize=19063512 memory=2885332 CPUtime=3474.42 cores=5,7
/proc/74856/task/74858/stat : 74858 (java) R 74853 74856 73970 0 -1 4194368 88922 0 0 0 345706 1736 0 0 20 0 20 0 67503765 19521036288 427145 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74867] ppid=74853 vsize=19063512 memory=2175492 CPUtime=0 cores=5,7
/proc/74856/task/74867/stat : 74867 (Finalizer) S 74853 74856 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67503770 19521036288 427145 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74874] ppid=74853 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/74856/task/74874/stat : 74874 (Common-Cleaner) S 74853 74856 73970 0 -1 4194368 1586 0 0 0 0 0 0 0 20 0 20 0 67503771 19521036288 427145 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
[pid=74856/tid=74875] ppid=74853 vsize=19063512 memory=2042076 CPUtime=0 cores=5,7
/proc/74856/task/74875/stat : 74875 (Timer-0) S 74853 74856 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67503829 19521036288 427145 18446744073709551615 94043164872704 94043164876400 140727793182112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043164884216 94043164885008 94043168088064 140727793187120 140727793187302 140727793187302 140727793192904 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1708580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.03 s, system=20.2443 s

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

[startup+3579.21 s]
/proc/loadavg: 4.50 4.40 4.44 5/314 75286
/proc/meminfo: memFree=33717420/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3579.21
CPU time (s): 3600.28
CPU user time (s): 3580.03
CPU system time (s): 20.2443
CPU usage (%): 100.589
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3429572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.03
system time used= 20.2443
maximum resident set size= 3429572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33936096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139964
involuntary context switches= 29982


# summary of solver processes directly reported to runsolver:
#   pid: 74856
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3580.03
#   total CPU system time (s): 20.2443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1601 second user time and 35.9785 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 06:50:49
IDJOB=4509157
IDBENCH=158598
IDSOLVER=3364
FILE ID=nodeC001/4509157-1751518249
RUNJOBID= nodeC001-1751516281-73983
SLURM_JOB_ID= 9598627
Free space on /tmp= 432504 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509157-1751518249/watcher-4509157-1751518249 -o /tmp/evaluation-result-4509157-1751518249/solver-4509157-1751518249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509157-1751518249 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509157-1751518249.opb

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

MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1732788525

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		: 3660.339
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		: 3591.501
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.567
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.356
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		: 3611.337
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		: 1207.427
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		: 3700.000
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		: 1895.521
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:        87612436 kB
MemAvailable:   119472252 kB
Buffers:            1668 kB
Cached:         32626140 kB
SwapCached:           32 kB
Active:         10569560 kB
Inactive:       32316728 kB
Active(anon):   10253952 kB
Inactive(anon):    22520 kB
Active(file):     315608 kB
Inactive(file): 32294208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7642296 kB
Writeback:             8 kB
AnonPages:      10257760 kB
Mapped:           123544 kB
Shmem:             17900 kB
KReclaimable:     178872 kB
Slab:             504108 kB
SReclaimable:     178872 kB
SUnreclaim:       325236 kB
KernelStack:        5040 kB
PageTables:        23868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11521200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9965568 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= 432492 MiB
End job on nodeC001 at 2025-07-03 07:50:28