Trace number 4524560

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.3 3571.23

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMa0a69f5de97d273b453558b207808764
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.501538
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints162
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 8163
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8162
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4524560-1751612925.wbo
0.12/0.13	c reading problem ... 
0.12/0.19	c ... done. Wall clock time 0.051s.
0.12/0.19	c declared #vars     3280
0.12/0.19	c internal #vars     3442
0.12/0.19	c #constraints  163
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.12/0.19	c org.sat4j.specs.Constr$1 => 1
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 82
0.12/0.19	c 163 constraints processed.
0.12/0.20	c objective function length is 162 literals
0.52/0.34	c SATISFIABLE
0.52/0.34	c OPTIMIZING...
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.213
0.52/0.34	o 140
1.42/0.81	c Got one! Elapsed wall clock time (in seconds):0.676
1.42/0.81	o 94
2.17/1.20	c cleaning 3138 clauses out of 6283 with flag 12548/6283
2.77/1.76	c cleaning 4557 clauses out of 9147 with flag 47577/12285
3.95/2.89	c cleaning 5774 clauses out of 11590 with flag 94756/19285
5.85/4.63	c cleaning 6881 clauses out of 13814 with flag 145580/27283
7.65/6.48	c cleaning 7940 clauses out of 15933 with flag 208364/36283
10.15/8.80	c cleaning 8970 clauses out of 17994 with flag 282631/46284
11.75/10.41	c cleaning 9995 clauses out of 20024 with flag 353841/57284
11.86/10.51	c Got one! Elapsed wall clock time (in seconds):10.382
11.86/10.51	o 93
11.86/10.54	c Got one! Elapsed wall clock time (in seconds):10.415
11.86/10.54	o 76
11.86/10.59	c Got one! Elapsed wall clock time (in seconds):10.459
11.86/10.59	o 62
11.97/10.62	c Got one! Elapsed wall clock time (in seconds):10.493
11.97/10.62	o 60
12.38/10.92	c cleaning 8811 clauses out of 17659 with flag 23425/64914
12.92/11.49	c cleaning 7391 clauses out of 14849 with flag 61910/70915
13.02/11.57	c Got one! Elapsed wall clock time (in seconds):11.44
13.02/11.57	o 19
13.32/11.86	c cleaning 6562 clauses out of 13133 with flag 23787/76590
13.32/11.89	c Got one! Elapsed wall clock time (in seconds):11.758
13.32/11.89	o 17
13.73/12.21	c cleaning 6071 clauses out of 12173 with flag 29281/82192
14.33/12.76	c cleaning 6031 clauses out of 12102 with flag 72683/88192
15.17/13.53	c cleaning 6519 clauses out of 13072 with flag 125010/95193
16.07/14.45	c cleaning 7254 clauses out of 14552 with flag 199453/103192
17.32/15.70	c cleaning 8130 clauses out of 16299 with flag 270994/112193
18.84/17.15	c cleaning 9065 clauses out of 18168 with flag 346410/122192
20.92/19.19	c cleaning 10036 clauses out of 20103 with flag 427112/133192
23.51/21.71	c cleaning 11018 clauses out of 22070 with flag 520025/145195
23.71/21.92	c Got one! Elapsed wall clock time (in seconds):21.793
23.71/21.92	o 14
23.91/22.13	c cleaning 8337 clauses out of 16680 with flag 17927/150823
24.47/22.62	c cleaning 7141 clauses out of 14344 with flag 51778/156824
24.87/23.00	c Got one! Elapsed wall clock time (in seconds):22.873
24.87/23.00	o 12
25.37/23.51	c cleaning 9131 clauses out of 18322 with flag 33419/167943
25.87/24.01	c cleaning 7548 clauses out of 15191 with flag 69660/173943
26.52/24.69	c cleaning 7275 clauses out of 14645 with flag 115683/180945
27.52/25.66	c cleaning 7634 clauses out of 15368 with flag 174753/188943
28.71/26.84	c cleaning 8332 clauses out of 16737 with flag 246100/197946
30.15/28.29	c cleaning 9166 clauses out of 18403 with flag 325008/207944
31.75/29.89	c cleaning 10086 clauses out of 20237 with flag 418508/218944
34.31/32.37	c cleaning 11038 clauses out of 22151 with flag 519878/230944
36.86/34.88	c cleaning 12018 clauses out of 24112 with flag 620663/243943
39.65/37.64	c cleaning 13005 clauses out of 26094 with flag 737094/257943
43.12/41.02	c cleaning 14006 clauses out of 28091 with flag 856770/272945
47.21/45.14	c cleaning 14994 clauses out of 30083 with flag 987098/288943
51.65/49.55	c cleaning 15994 clauses out of 32089 with flag 1134994/305943
52.45/50.35	c Got one! Elapsed wall clock time (in seconds):50.219
52.45/50.35	o 9
52.55/50.41	c cleaning 10794 clauses out of 21597 with flag 5745/311445
53.00/50.83	c cleaning 8361 clauses out of 16803 with flag 41324/317445
53.00/50.87	c Got one! Elapsed wall clock time (in seconds):50.744
53.00/50.87	o 8
53.31/51.18	c cleaning 7192 clauses out of 14425 with flag 29119/323428
53.90/51.79	c cleaning 6595 clauses out of 13233 with flag 70955/329428
54.00/51.90	c Got one! Elapsed wall clock time (in seconds):51.765
54.00/51.90	o 5
54.31/52.13	c cleaning 6251 clauses out of 12580 with flag 20732/335370
55.05/52.86	c cleaning 6125 clauses out of 12332 with flag 61474/341373
55.85/53.66	c cleaning 6563 clauses out of 13204 with flag 108314/348370
56.85/54.65	c cleaning 7277 clauses out of 14641 with flag 173917/356370
58.57/56.14	c cleaning 8147 clauses out of 16366 with flag 243824/365372
60.17/57.76	c cleaning 9075 clauses out of 18218 with flag 318720/375371
62.41/59.97	c cleaning 10037 clauses out of 20142 with flag 399801/386370
64.41/61.95	c cleaning 11039 clauses out of 22105 with flag 482901/398370
65.88/63.38	c cleaning 12020 clauses out of 24066 with flag 566854/411370
67.58/65.07	c cleaning 12981 clauses out of 26046 with flag 660477/425370
69.04/66.44	c cleaning 14005 clauses out of 28065 with flag 754636/440370
72.24/69.62	c cleaning 15007 clauses out of 30060 with flag 858400/456370
74.90/72.22	c cleaning 15995 clauses out of 32053 with flag 970344/473370
78.99/76.32	c cleaning 17005 clauses out of 34058 with flag 1090744/491370
82.68/80.09	c cleaning 18005 clauses out of 36053 with flag 1209545/510370
87.47/84.79	c cleaning 19003 clauses out of 38048 with flag 1351916/530370
89.77/87.04	c cleaning 20000 clauses out of 40045 with flag 1486311/551370
95.34/92.56	c cleaning 20990 clauses out of 42045 with flag 1652998/573370
103.79/101.00	c cleaning 22002 clauses out of 44055 with flag 1839430/596370
110.68/107.83	c cleaning 23009 clauses out of 46055 with flag 2018013/620372
117.30/114.13	c cleaning 24000 clauses out of 48045 with flag 2204788/645371
125.86/122.62	c cleaning 25001 clauses out of 50044 with flag 2403490/671370
135.64/132.40	c cleaning 26002 clauses out of 52043 with flag 2608085/698370
146.99/143.61	c cleaning 26999 clauses out of 54042 with flag 2840751/726371
160.75/157.41	c cleaning 28002 clauses out of 56042 with flag 3071909/755370
175.01/171.54	c cleaning 29019 clauses out of 58040 with flag 3294583/785370
179.62/176.11	c cleaning 29941 clauses out of 60021 with flag 3491916/816370
189.54/185.91	c cleaning 31018 clauses out of 62082 with flag 3717330/848372
194.43/190.88	c cleaning 31987 clauses out of 64062 with flag 3941177/881370
203.69/199.91	c cleaning 33002 clauses out of 66076 with flag 4177564/915371
210.88/207.16	c cleaning 34000 clauses out of 68073 with flag 4423257/950370
218.40/214.54	c cleaning 35006 clauses out of 70075 with flag 4655169/986372
224.47/220.17	c cleaning 36032 clauses out of 72068 with flag 4882117/1023371
237.98/233.67	c cleaning 36978 clauses out of 74035 with flag 5152074/1061370
253.82/249.33	c cleaning 37988 clauses out of 76059 with flag 5443458/1100372
260.61/256.19	c cleaning 38958 clauses out of 78072 with flag 5747573/1140373
267.35/262.73	c cleaning 40053 clauses out of 80112 with flag 5996858/1181371
286.38/281.65	c cleaning 41026 clauses out of 82059 with flag 6249562/1223371
292.17/287.47	c cleaning 41956 clauses out of 84032 with flag 6518985/1266370
307.70/302.82	c cleaning 43022 clauses out of 86078 with flag 6811101/1310372
318.07/313.03	c cleaning 44001 clauses out of 88055 with flag 7103159/1355371
326.67/321.50	c cleaning 45007 clauses out of 90054 with flag 7383365/1401371
335.62/329.94	c cleaning 45992 clauses out of 92047 with flag 7687871/1448371
362.87/357.24	c cleaning 46994 clauses out of 94054 with flag 8030155/1496370
377.41/371.67	c cleaning 48001 clauses out of 96060 with flag 8370909/1545370
398.35/392.42	c cleaning 49003 clauses out of 98060 with flag 8696515/1595371
409.13/403.01	c cleaning 49983 clauses out of 100056 with flag 8989564/1646370
418.91/412.64	c cleaning 51033 clauses out of 102073 with flag 9302778/1698370
535.42/526.09	c cleaning 51838 clauses out of 104040 with flag 9916290/1751370
559.24/549.72	c cleaning 53025 clauses out of 106202 with flag 10265299/1805370
576.38/566.78	c cleaning 54053 clauses out of 108178 with flag 10659079/1860371
600.20/590.47	c cleaning 55039 clauses out of 110125 with flag 11094083/1916371
629.74/619.85	c cleaning 56022 clauses out of 112085 with flag 11492683/1973370
666.46/656.47	c cleaning 57011 clauses out of 114065 with flag 11864201/2031372
702.56/692.25	c cleaning 58006 clauses out of 116052 with flag 12262502/2090370
740.26/729.86	c cleaning 59003 clauses out of 118046 with flag 12689135/2150370
758.94/747.97	c cleaning 59987 clauses out of 120044 with flag 13112343/2211371
775.49/764.26	c cleaning 61007 clauses out of 122056 with flag 13529563/2273370
812.41/801.09	c cleaning 62005 clauses out of 124049 with flag 13924910/2336370
864.29/852.84	c cleaning 63001 clauses out of 126044 with flag 14337372/2400370
917.28/905.71	c cleaning 63965 clauses out of 128043 with flag 14764993/2465370
935.30/923.43	c cleaning 65025 clauses out of 130081 with flag 15193665/2531373
984.28/972.34	c cleaning 66006 clauses out of 132053 with flag 15667348/2598370
1035.24/1023.27	c cleaning 66998 clauses out of 134049 with flag 16161532/2666372
1114.63/1102.43	c cleaning 67993 clauses out of 136049 with flag 16668808/2735370
1126.87/1114.59	c cleaning 69012 clauses out of 138058 with flag 17108321/2805372
1145.07/1132.62	c cleaning 69973 clauses out of 140045 with flag 17569963/2876371
1158.74/1145.34	c cleaning 71033 clauses out of 142071 with flag 18004484/2948370
1176.17/1162.60	c cleaning 71997 clauses out of 144040 with flag 18456818/3021372
1188.80/1175.17	c cleaning 72983 clauses out of 146042 with flag 18903931/3095371
1262.03/1248.14	c cleaning 74003 clauses out of 148059 with flag 19372564/3170371
1301.75/1287.78	c cleaning 75022 clauses out of 150055 with flag 19862494/3246370
1315.40/1301.20	c cleaning 75994 clauses out of 152033 with flag 20350721/3323370
1331.53/1317.09	c cleaning 77008 clauses out of 154039 with flag 20825639/3401370
1349.65/1335.03	c cleaning 78000 clauses out of 156031 with flag 21300133/3480370
1366.44/1351.70	c cleaning 78989 clauses out of 158034 with flag 21766515/3560373
1380.22/1365.42	c cleaning 79967 clauses out of 160042 with flag 22274525/3641370
1396.27/1381.14	c cleaning 81003 clauses out of 162075 with flag 22780561/3723370
1446.04/1430.87	c cleaning 82023 clauses out of 164073 with flag 23350342/3806371
1462.19/1446.66	c cleaning 83000 clauses out of 166050 with flag 23853326/3890371
1485.70/1470.06	c cleaning 83996 clauses out of 168049 with flag 24369067/3975370
1505.61/1489.60	c cleaning 85001 clauses out of 170053 with flag 24887080/4061370
1529.94/1513.89	c cleaning 85997 clauses out of 172052 with flag 25472393/4148370
1549.39/1532.27	c cleaning 86990 clauses out of 174056 with flag 26025575/4236371
1568.72/1551.37	c cleaning 88010 clauses out of 176066 with flag 26565940/4325371
1587.80/1570.20	c cleaning 89027 clauses out of 178057 with flag 27107699/4415372
1606.55/1588.87	c cleaning 89973 clauses out of 180028 with flag 27671214/4506370
1685.82/1668.02	c cleaning 90987 clauses out of 182057 with flag 28269933/4598372
1776.75/1758.63	c cleaning 91991 clauses out of 184068 with flag 28888176/4691370
1880.31/1862.13	c cleaning 92995 clauses out of 186077 with flag 29513414/4785370
1993.01/1974.55	c cleaning 94001 clauses out of 188086 with flag 30140170/4880374
2129.88/2111.46	c cleaning 94997 clauses out of 190082 with flag 30869769/4976371
2224.89/2206.15	c cleaning 96000 clauses out of 192085 with flag 31738732/5073371
2304.34/2285.55	c cleaning 97005 clauses out of 194084 with flag 32454601/5171370
2325.92/2306.99	c cleaning 98035 clauses out of 196079 with flag 33037659/5270370
2349.47/2330.13	c cleaning 99017 clauses out of 198045 with flag 33625975/5370371
2371.30/2351.71	c cleaning 99993 clauses out of 200027 with flag 34236450/5471370
2393.36/2373.63	c cleaning 100995 clauses out of 202035 with flag 34841875/5573371
2417.39/2397.54	c cleaning 101999 clauses out of 204039 with flag 35459317/5676370
2442.83/2422.67	c cleaning 103003 clauses out of 206040 with flag 36077503/5780370
2466.83/2445.61	c cleaning 103996 clauses out of 208038 with flag 36711023/5885371
2496.29/2474.97	c cleaning 104987 clauses out of 210042 with flag 37370579/5991371
2520.61/2499.07	c cleaning 105998 clauses out of 212054 with flag 38012221/6098370
2545.80/2524.12	c cleaning 107020 clauses out of 214056 with flag 38659500/6206370
2568.95/2546.90	c cleaning 107983 clauses out of 216036 with flag 39319832/6315370
2595.78/2573.54	c cleaning 109009 clauses out of 218053 with flag 39966643/6425370
2623.95/2601.50	c cleaning 110015 clauses out of 220046 with flag 40619743/6536372
2650.00/2627.43	c cleaning 111004 clauses out of 222029 with flag 41299322/6648370
2676.80/2654.13	c cleaning 111990 clauses out of 224025 with flag 41963607/6761370
2705.37/2682.68	c cleaning 113000 clauses out of 226037 with flag 42630511/6875372
2730.60/2707.50	c cleaning 113988 clauses out of 228035 with flag 43325052/6990370
2762.08/2738.80	c cleaning 115008 clauses out of 230048 with flag 44018221/7106371
2791.00/2767.67	c cleaning 115993 clauses out of 232041 with flag 44721983/7223372
2818.30/2794.80	c cleaning 116983 clauses out of 234046 with flag 45424520/7341370
2846.53/2822.71	c cleaning 118014 clauses out of 236063 with flag 46139995/7460370
2877.11/2853.11	c cleaning 118991 clauses out of 238049 with flag 46843808/7580370
2907.41/2883.36	c cleaning 120008 clauses out of 240058 with flag 47605409/7701370
2938.15/2913.64	c cleaning 121011 clauses out of 242050 with flag 48331489/7823370
2971.24/2946.53	c cleaning 122005 clauses out of 244041 with flag 49056497/7946372
3004.36/2979.59	c cleaning 123006 clauses out of 246034 with flag 49797475/8070370
3037.15/3011.92	c cleaning 124007 clauses out of 248029 with flag 50557736/8195371
3070.17/3044.72	c cleaning 124990 clauses out of 250021 with flag 51306944/8321370
3105.21/3079.61	c cleaning 125984 clauses out of 252032 with flag 52076767/8448371
3139.30/3113.38	c cleaning 127011 clauses out of 254048 with flag 52850226/8576371
3173.10/3145.96	c cleaning 128004 clauses out of 256036 with flag 53652916/8705370
3207.78/3180.37	c cleaning 128993 clauses out of 258032 with flag 54437849/8835370
3242.36/3214.62	c cleaning 129997 clauses out of 260039 with flag 55221366/8966370
3276.24/3248.27	c cleaning 130992 clauses out of 262042 with flag 56015493/9098370
3313.45/3285.16	c cleaning 132015 clauses out of 264050 with flag 56815625/9231370
3348.94/3320.31	c cleaning 132994 clauses out of 266036 with flag 57626318/9365371
3384.38/3355.82	c cleaning 134003 clauses out of 268042 with flag 58442460/9500371
3421.98/3393.49	c cleaning 134990 clauses out of 270038 with flag 59265603/9636370
3460.46/3431.80	c cleaning 136015 clauses out of 272049 with flag 60100245/9773371
3497.46/3468.71	c cleaning 137004 clauses out of 274034 with flag 60938363/9911371
3536.43/3507.67	c cleaning 137998 clauses out of 276033 with flag 61777877/10050374
3576.10/3547.29	c cleaning 138995 clauses out of 278031 with flag 62621974/10190370
3600.09/3571.11	c starts		: 47627
3600.09/3571.12	c conflicts		: 10287224
3600.09/3571.12	c decisions		: 84852179
3600.09/3571.12	c propagations		: 343066355
3600.09/3571.12	c inspects		: 28153416926
3600.09/3571.12	c shortcuts		: 0
3600.09/3571.12	c learnt literals	: 0
3600.09/3571.12	c learnt binary clauses	: 0
3600.09/3571.12	c learnt ternary clauses	: 0
3600.09/3571.12	c learnt constraints	: 10287224
3600.09/3571.12	c ignored constraints	: 0
3600.09/3571.12	c root simplifications	: 0
3600.09/3571.12	c removed literals (reason simplification)	: 4946942
3600.09/3571.12	c reason swapping (by a shorter reason)	: 0
3600.09/3571.12	c Calls to reduceDB	: 173
3600.09/3571.12	c Number of update (reduction) of LBD	: 5265179
3600.09/3571.12	c Imported unit clauses	: 0
3600.09/3571.12	c No decision after first conflict	: false
3600.09/3571.12	c number of reductions to clauses (during analyze)	: 0
3600.09/3571.12	c number of learned constraints concerned by reduction	: 0
3600.09/3571.12	c number of learning phase by resolution	: 0
3600.09/3571.12	c number of learning phase by cutting planes	: 0
3600.09/3571.12	c number of rounding to 1 operations	: 0
3600.09/3571.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3571.12	c number of reductions of the coefficients by power 2 	: 0
3600.09/3571.12	c number of right shift for reduction by power 2 	: 0
3600.09/3571.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3571.12	c number of ending skipping 	: 0
3600.09/3571.12	c number of internal skipping 	: 0
3600.09/3571.12	c number of derivation steps 	: 0
3600.09/3571.12	c number of skipped derivation steps 	: 0
3600.09/3571.12	c number of remaining unassigned 	: 0
3600.09/3571.12	c number of remaining assigned 	: 0
3600.09/3571.12	c number of falsified literals weakened from reason	: 0
3600.09/3571.12	c number of falsified literals weakened from conflict	: 0
3600.09/3571.12	c time for arithmetic operations	: 0
3600.09/3571.12	c minimum degree of deleted constraints	: null
3600.09/3571.12	c maximum degree of deleted constraints	: null
3600.09/3571.12	c number of deleted constraints	: 0
3600.09/3571.12	c speed (assignments/second)	: 96072.4215144918
3600.09/3571.12	c non guided choices	: 2513817
3600.09/3571.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 235890
3600.09/3571.18	s SATISFIABLE
3600.09/3571.18	c Found 13 solution(s)
3600.09/3571.19	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
3600.09/3571.19	c objective function=5
3600.09/3571.19	c Total wall clock time (in seconds): 3571.062

