Trace number 4440378

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 2024 2024-07-07SAT (TO)33 3600.58 3662.63

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir04_area_opers.opb
MD5SUM4d69ec7b86462809048374e94faee566
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 benchmark29
Best CPU time to get the best result obtained on this benchmark0.052879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1614
Total number of constraints2783
Number of constraints which are clauses2783
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 constraint1
Maximum length of a constraint31
Number of terms in the objective function 879
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 879
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 879
Number of bits of the biggest sum of numbers10
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.16/0.38	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.16/0.38	c This is free software under the dual EPL/GNU LGPL licenses.
0.16/0.38	c See www.sat4j.org for details.
0.16/0.40	c version CUSTOM.v20240707
0.29/0.43	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.43	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.43	c java.vm.version	22.0.1+8-16
0.29/0.43	c java.vm.vendor	Oracle Corporation
0.29/0.43	c sun.arch.data.model	64
0.29/0.43	c java.version		22.0.1
0.29/0.43	c os.name		Linux
0.29/0.43	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.43	c os.arch		amd64
0.29/0.44	c Free memory 		2113181440
0.29/0.44	c Max memory 		16282288128
0.29/0.44	c Total memory 		2122317824
0.29/0.45	c Number of processors 	2
0.45/0.57	--- Begin Solver configuration ---
0.45/0.57	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.45/0.57	Learn all clauses as in MiniSAT
0.45/0.57	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.57	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.57	Expensive reason simplification
0.45/0.57	Glucose 2.1 dynamic restart strategy
0.45/0.57	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.45/0.57	timeout=2147483s
0.45/0.57	DB Simplification allowed=false
0.45/0.57	Listener: none
0.45/0.57	--- End Solver configuration ---
0.45/0.57	c Pseudo Boolean Optimization by upper bound
0.45/0.57	c --- Begin Solver configuration ---
0.45/0.57	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.45/0.57	c Learn all clauses as in MiniSAT
0.45/0.57	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.57	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.57	c Expensive reason simplification
0.45/0.57	c Glucose 2.1 dynamic restart strategy
0.45/0.57	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.45/0.57	c timeout=2147483s
0.45/0.57	c DB Simplification allowed=false
0.45/0.57	c Listener: none
0.45/0.57	c --- End Solver configuration ---
0.45/0.57	c solving HOME/instance-4440378-1721820325.opb
0.45/0.57	c reading problem ... 
0.45/0.58	c using VERIPB proof format
0.45/0.58	c  objective function found
0.77/0.76	c ... done. Wall clock time 0.174s.
0.77/0.76	c declared #vars     1614
0.77/0.76	c #constraints  2783
0.77/0.76	c constraints type 
0.77/0.76	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2027
0.77/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 753
0.77/0.76	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.77/0.76	c 2783 constraints processed.
0.97/0.80	c objective function length is 879 literals
0.97/0.84	c SATISFIABLE
0.97/0.84	c OPTIMIZING...
0.97/0.84	c Got one! Elapsed wall clock time (in seconds):0.272
0.97/0.85	o 37
1.57/1.13	c Got one! Elapsed wall clock time (in seconds):0.56
1.57/1.14	o 36
3.10/1.91	c cleaning 2742 clauses out of 5490 with flag 13488/5490
4.28/2.54	c cleaning 4365 clauses out of 8748 with flag 35598/11490
5.61/3.30	c cleaning 5679 clauses out of 11382 with flag 67781/18489
6.54/4.09	c cleaning 6846 clauses out of 13703 with flag 102988/26489
7.88/4.95	c cleaning 7923 clauses out of 15858 with flag 139685/35490
9.18/5.95	c cleaning 8952 clauses out of 17934 with flag 182280/45489
10.52/7.04	c cleaning 9973 clauses out of 19982 with flag 224832/56489
11.70/8.22	c cleaning 11003 clauses out of 22011 with flag 272129/68491
12.99/9.55	c cleaning 11979 clauses out of 24006 with flag 327527/81489
14.39/10.91	c cleaning 12999 clauses out of 26027 with flag 383803/95489
15.88/12.41	c cleaning 14004 clauses out of 28029 with flag 443406/110490
17.57/14.01	c cleaning 15010 clauses out of 30024 with flag 510068/126489
19.44/15.76	c cleaning 15994 clauses out of 32016 with flag 580097/143491
21.52/17.64	c cleaning 17000 clauses out of 34022 with flag 650630/161491
23.52/19.69	c cleaning 17998 clauses out of 36020 with flag 725683/180489
25.67/21.80	c cleaning 19000 clauses out of 38022 with flag 805704/200489
28.55/24.61	c cleaning 19983 clauses out of 40022 with flag 888186/221489
30.75/26.89	c cleaning 20987 clauses out of 42039 with flag 973295/243489
33.62/29.24	c cleaning 22015 clauses out of 44052 with flag 1066590/266489
36.22/31.82	c cleaning 23001 clauses out of 46037 with flag 1150897/290489
38.86/34.90	c cleaning 24016 clauses out of 48037 with flag 1255327/315490
41.55/37.68	c cleaning 25003 clauses out of 50022 with flag 1370683/341491
44.54/40.63	c cleaning 25987 clauses out of 52017 with flag 1493779/368489
47.63/43.74	c cleaning 26986 clauses out of 54030 with flag 1651010/396489
50.93/47.07	c cleaning 28004 clauses out of 56044 with flag 1816702/425489
54.21/50.39	c cleaning 29014 clauses out of 58042 with flag 1990033/455491
57.71/53.86	c cleaning 29983 clauses out of 60027 with flag 2171532/486490
61.30/57.40	c cleaning 31020 clauses out of 62043 with flag 2352120/518489
64.89/61.08	c cleaning 31976 clauses out of 64027 with flag 2536297/551493
68.84/65.36	c cleaning 33017 clauses out of 66048 with flag 2725052/585490
72.82/69.35	c cleaning 34004 clauses out of 68031 with flag 2900397/620490
73.64/70.13	c Got one! Elapsed wall clock time (in seconds):69.56
73.64/70.13	o 35
73.94/70.47	c cleaning 23514 clauses out of 47033 with flag 15202/633496
74.55/71.02	c cleaning 14755 clauses out of 29521 with flag 34242/639498
75.13/71.64	c cleaning 10882 clauses out of 21763 with flag 58505/646495
75.83/72.35	c cleaning 9439 clauses out of 18881 with flag 86160/654495
76.65/73.15	c cleaning 9220 clauses out of 18442 with flag 115095/663495
77.54/74.06	c cleaning 9601 clauses out of 19222 with flag 150933/673495
78.64/75.11	c cleaning 10302 clauses out of 20622 with flag 189833/684496
79.72/76.29	c cleaning 11148 clauses out of 22319 with flag 233717/696495
81.02/77.59	c cleaning 12077 clauses out of 24171 with flag 280639/709495
82.32/78.84	c cleaning 13040 clauses out of 26094 with flag 325655/723495
83.71/80.25	c cleaning 14023 clauses out of 28055 with flag 378749/738496
85.21/81.77	c cleaning 15008 clauses out of 30031 with flag 433195/754495
86.90/83.41	c cleaning 16008 clauses out of 32023 with flag 491583/771495
88.61/85.16	c cleaning 16996 clauses out of 34015 with flag 552275/789495
90.50/87.07	c cleaning 17995 clauses out of 36020 with flag 618440/808496
92.50/89.03	c cleaning 18990 clauses out of 38024 with flag 683934/828495
94.60/91.17	c cleaning 20003 clauses out of 40035 with flag 753362/849496
96.93/93.95	c cleaning 21006 clauses out of 42031 with flag 829608/871495
99.22/96.27	c cleaning 22006 clauses out of 44026 with flag 914863/894496
101.86/98.63	c cleaning 23008 clauses out of 46019 with flag 1007846/918495
104.45/101.23	c cleaning 24004 clauses out of 48012 with flag 1096260/943496
107.15/103.93	c cleaning 24997 clauses out of 50008 with flag 1187120/969496
109.93/106.79	c cleaning 25999 clauses out of 52011 with flag 1284266/996496
112.93/109.79	c cleaning 27005 clauses out of 54013 with flag 1377769/1024497
115.82/112.69	c cleaning 27994 clauses out of 56006 with flag 1485969/1053495
118.81/115.69	c cleaning 28995 clauses out of 58013 with flag 1601255/1083496
122.10/118.99	c cleaning 29999 clauses out of 60018 with flag 1726979/1114496
125.69/122.54	c cleaning 30974 clauses out of 62018 with flag 1860040/1146495
129.46/126.77	c cleaning 32013 clauses out of 64044 with flag 2001635/1179495
133.25/130.58	c cleaning 32996 clauses out of 66032 with flag 2159176/1213496
137.13/134.42	c cleaning 33995 clauses out of 68035 with flag 2315762/1248495
141.32/138.60	c cleaning 34991 clauses out of 70040 with flag 2482744/1284495
145.53/142.81	c cleaning 36018 clauses out of 72049 with flag 2628067/1321495
149.73/147.10	c cleaning 37008 clauses out of 74032 with flag 2778253/1359496
154.31/151.60	c cleaning 38003 clauses out of 76023 with flag 2933332/1398495
159.02/156.73	c cleaning 39004 clauses out of 78020 with flag 3085181/1438495
163.82/161.53	c cleaning 39998 clauses out of 80017 with flag 3262368/1479496
168.60/166.35	c cleaning 41002 clauses out of 82019 with flag 3470437/1521496
173.49/171.21	c cleaning 42006 clauses out of 84016 with flag 3676054/1564495
178.58/176.37	c cleaning 42964 clauses out of 86010 with flag 3865631/1608495
183.86/181.66	c cleaning 44007 clauses out of 88048 with flag 4060812/1653497
189.06/187.13	c cleaning 44992 clauses out of 90040 with flag 4246719/1699496
194.43/192.53	c cleaning 46023 clauses out of 92047 with flag 4441410/1746495
199.93/198.02	c cleaning 46981 clauses out of 94024 with flag 4633629/1794495
205.81/203.95	c cleaning 48011 clauses out of 96043 with flag 4840400/1843495
211.79/209.92	c cleaning 48995 clauses out of 98032 with flag 5065885/1893495
217.89/216.02	c cleaning 50006 clauses out of 100038 with flag 5305255/1944496
224.34/222.72	c cleaning 51008 clauses out of 102031 with flag 5514983/1996495
230.75/229.17	c cleaning 52011 clauses out of 104024 with flag 5716956/2049496
237.63/236.07	c cleaning 53006 clauses out of 106012 with flag 6006587/2103495
244.50/242.99	c cleaning 53966 clauses out of 108006 with flag 6301829/2158495
251.87/250.45	c cleaning 55008 clauses out of 110040 with flag 6610933/2214495
259.24/257.83	c cleaning 55994 clauses out of 112033 with flag 6951670/2271496
266.55/265.13	c cleaning 57010 clauses out of 114040 with flag 7251552/2329497
273.77/272.31	c cleaning 58008 clauses out of 116028 with flag 7552478/2388495
281.39/280.17	c cleaning 59003 clauses out of 118020 with flag 7834675/2448495
288.86/287.69	c cleaning 59995 clauses out of 120017 with flag 8161840/2509495
297.27/296.10	c cleaning 60999 clauses out of 122022 with flag 8493924/2571495
305.45/304.25	c cleaning 61984 clauses out of 124023 with flag 8900541/2634495
313.77/312.71	c cleaning 63008 clauses out of 126039 with flag 9288733/2698495
322.76/321.77	c cleaning 63998 clauses out of 128031 with flag 9651002/2763495
330.64/329.63	c cleaning 64991 clauses out of 130033 with flag 10005860/2829495
338.98/337.98	c cleaning 65985 clauses out of 132042 with flag 10371826/2896495
347.59/346.74	c cleaning 67022 clauses out of 134057 with flag 10701068/2964495
356.44/355.50	c cleaning 68010 clauses out of 136035 with flag 11111613/3033495
365.22/364.39	c cleaning 69009 clauses out of 138026 with flag 11562110/3103496
374.32/373.61	c cleaning 70001 clauses out of 140017 with flag 12046906/3174496
383.97/383.25	c cleaning 70984 clauses out of 142015 with flag 12471079/3246495
393.47/392.78	c cleaning 71990 clauses out of 144033 with flag 12895882/3319497
403.42/402.80	c cleaning 73017 clauses out of 146041 with flag 13312826/3393495
413.04/412.45	c cleaning 73987 clauses out of 148024 with flag 13780872/3468495
423.05/422.49	c cleaning 74976 clauses out of 150037 with flag 14284128/3544495
433.93/433.42	c cleaning 76005 clauses out of 152061 with flag 14755133/3621495
445.74/445.24	c cleaning 77001 clauses out of 154056 with flag 15264107/3699495
455.92/455.40	c cleaning 78009 clauses out of 156055 with flag 15708404/3778495
466.97/466.62	c cleaning 78998 clauses out of 158046 with flag 16162338/3858495
478.20/477.88	c cleaning 80021 clauses out of 160051 with flag 16641213/3939498
489.05/488.60	c cleaning 81007 clauses out of 162027 with flag 17131063/4021495
500.74/516.43	c cleaning 82001 clauses out of 164020 with flag 17599811/4104495
512.40/528.01	c cleaning 82987 clauses out of 166019 with flag 18064635/4188495
524.35/540.62	c cleaning 83981 clauses out of 168033 with flag 18584465/4273496
524.95/541.23	c Got one! Elapsed wall clock time (in seconds):540.659
524.95/541.23	o 34
525.56/541.83	c cleaning 47182 clauses out of 94384 with flag 16716/4283828
526.16/542.45	c cleaning 26582 clauses out of 53202 with flag 37846/4289828
526.76/543.08	c cleaning 16809 clauses out of 33620 with flag 63264/4296828
527.45/543.78	c cleaning 12401 clauses out of 24811 with flag 89911/4304828
528.35/544.60	c cleaning 10693 clauses out of 21410 with flag 121526/4313828
529.25/545.50	c cleaning 10354 clauses out of 20717 with flag 154497/4323828
530.24/546.51	c cleaning 10665 clauses out of 21364 with flag 192733/4334829
531.34/547.65	c cleaning 11339 clauses out of 22699 with flag 236284/4346829
532.54/548.86	c cleaning 12166 clauses out of 24359 with flag 284486/4359828
533.94/550.26	c cleaning 13081 clauses out of 26194 with flag 334638/4373829
535.34/551.61	c cleaning 14046 clauses out of 28112 with flag 387395/4388828
536.75/553.06	c cleaning 15019 clauses out of 30069 with flag 440939/4404831
538.24/554.58	c cleaning 16014 clauses out of 32047 with flag 499514/4421828
539.93/556.23	c cleaning 17012 clauses out of 34033 with flag 561926/4439828
541.63/557.95	c cleaning 18002 clauses out of 36021 with flag 626098/4458828
543.66/559.90	c cleaning 18989 clauses out of 38019 with flag 694796/4478828
545.65/561.95	c cleaning 20010 clauses out of 40034 with flag 774335/4499832
547.86/564.18	c cleaning 20999 clauses out of 42021 with flag 854350/4521829
550.14/566.48	c cleaning 22001 clauses out of 44021 with flag 950200/4544828
552.76/569.02	c cleaning 22992 clauses out of 46023 with flag 1050265/4568831
556.07/573.06	c cleaning 24003 clauses out of 48028 with flag 1151040/4593828
558.74/575.78	c cleaning 25003 clauses out of 50025 with flag 1248544/4619828
561.44/578.49	c cleaning 25983 clauses out of 52022 with flag 1363214/4646828
564.48/581.48	c cleaning 27014 clauses out of 54040 with flag 1486675/4674829
567.57/584.53	c cleaning 27997 clauses out of 56025 with flag 1607114/4703828
570.86/587.81	c cleaning 29015 clauses out of 58031 with flag 1732451/4733831
574.06/591.08	c cleaning 30001 clauses out of 60013 with flag 1893498/4764828
577.45/594.40	c Got one! Elapsed wall clock time (in seconds):593.83
577.45/594.40	o 33
577.91/594.82	c cleaning 32246 clauses out of 64500 with flag 14459/4799316
578.41/595.39	c cleaning 19128 clauses out of 38257 with flag 32828/4805319
579.13/596.03	c cleaning 13045 clauses out of 26126 with flag 55962/4812316
579.81/596.75	c cleaning 10541 clauses out of 21081 with flag 83066/4820316
580.61/597.52	c cleaning 9763 clauses out of 19540 with flag 111260/4829316
581.51/598.43	c cleaning 9872 clauses out of 19777 with flag 144623/4839316
582.50/599.40	c cleaning 10444 clauses out of 20905 with flag 182504/4850316
583.52/600.51	c cleaning 11226 clauses out of 22463 with flag 220906/4862318
584.66/601.65	c cleaning 12116 clauses out of 24235 with flag 264181/4875316
585.96/602.92	c cleaning 13051 clauses out of 26119 with flag 316648/4889316
587.36/604.30	c cleaning 14005 clauses out of 28069 with flag 369849/4904317
588.76/605.77	c cleaning 15016 clauses out of 30063 with flag 426922/4920316
590.35/607.36	c cleaning 16015 clauses out of 32048 with flag 486270/4937317
592.05/609.07	c cleaning 17011 clauses out of 34032 with flag 544926/4955316
594.07/611.02	c cleaning 18004 clauses out of 36021 with flag 611808/4974316
595.85/612.87	c cleaning 19000 clauses out of 38019 with flag 681903/4994318
597.84/614.86	c cleaning 19993 clauses out of 40017 with flag 756449/5015316
599.94/616.91	c cleaning 21000 clauses out of 42024 with flag 836186/5037316
602.23/619.20	c cleaning 22010 clauses out of 44028 with flag 924469/5060320
604.64/621.69	c cleaning 22993 clauses out of 46018 with flag 1014498/5084320
607.04/624.02	c cleaning 24003 clauses out of 48021 with flag 1101577/5109316
609.42/626.45	c cleaning 25010 clauses out of 50020 with flag 1190185/5135318
612.03/629.05	c cleaning 25986 clauses out of 52009 with flag 1284108/5162317
615.06/632.23	c cleaning 26997 clauses out of 54022 with flag 1385441/5190316
617.96/635.19	c cleaning 28004 clauses out of 56027 with flag 1482810/5219318
620.85/638.07	c cleaning 29002 clauses out of 58021 with flag 1587523/5249316
624.03/641.25	c cleaning 30004 clauses out of 60021 with flag 1693810/5280318
627.43/644.69	c cleaning 30989 clauses out of 62015 with flag 1802977/5312316
630.84/648.05	c cleaning 32008 clauses out of 64028 with flag 1922514/5345318
634.32/651.53	c cleaning 32997 clauses out of 66019 with flag 2038859/5379317
637.94/655.16	c cleaning 33994 clauses out of 68021 with flag 2156749/5414316
641.72/659.01	c cleaning 34989 clauses out of 70027 with flag 2281179/5450316
645.80/663.11	c cleaning 36016 clauses out of 72039 with flag 2408122/5487317
650.04/667.39	c cleaning 37005 clauses out of 74023 with flag 2539853/5525317
654.63/671.91	c cleaning 38001 clauses out of 76017 with flag 2683021/5564316
659.04/676.37	c cleaning 38994 clauses out of 78016 with flag 2820368/5604316
663.64/680.93	c cleaning 39998 clauses out of 80023 with flag 2971341/5645317
668.12/685.46	c cleaning 40998 clauses out of 82025 with flag 3125320/5687317
673.04/690.33	c cleaning 42008 clauses out of 84026 with flag 3279201/5730316
677.95/695.34	c cleaning 43001 clauses out of 86020 with flag 3448167/5774318
683.47/700.87	c cleaning 43994 clauses out of 88017 with flag 3649854/5819316
689.35/706.77	c cleaning 44988 clauses out of 90023 with flag 3834588/5865316
695.00/712.38	c cleaning 46010 clauses out of 92035 with flag 4009603/5912316
700.71/718.09	c cleaning 47006 clauses out of 94029 with flag 4196906/5960320
706.50/723.96	c cleaning 47997 clauses out of 96019 with flag 4382408/6009316
712.24/729.67	c cleaning 48998 clauses out of 98022 with flag 4563808/6059316
718.03/735.42	c cleaning 49999 clauses out of 100024 with flag 4757225/6110316
724.36/741.76	c cleaning 51002 clauses out of 102026 with flag 4951618/6162317
730.55/747.98	c cleaning 51992 clauses out of 104024 with flag 5139008/6215317
736.93/754.52	c cleaning 52998 clauses out of 106031 with flag 5338672/6269316
742.91/760.56	c cleaning 54007 clauses out of 108034 with flag 5537704/6324317
749.02/766.68	c cleaning 55000 clauses out of 110026 with flag 5734969/6380316
755.33/772.99	c cleaning 56007 clauses out of 112027 with flag 5928864/6437317
761.62/779.21	c cleaning 56996 clauses out of 114019 with flag 6144050/6495316
768.57/786.53	c cleaning 58000 clauses out of 116023 with flag 6369410/6554316
775.36/793.33	c cleaning 58994 clauses out of 118023 with flag 6618974/6614316
782.30/800.29	c cleaning 60002 clauses out of 120029 with flag 6860229/6675316
789.68/807.60	c cleaning 60993 clauses out of 122027 with flag 7096360/6737316
797.67/815.81	c cleaning 62004 clauses out of 124034 with flag 7346859/6800316
805.24/823.33	c cleaning 63012 clauses out of 126030 with flag 7599939/6864316
812.81/831.00	c cleaning 64001 clauses out of 128018 with flag 7850637/6929316
820.57/838.61	c cleaning 65000 clauses out of 130017 with flag 8105062/6995316
829.28/849.55	c cleaning 65986 clauses out of 132017 with flag 8362888/7062316
837.50/857.83	c cleaning 66987 clauses out of 134031 with flag 8621243/7130316
845.47/865.86	c cleaning 68004 clauses out of 136044 with flag 8867251/7199316
853.73/874.11	c cleaning 69005 clauses out of 138040 with flag 9115791/7269316
862.79/884.76	c cleaning 70000 clauses out of 140035 with flag 9372220/7340316
871.72/893.65	c cleaning 71010 clauses out of 142036 with flag 9645070/7412317
880.62/902.54	c cleaning 72002 clauses out of 144025 with flag 9913853/7485316
889.69/911.67	c cleaning 72994 clauses out of 146024 with flag 10186849/7559317
899.49/922.11	c cleaning 74003 clauses out of 148029 with flag 10480448/7634316
909.09/931.78	c cleaning 75005 clauses out of 150026 with flag 10764804/7710316
918.90/941.52	c cleaning 75997 clauses out of 152021 with flag 11053741/7787316
930.22/953.62	c cleaning 77009 clauses out of 154024 with flag 11343359/7865316
939.79/963.21	c cleaning 77996 clauses out of 156016 with flag 11667834/7944317
949.52/972.99	c cleaning 78999 clauses out of 158019 with flag 12012360/8024316
960.10/984.18	c cleaning 79986 clauses out of 160020 with flag 12357720/8105316
970.04/994.03	c cleaning 81013 clauses out of 162034 with flag 12694697/8187316
980.36/1004.89	c cleaning 81989 clauses out of 164021 with flag 13038007/8270316
991.13/1015.62	c cleaning 83011 clauses out of 166032 with flag 13401457/8354316
1001.05/1025.59	c cleaning 84005 clauses out of 168021 with flag 13792237/8439316
1012.07/1037.28	c cleaning 84993 clauses out of 170017 with flag 14283669/8525317
1022.76/1047.96	c cleaning 86001 clauses out of 172023 with flag 14666369/8612316
1033.98/1059.15	c cleaning 86996 clauses out of 174022 with flag 15070708/8700316
1046.18/1071.95	c cleaning 87998 clauses out of 176026 with flag 15490900/8789316
1057.99/1083.70	c cleaning 89005 clauses out of 178030 with flag 15891594/8879318
1069.47/1095.20	c cleaning 89983 clauses out of 180023 with flag 16314310/8970316
1081.29/1107.74	c cleaning 90989 clauses out of 182040 with flag 16738008/9062316
1093.91/1120.31	c cleaning 92004 clauses out of 184053 with flag 17200302/9155318
1108.04/1136.33	c cleaning 92982 clauses out of 186047 with flag 17690554/9249316
1120.96/1149.23	c cleaning 94017 clauses out of 188065 with flag 18187572/9344316
1134.56/1162.83	c cleaning 95003 clauses out of 190048 with flag 18711395/9440316
1149.45/1182.51	c cleaning 95993 clauses out of 192045 with flag 19263959/9537316
1163.68/1196.74	c cleaning 97005 clauses out of 194052 with flag 19838729/9635316
1177.17/1210.63	c cleaning 97989 clauses out of 196047 with flag 20427191/9734316
1191.05/1224.50	c cleaning 99005 clauses out of 198058 with flag 21047387/9834316
1205.77/1239.64	c cleaning 100013 clauses out of 200055 with flag 21686331/9935318
1220.07/1253.87	c cleaning 101007 clauses out of 202040 with flag 22359992/10037316
1236.27/1270.04	c cleaning 102002 clauses out of 204033 with flag 22997747/10140316
1250.94/1284.78	c cleaning 103014 clauses out of 206032 with flag 23528016/10244317
1265.37/1299.57	c cleaning 104002 clauses out of 208018 with flag 24132774/10349317
1280.33/1314.50	c cleaning 104979 clauses out of 210015 with flag 24736358/10455316
1295.26/1330.32	c cleaning 105990 clauses out of 212036 with flag 25330223/10562316
1310.11/1345.21	c cleaning 106971 clauses out of 214047 with flag 25881060/10670317
1325.30/1360.75	c cleaning 108030 clauses out of 216075 with flag 26412754/10779316
1342.05/1377.59	c cleaning 109018 clauses out of 218045 with flag 27022966/10889316
1357.78/1393.58	c cleaning 110008 clauses out of 220027 with flag 27460211/11000316
1372.96/1408.71	c cleaning 111003 clauses out of 222020 with flag 28100643/11112317
1390.11/1426.23	c cleaning 111980 clauses out of 224016 with flag 28687262/11225316
1405.88/1441.92	c cleaning 113002 clauses out of 226036 with flag 29198701/11339316
1421.34/1457.69	c cleaning 113996 clauses out of 228034 with flag 29673782/11454316
1436.74/1473.06	c cleaning 115011 clauses out of 230038 with flag 30125753/11570316
1452.99/1489.73	c cleaning 116007 clauses out of 232027 with flag 30534457/11687316
1470.05/1507.23	c cleaning 116990 clauses out of 234020 with flag 31021089/11805316
1485.89/1523.04	c cleaning 117987 clauses out of 236030 with flag 31516187/11924316
1501.97/1540.29	c cleaning 119007 clauses out of 238043 with flag 32079969/12044316
1516.79/1555.02	c cleaning 120003 clauses out of 240036 with flag 32606957/12165316
1532.83/1571.66	c cleaning 120998 clauses out of 242033 with flag 33185118/12287316
1550.17/1588.92	c cleaning 122007 clauses out of 244036 with flag 33697131/12410317
1566.66/1605.56	c cleaning 123004 clauses out of 246029 with flag 34276070/12534317
1583.98/1622.82	c cleaning 123980 clauses out of 248024 with flag 34923451/12659316
1600.42/1639.38	c cleaning 125001 clauses out of 250044 with flag 35571333/12785316
1616.66/1655.55	c cleaning 126006 clauses out of 252043 with flag 36198333/12912316
1633.74/1672.70	c cleaning 127007 clauses out of 254037 with flag 36829040/13040316
1652.48/1692.33	c cleaning 127994 clauses out of 256030 with flag 37500447/13169316
1670.50/1710.25	c cleaning 128988 clauses out of 258036 with flag 38165999/13299316
1688.03/1727.84	c cleaning 130018 clauses out of 260048 with flag 38820321/13430316
1706.16/1745.97	c cleaning 130982 clauses out of 262030 with flag 39498651/13562316
1724.56/1764.45	c cleaning 131981 clauses out of 264048 with flag 40133075/13695316
1742.45/1782.38	c cleaning 133016 clauses out of 266067 with flag 40707130/13829316
1760.30/1800.34	c cleaning 133997 clauses out of 268051 with flag 41240558/13964316
1778.63/1818.71	c cleaning 135014 clauses out of 270055 with flag 41854402/14100317
1798.50/1838.61	c cleaning 136016 clauses out of 272040 with flag 42488292/14237316
1817.88/1858.18	c cleaning 136987 clauses out of 274024 with flag 43123391/14375316
1836.18/1876.56	c cleaning 138006 clauses out of 276037 with flag 43761253/14514316
1855.19/1895.54	c cleaning 139002 clauses out of 278031 with flag 44388146/14654316
1875.25/1915.69	c cleaning 140007 clauses out of 280029 with flag 45000722/14795316
1895.07/1935.44	c cleaning 140981 clauses out of 282022 with flag 45649628/14937316
1916.39/1956.88	c cleaning 142000 clauses out of 284041 with flag 46312198/15080316
1935.72/1976.25	c cleaning 143013 clauses out of 286042 with flag 47014995/15224317
1954.56/1995.08	c cleaning 143993 clauses out of 288028 with flag 47672682/15369316
1974.52/2015.03	c cleaning 144987 clauses out of 290035 with flag 48316479/15515316
1994.63/2035.21	c cleaning 145993 clauses out of 292048 with flag 48989374/15662316
2015.90/2056.40	c cleaning 146998 clauses out of 294056 with flag 49617685/15810317
2037.10/2077.70	c cleaning 148013 clauses out of 296057 with flag 50204610/15959316
2057.71/2097.90	c cleaning 148992 clauses out of 298044 with flag 50910709/16109316
2079.49/2119.77	c cleaning 150011 clauses out of 300053 with flag 51697969/16260317
2100.61/2140.93	c cleaning 151003 clauses out of 302041 with flag 52431711/16412316
2125.48/2171.83	c cleaning 151990 clauses out of 304038 with flag 53163017/16565316
2147.84/2194.37	c cleaning 152999 clauses out of 306048 with flag 53831789/16719316
2169.95/2216.42	c cleaning 154013 clauses out of 308049 with flag 54574723/16874316
2193.51/2240.25	c cleaning 155008 clauses out of 310036 with flag 55362306/17030316
2218.49/2265.40	c cleaning 155978 clauses out of 312028 with flag 56069134/17187316
2241.32/2288.42	c cleaning 156987 clauses out of 314050 with flag 56792347/17345316
2264.60/2311.87	c cleaning 158030 clauses out of 316063 with flag 57456178/17504316
2287.12/2334.38	c cleaning 159006 clauses out of 318033 with flag 58110149/17664316
2312.89/2360.11	c cleaning 160004 clauses out of 320027 with flag 58864019/17825316
2339.58/2386.96	c cleaning 161005 clauses out of 322026 with flag 59504461/17987319
2366.34/2413.77	c cleaning 161996 clauses out of 324019 with flag 60236195/18150317
2392.31/2439.71	c cleaning 162999 clauses out of 326022 with flag 61035178/18314316
2417.28/2464.83	c cleaning 164007 clauses out of 328023 with flag 61792186/18479316
2443.52/2491.06	c cleaning 164977 clauses out of 330016 with flag 62629418/18645316
2466.91/2514.52	c cleaning 166002 clauses out of 332042 with flag 63281780/18812319
2491.13/2538.84	c cleaning 167012 clauses out of 334037 with flag 63904085/18980316
2514.60/2562.31	c cleaning 168010 clauses out of 336025 with flag 64513376/19149316
2541.12/2588.99	c cleaning 168990 clauses out of 338016 with flag 65151015/19319317
2565.98/2613.89	c cleaning 169996 clauses out of 340025 with flag 65804931/19490316
2590.77/2638.77	c cleaning 171002 clauses out of 342029 with flag 66605585/19662316
2617.67/2665.79	c cleaning 172004 clauses out of 344028 with flag 67319618/19835317
2642.43/2690.54	c cleaning 172984 clauses out of 346023 with flag 68110744/20009316
2669.62/2717.86	c cleaning 174008 clauses out of 348040 with flag 69000914/20184317
2696.80/2745.17	c cleaning 174974 clauses out of 350032 with flag 69936513/20360317
2721.81/2770.19	c cleaning 176022 clauses out of 352057 with flag 70797423/20537316
2748.04/2796.48	c cleaning 177000 clauses out of 354037 with flag 71620805/20715318
2773.76/2822.27	c cleaning 177993 clauses out of 356037 with flag 72430879/20894318
2798.47/2847.07	c cleaning 179014 clauses out of 358042 with flag 73258417/21074316
2825.55/2874.27	c cleaning 179992 clauses out of 360028 with flag 73931299/21255316
2851.55/2900.22	c cleaning 180983 clauses out of 362036 with flag 74633205/21437316
2879.03/2927.70	c cleaning 182020 clauses out of 364054 with flag 75316732/21620317
2905.61/2954.34	c cleaning 183017 clauses out of 366033 with flag 76119955/21804316
2934.18/2982.91	c cleaning 184000 clauses out of 368016 with flag 76973999/21989316
2963.15/3012.30	c cleaning 184995 clauses out of 370018 with flag 77793055/22175318
2994.29/3043.56	c cleaning 186004 clauses out of 372022 with flag 78591646/22362317
3021.46/3070.78	c cleaning 186984 clauses out of 374017 with flag 79573482/22550316
3049.35/3098.75	c cleaning 188012 clauses out of 376033 with flag 80411940/22739316
3077.77/3127.25	c cleaning 189000 clauses out of 378021 with flag 81338595/22929316
3112.91/3162.27	c cleaning 189989 clauses out of 380021 with flag 82295583/23120316
3141.07/3190.47	c cleaning 190970 clauses out of 382032 with flag 83203149/23312316
3170.11/3219.56	c cleaning 192029 clauses out of 384062 with flag 84179137/23505316
3198.70/3249.43	c cleaning 193010 clauses out of 386034 with flag 85075583/23699317
3226.56/3277.59	c cleaning 193980 clauses out of 388023 with flag 86054869/23894316
3255.99/3307.02	c cleaning 195014 clauses out of 390044 with flag 86953488/24090317
3286.70/3337.81	c cleaning 195996 clauses out of 392029 with flag 87832614/24287316
3315.32/3366.51	c cleaning 197009 clauses out of 394033 with flag 88772426/24485316
3346.28/3397.59	c cleaning 197981 clauses out of 396024 with flag 89730683/24684316
3382.08/3433.25	c cleaning 199013 clauses out of 398043 with flag 90663577/24884316
3411.06/3462.24	c cleaning 199994 clauses out of 400030 with flag 91498370/25085316
3444.26/3495.53	c cleaning 200998 clauses out of 402036 with flag 92215991/25287316
3474.11/3525.55	c cleaning 202000 clauses out of 404038 with flag 93031182/25490316
3503.45/3555.00	c cleaning 203004 clauses out of 406038 with flag 93869590/25694316
3536.70/3588.32	c cleaning 203996 clauses out of 408034 with flag 94717806/25899316
3567.87/3619.56	c cleaning 205001 clauses out of 410038 with flag 95675200/26105316
3598.83/3650.57	c cleaning 206005 clauses out of 412037 with flag 96491250/26312316
3600.06/3651.72	c starts		: 10738
3600.06/3651.73	c conflicts		: 26321313
3600.06/3651.74	c decisions		: 165282255
3600.06/3651.74	c propagations		: 19179365596
3600.06/3651.74	c inspects		: 22374458381
3600.06/3651.74	c shortcuts		: 0
3600.06/3651.74	c learnt literals	: 0
3600.06/3651.74	c learnt binary clauses	: 0
3600.06/3651.74	c learnt ternary clauses	: 0
3600.06/3651.74	c learnt constraints	: 26321313
3600.06/3651.74	c ignored constraints	: 0
3600.06/3651.74	c root simplifications	: 0
3600.06/3651.74	c removed literals (reason simplification)	: 69528624
3600.06/3651.74	c reason swapping (by a shorter reason)	: 0
3600.06/3651.74	c Calls to reduceDB	: 342
3600.06/3651.74	c Number of update (reduction) of LBD	: 13155376
3600.06/3651.75	c Imported unit clauses	: 0
3600.06/3651.75	c No decision after first conflict	: false
3600.06/3651.75	c number of reductions to clauses (during analyze)	: 0
3600.06/3651.75	c number of learned constraints concerned by reduction	: 0
3600.06/3651.75	c number of learning phase by resolution	: 0
3600.06/3651.75	c number of learning phase by cutting planes	: 0
3600.06/3651.75	c number of rounding to 1 operations	: 0
3600.06/3651.75	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3651.75	c number of reductions of the coefficients by power 2 	: 0
3600.06/3651.75	c number of right shift for reduction by power 2 	: 0
3600.06/3651.75	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3651.75	c number of ending skipping 	: 0
3600.06/3651.75	c number of internal skipping 	: 0
3600.06/3651.75	c number of derivation steps 	: 0
3600.06/3651.75	c number of skipped derivation steps 	: 0
3600.06/3651.75	c number of remaining unassigned 	: 0
3600.06/3651.75	c number of remaining assigned 	: 0
3600.06/3651.75	c number of falsified literals weakened from reason	: 0
3600.06/3651.75	c number of falsified literals weakened from conflict	: 0
3600.06/3651.75	c time for arithmetic operations	: 0
3600.06/3651.75	c minimum degree of deleted constraints	: null
3600.06/3651.75	c maximum degree of deleted constraints	: null
3600.06/3651.75	c number of deleted constraints	: 0
3600.06/3651.77	c speed (assignments/second)	: 5253270.692627484
3600.06/3651.77	c non guided choices	: 0
3600.46/3651.94	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 215029
3600.46/3651.94	s SATISFIABLE
3600.46/3651.94	c Found 5 solution(s)
3600.46/3651.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 x1610 x1611 -x1612 x1613 x1614 
3600.46/3651.94	c objective function=33
3600.46/3651.94	c Total wall clock time (in seconds): 3651.372

