Trace number 4432218

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)70 3600.62 3596.23

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM83e8c133f6310d52aedf789f310352e0
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 benchmark53
Best CPU time to get the best result obtained on this benchmark26.7007
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
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 constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
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 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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.13/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.14	c version CUSTOM.v20240707
0.13/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.14	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.15	c Free memory 		2115194816
0.13/0.15	c Max memory 		16282288128
0.13/0.15	c Total memory 		2122317824
0.13/0.16	c Number of processors 	2
0.13/0.22	--- Begin Solver configuration ---
0.13/0.22	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.22	Learn all clauses as in MiniSAT
0.13/0.22	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.22	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.22	No reason simplification
0.13/0.22	Glucose 2.1 dynamic restart strategy
0.13/0.22	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.13/0.22	timeout=2147483s
0.13/0.22	DB Simplification allowed=false
0.13/0.22	Listener: none
0.13/0.22	--- End Solver configuration ---
0.13/0.22	c Pseudo Boolean Optimization by upper bound
0.13/0.22	c --- Begin Solver configuration ---
0.13/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.22	c Learn all clauses as in MiniSAT
0.13/0.22	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.22	c No reason simplification
0.13/0.22	c Glucose 2.1 dynamic restart strategy
0.13/0.22	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.13/0.22	c timeout=2147483s
0.13/0.22	c DB Simplification allowed=false
0.13/0.22	c Listener: none
0.13/0.22	c --- End Solver configuration ---
0.13/0.22	c solving HOME/instance-4432218-1721077675.opb
0.13/0.22	c reading problem ... 
0.13/0.22	c  objective function found
0.39/0.27	c ... done. Wall clock time 0.046s.
0.39/0.27	c declared #vars     225
0.39/0.27	c #constraints  225
0.39/0.27	c constraints type 
0.39/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225
0.39/0.27	c 225 constraints processed.
0.39/0.29	c objective function length is 225 literals
0.39/0.30	c SATISFIABLE
0.39/0.30	c OPTIMIZING...
0.39/0.30	c Got one! Elapsed wall clock time (in seconds):0.085
0.39/0.30	o 75
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.112
0.50/0.33	o 74
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.166
0.50/0.38	o 73
1.22/0.79	c cleaning 2670 clauses out of 5344 with flag 11391/5344
1.82/1.08	c cleaning 4331 clauses out of 8675 with flag 24813/11345
2.03/1.12	c Got one! Elapsed wall clock time (in seconds):0.9
2.03/1.12	o 72
2.21/1.23	c cleaning 5136 clauses out of 10279 with flag 9318/17280
2.39/1.36	c cleaning 5558 clauses out of 11142 with flag 22615/23279
2.50/1.48	c cleaning 6283 clauses out of 12584 with flag 38377/30279
2.69/1.63	c cleaning 7145 clauses out of 14302 with flag 56242/38280
2.97/1.81	c cleaning 8065 clauses out of 16156 with flag 76427/47279
3.08/1.99	c cleaning 9034 clauses out of 18092 with flag 98772/57280
3.27/2.19	c cleaning 10021 clauses out of 20057 with flag 123547/68279
3.56/2.43	c cleaning 11005 clauses out of 22037 with flag 150763/80280
3.78/2.66	c cleaning 12006 clauses out of 24032 with flag 180215/93280
3.98/2.88	c cleaning 12997 clauses out of 26025 with flag 211641/107279
4.27/3.17	c cleaning 14007 clauses out of 28028 with flag 245305/122279
4.73/3.53	c cleaning 15004 clauses out of 30023 with flag 281433/138281
5.10/3.87	c cleaning 16001 clauses out of 32017 with flag 319667/155279
5.79/4.59	c cleaning 16997 clauses out of 34016 with flag 359746/173279
6.59/5.37	c cleaning 18000 clauses out of 36019 with flag 402531/192279
7.19/5.98	c cleaning 19000 clauses out of 38020 with flag 447969/212280
7.78/6.57	c cleaning 19999 clauses out of 40019 with flag 495638/233279
8.45/7.13	c cleaning 20997 clauses out of 42021 with flag 545164/255280
9.07/7.73	c cleaning 22001 clauses out of 44023 with flag 596561/278279
9.67/8.40	c cleaning 23004 clauses out of 46023 with flag 650274/302280
10.48/9.19	c cleaning 24003 clauses out of 48019 with flag 707289/327280
11.27/9.94	c cleaning 24993 clauses out of 50015 with flag 765890/353279
12.27/10.96	c cleaning 26000 clauses out of 52023 with flag 826438/380280
13.17/11.82	c cleaning 27000 clauses out of 54022 with flag 889348/408279
14.07/12.73	c cleaning 28005 clauses out of 56024 with flag 955175/437281
14.97/13.66	c cleaning 28994 clauses out of 58017 with flag 1022435/467279
16.07/14.71	c cleaning 30000 clauses out of 60023 with flag 1091928/498279
17.07/15.78	c cleaning 31005 clauses out of 62023 with flag 1163936/530279
18.27/16.93	c cleaning 32001 clauses out of 64019 with flag 1239399/563280
19.38/18.05	c cleaning 32997 clauses out of 66017 with flag 1315732/597279
20.66/19.37	c cleaning 33999 clauses out of 68021 with flag 1394063/632280
22.26/20.94	c cleaning 35002 clauses out of 70021 with flag 1476399/668279
23.66/22.34	c cleaning 36000 clauses out of 72019 with flag 1559265/705279
25.26/23.94	c cleaning 37000 clauses out of 74020 with flag 1644330/743280
26.86/25.50	c cleaning 38002 clauses out of 76020 with flag 1733254/782280
28.38/27.08	c cleaning 38995 clauses out of 78018 with flag 1823190/822280
30.38/29.09	c cleaning 40001 clauses out of 80023 with flag 1915384/863280
32.27/30.90	c cleaning 40998 clauses out of 82021 with flag 2010390/905279
34.26/32.92	c cleaning 42003 clauses out of 84024 with flag 2107046/948280
36.16/34.88	c cleaning 43003 clauses out of 86022 with flag 2206135/992281
38.26/36.95	c cleaning 43995 clauses out of 88018 with flag 2306895/1037280
40.86/39.50	c cleaning 45002 clauses out of 90022 with flag 2411605/1083279
42.96/41.68	c cleaning 46002 clauses out of 92021 with flag 2517225/1130280
45.39/44.07	c cleaning 47004 clauses out of 94019 with flag 2625466/1178280
47.57/46.27	c cleaning 48001 clauses out of 96015 with flag 2736155/1227280
50.16/48.82	c cleaning 48999 clauses out of 98013 with flag 2848406/1277279
52.57/51.26	c cleaning 50001 clauses out of 100014 with flag 2965488/1328279
55.67/54.37	c cleaning 51003 clauses out of 102013 with flag 3082253/1380279
58.77/57.48	c cleaning 52003 clauses out of 104010 with flag 3204425/1433279
61.97/60.62	c cleaning 52994 clauses out of 106007 with flag 3326592/1487279
65.58/64.24	c cleaning 54005 clauses out of 108013 with flag 3454402/1542279
68.38/67.10	c cleaning 55001 clauses out of 110008 with flag 3582528/1598279
71.43/70.03	c cleaning 55999 clauses out of 112007 with flag 3711324/1655279
74.61/73.25	c cleaning 57001 clauses out of 114010 with flag 3851518/1713281
78.30/76.93	c cleaning 58001 clauses out of 116008 with flag 3989832/1772280
82.42/81.05	c cleaning 58996 clauses out of 118008 with flag 4132087/1832281
85.90/84.51	c cleaning 60002 clauses out of 120011 with flag 4273297/1893280
89.59/88.29	c cleaning 61000 clauses out of 122009 with flag 4417029/1955280
92.50/91.14	c cleaning 62001 clauses out of 124008 with flag 4558194/2018279
95.19/93.87	c cleaning 63000 clauses out of 126007 with flag 4701420/2082279
97.99/96.65	c cleaning 64001 clauses out of 128008 with flag 4846336/2147280
100.50/99.17	c cleaning 65002 clauses out of 130006 with flag 4994775/2213279
103.28/101.91	c cleaning 66001 clauses out of 132004 with flag 5145181/2280279
106.27/104.92	c cleaning 66999 clauses out of 134003 with flag 5298314/2348279
109.27/107.96	c cleaning 67998 clauses out of 136005 with flag 5453336/2417280
112.49/111.15	c cleaning 69002 clauses out of 138006 with flag 5610906/2487279
115.67/114.33	c cleaning 69998 clauses out of 140004 with flag 5770624/2558279
118.82/117.47	c cleaning 71003 clauses out of 142006 with flag 5932015/2630279
122.02/120.68	c cleaning 71995 clauses out of 144003 with flag 6095633/2703279
124.97/123.51	c cleaning 72999 clauses out of 146008 with flag 6261817/2777279
128.37/126.94	c cleaning 74004 clauses out of 148011 with flag 6429283/2852281
131.36/129.98	c cleaning 74997 clauses out of 150005 with flag 6599297/2928279
135.22/133.77	c cleaning 75995 clauses out of 152008 with flag 6771800/3005279
138.91/137.46	c cleaning 77002 clauses out of 154013 with flag 6947720/3083279
142.31/140.87	c cleaning 78002 clauses out of 156011 with flag 7125160/3162279
146.23/144.76	c cleaning 78999 clauses out of 158009 with flag 7304902/3242279
150.13/148.68	c cleaning 80000 clauses out of 160011 with flag 7487028/3323280
153.73/152.29	c cleaning 81000 clauses out of 162011 with flag 7671166/3405280
157.93/156.41	c cleaning 82002 clauses out of 164011 with flag 7857273/3488280
161.96/160.40	c cleaning 83005 clauses out of 166009 with flag 8045243/3572280
166.66/165.13	c cleaning 83996 clauses out of 168004 with flag 8236468/3657280
172.01/170.47	c cleaning 85004 clauses out of 170007 with flag 8430791/3743279
176.61/175.05	c cleaning 85999 clauses out of 172005 with flag 8626669/3830281
182.21/179.82	c cleaning 86999 clauses out of 174006 with flag 8825355/3918281
186.00/183.60	c cleaning 88000 clauses out of 176006 with flag 9025300/4007280
190.51/188.16	c cleaning 88996 clauses out of 178005 with flag 9227225/4097279
195.00/192.67	c cleaning 90001 clauses out of 180010 with flag 9432289/4188280
199.30/196.95	c cleaning 90996 clauses out of 182008 with flag 9639009/4280279
204.58/202.27	c cleaning 92006 clauses out of 184014 with flag 9848273/4373281
209.88/207.55	c cleaning 93001 clauses out of 186006 with flag 10059072/4467279
215.87/213.53	c cleaning 94001 clauses out of 188005 with flag 10272510/4562279
221.97/219.69	c cleaning 94996 clauses out of 190005 with flag 10488143/4658280
227.36/225.08	c cleaning 96001 clauses out of 192008 with flag 10705863/4755279
232.66/230.37	c cleaning 97003 clauses out of 194009 with flag 10926944/4853281
238.15/235.85	c cleaning 98001 clauses out of 196004 with flag 11150722/4952279
243.83/241.50	c cleaning 98996 clauses out of 198003 with flag 11375549/5052279
248.33/246.07	c cleaning 100003 clauses out of 200007 with flag 11603665/5153279
254.03/251.77	c cleaning 100999 clauses out of 202004 with flag 11831652/5255279
260.15/257.85	c cleaning 102002 clauses out of 204006 with flag 12062870/5358280
265.25/262.94	c cleaning 102999 clauses out of 206003 with flag 12297020/5462279
270.94/268.63	c cleaning 104002 clauses out of 208004 with flag 12532411/5567279
276.44/274.17	c cleaning 104997 clauses out of 210002 with flag 12770462/5673279
281.52/279.24	c cleaning 105997 clauses out of 212006 with flag 13010698/5780280
287.21/284.92	c cleaning 107004 clauses out of 214009 with flag 13253780/5888280
293.10/290.86	c cleaning 107995 clauses out of 216004 with flag 13499579/5997279
298.90/296.68	c cleaning 109000 clauses out of 218009 with flag 13744699/6107279
303.99/301.77	c cleaning 110005 clauses out of 220009 with flag 13992881/6218279
311.02/308.70	c cleaning 110997 clauses out of 222004 with flag 14243213/6330279
317.01/314.72	c cleaning 112000 clauses out of 224008 with flag 14497353/6443280
322.93/320.68	c cleaning 112995 clauses out of 226007 with flag 14753133/6557279
329.13/326.88	c cleaning 113997 clauses out of 228012 with flag 15010322/6672279
336.15/333.87	c cleaning 115005 clauses out of 230016 with flag 15269822/6788280
343.45/341.13	c cleaning 116002 clauses out of 232010 with flag 15531967/6905279
343.63/341.36	c Got one! Elapsed wall clock time (in seconds):341.141
343.63/341.36	o 71
345.63/343.36	c cleaning 66831 clauses out of 133674 with flag 11208/6922945
346.36/344.10	c cleaning 36409 clauses out of 72842 with flag 24772/6928944
346.74/344.39	c cleaning 21704 clauses out of 43433 with flag 40552/6935944
347.14/344.58	c cleaning 14855 clauses out of 29729 with flag 58553/6943944
347.48/344.73	c cleaning 11932 clauses out of 23875 with flag 78989/6952945
347.58/344.88	c cleaning 10961 clauses out of 21942 with flag 101383/6962944
348.07/345.32	c cleaning 10984 clauses out of 21983 with flag 126043/6973946
348.37/345.65	c cleaning 11488 clauses out of 22998 with flag 153039/6985945
348.68/345.96	c cleaning 12244 clauses out of 24510 with flag 182105/6998945
349.06/346.31	c cleaning 13124 clauses out of 26266 with flag 213701/7012945
349.26/346.58	c cleaning 14065 clauses out of 28143 with flag 247147/7027946
349.56/346.89	c cleaning 15029 clauses out of 30076 with flag 283186/7043944
349.95/347.20	c cleaning 16018 clauses out of 32047 with flag 321310/7060944
350.25/347.55	c cleaning 17003 clauses out of 34029 with flag 361761/7078944
350.55/347.88	c cleaning 18002 clauses out of 36027 with flag 403878/7097945
350.94/348.25	c cleaning 19002 clauses out of 38025 with flag 448915/7117945
351.34/348.68	c cleaning 20003 clauses out of 40023 with flag 495991/7138945
351.84/349.18	c cleaning 21001 clauses out of 42021 with flag 546214/7160946
352.43/349.75	c cleaning 21996 clauses out of 44018 with flag 597596/7183944
353.13/350.40	c cleaning 23008 clauses out of 46023 with flag 652560/7207945
353.83/351.14	c cleaning 24000 clauses out of 48015 with flag 708835/7232945
354.53/351.81	c cleaning 24998 clauses out of 50015 with flag 766813/7258945
355.22/352.50	c cleaning 26001 clauses out of 52017 with flag 828155/7285945
355.82/353.19	c cleaning 26997 clauses out of 54016 with flag 890928/7313945
356.71/354.01	c cleaning 27998 clauses out of 56020 with flag 956037/7342946
357.60/354.91	c cleaning 28998 clauses out of 58020 with flag 1024170/7372944
358.59/355.95	c cleaning 30003 clauses out of 60023 with flag 1093727/7403945
359.48/356.83	c cleaning 31002 clauses out of 62020 with flag 1165873/7435945
360.47/357.81	c cleaning 32003 clauses out of 64019 with flag 1239866/7468946
361.46/358.87	c cleaning 33002 clauses out of 66016 with flag 1316320/7502946
362.85/360.22	c cleaning 33997 clauses out of 68013 with flag 1396196/7537945
363.94/361.39	c cleaning 34998 clauses out of 70016 with flag 1477470/7573945
365.63/363.04	c cleaning 36000 clauses out of 72018 with flag 1562078/7610945
367.12/364.52	c cleaning 37000 clauses out of 74018 with flag 1648597/7648945
368.90/366.37	c cleaning 38007 clauses out of 76018 with flag 1738104/7687945
370.39/367.83	c cleaning 39001 clauses out of 78010 with flag 1829516/7727944
372.48/369.91	c cleaning 40001 clauses out of 80009 with flag 1924224/7768944
374.15/371.62	c cleaning 41002 clauses out of 82009 with flag 2020650/7810945
375.65/373.15	c cleaning 41998 clauses out of 84007 with flag 2117610/7853945
377.23/374.78	c cleaning 43005 clauses out of 86009 with flag 2222171/7897945
379.11/376.67	c cleaning 44001 clauses out of 88003 with flag 2323839/7942944
381.10/378.64	c cleaning 44998 clauses out of 90002 with flag 2433099/7988944
383.08/380.64	c cleaning 46000 clauses out of 92004 with flag 2538324/8035944
385.27/382.88	c cleaning 46998 clauses out of 94005 with flag 2648052/8083945
387.14/384.75	c cleaning 48004 clauses out of 96010 with flag 2757595/8132948
388.83/386.48	c cleaning 49000 clauses out of 98002 with flag 2869607/8182944
390.52/388.16	c cleaning 49992 clauses out of 100002 with flag 2984237/8233944
392.21/389.88	c cleaning 51005 clauses out of 102010 with flag 3100630/8285944
393.89/391.53	c cleaning 51996 clauses out of 104005 with flag 3218846/8338944
395.57/393.25	c cleaning 53003 clauses out of 106009 with flag 3339733/8392944
397.26/394.93	c cleaning 54002 clauses out of 108007 with flag 3463142/8447945
399.04/396.72	c cleaning 55001 clauses out of 110004 with flag 3588368/8503944
400.73/398.47	c cleaning 56001 clauses out of 112003 with flag 3716126/8560944
402.62/400.30	c cleaning 56996 clauses out of 114002 with flag 3846484/8618944
404.80/402.56	c cleaning 57997 clauses out of 116006 with flag 3979437/8677944
407.28/405.08	c cleaning 59000 clauses out of 118010 with flag 4113885/8737945
410.85/408.62	c cleaning 60002 clauses out of 120009 with flag 4250844/8798944
413.16/410.93	c cleaning 61002 clauses out of 122007 with flag 4390176/8860944
415.85/413.65	c cleaning 62001 clauses out of 124006 with flag 4530971/8923945
418.74/416.51	c cleaning 62996 clauses out of 126004 with flag 4676580/8987944
421.54/419.30	c cleaning 64002 clauses out of 128008 with flag 4822243/9052944
423.93/421.75	c cleaning 65000 clauses out of 130006 with flag 4971535/9118944
426.31/424.03	c cleaning 65992 clauses out of 132006 with flag 5122361/9185944
428.69/426.45	c cleaning 67007 clauses out of 134014 with flag 5275955/9253944
431.19/429.00	c cleaning 68004 clauses out of 136009 with flag 5431957/9322946
434.08/431.80	c cleaning 68999 clauses out of 138004 with flag 5589380/9392945
437.29/435.05	c cleaning 70001 clauses out of 140006 with flag 5749027/9463946
440.57/438.36	c cleaning 70998 clauses out of 142003 with flag 5910194/9535944
444.16/441.97	c cleaning 71998 clauses out of 144005 with flag 6073821/9608944
447.05/444.84	c cleaning 72998 clauses out of 146007 with flag 6240045/9682944
449.95/447.71	c cleaning 73997 clauses out of 148010 with flag 6408888/9757945
452.74/450.59	c cleaning 75002 clauses out of 150013 with flag 6579589/9833945
456.03/453.89	c cleaning 76002 clauses out of 152010 with flag 6752639/9910944
459.25/457.05	c cleaning 76996 clauses out of 154009 with flag 6927537/9988945
462.43/460.23	c cleaning 78006 clauses out of 156013 with flag 7104829/10067945
465.73/463.52	c cleaning 79002 clauses out of 158006 with flag 7284611/10147944
469.13/466.92	c cleaning 80002 clauses out of 160005 with flag 7466312/10228945
472.23/470.04	c cleaning 80999 clauses out of 162004 with flag 7650088/10310946
475.85/473.66	c cleaning 81999 clauses out of 164004 with flag 7836174/10393945
479.35/477.13	c cleaning 82997 clauses out of 166004 with flag 8024524/10477944
482.73/480.57	c cleaning 84000 clauses out of 168008 with flag 8214938/10562945
486.73/484.50	c cleaning 85000 clauses out of 170007 with flag 8408272/10648944
490.02/487.82	c cleaning 85999 clauses out of 172007 with flag 8603824/10735944
494.12/491.98	c cleaning 87000 clauses out of 174008 with flag 8802452/10823944
497.91/495.70	c cleaning 88004 clauses out of 176008 with flag 9003447/10912944
503.74/501.23	c cleaning 88994 clauses out of 178004 with flag 9206044/11002944
508.23/505.76	c cleaning 90000 clauses out of 180010 with flag 9410664/11093944
512.33/509.82	c cleaning 90999 clauses out of 182010 with flag 9617156/11185944
516.69/514.16	c cleaning 92001 clauses out of 184012 with flag 9825307/11278945
521.86/519.32	c cleaning 92998 clauses out of 186010 with flag 10036717/11372944
526.06/523.55	c cleaning 94001 clauses out of 188012 with flag 10250647/11467944
530.93/528.40	c cleaning 95004 clauses out of 190012 with flag 10465647/11563945
535.42/532.90	c cleaning 96004 clauses out of 192007 with flag 10682728/11660944
539.81/537.30	c cleaning 96997 clauses out of 194003 with flag 10903018/11758944
544.21/541.71	c cleaning 97997 clauses out of 196006 with flag 11125418/11857944
549.90/547.44	c cleaning 98999 clauses out of 198009 with flag 11350069/11957944
555.09/552.68	c cleaning 99998 clauses out of 200010 with flag 11577035/12058944
560.69/558.21	c cleaning 101001 clauses out of 202012 with flag 11806587/12160944
565.77/563.35	c cleaning 102003 clauses out of 204011 with flag 12037099/12263944
571.06/568.69	c cleaning 103003 clauses out of 206009 with flag 12271862/12367945
576.26/573.81	c cleaning 104001 clauses out of 208005 with flag 12507587/12472944
581.05/578.61	c cleaning 105000 clauses out of 210004 with flag 12746273/12578944
586.74/584.36	c cleaning 106004 clauses out of 212007 with flag 12986307/12685947
592.63/590.21	c cleaning 106991 clauses out of 214000 with flag 13229830/12793944
598.93/596.54	c cleaning 108004 clauses out of 216010 with flag 13475972/12902945
604.53/602.15	c cleaning 108996 clauses out of 218006 with flag 13723673/13012945
610.31/607.99	c cleaning 110002 clauses out of 220010 with flag 13973304/13123945
617.55/615.12	c cleaning 111004 clauses out of 222008 with flag 14225429/13235945
624.33/621.92	c cleaning 111997 clauses out of 224003 with flag 14479398/13348944
631.22/628.82	c cleaning 113003 clauses out of 226007 with flag 14735395/13462945
639.07/636.61	c cleaning 113995 clauses out of 228003 with flag 14993873/13577944
646.66/644.26	c cleaning 115000 clauses out of 230009 with flag 15258087/13693945
655.04/652.65	c cleaning 116000 clauses out of 232009 with flag 15528609/13810945
662.45/660.09	c cleaning 116995 clauses out of 234008 with flag 15795319/13928944
670.45/668.07	c cleaning 118004 clauses out of 236013 with flag 16063754/14047944
678.02/675.69	c cleaning 119002 clauses out of 238009 with flag 16334365/14167944
685.12/682.78	c cleaning 119996 clauses out of 240007 with flag 16617430/14288944
691.65/689.28	c cleaning 121002 clauses out of 242012 with flag 16910276/14410945
698.94/696.58	c cleaning 121999 clauses out of 244009 with flag 17186967/14533944
705.72/703.30	c cleaning 123002 clauses out of 246010 with flag 17465650/14657944
714.30/711.91	c cleaning 124001 clauses out of 248008 with flag 17749707/14782944
721.51/719.15	c cleaning 124995 clauses out of 250007 with flag 18035295/14908944
729.28/726.93	c cleaning 126003 clauses out of 252013 with flag 18322579/15035945
737.41/735.06	c cleaning 127002 clauses out of 254009 with flag 18612362/15163944
745.69/743.32	c cleaning 127994 clauses out of 256007 with flag 18905417/15292944
754.38/752.07	c cleaning 129002 clauses out of 258014 with flag 19202474/15422945
762.55/760.26	c cleaning 129997 clauses out of 260011 with flag 19503190/15553944
770.24/767.97	c cleaning 131007 clauses out of 262014 with flag 19799436/15685944
778.53/776.28	c cleaning 132004 clauses out of 264008 with flag 20095900/15818945
786.92/784.60	c cleaning 133001 clauses out of 266004 with flag 20400754/15952945
794.21/791.99	c cleaning 133994 clauses out of 268002 with flag 20715491/16087944
801.70/799.49	c cleaning 135002 clauses out of 270009 with flag 21021164/16223945
810.40/808.13	c cleaning 135999 clauses out of 272006 with flag 21333884/16360944
819.93/817.67	c cleaning 136999 clauses out of 274008 with flag 21644265/16498945
828.91/826.66	c cleaning 138003 clauses out of 276009 with flag 21958864/16637945
838.61/836.22	c cleaning 139002 clauses out of 278005 with flag 22283860/16777944
849.40/847.02	c cleaning 139998 clauses out of 280003 with flag 22605175/16918944
859.17/856.80	c cleaning 140992 clauses out of 282006 with flag 22927534/17060945
867.36/865.08	c cleaning 142001 clauses out of 284014 with flag 23248352/17203945
876.23/873.98	c cleaning 142999 clauses out of 286012 with flag 23571835/17347944
884.92/882.68	c cleaning 144006 clauses out of 288014 with flag 23900307/17492945
895.51/893.19	c cleaning 145004 clauses out of 290007 with flag 24229291/17638944
904.79/902.47	c cleaning 145999 clauses out of 292003 with flag 24560916/17785944
915.39/913.09	c cleaning 146994 clauses out of 294004 with flag 24894362/17933944
924.87/922.46	c cleaning 147997 clauses out of 296012 with flag 25229113/18082946
935.35/932.93	c cleaning 148999 clauses out of 298013 with flag 25565833/18232944
945.33/942.94	c cleaning 149999 clauses out of 300014 with flag 25904123/18383944
957.02/954.68	c cleaning 151001 clauses out of 302015 with flag 26244580/18535944
967.57/965.07	c cleaning 152007 clauses out of 304016 with flag 26587717/18688946
978.05/975.58	c cleaning 152998 clauses out of 306009 with flag 26934796/18842946
988.11/985.56	c cleaning 153998 clauses out of 308010 with flag 27282162/18997945
998.90/996.38	c cleaning 155003 clauses out of 310011 with flag 27633963/19153944
1009.27/1006.71	c cleaning 156001 clauses out of 312009 with flag 27986471/19310945
1021.36/1018.45	c cleaning 157002 clauses out of 314007 with flag 28341178/19468944
1031.06/1028.19	c cleaning 157996 clauses out of 316006 with flag 28700058/19627945
1041.82/1038.80	c cleaning 159000 clauses out of 318009 with flag 29059510/19787944
1052.24/1049.22	c cleaning 160001 clauses out of 320009 with flag 29421329/19948944
1062.53/1059.51	c cleaning 161000 clauses out of 322009 with flag 29784696/20110945
1073.31/1070.33	c cleaning 161997 clauses out of 324008 with flag 30151501/20273944
1085.31/1082.31	c cleaning 162999 clauses out of 326011 with flag 30520310/20437944
1096.85/1093.81	c cleaning 163997 clauses out of 328012 with flag 30890703/20602944
1108.49/1105.45	c cleaning 165001 clauses out of 330017 with flag 31264164/20768946
1118.98/1115.94	c cleaning 166003 clauses out of 332014 with flag 31639718/20935944
1131.08/1128.09	c cleaning 167002 clauses out of 334011 with flag 32017825/21103944
1143.85/1140.88	c cleaning 167999 clauses out of 336009 with flag 32398578/21272944
1155.23/1152.25	c cleaning 168999 clauses out of 338011 with flag 32780149/21442945
1167.52/1164.54	c cleaning 169998 clauses out of 340012 with flag 33165480/21613945
1180.37/1177.35	c cleaning 170998 clauses out of 342013 with flag 33551453/21785944
1192.24/1189.20	c cleaning 172002 clauses out of 344015 with flag 33940334/21958944
1205.10/1202.04	c cleaning 173002 clauses out of 346013 with flag 34330081/22132944
1217.96/1214.97	c cleaning 173996 clauses out of 348012 with flag 34721931/22307945
1229.45/1226.45	c cleaning 175005 clauses out of 350017 with flag 35116423/22483946
1240.15/1237.14	c cleaning 176002 clauses out of 352010 with flag 35515222/22660944
1252.31/1249.35	c cleaning 176999 clauses out of 354009 with flag 35917606/22838945
1264.88/1261.91	c cleaning 178001 clauses out of 356009 with flag 36321040/23017944
1278.20/1275.21	c cleaning 179000 clauses out of 358008 with flag 36726304/23197944
1293.17/1290.28	c cleaning 180001 clauses out of 360008 with flag 37133522/23378944
1308.20/1305.30	c cleaning 181001 clauses out of 362007 with flag 37541895/23560944
1322.28/1319.31	c cleaning 181996 clauses out of 364006 with flag 37951918/23743944
1336.35/1333.41	c cleaning 183000 clauses out of 366010 with flag 38364075/23927944
1351.83/1348.93	c cleaning 184005 clauses out of 368012 with flag 38780413/24112946
1364.49/1361.58	c cleaning 184999 clauses out of 370005 with flag 39197025/24298944
1377.87/1374.93	c cleaning 185999 clauses out of 372006 with flag 39616498/24485944
1394.10/1391.16	c cleaning 186999 clauses out of 374007 with flag 40039598/24673944
1406.67/1403.72	c cleaning 188003 clauses out of 376009 with flag 40464674/24862945
1420.79/1417.82	c cleaning 189001 clauses out of 378006 with flag 40892653/25052945
1436.77/1433.82	c cleaning 189999 clauses out of 380006 with flag 41322707/25243946
1452.56/1449.59	c cleaning 190999 clauses out of 382006 with flag 41753296/25435945
1470.51/1467.45	c cleaning 191999 clauses out of 384006 with flag 42185810/25628944
1486.69/1483.62	c cleaning 192997 clauses out of 386008 with flag 42623833/25822945
1503.44/1500.31	c cleaning 194004 clauses out of 388010 with flag 43063593/26017944
1520.62/1517.57	c cleaning 195004 clauses out of 390007 with flag 43502368/26213945
1538.07/1534.93	c cleaning 196000 clauses out of 392003 with flag 43944754/26410945
1558.15/1555.02	c cleaning 196998 clauses out of 394003 with flag 44389091/26608945
1575.48/1572.23	c cleaning 197999 clauses out of 396006 with flag 44837347/26807946
1592.35/1589.06	c cleaning 199001 clauses out of 398005 with flag 45286502/27007944
1609.90/1606.64	c cleaning 199999 clauses out of 400005 with flag 45738371/27208945
1628.14/1624.81	c cleaning 201000 clauses out of 402006 with flag 46194171/27410945
1648.81/1644.60	c cleaning 202001 clauses out of 404006 with flag 46649418/27613945
1667.30/1663.12	c cleaning 202995 clauses out of 406005 with flag 47107835/27817945
1683.92/1679.71	c cleaning 203996 clauses out of 408010 with flag 47567805/28022945
1704.73/1700.51	c cleaning 205003 clauses out of 410014 with flag 48031681/28228945
1722.94/1718.70	c cleaning 205998 clauses out of 412010 with flag 48497201/28435944
1744.07/1739.86	c cleaning 207003 clauses out of 414012 with flag 48964623/28643944
1765.40/1761.14	c cleaning 207993 clauses out of 416009 with flag 49438190/28852944
1784.44/1780.19	c cleaning 208998 clauses out of 418018 with flag 49910758/29062946
1803.75/1799.49	c cleaning 210003 clauses out of 420018 with flag 50385654/29273944
1822.39/1818.09	c cleaning 210996 clauses out of 422015 with flag 50863610/29485944
1841.82/1837.46	c cleaning 212006 clauses out of 424019 with flag 51346387/29698944
1860.79/1856.43	c cleaning 213000 clauses out of 426013 with flag 51826835/29912944
1883.96/1879.67	c cleaning 214003 clauses out of 428014 with flag 52322849/30127945
1903.64/1899.30	c cleaning 214999 clauses out of 430011 with flag 52816382/30343945
1925.61/1921.33	c cleaning 215998 clauses out of 432012 with flag 53307233/30560945
1946.68/1942.42	c cleaning 217001 clauses out of 434013 with flag 53803313/30778944
1969.45/1965.21	c cleaning 218001 clauses out of 436013 with flag 54305465/30997945
1989.83/1985.64	c cleaning 219003 clauses out of 438013 with flag 54799805/31217946
2011.01/2006.87	c cleaning 219996 clauses out of 440008 with flag 55301923/31438944
2034.62/2030.45	c cleaning 220999 clauses out of 442013 with flag 55810315/31660945
2060.53/2056.38	c cleaning 221997 clauses out of 444013 with flag 56325458/31883944
2081.64/2077.44	c cleaning 223004 clauses out of 446017 with flag 56833806/32107945
2102.79/2098.57	c cleaning 223997 clauses out of 448012 with flag 57344009/32332944
2122.76/2118.55	c cleaning 225002 clauses out of 450015 with flag 57859590/32558944
2144.03/2139.76	c cleaning 226003 clauses out of 452013 with flag 58387404/32785944
2166.61/2162.25	c cleaning 226996 clauses out of 454010 with flag 58902760/33013944
2187.57/2183.21	c cleaning 227999 clauses out of 456014 with flag 59419720/33242944
2209.19/2204.85	c cleaning 229000 clauses out of 458015 with flag 59943802/33472944
2229.65/2225.36	c cleaning 230000 clauses out of 460015 with flag 60472014/33703944
2250.72/2246.43	c cleaning 231005 clauses out of 462016 with flag 60994449/33935945
2272.10/2267.79	c cleaning 231999 clauses out of 464010 with flag 61519106/34168944
2293.26/2288.95	c cleaning 233001 clauses out of 466011 with flag 62044722/34402944
2314.45/2309.74	c cleaning 233998 clauses out of 468011 with flag 62572768/34637945
2336.82/2332.16	c cleaning 235005 clauses out of 470012 with flag 63102473/34873944
2359.69/2354.90	c cleaning 235996 clauses out of 472007 with flag 63635096/35110944
2383.45/2378.66	c cleaning 236998 clauses out of 474011 with flag 64170147/35348944
2408.22/2403.43	c cleaning 237992 clauses out of 476013 with flag 64707014/35587944
2430.39/2425.64	c cleaning 239006 clauses out of 478022 with flag 65246743/35827945
2451.96/2447.24	c cleaning 240005 clauses out of 480015 with flag 65788074/36068944
2476.83/2472.16	c cleaning 240997 clauses out of 482010 with flag 66331890/36310944
2499.11/2494.34	c cleaning 241999 clauses out of 484013 with flag 66885252/36553944
2528.96/2524.23	c cleaning 242996 clauses out of 486015 with flag 67449450/36797945
2556.48/2551.73	c cleaning 244003 clauses out of 488018 with flag 68008697/37042944
2578.44/2573.72	c cleaning 245002 clauses out of 490015 with flag 68569877/37288944
2603.50/2598.83	c cleaning 246001 clauses out of 492013 with flag 69126307/37535944
2625.87/2621.21	c cleaning 246998 clauses out of 494012 with flag 69690395/37783944
2652.30/2647.65	c cleaning 248004 clauses out of 496014 with flag 70255097/38032944
2676.30/2671.63	c cleaning 249000 clauses out of 498010 with flag 70815622/38282944
2701.41/2696.73	c cleaning 249999 clauses out of 500010 with flag 71380302/38533944
2727.86/2723.22	c cleaning 251002 clauses out of 502013 with flag 71946188/38785946
2749.92/2745.36	c cleaning 251997 clauses out of 504010 with flag 72513691/39038945
2773.06/2768.57	c cleaning 252998 clauses out of 506013 with flag 73083505/39292945
2794.72/2790.22	c cleaning 254003 clauses out of 508014 with flag 73657338/39547944
2818.58/2814.19	c cleaning 255000 clauses out of 510012 with flag 74235505/39803945
2843.79/2839.42	c cleaning 255997 clauses out of 512011 with flag 74815872/40060944
2870.92/2866.65	c cleaning 256996 clauses out of 514014 with flag 75396109/40318944
2893.49/2889.21	c cleaning 258001 clauses out of 516018 with flag 75976323/40577944
2922.71/2918.21	c cleaning 259004 clauses out of 518018 with flag 76562371/40837945
2950.85/2946.40	c cleaning 260001 clauses out of 520013 with flag 77150393/41098944
2979.48/2974.96	c cleaning 260996 clauses out of 522013 with flag 77743260/41360945
3006.72/3002.29	c cleaning 262003 clauses out of 524016 with flag 78334176/41623944
3037.90/3033.66	c cleaning 263002 clauses out of 526014 with flag 78929684/41887945
3063.91/3059.78	c cleaning 264000 clauses out of 528011 with flag 79526244/42152944
3092.20/3087.92	c cleaning 265003 clauses out of 530011 with flag 80123417/42418944
3121.44/3117.22	c cleaning 265999 clauses out of 532008 with flag 80723859/42685944
3149.27/3144.98	c cleaning 267001 clauses out of 534009 with flag 81326706/42953944
3182.61/3178.39	c cleaning 267995 clauses out of 536009 with flag 81932612/43222945
3211.68/3207.35	c cleaning 269003 clauses out of 538014 with flag 82539538/43492945
3244.81/3240.56	c cleaning 270000 clauses out of 540011 with flag 83148467/43763945
3276.18/3271.86	c cleaning 271002 clauses out of 542011 with flag 83760723/44035945
3302.82/3298.51	c cleaning 272003 clauses out of 544009 with flag 84375532/44308945
3335.21/3330.97	c cleaning 272998 clauses out of 546005 with flag 84988202/44582944
3366.94/3362.79	c cleaning 273999 clauses out of 548007 with flag 85605570/44857944
3394.45/3390.28	c cleaning 275001 clauses out of 550008 with flag 86226395/45133944
3405.42/3401.17	c Got one! Elapsed wall clock time (in seconds):3400.956
3405.42/3401.17	o 70
3415.00/3410.75	c cleaning 235853 clauses out of 471722 with flag 11589/45330659
3424.87/3420.65	c cleaning 120924 clauses out of 241867 with flag 25391/45336657
3427.57/3423.37	c cleaning 63963 clauses out of 127943 with flag 41159/45343657
3428.38/3424.18	c cleaning 35979 clauses out of 71980 with flag 59182/45351657
3428.76/3424.50	c cleaning 22492 clauses out of 45002 with flag 79838/45360658
3428.96/3424.70	c cleaning 16240 clauses out of 32509 with flag 102311/45370657
3429.06/3424.87	c cleaning 13623 clauses out of 27269 with flag 127077/45381657
3429.27/3425.06	c cleaning 12815 clauses out of 25646 with flag 153898/45393657
3429.47/3425.26	c cleaning 12905 clauses out of 25832 with flag 183211/45406658
3429.67/3425.46	c cleaning 13452 clauses out of 26926 with flag 215723/45420657
3429.87/3425.68	c cleaning 14227 clauses out of 28474 with flag 249131/45435657
3430.17/3425.94	c cleaning 15114 clauses out of 30247 with flag 284783/45451657
3430.47/3426.23	c cleaning 16055 clauses out of 32134 with flag 323645/45468658
3430.77/3426.54	c cleaning 17027 clauses out of 34079 with flag 365116/45486658
3431.17/3426.91	c cleaning 18013 clauses out of 36052 with flag 407795/45505658
3431.47/3427.25	c cleaning 19008 clauses out of 38038 with flag 452380/45525657
3431.96/3427.71	c cleaning 20004 clauses out of 40032 with flag 499345/45546659
3432.46/3428.29	c cleaning 21005 clauses out of 42027 with flag 548752/45568658
3433.06/3428.82	c cleaning 22001 clauses out of 44021 with flag 600965/45591657
3433.56/3429.39	c cleaning 22998 clauses out of 46022 with flag 655215/45615659
3434.27/3430.05	c cleaning 24004 clauses out of 48023 with flag 711137/45640658
3434.96/3430.74	c cleaning 25000 clauses out of 50019 with flag 769486/45666658
3435.77/3431.59	c cleaning 26003 clauses out of 52020 with flag 830620/45693659
3436.57/3432.37	c cleaning 26997 clauses out of 54016 with flag 894210/45721658
3437.28/3433.02	c cleaning 27998 clauses out of 56020 with flag 959384/45750659
3437.97/3433.78	c cleaning 29001 clauses out of 58021 with flag 1027066/45780658
3438.96/3434.70	c cleaning 30002 clauses out of 60021 with flag 1097558/45811659
3439.86/3435.62	c cleaning 31000 clauses out of 62018 with flag 1170009/45843658
3440.86/3436.68	c cleaning 31998 clauses out of 64017 with flag 1246854/45876657
3442.06/3437.80	c cleaning 33003 clauses out of 66020 with flag 1325016/45910658
3442.85/3438.69	c cleaning 33999 clauses out of 68017 with flag 1403591/45945658
3444.05/3439.81	c cleaning 35000 clauses out of 70017 with flag 1487065/45981657
3445.15/3440.90	c cleaning 35999 clauses out of 72018 with flag 1571298/46018658
3446.15/3441.97	c cleaning 36997 clauses out of 74018 with flag 1657091/46056657
3447.44/3443.26	c cleaning 38002 clauses out of 76022 with flag 1747174/46095658
3448.75/3444.54	c cleaning 39002 clauses out of 78020 with flag 1837231/46135658
3449.94/3445.74	c cleaning 40003 clauses out of 80017 with flag 1930682/46176657
3451.54/3447.35	c cleaning 41002 clauses out of 82015 with flag 2029462/46218658
3452.94/3448.77	c cleaning 42002 clauses out of 84012 with flag 2127772/46261657
3454.53/3450.30	c cleaning 43000 clauses out of 86011 with flag 2227930/46305658
3456.34/3452.16	c cleaning 44002 clauses out of 88011 with flag 2334547/46350658
3458.03/3453.80	c cleaning 44997 clauses out of 90008 with flag 2438899/46396657
3459.53/3455.37	c cleaning 45999 clauses out of 92012 with flag 2547766/46443658
3461.72/3457.58	c cleaning 47003 clauses out of 94014 with flag 2661528/46491659
3463.33/3459.19	c cleaning 47999 clauses out of 96010 with flag 2773577/46540658
3465.02/3460.83	c cleaning 49002 clauses out of 98010 with flag 2886875/46590657
3467.11/3462.98	c cleaning 49999 clauses out of 100008 with flag 3005114/46641657
3469.32/3465.14	c cleaning 50998 clauses out of 102009 with flag 3123999/46693657
3471.51/3467.31	c cleaning 52002 clauses out of 104011 with flag 3246110/46746657
3473.80/3469.64	c cleaning 53002 clauses out of 106009 with flag 3372788/46800657
3476.20/3472.10	c cleaning 54000 clauses out of 108007 with flag 3499914/46855657
3478.59/3474.41	c cleaning 55000 clauses out of 110009 with flag 3626517/46911659
3480.78/3476.63	c cleaning 56000 clauses out of 112009 with flag 3754314/46968659
3482.66/3478.51	c cleaning 56997 clauses out of 114007 with flag 3886985/47026657
3484.66/3480.52	c cleaning 58001 clauses out of 116011 with flag 4020104/47085658
3486.67/3482.53	c cleaning 59001 clauses out of 118010 with flag 4157140/47145658
3488.66/3484.54	c cleaning 60003 clauses out of 120009 with flag 4294586/47206658
3490.86/3486.70	c cleaning 61000 clauses out of 122005 with flag 4433348/47268657
3493.05/3489.00	c cleaning 62000 clauses out of 124005 with flag 4574425/47331657
3495.95/3491.85	c cleaning 62999 clauses out of 126005 with flag 4718017/47395657
3498.35/3494.24	c cleaning 63999 clauses out of 128007 with flag 4864105/47460658
3500.84/3496.75	c cleaning 65001 clauses out of 130011 with flag 5012566/47526661
3503.64/3499.56	c cleaning 66003 clauses out of 132007 with flag 5163243/47593658
3506.24/3502.18	c cleaning 67000 clauses out of 134005 with flag 5316388/47661659
3508.73/3504.68	c cleaning 67999 clauses out of 136003 with flag 5471530/47730657
3511.82/3507.78	c cleaning 68996 clauses out of 138004 with flag 5628695/47800657
3514.82/3510.74	c cleaning 70000 clauses out of 140008 with flag 5788405/47871657
3517.71/3513.68	c cleaning 70999 clauses out of 142008 with flag 5950601/47943657
3520.30/3516.24	c cleaning 72002 clauses out of 144009 with flag 6115677/48016657
3523.40/3519.36	c cleaning 73001 clauses out of 146007 with flag 6281209/48090657
3526.39/3522.37	c cleaning 74002 clauses out of 148007 with flag 6448291/48165658
3529.58/3525.51	c cleaning 74999 clauses out of 150005 with flag 6618548/48241658
3533.09/3529.03	c cleaning 75999 clauses out of 152006 with flag 6791583/48318658
3536.87/3532.89	c cleaning 76998 clauses out of 154007 with flag 6966687/48396658
3540.36/3536.39	c cleaning 78003 clauses out of 156010 with flag 7144977/48475659
3544.07/3540.06	c cleaning 78995 clauses out of 158006 with flag 7326204/48555658
3547.26/3543.20	c cleaning 79993 clauses out of 160010 with flag 7507388/48636657
3552.36/3548.20	c cleaning 81003 clauses out of 162018 with flag 7692605/48718658
3556.27/3552.15	c cleaning 82003 clauses out of 164015 with flag 7880888/48801658
3560.04/3556.00	c cleaning 82997 clauses out of 166012 with flag 8073312/48885658
3563.93/3559.84	c cleaning 84000 clauses out of 168014 with flag 8269346/48970657
3569.23/3565.13	c cleaning 85000 clauses out of 170014 with flag 8478061/49056657
3572.83/3568.70	c cleaning 86006 clauses out of 172014 with flag 8677131/49143657
3577.46/3573.30	c cleaning 87001 clauses out of 174008 with flag 8877121/49231657
3582.84/3578.71	c cleaning 87995 clauses out of 176008 with flag 9088154/49320658
3587.53/3583.41	c cleaning 89003 clauses out of 178013 with flag 9291215/49410658
3591.73/3587.68	c cleaning 89998 clauses out of 180009 with flag 9496775/49501657
3595.92/3591.83	c cleaning 90999 clauses out of 182012 with flag 9705019/49593658
3600.01/3595.92	c starts		: 7
3600.01/3595.94	c conflicts		: 49686657
3600.01/3595.95	c decisions		: 74027068
3600.01/3595.95	c propagations		: 412372312
3600.01/3595.95	c inspects		: 31789401056
3600.01/3595.95	c shortcuts		: 0
3600.01/3595.96	c learnt literals	: 0
3600.01/3595.96	c learnt binary clauses	: 0
3600.01/3595.96	c learnt ternary clauses	: 0
3600.01/3595.96	c learnt constraints	: 49686657
3600.01/3595.96	c ignored constraints	: 0
3600.01/3595.96	c root simplifications	: 0
3600.01/3595.96	c removed literals (reason simplification)	: 0
3600.01/3595.96	c reason swapping (by a shorter reason)	: 0
3600.01/3595.96	c Calls to reduceDB	: 476
3600.01/3595.96	c Number of update (reduction) of LBD	: 4500235
3600.01/3595.96	c Imported unit clauses	: 0
3600.01/3595.96	c No decision after first conflict	: false
3600.01/3595.96	c number of reductions to clauses (during analyze)	: 0
3600.01/3595.96	c number of learned constraints concerned by reduction	: 0
3600.01/3595.96	c number of learning phase by resolution	: 0
3600.01/3595.96	c number of learning phase by cutting planes	: 0
3600.01/3595.97	c number of rounding to 1 operations	: 0
3600.01/3595.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3595.97	c number of reductions of the coefficients by power 2 	: 0
3600.01/3595.97	c number of right shift for reduction by power 2 	: 0
3600.01/3595.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3595.97	c number of ending skipping 	: 0
3600.01/3595.97	c number of internal skipping 	: 0
3600.01/3595.97	c number of derivation steps 	: 0
3600.01/3595.97	c number of skipped derivation steps 	: 0
3600.01/3595.97	c number of remaining unassigned 	: 0
3600.01/3595.97	c number of remaining assigned 	: 0
3600.01/3596.00	c number of falsified literals weakened from reason	: 0
3600.01/3596.00	c number of falsified literals weakened from conflict	: 0
3600.01/3596.00	c time for arithmetic operations	: 0
3600.01/3596.00	c minimum degree of deleted constraints	: null
3600.01/3596.00	c maximum degree of deleted constraints	: null
3600.01/3596.00	c number of deleted constraints	: 0
3600.01/3596.00	c speed (assignments/second)	: 114684.91291537833
3600.01/3596.00	c non guided choices	: 0
3600.41/3596.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 184012
3600.41/3596.19	s SATISFIABLE
3600.41/3596.19	c Found 6 solution(s)
3600.41/3596.19	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 
3600.41/3596.19	c objective function=70
3600.41/3596.19	c Total wall clock time (in seconds): 3595.977