Verifier Data 

OK	5

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61912 MiB free)
  memory of node 1: 64507 MiB (63728 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524560-1751612925/watcher-4524560-1751612925 -o /tmp/evaluation-result-4524560-1751612925/solver-4524560-1751612925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93506 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524560-1751612925.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.28 4.68 5.63 6/338 94227
/proc/meminfo: memFree=128635956/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18930384 memory=57660 CPUtime=0.12 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 6560 0 0 0 10 2 0 0 20 0 18 0 76972749 19384713216 14415 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4732596 14415 5338 1 0 547619 0
[pid=94209/tid=94211] ppid=94206 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 5075 0 0 0 6 1 0 0 20 0 18 0 76972751 19384713216 14415 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76972753 19384713216 14415 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18930384 memory=59585004340264 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76972753 19384713216 14415 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57660 KiB

[startup+0.206019 s]*
/proc/loadavg: 4.28 4.68 5.63 7/338 94227
/proc/meminfo: memFree=128623732/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18930384 memory=66312 CPUtime=0.32 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 7082 0 0 0 30 2 0 0 20 0 18 0 76972749 19384713216 16578 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4732596 16578 5466 1 0 547934 0
[pid=94209/tid=94211] ppid=94206 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 5351 0 0 0 15 2 0 0 20 0 18 0 76972751 19384713216 16578 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18930384 memory=19950 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76972753 19384713216 16578 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76972753 19384713216 16578 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66312 KiB

[startup+0.305906 s]*
/proc/loadavg: 4.28 4.68 5.63 6/339 94228
/proc/meminfo: memFree=128623928/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18996948 memory=75724 CPUtime=0.52 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 10235 0 0 0 49 3 0 0 20 0 19 0 76972749 19452874752 18931 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4749237 18931 5498 1 0 549959 0
[pid=94209/tid=94211] ppid=94206 vsize=18996948 memory=-6000919481380530278 CPUtime=0.26 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 5377 0 0 0 24 2 0 0 20 0 19 0 76972751 19452874752 18931 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 18931 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 18931 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972771 19452874752 18931 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75724 KiB

[startup+0.700234 s]
/proc/loadavg: 4.28 4.68 5.63 6/339 94228
/proc/meminfo: memFree=128616048/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18996948 memory=92620 CPUtime=1.27 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 12352 0 0 0 123 4 0 0 20 0 19 0 76972749 19452874752 23155 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4749237 23155 5498 1 0 551499 0
[pid=94209/tid=94211] ppid=94206 vsize=18996948 memory=15104 CPUtime=0.64 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 5419 0 0 0 62 2 0 0 20 0 19 0 76972751 19452874752 23155 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 23155 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 23155 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972771 19452874752 23155 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92620 KiB

[startup+1.50021 s]
/proc/loadavg: 4.28 4.68 5.63 6/339 94228
/proc/meminfo: memFree=128606092/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18996948 memory=120004 CPUtime=2.56 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 18349 0 0 0 251 5 0 0 20 0 19 0 76972749 19452874752 30001 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4749237 30001 5498 1 0 552082 0
[pid=94209/tid=94211] ppid=94206 vsize=18996948 memory=10752 CPUtime=1.42 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 6463 0 0 0 140 2 0 0 20 0 19 0 76972751 19452874752 30001 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 30001 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 30001 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972771 19452874752 30001 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120004 KiB

[startup+3.1058 s]
/proc/loadavg: 4.25 4.67 5.62 5/339 94228
/proc/meminfo: memFree=128518520/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=18996948 memory=163168 CPUtime=4.34 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 19143 0 0 0 428 6 0 0 20 0 19 0 76972749 19452874752 40792 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4749237 40792 5498 1 0 552089 0
[pid=94209/tid=94211] ppid=94206 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 6825 0 0 0 299 3 0 0 20 0 19 0 76972751 19452874752 40792 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=18996948 memory=-6000919481380530278 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 40792 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76972753 19452874752 40792 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972771 19452874752 40792 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163168 KiB

[startup+6.30024 s]
/proc/loadavg: 4.25 4.67 5.62 5/341 94230
/proc/meminfo: memFree=128395640/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=188164 CPUtime=7.55 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 20341 0 0 0 748 7 0 0 20 0 20 0 76972749 19521036288 47041 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 47041 5498 1 0 552378 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=0 CPUtime=6.18 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 6833 0 0 0 615 3 0 0 20 0 20 0 76972751 19521036288 47041 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 47041 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 47041 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=124108 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 47041 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.66 5.61 5/342 94231
/proc/meminfo: memFree=128117120/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=303392 CPUtime=14.33 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 26101 0 0 0 1423 10 0 0 20 0 20 0 76972749 19521036288 75848 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 75848 5530 1 0 552394 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=124108 CPUtime=12.46 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 7962 0 0 0 1243 3 0 0 20 0 20 0 76972751 19521036288 75848 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 75848 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=303264 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 75848 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 75848 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 303392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.64 5.59 5/343 94233
/proc/meminfo: memFree=127542952/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=594328 CPUtime=27.42 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 30257 0 0 0 2725 17 0 0 20 0 20 0 76972749 19521036288 148582 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 148582 5530 1 0 552394 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=10752 CPUtime=24.98 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 9168 0 0 0 2495 3 0 0 20 0 20 0 76972751 19521036288 148582 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=303264 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 148582 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 148582 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 148582 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 594328 KiB

[startup+51.1059 s]
/proc/loadavg: 4.23 4.60 5.56 5/340 94233
/proc/meminfo: memFree=125612560/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=1014252 CPUtime=53.31 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 32125 0 0 0 5305 26 0 0 20 0 20 0 76972749 19521036288 253563 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 253563 5530 1 0 552394 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=954852 CPUtime=50.15 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 9973 0 0 0 5012 3 0 0 20 0 20 0 76972751 19521036288 253563 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=954852 CPUtime=0 cores=1,3

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

/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2491448 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=9607392 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2255 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2491448 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=9545952 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2491448 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3189.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9965792 KiB

[startup+3222.3 s]
/proc/loadavg: 3.28 3.21 3.49 4/314 94484
/proc/meminfo: memFree=114269528/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3250.04 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 210294 0 0 0 324685 319 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=5632 CPUtime=3187.87 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 96662 0 0 0 318722 65 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=9545952 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2275 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3250.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.19 3.46 4/315 94487
/proc/meminfo: memFree=114270752/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3310.65 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 215796 0 0 0 330744 321 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=1792 CPUtime=3246.99 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 100388 0 0 0 324634 65 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=56 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=15104 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2275 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3310.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.18 3.44 4/317 94497
/proc/meminfo: memFree=114158052/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3370.9 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 218837 0 0 0 336767 323 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=56 CPUtime=3306.45 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 102875 0 0 0 330579 66 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=15104 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2286 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3370.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.16 3.42 4/317 94499
/proc/meminfo: memFree=114079352/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3431.01 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 222689 0 0 0 342776 325 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=14720 CPUtime=3366.07 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 105319 0 0 0 336541 66 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2297 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3431.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.14 3.39 4/317 94501
/proc/meminfo: memFree=114079472/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3491.08 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 226071 0 0 0 348781 327 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=14720 CPUtime=3425.75 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 107663 0 0 0 342509 66 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=15104 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=-4050210904893603218 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2337 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3491.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.14 3.38 4/317 94503
/proc/meminfo: memFree=114079632/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3551.24 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 228899 0 0 0 354795 329 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3485.31 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 109649 0 0 0 348465 66 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2377 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=-6000919481380530278 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3551.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3571.11 s]
/proc/loadavg: 3.10 3.14 3.36 4/316 94504
/proc/meminfo: memFree=113989064/131250000 swapFree=33008100/33010684
[pid=94209] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3600.09 cores=1,3
/proc/94209/stat : 94209 (java) S 94206 94209 92287 0 -1 4194304 231899 0 0 0 359679 330 0 0 20 0 20 0 76972749 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
/proc/94209/statm: 4765878 2611992 5530 1 0 3582748 0
[pid=94209/tid=94211] ppid=94206 vsize=19063512 memory=10447968 CPUtime=3533.87 cores=1,3
/proc/94209/task/94211/stat : 94211 (java) R 94206 94209 92287 0 -1 4194368 111770 0 0 0 353320 67 0 0 20 0 20 0 76972751 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94220] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94220/stat : 94220 (Finalizer) S 94206 94209 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94227] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94227/stat : 94227 (Common-Cleaner) S 94206 94209 92287 0 -1 4194368 2378 0 0 0 0 0 0 0 20 0 20 0 76972753 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
[pid=94209/tid=94228] ppid=94206 vsize=19063512 memory=10447968 CPUtime=0 cores=1,3
/proc/94209/task/94228/stat : 94228 (Timer-0) S 94206 94209 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972771 19521036288 2611992 18446744073709551615 94321361477632 94321361481328 140731416835168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94321361489144 94321361489936 94321370673152 140731416836479 140731416836580 140731416836580 140731416842184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10447968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.96 s, system=3.33522 s

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

