Trace number 4498411

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)-14 3600.34 3602.94

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM3db1bbd9202c59626c0ffda5def46e58
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4498411-1751393793.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c  objective function found
0.29/0.26	c ... done. Wall clock time 0.108s.
0.29/0.26	c declared #vars     200
0.29/0.26	c internal #vars     3262
0.29/0.26	c #constraints  6426
0.29/0.26	c constraints type 
0.29/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.29/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.29/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.29/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
0.29/0.26	c 6426 constraints processed.
0.29/0.28	c objective function length is 100 literals
0.47/0.40	c SATISFIABLE
0.47/0.40	c OPTIMIZING...
0.66/0.41	c Got one! Elapsed wall clock time (in seconds):0.252
0.66/0.41	o -7
0.66/0.46	c Got one! Elapsed wall clock time (in seconds):0.312
0.66/0.46	o -8
0.86/0.58	c Got one! Elapsed wall clock time (in seconds):0.427
0.86/0.58	o -9
1.05/0.64	c Got one! Elapsed wall clock time (in seconds):0.487
1.05/0.64	o -10
1.81/1.23	c cleaning 3113 clauses out of 6226 with flag 15622/6226
2.79/2.05	c cleaning 4554 clauses out of 9109 with flag 33362/12222
3.41/2.68	c cleaning 5777 clauses out of 11553 with flag 52951/19220
4.38/3.58	c cleaning 6890 clauses out of 13784 with flag 81598/27228
5.07/4.24	c cleaning 7944 clauses out of 15887 with flag 112647/36221
5.77/4.97	c cleaning 8959 clauses out of 17945 with flag 146190/46223
6.67/5.81	c cleaning 9992 clauses out of 19983 with flag 188977/57220
7.68/6.87	c cleaning 10993 clauses out of 21993 with flag 226838/69222
7.68/6.89	c Got one! Elapsed wall clock time (in seconds):6.744
7.68/6.89	o -11
8.14/7.28	c cleaning 8179 clauses out of 16370 with flag 14779/74592
8.85/7.98	c cleaning 7090 clauses out of 14191 with flag 37011/80592
9.50/8.54	c cleaning 7044 clauses out of 14096 with flag 60464/87587
10.01/9.10	c cleaning 7518 clauses out of 15053 with flag 88777/95588
10.60/9.69	c cleaning 8266 clauses out of 16541 with flag 116768/104594
11.30/10.30	c cleaning 9126 clauses out of 18267 with flag 150049/114586
11.95/10.94	c cleaning 10070 clauses out of 20141 with flag 190545/125586
12.88/11.81	c cleaning 11034 clauses out of 22075 with flag 229743/137590
13.80/12.70	c cleaning 12013 clauses out of 24037 with flag 275840/150586
14.79/13.73	c cleaning 13002 clauses out of 26024 with flag 328957/164586
15.99/14.94	c cleaning 14007 clauses out of 28026 with flag 389361/179590
17.19/16.17	c cleaning 14995 clauses out of 30015 with flag 483648/195586
18.79/17.77	c cleaning 15993 clauses out of 32020 with flag 561230/212586
20.48/19.42	c cleaning 17014 clauses out of 34029 with flag 631654/230588
22.28/21.28	c cleaning 17998 clauses out of 36013 with flag 698173/249586
24.18/23.15	c cleaning 19007 clauses out of 38016 with flag 779103/269587
25.98/24.91	c cleaning 19999 clauses out of 40009 with flag 864022/290587
27.87/26.87	c cleaning 21002 clauses out of 42018 with flag 947756/312595
29.97/28.96	c cleaning 21996 clauses out of 44007 with flag 1032502/335586
31.96/30.95	c cleaning 22999 clauses out of 46011 with flag 1108908/359586
34.17/33.18	c cleaning 23994 clauses out of 48014 with flag 1201968/384588
36.35/35.38	c cleaning 24998 clauses out of 50018 with flag 1306977/410586
38.75/37.75	c cleaning 25993 clauses out of 52020 with flag 1407696/437586
41.38/40.33	c cleaning 27003 clauses out of 54027 with flag 1506923/465586
43.67/42.65	c cleaning 28011 clauses out of 56026 with flag 1616256/494588
46.46/45.46	c cleaning 29002 clauses out of 58015 with flag 1734554/524588
50.35/49.33	c cleaning 30000 clauses out of 60012 with flag 1864495/555587
53.89/52.87	c cleaning 31003 clauses out of 62014 with flag 1984502/587589
57.58/56.54	c cleaning 31999 clauses out of 64009 with flag 2105596/620587
60.67/59.64	c cleaning 32984 clauses out of 66010 with flag 2242936/654587
63.86/62.84	c cleaning 34011 clauses out of 68025 with flag 2403230/689586
66.98/65.95	c cleaning 34999 clauses out of 70015 with flag 2563412/725587
70.37/69.31	c cleaning 35993 clauses out of 72015 with flag 2755860/762586
74.17/73.10	c cleaning 36995 clauses out of 74022 with flag 2896310/800586
78.79/77.75	c cleaning 38009 clauses out of 76028 with flag 3043092/839587
83.79/82.71	c cleaning 39006 clauses out of 78019 with flag 3204751/879587
89.62/88.51	c cleaning 40001 clauses out of 80012 with flag 3358845/920586
95.81/94.70	c cleaning 40998 clauses out of 82011 with flag 3509940/962586
99.54/98.46	c Got one! Elapsed wall clock time (in seconds):98.307
99.54/98.46	o -12
100.14/99.05	c cleaning 40130 clauses out of 80260 with flag 18468/1001833
100.54/99.44	c cleaning 23061 clauses out of 46130 with flag 41856/1007833
100.94/99.81	c cleaning 15029 clauses out of 30071 with flag 72158/1014835
101.34/100.26	c cleaning 11517 clauses out of 23041 with flag 117928/1022834
101.83/100.72	c cleaning 10236 clauses out of 20523 with flag 159477/1031833
102.43/101.34	c cleaning 10135 clauses out of 20287 with flag 197539/1041833
103.14/102.01	c cleaning 10529 clauses out of 21152 with flag 238781/1052833
103.93/102.84	c cleaning 11312 clauses out of 22623 with flag 288245/1064833
104.83/103.74	c cleaning 12143 clauses out of 24316 with flag 342240/1077838
105.83/104.78	c cleaning 13080 clauses out of 26178 with flag 402213/1091843
106.92/105.86	c cleaning 14040 clauses out of 28088 with flag 467086/1106833
107.92/106.88	c cleaning 15018 clauses out of 30048 with flag 524199/1122833
109.22/108.19	c cleaning 16008 clauses out of 32034 with flag 597695/1139837
110.61/109.60	c cleaning 17005 clauses out of 34022 with flag 681022/1157833
111.91/110.82	c cleaning 18002 clauses out of 36017 with flag 750415/1176833
113.34/112.22	c cleaning 19006 clauses out of 38016 with flag 822085/1196834
114.93/113.84	c cleaning 19986 clauses out of 40009 with flag 890840/1217833
116.43/115.34	c cleaning 20997 clauses out of 42025 with flag 988067/1239835
117.93/116.83	c cleaning 22005 clauses out of 44027 with flag 1088580/1262834
119.42/118.34	c cleaning 23009 clauses out of 46023 with flag 1191293/1286835
121.23/120.16	c cleaning 23997 clauses out of 48012 with flag 1306433/1311833
123.12/122.05	c cleaning 25000 clauses out of 50018 with flag 1418997/1337836
125.01/123.98	c cleaning 26002 clauses out of 52016 with flag 1539964/1364834
127.33/126.21	c cleaning 27000 clauses out of 54013 with flag 1665062/1392833
129.52/128.46	c cleaning 28006 clauses out of 56020 with flag 1794231/1421840
132.12/131.07	c cleaning 28997 clauses out of 58012 with flag 1925263/1451838
134.61/133.59	c cleaning 30000 clauses out of 60011 with flag 2057666/1482834
137.21/136.12	c cleaning 31000 clauses out of 62010 with flag 2200170/1514833
140.15/139.03	c cleaning 31992 clauses out of 64010 with flag 2352491/1547833
143.04/141.93	c cleaning 33001 clauses out of 66019 with flag 2512396/1581834
145.73/144.68	c cleaning 34008 clauses out of 68030 with flag 2673166/1616846
148.92/147.89	c cleaning 34998 clauses out of 70010 with flag 2832281/1652834
152.62/151.52	c cleaning 36006 clauses out of 72015 with flag 3007121/1689837
156.35/155.25	c cleaning 36993 clauses out of 74005 with flag 3204792/1727833
159.95/158.84	c cleaning 38004 clauses out of 76012 with flag 3388910/1766833
164.04/162.98	c cleaning 38994 clauses out of 78008 with flag 3582689/1806833
168.53/167.48	c cleaning 40005 clauses out of 80014 with flag 3778721/1847833
172.82/171.71	c cleaning 40998 clauses out of 82009 with flag 3976714/1889833
176.21/175.17	c cleaning 41961 clauses out of 84011 with flag 4177135/1932833
180.53/179.42	c cleaning 43019 clauses out of 86050 with flag 4370690/1976833
184.42/183.30	c cleaning 44003 clauses out of 88031 with flag 4588856/2021833
188.31/187.22	c cleaning 45009 clauses out of 90028 with flag 4808945/2067833
192.12/191.08	c cleaning 46004 clauses out of 92025 with flag 5025962/2114839
196.21/195.17	c cleaning 47000 clauses out of 94016 with flag 5224358/2162834
200.74/199.62	c cleaning 47997 clauses out of 96015 with flag 5452233/2211833
205.33/204.28	c cleaning 49004 clauses out of 98019 with flag 5665847/2261834
210.42/209.31	c cleaning 50007 clauses out of 100018 with flag 5919844/2312837
214.81/213.78	c cleaning 51005 clauses out of 102010 with flag 6144972/2364836
218.89/217.83	c cleaning 51996 clauses out of 104004 with flag 6381343/2417835
223.54/222.46	c cleaning 52999 clauses out of 106014 with flag 6642093/2471841
228.22/227.18	c cleaning 53992 clauses out of 108007 with flag 6882899/2526833
233.11/232.08	c cleaning 54996 clauses out of 110018 with flag 7122164/2582836
238.60/237.50	c cleaning 56000 clauses out of 112020 with flag 7402384/2639834
244.29/243.25	c cleaning 57003 clauses out of 114020 with flag 7678552/2697834
250.22/249.16	c cleaning 58006 clauses out of 116016 with flag 7939931/2756833
255.21/254.19	c cleaning 59001 clauses out of 118010 with flag 8200099/2816833
261.30/260.23	c cleaning 59982 clauses out of 120009 with flag 8464126/2877833
266.79/265.70	c cleaning 61016 clauses out of 122031 with flag 8720710/2939837
273.08/272.07	c cleaning 61992 clauses out of 124011 with flag 8994009/3002833
280.14/279.02	c cleaning 63010 clauses out of 126021 with flag 9276028/3066835
286.82/285.71	c cleaning 64006 clauses out of 128012 with flag 9555906/3131836
293.00/291.97	c cleaning 64994 clauses out of 130004 with flag 9873015/3197834
300.29/299.29	c cleaning 66002 clauses out of 132009 with flag 10128259/3264833
308.18/307.11	c cleaning 67001 clauses out of 134008 with flag 10409574/3332834
315.33/314.25	c cleaning 67993 clauses out of 136006 with flag 10750343/3401833
322.42/321.39	c cleaning 69001 clauses out of 138014 with flag 11089421/3471834
332.00/330.99	c cleaning 70001 clauses out of 140012 with flag 11374810/3542833
344.61/343.20	c cleaning 70997 clauses out of 142011 with flag 11632525/3614833
355.79/354.47	c cleaning 72002 clauses out of 144016 with flag 11864572/3687835
367.20/365.80	c cleaning 73002 clauses out of 146013 with flag 12093414/3761834
374.58/373.24	c Got one! Elapsed wall clock time (in seconds):373.089
374.58/373.24	o -13
375.58/374.29	c cleaning 66848 clauses out of 133695 with flag 22407/3822518
376.08/374.72	c cleaning 36418 clauses out of 72848 with flag 50470/3828519
376.38/375.09	c cleaning 21702 clauses out of 43429 with flag 78835/3835518
376.88/375.51	c cleaning 14851 clauses out of 29728 with flag 106109/3843519
377.56/376.18	c cleaning 11917 clauses out of 23879 with flag 141177/3852521
378.46/377.04	c cleaning 10968 clauses out of 21958 with flag 170143/3862517
379.35/377.97	c cleaning 10988 clauses out of 21992 with flag 207253/3873519
380.35/378.96	c cleaning 11499 clauses out of 23004 with flag 254708/3885519
381.25/379.85	c cleaning 12247 clauses out of 24506 with flag 308166/3898520
382.15/380.72	c cleaning 13129 clauses out of 26258 with flag 366211/3912519
383.15/381.72	c cleaning 14061 clauses out of 28127 with flag 432234/3927517
384.14/382.79	c cleaning 15023 clauses out of 30068 with flag 500011/3943519
385.24/383.83	c cleaning 16012 clauses out of 32043 with flag 574371/3960517
386.44/385.04	c cleaning 17013 clauses out of 34033 with flag 653449/3978519
387.84/386.43	c cleaning 18006 clauses out of 36019 with flag 743496/3997518
389.23/387.88	c cleaning 19006 clauses out of 38012 with flag 827862/4017517
390.93/389.55	c cleaning 20000 clauses out of 40007 with flag 940840/4038518
392.53/391.11	c cleaning 20997 clauses out of 42006 with flag 1046152/4060517
394.22/392.83	c cleaning 22004 clauses out of 44009 with flag 1140460/4083517
395.92/394.55	c cleaning 22999 clauses out of 46006 with flag 1243129/4107518
397.72/396.30	c cleaning 23999 clauses out of 48006 with flag 1349908/4132517
399.42/398.09	c cleaning 25000 clauses out of 50010 with flag 1459708/4158520
401.41/400.04	c cleaning 26004 clauses out of 52008 with flag 1578483/4185518
403.30/401.96	c cleaning 27001 clauses out of 54005 with flag 1691617/4213519
405.41/404.08	c cleaning 27984 clauses out of 56002 with flag 1825759/4242517
407.59/406.22	c cleaning 28998 clauses out of 58018 with flag 1955011/4272517
410.12/408.77	c cleaning 29986 clauses out of 60020 with flag 2090090/4303517
412.72/411.38	c cleaning 31010 clauses out of 62035 with flag 2244782/4335518
415.71/414.34	c cleaning 32003 clauses out of 64024 with flag 2420173/4368517
418.20/416.80	c cleaning 33006 clauses out of 66021 with flag 2564503/4402517
420.80/419.42	c cleaning 34008 clauses out of 68016 with flag 2716343/4437518
423.69/422.33	c cleaning 34995 clauses out of 70008 with flag 2889464/4473518
427.68/426.30	c cleaning 35997 clauses out of 72013 with flag 3041772/4510518
430.67/429.34	c cleaning 36998 clauses out of 74016 with flag 3198591/4548518
433.97/432.61	c cleaning 38001 clauses out of 76017 with flag 3370572/4587517
437.06/435.77	c cleaning 39000 clauses out of 78016 with flag 3541457/4627517
440.55/439.22	c cleaning 39997 clauses out of 80017 with flag 3718625/4668518
444.84/443.52	c cleaning 40999 clauses out of 82019 with flag 3910148/4710517
448.73/447.47	c cleaning 42004 clauses out of 84020 with flag 4117743/4753517
453.83/452.55	c cleaning 43000 clauses out of 86016 with flag 4357503/4797517
458.92/457.65	c cleaning 44001 clauses out of 88017 with flag 4586442/4842518
464.00/462.79	c cleaning 45005 clauses out of 90015 with flag 4793001/4888517
468.99/467.79	c cleaning 45999 clauses out of 92010 with flag 5002875/4935517
474.28/473.02	c cleaning 47008 clauses out of 94015 with flag 5233807/4983521
478.37/477.17	c cleaning 47984 clauses out of 96006 with flag 5438176/5032520
482.86/481.61	c cleaning 49008 clauses out of 98019 with flag 5652268/5082517
486.84/485.63	c cleaning 49993 clauses out of 100011 with flag 5873934/5133517
491.24/490.02	c cleaning 51001 clauses out of 102019 with flag 6124067/5185518
496.22/495.02	c cleaning 51998 clauses out of 104019 with flag 6358641/5238519
501.01/499.88	c cleaning 53000 clauses out of 106019 with flag 6577523/5292517
506.50/505.34	c cleaning 54004 clauses out of 108022 with flag 6822990/5347520
512.58/511.41	c cleaning 54994 clauses out of 110016 with flag 7091968/5403518
519.56/518.44	c cleaning 55998 clauses out of 112021 with flag 7360166/5460517
525.75/524.62	c cleaning 56999 clauses out of 114023 with flag 7646595/5518517
535.72/534.66	c cleaning 58004 clauses out of 116024 with flag 7922818/5577517
542.70/541.68	c cleaning 58997 clauses out of 118020 with flag 8191383/5637517
549.09/548.05	c cleaning 60007 clauses out of 120024 with flag 8474711/5698518
556.76/555.72	c cleaning 60994 clauses out of 122016 with flag 8757312/5760517
565.15/564.10	c cleaning 62006 clauses out of 124023 with flag 9057281/5823518
574.23/573.28	c cleaning 63002 clauses out of 126016 with flag 9360021/5887517
581.42/580.48	c cleaning 64003 clauses out of 128014 with flag 9676794/5952517
588.30/587.31	c cleaning 65001 clauses out of 130012 with flag 9970126/6018518
595.98/595.02	c cleaning 65997 clauses out of 132012 with flag 10266866/6085519
603.37/602.46	c cleaning 66989 clauses out of 134015 with flag 10576850/6153519
611.15/610.23	c cleaning 67951 clauses out of 136024 with flag 10912245/6222517
619.44/618.52	c cleaning 69033 clauses out of 138076 with flag 11238271/6292520
627.12/626.20	c cleaning 70016 clauses out of 140040 with flag 11561621/6363517
635.20/634.35	c cleaning 71007 clauses out of 142024 with flag 11867901/6435517
644.18/643.30	c cleaning 71994 clauses out of 144017 with flag 12188753/6508517
651.47/650.62	c cleaning 72994 clauses out of 146023 with flag 12521491/6582517
660.06/659.23	c cleaning 73996 clauses out of 148030 with flag 12859256/6657518
667.85/667.01	c cleaning 75013 clauses out of 150033 with flag 13185042/6733517
676.12/675.39	c cleaning 75999 clauses out of 152022 with flag 13528531/6810519
684.91/684.13	c cleaning 77005 clauses out of 154022 with flag 13873964/6888518
693.97/693.06	c cleaning 77996 clauses out of 156016 with flag 14232182/6967517
701.75/700.89	c cleaning 79006 clauses out of 158021 with flag 14574989/7047518
710.43/709.59	c cleaning 79998 clauses out of 160014 with flag 14908096/7128517
720.71/719.89	c cleaning 80996 clauses out of 162016 with flag 15274900/7210517
730.58/729.77	c cleaning 82004 clauses out of 164020 with flag 15630162/7293517
739.45/738.66	c cleaning 82998 clauses out of 166016 with flag 16004590/7377517
747.94/747.19	c cleaning 84006 clauses out of 168019 with flag 16339127/7462518
757.71/756.99	c cleaning 84985 clauses out of 170012 with flag 16646754/7548517
767.49/766.73	c cleaning 86009 clauses out of 172028 with flag 16986492/7635518
778.16/777.44	c cleaning 87006 clauses out of 174018 with flag 17322201/7723517
790.83/790.15	c cleaning 88001 clauses out of 176013 with flag 17687603/7812518
801.00/800.24	c cleaning 89000 clauses out of 178012 with flag 18075428/7902518
812.78/812.07	c cleaning 89998 clauses out of 180012 with flag 18436937/7993518
823.76/823.08	c cleaning 91004 clauses out of 182013 with flag 18833958/8085517
835.14/834.40	c cleaning 91996 clauses out of 184011 with flag 19196052/8178519
846.91/846.21	c cleaning 92999 clauses out of 186013 with flag 19613631/8272517
858.58/857.93	c cleaning 94001 clauses out of 188016 with flag 20031996/8367519
871.37/870.65	c cleaning 95005 clauses out of 190015 with flag 20464942/8463519
883.94/883.23	c cleaning 95988 clauses out of 192008 with flag 20878650/8560517
898.01/897.31	c cleaning 96994 clauses out of 194020 with flag 21307162/8658517
910.08/909.49	c cleaning 98007 clauses out of 196026 with flag 21708613/8757517
922.56/921.96	c cleaning 98995 clauses out of 198021 with flag 22130149/8857519
934.83/934.29	c cleaning 100008 clauses out of 200024 with flag 22563981/8958517
947.99/947.46	c cleaning 101009 clauses out of 202017 with flag 22967667/9060518
961.86/961.35	c cleaning 101990 clauses out of 204007 with flag 23398451/9163517
975.85/975.20	c cleaning 103004 clauses out of 206017 with flag 23867361/9267517
991.10/990.58	c cleaning 104003 clauses out of 208016 with flag 24294013/9372520
1005.17/1004.66	c cleaning 104996 clauses out of 210012 with flag 24752967/9478519
1018.83/1018.34	c cleaning 105993 clauses out of 212014 with flag 25197262/9585517
1034.39/1033.94	c cleaning 107002 clauses out of 214021 with flag 25649751/9693517
1046.86/1046.49	c cleaning 108000 clauses out of 216021 with flag 26118852/9802519
1063.52/1063.11	c cleaning 108989 clauses out of 218019 with flag 26549809/9912517
1086.73/1085.96	c cleaning 110012 clauses out of 220030 with flag 26943976/10023517
1106.67/1105.90	c cleaning 110972 clauses out of 222018 with flag 27362630/10135517
1120.64/1119.91	c cleaning 112016 clauses out of 224048 with flag 27843706/10248519
1134.60/1133.95	c cleaning 113006 clauses out of 226030 with flag 28304674/10362517
1163.53/1162.92	c cleaning 113993 clauses out of 228024 with flag 28852989/10477517
1180.38/1179.85	c cleaning 115011 clauses out of 230031 with flag 29348171/10593517
1207.92/1207.45	c cleaning 116005 clauses out of 232020 with flag 29823083/10710517
1225.21/1224.63	c cleaning 116995 clauses out of 234015 with flag 30291914/10828517
1243.58/1243.09	c cleaning 117988 clauses out of 236021 with flag 30779840/10947518
1260.65/1260.16	c cleaning 119010 clauses out of 238035 with flag 31249499/11067520
1277.01/1276.58	c cleaning 120004 clauses out of 240024 with flag 31722320/11188519
1294.38/1293.90	c cleaning 120998 clauses out of 242018 with flag 32214105/11310517
1312.94/1312.50	c cleaning 122003 clauses out of 244020 with flag 32668357/11433517
1330.80/1330.49	c cleaning 123008 clauses out of 246019 with flag 33168096/11557519
1353.59/1353.13	c cleaning 123987 clauses out of 248009 with flag 33699907/11682517
1374.05/1373.60	c cleaning 125005 clauses out of 250023 with flag 34284030/11808518
1390.61/1390.22	c cleaning 126006 clauses out of 252018 with flag 34781241/11935518
1407.88/1407.53	c cleaning 126989 clauses out of 254011 with flag 35291513/12063517
1427.84/1427.56	c cleaning 128001 clauses out of 256022 with flag 35838547/12192517
1449.09/1448.86	c cleaning 128998 clauses out of 258022 with flag 36384539/12322518
1467.86/1467.66	c cleaning 130005 clauses out of 260023 with flag 36896352/12453517
1487.91/1487.72	c cleaning 131007 clauses out of 262018 with flag 37405165/12585517
1511.07/1510.95	c cleaning 131997 clauses out of 264011 with flag 37979063/12718517
1532.33/1532.14	c cleaning 133001 clauses out of 266015 with flag 38476646/12852518
1551.68/1551.57	c cleaning 134001 clauses out of 268013 with flag 39094352/12987517
1574.94/1574.88	c cleaning 134998 clauses out of 270014 with flag 39667552/13123519
1599.49/1599.42	c cleaning 136001 clauses out of 272015 with flag 40190093/13260518
1619.64/1619.62	c cleaning 137000 clauses out of 274014 with flag 40730628/13398518
1642.01/1642.07	c cleaning 138002 clauses out of 276015 with flag 41242420/13537519
1664.66/1664.73	c cleaning 138985 clauses out of 278011 with flag 41844374/13677517
1686.81/1686.95	c cleaning 140004 clauses out of 280027 with flag 42364089/13818518
1708.83/1708.89	c cleaning 141000 clauses out of 282022 with flag 42915626/13960517
1731.39/1731.41	c cleaning 142004 clauses out of 284022 with flag 43483108/14103517
1754.05/1754.11	c cleaning 142994 clauses out of 286020 with flag 44008124/14247519
1778.01/1778.13	c cleaning 144011 clauses out of 288026 with flag 44538193/14392519
1801.26/1801.45	c cleaning 145006 clauses out of 290013 with flag 45105571/14538517
1825.01/1825.22	c cleaning 145997 clauses out of 292010 with flag 45683843/14685520
1846.88/1847.15	c cleaning 146996 clauses out of 294010 with flag 46214142/14833517
1871.37/1871.55	c cleaning 148002 clauses out of 296015 with flag 46753493/14982518
1895.63/1895.81	c cleaning 148999 clauses out of 298012 with flag 47319109/15132517
1924.87/1925.11	c cleaning 150001 clauses out of 300013 with flag 47886856/15283517
1926.66/1926.97	c Got one! Elapsed wall clock time (in seconds):1926.822
1926.66/1926.97	o -14
1927.46/1927.77	c cleaning 86888 clauses out of 173816 with flag 16342/15307321
1927.96/1928.25	c cleaning 46444 clauses out of 92928 with flag 37894/15313321
1928.36/1928.64	c cleaning 25840 clauses out of 53484 with flag 64134/15320321
1928.86/1929.11	c cleaning 7999 clauses out of 35644 with flag 90327/15328321
1929.26/1929.59	c cleaning 9013 clauses out of 36645 with flag 115757/15337321
1929.96/1930.29	c cleaning 10004 clauses out of 37633 with flag 149904/15347322
1930.66/1930.93	c cleaning 10990 clauses out of 38628 with flag 180471/15358321
1931.41/1931.63	c cleaning 12006 clauses out of 39638 with flag 213947/15370321
1932.15/1932.37	c cleaning 12996 clauses out of 40634 with flag 251092/15383323
1933.25/1933.42	c cleaning 13982 clauses out of 41636 with flag 292624/15397321
1934.14/1934.31	c cleaning 15008 clauses out of 42654 with flag 336579/15412321
1935.04/1935.27	c cleaning 16008 clauses out of 43646 with flag 383095/15428321
1936.24/1936.49	c cleaning 16999 clauses out of 44638 with flag 438250/15445321
1937.34/1937.59	c cleaning 18002 clauses out of 45639 with flag 492621/15463321
1938.63/1938.83	c cleaning 18992 clauses out of 46638 with flag 545775/15482322
1940.03/1940.22	c cleaning 19997 clauses out of 47645 with flag 606748/15502321
1941.43/1941.65	c cleaning 21009 clauses out of 48649 with flag 668683/15523322
1943.12/1943.31	c cleaning 22002 clauses out of 49640 with flag 739940/15545322
1944.93/1945.17	c cleaning 22990 clauses out of 50639 with flag 809007/15568323
1946.72/1946.99	c cleaning 23991 clauses out of 51647 with flag 885176/15592321
1948.41/1948.63	c cleaning 25002 clauses out of 52659 with flag 962353/15617324
1950.51/1950.72	c cleaning 25986 clauses out of 53654 with flag 1041651/15643321
1952.41/1952.68	c cleaning 27003 clauses out of 54668 with flag 1128645/15670321
1954.51/1954.71	c cleaning 27827 clauses out of 55665 with flag 1221003/15698321
1956.99/1956.95	c cleaning 28413 clauses out of 56838 with flag 1317286/15727321
1958.98/1958.97	c cleaning 29198 clauses out of 58425 with flag 1416949/15757321
1961.48/1961.44	c cleaning 30103 clauses out of 60227 with flag 1530552/15788321
1964.08/1964.07	c cleaning 31061 clauses out of 62124 with flag 1637927/15820321
1966.57/1966.50	c cleaning 32028 clauses out of 64065 with flag 1752080/15853323
1969.36/1969.34	c cleaning 33010 clauses out of 66037 with flag 1878691/15887323
1972.55/1972.58	c cleaning 34007 clauses out of 68025 with flag 2017861/15922321
1975.94/1975.98	c cleaning 35007 clauses out of 70018 with flag 2150112/15958321
1978.84/1978.88	c cleaning 35998 clauses out of 72011 with flag 2294508/15995321
1982.03/1982.05	c cleaning 37003 clauses out of 74014 with flag 2436057/16033322
1984.82/1984.82	c cleaning 37995 clauses out of 76010 with flag 2563234/16072321
1988.12/1988.19	c cleaning 38996 clauses out of 78016 with flag 2705572/16112322
1991.81/1991.84	c cleaning 40007 clauses out of 80019 with flag 2841460/16153321
1995.01/1995.05	c cleaning 41001 clauses out of 82013 with flag 2982674/16195322
1998.40/1998.48	c cleaning 42000 clauses out of 84012 with flag 3123866/16238322
2002.30/2002.37	c cleaning 42999 clauses out of 86012 with flag 3262530/16282322
2006.69/2006.76	c cleaning 43999 clauses out of 88013 with flag 3421572/16327322
2013.27/2013.32	c cleaning 44997 clauses out of 90013 with flag 3593042/16373321
2017.26/2017.36	c cleaning 45997 clauses out of 92016 with flag 3742903/16420321
2022.06/2022.13	c cleaning 46999 clauses out of 94019 with flag 3891314/16468321
2026.74/2026.81	c cleaning 48002 clauses out of 96020 with flag 4055876/16517321
2031.23/2031.39	c cleaning 49005 clauses out of 98021 with flag 4224836/16567324
2035.83/2035.97	c cleaning 49999 clauses out of 100016 with flag 4399622/16618324
2040.62/2040.78	c cleaning 51004 clauses out of 102018 with flag 4595354/16670325
2045.32/2045.48	c cleaning 52005 clauses out of 104011 with flag 4769910/16723322
2050.21/2050.36	c cleaning 52995 clauses out of 106005 with flag 4945910/16777321
2055.90/2056.09	c cleaning 54002 clauses out of 108011 with flag 5130011/16832322
2061.49/2061.67	c cleaning 54982 clauses out of 110008 with flag 5324284/16888321
2066.88/2067.08	c cleaning 56009 clauses out of 112026 with flag 5523979/16945321
2071.66/2071.88	c cleaning 57006 clauses out of 114017 with flag 5719875/17003321
2076.76/2076.99	c cleaning 57999 clauses out of 116011 with flag 5917422/17062321
2082.35/2082.59	c cleaning 59002 clauses out of 118013 with flag 6128342/17122322
2089.53/2089.74	c cleaning 60004 clauses out of 120010 with flag 6334425/17183321
2095.72/2095.92	c cleaning 60997 clauses out of 122007 with flag 6558220/17245322
2102.30/2102.58	c cleaning 61999 clauses out of 124009 with flag 6775529/17308321
2108.40/2108.67	c cleaning 63001 clauses out of 126011 with flag 6982297/17372322
2114.99/2115.21	c cleaning 63964 clauses out of 128009 with flag 7226004/17437321
2121.27/2121.53	c cleaning 65023 clauses out of 130047 with flag 7458332/17503323
2128.66/2128.98	c cleaning 66003 clauses out of 132022 with flag 7712044/17570321
2135.24/2135.58	c cleaning 66979 clauses out of 134019 with flag 7964414/17638321
2142.23/2142.51	c cleaning 68009 clauses out of 136041 with flag 8217534/17707322
2148.72/2149.08	c cleaning 69012 clauses out of 138031 with flag 8456438/17777321
2155.30/2155.63	c cleaning 69990 clauses out of 140022 with flag 8734277/17848324
2162.49/2162.80	c cleaning 71010 clauses out of 142029 with flag 8993568/17920321
2170.27/2170.68	c cleaning 72000 clauses out of 144019 with flag 9246832/17993321
2177.86/2178.21	c cleaning 73002 clauses out of 146019 with flag 9507775/18067321
2186.04/2186.44	c cleaning 74001 clauses out of 148017 with flag 9777829/18142321
2194.56/2194.98	c cleaning 74963 clauses out of 150017 with flag 10072361/18218322
2202.74/2203.19	c cleaning 76019 clauses out of 152053 with flag 10382872/18295321
2210.73/2211.10	c cleaning 77007 clauses out of 154034 with flag 10673841/18373321
2219.61/2220.02	c cleaning 77998 clauses out of 156030 with flag 10981359/18452324
2228.39/2228.85	c cleaning 79012 clauses out of 158030 with flag 11290850/18532322
2236.07/2236.55	c cleaning 80009 clauses out of 160019 with flag 11556983/18613323
2244.75/2245.29	c cleaning 80975 clauses out of 162008 with flag 11860000/18695321
2253.73/2254.25	c cleaning 82011 clauses out of 164033 with flag 12151414/18778321
2263.42/2263.90	c cleaning 82999 clauses out of 166023 with flag 12457695/18862322
2272.40/2272.99	c cleaning 83998 clauses out of 168023 with flag 12747375/18947321
2283.87/2284.46	c cleaning 85000 clauses out of 170025 with flag 13054690/19033321
2293.15/2293.79	c cleaning 85998 clauses out of 172025 with flag 13382782/19120321
2301.72/2302.31	c cleaning 87008 clauses out of 174027 with flag 13695446/19208321
2310.80/2311.46	c cleaning 87987 clauses out of 176019 with flag 14042108/19297321
2320.57/2321.20	c cleaning 89007 clauses out of 178032 with flag 14375077/19387321
2332.36/2333.09	c cleaning 90004 clauses out of 180025 with flag 14672886/19478321
2343.43/2344.13	c cleaning 91007 clauses out of 182023 with flag 14993088/19570323
2355.19/2355.94	c cleaning 92004 clauses out of 184015 with flag 15303030/19663322
2368.85/2369.66	c cleaning 92998 clauses out of 186010 with flag 15610674/19757321
2382.42/2383.21	c cleaning 94001 clauses out of 188013 with flag 15943265/19852322
2394.35/2395.19	c cleaning 94999 clauses out of 190011 with flag 16271630/19948321
2406.52/2407.31	c cleaning 96004 clauses out of 192012 with flag 16612972/20045321
2418.80/2419.66	c cleaning 96991 clauses out of 194008 with flag 16926703/20143321
2432.37/2433.27	c cleaning 97997 clauses out of 196017 with flag 17263469/20242321
2444.26/2445.16	c cleaning 99001 clauses out of 198020 with flag 17618044/20342321
2456.82/2457.78	c cleaning 99991 clauses out of 200019 with flag 17957273/20443321
2469.50/2470.48	c cleaning 100991 clauses out of 202028 with flag 18308459/20545321
2481.67/2482.64	c cleaning 101977 clauses out of 204037 with flag 18654935/20648321
2494.95/2495.96	c cleaning 103028 clauses out of 206061 with flag 18994981/20752322
2508.32/2509.34	c cleaning 104014 clauses out of 208032 with flag 19361751/20857321
2521.29/2522.33	c cleaning 105003 clauses out of 210020 with flag 19721383/20963323
2534.76/2535.86	c cleaning 106002 clauses out of 212017 with flag 20083669/21070323
2548.53/2549.63	c cleaning 107000 clauses out of 214013 with flag 20458276/21178321
2565.20/2566.36	c cleaning 107998 clauses out of 216015 with flag 20869167/21287323
2578.77/2579.95	c cleaning 108998 clauses out of 218015 with flag 21253880/21397321
2592.75/2593.92	c cleaning 109995 clauses out of 220017 with flag 21650342/21508321
2606.13/2607.29	c cleaning 111002 clauses out of 222024 with flag 22031991/21620323
2622.49/2623.62	c cleaning 111997 clauses out of 224021 with flag 22435438/21733322
2636.57/2637.70	c cleaning 113004 clauses out of 226024 with flag 22848398/21847322
2649.63/2650.80	c cleaning 114004 clauses out of 228019 with flag 23238931/21962321
2666.98/2668.22	c cleaning 114986 clauses out of 230015 with flag 23624651/22078321
2683.14/2684.47	c cleaning 116012 clauses out of 232029 with flag 24032247/22195321
2699.00/2700.31	c cleaning 117005 clauses out of 234017 with flag 24434656/22313321
2717.55/2718.93	c cleaning 117989 clauses out of 236014 with flag 24816257/22432323
2734.11/2735.57	c cleaning 119004 clauses out of 238028 with flag 25180548/22552326
2749.47/2750.97	c cleaning 120004 clauses out of 240026 with flag 25561907/22673328
2765.33/2766.88	c cleaning 121000 clauses out of 242017 with flag 25968955/22795323
2782.49/2784.10	c cleaning 122003 clauses out of 244017 with flag 26386785/22918323
2799.35/2800.96	c cleaning 122995 clauses out of 246012 with flag 26815052/23042321
2814.80/2816.47	c cleaning 124004 clauses out of 248017 with flag 27241096/23167321
2831.26/2832.95	c cleaning 125004 clauses out of 250015 with flag 27668612/23293323
2849.47/2851.02	c cleaning 126004 clauses out of 252011 with flag 28096249/23420323
2869.53/2871.18	c cleaning 126992 clauses out of 254005 with flag 28542466/23548321
2894.67/2896.31	c cleaning 128003 clauses out of 256015 with flag 28963590/23677323
2913.74/2915.47	c cleaning 128998 clauses out of 258011 with flag 29387461/23807322
2932.80/2934.52	c cleaning 129999 clauses out of 260013 with flag 29851975/23938322
2955.06/2956.89	c cleaning 130997 clauses out of 262013 with flag 30281272/24070321
2971.82/2973.68	c cleaning 131992 clauses out of 264016 with flag 30713873/24203321
2991.08/2992.93	c cleaning 133000 clauses out of 266024 with flag 31159815/24337321
3013.73/3015.63	c cleaning 134002 clauses out of 268024 with flag 31614849/24472321
3033.99/3035.92	c cleaning 135008 clauses out of 270023 with flag 32067949/24608322
3054.65/3056.68	c cleaning 135998 clauses out of 272014 with flag 32505115/24745321
3079.20/3081.20	c cleaning 137004 clauses out of 274016 with flag 32947532/24883321
3099.97/3102.01	c cleaning 138002 clauses out of 276013 with flag 33438699/25022322
3120.33/3122.38	c cleaning 138992 clauses out of 278010 with flag 33886770/25162321
3139.20/3141.26	c cleaning 140003 clauses out of 280018 with flag 34345559/25303321
3160.76/3162.84	c cleaning 141002 clauses out of 282015 with flag 34826729/25445321
3217.54/3219.72	c cleaning 141997 clauses out of 284013 with flag 35267231/25588321
3239.80/3242.04	c cleaning 143002 clauses out of 286016 with flag 35729804/25732321
3261.35/3263.61	c cleaning 144002 clauses out of 288014 with flag 36250572/25877321
3285.91/3288.29	c cleaning 144992 clauses out of 290012 with flag 36742502/26023321
3313.06/3315.41	c cleaning 146002 clauses out of 292021 with flag 37242677/26170322
3334.11/3336.55	c cleaning 146991 clauses out of 294018 with flag 37751770/26318321
3354.39/3356.78	c cleaning 147993 clauses out of 296027 with flag 38260897/26467321
3380.53/3382.90	c cleaning 149004 clauses out of 298035 with flag 38785631/26617322
3404.79/3407.22	c cleaning 150010 clauses out of 300030 with flag 39286173/26768321
3428.14/3430.64	c cleaning 151003 clauses out of 302020 with flag 39788717/26920321
3450.70/3453.24	c cleaning 152007 clauses out of 304019 with flag 40298747/27073323
3472.45/3475.02	c cleaning 153004 clauses out of 306010 with flag 40810402/27227321
3493.01/3495.63	c cleaning 153993 clauses out of 308008 with flag 41296587/27382323
3518.56/3521.20	c cleaning 155003 clauses out of 310013 with flag 41791916/27538321
3540.22/3542.94	c cleaning 156002 clauses out of 312010 with flag 42300609/27695321
3573.03/3575.72	c cleaning 156997 clauses out of 314008 with flag 42793520/27853321
3595.79/3598.52	c cleaning 157992 clauses out of 316011 with flag 43296591/28012321
3600.08/3602.82	c starts		: 52620
3600.08/3602.83	c conflicts		: 28071978
3600.08/3602.83	c decisions		: 83521038
3600.08/3602.83	c propagations		: 849857891
3600.08/3602.83	c inspects		: 29140144625
3600.08/3602.83	c shortcuts		: 0
3600.08/3602.83	c learnt literals	: 0
3600.08/3602.83	c learnt binary clauses	: 5
3600.08/3602.83	c learnt ternary clauses	: 59923
3600.08/3602.83	c learnt constraints	: 28071978
3600.08/3602.83	c ignored constraints	: 0
3600.08/3602.83	c root simplifications	: 0
3600.08/3602.83	c removed literals (reason simplification)	: 2684059663
3600.08/3602.83	c reason swapping (by a shorter reason)	: 0
3600.08/3602.83	c Calls to reduceDB	: 418
3600.08/3602.83	c Number of update (reduction) of LBD	: 10118413
3600.08/3602.83	c Imported unit clauses	: 0
3600.08/3602.84	c No decision after first conflict	: false
3600.08/3602.84	c number of reductions to clauses (during analyze)	: 0
3600.08/3602.84	c number of learned constraints concerned by reduction	: 0
3600.08/3602.84	c number of learning phase by resolution	: 0
3600.08/3602.84	c number of learning phase by cutting planes	: 0
3600.08/3602.84	c number of rounding to 1 operations	: 0
3600.08/3602.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3602.84	c number of reductions of the coefficients by power 2 	: 0
3600.08/3602.84	c number of right shift for reduction by power 2 	: 0
3600.08/3602.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3602.84	c number of ending skipping 	: 0
3600.08/3602.84	c number of internal skipping 	: 0
3600.08/3602.84	c number of derivation steps 	: 0
3600.08/3602.84	c number of skipped derivation steps 	: 0
3600.08/3602.84	c number of remaining unassigned 	: 0
3600.08/3602.84	c number of remaining assigned 	: 0
3600.08/3602.84	c number of falsified literals weakened from reason	: 0
3600.08/3602.84	c number of falsified literals weakened from conflict	: 0
3600.08/3602.84	c time for arithmetic operations	: 0
3600.08/3602.84	c minimum degree of deleted constraints	: null
3600.08/3602.84	c maximum degree of deleted constraints	: null
3600.08/3602.84	c number of deleted constraints	: 0
3600.08/3602.85	c speed (assignments/second)	: 235903.75155236747
3600.08/3602.85	c non guided choices	: 0
3600.28/3602.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 217671
3600.28/3602.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.28/3602.91	s SATISFIABLE
3600.28/3602.91	c Found 8 solution(s)
3600.28/3602.92	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 
3600.28/3602.92	c objective function=-14
3600.28/3602.92	c Total wall clock time (in seconds): 3602.772

