Trace number 4497339

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 VeriPB 2025-06-06SAT (TO)13 3600.3 3619.05

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
MD5SUM677b01c110d91655b45348559236801a
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 benchmark12
Best CPU time to get the best result obtained on this benchmark0.023518
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables741
Total number of constraints2072
Number of constraints which are clauses2072
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 360
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 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.11/0.13	c Pseudo Boolean Optimization by upper bound
0.11/0.13	c --- Begin Solver configuration ---
0.11/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.13	c Learn all clauses as in MiniSAT
0.11/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.13	c Expensive reason simplification
0.11/0.13	c Glucose 2.1 dynamic restart strategy
0.11/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.13	c timeout=2147483s
0.11/0.13	c DB Simplification allowed=false
0.11/0.13	c Listener: none
0.11/0.13	c --- End Solver configuration ---
0.11/0.13	c solving HOME/instance-4497339-1751405066.opb
0.11/0.13	c reading problem ... 
0.11/0.13	c using VERIPB proof format
0.11/0.13	c  objective function found
0.31/0.22	c ... done. Wall clock time 0.082s.
0.31/0.22	c declared #vars     741
0.31/0.22	c #constraints  2072
0.31/0.22	c constraints type 
0.31/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1588
0.31/0.22	c org.sat4j.specs.Constr$1 => 89
0.31/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 372
0.31/0.22	c org.sat4j.pb.constraints.pb.UnitClausePB => 23
0.31/0.22	c 2072 constraints processed.
0.31/0.23	c objective function length is 360 literals
0.31/0.24	c SATISFIABLE
0.31/0.24	c OPTIMIZING...
0.31/0.24	c Got one! Elapsed wall clock time (in seconds):0.111
0.31/0.24	o 19
0.31/0.25	c Got one! Elapsed wall clock time (in seconds):0.117
0.31/0.25	o 18
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.131
0.31/0.26	o 17
0.89/0.59	c Got one! Elapsed wall clock time (in seconds):0.458
0.89/0.59	o 16
1.66/0.92	c cleaning 2708 clauses out of 5421 with flag 9943/5421
1.66/0.93	c Got one! Elapsed wall clock time (in seconds):0.798
1.66/0.93	o 15
2.25/1.24	c cleaning 3869 clauses out of 7760 with flag 14276/10468
2.64/1.47	c Got one! Elapsed wall clock time (in seconds):1.334
2.64/1.47	o 14
2.85/1.52	c cleaning 4893 clauses out of 9810 with flag 3079/16387
3.45/1.83	c cleaning 5457 clauses out of 10917 with flag 21303/22387
3.97/2.17	c cleaning 6219 clauses out of 12460 with flag 48464/29387
4.37/2.57	c cleaning 7121 clauses out of 14241 with flag 78254/37387
5.02/3.00	c cleaning 8042 clauses out of 16120 with flag 111075/46387
5.44/3.47	c cleaning 9034 clauses out of 18078 with flag 149508/56387
6.05/4.05	c cleaning 10010 clauses out of 20044 with flag 190580/67387
7.08/4.78	c cleaning 11012 clauses out of 22034 with flag 234508/79387
8.05/5.48	c cleaning 11994 clauses out of 24023 with flag 284525/92388
9.16/6.26	c cleaning 12997 clauses out of 26028 with flag 336864/106387
10.54/7.06	c cleaning 14016 clauses out of 28031 with flag 398297/121387
11.48/7.89	c cleaning 14989 clauses out of 30015 with flag 468704/137387
12.44/8.82	c cleaning 15986 clauses out of 32026 with flag 534693/154387
13.33/9.75	c cleaning 17020 clauses out of 34040 with flag 609757/172387
14.46/10.80	c cleaning 17983 clauses out of 36021 with flag 678270/191388
15.56/11.91	c cleaning 19006 clauses out of 38037 with flag 762309/211387
16.76/13.05	c cleaning 20011 clauses out of 40031 with flag 846899/232387
17.96/14.22	c cleaning 21005 clauses out of 42021 with flag 931220/254388
19.15/15.46	c cleaning 21997 clauses out of 44015 with flag 1017484/277387
20.55/16.83	c cleaning 23000 clauses out of 46018 with flag 1108565/301387
21.85/18.16	c cleaning 24000 clauses out of 48020 with flag 1203912/326389
23.39/19.65	c cleaning 25004 clauses out of 50018 with flag 1314244/352387
24.99/21.26	c cleaning 25995 clauses out of 52015 with flag 1415464/379388
26.59/22.88	c cleaning 26995 clauses out of 54019 with flag 1537409/407387
28.18/24.46	c cleaning 28005 clauses out of 56024 with flag 1660768/436387
29.89/26.16	c cleaning 29003 clauses out of 58021 with flag 1799770/466389
31.67/27.96	c cleaning 30005 clauses out of 60018 with flag 1931116/497389
33.47/29.77	c cleaning 31005 clauses out of 62012 with flag 2055709/529388
35.28/31.59	c cleaning 31998 clauses out of 64006 with flag 2179909/562387
37.27/33.58	c cleaning 32989 clauses out of 66008 with flag 2312746/596387
39.27/35.57	c cleaning 33999 clauses out of 68019 with flag 2447434/631387
41.27/37.54	c cleaning 35001 clauses out of 70021 with flag 2573058/667388
43.25/39.78	c cleaning 35993 clauses out of 72022 with flag 2704359/704390
45.45/41.92	c cleaning 36992 clauses out of 74027 with flag 2844747/742388
47.75/44.28	c cleaning 38012 clauses out of 76034 with flag 2981905/781387
50.14/46.66	c cleaning 38986 clauses out of 78022 with flag 3132175/821387
52.65/49.12	c cleaning 40015 clauses out of 80040 with flag 3301694/862391
55.34/51.85	c cleaning 40995 clauses out of 82021 with flag 3479461/904387
57.84/54.37	c cleaning 42001 clauses out of 84027 with flag 3645012/947388
60.44/56.98	c cleaning 42989 clauses out of 86025 with flag 3817909/991387
63.13/59.60	c cleaning 44006 clauses out of 88036 with flag 3977382/1036387
65.72/62.26	c cleaning 44987 clauses out of 90031 with flag 4144462/1082388
68.41/64.90	c cleaning 46015 clauses out of 92043 with flag 4298937/1129387
71.42/67.92	c cleaning 47011 clauses out of 94028 with flag 4453806/1177387
74.38/71.09	c cleaning 47998 clauses out of 96017 with flag 4617018/1226387
77.57/74.23	c cleaning 49006 clauses out of 98019 with flag 4799150/1276387
80.76/77.40	c cleaning 50002 clauses out of 100016 with flag 4980936/1327390
83.77/80.44	c cleaning 51004 clauses out of 102011 with flag 5165304/1379387
86.86/83.57	c cleaning 52000 clauses out of 104008 with flag 5344300/1432388
90.25/86.94	c cleaning 52996 clauses out of 106009 with flag 5523615/1486389
93.44/90.14	c cleaning 53996 clauses out of 108011 with flag 5708422/1541387
96.95/93.68	c cleaning 54986 clauses out of 110015 with flag 5923214/1597387
100.45/97.13	c cleaning 56008 clauses out of 112029 with flag 6138328/1654387
104.10/100.97	c cleaning 57007 clauses out of 114021 with flag 6349786/1712387
107.51/104.34	c cleaning 57997 clauses out of 116014 with flag 6548054/1771387
111.10/107.93	c cleaning 58999 clauses out of 118017 with flag 6725700/1831387
114.49/111.33	c cleaning 60008 clauses out of 120019 with flag 6907801/1892388
118.08/114.98	c cleaning 60995 clauses out of 122010 with flag 7103791/1954387
122.09/118.95	c cleaning 61993 clauses out of 124016 with flag 7299141/2017388
126.07/122.97	c cleaning 63013 clauses out of 126025 with flag 7509175/2081390
129.86/126.71	c cleaning 63992 clauses out of 128012 with flag 7720602/2146390
133.87/130.74	c cleaning 65000 clauses out of 130017 with flag 7940150/2212387
138.04/135.20	c cleaning 65994 clauses out of 132017 with flag 8196543/2279387
142.24/139.45	c cleaning 67006 clauses out of 134023 with flag 8439171/2347387
146.45/143.69	c cleaning 67995 clauses out of 136018 with flag 8689260/2416388
151.14/148.33	c cleaning 69007 clauses out of 138023 with flag 8942146/2486388
155.83/153.05	c cleaning 70001 clauses out of 140015 with flag 9209840/2557387
160.23/157.49	c cleaning 71004 clauses out of 142016 with flag 9456946/2629389
164.82/162.08	c cleaning 71997 clauses out of 144010 with flag 9701011/2702387
169.44/166.90	c cleaning 73005 clauses out of 146013 with flag 9961018/2776387
173.95/171.48	c cleaning 73989 clauses out of 148009 with flag 10205552/2851388
178.64/176.17	c cleaning 74994 clauses out of 150024 with flag 10459979/2927392
183.15/180.64	c cleaning 76003 clauses out of 152025 with flag 10716058/3004387
187.85/185.35	c cleaning 77005 clauses out of 154025 with flag 10958225/3082390
192.63/190.14	c cleaning 78004 clauses out of 156017 with flag 11245782/3161387
197.68/195.30	c cleaning 78995 clauses out of 158014 with flag 11534721/3241388
202.97/200.64	c cleaning 80006 clauses out of 160018 with flag 11844310/3322387
208.29/205.95	c cleaning 81002 clauses out of 162012 with flag 12140027/3404387
213.17/210.84	c cleaning 81998 clauses out of 164010 with flag 12402559/3487387
218.36/216.03	c cleaning 82995 clauses out of 166012 with flag 12659436/3571387
223.48/221.19	c cleaning 83997 clauses out of 168017 with flag 12947043/3656387
228.80/226.77	c cleaning 85002 clauses out of 170020 with flag 13250841/3742387
235.13/233.08	c cleaning 85999 clauses out of 172020 with flag 13537371/3829389
240.61/238.57	c cleaning 87008 clauses out of 174020 with flag 13839074/3917388
246.39/244.37	c cleaning 87999 clauses out of 176013 with flag 14138517/4006389
252.49/250.48	c cleaning 88990 clauses out of 178015 with flag 14441947/4096390
258.75/256.94	c cleaning 90011 clauses out of 180023 with flag 14722794/4187388
264.97/263.13	c cleaning 90982 clauses out of 182014 with flag 15019338/4279390
271.25/269.43	c cleaning 91999 clauses out of 184030 with flag 15319659/4372388
276.97/275.19	c cleaning 93014 clauses out of 186031 with flag 15622611/4466388
283.55/281.70	c cleaning 94004 clauses out of 188021 with flag 15917852/4561392
290.02/288.38	c cleaning 95001 clauses out of 190015 with flag 16272452/4657390
296.41/294.73	c cleaning 95978 clauses out of 192011 with flag 16624318/4754387
302.84/301.17	c cleaning 97005 clauses out of 194033 with flag 16972951/4852387
309.92/308.21	c cleaning 98005 clauses out of 196028 with flag 17309297/4951387
317.44/315.93	c cleaning 99005 clauses out of 198023 with flag 17639564/5051387
324.71/323.29	c cleaning 99999 clauses out of 200018 with flag 17947999/5152387
331.96/330.48	c cleaning 101003 clauses out of 202019 with flag 18290128/5254387
338.85/337.37	c cleaning 101993 clauses out of 204016 with flag 18644121/5357387
346.40/344.86	c cleaning 103006 clauses out of 206023 with flag 18981041/5461387
353.76/352.30	c cleaning 104011 clauses out of 208022 with flag 19292016/5566392
361.49/360.00	c cleaning 104992 clauses out of 210006 with flag 19648583/5672387
369.64/368.12	c cleaning 106002 clauses out of 212016 with flag 20038083/5779389
378.22/376.71	c cleaning 106997 clauses out of 214012 with flag 20455307/5887387
385.94/384.58	c cleaning 107999 clauses out of 216015 with flag 20856968/5996387
393.82/392.44	c cleaning 108995 clauses out of 218016 with flag 21265626/6106387
402.06/400.60	c cleaning 110002 clauses out of 220021 with flag 21684631/6217387
410.01/408.77	c cleaning 110991 clauses out of 222021 with flag 22103761/6329389
417.73/416.40	c cleaning 111997 clauses out of 224030 with flag 22506829/6442389
425.92/424.60	c cleaning 113010 clauses out of 226031 with flag 22891933/6556387
433.63/432.38	c cleaning 113997 clauses out of 228021 with flag 23299259/6671387
442.03/440.87	c cleaning 114996 clauses out of 230024 with flag 23709782/6787387
450.31/449.12	c cleaning 116009 clauses out of 232030 with flag 24122297/6904389
458.35/457.15	c cleaning 117002 clauses out of 234019 with flag 24521739/7022387
466.43/465.24	c cleaning 118004 clauses out of 236018 with flag 24975773/7141388
475.39/474.36	c cleaning 119004 clauses out of 238013 with flag 25436932/7261387
484.52/483.49	c cleaning 120003 clauses out of 240010 with flag 25885043/7382388
494.41/493.34	c cleaning 120978 clauses out of 242006 with flag 26335200/7504387
504.21/503.23	c cleaning 122011 clauses out of 244028 with flag 26804875/7627387
513.06/512.09	c cleaning 122980 clauses out of 246017 with flag 27291838/7751387
523.33/522.38	c cleaning 124011 clauses out of 248038 with flag 27740976/7876388
532.95/532.06	c cleaning 125005 clauses out of 250029 with flag 28237001/8002390
542.80/541.86	c cleaning 125991 clauses out of 252022 with flag 28672297/8129388
554.07/553.18	c cleaning 127005 clauses out of 254030 with flag 29095623/8257387
564.38/563.58	c cleaning 127998 clauses out of 256026 with flag 29575583/8386388
574.93/574.09	c cleaning 128998 clauses out of 258027 with flag 30033068/8516387
584.50/583.65	c cleaning 129997 clauses out of 260029 with flag 30490645/8647387
596.07/595.34	c cleaning 130998 clauses out of 262032 with flag 30923842/8779387
605.92/605.17	c cleaning 132010 clauses out of 264034 with flag 31376206/8912387
616.19/615.49	c cleaning 132997 clauses out of 266028 with flag 31848549/9046391
627.98/627.33	c cleaning 134002 clauses out of 268027 with flag 32300651/9181387
639.52/638.81	c cleaning 134994 clauses out of 270026 with flag 32753028/9317388
650.19/649.53	c cleaning 136014 clauses out of 272031 with flag 33241016/9454387
661.13/660.85	c cleaning 136999 clauses out of 274017 with flag 33683013/9592387
672.65/672.30	c cleaning 137988 clauses out of 276018 with flag 34140471/9731387
684.38/684.03	c cleaning 139005 clauses out of 278031 with flag 34578841/9871388
696.33/696.17	c cleaning 139996 clauses out of 280025 with flag 35073705/10012387
707.75/707.55	c cleaning 141003 clauses out of 282029 with flag 35531078/10154387
718.85/718.71	c cleaning 141986 clauses out of 284027 with flag 35999739/10297388
731.23/731.13	c cleaning 143000 clauses out of 286041 with flag 36511535/10441388
742.94/742.84	c cleaning 144007 clauses out of 288041 with flag 37015702/10586388
754.44/754.43	c cleaning 145012 clauses out of 290033 with flag 37541779/10732387
766.18/766.17	c cleaning 145988 clauses out of 292021 with flag 38060137/10879387
778.21/778.39	c cleaning 147008 clauses out of 294036 with flag 38585486/11027390
792.22/792.35	c cleaning 148002 clauses out of 296025 with flag 39071851/11176387
806.13/806.28	c cleaning 149004 clauses out of 298024 with flag 39588052/11326388
815.02/815.22	c Got one! Elapsed wall clock time (in seconds):815.082
815.02/815.22	o 13
818.12/818.33	c cleaning 143653 clauses out of 287333 with flag 17843/11464701
818.93/819.14	c cleaning 74834 clauses out of 149679 with flag 37789/11470700
819.42/819.67	c cleaning 40917 clauses out of 81847 with flag 63557/11477702
819.92/820.18	c cleaning 24451 clauses out of 48928 with flag 97312/11485700
820.41/820.68	c cleaning 16729 clauses out of 33477 with flag 132716/11494700
821.01/821.20	c cleaning 13360 clauses out of 26748 with flag 169106/11504700
821.51/821.75	c cleaning 12186 clauses out of 24390 with flag 206560/11515702
822.12/822.35	c cleaning 12081 clauses out of 24202 with flag 251399/11527700
822.71/822.99	c cleaning 12556 clauses out of 25121 with flag 298827/11540700
823.41/823.69	c cleaning 13258 clauses out of 26565 with flag 345796/11554700
824.21/824.47	c cleaning 14142 clauses out of 28307 with flag 409040/11569700
825.11/825.32	c cleaning 15073 clauses out of 30168 with flag 473329/11585703
826.00/826.26	c cleaning 16039 clauses out of 32095 with flag 543045/11602703
827.00/827.20	c cleaning 17013 clauses out of 34053 with flag 610377/11620700
828.04/828.24	c cleaning 18007 clauses out of 36041 with flag 680569/11639701
829.15/829.32	c cleaning 19002 clauses out of 38033 with flag 754935/11659700
830.24/830.48	c cleaning 19998 clauses out of 40031 with flag 828525/11680700
831.53/831.74	c cleaning 21017 clauses out of 42035 with flag 902172/11702702
832.94/833.11	c cleaning 22006 clauses out of 44016 with flag 979945/11725700
834.23/834.44	c cleaning 22992 clauses out of 46012 with flag 1062746/11749702
835.62/835.82	c cleaning 24002 clauses out of 48019 with flag 1154233/11774701
837.03/837.22	c cleaning 24999 clauses out of 50016 with flag 1241187/11800700
838.51/838.91	c cleaning 25992 clauses out of 52017 with flag 1333310/11827700
840.14/840.58	c cleaning 26999 clauses out of 54025 with flag 1429977/11855700
841.83/842.29	c cleaning 28002 clauses out of 56026 with flag 1529442/11884700
843.63/844.07	c cleaning 28995 clauses out of 58025 with flag 1634713/11914701
845.43/845.90	c cleaning 30005 clauses out of 60029 with flag 1737877/11945700
847.32/847.79	c cleaning 31010 clauses out of 62024 with flag 1839332/11977700
849.22/849.64	c cleaning 31994 clauses out of 64015 with flag 1941987/12010701
851.23/851.66	c cleaning 32993 clauses out of 66022 with flag 2054546/12044702
853.33/853.76	c cleaning 33999 clauses out of 68027 with flag 2167054/12079700
855.42/855.89	c cleaning 35006 clauses out of 70028 with flag 2274303/12115700
857.82/858.26	c cleaning 36008 clauses out of 72024 with flag 2397941/12152702
860.12/860.50	c cleaning 37000 clauses out of 74016 with flag 2524674/12190702
862.41/862.85	c cleaning 38005 clauses out of 76017 with flag 2642010/12229703
864.83/865.28	c cleaning 38988 clauses out of 78009 with flag 2764264/12269700
867.33/867.78	c cleaning 40011 clauses out of 80022 with flag 2895245/12310701
869.98/870.55	c cleaning 41003 clauses out of 82010 with flag 3040744/12352700
872.87/873.42	c cleaning 41992 clauses out of 84007 with flag 3184745/12395700
875.67/876.20	c cleaning 43005 clauses out of 86016 with flag 3333755/12439701
878.39/878.98	c cleaning 43994 clauses out of 88010 with flag 3491861/12484700
881.38/881.91	c cleaning 44989 clauses out of 90016 with flag 3652987/12530700
884.18/884.79	c cleaning 46008 clauses out of 92027 with flag 3826487/12577700
887.17/887.80	c cleaning 46993 clauses out of 94019 with flag 3996971/12625700
890.30/890.88	c cleaning 48003 clauses out of 96026 with flag 4163861/12674700
893.60/894.14	c cleaning 49002 clauses out of 98023 with flag 4343285/12724700
896.78/897.37	c cleaning 50009 clauses out of 100021 with flag 4529328/12775700
900.08/900.88	c cleaning 50983 clauses out of 102013 with flag 4711604/12827701
903.41/904.19	c cleaning 52010 clauses out of 104029 with flag 4900194/12880700
906.90/907.69	c cleaning 53009 clauses out of 106020 with flag 5106247/12934701
910.29/911.10	c cleaning 53989 clauses out of 108010 with flag 5299972/12989700
913.88/914.61	c cleaning 55010 clauses out of 110021 with flag 5490448/13045700
917.42/918.13	c cleaning 55998 clauses out of 112012 with flag 5693153/13102701
921.10/921.87	c cleaning 56998 clauses out of 114013 with flag 5907564/13160700
925.10/925.54	c cleaning 58002 clauses out of 116017 with flag 6109684/13219703
929.24/929.66	c cleaning 58994 clauses out of 118012 with flag 6303855/13279700
933.55/934.17	c cleaning 60009 clauses out of 120018 with flag 6516483/13340700
937.45/938.01	c cleaning 60998 clauses out of 122009 with flag 6721969/13402700
941.83/942.47	c cleaning 61995 clauses out of 124011 with flag 6927507/13465700
946.17/946.75	c cleaning 63003 clauses out of 126016 with flag 7151239/13529700
950.35/950.91	c cleaning 64007 clauses out of 128016 with flag 7368321/13594703
954.45/955.02	c cleaning 64986 clauses out of 130006 with flag 7603757/13660700
959.49/960.06	c cleaning 65990 clauses out of 132021 with flag 7835710/13727701
964.10/964.80	c cleaning 67015 clauses out of 134030 with flag 8060250/13795700
968.59/969.38	c cleaning 68004 clauses out of 136016 with flag 8290635/13864701
973.24/974.00	c cleaning 68990 clauses out of 138011 with flag 8527349/13934700
978.92/979.64	c cleaning 69995 clauses out of 140021 with flag 8773213/14005700
983.71/984.47	c cleaning 71003 clauses out of 142028 with flag 9024417/14077702
989.04/989.76	c cleaning 72007 clauses out of 144024 with flag 9278931/14150701
993.99/994.86	c cleaning 72986 clauses out of 146018 with flag 9539317/14224702
999.18/1000.00	c cleaning 74007 clauses out of 148032 with flag 9802627/14299702
1004.81/1005.68	c cleaning 74997 clauses out of 150024 with flag 10076346/14375701
1010.20/1011.02	c cleaning 75987 clauses out of 152026 with flag 10366530/14452700
1016.04/1016.89	c cleaning 77012 clauses out of 154039 with flag 10665590/14530700
1021.50/1022.41	c cleaning 78008 clauses out of 156028 with flag 10947715/14609701
1027.09/1028.05	c cleaning 78996 clauses out of 158019 with flag 11257536/14689700
1032.61/1033.55	c cleaning 80008 clauses out of 160024 with flag 11547442/14770701
1038.30/1039.27	c cleaning 81004 clauses out of 162017 with flag 11825822/14852702
1043.99/1045.00	c cleaning 82001 clauses out of 164012 with flag 12117889/14935701
1049.91/1050.88	c cleaning 82995 clauses out of 166010 with flag 12417214/15019700
1055.76/1056.87	c cleaning 83999 clauses out of 168015 with flag 12738171/15104700
1062.00/1063.02	c cleaning 85005 clauses out of 170016 with flag 13056682/15190700
1068.38/1069.41	c cleaning 85994 clauses out of 172013 with flag 13369581/15277702
1075.13/1076.10	c cleaning 87000 clauses out of 174017 with flag 13694682/15365700
1081.81/1082.83	c cleaning 87980 clauses out of 176018 with flag 14006710/15454701
1088.45/1089.68	c cleaning 89012 clauses out of 178037 with flag 14341728/15544700
1095.27/1096.46	c cleaning 89997 clauses out of 180025 with flag 14661372/15635700
1101.96/1103.17	c cleaning 91010 clauses out of 182029 with flag 14998001/15727701
1108.49/1109.69	c cleaning 92000 clauses out of 184018 with flag 15330385/15820700
1115.03/1116.57	c cleaning 92994 clauses out of 186019 with flag 15654857/15914701
1121.68/1123.17	c cleaning 94012 clauses out of 188024 with flag 15989941/16009700
1128.86/1130.34	c cleaning 94980 clauses out of 190012 with flag 16354930/16105700
1136.10/1137.50	c cleaning 95995 clauses out of 192032 with flag 16714917/16202700
1143.95/1145.52	c cleaning 96999 clauses out of 194037 with flag 17079347/16300700
1151.40/1152.98	c cleaning 98019 clauses out of 196039 with flag 17437076/16399701
1158.78/1160.37	c cleaning 98996 clauses out of 198021 with flag 17787732/16499702
1166.12/1167.68	c cleaning 99993 clauses out of 200023 with flag 18157099/16600700
1174.42/1176.13	c cleaning 100999 clauses out of 202030 with flag 18520527/16702700
1182.63/1184.33	c cleaning 102004 clauses out of 204031 with flag 18903024/16805700
1190.48/1192.17	c cleaning 102994 clauses out of 206027 with flag 19282668/16909700
1198.25/1199.90	c cleaning 104011 clauses out of 208034 with flag 19655899/17014701
1206.77/1208.87	c cleaning 104980 clauses out of 210022 with flag 20026155/17120700
1214.35/1216.42	c cleaning 106019 clauses out of 212042 with flag 20398694/17227700
1222.57/1224.65	c cleaning 107002 clauses out of 214023 with flag 20796005/17335700
1230.96/1233.08	c cleaning 107999 clauses out of 216021 with flag 21221312/17444700
1240.24/1242.44	c cleaning 108999 clauses out of 218022 with flag 21619879/17554700
1248.78/1250.96	c cleaning 109995 clauses out of 220024 with flag 22029938/17665701
1257.65/1259.82	c cleaning 110997 clauses out of 222028 with flag 22461471/17777700
1266.25/1268.53	c cleaning 112005 clauses out of 224031 with flag 22894746/17890700
1275.12/1277.45	c cleaning 112999 clauses out of 226026 with flag 23329472/18004700
1283.92/1286.26	c cleaning 114004 clauses out of 228027 with flag 23768168/18119700
1293.85/1296.17	c cleaning 114993 clauses out of 230023 with flag 24208983/18235700
1302.85/1306.60	c cleaning 116001 clauses out of 232030 with flag 24627417/18352700
1311.67/1315.45	c cleaning 117007 clauses out of 234032 with flag 25058470/18470703
1320.69/1324.40	c cleaning 118010 clauses out of 236023 with flag 25477276/18589701
1330.29/1334.07	c cleaning 118989 clauses out of 238012 with flag 25941681/18709700
1339.30/1343.24	c cleaning 119996 clauses out of 240023 with flag 26397870/18830700
1348.92/1352.85	c cleaning 121009 clauses out of 242027 with flag 26855291/18952700
1358.69/1362.69	c cleaning 122000 clauses out of 244018 with flag 27315928/19075700
1368.74/1372.86	c cleaning 123002 clauses out of 246018 with flag 27773493/19199700
1378.87/1382.99	c cleaning 123996 clauses out of 248016 with flag 28243046/19324700
1389.30/1393.36	c cleaning 125009 clauses out of 250021 with flag 28749009/19450701
1399.24/1403.42	c cleaning 125989 clauses out of 252014 with flag 29242145/19577703
1410.04/1414.21	c cleaning 127007 clauses out of 254028 with flag 29754604/19705706
1420.46/1424.68	c cleaning 128001 clauses out of 256015 with flag 30279361/19834700
1431.37/1435.64	c cleaning 129002 clauses out of 258015 with flag 30792275/19964701
1441.50/1445.75	c cleaning 130002 clauses out of 260012 with flag 31341313/20095700
1451.48/1455.70	c cleaning 130992 clauses out of 262010 with flag 31871090/20227700
1462.76/1467.14	c cleaning 131999 clauses out of 264020 with flag 32372558/20360702
1473.85/1478.25	c cleaning 133004 clauses out of 266022 with flag 32916964/20494703
1484.72/1489.30	c cleaning 134000 clauses out of 268015 with flag 33443664/20629700
1496.13/1500.78	c cleaning 134990 clauses out of 270015 with flag 33979560/20765700
1507.45/1511.87	c cleaning 135994 clauses out of 272025 with flag 34538805/20902700
1518.50/1523.09	c cleaning 137003 clauses out of 274032 with flag 35115690/21040701
1531.38/1535.93	c cleaning 138009 clauses out of 276028 with flag 35712675/21179700
1542.68/1547.23	c cleaning 139000 clauses out of 278019 with flag 36293261/21319700
1555.00/1559.66	c cleaning 140008 clauses out of 280019 with flag 36907122/21460700
1570.37/1575.09	c cleaning 140985 clauses out of 282012 with flag 37476688/21602701
1584.10/1588.85	c cleaning 142005 clauses out of 284027 with flag 38030553/21745701
1596.02/1600.73	c cleaning 143007 clauses out of 286021 with flag 38600634/21889700
1607.19/1611.94	c cleaning 143987 clauses out of 288014 with flag 39132115/22034700
1619.50/1624.20	c cleaning 145005 clauses out of 290027 with flag 39688545/22180700
1633.12/1637.88	c cleaning 145992 clauses out of 292022 with flag 40237931/22327700
1646.11/1650.94	c cleaning 147003 clauses out of 294030 with flag 40788522/22475700
1660.23/1665.05	c cleaning 148011 clauses out of 296028 with flag 41377000/22624701
1673.66/1678.58	c cleaning 148998 clauses out of 298016 with flag 41971250/22774700
1687.59/1692.47	c cleaning 150000 clauses out of 300022 with flag 42591436/22925704
1705.18/1710.15	c cleaning 150993 clauses out of 302018 with flag 43176865/23077700
1720.98/1726.00	c cleaning 151998 clauses out of 304025 with flag 43754258/23230700
1735.44/1740.48	c cleaning 152996 clauses out of 306027 with flag 44366763/23384700
1750.36/1755.35	c cleaning 154009 clauses out of 308032 with flag 44957031/23539701
1763.56/1768.64	c cleaning 155011 clauses out of 310022 with flag 45570777/23695700
1778.56/1783.66	c cleaning 155987 clauses out of 312011 with flag 46184051/23852700
1793.18/1798.39	c cleaning 157000 clauses out of 314024 with flag 46827765/24010700
1809.90/1815.10	c cleaning 158013 clauses out of 316025 with flag 47461905/24169701
1824.27/1829.59	c cleaning 158995 clauses out of 318011 with flag 48039649/24329700
1837.80/1843.01	c cleaning 160002 clauses out of 320020 with flag 48675709/24490704
1850.90/1856.17	c cleaning 160997 clauses out of 322014 with flag 49348665/24652700
1865.87/1871.20	c cleaning 162003 clauses out of 324017 with flag 50057940/24815700
1880.80/1886.13	c cleaning 162996 clauses out of 326014 with flag 50787390/24979700
1896.30/1901.73	c cleaning 163996 clauses out of 328018 with flag 51495914/25144700
1909.27/1914.73	c cleaning 164996 clauses out of 330023 with flag 52156588/25310701
1925.03/1930.64	c cleaning 166001 clauses out of 332026 with flag 52921353/25477700
1939.73/1945.39	c cleaning 166996 clauses out of 334025 with flag 53674676/25645700
1959.92/1965.60	c cleaning 168002 clauses out of 336029 with flag 54425212/25814700
1976.75/1982.77	c cleaning 169004 clauses out of 338027 with flag 55049019/25984700
1993.30/1999.39	c cleaning 169994 clauses out of 340023 with flag 55693019/26155700
2008.50/2014.65	c cleaning 171011 clauses out of 342029 with flag 56331497/26327700
2023.70/2029.89	c cleaning 171996 clauses out of 344018 with flag 56991631/26500700
2040.09/2046.36	c cleaning 172999 clauses out of 346024 with flag 57647663/26674702
2055.92/2062.18	c cleaning 173986 clauses out of 348023 with flag 58306652/26849700
2073.51/2079.87	c cleaning 175002 clauses out of 350037 with flag 58967193/27025700
2092.83/2099.16	c cleaning 176005 clauses out of 352035 with flag 59607967/27202700
2111.31/2117.73	c cleaning 176994 clauses out of 354030 with flag 60259842/27380700
2127.96/2134.49	c cleaning 178008 clauses out of 356038 with flag 60945934/27559702
2144.88/2151.34	c cleaning 178996 clauses out of 358028 with flag 61674999/27739700
2163.62/2170.17	c cleaning 179998 clauses out of 360032 with flag 62448378/27920700
2181.54/2188.03	c cleaning 180998 clauses out of 362034 with flag 63265578/28102700
2197.58/2204.13	c cleaning 182002 clauses out of 364037 with flag 64083807/28285701
2214.38/2220.92	c cleaning 183000 clauses out of 366034 with flag 64899567/28469700
2231.22/2237.83	c cleaning 183998 clauses out of 368034 with flag 65693493/28654700
2248.64/2255.23	c cleaning 185002 clauses out of 370036 with flag 66510829/28840700
2264.33/2271.07	c cleaning 186007 clauses out of 372035 with flag 67322029/29027701
2280.85/2287.62	c cleaning 187006 clauses out of 374027 with flag 68166208/29215700
2305.93/2312.75	c cleaning 188000 clauses out of 376021 with flag 68914434/29404700
2333.95/2340.94	c cleaning 189006 clauses out of 378023 with flag 69606110/29594702
2358.26/2365.32	c cleaning 190002 clauses out of 380017 with flag 70319053/29785702
2377.40/2384.53	c cleaning 190998 clauses out of 382014 with flag 71063238/29977701
2399.79/2406.94	c cleaning 191978 clauses out of 384015 with flag 71867706/30170700
2418.65/2425.87	c cleaning 193010 clauses out of 386037 with flag 72624422/30364700
2440.49/2447.77	c cleaning 193994 clauses out of 388027 with flag 73387042/30559700
2469.54/2476.95	c cleaning 195008 clauses out of 390033 with flag 74137662/30755700
2486.97/2494.31	c cleaning 195984 clauses out of 392025 with flag 74923072/30952700
2506.97/2514.76	c cleaning 197006 clauses out of 394041 with flag 75671952/31150700
2529.62/2537.45	c cleaning 198005 clauses out of 396034 with flag 76412771/31349700
2549.26/2557.07	c cleaning 199004 clauses out of 398030 with flag 77153976/31549701
2568.90/2576.61	c cleaning 200010 clauses out of 400025 with flag 77906163/31750700
2587.18/2597.55	c cleaning 200979 clauses out of 402015 with flag 78677448/31952700
2608.77/2619.17	c cleaning 202005 clauses out of 404038 with flag 79426195/32155702
2632.35/2645.38	c cleaning 203009 clauses out of 406031 with flag 80170065/32359700
2654.21/2669.06	c cleaning 204005 clauses out of 408022 with flag 80943599/32564700
2677.81/2692.65	c cleaning 204996 clauses out of 410017 with flag 81773722/32770700
2702.19/2717.05	c cleaning 206000 clauses out of 412021 with flag 82639725/32977700
2723.05/2737.97	c cleaning 206987 clauses out of 414024 with flag 83495522/33185703
2744.34/2759.27	c cleaning 208003 clauses out of 416034 with flag 84428445/33394700
2766.57/2781.47	c cleaning 209009 clauses out of 418033 with flag 85348433/33604702
2791.04/2805.90	c cleaning 209993 clauses out of 420025 with flag 86150862/33815703
2812.50/2827.44	c cleaning 211008 clauses out of 422031 with flag 86949906/34027702
2836.58/2851.56	c cleaning 211994 clauses out of 424026 with flag 87759793/34240705
2859.03/2874.07	c cleaning 212996 clauses out of 426027 with flag 88616919/34454700
2882.21/2897.26	c cleaning 214014 clauses out of 428035 with flag 89479378/34669704
2907.49/2922.50	c cleaning 214997 clauses out of 430018 with flag 90372565/34885701
2932.35/2947.49	c cleaning 216001 clauses out of 432022 with flag 91192338/35102702
2955.21/2970.32	c cleaning 217004 clauses out of 434019 with flag 91996997/35320700
2977.30/2992.42	c cleaning 218000 clauses out of 436016 with flag 92818355/35539701
2999.26/3014.49	c cleaning 218990 clauses out of 438015 with flag 93665718/35759700
3018.95/3034.14	c cleaning 220002 clauses out of 440026 with flag 94462396/35980701
3042.80/3058.10	c cleaning 221002 clauses out of 442025 with flag 95339059/36202702
3063.96/3079.22	c cleaning 222009 clauses out of 444021 with flag 96252665/36425700
3085.91/3101.26	c cleaning 222999 clauses out of 446013 with flag 97078817/36649701
3109.14/3124.26	c cleaning 223999 clauses out of 448013 with flag 97915628/36874700
3131.76/3147.00	c cleaning 224995 clauses out of 450014 with flag 98742197/37100700
3155.59/3170.86	c cleaning 226010 clauses out of 452021 with flag 99586213/37327702
3180.06/3195.30	c cleaning 226993 clauses out of 454009 with flag 100543379/37555700
3203.35/3218.60	c cleaning 227991 clauses out of 456016 with flag 101461236/37784700
3231.39/3246.71	c cleaning 229003 clauses out of 458025 with flag 102342795/38014700
3259.61/3278.01	c cleaning 229988 clauses out of 460025 with flag 103233329/38245703
3282.86/3301.34	c cleaning 231011 clauses out of 462035 with flag 104107433/38477701
3307.73/3326.23	c cleaning 232002 clauses out of 464023 with flag 104977163/38710700
3332.01/3350.50	c cleaning 233005 clauses out of 466021 with flag 105877418/38944700
3357.21/3375.73	c cleaning 234005 clauses out of 468016 with flag 106792163/39179700
3382.31/3400.89	c cleaning 234985 clauses out of 470012 with flag 107796726/39415701
3407.47/3426.03	c cleaning 236008 clauses out of 472026 with flag 108857757/39652700
3432.22/3450.81	c cleaning 236994 clauses out of 474018 with flag 109907301/39890700
3459.18/3477.89	c cleaning 237999 clauses out of 476024 with flag 110823053/40129700
3485.15/3503.86	c cleaning 239011 clauses out of 478033 with flag 111723608/40369708
3510.50/3529.22	c cleaning 239995 clauses out of 480014 with flag 112620746/40610700
3536.60/3555.32	c cleaning 241007 clauses out of 482021 with flag 113550563/40852702
3565.06/3583.84	c cleaning 242002 clauses out of 484013 with flag 114564368/41095701
3594.88/3613.74	c cleaning 243001 clauses out of 486010 with flag 115545288/41339700
3600.06/3618.91	c starts		: 27491
3600.06/3618.93	c conflicts		: 41408928
3600.06/3618.93	c decisions		: 138953251
3600.06/3618.93	c propagations		: 10688530038
3600.06/3618.93	c inspects		: 32464099132
3600.06/3618.93	c shortcuts		: 0
3600.06/3618.93	c learnt literals	: 2
3600.06/3618.93	c learnt binary clauses	: 34
3600.06/3618.93	c learnt ternary clauses	: 35
3600.06/3618.93	c learnt constraints	: 41408926
3600.06/3618.93	c ignored constraints	: 0
3600.06/3618.93	c root simplifications	: 0
3600.06/3618.93	c removed literals (reason simplification)	: 332228138
3600.06/3618.93	c reason swapping (by a shorter reason)	: 0
3600.06/3618.93	c Calls to reduceDB	: 388
3600.06/3618.93	c Number of update (reduction) of LBD	: 15808995
3600.06/3618.93	c Imported unit clauses	: 0
3600.06/3618.93	c No decision after first conflict	: false
3600.06/3618.93	c number of reductions to clauses (during analyze)	: 0
3600.06/3618.93	c number of learned constraints concerned by reduction	: 0
3600.06/3618.93	c number of learning phase by resolution	: 0
3600.06/3618.93	c number of learning phase by cutting planes	: 0
3600.06/3618.93	c number of rounding to 1 operations	: 0
3600.06/3618.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3618.93	c number of reductions of the coefficients by power 2 	: 0
3600.06/3618.93	c number of right shift for reduction by power 2 	: 0
3600.06/3618.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3618.93	c number of ending skipping 	: 0
3600.06/3618.93	c number of internal skipping 	: 0
3600.06/3618.93	c number of derivation steps 	: 0
3600.06/3618.93	c number of skipped derivation steps 	: 0
3600.06/3618.93	c number of remaining unassigned 	: 0
3600.06/3618.93	c number of remaining assigned 	: 0
3600.06/3618.93	c number of falsified literals weakened from reason	: 0
3600.06/3618.93	c number of falsified literals weakened from conflict	: 0
3600.06/3618.93	c time for arithmetic operations	: 0
3600.06/3618.94	c minimum degree of deleted constraints	: null
3600.06/3618.94	c maximum degree of deleted constraints	: null
3600.06/3618.94	c number of deleted constraints	: 0
3600.06/3618.94	c speed (assignments/second)	: 2953692.5095496974
3600.06/3618.94	c non guided choices	: 4
3600.06/3619.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 312203
3600.06/3619.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 34
3600.06/3619.00	s SATISFIABLE
3600.06/3619.00	c Found 7 solution(s)
3600.27/3619.01	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 
3600.27/3619.01	c objective function=13
3600.27/3619.01	c Total wall clock time (in seconds): 3618.876

