Trace number 4524578

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.29 3581.43

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMa225f26da97a8b38da33ab7979240ae3
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.257067
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2100
Total number of constraints130
Number of soft constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 6361
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 6360
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4524578-1751614174.wbo
0.10/0.15	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.044s.
0.10/0.19	c declared #vars     2100
0.10/0.19	c internal #vars     2230
0.10/0.19	c #constraints  131
0.10/0.19	c constraints type 
0.10/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.10/0.20	c org.sat4j.specs.Constr$1 => 1
0.10/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 70
0.10/0.20	c 131 constraints processed.
0.29/0.21	c objective function length is 130 literals
1.35/0.89	c cleaning 2495 clauses out of 5001 with flag 32881/5001
2.18/1.49	c SATISFIABLE
2.18/1.49	c OPTIMIZING...
2.18/1.49	c Got one! Elapsed wall clock time (in seconds):1.346
2.18/1.50	o 166
2.35/1.54	c cleaning 4113 clauses out of 8225 with flag 6200/10720
3.10/2.20	c cleaning 5050 clauses out of 10113 with flag 46431/16721
4.19/3.35	c cleaning 6027 clauses out of 12062 with flag 93963/23720
5.70/4.83	c cleaning 7013 clauses out of 14038 with flag 148175/31723
7.40/6.52	c cleaning 8003 clauses out of 16023 with flag 205356/40721
8.44/7.58	c Got one! Elapsed wall clock time (in seconds):7.429
8.44/7.58	o 133
10.08/9.04	c cleaning 9618 clauses out of 19252 with flag 34473/51953
11.47/10.44	c cleaning 7806 clauses out of 15634 with flag 81695/57953
12.77/11.72	c cleaning 7402 clauses out of 14828 with flag 130558/64953
14.17/13.16	c cleaning 7703 clauses out of 15426 with flag 185001/72953
14.57/13.50	c Got one! Elapsed wall clock time (in seconds):13.348
14.57/13.50	o 97
15.42/14.25	c cleaning 6572 clauses out of 13159 with flag 25616/78389
16.76/15.54	c cleaning 6282 clauses out of 12587 with flag 75567/84389
17.37/16.19	c cleaning 6639 clauses out of 13305 with flag 126930/91389
17.46/16.22	c Got one! Elapsed wall clock time (in seconds):16.072
17.46/16.22	o 94
18.16/16.92	c cleaning 5997 clauses out of 12001 with flag 43476/96724
18.99/17.75	c cleaning 5998 clauses out of 12004 with flag 101154/102724
19.90/18.68	c cleaning 6495 clauses out of 13005 with flag 173147/109723
20.53/19.26	c Got one! Elapsed wall clock time (in seconds):19.11
20.53/19.26	o 90
21.62/20.35	c cleaning 8318 clauses out of 16662 with flag 45891/119875
22.65/21.38	c cleaning 7165 clauses out of 14344 with flag 98550/125875
24.07/22.73	c cleaning 7080 clauses out of 14182 with flag 167064/132878
25.07/23.73	c Got one! Elapsed wall clock time (in seconds):23.581
25.07/23.73	o 89
26.76/25.48	c cleaning 9521 clauses out of 19064 with flag 42029/144840
28.30/26.93	c cleaning 7762 clauses out of 15543 with flag 95978/150840
28.51/27.15	c Got one! Elapsed wall clock time (in seconds):27.0
28.51/27.15	o 35
29.20/27.84	c cleaning 6775 clauses out of 13563 with flag 32415/156622
30.10/28.79	c cleaning 6388 clauses out of 12790 with flag 87646/162624
31.20/29.84	c cleaning 6689 clauses out of 13400 with flag 153304/169622
32.53/31.11	c Got one! Elapsed wall clock time (in seconds):30.964
32.53/31.11	o 33
34.23/32.80	c cleaning 9683 clauses out of 19376 with flag 37840/182287
35.62/34.22	c cleaning 7839 clauses out of 15691 with flag 82524/188285
37.26/35.80	c cleaning 7423 clauses out of 14852 with flag 136493/195285
37.46/36.02	c Got one! Elapsed wall clock time (in seconds):35.87
37.46/36.02	o 25
38.16/36.74	c cleaning 6527 clauses out of 13063 with flag 28471/200919
39.05/37.62	c cleaning 6260 clauses out of 12533 with flag 80810/206916
40.35/38.98	c cleaning 6633 clauses out of 13273 with flag 143308/213916
42.05/40.63	c cleaning 7318 clauses out of 14643 with flag 212007/221919
43.84/42.45	c cleaning 8155 clauses out of 16322 with flag 290514/230916
46.14/44.78	c cleaning 9082 clauses out of 18168 with flag 380534/240917
48.95/47.54	c cleaning 10041 clauses out of 20087 with flag 475190/251918
51.55/50.11	c cleaning 11013 clauses out of 22044 with flag 582205/263916
54.50/53.09	c cleaning 12013 clauses out of 24033 with flag 707232/276918
57.73/56.21	c Got one! Elapsed wall clock time (in seconds):56.064
57.73/56.21	o 24
59.83/58.31	c cleaning 14812 clauses out of 29628 with flag 54550/294526
61.42/59.98	c cleaning 10404 clauses out of 20817 with flag 117875/300527
63.13/61.69	c cleaning 8705 clauses out of 17414 with flag 189551/307528
64.96/63.49	c cleaning 8345 clauses out of 16707 with flag 272962/315526
66.57/65.03	c cleaning 8680 clauses out of 17364 with flag 354087/324528
67.36/65.83	c Got one! Elapsed wall clock time (in seconds):65.682
67.36/65.83	o 18
67.46/65.96	c Got one! Elapsed wall clock time (in seconds):65.815
67.46/65.96	o 13
68.68/67.14	c cleaning 9891 clauses out of 19795 with flag 36857/335639
69.88/68.30	c cleaning 7943 clauses out of 15904 with flag 99221/341639
70.88/69.36	c cleaning 7472 clauses out of 14962 with flag 162150/348640
72.07/70.58	c cleaning 7740 clauses out of 15491 with flag 239321/356641
73.88/72.37	c cleaning 8368 clauses out of 16749 with flag 328234/365639
75.89/74.37	c cleaning 9181 clauses out of 18381 with flag 418211/375639
78.89/77.31	c cleaning 10095 clauses out of 20201 with flag 511337/386640
81.98/80.41	c cleaning 11047 clauses out of 22105 with flag 619076/398639
85.27/83.72	c cleaning 12022 clauses out of 24059 with flag 739282/411640
89.26/87.76	c cleaning 13016 clauses out of 26038 with flag 871892/425641
94.26/92.70	c cleaning 14008 clauses out of 28020 with flag 1011419/440639
94.56/93.03	c Got one! Elapsed wall clock time (in seconds):92.88
94.56/93.03	o 10
95.56/94.02	c cleaning 9642 clauses out of 19292 with flag 44693/445919
96.75/95.26	c cleaning 7825 clauses out of 15653 with flag 115544/451922
97.85/96.34	c cleaning 7413 clauses out of 14825 with flag 189485/458919
97.85/96.35	c Got one! Elapsed wall clock time (in seconds):96.201
97.85/96.35	o 7
98.15/96.62	c cleaning 6246 clauses out of 12522 with flag 32762/464029
98.75/97.20	c cleaning 6127 clauses out of 12279 with flag 83559/470032
99.55/98.07	c cleaning 6566 clauses out of 13149 with flag 146700/477029
100.75/99.23	c cleaning 7285 clauses out of 14583 with flag 210542/485029
101.66/100.11	c cleaning 8138 clauses out of 16298 with flag 274743/494029
102.67/101.19	c cleaning 9053 clauses out of 18162 with flag 343885/504031
103.95/102.32	c cleaning 10040 clauses out of 20107 with flag 416141/515029
105.85/104.23	c cleaning 11015 clauses out of 22067 with flag 491174/527029
108.25/106.64	c cleaning 12009 clauses out of 24052 with flag 573258/540029
111.74/110.12	c cleaning 13000 clauses out of 26043 with flag 669784/554029
115.13/113.53	c cleaning 14004 clauses out of 28043 with flag 773442/569029
119.13/117.55	c cleaning 15009 clauses out of 30045 with flag 880128/585035
123.31/121.78	c cleaning 15997 clauses out of 32030 with flag 986919/602029
128.71/127.12	c cleaning 16998 clauses out of 34033 with flag 1101858/620029
134.20/132.63	c cleaning 18003 clauses out of 36035 with flag 1220466/639029
140.49/138.76	c cleaning 18987 clauses out of 38032 with flag 1354287/659029
143.38/141.61	c cleaning 19984 clauses out of 40045 with flag 1492763/680029
146.98/145.29	c cleaning 21004 clauses out of 42062 with flag 1640473/702030
151.56/149.82	c cleaning 22006 clauses out of 44060 with flag 1812744/725032
156.86/155.19	c cleaning 23006 clauses out of 46052 with flag 1987772/749030
160.35/158.62	c cleaning 24007 clauses out of 48049 with flag 2162378/774033
164.52/162.64	c cleaning 25003 clauses out of 50040 with flag 2340327/800031
168.71/166.85	c cleaning 25811 clauses out of 52036 with flag 2552530/827030
173.03/170.73	c cleaning 27103 clauses out of 54225 with flag 2731049/855030
177.33/175.06	c cleaning 28033 clauses out of 56122 with flag 2924197/884030
182.28/179.97	c cleaning 29017 clauses out of 58089 with flag 3102099/914030
186.58/184.18	c cleaning 30018 clauses out of 60071 with flag 3284219/945029
191.66/189.20	c cleaning 31019 clauses out of 62055 with flag 3475070/977031
195.65/193.14	c cleaning 31997 clauses out of 64037 with flag 3684647/1010032
201.24/198.75	c cleaning 33004 clauses out of 66037 with flag 3882045/1044029
206.81/204.26	c cleaning 34010 clauses out of 68035 with flag 4097950/1079031
212.19/209.60	c cleaning 34999 clauses out of 70023 with flag 4311676/1115029
218.69/216.07	c cleaning 36013 clauses out of 72025 with flag 4521997/1152030
224.98/222.35	c cleaning 36991 clauses out of 74013 with flag 4754583/1190031
231.96/229.37	c cleaning 37995 clauses out of 76021 with flag 4987998/1229030
238.27/235.57	c cleaning 39001 clauses out of 78027 with flag 5225635/1269031
244.96/242.21	c cleaning 40002 clauses out of 80025 with flag 5472498/1310030
253.61/250.79	c cleaning 41000 clauses out of 82023 with flag 5714802/1352030
262.46/259.27	c cleaning 41987 clauses out of 84023 with flag 5968592/1395030
270.14/266.91	c cleaning 42987 clauses out of 86035 with flag 6242177/1439029
278.40/275.17	c cleaning 44016 clauses out of 88049 with flag 6515112/1484030
286.28/283.00	c cleaning 45003 clauses out of 90033 with flag 6806720/1530030
297.19/293.84	c cleaning 46000 clauses out of 92029 with flag 7124248/1577029
305.57/302.25	c cleaning 47003 clauses out of 94029 with flag 7413691/1625029
314.93/311.42	c cleaning 48000 clauses out of 96026 with flag 7697961/1674029
324.61/321.16	c cleaning 49007 clauses out of 98026 with flag 8006457/1724029
335.63/332.01	c cleaning 49998 clauses out of 100020 with flag 8309033/1775030
346.50/342.90	c cleaning 50996 clauses out of 102023 with flag 8621562/1827031
357.87/354.18	c cleaning 51997 clauses out of 104025 with flag 8956751/1880029
368.75/365.05	c cleaning 52999 clauses out of 106028 with flag 9281758/1934029
380.96/377.17	c cleaning 54012 clauses out of 108029 with flag 9615881/1989029
393.14/388.92	c cleaning 54996 clauses out of 110017 with flag 9970866/2045029
405.93/401.61	c cleaning 55989 clauses out of 112021 with flag 10323559/2102029
420.40/416.14	c cleaning 57010 clauses out of 114033 with flag 10674679/2160030
432.70/428.32	c cleaning 57996 clauses out of 116022 with flag 11043078/2219029
447.37/443.05	c cleaning 58988 clauses out of 118026 with flag 11413787/2279029
460.50/456.01	c cleaning 60012 clauses out of 120039 with flag 11797171/2340030
476.85/472.27	c cleaning 60990 clauses out of 122026 with flag 12179782/2402029
493.02/488.45	c cleaning 62005 clauses out of 124036 with flag 12565951/2465029
507.43/502.76	c cleaning 62996 clauses out of 126031 with flag 12970328/2529029
523.20/518.50	c cleaning 64009 clauses out of 128036 with flag 13371557/2594030
539.08/534.37	c cleaning 65001 clauses out of 130026 with flag 13791226/2660029
556.86/552.08	c cleaning 66005 clauses out of 132027 with flag 14205741/2727031
573.86/568.91	c cleaning 66996 clauses out of 134020 with flag 14627816/2795029
592.06/586.67	c cleaning 68009 clauses out of 136025 with flag 15057179/2864030
611.08/605.63	c cleaning 68988 clauses out of 138015 with flag 15496064/2934029
629.85/624.24	c cleaning 70008 clauses out of 140029 with flag 15938305/3005031
649.21/643.62	c cleaning 70999 clauses out of 142019 with flag 16391126/3077029
669.71/664.10	c cleaning 72002 clauses out of 144021 with flag 16844870/3150030
691.56/685.76	c cleaning 72999 clauses out of 146018 with flag 17308972/3224029
713.41/707.62	c cleaning 74004 clauses out of 148021 with flag 17781290/3299031
733.36/727.57	c cleaning 74997 clauses out of 150018 with flag 18272689/3375032
753.87/747.95	c cleaning 76005 clauses out of 152019 with flag 18763771/3452030
777.63/771.50	c cleaning 76990 clauses out of 154014 with flag 19255812/3530030
799.54/793.38	c cleaning 78008 clauses out of 156023 with flag 19753426/3609029
823.98/817.29	c cleaning 79008 clauses out of 158015 with flag 20262959/3689029
847.53/840.70	c cleaning 79982 clauses out of 160009 with flag 20785673/3770031
871.28/864.30	c cleaning 80996 clauses out of 162026 with flag 21307968/3852030
895.33/888.44	c cleaning 82007 clauses out of 164030 with flag 21842315/3935030
920.77/913.81	c cleaning 83002 clauses out of 166024 with flag 22386412/4019031
944.86/937.84	c cleaning 83997 clauses out of 168020 with flag 22939973/4104029
970.88/963.70	c cleaning 84996 clauses out of 170025 with flag 23500780/4190031
996.64/989.39	c cleaning 86008 clauses out of 172027 with flag 24058817/4277029
1024.27/1016.84	c cleaning 86995 clauses out of 174019 with flag 24629007/4365029
1053.35/1045.83	c cleaning 88001 clauses out of 176024 with flag 25197217/4454029
1079.92/1072.32	c cleaning 88999 clauses out of 178024 with flag 25782577/4544030
1108.43/1100.75	c cleaning 90005 clauses out of 180024 with flag 26375033/4635029
1136.14/1128.32	c cleaning 90996 clauses out of 182020 with flag 26972735/4727030
1165.98/1157.65	c cleaning 92010 clauses out of 184023 with flag 27609445/4820029
1195.92/1187.44	c cleaning 93004 clauses out of 186013 with flag 28220801/4914029
1225.61/1217.08	c cleaning 93991 clauses out of 188010 with flag 28845331/5009030
1258.97/1250.35	c cleaning 95009 clauses out of 190018 with flag 29471047/5105029
1291.94/1283.24	c cleaning 95997 clauses out of 192011 with flag 30110116/5202031
1324.61/1315.84	c cleaning 96997 clauses out of 194012 with flag 30761775/5300029
1358.80/1349.96	c cleaning 97997 clauses out of 196015 with flag 31410112/5399029
1391.60/1382.69	c cleaning 98996 clauses out of 198018 with flag 32066202/5499029
1426.10/1416.97	c cleaning 100002 clauses out of 200023 with flag 32732275/5600030
1461.61/1452.47	c cleaning 101007 clauses out of 202023 with flag 33408480/5702032
1497.03/1487.88	c cleaning 102002 clauses out of 204013 with flag 34087259/5805029
1532.56/1523.33	c cleaning 102993 clauses out of 206012 with flag 34777889/5909030
1569.54/1560.20	c cleaning 104007 clauses out of 208018 with flag 35477733/6014029
1608.04/1598.64	c cleaning 104993 clauses out of 210011 with flag 36195572/6120029
1644.25/1634.70	c cleaning 105993 clauses out of 212018 with flag 36908493/6227029
1682.64/1673.03	c cleaning 106998 clauses out of 214027 with flag 37630958/6335031
1722.15/1712.41	c cleaning 108013 clauses out of 216027 with flag 38358070/6444029
1763.66/1753.31	c cleaning 108991 clauses out of 218014 with flag 39095601/6554029
1801.45/1791.06	c cleaning 110002 clauses out of 220024 with flag 39843358/6665030
1842.07/1831.65	c cleaning 110994 clauses out of 222021 with flag 40596522/6777029
1883.15/1872.45	c cleaning 111999 clauses out of 224028 with flag 41361613/6890030
1927.23/1916.45	c cleaning 113002 clauses out of 226030 with flag 42128097/7004031
1970.07/1959.04	c cleaning 114014 clauses out of 228028 with flag 42911192/7119031
2014.25/2003.20	c cleaning 114991 clauses out of 230012 with flag 43696690/7235029
2058.59/2047.22	c cleaning 115985 clauses out of 232021 with flag 44485921/7352029
2105.86/2094.41	c cleaning 117011 clauses out of 234037 with flag 45284924/7470030
2150.40/2138.74	c cleaning 118001 clauses out of 236028 with flag 46097298/7589032
2196.66/2184.99	c cleaning 118999 clauses out of 238025 with flag 46918863/7709030
2240.70/2228.74	c cleaning 120012 clauses out of 240026 with flag 47744820/7830030
2287.47/2275.44	c cleaning 120995 clauses out of 242015 with flag 48575660/7952031
2334.32/2322.08	c cleaning 121998 clauses out of 244021 with flag 49423812/8075032
2384.20/2371.67	c cleaning 122994 clauses out of 246020 with flag 50276682/8199029
2432.96/2419.77	c cleaning 124013 clauses out of 248026 with flag 51134078/8324029
2483.02/2469.44	c cleaning 125006 clauses out of 250014 with flag 52009489/8450030
2534.06/2520.35	c cleaning 125993 clauses out of 252007 with flag 52886646/8577029
2587.25/2573.49	c cleaning 126996 clauses out of 254014 with flag 53766281/8705029
2638.39/2624.29	c cleaning 127999 clauses out of 256019 with flag 54656469/8834030
2688.85/2674.52	c cleaning 129001 clauses out of 258019 with flag 55549212/8964029
2740.47/2726.00	c cleaning 129995 clauses out of 260018 with flag 56465776/9095029
2794.69/2779.92	c cleaning 130994 clauses out of 262023 with flag 57381613/9227029
2848.61/2833.72	c cleaning 131997 clauses out of 264031 with flag 58316845/9360031
2903.78/2888.86	c cleaning 133017 clauses out of 266035 with flag 59253989/9494032
2956.58/2941.34	c cleaning 133998 clauses out of 268016 with flag 60195159/9629030
3010.17/2994.89	c cleaning 134998 clauses out of 270019 with flag 61144142/9765031
3067.58/3051.98	c cleaning 135995 clauses out of 272021 with flag 62109169/9902031
3124.48/3108.72	c cleaning 136999 clauses out of 274024 with flag 63073682/10040029
3182.99/3166.93	c cleaning 138002 clauses out of 276025 with flag 64055022/10179029
3239.93/3223.74	c cleaning 138994 clauses out of 278023 with flag 65044324/10319029
3298.99/3282.48	c cleaning 140003 clauses out of 280031 with flag 66033186/10460031
3360.52/3343.84	c cleaning 141000 clauses out of 282027 with flag 67034683/10602030
3423.27/3405.22	c cleaning 142007 clauses out of 284026 with flag 68043414/10745029
3486.18/3467.93	c cleaning 142999 clauses out of 286019 with flag 69069505/10889029
3550.91/3532.43	c cleaning 144012 clauses out of 288023 with flag 70100304/11034032
3600.06/3581.31	c starts		: 78414
3600.06/3581.32	c conflicts		: 11155951
3600.06/3581.32	c decisions		: 95656854
3600.06/3581.32	c propagations		: 426059236
3600.06/3581.32	c inspects		: 36934667869
3600.06/3581.32	c shortcuts		: 0
3600.06/3581.32	c learnt literals	: 0
3600.06/3581.32	c learnt binary clauses	: 0
3600.06/3581.32	c learnt ternary clauses	: 0
3600.06/3581.32	c learnt constraints	: 11155951
3600.06/3581.32	c ignored constraints	: 0
3600.06/3581.32	c root simplifications	: 0
3600.06/3581.32	c removed literals (reason simplification)	: 3039485
3600.06/3581.32	c reason swapping (by a shorter reason)	: 0
3600.06/3581.32	c Calls to reduceDB	: 196
3600.06/3581.32	c Number of update (reduction) of LBD	: 4482350
3600.06/3581.32	c Imported unit clauses	: 0
3600.06/3581.32	c No decision after first conflict	: false
3600.06/3581.32	c number of reductions to clauses (during analyze)	: 0
3600.06/3581.32	c number of learned constraints concerned by reduction	: 0
3600.06/3581.32	c number of learning phase by resolution	: 0
3600.06/3581.32	c number of learning phase by cutting planes	: 0
3600.06/3581.32	c number of rounding to 1 operations	: 0
3600.06/3581.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3581.32	c number of reductions of the coefficients by power 2 	: 0
3600.06/3581.32	c number of right shift for reduction by power 2 	: 0
3600.06/3581.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3581.32	c number of ending skipping 	: 0
3600.06/3581.32	c number of internal skipping 	: 0
3600.06/3581.32	c number of derivation steps 	: 0
3600.06/3581.32	c number of skipped derivation steps 	: 0
3600.06/3581.32	c number of remaining unassigned 	: 0
3600.06/3581.32	c number of remaining assigned 	: 0
3600.06/3581.32	c number of falsified literals weakened from reason	: 0
3600.06/3581.32	c number of falsified literals weakened from conflict	: 0
3600.06/3581.32	c time for arithmetic operations	: 0
3600.06/3581.33	c minimum degree of deleted constraints	: null
3600.06/3581.33	c maximum degree of deleted constraints	: null
3600.06/3581.33	c number of deleted constraints	: 0
3600.06/3581.33	c speed (assignments/second)	: 118973.97149992196
3600.06/3581.33	c non guided choices	: 814200
3600.06/3581.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265930
3600.06/3581.39	s SATISFIABLE
3600.06/3581.39	c Found 14 solution(s)
3600.06/3581.39	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 
3600.06/3581.40	c objective function=7
3600.06/3581.40	c Total wall clock time (in seconds): 3581.247

