Trace number 4497338

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 2025-06-06SAT (TO)13 3600.19 3602.9

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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version PB25.v20250606
0.07/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.12	c java.vm.version	22.0.1+8-16
0.07/0.12	c java.vm.vendor	Oracle Corporation
0.07/0.12	c sun.arch.data.model	64
0.07/0.12	c java.version		22.0.1
0.07/0.12	c os.name		Linux
0.07/0.12	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.07/0.12	c os.arch		amd64
0.07/0.12	c Free memory 		2104792832
0.07/0.12	c Max memory 		16282288128
0.07/0.12	c Total memory 		2113929216
0.07/0.13	c Number of processors 	2
0.07/0.16	c Pseudo Boolean Optimization by upper bound
0.07/0.16	c --- Begin Solver configuration ---
0.07/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.07/0.16	c Learn all clauses as in MiniSAT
0.07/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.16	c Expensive reason simplification
0.07/0.16	c Glucose 2.1 dynamic restart strategy
0.07/0.16	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.07/0.16	c timeout=2147483s
0.07/0.16	c DB Simplification allowed=false
0.07/0.16	c Listener: none
0.07/0.16	c --- End Solver configuration ---
0.07/0.16	c solving HOME/instance-4497338-1751386581.opb
0.07/0.16	c reading problem ... 
0.07/0.16	c  objective function found
0.26/0.24	c ... done. Wall clock time 0.072s.
0.26/0.24	c declared #vars     741
0.26/0.24	c #constraints  2072
0.26/0.24	c constraints type 
0.26/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1588
0.26/0.24	c org.sat4j.specs.Constr$1 => 89
0.26/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 372
0.26/0.24	c org.sat4j.pb.constraints.pb.UnitClausePB => 23
0.26/0.24	c 2072 constraints processed.
0.26/0.25	c objective function length is 360 literals
0.26/0.26	c SATISFIABLE
0.26/0.26	c OPTIMIZING...
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.102
0.26/0.26	o 19
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.107
0.26/0.27	o 18
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.113
0.26/0.27	o 17
0.84/0.52	c Got one! Elapsed wall clock time (in seconds):0.362
0.84/0.52	o 16
1.21/0.75	c cleaning 2708 clauses out of 5421 with flag 9943/5421
1.21/0.76	c Got one! Elapsed wall clock time (in seconds):0.594
1.21/0.76	o 15
1.58/0.95	c cleaning 3869 clauses out of 7760 with flag 14276/10468
1.88/1.13	c Got one! Elapsed wall clock time (in seconds):0.966
1.88/1.13	o 14
1.88/1.17	c cleaning 4893 clauses out of 9810 with flag 3079/16387
2.31/1.42	c cleaning 5457 clauses out of 10917 with flag 21303/22387
2.77/1.73	c cleaning 6219 clauses out of 12460 with flag 48464/29387
3.08/2.08	c cleaning 7121 clauses out of 14241 with flag 78254/37387
3.49/2.49	c cleaning 8042 clauses out of 16120 with flag 111075/46387
3.98/2.92	c cleaning 9034 clauses out of 18078 with flag 149508/56387
4.48/3.47	c cleaning 10010 clauses out of 20044 with flag 190580/67387
5.42/4.17	c cleaning 11012 clauses out of 22034 with flag 234508/79387
6.21/4.84	c cleaning 11994 clauses out of 24023 with flag 284525/92388
7.08/5.57	c cleaning 12997 clauses out of 26028 with flag 336864/106387
8.20/6.28	c cleaning 14016 clauses out of 28031 with flag 398297/121387
9.03/7.04	c cleaning 14989 clauses out of 30015 with flag 468704/137387
9.84/7.85	c cleaning 15986 clauses out of 32026 with flag 534693/154387
10.74/8.72	c cleaning 17020 clauses out of 34040 with flag 609757/172387
11.74/9.73	c cleaning 17983 clauses out of 36021 with flag 678270/191388
12.74/10.79	c cleaning 19006 clauses out of 38037 with flag 762309/211387
13.84/11.89	c cleaning 20011 clauses out of 40031 with flag 846899/232387
14.94/12.99	c cleaning 21005 clauses out of 42021 with flag 931220/254388
16.15/14.16	c cleaning 21997 clauses out of 44015 with flag 1017484/277387
17.44/15.45	c cleaning 23000 clauses out of 46018 with flag 1108565/301387
18.74/16.73	c cleaning 24000 clauses out of 48020 with flag 1203912/326389
20.15/18.18	c cleaning 25004 clauses out of 50018 with flag 1314244/352387
21.74/19.79	c cleaning 25995 clauses out of 52015 with flag 1415464/379388
23.43/21.40	c cleaning 26995 clauses out of 54019 with flag 1537409/407387
24.93/22.96	c cleaning 28005 clauses out of 56024 with flag 1660768/436387
26.64/24.63	c cleaning 29003 clauses out of 58021 with flag 1799770/466389
28.43/26.43	c cleaning 30005 clauses out of 60018 with flag 1931116/497389
30.23/28.20	c cleaning 31005 clauses out of 62012 with flag 2055709/529388
31.92/29.95	c cleaning 31998 clauses out of 64006 with flag 2179909/562387
33.82/31.88	c cleaning 32989 clauses out of 66008 with flag 2312746/596387
35.81/33.84	c cleaning 33999 clauses out of 68019 with flag 2447434/631387
37.71/35.79	c cleaning 35001 clauses out of 70021 with flag 2573058/667388
39.80/37.81	c cleaning 35993 clauses out of 72022 with flag 2704359/704390
41.90/39.93	c cleaning 36992 clauses out of 74027 with flag 2844747/742388
44.19/42.22	c cleaning 38012 clauses out of 76034 with flag 2981905/781387
46.49/44.52	c cleaning 38986 clauses out of 78022 with flag 3132175/821387
48.88/46.99	c cleaning 40015 clauses out of 80040 with flag 3301694/862391
51.68/49.72	c cleaning 40995 clauses out of 82021 with flag 3479461/904387
54.09/52.17	c cleaning 42001 clauses out of 84027 with flag 3645012/947388
56.69/54.76	c cleaning 42989 clauses out of 86025 with flag 3817909/991387
59.28/57.32	c cleaning 44006 clauses out of 88036 with flag 3977382/1036387
61.87/59.94	c cleaning 44987 clauses out of 90031 with flag 4144462/1082388
64.37/62.49	c cleaning 46015 clauses out of 92043 with flag 4298937/1129387
67.36/65.40	c cleaning 47011 clauses out of 94028 with flag 4453806/1177387
70.26/68.37	c cleaning 47998 clauses out of 96017 with flag 4617018/1226387
73.36/71.46	c cleaning 49006 clauses out of 98019 with flag 4799150/1276387
76.58/74.65	c cleaning 50002 clauses out of 100016 with flag 4980936/1327390
79.57/77.67	c cleaning 51004 clauses out of 102011 with flag 5165304/1379387
82.76/80.83	c cleaning 52000 clauses out of 104008 with flag 5344300/1432388
86.15/84.20	c cleaning 52996 clauses out of 106009 with flag 5523615/1486389
89.35/87.43	c cleaning 53996 clauses out of 108011 with flag 5708422/1541387
92.95/91.05	c cleaning 54986 clauses out of 110015 with flag 5923214/1597387
96.47/94.56	c cleaning 56008 clauses out of 112029 with flag 6138328/1654387
100.26/98.39	c cleaning 57007 clauses out of 114021 with flag 6349786/1712387
103.75/101.80	c cleaning 57997 clauses out of 116014 with flag 6548054/1771387
107.24/105.37	c cleaning 58999 clauses out of 118017 with flag 6725700/1831387
110.64/108.76	c cleaning 60008 clauses out of 120019 with flag 6907801/1892388
114.43/112.50	c cleaning 60995 clauses out of 122010 with flag 7103791/1954387
118.56/116.65	c cleaning 61993 clauses out of 124016 with flag 7299141/2017388
122.62/120.77	c cleaning 63013 clauses out of 126025 with flag 7509175/2081390
126.49/124.63	c cleaning 63992 clauses out of 128012 with flag 7720602/2146390
130.68/128.84	c cleaning 65000 clauses out of 130017 with flag 7940150/2212387
134.88/133.06	c cleaning 65994 clauses out of 132017 with flag 8196543/2279387
139.16/137.37	c cleaning 67006 clauses out of 134023 with flag 8439171/2347387
143.49/141.67	c cleaning 67995 clauses out of 136018 with flag 8689260/2416388
148.18/146.34	c cleaning 69007 clauses out of 138023 with flag 8942146/2486388
152.98/151.17	c cleaning 70001 clauses out of 140015 with flag 9209840/2557387
157.56/155.74	c cleaning 71004 clauses out of 142016 with flag 9456946/2629389
162.30/160.47	c cleaning 71997 clauses out of 144010 with flag 9701011/2702387
166.99/165.16	c cleaning 73005 clauses out of 146013 with flag 9961018/2776387
171.79/169.91	c cleaning 73989 clauses out of 148009 with flag 10205552/2851388
176.58/174.77	c cleaning 74994 clauses out of 150024 with flag 10459979/2927392
181.07/179.29	c cleaning 76003 clauses out of 152025 with flag 10716058/3004387
186.06/184.21	c cleaning 77005 clauses out of 154025 with flag 10958225/3082390
190.97/189.16	c cleaning 78004 clauses out of 156017 with flag 11245782/3161387
196.15/194.35	c cleaning 78995 clauses out of 158014 with flag 11534721/3241388
201.73/199.94	c cleaning 80006 clauses out of 160018 with flag 11844310/3322387
207.36/205.56	c cleaning 81002 clauses out of 162012 with flag 12140027/3404387
212.35/210.53	c cleaning 81998 clauses out of 164010 with flag 12402559/3487387
217.74/215.90	c cleaning 82995 clauses out of 166012 with flag 12659436/3571387
223.02/221.22	c cleaning 83997 clauses out of 168017 with flag 12947043/3656387
228.62/226.85	c cleaning 85002 clauses out of 170020 with flag 13250841/3742387
235.22/233.46	c cleaning 85999 clauses out of 172020 with flag 13537371/3829389
240.82/239.04	c cleaning 87008 clauses out of 174020 with flag 13839074/3917388
246.70/244.95	c cleaning 87999 clauses out of 176013 with flag 14138517/4006389
253.04/251.26	c cleaning 88990 clauses out of 178015 with flag 14441947/4096390
259.43/257.69	c cleaning 90011 clauses out of 180023 with flag 14722794/4187388
265.82/264.06	c cleaning 90982 clauses out of 182014 with flag 15019338/4279390
272.30/270.54	c cleaning 91999 clauses out of 184030 with flag 15319659/4372388
278.24/276.48	c cleaning 93014 clauses out of 186031 with flag 15622611/4466388
284.92/283.19	c cleaning 94004 clauses out of 188021 with flag 15917852/4561392
291.60/289.87	c cleaning 95001 clauses out of 190015 with flag 16272452/4657390
298.19/296.42	c cleaning 95978 clauses out of 192011 with flag 16624318/4754387
304.79/303.06	c cleaning 97005 clauses out of 194033 with flag 16972951/4852387
312.20/310.43	c cleaning 98005 clauses out of 196028 with flag 17309297/4951387
319.98/318.21	c cleaning 99005 clauses out of 198023 with flag 17639564/5051387
327.78/326.05	c cleaning 99999 clauses out of 200018 with flag 17947999/5152387
335.16/333.46	c cleaning 101003 clauses out of 202019 with flag 18290128/5254387
342.44/340.72	c cleaning 101993 clauses out of 204016 with flag 18644121/5357387
350.03/348.37	c cleaning 103006 clauses out of 206023 with flag 18981041/5461387
357.69/355.96	c cleaning 104011 clauses out of 208022 with flag 19292016/5566392
365.77/364.09	c cleaning 104992 clauses out of 210006 with flag 19648583/5672387
374.35/372.62	c cleaning 106002 clauses out of 212016 with flag 20038083/5779389
383.43/381.73	c cleaning 106997 clauses out of 214012 with flag 20455307/5887387
391.42/389.77	c cleaning 107999 clauses out of 216015 with flag 20856968/5996387
399.86/398.18	c cleaning 108995 clauses out of 218016 with flag 21265626/6106387
408.34/406.62	c cleaning 110002 clauses out of 220021 with flag 21684631/6217387
416.82/415.11	c cleaning 110991 clauses out of 222021 with flag 22103761/6329389
424.71/423.06	c cleaning 111997 clauses out of 224030 with flag 22506829/6442389
433.19/431.58	c cleaning 113010 clauses out of 226031 with flag 22891933/6556387
441.19/439.59	c cleaning 113997 clauses out of 228021 with flag 23299259/6671387
449.67/448.02	c cleaning 114996 clauses out of 230024 with flag 23709782/6787387
458.05/456.42	c cleaning 116009 clauses out of 232030 with flag 24122297/6904389
466.13/464.55	c cleaning 117002 clauses out of 234019 with flag 24521739/7022387
474.31/472.76	c cleaning 118004 clauses out of 236018 with flag 24975773/7141388
483.79/482.23	c cleaning 119004 clauses out of 238013 with flag 25436932/7261387
493.64/492.05	c cleaning 120003 clauses out of 240010 with flag 25885043/7382388
504.01/502.46	c cleaning 120978 clauses out of 242006 with flag 26335200/7504387
514.19/512.63	c cleaning 122011 clauses out of 244028 with flag 26804875/7627387
523.17/521.64	c cleaning 122980 clauses out of 246017 with flag 27291838/7751387
533.95/532.40	c cleaning 124011 clauses out of 248038 with flag 27740976/7876388
543.82/542.35	c cleaning 125005 clauses out of 250029 with flag 28237001/8002390
554.10/552.64	c cleaning 125991 clauses out of 252022 with flag 28672297/8129388
566.41/564.95	c cleaning 127005 clauses out of 254030 with flag 29095623/8257387
577.10/575.69	c cleaning 127998 clauses out of 256026 with flag 29575583/8386388
588.17/586.78	c cleaning 128998 clauses out of 258027 with flag 30033068/8516387
597.95/596.58	c cleaning 129997 clauses out of 260029 with flag 30490645/8647387
609.63/608.22	c cleaning 130998 clauses out of 262032 with flag 30923842/8779387
619.60/618.23	c cleaning 132010 clauses out of 264034 with flag 31376206/8912387
630.38/629.08	c cleaning 132997 clauses out of 266028 with flag 31848549/9046391
642.75/641.41	c cleaning 134002 clauses out of 268027 with flag 32300651/9181387
654.62/653.37	c cleaning 134994 clauses out of 270026 with flag 32753028/9317388
666.21/664.80	c cleaning 136014 clauses out of 272031 with flag 33241016/9454387
677.19/675.80	c cleaning 136999 clauses out of 274017 with flag 33683013/9592387
689.17/687.83	c cleaning 137988 clauses out of 276018 with flag 34140471/9731387
701.54/700.26	c cleaning 139005 clauses out of 278031 with flag 34578841/9871388
714.20/712.95	c cleaning 139996 clauses out of 280025 with flag 35073705/10012387
726.18/724.95	c cleaning 141003 clauses out of 282029 with flag 35531078/10154387
737.66/736.44	c cleaning 141986 clauses out of 284027 with flag 35999739/10297388
750.90/749.61	c cleaning 143000 clauses out of 286041 with flag 36511535/10441388
763.17/761.97	c cleaning 144007 clauses out of 288041 with flag 37015702/10586388
775.55/774.33	c cleaning 145012 clauses out of 290033 with flag 37541779/10732387
788.02/786.85	c cleaning 145988 clauses out of 292021 with flag 38060137/10879387
801.00/799.86	c cleaning 147008 clauses out of 294036 with flag 38585486/11027390
816.06/814.90	c cleaning 148002 clauses out of 296025 with flag 39071851/11176387
830.93/829.88	c cleaning 149004 clauses out of 298024 with flag 39588052/11326388
840.22/839.10	c Got one! Elapsed wall clock time (in seconds):838.941
840.22/839.10	o 13
843.40/842.30	c cleaning 143653 clauses out of 287333 with flag 17843/11464701
844.21/843.11	c cleaning 74834 clauses out of 149679 with flag 37789/11470700
844.70/843.63	c cleaning 40917 clauses out of 81847 with flag 63557/11477702
845.21/844.11	c cleaning 24451 clauses out of 48928 with flag 97312/11485700
845.92/844.70	c cleaning 16729 clauses out of 33477 with flag 132716/11494700
846.58/845.20	c cleaning 13360 clauses out of 26748 with flag 169106/11504700
847.08/845.72	c cleaning 12186 clauses out of 24390 with flag 206560/11515702
847.57/846.29	c cleaning 12081 clauses out of 24202 with flag 251399/11527700
848.17/846.89	c cleaning 12556 clauses out of 25121 with flag 298827/11540700
848.86/847.55	c cleaning 13258 clauses out of 26565 with flag 345796/11554700
849.56/848.29	c cleaning 14142 clauses out of 28307 with flag 409040/11569700
850.37/849.10	c cleaning 15073 clauses out of 30168 with flag 473329/11585703
851.26/850.00	c cleaning 16039 clauses out of 32095 with flag 543045/11602703
852.26/850.90	c cleaning 17013 clauses out of 34053 with flag 610377/11620700
853.15/851.83	c cleaning 18007 clauses out of 36041 with flag 680569/11639701
854.15/852.84	c cleaning 19002 clauses out of 38033 with flag 754935/11659700
855.25/853.93	c cleaning 19998 clauses out of 40031 with flag 828525/11680700
856.45/855.12	c cleaning 21017 clauses out of 42035 with flag 902172/11702702
857.74/856.41	c cleaning 22006 clauses out of 44016 with flag 979945/11725700
858.94/857.65	c cleaning 22992 clauses out of 46012 with flag 1062746/11749702
860.24/858.95	c cleaning 24002 clauses out of 48019 with flag 1154233/11774701
861.54/860.28	c cleaning 24999 clauses out of 50016 with flag 1241187/11800700
862.93/861.68	c cleaning 25992 clauses out of 52017 with flag 1333310/11827700
864.53/863.26	c cleaning 26999 clauses out of 54025 with flag 1429977/11855700
866.12/864.89	c cleaning 28002 clauses out of 56026 with flag 1529442/11884700
867.82/866.59	c cleaning 28995 clauses out of 58025 with flag 1634713/11914701
869.62/868.34	c cleaning 30005 clauses out of 60029 with flag 1737877/11945700
871.42/870.16	c cleaning 31010 clauses out of 62024 with flag 1839332/11977700
873.21/871.92	c cleaning 31994 clauses out of 64015 with flag 1941987/12010701
875.11/873.81	c cleaning 32993 clauses out of 66022 with flag 2054546/12044702
877.10/875.84	c cleaning 33999 clauses out of 68027 with flag 2167054/12079700
879.11/877.86	c cleaning 35006 clauses out of 70028 with flag 2274303/12115700
881.41/880.18	c cleaning 36008 clauses out of 72024 with flag 2397941/12152702
883.60/882.36	c cleaning 37000 clauses out of 74016 with flag 2524674/12190702
885.89/884.62	c cleaning 38005 clauses out of 76017 with flag 2642010/12229703
888.19/886.93	c cleaning 38988 clauses out of 78009 with flag 2764264/12269700
890.58/889.35	c cleaning 40011 clauses out of 80022 with flag 2895245/12310701
893.17/891.90	c cleaning 41003 clauses out of 82010 with flag 3040744/12352700
895.97/894.71	c cleaning 41992 clauses out of 84007 with flag 3184745/12395700
898.56/897.39	c cleaning 43005 clauses out of 86016 with flag 3333755/12439701
901.26/900.09	c cleaning 43994 clauses out of 88010 with flag 3491861/12484700
904.15/902.94	c cleaning 44989 clauses out of 90016 with flag 3652987/12530700
907.04/905.87	c cleaning 46008 clauses out of 92027 with flag 3826487/12577700
910.03/908.82	c cleaning 46993 clauses out of 94019 with flag 3996971/12625700
913.03/911.83	c cleaning 48003 clauses out of 96026 with flag 4163861/12674700
916.33/915.11	c cleaning 49002 clauses out of 98023 with flag 4343285/12724700
919.53/918.32	c cleaning 50009 clauses out of 100021 with flag 4529328/12775700
922.72/921.57	c cleaning 50983 clauses out of 102013 with flag 4711604/12827701
926.02/924.82	c cleaning 52010 clauses out of 104029 with flag 4900194/12880700
929.51/928.30	c cleaning 53009 clauses out of 106020 with flag 5106247/12934701
932.80/931.69	c cleaning 53989 clauses out of 108010 with flag 5299972/12989700
936.30/935.18	c cleaning 55010 clauses out of 110021 with flag 5490448/13045700
939.78/938.63	c cleaning 55998 clauses out of 112012 with flag 5693153/13102701
943.47/942.34	c cleaning 56998 clauses out of 114013 with flag 5907564/13160700
947.30/946.00	c cleaning 58002 clauses out of 116017 with flag 6109684/13219703
951.40/950.10	c cleaning 58994 clauses out of 118012 with flag 6303855/13279700
955.78/954.48	c cleaning 60009 clauses out of 120018 with flag 6516483/13340700
959.57/958.24	c cleaning 60998 clauses out of 122009 with flag 6721969/13402700
964.06/962.74	c cleaning 61995 clauses out of 124011 with flag 6927507/13465700
968.25/966.92	c cleaning 63003 clauses out of 126016 with flag 7151239/13529700
972.45/971.11	c cleaning 64007 clauses out of 128016 with flag 7368321/13594703
976.53/975.24	c cleaning 64986 clauses out of 130006 with flag 7603757/13660700
981.52/980.29	c cleaning 65990 clauses out of 132021 with flag 7835710/13727701
986.02/984.78	c cleaning 67015 clauses out of 134030 with flag 8060250/13795700
990.71/989.42	c cleaning 68004 clauses out of 136016 with flag 8290635/13864701
995.20/993.97	c cleaning 68990 clauses out of 138011 with flag 8527349/13934700
1000.89/999.61	c cleaning 69995 clauses out of 140021 with flag 8773213/14005700
1005.88/1004.67	c cleaning 71003 clauses out of 142028 with flag 9024417/14077702
1011.46/1010.26	c cleaning 72007 clauses out of 144024 with flag 9278931/14150701
1016.45/1015.25	c cleaning 72986 clauses out of 146018 with flag 9539317/14224702
1021.54/1020.36	c cleaning 74007 clauses out of 148032 with flag 9802627/14299702
1027.33/1026.10	c cleaning 74997 clauses out of 150024 with flag 10076346/14375701
1032.62/1031.46	c cleaning 75987 clauses out of 152026 with flag 10366530/14452700
1038.63/1037.43	c cleaning 77012 clauses out of 154039 with flag 10665590/14530700
1044.01/1042.88	c cleaning 78008 clauses out of 156028 with flag 10947715/14609701
1049.81/1048.62	c cleaning 78996 clauses out of 158019 with flag 11257536/14689700
1055.20/1054.09	c cleaning 80008 clauses out of 160024 with flag 11547442/14770701
1060.88/1059.79	c cleaning 81004 clauses out of 162017 with flag 11825822/14852702
1066.67/1065.55	c cleaning 82001 clauses out of 164012 with flag 12117889/14935701
1072.76/1071.63	c cleaning 82995 clauses out of 166010 with flag 12417214/15019700
1078.84/1077.73	c cleaning 83999 clauses out of 168015 with flag 12738171/15104700
1085.02/1084.00	c cleaning 85005 clauses out of 170016 with flag 13056682/15190700
1091.71/1090.67	c cleaning 85994 clauses out of 172013 with flag 13369581/15277702
1098.70/1097.69	c cleaning 87000 clauses out of 174017 with flag 13694682/15365700
1105.68/1104.67	c cleaning 87980 clauses out of 176018 with flag 14006710/15454701
1112.57/1111.55	c cleaning 89012 clauses out of 178037 with flag 14341728/15544700
1119.45/1118.49	c cleaning 89997 clauses out of 180025 with flag 14661372/15635700
1126.53/1125.53	c cleaning 91010 clauses out of 182029 with flag 14998001/15727701
1133.12/1132.10	c cleaning 92000 clauses out of 184018 with flag 15330385/15820700
1139.70/1138.73	c cleaning 92994 clauses out of 186019 with flag 15654857/15914701
1146.39/1145.46	c cleaning 94012 clauses out of 188024 with flag 15989941/16009700
1153.97/1153.01	c cleaning 94980 clauses out of 190012 with flag 16354930/16105700
1161.15/1160.26	c cleaning 95995 clauses out of 192032 with flag 16714917/16202700
1169.14/1168.29	c cleaning 96999 clauses out of 194037 with flag 17079347/16300700
1176.93/1176.02	c cleaning 98019 clauses out of 196039 with flag 17437076/16399701
1184.40/1183.58	c cleaning 98996 clauses out of 198021 with flag 17787732/16499702
1191.90/1191.07	c cleaning 99993 clauses out of 200023 with flag 18157099/16600700
1200.37/1199.55	c cleaning 100999 clauses out of 202030 with flag 18520527/16702700
1208.96/1208.16	c cleaning 102004 clauses out of 204031 with flag 18903024/16805700
1217.03/1216.24	c cleaning 102994 clauses out of 206027 with flag 19282668/16909700
1224.92/1224.15	c cleaning 104011 clauses out of 208034 with flag 19655899/17014701
1233.80/1233.00	c cleaning 104980 clauses out of 210022 with flag 20026155/17120700
1241.37/1240.67	c cleaning 106019 clauses out of 212042 with flag 20398694/17227700
1249.76/1249.10	c cleaning 107002 clauses out of 214023 with flag 20796005/17335700
1258.54/1257.89	c cleaning 107999 clauses out of 216021 with flag 21221312/17444700
1268.22/1267.59	c cleaning 108999 clauses out of 218022 with flag 21619879/17554700
1277.10/1276.48	c cleaning 109995 clauses out of 220024 with flag 22029938/17665701
1286.48/1285.81	c cleaning 110997 clauses out of 222028 with flag 22461471/17777700
1295.26/1294.61	c cleaning 112005 clauses out of 224031 with flag 22894746/17890700
1304.54/1303.93	c cleaning 112999 clauses out of 226026 with flag 23329472/18004700
1313.62/1313.09	c cleaning 114004 clauses out of 228027 with flag 23768168/18119700
1324.10/1323.51	c cleaning 114993 clauses out of 230023 with flag 24208983/18235700
1333.38/1332.84	c cleaning 116001 clauses out of 232030 with flag 24627417/18352700
1342.66/1342.10	c cleaning 117007 clauses out of 234032 with flag 25058470/18470703
1351.83/1351.39	c cleaning 118010 clauses out of 236023 with flag 25477276/18589701
1362.11/1361.64	c cleaning 118989 clauses out of 238012 with flag 25941681/18709700
1371.39/1370.93	c cleaning 119996 clauses out of 240023 with flag 26397870/18830700
1381.47/1381.08	c cleaning 121009 clauses out of 242027 with flag 26855291/18952700
1391.95/1391.51	c cleaning 122000 clauses out of 244018 with flag 27315928/19075700
1402.42/1402.03	c cleaning 123002 clauses out of 246018 with flag 27773493/19199700
1412.99/1412.62	c cleaning 123996 clauses out of 248016 with flag 28243046/19324700
1423.57/1423.23	c cleaning 125009 clauses out of 250021 with flag 28749009/19450701
1434.22/1433.79	c cleaning 125989 clauses out of 252014 with flag 29242145/19577703
1445.69/1445.29	c cleaning 127007 clauses out of 254028 with flag 29754604/19705706
1456.67/1456.29	c cleaning 128001 clauses out of 256015 with flag 30279361/19834700
1468.05/1467.62	c cleaning 129002 clauses out of 258015 with flag 30792275/19964701
1478.53/1478.16	c cleaning 130002 clauses out of 260012 with flag 31341313/20095700
1488.90/1488.54	c cleaning 130992 clauses out of 262010 with flag 31871090/20227700
1500.77/1500.42	c cleaning 131999 clauses out of 264020 with flag 32372558/20360702
1512.25/1511.90	c cleaning 133004 clauses out of 266022 with flag 32916964/20494703
1523.43/1523.16	c cleaning 134000 clauses out of 268015 with flag 33443664/20629700
1535.40/1535.15	c cleaning 134990 clauses out of 270015 with flag 33979560/20765700
1546.87/1546.65	c cleaning 135994 clauses out of 272025 with flag 34538805/20902700
1558.35/1558.15	c cleaning 137003 clauses out of 274032 with flag 35115690/21040701
1572.02/1571.85	c cleaning 138009 clauses out of 276028 with flag 35712675/21179700
1583.79/1583.62	c cleaning 139000 clauses out of 278019 with flag 36293261/21319700
1596.86/1596.73	c cleaning 140008 clauses out of 280019 with flag 36907122/21460700
1613.03/1612.99	c cleaning 140985 clauses out of 282012 with flag 37476688/21602701
1627.40/1627.33	c cleaning 142005 clauses out of 284027 with flag 38030553/21745701
1640.12/1639.99	c cleaning 143007 clauses out of 286021 with flag 38600634/21889700
1651.79/1651.66	c cleaning 143987 clauses out of 288014 with flag 39132115/22034700
1664.95/1664.86	c cleaning 145005 clauses out of 290027 with flag 39688545/22180700
1679.62/1679.50	c cleaning 145992 clauses out of 292022 with flag 40237931/22327700
1693.39/1693.38	c cleaning 147003 clauses out of 294030 with flag 40788522/22475700
1708.66/1708.68	c cleaning 148011 clauses out of 296028 with flag 41377000/22624701
1723.53/1723.54	c cleaning 148998 clauses out of 298016 with flag 41971250/22774700
1738.89/1738.92	c cleaning 150000 clauses out of 300022 with flag 42591436/22925704
1757.65/1757.72	c cleaning 150993 clauses out of 302018 with flag 43176865/23077700
1774.29/1774.37	c cleaning 151998 clauses out of 304025 with flag 43754258/23230700
1789.75/1789.88	c cleaning 152996 clauses out of 306027 with flag 44366763/23384700
1805.52/1805.65	c cleaning 154009 clauses out of 308032 with flag 44957031/23539701
1819.59/1819.76	c cleaning 155011 clauses out of 310022 with flag 45570777/23695700
1835.65/1835.81	c cleaning 155987 clauses out of 312011 with flag 46184051/23852700
1851.51/1851.72	c cleaning 157000 clauses out of 314024 with flag 46827765/24010700
1868.89/1869.12	c cleaning 158013 clauses out of 316025 with flag 47461905/24169701
1883.65/1883.91	c cleaning 158995 clauses out of 318011 with flag 48039649/24329700
1898.11/1898.41	c cleaning 160002 clauses out of 320020 with flag 48675709/24490704
1911.59/1911.90	c cleaning 160997 clauses out of 322014 with flag 49348665/24652700
1927.85/1928.23	c cleaning 162003 clauses out of 324017 with flag 50057940/24815700
1943.72/1944.17	c cleaning 162996 clauses out of 326014 with flag 50787390/24979700
1959.77/1960.22	c cleaning 163996 clauses out of 328018 with flag 51495914/25144700
1972.85/1973.30	c cleaning 164996 clauses out of 330023 with flag 52156588/25310701
1989.61/1990.12	c cleaning 166001 clauses out of 332026 with flag 52921353/25477700
2004.98/2005.55	c cleaning 166996 clauses out of 334025 with flag 53674676/25645700
2026.04/2026.62	c cleaning 168002 clauses out of 336029 with flag 54425212/25814700
2044.33/2044.84	c cleaning 169004 clauses out of 338027 with flag 55049019/25984700
2062.39/2062.97	c cleaning 169994 clauses out of 340023 with flag 55693019/26155700
2078.35/2078.94	c cleaning 171011 clauses out of 342029 with flag 56331497/26327700
2094.62/2095.25	c cleaning 171996 clauses out of 344018 with flag 56991631/26500700
2112.08/2112.78	c cleaning 172999 clauses out of 346024 with flag 57647663/26674702
2129.04/2129.72	c cleaning 173986 clauses out of 348023 with flag 58306652/26849700
2147.60/2148.33	c cleaning 175002 clauses out of 350037 with flag 58967193/27025700
2168.06/2168.82	c cleaning 176005 clauses out of 352035 with flag 59607967/27202700
2188.02/2188.80	c cleaning 176994 clauses out of 354030 with flag 60259842/27380700
2206.28/2207.12	c cleaning 178008 clauses out of 356038 with flag 60945934/27559702
2224.94/2225.83	c cleaning 178996 clauses out of 358028 with flag 61674999/27739700
2246.20/2247.10	c cleaning 179998 clauses out of 360032 with flag 62448378/27920700
2265.76/2266.68	c cleaning 180998 clauses out of 362034 with flag 63265578/28102700
2282.82/2283.75	c cleaning 182002 clauses out of 364037 with flag 64083807/28285701
2300.58/2301.56	c cleaning 183000 clauses out of 366034 with flag 64899567/28469700
2318.45/2319.44	c cleaning 183998 clauses out of 368034 with flag 65693493/28654700
2336.90/2337.95	c cleaning 185002 clauses out of 370036 with flag 66510829/28840700
2353.16/2354.27	c cleaning 186007 clauses out of 372035 with flag 67322029/29027701
2370.72/2371.81	c cleaning 187006 clauses out of 374027 with flag 68166208/29215700
2397.17/2398.39	c cleaning 188000 clauses out of 376021 with flag 68914434/29404700
2426.61/2427.85	c cleaning 189006 clauses out of 378023 with flag 69606110/29594702
2452.15/2453.44	c cleaning 190002 clauses out of 380017 with flag 70319053/29785702
2472.91/2474.23	c cleaning 190998 clauses out of 382014 with flag 71063238/29977701
2497.25/2498.63	c cleaning 191978 clauses out of 384015 with flag 71867706/30170700
2517.72/2519.15	c cleaning 193010 clauses out of 386037 with flag 72624422/30364700
2541.25/2542.69	c cleaning 193994 clauses out of 388027 with flag 73387042/30559700
2571.89/2573.31	c cleaning 195008 clauses out of 390033 with flag 74137662/30755700
2590.45/2591.91	c cleaning 195984 clauses out of 392025 with flag 74923072/30952700
2612.20/2613.74	c cleaning 197006 clauses out of 394041 with flag 75671952/31150700
2637.45/2639.09	c cleaning 198005 clauses out of 396034 with flag 76412771/31349700
2658.79/2660.45	c cleaning 199004 clauses out of 398030 with flag 77153976/31549701
2680.24/2681.85	c cleaning 200010 clauses out of 400025 with flag 77906163/31750700
2699.70/2701.36	c cleaning 200979 clauses out of 402015 with flag 78677448/31952700
2722.25/2723.94	c cleaning 202005 clauses out of 404038 with flag 79426195/32155702
2747.20/2748.92	c cleaning 203009 clauses out of 406031 with flag 80170065/32359700
2770.95/2772.70	c cleaning 204005 clauses out of 408022 with flag 80943599/32564700
2796.59/2798.49	c cleaning 204996 clauses out of 410017 with flag 81773722/32770700
2823.80/2825.52	c cleaning 206000 clauses out of 412021 with flag 82639725/32977700
2846.45/2848.21	c cleaning 206987 clauses out of 414024 with flag 83495522/33185703
2870.00/2871.84	c cleaning 208003 clauses out of 416034 with flag 84428445/33394700
2893.55/2895.47	c cleaning 209009 clauses out of 418033 with flag 85348433/33604702
2920.78/2922.77	c cleaning 209993 clauses out of 420025 with flag 86150862/33815703
2944.54/2946.51	c cleaning 211008 clauses out of 422031 with flag 86949906/34027702
2971.88/2973.95	c cleaning 211994 clauses out of 424026 with flag 87759793/34240705
2997.13/2999.29	c cleaning 212996 clauses out of 426027 with flag 88616919/34454700
3022.07/3024.28	c cleaning 214014 clauses out of 428035 with flag 89479378/34669704
3050.61/3052.82	c cleaning 214997 clauses out of 430018 with flag 90372565/34885701
3078.45/3080.30	c cleaning 216001 clauses out of 432022 with flag 91192338/35102702
3103.39/3105.34	c cleaning 217004 clauses out of 434019 with flag 91996997/35320700
3126.64/3128.67	c cleaning 218000 clauses out of 436016 with flag 92818355/35539701
3150.59/3152.60	c cleaning 218990 clauses out of 438015 with flag 93665718/35759700
3171.34/3173.43	c cleaning 220002 clauses out of 440026 with flag 94462396/35980701
3196.90/3199.03	c cleaning 221002 clauses out of 442025 with flag 95339059/36202702
3219.54/3221.77	c cleaning 222009 clauses out of 444021 with flag 96252665/36425700
3242.90/3245.18	c cleaning 222999 clauses out of 446013 with flag 97078817/36649701
3267.94/3270.27	c cleaning 223999 clauses out of 448013 with flag 97915628/36874700
3292.89/3295.16	c cleaning 224995 clauses out of 450014 with flag 98742197/37100700
3318.33/3320.68	c cleaning 226010 clauses out of 452021 with flag 99586213/37327702
3345.27/3347.61	c cleaning 226993 clauses out of 454009 with flag 100543379/37555700
3371.31/3373.73	c cleaning 227991 clauses out of 456016 with flag 101461236/37784700
3401.74/3404.20	c cleaning 229003 clauses out of 458025 with flag 102342795/38014700
3433.17/3435.71	c cleaning 229988 clauses out of 460025 with flag 103233329/38245703
3458.32/3461.00	c cleaning 231011 clauses out of 462035 with flag 104107433/38477701
3485.55/3488.27	c cleaning 232002 clauses out of 464023 with flag 104977163/38710700
3511.70/3514.40	c cleaning 233005 clauses out of 466021 with flag 105877418/38944700
3538.54/3541.39	c cleaning 234005 clauses out of 468016 with flag 106792163/39179700
3566.97/3569.70	c cleaning 234985 clauses out of 470012 with flag 107796726/39415701
3595.01/3597.87	c cleaning 236008 clauses out of 472026 with flag 108857757/39652700
3600.00/3602.81	c starts		: 25570
3600.00/3602.81	c conflicts		: 39724541
3600.00/3602.81	c decisions		: 133210190
3600.00/3602.81	c propagations		: 10253937023
3600.00/3602.81	c inspects		: 30699943678
3600.00/3602.81	c shortcuts		: 0
3600.00/3602.81	c learnt literals	: 2
3600.00/3602.81	c learnt binary clauses	: 34
3600.00/3602.81	c learnt ternary clauses	: 35
3600.00/3602.81	c learnt constraints	: 39724539
3600.00/3602.81	c ignored constraints	: 0
3600.00/3602.81	c root simplifications	: 0
3600.00/3602.81	c removed literals (reason simplification)	: 318558620
3600.00/3602.81	c reason swapping (by a shorter reason)	: 0
3600.00/3602.81	c Calls to reduceDB	: 381
3600.00/3602.81	c Number of update (reduction) of LBD	: 15137323
3600.00/3602.81	c Imported unit clauses	: 0
3600.00/3602.81	c No decision after first conflict	: false
3600.00/3602.81	c number of reductions to clauses (during analyze)	: 0
3600.00/3602.81	c number of learned constraints concerned by reduction	: 0
3600.00/3602.81	c number of learning phase by resolution	: 0
3600.00/3602.81	c number of learning phase by cutting planes	: 0
3600.00/3602.81	c number of rounding to 1 operations	: 0
3600.00/3602.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3602.81	c number of reductions of the coefficients by power 2 	: 0
3600.00/3602.81	c number of right shift for reduction by power 2 	: 0
3600.00/3602.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3602.81	c number of ending skipping 	: 0
3600.00/3602.81	c number of internal skipping 	: 0
3600.00/3602.81	c number of derivation steps 	: 0
3600.00/3602.81	c number of skipped derivation steps 	: 0
3600.00/3602.81	c number of remaining unassigned 	: 0
3600.00/3602.81	c number of remaining assigned 	: 0
3600.00/3602.81	c number of falsified literals weakened from reason	: 0
3600.00/3602.81	c number of falsified literals weakened from conflict	: 0
3600.00/3602.81	c time for arithmetic operations	: 0
3600.00/3602.82	c minimum degree of deleted constraints	: null
3600.00/3602.82	c maximum degree of deleted constraints	: null
3600.00/3602.82	c number of deleted constraints	: 0
3600.00/3602.82	c speed (assignments/second)	: 2846291.8099906733
3600.00/3602.82	c non guided choices	: 4
3600.00/3602.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 307825
3600.00/3602.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 34
3600.00/3602.88	s SATISFIABLE
3600.00/3602.88	c Found 7 solution(s)
3600.00/3602.88	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.00/3602.88	c objective function=13
3600.00/3602.88	c Total wall clock time (in seconds): 3602.722

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 (62920 MiB free)
  memory of node 1: 64465 MiB (63827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497338-1751386581/watcher-4497338-1751386581 -o /tmp/evaluation-result-4497338-1751386581/solver-4497338-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53811 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497338-1751386581.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=53863, runsolver pid=53851

[startup+0.100061 s]*
/proc/loadavg: 0.55 1.63 2.64 6/331 53936
/proc/meminfo: memFree=129723720/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18930384 memory=49264 CPUtime=0.07 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 5969 0 128 0 5 2 0 0 20 0 18 0 54336522 19384713216 12316 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4732596 12316 5301 1 0 547195 0
[pid=53863/tid=53878] ppid=53851 vsize=18930384 memory=4026532124 CPUtime=0.04 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 4801 0 102 0 3 1 0 0 20 0 18 0 54336525 19384713216 12316 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 12316 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 12316 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49264 KiB

[startup+0.205847 s]*
/proc/loadavg: 0.55 1.63 2.64 13/332 53939
/proc/meminfo: memFree=129679416/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18930384 memory=61652 CPUtime=0.26 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 6944 0 128 0 23 3 0 0 20 0 18 0 54336522 19384713216 15413 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4732596 15413 5397 1 0 547923 0
[pid=53863/tid=53878] ppid=53851 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 5226 0 102 0 13 2 0 0 20 0 18 0 54336525 19384713216 15413 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 15413 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 15413 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61652 KiB

[startup+0.305807 s]*
/proc/loadavg: 0.55 1.63 2.64 9/313 53940
/proc/meminfo: memFree=129673512/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=67652 CPUtime=0.45 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 7536 0 128 0 41 4 0 0 20 0 19 0 54336522 19452874752 16913 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 16913 5461 1 0 548472 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=-6000919502771087722 CPUtime=0.22 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 5352 0 102 0 20 2 0 0 20 0 19 0 54336525 19452874752 16913 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 16913 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 16913 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 16913 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67652 KiB

[startup+0.700214 s]
/proc/loadavg: 0.55 1.63 2.64 8/313 53950
/proc/meminfo: memFree=129638192/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=80740 CPUtime=1.21 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 12810 0 128 0 117 4 0 0 20 0 19 0 54336522 19452874752 20185 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 20185 5461 1 0 551095 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=17792 CPUtime=0.59 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 5376 0 102 0 57 2 0 0 20 0 19 0 54336525 19452874752 20185 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 20185 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 20185 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 20185 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80740 KiB

[startup+1.50018 s]
/proc/loadavg: 0.55 1.63 2.64 6/313 53950
/proc/meminfo: memFree=129623320/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=90104 CPUtime=2.43 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 18497 0 128 0 237 6 0 0 20 0 19 0 54336522 19452874752 22526 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 22526 5461 1 0 551781 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=10752 CPUtime=1.37 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 6145 0 102 0 135 2 0 0 20 0 19 0 54336525 19452874752 22526 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 22526 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 22526 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 22526 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90104 KiB

[startup+3.10547 s]
/proc/loadavg: 0.55 1.63 2.64 7/335 54005
/proc/meminfo: memFree=129430532/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=101332 CPUtime=4.19 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 19633 0 128 0 413 6 0 0 20 0 19 0 54336522 19452874752 25333 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 25333 5461 1 0 552001 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=10752 CPUtime=2.97 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 6413 0 102 0 295 2 0 0 20 0 19 0 54336525 19452874752 25333 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=-6000919502771087722 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 25333 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 25333 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 25333 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101332 KiB

[startup+6.30022 s]
/proc/loadavg: 0.99 1.70 2.66 7/336 54006
/proc/meminfo: memFree=129063000/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=122844 CPUtime=8.32 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 30493 0 128 0 824 8 0 0 20 0 19 0 54336522 19452874752 30711 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 30711 5461 1 0 553703 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=0 CPUtime=6.17 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 8081 0 102 0 614 3 0 0 20 0 19 0 54336525 19452874752 30711 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 30711 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 30711 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=90192 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 30711 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122844 KiB

[startup+12.7002 s]
/proc/loadavg: 1.23 1.74 2.67 5/336 54006
/proc/meminfo: memFree=129009364/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=18996948 memory=150132 CPUtime=14.74 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 33430 0 128 0 1465 9 0 0 20 0 19 0 54336522 19452874752 37533 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4749237 37533 5461 1 0 553703 0
[pid=53863/tid=53878] ppid=53851 vsize=18996948 memory=90192 CPUtime=12.54 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 8573 0 102 0 1251 3 0 0 20 0 19 0 54336525 19452874752 37533 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 37533 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 37533 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=18996948 memory=-6000919502771087722 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336548 19452874752 37533 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150132 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.87 2.70 5/337 54007
/proc/meminfo: memFree=128919300/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=183504 CPUtime=27.53 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 35933 0 128 0 2742 11 0 0 20 0 20 0 54336522 19521036288 45876 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 45876 5525 1 0 553992 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=0 CPUtime=25.3 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 9480 0 102 0 2526 4 0 0 20 0 20 0 54336525 19521036288 45876 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 45876 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 45876 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 45876 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183504 KiB

[startup+51.1056 s]
/proc/loadavg: 2.62 2.04 2.73 5/340 54011
/proc/meminfo: memFree=128845312/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=191744 CPUtime=53.08 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 37072 0 128 0 5297 11 0 0 20 0 20 0 54336522 19521036288 47936 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 47936 5525 1 0 553992 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=10752 CPUtime=50.82 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 9554 0 102 0 5078 4 0 0 20 0 20 0 54336525 19521036288 47936 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0

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

/proc/meminfo: memFree=123363944/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3220.14 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 94511 0 128 0 321898 116 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=4497856458734071451 CPUtime=3211.62 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 34750 0 102 0 321139 23 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 1814 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3220.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/340 54177
/proc/meminfo: memFree=123360456/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3280.01 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 95582 0 128 0 327884 117 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3271.46 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 35591 0 102 0 327123 23 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=1664 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 1904 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3280.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54180
/proc/meminfo: memFree=123356704/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3339.97 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 97322 0 128 0 333879 118 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=14976 CPUtime=3331.23 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 36129 0 102 0 333099 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=4641971646809927330 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2041 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3339.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54186
/proc/meminfo: memFree=123294432/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3399.84 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 97492 0 128 0 339865 119 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=4641971646809927330 CPUtime=3391.08 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 36263 0 102 0 339084 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2045 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3399.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/341 54188
/proc/meminfo: memFree=123229856/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3459.72 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 97982 0 128 0 345852 120 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=4641971646809927330 CPUtime=3450.92 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 36714 0 102 0 345068 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2045 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3459.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/341 54190
/proc/meminfo: memFree=123142960/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3519.58 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 99125 0 128 0 351837 121 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3510.77 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 37634 0 102 0 351053 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=2166268 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2135 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3519.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.17 4.10 5/340 54192
/proc/meminfo: memFree=123057752/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3579.54 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 101136 0 128 0 357832 122 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3570.52 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 38314 0 102 0 357028 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2216 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3579.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.8 s]
/proc/loadavg: 4.21 4.16 4.10 5/340 54193
/proc/meminfo: memFree=123029104/131249996 swapFree=33010160/33010684
[pid=53863] ppid=53851 vsize=19063512 memory=2166268 CPUtime=3600 cores=5,7
/proc/53863/stat : 53863 (java) S 53851 53863 53798 0 -1 4194304 101148 0 128 0 359877 123 0 0 20 0 20 0 54336522 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
/proc/53863/statm: 4765878 541567 5525 1 0 556400 0
[pid=53863/tid=53878] ppid=53851 vsize=19063512 memory=7220 CPUtime=3590.97 cores=5,7
/proc/53863/task/53878/stat : 53878 (java) R 53851 53863 53798 0 -1 4194368 38314 0 102 0 359073 24 0 0 20 0 20 0 54336525 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53906] ppid=53851 vsize=19063512 memory=5732 CPUtime=0 cores=5,7
/proc/53863/task/53906/stat : 53906 (Finalizer) S 53851 53863 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53933] ppid=53851 vsize=19063512 memory=46336 CPUtime=0 cores=5,7
/proc/53863/task/53933/stat : 53933 (Common-Cleaner) S 53851 53863 53798 0 -1 4194368 2216 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
[pid=53863/tid=53940] ppid=53851 vsize=19063512 memory=12672 CPUtime=0 cores=5,7
/proc/53863/task/53940/stat : 53940 (Timer-0) S 53851 53863 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336548 19521036288 541567 18446744073709551615 93885970550784 93885970554480 140727833095792 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93885970562296 93885970563088 93885970907136 140727833102721 140727833102822 140727833102822 140727833108424 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.24457 s

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