Verifier Data 

OK	13

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497339-1751405066/watcher-4497339-1751405066 -o /tmp/evaluation-result-4497339-1751405066/solver-4497339-1751405066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57978 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497339-1751405066 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497339-1751405066.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=58159, runsolver pid=58156

[startup+0.10006 s]*
/proc/loadavg: 1.70 2.50 3.29 8/343 58177
/proc/meminfo: memFree=129367624/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=18930384 memory=55572 CPUtime=0.11 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 6551 0 0 0 10 1 0 0 20 0 18 0 56184141 19384713216 13893 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4732596 13893 5328 1 0 547604 0
[pid=58159/tid=58161] ppid=58156 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 5053 0 0 0 6 1 0 0 20 0 18 0 56184142 19384713216 13893 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56184145 19384713216 13893 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56184145 19384713216 13893 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55572 KiB

[startup+0.205856 s]*
/proc/loadavg: 1.70 2.50 3.29 9/343 58177
/proc/meminfo: memFree=129361516/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=18930384 memory=64288 CPUtime=0.31 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 7070 0 0 0 29 2 0 0 20 0 18 0 56184141 19384713216 16072 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4732596 16072 5456 1 0 547947 0
[pid=58159/tid=58161] ppid=58156 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 5312 0 0 0 15 1 0 0 20 0 18 0 56184142 19384713216 16072 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56184145 19384713216 16072 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56184145 19384713216 16072 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64288 KiB