Verifier Data 

OK	70

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: 64096 MiB (43795 MiB free)
  memory of node 1: 64473 MiB (60468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432218-1721077675/watcher-4432218-1721077675 -o /tmp/evaluation-result-4432218-1721077675/solver-4432218-1721077675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812192 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432218-1721077675.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 thread86_64
mit, 815796
Starting watchdog thread86_64
mit, 815796
, runsolver pid=815793
Current StackSize limit: 8192 KiB


[startup+0.100313 s]*
/proc/loadavg: 4.72 4.60 4.49 5/315 815815
/proc/meminfo: memFree=106731508/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=18975048 memory=56652 CPUtime=0.13 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 6608 0 0 0 11 2 0 0 20 0 18 0 159924619 19430449152 14163 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4743762 14163 5687 1 0 550933 0
[pid=815796/tid=815799] ppid=815793 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 5521 0 0 0 7 1 0 0 20 0 18 0 159924620 19430449152 14163 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159924624 19430449152 14163 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159924625 19430449152 14163 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56652 KiB

[startup+0.240492 s]*
/proc/loadavg: 4.72 4.60 4.49 7/315 815815
/proc/meminfo: memFree=106722032/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=18975048 memory=65924 CPUtime=0.39 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 7424 0 0 0 36 3 0 0 20 0 18 0 159924619 19430449152 16481 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4743762 16481 5692 1 0 551564 0
[pid=815796/tid=815799] ppid=815793 vsize=18975048 memory=4782652875487838339 CPUtime=0.23 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 5892 0 0 0 21 2 0 0 20 0 18 0 159924620 19430449152 16481 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=18975048 memory=4674 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159924624 19430449152 16481 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159924625 19430449152 16481 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65924 KiB

[startup+0.318553 s]*
/proc/loadavg: 4.72 4.60 4.49 6/316 815816
/proc/meminfo: memFree=106718752/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19041612 memory=68872 CPUtime=0.5 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 7618 0 0 0 47 3 0 0 20 0 19 0 159924619 19498610688 17218 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4760403 17218 5730 1 0 551955 0
[pid=815796/tid=815799] ppid=815793 vsize=19041612 memory=-8958894854613869244 CPUtime=0.28 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 6014 0 0 0 26 2 0 0 20 0 19 0 159924620 19498610688 17218 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159924624 19498610688 17218 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159924625 19498610688 17218 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159924649 19498610688 17218 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68872 KiB

[startup+0.700313 s]
/proc/loadavg: 4.72 4.60 4.49 7/316 815816
/proc/meminfo: memFree=106711916/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19041612 memory=82204 CPUtime=1.22 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 10992 0 0 0 118 4 0 0 20 0 19 0 159924619 19498610688 20551 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4760403 20551 5863 1 0 554036 0
[pid=815796/tid=815799] ppid=815793 vsize=19041612 memory=12508 CPUtime=0.63 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 6048 0 0 0 61 2 0 0 20 0 19 0 159924620 19498610688 20551 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19041612 memory=12508 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159924624 19498610688 20551 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159924625 19498610688 20551 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19041612 memory=1936 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159924649 19498610688 20551 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82204 KiB

[startup+1.50121 s]
/proc/loadavg: 4.72 4.60 4.49 7/316 815816
/proc/meminfo: memFree=106699756/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19041612 memory=105284 CPUtime=2.6 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 15024 0 0 0 255 5 0 0 20 0 19 0 159924619 19498610688 26321 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4760403 26321 5863 1 0 554488 0
[pid=815796/tid=815799] ppid=815793 vsize=19041612 memory=12508 CPUtime=1.42 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 6605 0 0 0 139 3 0 0 20 0 19 0 159924620 19498610688 26321 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159924624 19498610688 26321 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159924625 19498610688 26321 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159924649 19498610688 26321 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105284 KiB

[startup+3.10623 s]
/proc/loadavg: 4.72 4.60 4.49 5/316 815816
/proc/meminfo: memFree=106625160/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19041612 memory=166912 CPUtime=4.27 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 16093 0 0 0 421 6 0 0 20 0 19 0 159924619 19498610688 41728 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4760403 41728 5875 1 0 554490 0
[pid=815796/tid=815799] ppid=815793 vsize=19041612 memory=0 CPUtime=3.01 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 6970 0 0 0 297 4 0 0 20 0 19 0 159924620 19498610688 41728 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159924624 19498610688 41728 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19041612 memory=115528 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159924625 19498610688 41728 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19041612 memory=12508 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159924649 19498610688 41728 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166912 KiB

[startup+6.30042 s]
/proc/loadavg: 4.74 4.60 4.49 5/317 815817
/proc/meminfo: memFree=106607824/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=180064 CPUtime=7.59 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 17218 0 0 0 752 7 0 0 20 0 20 0 159924619 19566772224 45016 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 45016 5923 1 0 554796 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=12508 CPUtime=6.15 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 7051 0 0 0 611 4 0 0 20 0 20 0 159924620 19566772224 45016 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 45016 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=6226630445361616979 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 45016 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=5540 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 45016 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180064 KiB

[startup+12.7004 s]
/proc/loadavg: 4.76 4.61 4.49 6/317 815819
/proc/meminfo: memFree=106535676/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=233792 CPUtime=14.07 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 20258 0 0 0 1397 10 0 0 20 0 20 0 159924619 19566772224 58448 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 58448 5923 1 0 554796 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=0 CPUtime=12.37 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 7565 0 0 0 1233 4 0 0 20 0 20 0 159924620 19566772224 58448 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=233792 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 58448 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 58448 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 58448 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 233792 KiB

[startup+25.5004 s]
/proc/loadavg: 4.80 4.63 4.50 5/317 815820
/proc/meminfo: memFree=106424524/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=342724 CPUtime=26.86 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 23241 0 0 0 2672 14 0 0 20 0 20 0 159924619 19566772224 85681 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 85681 5923 1 0 554796 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=233792 CPUtime=24.78 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 8636 0 0 0 2474 4 0 0 20 0 20 0 159924620 19566772224 85681 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 85681 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=272864 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 85681 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 85681 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 342724 KiB

[startup+51.1128 s]
/proc/loadavg: 4.66 4.61 4.50 5/317 815825
/proc/meminfo: memFree=106154056/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=612360 CPUtime=52.48 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 27055 0 0 0 5226 22 0 0 20 0 20 0 159924619 19566772224 153090 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0

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

/proc/meminfo: memFree=83249172/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129032 CPUtime=3346.59 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 143528 0 0 0 334421 238 0 0 20 0 20 0 159924619 19566772224 782258 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782258 5938 1 0 794841 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=42756 CPUtime=3316.45 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 47526 0 0 0 331601 44 0 0 20 0 20 0 159924620 19566772224 782258 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=3129032 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782258 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=3129032 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782258 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=3129032 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782258 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3346.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.49 4.49 4.43 5/320 817834
/proc/meminfo: memFree=80782040/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129292 CPUtime=3406.61 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 144592 0 0 0 340420 241 0 0 20 0 20 0 159924619 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782323 5938 1 0 794841 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=42756 CPUtime=3375.96 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 48155 0 0 0 337552 44 0 0 20 0 20 0 159924620 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=3129032 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=3129160 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=3129160 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3406.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129292 KiB

[startup+3462.3 s]
/proc/loadavg: 5.02 4.64 4.49 6/320 817846
/proc/meminfo: memFree=79217796/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129292 CPUtime=3466.51 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 144678 0 0 0 346406 245 0 0 20 0 20 0 159924619 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782323 5938 1 0 794841 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=42756 CPUtime=3435.65 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 48203 0 0 0 343520 45 0 0 20 0 20 0 159924620 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=3129032 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=3129160 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782323 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3466.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129292 KiB

[startup+3522.3 s]
/proc/loadavg: 5.06 4.74 4.53 6/317 817856
/proc/meminfo: memFree=79143996/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129536 CPUtime=3526.39 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 145429 0 0 0 352391 248 0 0 20 0 20 0 159924619 19566772224 782384 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782384 5938 1 0 794841 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=3129292 CPUtime=3495.15 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 48737 0 0 0 349469 46 0 0 20 0 20 0 159924620 19566772224 782384 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=2264 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782384 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=5540 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1510 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782384 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=3129536 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782384 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3526.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129536 KiB

[startup+3582.3 s]
/proc/loadavg: 5.10 4.81 4.57 8/319 817880
/proc/meminfo: memFree=78957484/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129684 CPUtime=3586.43 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 155825 0 0 0 358391 252 0 0 20 0 20 0 159924619 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782421 5938 1 0 794857 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=11420 CPUtime=3554.7 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 49523 0 0 0 355424 46 0 0 20 0 20 0 159924620 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=-8958894854613869244 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=1936 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.9 s]
/proc/loadavg: 4.93 4.78 4.57 6/319 817882
/proc/meminfo: memFree=78957596/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19108176 memory=3129684 CPUtime=3600.01 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 155882 0 0 0 359748 253 0 0 20 0 20 0 159924619 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4777044 782421 5938 1 0 794857 0
[pid=815796/tid=815799] ppid=815793 vsize=19108176 memory=3129672 CPUtime=3568.26 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 49578 0 0 0 356780 46 0 0 20 0 20 0 159924620 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19108176 memory=-8958894854613869244 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159924624 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19108176 memory=3129684 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 20 0 159924625 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815816] ppid=815793 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/815796/task/815816/stat : 815816 (Timer-0) S 815793 815796 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159924649 19566772224 782421 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3129684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.06 s, system=2.56329 s

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