Verifier Data 

OK	33

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (39013 MiB free)
  memory of node 1: 64510 MiB (50415 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440378-1721820325/watcher-4440378-1721820325 -o /tmp/evaluation-result-4440378-1721820325/solver-4440378-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182129 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440378-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440378-1721820325.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100071 s]*
/proc/loadavg: 0.11 0.12 0.09 4/242 182180
/proc/meminfo: memFree=91546100/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=280436 memory=19476 CPUtime=0.02 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 1325 0 64 0 0 2 0 0 20 0 2 0 18021559 287166464 4869 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16784588 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 70109 4869 2811 1 0 2305 0
[pid=182165/tid=182173] ppid=182162 vsize=280436 memory=4026532140 CPUtime=0.01 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) D 182162 182165 182119 0 -1 4194368 772 0 34 0 0 1 0 0 20 0 2 0 18021563 287166464 4869 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 280436 KiB
Current children cumulated memory: 19476 KiB

[startup+0.214516 s]*
/proc/loadavg: 0.11 0.12 0.09 4/263 182206
/proc/meminfo: memFree=91468416/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=18242856 memory=41592 CPUtime=0.06 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 5454 0 106 0 1 5 0 0 20 0 8 0 18021559 18680684544 10398 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16784588 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4560714 10398 3841 1 0 547460 0
[pid=182165/tid=182173] ppid=182162 vsize=18242856 memory=3461362060219711607 CPUtime=0.05 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 4896 0 76 0 1 4 0 0 20 0 8 0 18021563 18680684544 10398 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 9 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18242856 KiB
Current children cumulated memory: 41592 KiB

