Trace number 4432204

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)48 3600.54 3597.68

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
MD5SUMfd6cc61b0bc3179b5f60e3ed19d77dd2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark0.028505
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables431
Total number of constraints177
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Number of terms in the objective function 431
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 431
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 431
Number of bits of the biggest sum of numbers9
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.10	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.14	c java.vm.vendor	Oracle Corporation
0.13/0.14	c sun.arch.data.model	64
0.13/0.14	c java.version		22.0.1
0.13/0.14	c os.name		Linux
0.13/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.14	c os.arch		amd64
0.13/0.14	c Free memory 		2113181440
0.13/0.14	c Max memory 		16282288128
0.13/0.14	c Total memory 		2122317824
0.13/0.15	c Number of processors 	2
0.28/0.24	--- Begin Solver configuration ---
0.28/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.24	Learn all clauses as in MiniSAT
0.28/0.24	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.24	No reason simplification
0.28/0.24	Glucose 2.1 dynamic restart strategy
0.28/0.24	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.28/0.24	timeout=2147483s
0.28/0.24	DB Simplification allowed=false
0.28/0.24	Listener: none
0.28/0.24	--- End Solver configuration ---
0.28/0.25	c Pseudo Boolean Optimization by upper bound
0.28/0.25	c --- Begin Solver configuration ---
0.28/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.25	c Learn all clauses as in MiniSAT
0.28/0.25	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.25	c No reason simplification
0.28/0.25	c Glucose 2.1 dynamic restart strategy
0.28/0.25	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.28/0.25	c timeout=2147483s
0.28/0.25	c DB Simplification allowed=false
0.28/0.25	c Listener: none
0.28/0.25	c --- End Solver configuration ---
0.28/0.25	c solving HOME/instance-4432204-1721103368.opb
0.28/0.25	c reading problem ... 
0.28/0.25	c  objective function found
0.28/0.32	c ... done. Wall clock time 0.058s.
0.28/0.32	c declared #vars     431
0.28/0.32	c #constraints  177
0.28/0.32	c constraints type 
0.28/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4
0.28/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.28/0.32	c 177 constraints processed.
0.43/0.35	c objective function length is 431 literals
0.43/0.37	c SATISFIABLE
0.43/0.37	c OPTIMIZING...
0.43/0.37	c Got one! Elapsed wall clock time (in seconds):0.114
0.43/0.37	o 51
0.43/0.39	c Got one! Elapsed wall clock time (in seconds):0.136
0.43/0.39	o 50
1.12/0.79	c cleaning 2512 clauses out of 5035 with flag 11610/5035
1.72/1.02	c cleaning 4255 clauses out of 8523 with flag 25432/11035
1.92/1.12	c Got one! Elapsed wall clock time (in seconds):0.871
1.92/1.12	o 49
2.10/1.21	c cleaning 4878 clauses out of 9764 with flag 5616/16531
2.34/1.42	c cleaning 5443 clauses out of 10886 with flag 21752/22531
2.56/1.61	c cleaning 6214 clauses out of 12443 with flag 39815/29531
2.81/1.83	c cleaning 7108 clauses out of 14229 with flag 59910/37531
3.01/2.05	c cleaning 8058 clauses out of 16122 with flag 83196/46532
3.32/2.30	c cleaning 9023 clauses out of 18063 with flag 109520/56531
3.52/2.59	c cleaning 10017 clauses out of 20040 with flag 138538/67531
3.93/2.90	c cleaning 10999 clauses out of 22025 with flag 171186/79533
4.22/3.23	c cleaning 12014 clauses out of 24027 with flag 205781/92534
4.52/3.57	c cleaning 13002 clauses out of 26010 with flag 242269/106531
4.92/3.93	c cleaning 13999 clauses out of 28009 with flag 281089/121532
5.39/4.33	c cleaning 15003 clauses out of 30015 with flag 322499/137537
6.30/5.29	c cleaning 15997 clauses out of 32006 with flag 365920/154531
7.00/5.92	c cleaning 17002 clauses out of 34009 with flag 412468/172531
7.40/6.37	c cleaning 17993 clauses out of 36008 with flag 460052/191532
7.90/6.89	c cleaning 19000 clauses out of 38014 with flag 510858/211531
8.39/7.39	c cleaning 20005 clauses out of 40015 with flag 564856/232532
8.99/7.97	c cleaning 21005 clauses out of 42009 with flag 619893/254531
9.59/8.57	c cleaning 21996 clauses out of 44004 with flag 679327/277531
10.29/9.21	c cleaning 23002 clauses out of 46008 with flag 740950/301531
11.01/9.91	c cleaning 24004 clauses out of 48007 with flag 806382/326532
11.71/10.60	c cleaning 24994 clauses out of 50002 with flag 873557/352531
12.41/11.35	c cleaning 26000 clauses out of 52008 with flag 941513/379531
13.22/12.14	c cleaning 26998 clauses out of 54008 with flag 1012845/407531
13.91/12.88	c cleaning 27998 clauses out of 56011 with flag 1086066/436532
14.72/13.69	c cleaning 29000 clauses out of 58012 with flag 1162331/466531
15.82/14.70	c cleaning 30005 clauses out of 60015 with flag 1242470/497534
16.72/15.63	c cleaning 31000 clauses out of 62009 with flag 1325889/529533
17.61/16.59	c cleaning 31999 clauses out of 64008 with flag 1410268/562532
18.62/17.58	c cleaning 32998 clauses out of 66008 with flag 1499647/596531
19.73/18.66	c cleaning 34005 clauses out of 68012 with flag 1590052/631533
20.83/19.76	c cleaning 35000 clauses out of 70007 with flag 1684570/667533
22.03/20.96	c cleaning 36001 clauses out of 72005 with flag 1781748/704531
23.13/22.10	c cleaning 36982 clauses out of 74005 with flag 1879577/742532
24.42/23.38	c cleaning 38007 clauses out of 76027 with flag 1985652/781536
25.76/24.62	c cleaning 39009 clauses out of 78017 with flag 2089368/821533
26.85/25.72	c cleaning 40004 clauses out of 80007 with flag 2196114/862532
28.05/26.96	c cleaning 41001 clauses out of 82004 with flag 2304726/904533
29.68/28.51	c cleaning 41994 clauses out of 84001 with flag 2415439/947531
31.19/30.08	c cleaning 42997 clauses out of 86007 with flag 2528246/991531
32.08/30.97	c Got one! Elapsed wall clock time (in seconds):30.724
32.08/30.97	o 48
32.52/31.39	c cleaning 39518 clauses out of 79052 with flag 13138/1027573
32.82/31.62	c cleaning 22760 clauses out of 45531 with flag 28621/1033570
33.12/31.82	c cleaning 14882 clauses out of 29771 with flag 46831/1040570
33.52/32.01	c cleaning 11446 clauses out of 22891 with flag 67581/1048572
33.71/32.22	c cleaning 10214 clauses out of 20443 with flag 90735/1057570
33.91/32.45	c cleaning 10101 clauses out of 20229 with flag 116706/1067570
34.21/32.71	c cleaning 10558 clauses out of 21129 with flag 145681/1078571
34.41/33.00	c cleaning 11280 clauses out of 22570 with flag 176982/1090570
34.84/33.35	c cleaning 12142 clauses out of 24292 with flag 210572/1103572
35.13/33.69	c cleaning 13069 clauses out of 26149 with flag 246611/1117571
35.55/34.07	c cleaning 14032 clauses out of 28080 with flag 284333/1132571
35.93/34.46	c cleaning 15014 clauses out of 30048 with flag 325037/1148571
36.33/34.89	c cleaning 16010 clauses out of 32033 with flag 370608/1165570
36.83/35.35	c cleaning 17009 clauses out of 34026 with flag 415835/1183573
37.33/35.86	c cleaning 18006 clauses out of 36014 with flag 463805/1202570
37.83/36.39	c cleaning 18998 clauses out of 38009 with flag 514540/1222571
38.43/36.95	c cleaning 19998 clauses out of 40011 with flag 568563/1243571
39.22/37.75	c cleaning 21000 clauses out of 42012 with flag 625466/1265570
39.92/38.42	c cleaning 22007 clauses out of 44013 with flag 684635/1288571
40.63/39.17	c cleaning 22995 clauses out of 46006 with flag 745968/1312571
41.42/39.97	c cleaning 24002 clauses out of 48011 with flag 810951/1337571
42.21/40.72	c cleaning 24997 clauses out of 50008 with flag 878871/1363570
42.92/41.46	c cleaning 26001 clauses out of 52011 with flag 949205/1390570
43.72/42.27	c cleaning 27002 clauses out of 54011 with flag 1022369/1418571
44.63/43.19	c cleaning 28005 clauses out of 56010 with flag 1096826/1447572
45.52/44.09	c cleaning 28996 clauses out of 58003 with flag 1173558/1477570
46.41/44.99	c cleaning 30004 clauses out of 60008 with flag 1253297/1508571
47.41/45.99	c cleaning 30995 clauses out of 62004 with flag 1335593/1540571
48.51/47.07	c cleaning 32004 clauses out of 64009 with flag 1421658/1573571
49.80/48.31	c cleaning 32999 clauses out of 66004 with flag 1508312/1607570
50.90/49.44	c cleaning 33992 clauses out of 68005 with flag 1598777/1642570
52.10/50.69	c cleaning 35001 clauses out of 70013 with flag 1691475/1678570
53.30/51.87	c cleaning 36002 clauses out of 72013 with flag 1787235/1715571
54.80/53.30	c cleaning 37005 clauses out of 74012 with flag 1885618/1753572
56.10/54.61	c cleaning 37991 clauses out of 76006 with flag 1986798/1792571
57.19/55.75	c cleaning 39005 clauses out of 78014 with flag 2092203/1832570
58.28/56.84	c cleaning 40000 clauses out of 80009 with flag 2197142/1873570
59.50/58.03	c cleaning 41002 clauses out of 82009 with flag 2305212/1915570
60.89/59.45	c cleaning 41993 clauses out of 84011 with flag 2413319/1958574
62.19/60.77	c cleaning 42994 clauses out of 86014 with flag 2525044/2002570
63.60/62.13	c cleaning 44004 clauses out of 88022 with flag 2641018/2047572
65.18/63.71	c cleaning 45007 clauses out of 90016 with flag 2758051/2093570
66.60/65.12	c cleaning 45993 clauses out of 92009 with flag 2880194/2140570
68.09/66.66	c cleaning 46993 clauses out of 94016 with flag 3004841/2188570
69.50/68.03	c cleaning 48007 clauses out of 96023 with flag 3130816/2237570
70.98/69.53	c cleaning 49003 clauses out of 98016 with flag 3258328/2287570
72.59/71.20	c cleaning 49999 clauses out of 100015 with flag 3389843/2338572
74.50/73.03	c cleaning 51000 clauses out of 102014 with flag 3524377/2390570
76.08/74.66	c cleaning 52000 clauses out of 104014 with flag 3659629/2443570
77.78/76.30	c cleaning 52995 clauses out of 106016 with flag 3799743/2497572
79.37/77.99	c cleaning 54001 clauses out of 108020 with flag 3940774/2552571
81.49/80.04	c cleaning 55007 clauses out of 110020 with flag 4086718/2608572
83.48/82.05	c cleaning 56001 clauses out of 112014 with flag 4236144/2665573
85.37/83.93	c cleaning 56995 clauses out of 114011 with flag 4386175/2723571
87.37/85.99	c cleaning 57995 clauses out of 116015 with flag 4541230/2782570
90.54/89.12	c cleaning 58999 clauses out of 118020 with flag 4696063/2842570
92.62/91.27	c cleaning 60008 clauses out of 120023 with flag 4854947/2903572
94.90/93.53	c cleaning 60994 clauses out of 122013 with flag 5021198/2965570
97.30/95.90	c cleaning 62009 clauses out of 124020 with flag 5188531/3028571
99.49/98.16	c cleaning 63003 clauses out of 126011 with flag 5354187/3092571
101.97/100.62	c cleaning 63995 clauses out of 128008 with flag 5522328/3157571
104.55/103.20	c cleaning 64993 clauses out of 130012 with flag 5694910/3223570
106.93/105.67	c cleaning 66007 clauses out of 132022 with flag 5871425/3290573
109.50/108.22	c cleaning 66999 clauses out of 134014 with flag 6056537/3358572
112.48/111.23	c cleaning 68003 clauses out of 136013 with flag 6241777/3427570
115.16/113.98	c cleaning 69001 clauses out of 138010 with flag 6420008/3497570
117.64/116.48	c cleaning 70002 clauses out of 140010 with flag 6599037/3568571
120.54/119.39	c cleaning 70997 clauses out of 142007 with flag 6789973/3640570
123.22/122.06	c cleaning 71997 clauses out of 144012 with flag 6984143/3713572
126.39/125.22	c cleaning 73005 clauses out of 146013 with flag 7176480/3787570
129.68/128.58	c cleaning 73998 clauses out of 148008 with flag 7371901/3862570
132.85/131.74	c cleaning 74998 clauses out of 150010 with flag 7574221/3938570
136.04/134.95	c cleaning 76004 clauses out of 152013 with flag 7784540/4015571
139.33/138.23	c cleaning 76999 clauses out of 154009 with flag 7989382/4093571
142.40/141.33	c cleaning 78003 clauses out of 156010 with flag 8195601/4172571
145.67/144.66	c cleaning 78998 clauses out of 158006 with flag 8405574/4252570
149.15/148.14	c cleaning 80000 clauses out of 160010 with flag 8620046/4333572
152.52/151.56	c cleaning 81004 clauses out of 162008 with flag 8837757/4415570
156.29/155.37	c cleaning 81999 clauses out of 164004 with flag 9052912/4498570
159.77/158.84	c cleaning 83000 clauses out of 166006 with flag 9272827/4582571
162.85/161.92	c cleaning 83991 clauses out of 168005 with flag 9496558/4667570
166.32/165.45	c cleaning 85003 clauses out of 170016 with flag 9719361/4753572
169.70/168.89	c cleaning 85997 clauses out of 172012 with flag 9941785/4840571
173.06/172.25	c cleaning 86997 clauses out of 174016 with flag 10169284/4928572
176.64/175.82	c cleaning 88007 clauses out of 176018 with flag 10397321/5017571
180.21/179.46	c cleaning 88993 clauses out of 178010 with flag 10633811/5107570
183.58/182.86	c cleaning 90005 clauses out of 180018 with flag 10876648/5198571
187.86/187.15	c cleaning 91005 clauses out of 182015 with flag 11133595/5290573
191.53/190.81	c cleaning 92002 clauses out of 184009 with flag 11377836/5383572
195.19/194.56	c cleaning 92996 clauses out of 186006 with flag 11624897/5477571
199.17/198.52	c cleaning 94000 clauses out of 188009 with flag 11866775/5572570
203.03/202.48	c cleaning 95002 clauses out of 190009 with flag 12108876/5668570
207.24/206.66	c cleaning 96000 clauses out of 192007 with flag 12364066/5765570
211.00/210.46	c cleaning 96989 clauses out of 194007 with flag 12618542/5863570
215.27/214.70	c cleaning 98010 clauses out of 196020 with flag 12881677/5962572
219.54/219.08	c cleaning 99003 clauses out of 198008 with flag 13136668/6062570
224.60/224.16	c cleaning 99993 clauses out of 200006 with flag 13394063/6163571
230.91/229.84	c cleaning 101005 clauses out of 202013 with flag 13655782/6265571
234.70/233.63	c cleaning 101999 clauses out of 204007 with flag 13924143/6368570
239.70/238.64	c cleaning 103000 clauses out of 206012 with flag 14198448/6472574
243.59/242.59	c cleaning 103996 clauses out of 208009 with flag 14474345/6577571
248.20/247.17	c cleaning 105001 clauses out of 210013 with flag 14750815/6683571
252.57/251.59	c cleaning 105998 clauses out of 212012 with flag 15028794/6790571
257.97/256.90	c cleaning 107000 clauses out of 214014 with flag 15303257/6898571
262.36/261.36	c cleaning 108003 clauses out of 216013 with flag 15581041/7007570
267.87/266.85	c cleaning 108996 clauses out of 218010 with flag 15861765/7117570
272.85/271.83	c cleaning 109998 clauses out of 220016 with flag 16149745/7228572
278.29/277.24	c cleaning 111005 clauses out of 222022 with flag 16435829/7340576
283.09/282.01	c cleaning 111990 clauses out of 224011 with flag 16727040/7453570
288.37/287.31	c cleaning 113008 clauses out of 226023 with flag 17021809/7567572
294.56/293.57	c cleaning 113999 clauses out of 228013 with flag 17317323/7682570
299.76/298.79	c cleaning 115001 clauses out of 230014 with flag 17616057/7798570
304.85/303.83	c cleaning 116001 clauses out of 232015 with flag 17913092/7915572
309.86/308.83	c cleaning 117002 clauses out of 234012 with flag 18223818/8033570
315.07/314.09	c cleaning 117993 clauses out of 236010 with flag 18538449/8152570
320.17/319.14	c cleaning 119005 clauses out of 238017 with flag 18851213/8272570
325.64/324.65	c cleaning 119999 clauses out of 240014 with flag 19169011/8393572
330.84/329.88	c cleaning 121003 clauses out of 242014 with flag 19485190/8515571
336.41/335.43	c cleaning 121994 clauses out of 244010 with flag 19800068/8638570
342.89/342.00	c cleaning 123007 clauses out of 246021 with flag 20130012/8762575
348.88/347.93	c cleaning 123991 clauses out of 248009 with flag 20456964/8887570
356.37/355.41	c cleaning 124997 clauses out of 250019 with flag 20789129/9013571
362.29/361.33	c cleaning 126006 clauses out of 252021 with flag 21114308/9140570
368.19/367.20	c cleaning 127003 clauses out of 254021 with flag 21452480/9268576
373.82/372.88	c cleaning 128000 clauses out of 256013 with flag 21793028/9397571
379.61/378.65	c cleaning 129003 clauses out of 258013 with flag 22133410/9527571
386.25/385.28	c cleaning 130001 clauses out of 260012 with flag 22475948/9658573
392.84/391.84	c cleaning 131005 clauses out of 262009 with flag 22818671/9790571
399.57/398.55	c cleaning 131997 clauses out of 264004 with flag 23184194/9923571
405.86/404.87	c cleaning 132995 clauses out of 266007 with flag 23537317/10057571
412.34/411.37	c cleaning 134001 clauses out of 268014 with flag 23894348/10192573
418.23/417.23	c cleaning 134997 clauses out of 270010 with flag 24249521/10328570
424.51/423.50	c cleaning 136003 clauses out of 272013 with flag 24604814/10465570
431.11/430.16	c cleaning 136993 clauses out of 274012 with flag 24971325/10603572
438.48/437.53	c cleaning 137996 clauses out of 276017 with flag 25335416/10742570
446.27/445.32	c cleaning 138999 clauses out of 278021 with flag 25706930/10882570
453.15/452.20	c cleaning 140000 clauses out of 280022 with flag 26081048/11023570
460.34/459.48	c cleaning 141006 clauses out of 282024 with flag 26450397/11165572
467.62/466.78	c cleaning 141997 clauses out of 284018 with flag 26829615/11308572
475.30/474.46	c cleaning 143002 clauses out of 286019 with flag 27209112/11452570
482.68/481.71	c cleaning 144005 clauses out of 288020 with flag 27579854/11597573
490.07/489.17	c cleaning 145003 clauses out of 290012 with flag 27962850/11743570
498.24/497.36	c cleaning 145997 clauses out of 292009 with flag 28352271/11890570
507.93/507.02	c cleaning 147002 clauses out of 294012 with flag 28743757/12038570
517.05/516.08	c cleaning 148001 clauses out of 296010 with flag 29135269/12187570
524.41/523.45	c cleaning 148998 clauses out of 298010 with flag 29529375/12337571
533.89/532.98	c cleaning 149996 clauses out of 300011 with flag 29931793/12488570
545.82/544.02	c cleaning 151004 clauses out of 302016 with flag 30336471/12640571
557.28/555.52	c cleaning 151998 clauses out of 304012 with flag 30744724/12793571
566.66/564.99	c cleaning 153002 clauses out of 306015 with flag 31152356/12947572
578.04/576.37	c cleaning 154000 clauses out of 308013 with flag 31571777/13102572
588.28/586.59	c cleaning 155002 clauses out of 310012 with flag 31988202/13258571
595.84/594.10	c cleaning 156003 clauses out of 312013 with flag 32405279/13415574
603.01/601.26	c cleaning 157001 clauses out of 314006 with flag 32814326/13573570
610.20/608.42	c cleaning 157990 clauses out of 316005 with flag 33229761/13732570
617.09/615.35	c cleaning 158999 clauses out of 318015 with flag 33650328/13892570
624.07/622.30	c cleaning 160005 clauses out of 320017 with flag 34079886/14053571
632.26/630.58	c cleaning 160999 clauses out of 322012 with flag 34511803/14215571
640.47/638.70	c cleaning 162001 clauses out of 324012 with flag 34929618/14378570
648.25/646.53	c cleaning 163000 clauses out of 326013 with flag 35348575/14542572
657.94/656.29	c cleaning 163996 clauses out of 328011 with flag 35773612/14707570
667.46/665.71	c cleaning 164999 clauses out of 330015 with flag 36201289/14873570
678.04/676.39	c cleaning 165998 clauses out of 332017 with flag 36628452/15040571
686.67/684.97	c cleaning 167002 clauses out of 334018 with flag 37065915/15208570
696.76/695.05	c cleaning 167993 clauses out of 336017 with flag 37498933/15377571
704.74/703.06	c cleaning 169007 clauses out of 338023 with flag 37935503/15547570
713.71/711.92	c cleaning 169997 clauses out of 340016 with flag 38373050/15718570
722.90/721.16	c cleaning 171009 clauses out of 342019 with flag 38819285/15890570
732.38/730.68	c cleaning 171988 clauses out of 344011 with flag 39270896/16063571
742.65/740.82	c cleaning 173005 clauses out of 346022 with flag 39724393/16237570
752.23/750.44	c cleaning 174007 clauses out of 348022 with flag 40183204/16412575
761.92/760.15	c cleaning 174992 clauses out of 350010 with flag 40645679/16588570
773.47/771.66	c cleaning 176006 clauses out of 352021 with flag 41114648/16765573
785.74/783.90	c cleaning 177000 clauses out of 354012 with flag 41578094/16943570
796.12/794.31	c cleaning 178004 clauses out of 356012 with flag 42042201/17122570
804.70/802.99	c cleaning 179001 clauses out of 358011 with flag 42514031/17302573
814.42/812.52	c cleaning 179994 clauses out of 360007 with flag 42995021/17483570
823.30/821.42	c cleaning 181003 clauses out of 362013 with flag 43469787/17665570
833.47/831.60	c cleaning 181998 clauses out of 364010 with flag 43946320/17848570
844.63/842.35	c cleaning 182999 clauses out of 366013 with flag 44423548/18032571
854.51/852.27	c cleaning 184001 clauses out of 368013 with flag 44902789/18217570
866.48/864.24	c cleaning 184999 clauses out of 370015 with flag 45387210/18403573
879.96/877.72	c cleaning 186000 clauses out of 372014 with flag 45870493/18590571
890.07/887.78	c cleaning 187004 clauses out of 374015 with flag 46352283/18778572
901.83/899.47	c cleaning 187992 clauses out of 376009 with flag 46842875/18967570
910.53/908.13	c cleaning 189006 clauses out of 378018 with flag 47335652/19157571
920.34/917.97	c cleaning 190005 clauses out of 380013 with flag 47831518/19348572
934.11/931.71	c cleaning 190990 clauses out of 382006 with flag 48335475/19540570
944.03/941.64	c cleaning 192001 clauses out of 384016 with flag 48851962/19733570
954.28/951.88	c cleaning 193004 clauses out of 386016 with flag 49357844/19927571
965.57/963.14	c cleaning 194006 clauses out of 388015 with flag 49870406/20122574
976.83/974.42	c cleaning 194998 clauses out of 390006 with flag 50373254/20318571
986.52/984.19	c cleaning 196003 clauses out of 392008 with flag 50890940/20515571
999.78/997.50	c cleaning 196995 clauses out of 394004 with flag 51395998/20713570
1009.85/1007.50	c cleaning 197987 clauses out of 396009 with flag 51913326/20912570
1020.04/1017.71	c cleaning 199008 clauses out of 398022 with flag 52436664/21112570
1034.58/1032.29	c cleaning 199996 clauses out of 400014 with flag 52970358/21313570
1046.26/1043.90	c cleaning 201001 clauses out of 402019 with flag 53517093/21515571
1059.14/1056.83	c cleaning 202001 clauses out of 404017 with flag 54057961/21718570
1074.48/1072.14	c cleaning 203007 clauses out of 406017 with flag 54588703/21922571
1086.24/1083.99	c cleaning 203993 clauses out of 408009 with flag 55118363/22127570
1097.04/1094.63	c cleaning 204998 clauses out of 410016 with flag 55655288/22333570
1110.31/1108.01	c cleaning 206006 clauses out of 412018 with flag 56187706/22540570
1121.29/1118.91	c cleaning 206998 clauses out of 414014 with flag 56734937/22748572
1132.22/1129.82	c cleaning 208006 clauses out of 416017 with flag 57281613/22957573
1145.19/1142.83	c cleaning 208999 clauses out of 418008 with flag 57833771/23167570
1157.76/1155.46	c cleaning 209995 clauses out of 420009 with flag 58380401/23378570
1168.34/1166.00	c cleaning 210997 clauses out of 422016 with flag 58925957/23590572
1179.22/1176.80	c cleaning 212006 clauses out of 424019 with flag 59475758/23803572
1190.89/1188.59	c cleaning 212995 clauses out of 426012 with flag 60030911/24017571
1203.54/1201.17	c cleaning 214003 clauses out of 428017 with flag 60585596/24232571
1216.30/1213.98	c cleaning 215003 clauses out of 430015 with flag 61140693/24448572
1228.08/1225.73	c cleaning 216000 clauses out of 432010 with flag 61692865/24665570
1240.37/1238.03	c cleaning 217001 clauses out of 434011 with flag 62249900/24883571
1251.40/1249.09	c cleaning 218001 clauses out of 436009 with flag 62813553/25102570
1265.05/1262.71	c cleaning 219000 clauses out of 438008 with flag 63385073/25322570
1278.95/1276.56	c cleaning 219996 clauses out of 440008 with flag 63952743/25543570
1295.62/1293.29	c cleaning 220993 clauses out of 442012 with flag 64513320/25765570
1310.28/1307.96	c cleaning 222005 clauses out of 444019 with flag 65079239/25988570
1322.99/1320.57	c cleaning 223002 clauses out of 446015 with flag 65650271/26212571
1334.76/1332.35	c cleaning 223996 clauses out of 448012 with flag 66228428/26437570
1347.83/1345.49	c cleaning 225006 clauses out of 450017 with flag 66813071/26663571
1360.63/1358.22	c cleaning 225992 clauses out of 452010 with flag 67399954/26890570
1372.21/1369.81	c cleaning 226991 clauses out of 454018 with flag 67992557/27118570
1384.67/1382.37	c cleaning 228009 clauses out of 456030 with flag 68596514/27347573
1395.65/1393.30	c cleaning 228993 clauses out of 458018 with flag 69190061/27577570
1407.14/1404.89	c cleaning 230000 clauses out of 460025 with flag 69787381/27808570
1418.82/1416.57	c cleaning 231011 clauses out of 462027 with flag 70388198/28040572
1429.77/1427.49	c cleaning 231999 clauses out of 464014 with flag 70987745/28273570
1446.92/1444.67	c cleaning 233001 clauses out of 466015 with flag 71601360/28507570
1459.19/1456.91	c cleaning 234003 clauses out of 468015 with flag 72210789/28742571
1477.58/1475.39	c cleaning 234991 clauses out of 470011 with flag 72833213/28978570
1490.05/1487.84	c cleaning 236003 clauses out of 472020 with flag 73446213/29215570
1509.24/1507.02	c cleaning 237004 clauses out of 474017 with flag 74070087/29453570
1526.76/1524.59	c cleaning 237997 clauses out of 476015 with flag 74685782/29692572
1542.82/1540.64	c cleaning 239006 clauses out of 478016 with flag 75304193/29932570
1563.32/1561.14	c cleaning 239996 clauses out of 480010 with flag 75928777/30173570
1578.37/1576.28	c cleaning 241003 clauses out of 482017 with flag 76555909/30415573
1591.64/1589.49	c cleaning 242007 clauses out of 484013 with flag 77190775/30658572
1605.82/1603.62	c cleaning 242999 clauses out of 486006 with flag 77831490/30902572
1626.99/1624.46	c cleaning 243998 clauses out of 488008 with flag 78459613/31147573
1644.66/1642.02	c cleaning 245001 clauses out of 490007 with flag 79096572/31393570
1660.71/1658.02	c cleaning 246002 clauses out of 492008 with flag 79735742/31640572
1681.86/1679.25	c cleaning 246998 clauses out of 494004 with flag 80384686/31888570
1696.54/1693.94	c cleaning 248002 clauses out of 496006 with flag 81030001/32137570
1714.77/1712.01	c cleaning 249001 clauses out of 498004 with flag 81666818/32387570
1730.71/1727.99	c cleaning 249998 clauses out of 500004 with flag 82298601/32638571
1745.12/1742.37	c cleaning 250987 clauses out of 502006 with flag 82947681/32890571
1761.35/1758.59	c cleaning 252002 clauses out of 504020 with flag 83607757/33143572
1775.75/1772.90	c cleaning 253001 clauses out of 506016 with flag 84260125/33397570
1791.22/1788.47	c cleaning 254005 clauses out of 508019 with flag 84909794/33652574
1809.08/1806.37	c cleaning 254996 clauses out of 510011 with flag 85568862/33908571
1824.94/1822.16	c cleaning 255994 clauses out of 512014 with flag 86225032/34165570
1841.50/1838.73	c cleaning 257003 clauses out of 514021 with flag 86883840/34423571
1856.41/1853.66	c cleaning 258003 clauses out of 516017 with flag 87561983/34682570
1875.47/1872.74	c cleaning 258992 clauses out of 518017 with flag 88237873/34942573
1897.62/1894.88	c cleaning 260002 clauses out of 520022 with flag 88918925/35203570
1917.08/1914.39	c cleaning 260998 clauses out of 522021 with flag 89601143/35465571
1932.95/1930.26	c cleaning 262005 clauses out of 524022 with flag 90277371/35728570
1947.49/1944.76	c cleaning 263002 clauses out of 526017 with flag 90958750/35992570
1963.25/1960.57	c cleaning 264001 clauses out of 528016 with flag 91655565/36257571
1981.21/1978.51	c cleaning 264998 clauses out of 530015 with flag 92349719/36523571
1999.60/1996.83	c cleaning 266003 clauses out of 532017 with flag 93037046/36790571
2021.65/2018.91	c cleaning 267000 clauses out of 534013 with flag 93732091/37058570
2040.83/2038.18	c cleaning 267998 clauses out of 536013 with flag 94426026/37327570
2061.59/2058.87	c cleaning 269004 clauses out of 538015 with flag 95134052/37597570
2081.65/2078.97	c cleaning 269997 clauses out of 540011 with flag 95825074/37868570
2099.60/2096.95	c cleaning 270999 clauses out of 542015 with flag 96525450/38140571
2119.48/2116.73	c cleaning 271999 clauses out of 544018 with flag 97227493/38413573
2139.03/2136.38	c cleaning 273006 clauses out of 546016 with flag 97948011/38687570
2158.89/2156.24	c cleaning 273993 clauses out of 548012 with flag 98670350/38962572
2179.94/2177.30	c cleaning 275006 clauses out of 550017 with flag 99389369/39238570
2197.19/2194.57	c cleaning 275999 clauses out of 552012 with flag 100082463/39515571
2213.43/2210.83	c cleaning 277001 clauses out of 554016 with flag 100794067/39793574
2230.09/2227.59	c cleaning 277995 clauses out of 556011 with flag 101503319/40072570
2246.34/2243.86	c cleaning 279006 clauses out of 558016 with flag 102228406/40352570
2267.99/2265.44	c cleaning 279991 clauses out of 560011 with flag 102952456/40633571
2285.96/2283.43	c cleaning 280994 clauses out of 562019 with flag 103686421/40915570
2302.71/2300.22	c cleaning 282007 clauses out of 564025 with flag 104413523/41198570
2321.77/2319.30	c cleaning 283004 clauses out of 566018 with flag 105145358/41482570
2342.27/2339.75	c cleaning 284005 clauses out of 568014 with flag 105869441/41767570
2361.93/2359.41	c cleaning 284998 clauses out of 570012 with flag 106601753/42053573
2383.87/2381.40	c cleaning 285985 clauses out of 572011 with flag 107341338/42340570
2404.32/2401.96	c cleaning 287011 clauses out of 574028 with flag 108064814/42628572
2424.73/2422.36	c cleaning 287993 clauses out of 576016 with flag 108815552/42917571
2441.19/2438.81	c cleaning 289004 clauses out of 578022 with flag 109585223/43207570
2459.50/2457.13	c cleaning 290006 clauses out of 580019 with flag 110342052/43498571
2484.76/2482.35	c cleaning 290999 clauses out of 582012 with flag 111101393/43790570
2506.43/2504.03	c cleaning 291999 clauses out of 584013 with flag 111853809/44083570
2528.43/2526.02	c cleaning 293006 clauses out of 586016 with flag 112606034/44377572
2554.62/2552.20	c cleaning 293994 clauses out of 588008 with flag 113371749/44672570
2573.40/2571.10	c cleaning 295000 clauses out of 590015 with flag 114129652/44968571
2592.09/2589.70	c cleaning 295998 clauses out of 592015 with flag 114891444/45265571
2610.58/2608.13	c cleaning 296998 clauses out of 594020 with flag 115667662/45563574
2632.61/2630.24	c cleaning 297996 clauses out of 596019 with flag 116440917/45862571
2659.39/2656.60	c cleaning 299004 clauses out of 598024 with flag 117215744/46162572
2689.26/2686.56	c cleaning 300002 clauses out of 600018 with flag 117997234/46463570
2712.14/2709.49	c cleaning 301002 clauses out of 602016 with flag 118776556/46765570
2734.52/2731.81	c cleaning 302003 clauses out of 604014 with flag 119558663/47068570
2758.07/2755.47	c cleaning 302999 clauses out of 606011 with flag 120352306/47372570
2781.05/2778.39	c cleaning 304005 clauses out of 608013 with flag 121143522/47677571
2807.11/2804.30	c cleaning 304996 clauses out of 610009 with flag 121934301/47983572
2827.00/2824.15	c cleaning 306003 clauses out of 612011 with flag 122721827/48290570
2850.27/2847.43	c cleaning 306992 clauses out of 614008 with flag 123513783/48598570
2871.03/2868.27	c cleaning 308001 clauses out of 616019 with flag 124310658/48907573
2894.30/2891.52	c cleaning 309000 clauses out of 618016 with flag 125107543/49217571
2921.06/2918.20	c cleaning 310007 clauses out of 620016 with flag 125910034/49528571
2947.53/2944.68	c cleaning 310995 clauses out of 622008 with flag 126727158/49840570
2966.40/2963.52	c cleaning 311999 clauses out of 624016 with flag 127532316/50153573
2985.80/2982.93	c cleaning 313006 clauses out of 626014 with flag 128336512/50467570
3010.37/3007.41	c cleaning 314000 clauses out of 628008 with flag 129134757/50782570
3034.22/3031.35	c cleaning 314992 clauses out of 630008 with flag 129936262/51098570
3058.52/3055.64	c cleaning 315995 clauses out of 632016 with flag 130750588/51415570
3079.27/3076.47	c cleaning 317001 clauses out of 634022 with flag 131561610/51733571
3100.84/3098.00	c cleaning 318001 clauses out of 636021 with flag 132377358/52052571
3122.01/3119.15	c cleaning 319000 clauses out of 638021 with flag 133198923/52372572
3143.44/3140.69	c cleaning 320008 clauses out of 640022 with flag 134017252/52693573
3168.38/3165.57	c cleaning 320998 clauses out of 642011 with flag 134833864/53015570
3197.83/3195.01	c cleaning 322000 clauses out of 644014 with flag 135657589/53338571
3223.26/3220.57	c cleaning 323002 clauses out of 646013 with flag 136492234/53662570
3247.01/3244.39	c cleaning 323998 clauses out of 648011 with flag 137335879/53987570
3273.68/3271.01	c cleaning 324996 clauses out of 650013 with flag 138194138/54313570
3303.78/3300.80	c cleaning 326007 clauses out of 652017 with flag 139026524/54640570
3326.33/3323.47	c cleaning 326996 clauses out of 654010 with flag 139860949/54968570
3346.14/3343.28	c cleaning 328002 clauses out of 656016 with flag 140722010/55297572
3368.19/3365.36	c cleaning 328992 clauses out of 658012 with flag 141573834/55627570
3393.66/3390.80	c cleaning 330006 clauses out of 660020 with flag 142430437/55958570
3412.61/3409.85	c cleaning 330997 clauses out of 662014 with flag 143281734/56290570
3438.47/3435.76	c cleaning 331997 clauses out of 664017 with flag 144143700/56623570
3463.33/3460.65	c cleaning 333005 clauses out of 666021 with flag 145008672/56957571
3488.57/3485.94	c cleaning 334001 clauses out of 668017 with flag 145875271/57292572
3511.92/3509.31	c cleaning 335000 clauses out of 670015 with flag 146741201/57628571
3535.58/3533.01	c cleaning 335994 clauses out of 672014 with flag 147625429/57965570
3563.00/3560.48	c cleaning 337008 clauses out of 674021 with flag 148501817/58303571
3596.73/3594.18	c cleaning 337993 clauses out of 676013 with flag 149374188/58642571
3600.01/3597.45	c starts		: 7
3600.01/3597.45	c conflicts		: 58744765
3600.01/3597.46	c decisions		: 123282881
3600.01/3597.46	c propagations		: 3871019373
3600.01/3597.46	c inspects		: 18900160866
3600.01/3597.46	c shortcuts		: 0
3600.01/3597.46	c learnt literals	: 0
3600.01/3597.46	c learnt binary clauses	: 0
3600.01/3597.46	c learnt ternary clauses	: 0
3600.01/3597.46	c learnt constraints	: 58744765
3600.01/3597.46	c ignored constraints	: 0
3600.01/3597.46	c root simplifications	: 0
3600.01/3597.46	c removed literals (reason simplification)	: 0
3600.01/3597.46	c reason swapping (by a shorter reason)	: 0
3600.01/3597.46	c Calls to reduceDB	: 377
3600.01/3597.46	c Number of update (reduction) of LBD	: 13485723
3600.01/3597.46	c Imported unit clauses	: 0
3600.01/3597.46	c No decision after first conflict	: false
3600.01/3597.47	c number of reductions to clauses (during analyze)	: 0
3600.01/3597.47	c number of learned constraints concerned by reduction	: 0
3600.01/3597.47	c number of learning phase by resolution	: 0
3600.01/3597.47	c number of learning phase by cutting planes	: 0
3600.01/3597.47	c number of rounding to 1 operations	: 0
3600.01/3597.47	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3597.47	c number of reductions of the coefficients by power 2 	: 0
3600.01/3597.47	c number of right shift for reduction by power 2 	: 0
3600.01/3597.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3597.47	c number of ending skipping 	: 0
3600.01/3597.47	c number of internal skipping 	: 0
3600.01/3597.47	c number of derivation steps 	: 0
3600.01/3597.47	c number of skipped derivation steps 	: 0
3600.01/3597.47	c number of remaining unassigned 	: 0
3600.01/3597.47	c number of remaining assigned 	: 0
3600.01/3597.47	c number of falsified literals weakened from reason	: 0
3600.01/3597.47	c number of falsified literals weakened from conflict	: 0
3600.01/3597.47	c time for arithmetic operations	: 0
3600.01/3597.48	c minimum degree of deleted constraints	: null
3600.01/3597.48	c maximum degree of deleted constraints	: null
3600.01/3597.48	c number of deleted constraints	: 0
3600.01/3597.48	c speed (assignments/second)	: 1076143.476090052
3600.01/3597.48	c non guided choices	: 1
3600.40/3597.64	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 440214
3600.40/3597.65	s SATISFIABLE
3600.40/3597.65	c Found 4 solution(s)
3600.40/3597.65	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 
3600.40/3597.65	c objective function=48
3600.40/3597.65	c Total wall clock time (in seconds): 3597.398