[startup+0.305728 s]*
/proc/loadavg: 1.70 2.50 3.29 9/344 58178
/proc/meminfo: memFree=129356728/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=18996948 memory=73952 CPUtime=0.5 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 8917 0 0 0 48 2 0 0 20 0 19 0 56184141 19452874752 18488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4749237 18488 5488 1 0 549470 0
[pid=58159/tid=58161] ppid=58156 vsize=18996948 memory=-6000919481296708714 CPUtime=0.25 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 5481 0 0 0 24 1 0 0 20 0 19 0 56184142 19452874752 18488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56184145 19452874752 18488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56184145 19452874752 18488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56184165 19452874752 18488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73952 KiB

[startup+0.700228 s]
/proc/loadavg: 1.70 2.50 3.29 8/344 58178
/proc/meminfo: memFree=129333180/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=18996948 memory=123380 CPUtime=1.26 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 12805 0 0 0 122 4 0 0 20 0 19 0 56184141 19452874752 30845 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4749237 30845 5488 1 0 551925 0
[pid=58159/tid=58161] ppid=58156 vsize=18996948 memory=18432 CPUtime=0.62 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 5526 0 0 0 60 2 0 0 20 0 19 0 56184142 19452874752 30845 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56184145 19452874752 30845 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56184145 19452874752 30845 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56184165 19452874752 30845 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123380 KiB