[startup+0.316651 s]*
/proc/loadavg: 0.11 0.12 0.09 6/296 182239
/proc/meminfo: memFree=91421988/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=18975048 memory=55432 CPUtime=0.16 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 6495 0 133 0 10 6 0 0 20 0 18 0 18021559 19430449152 13858 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4743762 13858 5505 1 0 550816 0
[pid=182165/tid=182173] ppid=182162 vsize=18975048 memory=-8742728682337772220 CPUtime=0.1 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 5392 0 89 0 6 4 0 0 20 0 18 0 18021563 19430449152 13858 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021585 19430449152 13858 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 18021586 19430449152 13858 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55432 KiB

[startup+0.700948 s]
/proc/loadavg: 0.98 0.30 0.15 6/296 182246
/proc/meminfo: memFree=91397612/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=18975048 memory=71344 CPUtime=0.77 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 7697 0 133 0 69 8 0 0 20 0 18 0 18021559 19430449152 17836 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4743762 17836 5750 1 0 551700 0
[pid=182165/tid=182173] ppid=182162 vsize=18975048 memory=0 CPUtime=0.44 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 5986 0 89 0 38 6 0 0 20 0 18 0 18021563 19430449152 17836 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=18975048 memory=12108 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021585 19430449152 17836 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=18975048 memory=5456 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 18021586 19430449152 17836 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71344 KiB