Verifier Data 

OK	-14

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: 63708 MiB (62461 MiB free)
  memory of node 1: 64465 MiB (61765 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498411-1751393793/watcher-4498411-1751393793 -o /tmp/evaluation-result-4498411-1751393793/solver-4498411-1751393793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53811 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498411-1751393793.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=54864, runsolver pid=54858

[startup+0.100057 s]*
/proc/loadavg: 4.13 4.15 4.13 7/333 54901
/proc/meminfo: memFree=127163616/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18930384 memory=51908 CPUtime=0.09 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 6137 0 0 0 8 1 0 0 20 0 18 0 55057703 19384713216 12977 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4732596 12977 5337 1 0 547235 0
[pid=54864/tid=54867] ppid=54858 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 4960 0 0 0 4 1 0 0 20 0 18 0 55057705 19384713216 12977 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057707 19384713216 12977 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55057708 19384713216 12977 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51908 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.13 4.15 4.13 10/337 54905
/proc/meminfo: memFree=127145816/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18930384 memory=61700 CPUtime=0.29 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 6986 0 0 0 27 2 0 0 20 0 18 0 55057703 19384713216 15425 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4732596 15425 5433 1 0 547863 0
[pid=54864/tid=54867] ppid=54858 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 5283 0 0 0 14 2 0 0 20 0 18 0 55057705 19384713216 15425 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057707 19384713216 15425 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 55057708 19384713216 15425 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61700 KiB

[startup+0.305811 s]*
/proc/loadavg: 4.13 4.15 4.13 9/338 54906
/proc/meminfo: memFree=127121240/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18996948 memory=77592 CPUtime=0.47 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 7739 0 0 0 44 3 0 0 20 0 19 0 55057703 19452874752 19398 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4749237 19398 5465 1 0 548441 0
[pid=54864/tid=54867] ppid=54858 vsize=18996948 memory=-6000919489852631146 CPUtime=0.24 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 5399 0 0 0 22 2 0 0 20 0 19 0 55057705 19452874752 19398 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057707 19452874752 19398 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057708 19452874752 19398 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55057732 19452874752 19398 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77592 KiB

[startup+0.700222 s]
/proc/loadavg: 4.13 4.15 4.13 12/339 54907
/proc/meminfo: memFree=127008320/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18996948 memory=89792 CPUtime=1.23 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 12146 0 0 0 119 4 0 0 20 0 19 0 55057703 19452874752 22448 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4749237 22448 5497 1 0 550724 0
[pid=54864/tid=54867] ppid=54858 vsize=18996948 memory=17792 CPUtime=0.6 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 5424 0 0 0 58 2 0 0 20 0 19 0 55057705 19452874752 22448 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057707 19452874752 22448 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057708 19452874752 22448 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55057732 19452874752 22448 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89792 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.15 4.13 6/339 54907
/proc/meminfo: memFree=126749624/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18996948 memory=96328 CPUtime=2.21 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 15787 0 0 0 217 4 0 0 20 0 19 0 55057703 19452874752 24082 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4749237 24082 5497 1 0 550769 0
[pid=54864/tid=54867] ppid=54858 vsize=18996948 memory=10752 CPUtime=1.39 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 6415 0 0 0 137 2 0 0 20 0 19 0 55057705 19452874752 24082 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057707 19452874752 24082 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057708 19452874752 24082 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55057732 19452874752 24082 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96328 KiB

[startup+3.1056 s]
/proc/loadavg: 4.13 4.15 4.13 7/338 54973
/proc/meminfo: memFree=128704204/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18996948 memory=104716 CPUtime=3.95 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 17274 0 0 0 390 5 0 0 20 0 19 0 55057703 19452874752 26179 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4749237 26179 5497 1 0 550791 0
[pid=54864/tid=54867] ppid=54858 vsize=18996948 memory=-6000919472706316394 CPUtime=2.97 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 6725 0 0 0 295 2 0 0 20 0 19 0 55057705 19452874752 26179 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057707 19452874752 26179 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057708 19452874752 26179 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55057732 19452874752 26179 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104716 KiB

[startup+6.30019 s]
/proc/loadavg: 4.28 4.18 4.14 5/339 54974
/proc/meminfo: memFree=128609852/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=18996948 memory=122208 CPUtime=7.18 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 18602 0 0 0 712 6 0 0 20 0 19 0 55057703 19452874752 30552 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4749237 30552 5529 1 0 550793 0
[pid=54864/tid=54867] ppid=54858 vsize=18996948 memory=10752 CPUtime=6.15 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 7392 0 0 0 612 3 0 0 20 0 19 0 55057705 19452874752 30552 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057707 19452874752 30552 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057708 19452874752 30552 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=18996948 memory=96328 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55057732 19452874752 30552 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 7.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.14 5/341 54977
/proc/meminfo: memFree=128523764/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=172532 CPUtime=13.8 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 24432 0 0 0 1372 8 0 0 20 0 20 0 55057703 19521036288 43133 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 43133 5529 1 0 551082 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=96328 CPUtime=12.53 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 8514 0 0 0 1249 4 0 0 20 0 20 0 55057705 19521036288 43133 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=157808 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 43133 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=142832 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 43133 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 43133 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.13 5/341 54977
/proc/meminfo: memFree=128519676/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=179320 CPUtime=26.58 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 26792 0 0 0 2650 8 0 0 20 0 20 0 55057703 19521036288 44830 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 44830 5529 1 0 551082 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=0 CPUtime=25.28 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 9385 0 0 0 2524 4 0 0 20 0 20 0 55057705 19521036288 44830 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=172532 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 44830 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=96328 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 44830 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=122208 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 44830 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179320 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.17 4.14 5/341 54977
/proc/meminfo: memFree=128413188/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=275808 CPUtime=52.2 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 27001 0 0 0 5209 11 0 0 20 0 20 0 55057703 19521036288 68952 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 68952 5529 1 0 551082 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=214324 CPUtime=50.76 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 9406 0 0 0 5072 4 0 0 20 0 20 0 55057705 19521036288 68952 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/339 55140
/proc/meminfo: memFree=115288860/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3280.02 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 90771 0 0 0 327882 120 0 0 20 0 20 0 55057703 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544686 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3270.79 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 40537 0 0 0 327057 22 0 0 20 0 20 0 55057705 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1807 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3280.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/338 55142
/proc/meminfo: memFree=115289416/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3340.02 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 92751 0 0 0 333880 122 0 0 20 0 20 0 55057703 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544686 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=14976 CPUtime=3330.53 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 41473 0 0 0 333031 22 0 0 20 0 20 0 55057705 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1891 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3340.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/340 55150
/proc/meminfo: memFree=115289088/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3399.9 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 92983 0 0 0 339867 123 0 0 20 0 20 0 55057703 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544686 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3390.38 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 41588 0 0 0 339016 22 0 0 20 0 20 0 55057705 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3399.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/341 55153
/proc/meminfo: memFree=115289208/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3459.78 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 93072 0 0 0 345854 124 0 0 20 0 20 0 55057703 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544686 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=17792 CPUtime=3450.24 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 41648 0 0 0 345002 22 0 0 20 0 20 0 55057705 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3459.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/341 55155
/proc/meminfo: memFree=115670568/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3519.66 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 93277 0 0 0 351841 125 0 0 20 0 20 0 55057703 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544686 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=2178744 CPUtime=3510.1 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 41825 0 0 0 350988 22 0 0 20 0 20 0 55057705 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544686 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3519.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/341 55157
/proc/meminfo: memFree=115523232/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178872 CPUtime=3579.62 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 94409 0 0 0 357836 126 0 0 20 0 20 0 55057703 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544718 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=2178872 CPUtime=3569.87 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 42376 0 0 0 356965 22 0 0 20 0 20 0 55057705 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=2178872 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=2178872 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=26512 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3579.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.8 s]
/proc/loadavg: 3.88 4.06 4.07 2/266 55259
/proc/meminfo: memFree=127695684/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19063512 memory=2178872 CPUtime=3600.08 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 94722 0 0 0 359881 127 0 0 20 0 20 0 55057703 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4765878 544718 5529 1 0 557960 0
[pid=54864/tid=54867] ppid=54858 vsize=19063512 memory=245635481903 CPUtime=3590.32 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 42678 0 0 0 359010 22 0 0 20 0 20 0 55057705 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19063512 memory=54113165640434 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057707 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19063512 memory=3544676174301233184 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 55057708 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54906] ppid=54858 vsize=19063512 memory=26512 CPUtime=0 cores=5,7
/proc/54864/task/54906/stat : 54906 (Timer-0) S 54858 54864 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057732 19521036288 544718 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.29156 s

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