Child status: 143

Real time (s): 3602.9
CPU time (s): 3600.19
CPU user time (s): 3598.94
CPU system time (s): 1.24457
CPU usage (%): 99.9247
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2166268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.24457
maximum resident set size= 2167164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103730
page faults= 128
swaps= 0
block input operations= 0
block output operations= 15616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104216
involuntary context switches= 4059


# summary of solver processes directly reported to runsolver:
#   pid: 53863
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.24457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15003 second user time and 18.0955 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 18:16:21
IDJOB=4497338
IDBENCH=148177
IDSOLVER=3363
FILE ID=nodeC029/4497338-1751386581
RUNJOBID= nodeC029-1751386581-53811
SLURM_JOB_ID= 9598249
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497338-1751386581/watcher-4497338-1751386581 -o /tmp/evaluation-result-4497338-1751386581/solver-4497338-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53811 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497338-1751386581.opb

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

MD5SUM BENCH= 677b01c110d91655b45348559236801a
RANDOM SEED=451587520

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129785924 kB
MemAvailable:   129730936 kB
Buffers:            2128 kB
Cached:           752044 kB
SwapCached:           40 kB
Active:           435680 kB
Inactive:         382484 kB
Active(anon):      77568 kB
Inactive(anon):     4768 kB
Active(file):     358112 kB
Inactive(file):   377716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3240 kB
Writeback:             0 kB
AnonPages:         67252 kB
Mapped:           103136 kB
Shmem:             18020 kB
KReclaimable:      96844 kB
Slab:             184192 kB
SReclaimable:      96844 kB
SUnreclaim:        87348 kB
KernelStack:        3908 kB
PageTables:         2356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC029 at 2025-07-01 19:16:24