[startup+1.50036 s]
/proc/loadavg: 0.98 0.30 0.15 13/318 182268
/proc/meminfo: memFree=91210084/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19041612 memory=137064 CPUtime=2.34 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 15122 0 134 0 221 13 0 0 20 0 19 0 18021559 19498610688 34266 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4760403 34266 5828 1 0 554163 0
[pid=182165/tid=182173] ppid=182162 vsize=19041612 memory=0 CPUtime=1.13 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 6560 0 90 0 105 8 0 0 20 0 19 0 18021563 19498610688 34266 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19041612 memory=5456 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18021585 19498610688 34266 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 18021586 19498610688 34266 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18021641 19498610688 34266 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137064 KiB

[startup+3.10594 s]
/proc/loadavg: 0.98 0.30 0.15 11/324 182274
/proc/meminfo: memFree=90546256/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=179848 CPUtime=5.44 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 20835 0 134 0 528 16 0 0 20 0 20 0 18021559 19566772224 44962 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 44962 5874 1 0 556578 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=0 CPUtime=2.66 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 7579 0 90 0 256 10 0 0 20 0 20 0 18021563 19566772224 44962 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 44962 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 44962 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=67732 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 44962 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179848 KiB

[startup+6.30095 s]
/proc/loadavg: 1.22 0.36 0.17 7/325 182275
/proc/meminfo: memFree=90421928/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=282516 CPUtime=9.83 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 21609 0 134 0 963 20 0 0 20 0 20 0 18021559 19566772224 70629 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 70629 5877 1 0 556582 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=16096 CPUtime=5.77 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 7670 0 90 0 564 13 0 0 20 0 20 0 18021563 19566772224 70629 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 70629 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 70629 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 70629 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 282516 KiB