[startup+3596.01 s]*
/proc/loadavg: 4.93 4.78 4.57 8/320 817885
/proc/meminfo: memFree=78957260/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19307868 memory=3130288 CPUtime=3600.22 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 157408 0 0 0 359769 253 0 0 20 0 21 0 159924619 19771256832 782572 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4826967 782572 5937 1 0 795744 0
[pid=815796/tid=815799] ppid=815793 vsize=19307868 memory=-8815342607901500092 CPUtime=3568.38 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 49578 0 0 0 356792 46 0 0 20 0 21 0 159924620 19771256832 782572 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19307868 memory=-4421386483295675494 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159924624 19771256832 782572 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19307868 memory=10091428 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 21 0 159924625 19771256832 782572 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=817884] ppid=815793 vsize=19307868 memory=2644 CPUtime=0.03 cores=1,3
/proc/815796/task/817884/stat : 817884 (Thread-0) R 815793 815796 812180 0 -1 4194368 298 0 0 0 3 0 0 0 20 0 21 0 160284210 19771256832 782572 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3130288 KiB

[startup+3596.2 s]
/proc/loadavg: 4.93 4.78 4.57 8/320 817885
/proc/meminfo: memFree=78957260/131655788 swapFree=131071996/131071996
[pid=815796] ppid=815793 vsize=19307868 memory=3130364 CPUtime=3600.59 cores=1,3
/proc/815796/stat : 815796 (java) S 815793 815796 812180 0 -1 1077936128 157640 0 0 0 359805 254 0 0 20 0 21 0 159924619 19771256832 782591 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
/proc/815796/statm: 4826967 782591 5937 1 0 795744 0
[pid=815796/tid=815799] ppid=815793 vsize=19307868 memory=16299656 CPUtime=3568.56 cores=1,3
/proc/815796/task/815799/stat : 815799 (java) R 815793 815796 812180 0 -1 4194368 49578 0 0 0 356810 46 0 0 20 0 21 0 159924620 19771256832 782591 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815808] ppid=815793 vsize=19307868 memory=2808 CPUtime=0 cores=1,3
/proc/815796/task/815808/stat : 815808 (Finalizer) S 815793 815796 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159924624 19771256832 782591 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=815815] ppid=815793 vsize=19307868 memory=5080 CPUtime=0 cores=1,3
/proc/815796/task/815815/stat : 815815 (Common-Cleaner) S 815793 815796 812180 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 21 0 159924625 19771256832 782591 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
[pid=815796/tid=817884] ppid=815793 vsize=19307868 memory=16291748 CPUtime=0.16 cores=1,3
/proc/815796/task/817884/stat : 817884 (Thread-0) R 815793 815796 812180 0 -1 4194368 462 0 0 0 16 0 0 0 20 0 21 0 160284210 19771256832 782591 134679101440 94130887491584 94130887495280 140722358091056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94130887503096 94130887503888 94130916507648 140722358092807 140722358092897 140722358092897 140722358099912 0
Current children cumulated CPU time: 3600.59 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3130364 KiB