Verifier Data 

OK	7

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62948 MiB free)
  memory of node 1: 64465 MiB (63900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524578-1751614174/watcher-4524578-1751614174 -o /tmp/evaluation-result-4524578-1751614174/solver-4524578-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86867 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524578-1751614174.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=86912, runsolver pid=86906

[startup+0.10006 s]*
/proc/loadavg: 0.51 1.43 2.61 7/333 86994
/proc/meminfo: memFree=129803496/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18930384 memory=53280 CPUtime=0.1 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 6446 0 0 0 9 1 0 0 20 0 18 0 77095252 19384713216 13320 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4732596 13320 5346 1 0 547532 0
[pid=86912/tid=86923] ppid=86906 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 4982 0 0 0 5 1 0 0 20 0 18 0 77095255 19384713216 13320 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095257 19384713216 13320 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 13320 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53280 KiB

[startup+0.205807 s]*
/proc/loadavg: 0.51 1.43 2.61 11/333 86994
/proc/meminfo: memFree=129770744/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18930384 memory=64352 CPUtime=0.29 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 7077 0 0 0 27 2 0 0 20 0 18 0 77095252 19384713216 16088 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4732596 16088 5474 1 0 547955 0
[pid=86912/tid=86923] ppid=86906 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 5341 0 0 0 14 1 0 0 20 0 18 0 77095255 19384713216 16088 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095257 19384713216 16088 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 16088 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64352 KiB

[startup+0.305705 s]*
/proc/loadavg: 0.51 1.43 2.61 9/337 86998
/proc/meminfo: memFree=129751044/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18996948 memory=70696 CPUtime=0.48 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 9441 0 0 0 45 3 0 0 20 0 19 0 77095252 19452874752 17674 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4749237 17674 5506 1 0 549212 0
[pid=86912/tid=86923] ppid=86906 vsize=18996948 memory=-6000919468495169127 CPUtime=0.23 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 5376 0 0 0 22 1 0 0 20 0 19 0 77095255 19452874752 17674 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 17674 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 17674 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095274 19452874752 17674 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70696 KiB

[startup+0.700227 s]
/proc/loadavg: 0.51 1.43 2.61 9/337 86998
/proc/meminfo: memFree=129716076/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18996948 memory=90548 CPUtime=1.23 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 12103 0 0 0 120 3 0 0 20 0 19 0 77095252 19452874752 22637 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4749237 22637 5506 1 0 551014 0
[pid=86912/tid=86923] ppid=86906 vsize=18996948 memory=14336 CPUtime=0.61 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 5400 0 0 0 60 1 0 0 20 0 19 0 77095255 19452874752 22637 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 22637 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 22637 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095274 19452874752 22637 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90548 KiB

[startup+1.50022 s]
/proc/loadavg: 0.51 1.43 2.61 8/337 86998
/proc/meminfo: memFree=129650164/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18996948 memory=112168 CPUtime=2.35 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 16781 0 0 0 231 4 0 0 20 0 19 0 77095252 19452874752 28042 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4749237 28042 5506 1 0 551222 0
[pid=86912/tid=86923] ppid=86906 vsize=18996948 memory=10624 CPUtime=1.42 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 6536 0 0 0 140 2 0 0 20 0 19 0 77095255 19452874752 28042 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 28042 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 28042 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095274 19452874752 28042 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112168 KiB

[startup+3.10556 s]
/proc/loadavg: 0.79 1.47 2.62 5/338 86999
/proc/meminfo: memFree=129419008/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=18996948 memory=149196 CPUtime=4 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 17312 0 0 0 395 5 0 0 20 0 19 0 77095252 19452874752 37299 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4749237 37299 5506 1 0 551223 0
[pid=86912/tid=86923] ppid=86906 vsize=18996948 memory=10624 CPUtime=3 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 6887 0 0 0 298 2 0 0 20 0 19 0 77095255 19452874752 37299 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=18996948 memory=-6000919481380071015 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095257 19452874752 37299 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 37299 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095274 19452874752 37299 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149196 KiB

[startup+6.30022 s]
/proc/loadavg: 0.79 1.47 2.62 6/340 87001
/proc/meminfo: memFree=129230376/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=180020 CPUtime=7.2 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 19974 0 0 0 714 6 0 0 20 0 20 0 77095252 19521036288 45005 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 45005 5506 1 0 551514 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=0 CPUtime=6.17 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 7329 0 0 0 614 3 0 0 20 0 20 0 77095255 19521036288 45005 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 45005 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 45005 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 45005 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180020 KiB

[startup+12.7002 s]
/proc/loadavg: 1.36 1.57 2.64 5/341 87002
/proc/meminfo: memFree=128947248/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=245992 CPUtime=13.77 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 24121 0 0 0 1369 8 0 0 20 0 20 0 77095252 19521036288 61498 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 61498 5506 1 0 551514 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=245992 CPUtime=12.5 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 8295 0 0 0 1247 3 0 0 20 0 20 0 77095255 19521036288 61498 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 61498 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 61498 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 61498 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 13.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245992 KiB

[startup+25.5003 s]
/proc/loadavg: 1.77 1.65 2.65 5/341 87004
/proc/meminfo: memFree=128316480/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=359676 CPUtime=26.86 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 31157 0 0 0 2675 11 0 0 20 0 20 0 77095252 19521036288 89919 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 89919 5538 1 0 551514 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=359676 CPUtime=25.16 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 9705 0 0 0 2513 3 0 0 20 0 20 0 77095255 19521036288 89919 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=359676 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 89919 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=343224 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 89919 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=-6000919481380071015 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 89919 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 359676 KiB

[startup+51.1058 s]
/proc/loadavg: 2.66 1.87 2.70 6/341 87004
/proc/meminfo: memFree=126496636/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=579344 CPUtime=52.61 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 31662 0 0 0 5245 16 0 0 20 0 20 0 77095252 19521036288 144836 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 144836 5538 1 0 551514 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=439752 CPUtime=50.46 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 9748 0 0 0 5043 3 0 0 20 0 20 0 77095255 19521036288 144836 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=517764 CPUtime=0 cores=4,6

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

/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1725405 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=6557264 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1363 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1725405 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 1725405 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3178.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6901620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/339 87172
/proc/meminfo: memFree=105028996/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=7196536 CPUtime=3238.53 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 180383 0 0 0 323587 266 0 0 20 0 20 0 77095252 19521036288 1799134 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 1799134 5538 1 0 2230917 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=6557136 CPUtime=3194.81 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 88408 0 0 0 319408 73 0 0 20 0 20 0 77095255 19521036288 1799134 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=6901620 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1799134 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=7196536 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1412 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1799134 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 1799134 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3238.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7196536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/339 87174
/proc/meminfo: memFree=103983152/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=7741304 CPUtime=3298.89 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 184008 0 0 0 329611 278 0 0 20 0 20 0 77095252 19521036288 1935326 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 1935326 5538 1 0 2230917 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=7741304 CPUtime=3254.17 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 91701 0 0 0 325344 73 0 0 20 0 20 0 77095255 19521036288 1935326 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 1935326 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=7368568 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1412 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 1935326 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=7741304 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 1935326 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3298.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7741304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/339 87176
/proc/meminfo: memFree=103450276/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=8036220 CPUtime=3359.02 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 187936 0 0 0 335615 287 0 0 20 0 20 0 77095252 19521036288 2009055 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 2009055 5538 1 0 2230917 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=7741304 CPUtime=3313.75 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 94905 0 0 0 331302 73 0 0 20 0 20 0 77095255 19521036288 2009055 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=9856 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 2009055 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=8036220 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1429 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2009055 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 2009055 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3359.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8036220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/341 87182
/proc/meminfo: memFree=102762512/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=8709092 CPUtime=3420.37 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 198385 0 0 0 341736 301 0 0 20 0 20 0 77095252 19521036288 2177273 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 2177273 5538 1 0 3308998 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=8692708 CPUtime=3373.08 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 101346 0 0 0 337233 75 0 0 20 0 20 0 77095255 19521036288 2177273 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=9856 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 2177273 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=8036220 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1472 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2177273 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=8212348 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 2177273 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3420.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8709092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/342 87189
/proc/meminfo: memFree=101802076/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=9557052 CPUtime=3480.58 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 202144 0 0 0 347739 319 0 0 20 0 20 0 77095252 19521036288 2389263 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 2389263 5538 1 0 3308998 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=9856 CPUtime=3432.5 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 104731 0 0 0 343164 86 0 0 20 0 20 0 77095255 19521036288 2389263 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=8036220 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 2389263 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=8212348 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1473 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2389263 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=9217084 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 2389263 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3480.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9557052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/342 87191
/proc/meminfo: memFree=101699480/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=9659468 CPUtime=3540.83 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 207274 0 0 0 353760 323 0 0 20 0 20 0 77095252 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 2414867 5538 1 0 3309002 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=14156 CPUtime=3491.97 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 108620 0 0 0 349111 86 0 0 20 0 20 0 77095255 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1489 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=9557052 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3540.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9659468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.3 s]
/proc/loadavg: 4.16 4.14 4.10 7/343 87325
/proc/meminfo: memFree=110640340/131249996 swapFree=33000896/33010684
[pid=86912] ppid=86906 vsize=19063512 memory=9659468 CPUtime=3600.06 cores=4,6
/proc/86912/stat : 86912 (java) S 86906 86912 86856 0 -1 4194304 211192 0 0 0 359681 325 0 0 20 0 20 0 77095252 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
/proc/86912/statm: 4765878 2414867 5538 1 0 3309005 0
[pid=86912/tid=86923] ppid=86906 vsize=19063512 memory=5148 CPUtime=3550.48 cores=4,6
/proc/86912/task/86923/stat : 86923 (java) R 86906 86912 86856 0 -1 4194368 111359 0 0 0 354961 87 0 0 20 0 20 0 77095255 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86954] ppid=86906 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/86912/task/86954/stat : 86954 (Finalizer) S 86906 86912 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095257 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86972] ppid=86906 vsize=19063512 memory=9659468 CPUtime=0 cores=4,6
/proc/86912/task/86972/stat : 86972 (Common-Cleaner) S 86906 86912 86856 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
[pid=86912/tid=86995] ppid=86906 vsize=19063512 memory=9659468 CPUtime=0 cores=4,6
/proc/86912/task/86995/stat : 86995 (Timer-0) S 86906 86912 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095274 19521036288 2414867 18446744073709551615 94508187193344 94508187197040 140731759097968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94508187204856 94508187205648 94508192354304 140731759102335 140731759102436 140731759102436 140731759108040 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9659468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597 s, system=3.29466 s

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