[startup+12.7009 s]
/proc/loadavg: 1.60 0.45 0.20 5/325 182277
/proc/meminfo: memFree=89981616/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=637168 CPUtime=16.18 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 25977 0 134 0 1586 32 0 0 20 0 20 0 18021559 19566772224 159292 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 159292 5877 1 0 556582 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=0 CPUtime=12.06 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 9493 0 90 0 1182 24 0 0 20 0 20 0 18021563 19566772224 159292 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=-8744134957709697724 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 159292 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 159292 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 159292 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 16.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 637168 KiB

[startup+25.5005 s]
/proc/loadavg: 1.97 0.57 0.24 5/325 182278
/proc/meminfo: memFree=88940920/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1323408 CPUtime=29.44 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 34156 0 134 0 2892 52 0 0 20 0 20 0 18021559 19566772224 330852 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 330852 5892 1 0 556582 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=590028 CPUtime=24.7 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 11039 0 90 0 2428 42 0 0 20 0 20 0 18021563 19566772224 330852 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=1321360 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 330852 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=1321360 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 330852 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1321360 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 330852 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1323408 KiB

[startup+51.1139 s]
/proc/loadavg: 2.89 0.93 0.37 5/325 182283
/proc/meminfo: memFree=87919144/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1333752 CPUtime=55.02 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 40611 0 134 0 5439 63 0 0 20 0 20 0 18021559 19566772224 333438 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 333438 5892 1 0 556582 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=67732 CPUtime=49.67 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 13533 0 90 0 4916 51 0 0 20 0 20 0 18021563 19566772224 333438 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 60 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=637168 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 333438 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 333438 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 333438 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 55.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333752 KiB