[startup+3602.91 s]
/proc/loadavg: 3.88 4.06 4.07 2/266 55259
/proc/meminfo: memFree=127695684/131249996 swapFree=33010160/33010684
[pid=54864] ppid=54858 vsize=19263204 memory=2179640 CPUtime=3600.28 cores=5,7
/proc/54864/stat : 54864 (java) S 54858 54864 53798 0 -1 4194304 97084 0 0 0 359901 127 0 0 20 0 21 0 55057703 19725520896 544910 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
/proc/54864/statm: 4815801 544910 5561 1 0 558898 0
[pid=54864/tid=54867] ppid=54858 vsize=19263204 memory=17792 CPUtime=3590.42 cores=5,7
/proc/54864/task/54867/stat : 54867 (java) R 54858 54864 53798 0 -1 4194368 42991 0 0 0 359020 22 0 0 20 0 21 0 55057705 19725520896 544910 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54877] ppid=54858 vsize=19263204 memory=2178744 CPUtime=0 cores=5,7
/proc/54864/task/54877/stat : 54877 (Finalizer) S 54858 54864 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55057707 19725520896 544910 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
[pid=54864/tid=54884] ppid=54858 vsize=19263204 memory=4252 CPUtime=0 cores=5,7
/proc/54864/task/54884/stat : 54884 (Common-Cleaner) S 54858 54864 53798 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 21 0 55057708 19725520896 544910 18446744073709551615 94761617321984 94761617325680 140731160526976 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761617333496 94761617334288 94761644478464 140731160529281 140731160529382 140731160529382 140731160534984 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2179640 KiB