[startup+1.50024 s]
/proc/loadavg: 1.70 2.50 3.29 7/344 58178
/proc/meminfo: memFree=129278772/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=174064 CPUtime=2.85 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 20364 0 0 0 278 7 0 0 20 0 20 0 56184141 19521036288 43516 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 43516 5520 1 0 553279 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=0 CPUtime=1.39 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 6007 0 0 0 136 3 0 0 20 0 20 0 56184142 19521036288 43516 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 43516 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 43516 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 43516 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174064 KiB

[startup+3.10559 s]
/proc/loadavg: 2.04 2.56 3.31 5/345 58179
/proc/meminfo: memFree=129238696/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=177472 CPUtime=5.14 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 22531 0 0 0 506 8 0 0 20 0 20 0 56184141 19521036288 44368 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 44368 5520 1 0 553499 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=10752 CPUtime=2.97 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 6493 0 0 0 294 3 0 0 20 0 20 0 56184142 19521036288 44368 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=-6000919481296708714 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 44368 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 44368 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 44368 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177472 KiB

[startup+6.30022 s]
/proc/loadavg: 2.04 2.56 3.31 6/345 58179
/proc/meminfo: memFree=128916552/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=364952 CPUtime=9.34 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 32069 0 0 0 920 14 0 0 20 0 20 0 56184141 19521036288 91238 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 91238 5520 1 0 555205 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=0 CPUtime=6.14 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 7823 0 0 0 607 7 0 0 20 0 20 0 56184142 19521036288 91238 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 91238 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 91238 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=174192 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 91238 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 364952 KiB