[startup+3571.2 s]*
/proc/loadavg: 3.10 3.14 3.36 4/298 94507
/proc/meminfo: memFree=116015104/131250000 swapFree=33008100/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3571.23
CPU time (s): 3600.3
CPU user time (s): 3596.96
CPU system time (s): 3.33522
CPU usage (%): 100.814
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 10447968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 3.33522
maximum resident set size= 10448992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113815
involuntary context switches= 8237


# summary of solver processes directly reported to runsolver:
#   pid: 94209
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 3.33522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.67748 second user time and 16.8276 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-04 09:08:45
IDJOB=4524560
IDBENCH=143132
IDSOLVER=3380
FILE ID=nodeC013/4524560-1751612925
RUNJOBID= nodeC013-1751612909-93506
SLURM_JOB_ID= 9598886
Free space on /tmp= 432632 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524560-1751612925/watcher-4524560-1751612925 -o /tmp/evaluation-result-4524560-1751612925/solver-4524560-1751612925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93506 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524560-1751612925.wbo

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

MD5SUM BENCH= a0a69f5de97d273b453558b207808764
RANDOM SEED=694658690

nodeC013 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.840
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.67
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.282
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.67
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		: 3598.248
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.67
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		: 3599.836
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.67
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.846
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.67
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.829
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.67
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		: 3609.808
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.67
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		: 3602.183
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128655356 kB
MemAvailable:   128925716 kB
Buffers:            1668 kB
Cached:          1064036 kB
SwapCached:         1908 kB
Active:          1295688 kB
Inactive:         699664 kB
Active(anon):     923392 kB
Inactive(anon):    17628 kB
Active(file):     372296 kB
Inactive(file):   682036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13840 kB
Writeback:             0 kB
AnonPages:        930876 kB
Mapped:           119660 kB
Shmem:             11368 kB
KReclaimable:     110132 kB
Slab:             200244 kB
SReclaimable:     110132 kB
SUnreclaim:        90112 kB
KernelStack:        5216 kB
PageTables:         5392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    9931672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432644 MiB
End job on nodeC013 at 2025-07-04 10:08:16