Verifier Data 

OK	48

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: 64059 MiB (61671 MiB free)
  memory of node 1: 64510 MiB (63191 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432204-1721103368/watcher-4432204-1721103368 -o /tmp/evaluation-result-4432204-1721103368/solver-4432204-1721103368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721096171-821626 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432204-1721103368.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=825955, runsolver pid=825952

[startup+0.101843 s]*
/proc/loadavg: 4.31 4.19 4.18 7/317 825973
/proc/meminfo: memFree=127821988/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=18975048 memory=58852 CPUtime=0.13 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 6714 0 0 0 11 2 0 0 20 0 18 0 162496362 19430449152 14713 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4743762 14713 5613 1 0 550999 0
[pid=825955/tid=825957] ppid=825952 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 5618 0 0 0 7 1 0 0 20 0 18 0 162496363 19430449152 14713 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 14713 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 14713 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58852 KiB

[startup+0.218013 s]*
/proc/loadavg: 4.31 4.19 4.18 5/317 825973
/proc/meminfo: memFree=127814940/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=18975048 memory=66016 CPUtime=0.28 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 7342 0 0 0 25 3 0 0 20 0 18 0 162496362 19430449152 16504 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4743762 16504 5718 1 0 551495 0
[pid=825955/tid=825957] ppid=825952 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 1077936192 5795 0 0 0 16 1 0 0 20 0 18 0 162496363 19430449152 16504 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=18975048 memory=671 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 16504 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=18975048 memory=14697383271339398 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 16504 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66016 KiB

[startup+0.319872 s]*
/proc/loadavg: 4.31 4.19 4.18 8/317 825973
/proc/meminfo: memFree=127811660/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=18975048 memory=69368 CPUtime=0.43 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 7603 0 0 0 40 3 0 0 20 0 18 0 162496362 19430449152 17342 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4743762 17342 5793 1 0 551660 0
[pid=825955/tid=825957] ppid=825952 vsize=18975048 memory=-9032076149518607036 CPUtime=0.27 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 1077936192 5911 0 0 0 25 2 0 0 20 0 18 0 162496363 19430449152 17342 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 17342 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162496366 19430449152 17342 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69368 KiB

[startup+0.700831 s]
/proc/loadavg: 4.31 4.19 4.18 6/318 825974
/proc/meminfo: memFree=127807184/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19041612 memory=82652 CPUtime=1.12 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 11372 0 0 0 108 4 0 0 20 0 19 0 162496362 19498610688 20663 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4760403 20663 5846 1 0 554162 0
[pid=825955/tid=825957] ppid=825952 vsize=19041612 memory=5544 CPUtime=0.6 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 6047 0 0 0 58 2 0 0 20 0 19 0 162496363 19498610688 20663 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19041612 memory=12776 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 20663 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 20663 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162496398 19498610688 20663 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82652 KiB

[startup+1.50082 s]
/proc/loadavg: 4.31 4.19 4.18 7/318 825974
/proc/meminfo: memFree=127790584/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19041612 memory=98488 CPUtime=2.44 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 16006 0 0 0 240 4 0 0 20 0 19 0 162496362 19498610688 24622 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4760403 24622 5862 1 0 554810 0
[pid=825955/tid=825957] ppid=825952 vsize=19041612 memory=12776 CPUtime=1.39 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 6639 0 0 0 137 2 0 0 20 0 19 0 162496363 19498610688 24622 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 24622 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 24622 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19041612 memory=279944357913872 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162496398 19498610688 24622 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98488 KiB

[startup+3.10582 s]
/proc/loadavg: 4.45 4.22 4.19 5/318 825974
/proc/meminfo: memFree=127749320/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19041612 memory=133564 CPUtime=4.13 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 16736 0 0 0 408 5 0 0 20 0 19 0 162496362 19498610688 33391 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4760403 33391 5869 1 0 554814 0
[pid=825955/tid=825957] ppid=825952 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 6961 0 0 0 295 3 0 0 20 0 19 0 162496363 19498610688 33391 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19041612 memory=12776 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 33391 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162496366 19498610688 33391 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19041612 memory=11464 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162496398 19498610688 33391 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133564 KiB

[startup+6.30043 s]
/proc/loadavg: 4.45 4.22 4.19 5/319 825975
/proc/meminfo: memFree=127705708/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=178760 CPUtime=7.4 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 17921 0 0 0 734 6 0 0 20 0 20 0 162496362 19566772224 44690 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 44690 5869 1 0 555104 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=12776 CPUtime=6.11 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 7019 0 0 0 608 3 0 0 20 0 20 0 162496363 19566772224 44690 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 44690 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=100536 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 44690 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 44690 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178760 KiB

[startup+12.7004 s]
/proc/loadavg: 4.38 4.21 4.18 5/319 825977
/proc/meminfo: memFree=127697200/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=187012 CPUtime=13.81 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 19287 0 0 0 1374 7 0 0 20 0 20 0 162496362 19566772224 46753 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 46753 5869 1 0 555104 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=0 CPUtime=12.48 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 7528 0 0 0 1244 4 0 0 20 0 20 0 162496363 19566772224 46753 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=-9032076149518607036 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 46753 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=2216 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 46753 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 46753 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187012 KiB

[startup+25.5005 s]
/proc/loadavg: 4.40 4.22 4.19 5/319 825979
/proc/meminfo: memFree=127576708/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=306184 CPUtime=26.65 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 22884 0 0 0 2654 11 0 0 20 0 20 0 162496362 19566772224 76546 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 76546 5884 1 0 555104 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=11464 CPUtime=24.95 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 8611 0 0 0 2491 4 0 0 20 0 20 0 162496363 19566772224 76546 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 76546 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=178760 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 76546 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=279944357860656 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 76546 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 26.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 306184 KiB

[startup+51.113 s]
/proc/loadavg: 4.33 4.22 4.18 5/319 825984
/proc/meminfo: memFree=127444804/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=430524 CPUtime=52.61 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 31375 0 0 0 5245 16 0 0 20 0 20 0 162496362 19566772224 107631 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 107631 5884 1 0 555366 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=405940 CPUtime=50.11 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 11064 0 0 0 5007 4 0 0 20 0 20 0 162496363 19566772224 107631 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=279944358610304 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 107631 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/320 827742
/proc/meminfo: memFree=121759536/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205656 CPUtime=3285.06 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 141230 0 0 0 328284 222 0 0 20 0 20 0 162496362 19566772224 801414 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801414 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=3205656 CPUtime=3254.44 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 45198 0 0 0 325412 32 0 0 20 0 20 0 162496363 19566772224 801414 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=3205656 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801414 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=3205656 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1644 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801414 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=3205656 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801414 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3285.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.19 4.17 5/320 827752
/proc/meminfo: memFree=121759272/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205692 CPUtime=3345.24 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 141661 0 0 0 334299 225 0 0 20 0 20 0 162496362 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801423 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=0 CPUtime=3313.92 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 45437 0 0 0 331360 32 0 0 20 0 20 0 162496363 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=3205692 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=41572 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1645 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=3205692 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3345.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.32 4.22 5/320 827764
/proc/meminfo: memFree=121734328/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205692 CPUtime=3405.13 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 141813 0 0 0 340286 227 0 0 20 0 20 0 162496362 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801423 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=3205692 CPUtime=3373.69 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 45575 0 0 0 337337 32 0 0 20 0 20 0 162496363 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=5544 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1645 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=-9032076149518607036 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3405.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.28 4.21 5/320 827774
/proc/meminfo: memFree=121674464/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205692 CPUtime=3465.02 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 141907 0 0 0 346272 230 0 0 20 0 20 0 162496362 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801423 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=3205692 CPUtime=3433.43 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 45626 0 0 0 343311 32 0 0 20 0 20 0 162496363 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=3205692 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1645 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=3205692 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801423 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3465.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205692 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/320 827785
/proc/meminfo: memFree=121622736/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205696 CPUtime=3524.99 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 143938 0 0 0 352266 233 0 0 20 0 20 0 162496362 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801424 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=11464 CPUtime=3493.02 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 46301 0 0 0 349270 32 0 0 20 0 20 0 162496363 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=3205692 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=41572 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1735 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=3205696 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3524.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.87 4.43 4.26 5/317 827796
/proc/meminfo: memFree=121603864/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205696 CPUtime=3584.94 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 144384 0 0 0 358258 236 0 0 20 0 20 0 162496362 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801424 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=11464 CPUtime=3552.71 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 46641 0 0 0 355239 32 0 0 20 0 20 0 162496363 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=3205696 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=2216 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=32144 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.4 s]
/proc/loadavg: 4.75 4.43 4.27 4/266 827868
/proc/meminfo: memFree=123907832/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19108176 memory=3205696 CPUtime=3600.01 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 144433 0 0 0 359765 236 0 0 20 0 20 0 162496362 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4777044 801424 5884 1 0 814165 0
[pid=825955/tid=825957] ppid=825952 vsize=19108176 memory=1270624 CPUtime=3567.77 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 46689 0 0 0 356745 32 0 0 20 0 20 0 162496363 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19108176 memory=2732 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19108176 memory=4996 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 162496366 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825974] ppid=825952 vsize=19108176 memory=3205696 CPUtime=0 cores=0,2
/proc/825955/task/825974/stat : 825974 (Timer-0) S 825952 825955 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162496398 19566772224 801424 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3205696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.14 s, system=2.40156 s

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