[startup+12.7002 s]
/proc/loadavg: 2.49 2.64 3.33 5/345 58179
/proc/meminfo: memFree=128116664/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=590688 CPUtime=16.45 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 40848 0 0 0 1623 22 0 0 20 0 20 0 56184141 19521036288 147672 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 147672 5520 1 0 555781 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=174192 CPUtime=12.44 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 9258 0 0 0 1230 14 0 0 20 0 20 0 56184142 19521036288 147672 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=590688 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 147672 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 147672 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 147672 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 16.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 590688 KiB

[startup+25.5002 s]
/proc/loadavg: 2.80 2.70 3.34 5/343 58179
/proc/meminfo: memFree=125604180/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=1320016 CPUtime=29.28 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 44026 0 0 0 2890 38 0 0 20 0 20 0 56184141 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 330004 5552 1 0 555781 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=1320016 CPUtime=25.2 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 10694 0 0 0 2490 30 0 0 20 0 20 0 56184142 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=1320016 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 29.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320016 KiB

[startup+51.1056 s]
/proc/loadavg: 3.21 2.81 3.36 5/344 58181
/proc/meminfo: memFree=124435256/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=1320016 CPUtime=54.64 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 46008 0 0 0 5417 47 0 0 20 0 20 0 56184141 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 330004 5552 1 0 555781 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=1320016 CPUtime=50.52 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 10984 0 0 0 5013 39 0 0 20 0 20 0 56184142 19521036288 330004 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0

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