[startup+102.301 s]
/proc/loadavg: 3.77 1.47 0.59 5/325 182291

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

Current children cumulated CPU time: 3291.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2200220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.33 4.20 5/323 183691
/proc/meminfo: memFree=68877380/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=2200220 CPUtime=3351.08 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 166222 0 134 0 333820 1288 0 0 20 0 20 0 18021559 19566772224 550055 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 550055 5893 1 0 561149 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=2200220 CPUtime=3303.24 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 68392 0 90 0 329237 1087 0 0 20 0 20 0 18021563 19566772224 550055 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5874 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=2200220 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550055 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=5456 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2455 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 550055 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=2200220 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 550055 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3351.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2200220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.28 4.19 5/323 183702
/proc/meminfo: memFree=68949824/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1925144 CPUtime=3411.16 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 169941 0 134 0 339806 1310 0 0 20 0 20 0 18021559 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 481286 5893 1 0 492245 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=2200220 CPUtime=3362.31 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 69205 0 90 0 335126 1105 0 0 20 0 20 0 18021563 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5888 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=2200220 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=5456 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2601 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1925144 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3411.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.28 4.19 5/323 183712
/proc/meminfo: memFree=68711160/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1925144 CPUtime=3470.93 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 170435 0 134 0 345764 1329 0 0 20 0 20 0 18021559 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 481286 5893 1 0 492245 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=67732 CPUtime=3421.5 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 69632 0 90 0 341029 1121 0 0 20 0 20 0 18021563 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5909 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=67732 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=1925144 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2601 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1925144 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3470.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/323 184104
/proc/meminfo: memFree=68498232/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1925144 CPUtime=3530.71 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 171730 0 134 0 351723 1348 0 0 20 0 20 0 18021559 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 481286 5893 1 0 492245 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=12108 CPUtime=3480.44 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 70461 0 90 0 346907 1137 0 0 20 0 20 0 18021563 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5944 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=67732 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=1925144 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2691 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1925144 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 481286 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3530.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925144 KiB