Child status: 143

Real time (s): 3596.23
CPU time (s): 3600.62
CPU user time (s): 3598.06
CPU system time (s): 2.56329
CPU usage (%): 100.122
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3130364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 2.5633
maximum resident set size= 3131064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157691
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= 110866
involuntary context switches= 4244


# summary of solver processes directly reported to runsolver:
#   pid: 815796
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3598.06
#   total CPU system time (s): 2.56329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4632 second user time and 36.7144 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 23:08:07
IDJOB=4432218
IDBENCH=147228
IDSOLVER=3058
FILE ID=nodeC011/4432218-1721077675
RUNJOBID= nodeC011-1721073237-812192
SLURM_JOB_ID= 7505544
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432218-1721077675/watcher-4432218-1721077675 -o /tmp/evaluation-result-4432218-1721077675/solver-4432218-1721077675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812192 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432218-1721077675.opb

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

MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=910324734

nodeC011.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		: 3683.958
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	: 6983.20
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		: 1795.696
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.31
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.285
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	: 6983.20
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		: 1396.649
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.31
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		: 1795.862
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	: 6983.20
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		: 3649.116
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.31
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		: 3661.320
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	: 6983.20
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		: 1197.270
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        106767412 kB
MemAvailable:   111837724 kB
Buffers:          404780 kB
Cached:          5443580 kB
SwapCached:            0 kB
Active:           675228 kB
Inactive:       23511372 kB
Active(anon):       1444 kB
Inactive(anon): 18374168 kB
Active(file):     673784 kB
Inactive(file):  5137204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:      18335612 kB
Mapped:           124016 kB
Shmem:             37704 kB
KReclaimable:     199048 kB
Slab:             309300 kB
SReclaimable:     199048 kB
SUnreclaim:       110252 kB
KernelStack:        4796 kB
PageTables:        46152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   21484904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51424 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17887232 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC011 at 2024-07-16 00:08:04