/proc/meminfo: memFree=98609012/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173056 CPUtime=3263.9 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 121356 0 0 0 325752 638 0 0 20 0 20 0 56184141 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543264 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=18432 CPUtime=3239.56 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 44248 0 0 0 323407 549 0 0 20 0 20 0 56184142 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1331 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3263.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/344 58368
/proc/meminfo: memFree=98225336/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173056 CPUtime=3323.82 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 123150 0 0 0 331737 645 0 0 20 0 20 0 56184141 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543264 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=10752 CPUtime=3299.18 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 45142 0 0 0 329363 555 0 0 20 0 20 0 56184142 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1388 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3323.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/346 58372
/proc/meminfo: memFree=97848612/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173056 CPUtime=3383.8 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 123304 0 0 0 337727 653 0 0 20 0 20 0 56184141 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543264 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=10752 CPUtime=3358.75 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 45162 0 0 0 335313 562 0 0 20 0 20 0 56184142 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=9216 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1447 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=2173056 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3383.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/346 58374
/proc/meminfo: memFree=97460168/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173056 CPUtime=3443.74 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 124785 0 0 0 343712 662 0 0 20 0 20 0 56184141 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543264 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=5632 CPUtime=3418.35 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 45975 0 0 0 341265 570 0 0 20 0 20 0 56184142 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=2173056 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=2173056 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1447 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=2173056 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543264 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3443.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.13 4.09 5/346 58376
/proc/meminfo: memFree=97085980/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173184 CPUtime=3503.61 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 125917 0 0 0 349689 672 0 0 20 0 20 0 56184141 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543296 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=2173056 CPUtime=3478.03 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 46810 0 0 0 347224 579 0 0 20 0 20 0 56184142 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=2173184 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=2173056 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3503.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/344 58382
/proc/meminfo: memFree=96745380/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173184 CPUtime=3563.57 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 126830 0 0 0 355675 682 0 0 20 0 20 0 56184141 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543296 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=14848 CPUtime=3537.56 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 47077 0 0 0 353169 587 0 0 20 0 20 0 56184142 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=2173184 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=2173184 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1537 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=-4421386513360773986 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3563.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.9 s]
/proc/loadavg: 4.22 4.15 4.10 5/345 58452
/proc/meminfo: memFree=103311208/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19063512 memory=2173184 CPUtime=3600.06 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 126971 0 0 0 359319 687 0 0 20 0 20 0 56184141 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4765878 543296 5552 1 0 557198 0
[pid=58159/tid=58161] ppid=58156 vsize=19063512 memory=2173184 CPUtime=3573.94 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 47180 0 0 0 356802 592 0 0 20 0 20 0 56184142 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19063512 memory=2173184 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19063512 memory=2173184 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1537 0 0 0 0 0 0 0 20 0 20 0 56184145 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58178] ppid=58156 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/58159/task/58178/stat : 58178 (Timer-0) S 58156 58159 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56184165 19521036288 543296 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.41 s, system=6.89107 s

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