[startup+3642.3 s]
/proc/loadavg: 4.96 4.43 4.24 7/320 184318
/proc/meminfo: memFree=71436632/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1925160 CPUtime=3590.65 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 172516 0 134 0 357700 1365 0 0 20 0 20 0 18021559 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 481290 5893 1 0 492248 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=16096 CPUtime=3539.75 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 70835 0 90 0 352823 1152 0 0 20 0 20 0 18021563 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5958 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=1925160 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=1925160 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2691 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1925160 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3590.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3651.7 s]
/proc/loadavg: 4.96 4.44 4.25 6/322 184323
/proc/meminfo: memFree=70768624/131655788 swapFree=131063676/131071996
[pid=182165] ppid=182162 vsize=19108176 memory=1925160 CPUtime=3600.06 cores=0,2
/proc/182165/stat : 182165 (java) S 182162 182165 182119 0 -1 1077936128 172555 0 134 0 358638 1368 0 0 20 0 20 0 18021559 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 0 0 16800975 0 0 0 17 0 0 0 2 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
/proc/182165/statm: 4777044 481290 5893 1 0 492248 0
[pid=182165/tid=182173] ppid=182162 vsize=19108176 memory=16096 CPUtime=3549.06 cores=0,2
/proc/182165/task/182173/stat : 182173 (java) R 182162 182165 182119 0 -1 4194368 70855 0 90 0 353751 1155 0 0 20 0 20 0 18021563 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5958 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182218] ppid=182162 vsize=19108176 memory=1925160 CPUtime=0 cores=0,2
/proc/182165/task/182218/stat : 182218 (Finalizer) S 182162 182165 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182237] ppid=182162 vsize=19108176 memory=5456 CPUtime=0.01 cores=0,2
/proc/182165/task/182237/stat : 182237 (Common-Cleaner) S 182162 182165 182119 0 -1 1077936192 2691 0 0 0 1 0 0 0 20 0 20 0 18021586 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
[pid=182165/tid=182268] ppid=182162 vsize=19108176 memory=1925160 CPUtime=0 cores=0,2
/proc/182165/task/182268/stat : 182268 (Timer-0) S 182162 182165 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021641 19566772224 481290 134679101440 94351529738240 94351529741936 140730029178512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94351529749752 94351529750544 94351558189056 140730029179819 140730029180001 140730029180001 140730029187016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925160 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3586.87 s, system=13.712 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3652.8 s]
/proc/loadavg: 5.05 4.46 4.26 6/304 184326
/proc/meminfo: memFree=72500280/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3653.2 s]
/proc/loadavg: 5.05 4.46 4.26 4/304 184326
/proc/meminfo: memFree=72341680/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3653.6 s]
/proc/loadavg: 5.05 4.46 4.26 4/304 184326
/proc/meminfo: memFree=72341680/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3653.7 s]
/proc/loadavg: 5.05 4.46 4.26 4/304 184326
/proc/meminfo: memFree=72341680/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3662.63
CPU time (s): 3600.58
CPU user time (s): 3586.87
CPU system time (s): 13.712
CPU usage (%): 98.306
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2200220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.87
system time used= 13.712
maximum resident set size= 2200224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174987
page faults= 134
swaps= 0
block input operations= 40560
block output operations= 17020520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122191
involuntary context switches= 27915