[startup+3597.6 s]
/proc/loadavg: 4.75 4.43 4.27 4/266 827868
/proc/meminfo: memFree=123907832/131655788 swapFree=131071996/131071996
[pid=825955] ppid=825952 vsize=19307868 memory=3206456 CPUtime=3600.4 cores=0,2
/proc/825955/stat : 825955 (java) S 825952 825955 821616 0 -1 1077936128 147129 0 0 0 359803 237 0 0 20 0 21 0 162496362 19771256832 801614 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
/proc/825955/statm: 4826967 801614 5899 1 0 815080 0
[pid=825955/tid=825957] ppid=825952 vsize=19307868 memory=5544 CPUtime=3567.97 cores=0,2
/proc/825955/task/825957/stat : 825957 (java) R 825952 825955 821616 0 -1 4194368 47005 0 0 0 356764 33 0 0 20 0 21 0 162496363 19771256832 801614 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825966] ppid=825952 vsize=19307868 memory=16116 CPUtime=0 cores=0,2
/proc/825955/task/825966/stat : 825966 (Finalizer) S 825952 825955 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162496366 19771256832 801614 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
[pid=825955/tid=825973] ppid=825952 vsize=19307868 memory=-8621784576487374494 CPUtime=0 cores=0,2
/proc/825955/task/825973/stat : 825973 (Common-Cleaner) S 825952 825955 821616 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 21 0 162496366 19771256832 801614 134679101440 94204872966144 94204872969840 140734048994768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94204872977656 94204872978448 94204892643328 140734048998407 140734048998497 140734048998497 140734049005512 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3206456 KiB