[startup+3581.41 s]*
/proc/loadavg: 4.16 4.14 4.10 5/305 87344
/proc/meminfo: memFree=111816368/131249996 swapFree=33000896/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): 3581.43
CPU time (s): 3600.29
CPU user time (s): 3597
CPU system time (s): 3.29466
CPU usage (%): 100.527
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 9659468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597
system time used= 3.29466
maximum resident set size= 9660620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111313
involuntary context switches= 4860


# summary of solver processes directly reported to runsolver:
#   pid: 86912
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3597
#   total CPU system time (s): 3.29466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2936 second user time and 14.6335 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 09:29:34
IDJOB=4524578
IDBENCH=143136
IDSOLVER=3380
FILE ID=nodeC023/4524578-1751614174
RUNJOBID= nodeC023-1751614174-86867
SLURM_JOB_ID= 9598917
Free space on /tmp= 431872 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_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-4524578-1751614174/watcher-4524578-1751614174 -o /tmp/evaluation-result-4524578-1751614174/solver-4524578-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86867 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524578-1751614174.wbo

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

MD5SUM BENCH= a225f26da97a8b38da33ab7979240ae3
RANDOM SEED=911934909

nodeC023 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.949
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.202
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.852
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.78
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.939
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.78
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		: 3600.271
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.78
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		: 3600.072
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.78
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		: 3599.896
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.78
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		: 3559.776
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129894716 kB
MemAvailable:   129638568 kB
Buffers:              16 kB
Cached:           486892 kB
SwapCached:         2900 kB
Active:           218992 kB
Inactive:         347444 kB
Active(anon):      38684 kB
Inactive(anon):    53368 kB
Active(file):     180308 kB
Inactive(file):   294076 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1296 kB
Writeback:             0 kB
AnonPages:         79668 kB
Mapped:            97420 kB
Shmem:             12524 kB
KReclaimable:     217416 kB
Slab:             308884 kB
SReclaimable:     217416 kB
SUnreclaim:        91468 kB
KernelStack:        4024 kB
PageTables:         2728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-04 10:29:16