# summary of solver processes directly reported to runsolver:
#   pid: 182165
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3586.87
#   total CPU system time (s): 13.712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7071 second user time and 40.4114 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 13:25:25
IDJOB=4440378
IDBENCH=148163
IDSOLVER=3079
FILE ID=nodeC003/4440378-1721820325
RUNJOBID= nodeC003-1721820325-182129
SLURM_JOB_ID= 7891444
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440378-1721820325/watcher-4440378-1721820325 -o /tmp/evaluation-result-4440378-1721820325/solver-4440378-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182129 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440378-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440378-1721820325.opb

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

MD5SUM BENCH= 4d69ec7b86462809048374e94faee566
RANDOM SEED=1968991675

nodeC003.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		: 1197.282
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 1197.286
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.279
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.281
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		: 1197.282
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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.263
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:        91595332 kB
MemAvailable:   129790888 kB
Buffers:          247388 kB
Cached:         38499384 kB
SwapCached:          800 kB
Active:          2502552 kB
Inactive:       36564244 kB
Active(anon):       1972 kB
Inactive(anon):   371588 kB
Active(file):    2500580 kB
Inactive(file): 36192656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:               912 kB
Writeback:             0 kB
AnonPages:        319668 kB
Mapped:           110152 kB
Shmem:             53532 kB
KReclaimable:     564064 kB
Slab:             678132 kB
SReclaimable:     564064 kB
SUnreclaim:       114068 kB
KernelStack:        3472 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     644600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723344 MiB
End job on nodeC003 at 2024-07-24 14:26:28