Child status: 143

Real time (s): 3597.68
CPU time (s): 3600.54
CPU user time (s): 3598.14
CPU system time (s): 2.40156
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3206456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.14
system time used= 2.40156
maximum resident set size= 3207456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111348
involuntary context switches= 26769


# summary of solver processes directly reported to runsolver:
#   pid: 825955
#   total CPU time (s): 3600.54
#   total CPU user time (s): 3598.14
#   total CPU system time (s): 2.40156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1274 second user time and 38.144 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 06:16:20
IDJOB=4432204
IDBENCH=147631
IDSOLVER=3058
FILE ID=nodeC009/4432204-1721103368
RUNJOBID= nodeC009-1721096171-821626
SLURM_JOB_ID= 7505609
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432204-1721103368/watcher-4432204-1721103368 -o /tmp/evaluation-result-4432204-1721103368/solver-4432204-1721103368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721096171-821626 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432204-1721103368.opb

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

MD5SUM BENCH= fd6cc61b0bc3179b5f60e3ed19d77dd2
RANDOM SEED=721379802

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127860244 kB
MemAvailable:   129419472 kB
Buffers:          394484 kB
Cached:          1991472 kB
SwapCached:            0 kB
Active:           707848 kB
Inactive:        2527388 kB
Active(anon):       1436 kB
Inactive(anon):   885540 kB
Active(file):     706412 kB
Inactive(file):  1641848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14332 kB
Writeback:             0 kB
AnonPages:        849396 kB
Mapped:           124592 kB
Shmem:             37700 kB
KReclaimable:     102000 kB
Slab:             200020 kB
SReclaimable:     102000 kB
SUnreclaim:        98020 kB
KernelStack:        4828 kB
PageTables:        11888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7423300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-16 07:16:17