[startup+3619 s]*
/proc/loadavg: 4.22 4.15 4.10 6/346 58455
/proc/meminfo: memFree=103285124/131249988 swapFree=33010672/33010684
[pid=58159] ppid=58156 vsize=19263204 memory=2173952 CPUtime=3600.27 cores=0,2
/proc/58159/stat : 58159 (java) S 58156 58159 57968 0 -1 4194304 129622 0 0 0 359340 687 0 0 20 0 21 0 56184141 19725520896 543488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
/proc/58159/statm: 4815801 543488 5552 1 0 558159 0
[pid=58159/tid=58161] ppid=58156 vsize=19263204 memory=-6000919468461941866 CPUtime=3574.04 cores=0,2
/proc/58159/task/58161/stat : 58161 (java) R 58156 58159 57968 0 -1 4194368 47411 0 0 0 356812 592 0 0 20 0 21 0 56184142 19725520896 543488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58170] ppid=58156 vsize=19263204 memory=56286368760204 CPUtime=0 cores=0,2
/proc/58159/task/58170/stat : 58170 (Finalizer) S 58156 58159 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56184145 19725520896 543488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58177] ppid=58156 vsize=19263204 memory=15818885064557967 CPUtime=0 cores=0,2
/proc/58159/task/58177/stat : 58177 (Common-Cleaner) S 58156 58159 57968 0 -1 4194368 1537 0 0 0 0 0 0 0 20 0 21 0 56184145 19725520896 543488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
[pid=58159/tid=58455] ppid=58156 vsize=19263204 memory=24104 CPUtime=0.06 cores=0,2
/proc/58159/task/58455/stat : 58455 (Thread-0) R 58156 58159 57968 0 -1 4194368 316 0 0 0 6 0 0 0 20 0 21 0 56546032 19725520896 543488 18446744073709551615 94844975878144 94844975881840 140720994953120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94844975889656 94844975890448 94845007273984 140720994957616 140720994957798 140720994957798 140720994963400 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173952 KiB