Child status: 143

Real time (s): 3602.94
CPU time (s): 3600.34
CPU user time (s): 3599.05
CPU system time (s): 1.29156
CPU usage (%): 99.928
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2179640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.29156
maximum resident set size= 2179768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105165
involuntary context switches= 3885


# summary of solver processes directly reported to runsolver:
#   pid: 54864
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.29156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39487 second user time and 17.3364 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 20:16:33
IDJOB=4498411
IDBENCH=148657
IDSOLVER=3363
FILE ID=nodeC029/4498411-1751393793
RUNJOBID= nodeC029-1751386581-53811
SLURM_JOB_ID= 9598249
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498411-1751393793/watcher-4498411-1751393793 -o /tmp/evaluation-result-4498411-1751393793/solver-4498411-1751393793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53811 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498411-1751393793.opb

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

MD5SUM BENCH= 3db1bbd9202c59626c0ffda5def46e58
RANDOM SEED=1898781265

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.761
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.725
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3479.606
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.616
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.306
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.232
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.406
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127214052 kB
MemAvailable:   127168024 kB
Buffers:            2128 kB
Cached:           760884 kB
SwapCached:           40 kB
Active:          3057728 kB
Inactive:         390928 kB
Active(anon):    2699220 kB
Inactive(anon):     4768 kB
Active(file):     358508 kB
Inactive(file):   386160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       2688604 kB
Mapped:           123208 kB
Shmem:             18020 kB
KReclaimable:      97084 kB
Slab:             184436 kB
SReclaimable:      97084 kB
SUnreclaim:        87352 kB
KernelStack:        4880 kB
PageTables:         8600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8160852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151064 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2473984 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC029 at 2025-07-01 21:16:36