Child status: 143

Real time (s): 3619.05
CPU time (s): 3600.3
CPU user time (s): 3593.41
CPU system time (s): 6.89107
CPU usage (%): 99.4818
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.41
system time used= 6.89107
maximum resident set size= 2174080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12751784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116957
involuntary context switches= 8230


# summary of solver processes directly reported to runsolver:
#   pid: 58159
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3593.41
#   total CPU system time (s): 6.89107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45836 second user time and 17.1645 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 23:24:26
IDJOB=4497339
IDBENCH=148177
IDSOLVER=3364
FILE ID=nodeC020/4497339-1751405066
RUNJOBID= nodeC020-1751405064-57978
SLURM_JOB_ID= 9598292
Free space on /tmp= 432712 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497339-1751405066/watcher-4497339-1751405066 -o /tmp/evaluation-result-4497339-1751405066/solver-4497339-1751405066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57978 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497339-1751405066 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497339-1751405066.opb

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

MD5SUM BENCH= 677b01c110d91655b45348559236801a
RANDOM SEED=515059220

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129393932 kB
MemAvailable:   129299704 kB
Buffers:            2128 kB
Cached:           710316 kB
SwapCached:            8 kB
Active:           974224 kB
Inactive:         273112 kB
Active(anon):     530476 kB
Inactive(anon):    22512 kB
Active(file):     443748 kB
Inactive(file):   250600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10680 kB
Writeback:            40 kB
AnonPages:        538080 kB
Mapped:           123508 kB
Shmem:             18048 kB
KReclaimable:     101324 kB
Slab:             190120 kB
SReclaimable:     101324 kB
SUnreclaim:        88796 kB
KernelStack:        5312 kB
PageTables:         4796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7053384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432712 MiB
End job on nodeC020 at 2025-07-02 00:24:45