Trace number 4432254

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)72 3600.82 3605.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
MD5SUM89d4e33f1fc4516d7db076f434bf527f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark3600.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1288
Total number of constraints2431
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 8
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 175
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 802
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432254-1721106640.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.34/0.27	c ... done. Wall clock time 0.139s.
0.34/0.27	c declared #vars     1288
0.34/0.27	c #constraints  2431
0.34/0.27	c constraints type 
0.34/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
0.34/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.34/0.27	c 2431 constraints processed.
0.34/0.27	c objective function length is 8 literals
2.77/1.76	c cleaning 2501 clauses out of 5001 with flag 12278/5001
4.16/3.01	c cleaning 4245 clauses out of 8499 with flag 27338/11000
5.65/4.51	c cleaning 5623 clauses out of 11254 with flag 47215/18000
7.04/5.92	c SATISFIABLE
7.04/5.92	c OPTIMIZING...
7.04/5.92	c Got one! Elapsed wall clock time (in seconds):5.802
7.04/5.92	o 120
7.75/6.68	c Got one! Elapsed wall clock time (in seconds):6.558
7.75/6.68	o 105
8.59/7.34	c Got one! Elapsed wall clock time (in seconds):7.22
8.59/7.34	o 92
8.90/7.63	c cleaning 9489 clauses out of 18986 with flag 2809/31355
10.54/9.02	c cleaning 7743 clauses out of 15497 with flag 18520/37356
12.12/10.59	c cleaning 7374 clauses out of 14753 with flag 35955/44355
14.04/12.23	c cleaning 7684 clauses out of 15379 with flag 58179/52355
14.84/12.89	c Got one! Elapsed wall clock time (in seconds):12.776
14.84/12.89	o 89
15.43/13.45	c cleaning 6459 clauses out of 12931 with flag 6233/57591
16.92/14.99	c cleaning 6228 clauses out of 12471 with flag 24440/63590
18.60/16.63	c cleaning 6614 clauses out of 13244 with flag 44989/70591
20.50/18.53	c cleaning 7312 clauses out of 14628 with flag 66289/78590
21.99/20.01	c Got one! Elapsed wall clock time (in seconds):19.893
21.99/20.01	o 88
23.38/21.47	c cleaning 9388 clauses out of 18790 with flag 17890/90064
25.08/23.12	c cleaning 7693 clauses out of 15402 with flag 38289/96064
26.86/24.91	c cleaning 7348 clauses out of 14708 with flag 61093/103063
28.74/26.84	c cleaning 7675 clauses out of 15361 with flag 85978/111064
30.54/28.68	c Got one! Elapsed wall clock time (in seconds):28.563
30.54/28.68	o 87
32.04/30.18	c cleaning 10243 clauses out of 20497 with flag 17647/123875
33.46/31.52	c cleaning 8119 clauses out of 16255 with flag 36684/129876
35.06/33.11	c cleaning 7563 clauses out of 15136 with flag 59466/136876
36.75/34.89	c cleaning 7776 clauses out of 15572 with flag 85540/144875
38.65/36.78	c cleaning 8390 clauses out of 16798 with flag 113120/153877
40.84/38.98	c cleaning 9199 clauses out of 18407 with flag 145009/163876
43.34/41.49	c cleaning 10095 clauses out of 20207 with flag 181590/174875
46.03/44.13	c cleaning 11048 clauses out of 22113 with flag 221063/186876
48.92/47.03	c cleaning 12025 clauses out of 24064 with flag 265105/199875
51.81/49.99	c cleaning 13017 clauses out of 26040 with flag 311237/213876
54.91/53.08	c cleaning 14009 clauses out of 28023 with flag 359788/228876
58.10/56.26	c cleaning 15002 clauses out of 30014 with flag 405259/244876
59.60/57.72	c Got one! Elapsed wall clock time (in seconds):57.6
59.60/57.72	o 84
60.80/58.97	c cleaning 13602 clauses out of 27221 with flag 17260/257086
62.30/60.41	c cleaning 9799 clauses out of 19619 with flag 38489/263086
63.79/61.97	c cleaning 8404 clauses out of 16819 with flag 63044/270085
65.29/63.46	c cleaning 8199 clauses out of 16416 with flag 86835/278086
67.29/65.48	c cleaning 8601 clauses out of 17217 with flag 118136/287086
69.28/67.44	c cleaning 9295 clauses out of 18616 with flag 148532/297086
71.38/69.50	c cleaning 10152 clauses out of 20321 with flag 181280/308086
73.77/71.95	c cleaning 11073 clauses out of 22168 with flag 218372/320085
76.57/74.77	c cleaning 12040 clauses out of 24095 with flag 261084/333085
79.46/77.62	c cleaning 13021 clauses out of 26056 with flag 304824/347086
82.75/80.99	c cleaning 14009 clauses out of 28035 with flag 354596/362086
86.15/84.37	c cleaning 15003 clauses out of 30025 with flag 405415/378085
89.74/87.98	c cleaning 16008 clauses out of 32024 with flag 459918/395087
93.63/91.89	c cleaning 16995 clauses out of 34014 with flag 512444/413085
97.83/96.02	c cleaning 18006 clauses out of 36020 with flag 573625/432086
101.92/100.14	c cleaning 19002 clauses out of 38015 with flag 633736/452087
106.11/104.32	c cleaning 20005 clauses out of 40011 with flag 697495/473085
110.50/108.79	c cleaning 21001 clauses out of 42007 with flag 763699/495086
114.99/113.29	c cleaning 21999 clauses out of 44006 with flag 833747/518086
119.68/117.97	c cleaning 22999 clauses out of 46008 with flag 906848/542087
124.58/122.83	c cleaning 24000 clauses out of 48010 with flag 980110/567088
129.79/128.05	c cleaning 25002 clauses out of 50008 with flag 1057747/593086
134.78/133.05	c cleaning 25996 clauses out of 52005 with flag 1132948/620085
140.56/138.81	c cleaning 26998 clauses out of 54010 with flag 1215298/648086
146.15/144.46	c cleaning 27999 clauses out of 56011 with flag 1299461/677085
151.94/150.29	c cleaning 28996 clauses out of 58012 with flag 1385490/707085
157.84/156.14	c cleaning 30003 clauses out of 60018 with flag 1473173/738087
164.03/162.37	c cleaning 31001 clauses out of 62014 with flag 1566353/770086
171.02/169.37	c cleaning 32003 clauses out of 64012 with flag 1668735/803085
173.22/171.59	c Got one! Elapsed wall clock time (in seconds):171.475
173.22/171.59	o 83
174.72/173.08	c cleaning 23284 clauses out of 46588 with flag 17297/817664
176.11/174.46	c cleaning 14648 clauses out of 29305 with flag 38100/823665
177.61/176.00	c cleaning 10815 clauses out of 21656 with flag 61803/830664
179.31/177.67	c cleaning 9416 clauses out of 18841 with flag 87528/838664
181.30/179.66	c cleaning 9207 clauses out of 18426 with flag 117386/847665
183.60/181.91	c cleaning 9603 clauses out of 19219 with flag 150142/857665
185.89/184.24	c cleaning 10302 clauses out of 20616 with flag 184233/868665
188.39/186.72	c cleaning 11155 clauses out of 22314 with flag 221293/880665
191.18/189.54	c cleaning 12077 clauses out of 24159 with flag 257376/893665
194.47/192.80	c cleaning 13037 clauses out of 26081 with flag 301938/907664
197.97/196.37	c cleaning 14018 clauses out of 28045 with flag 353400/922665
201.66/200.05	c cleaning 15013 clauses out of 30027 with flag 396398/938665
204.35/202.77	c Got one! Elapsed wall clock time (in seconds):202.653
204.35/202.77	o 82
205.66/204.02	c cleaning 15766 clauses out of 31538 with flag 16799/955189
207.05/205.49	c cleaning 10875 clauses out of 21771 with flag 37542/961188
208.65/207.04	c cleaning 8937 clauses out of 17896 with flag 59287/968188
210.45/208.85	c cleaning 8476 clauses out of 16959 with flag 84713/976188
212.45/210.88	c cleaning 8733 clauses out of 17483 with flag 114437/985188
214.64/213.06	c cleaning 9375 clauses out of 18753 with flag 146446/995191
217.05/215.44	c cleaning 10178 clauses out of 20375 with flag 182239/1006188
219.55/217.90	c cleaning 11093 clauses out of 22197 with flag 220377/1018188
222.05/220.43	c cleaning 12050 clauses out of 24106 with flag 260533/1031190
225.04/223.46	c cleaning 13027 clauses out of 26058 with flag 304954/1045192
228.53/226.90	c cleaning 14010 clauses out of 28028 with flag 356993/1060189
232.13/230.53	c cleaning 15000 clauses out of 30017 with flag 412149/1076188
235.52/233.98	c Got one! Elapsed wall clock time (in seconds):233.866
235.52/233.98	o 81
236.82/235.28	c cleaning 18470 clauses out of 36955 with flag 17104/1098126
238.21/236.68	c cleaning 12238 clauses out of 24486 with flag 36118/1104127
239.62/238.05	c cleaning 9623 clauses out of 19247 with flag 56894/1111126
241.21/239.67	c cleaning 8805 clauses out of 17624 with flag 80087/1119126
243.00/241.42	c cleaning 8903 clauses out of 17819 with flag 107259/1128126
244.90/243.33	c cleaning 9456 clauses out of 18919 with flag 137137/1138129
246.90/245.37	c cleaning 10228 clauses out of 20460 with flag 169305/1149126
249.19/247.60	c cleaning 11115 clauses out of 22234 with flag 204895/1161128
251.79/250.22	c cleaning 12054 clauses out of 24118 with flag 246157/1174127
254.59/253.10	c cleaning 13020 clauses out of 26063 with flag 288923/1188126
257.88/256.34	c cleaning 14018 clauses out of 28043 with flag 339245/1203126
261.47/259.91	c cleaning 15006 clauses out of 30025 with flag 392572/1219126
265.16/263.63	c cleaning 16005 clauses out of 32019 with flag 449763/1236126
269.05/267.58	c cleaning 17007 clauses out of 34016 with flag 510300/1254128
273.34/271.82	c cleaning 18003 clauses out of 36007 with flag 575605/1273126
277.65/276.12	c cleaning 19001 clauses out of 38006 with flag 641698/1293128
282.74/281.26	c cleaning 19997 clauses out of 40003 with flag 710939/1314126
285.33/283.84	c Got one! Elapsed wall clock time (in seconds):283.721
285.33/283.84	o 80
286.43/285.00	c cleaning 18196 clauses out of 36416 with flag 15842/1330536
287.82/286.32	c cleaning 12107 clauses out of 24220 with flag 32817/1336536
289.22/287.74	c cleaning 9549 clauses out of 19113 with flag 51822/1343536
290.92/289.43	c cleaning 8780 clauses out of 17567 with flag 76897/1351539
293.11/291.67	c cleaning 8883 clauses out of 17784 with flag 109400/1360536
295.51/294.01	c cleaning 9444 clauses out of 18902 with flag 144788/1370537
298.10/296.61	c cleaning 10222 clauses out of 20457 with flag 184788/1381536
300.80/299.31	c cleaning 11116 clauses out of 22235 with flag 218590/1393536
303.50/302.06	c cleaning 12050 clauses out of 24120 with flag 257283/1406537
306.49/305.05	c cleaning 13028 clauses out of 26070 with flag 297188/1420537
309.90/308.46	c cleaning 14020 clauses out of 28041 with flag 347157/1435536
313.39/312.00	c cleaning 15009 clauses out of 30021 with flag 392706/1451536
317.38/315.93	c cleaning 16003 clauses out of 32012 with flag 447348/1468536
321.28/319.89	c cleaning 16998 clauses out of 34011 with flag 504600/1486538
324.87/323.41	c Got one! Elapsed wall clock time (in seconds):323.29
324.87/323.41	o 78
325.97/324.58	c cleaning 19156 clauses out of 38327 with flag 14111/1507852
327.36/325.94	c cleaning 12578 clauses out of 25171 with flag 34321/1513852
328.76/327.31	c cleaning 9791 clauses out of 19592 with flag 54099/1520852
330.36/328.97	c cleaning 8890 clauses out of 17802 with flag 78704/1528853
332.25/330.84	c cleaning 8954 clauses out of 17912 with flag 104508/1537853
334.45/333.06	c cleaning 9478 clauses out of 18958 with flag 132245/1547853
336.84/335.47	c cleaning 10237 clauses out of 20479 with flag 164372/1558852
339.24/337.80	c cleaning 11121 clauses out of 22242 with flag 200589/1570852
341.73/340.39	c cleaning 12054 clauses out of 24123 with flag 238378/1583854
344.23/342.87	c cleaning 13029 clauses out of 26067 with flag 276293/1597852
347.32/345.92	c cleaning 14013 clauses out of 28038 with flag 321423/1612852
350.71/349.33	c cleaning 15008 clauses out of 30025 with flag 373012/1628852
354.61/353.22	c cleaning 16002 clauses out of 32017 with flag 428231/1645852
358.51/357.18	c cleaning 17000 clauses out of 34016 with flag 484309/1663853
358.70/357.33	c Got one! Elapsed wall clock time (in seconds):357.215
358.70/357.33	o 74
359.90/358.52	c cleaning 11369 clauses out of 22754 with flag 16180/1669591
361.20/359.89	c cleaning 8685 clauses out of 17385 with flag 35790/1675591
362.79/361.40	c cleaning 7842 clauses out of 15700 with flag 58128/1682591
364.29/362.98	c cleaning 7923 clauses out of 15859 with flag 82115/1690592
366.08/364.79	c cleaning 8465 clauses out of 16935 with flag 109932/1699591
368.28/366.90	c cleaning 9228 clauses out of 18470 with flag 141725/1709591
370.48/369.13	c cleaning 10115 clauses out of 20242 with flag 175806/1720591
372.87/371.57	c cleaning 11055 clauses out of 22127 with flag 215014/1732591
375.46/374.12	c cleaning 12029 clauses out of 24074 with flag 255210/1745593
378.46/377.11	c cleaning 13016 clauses out of 26043 with flag 300140/1759591
381.75/380.43	c cleaning 14004 clauses out of 28027 with flag 348371/1774591
385.14/383.84	c cleaning 15004 clauses out of 30023 with flag 398737/1790591
388.63/387.35	c cleaning 16006 clauses out of 32019 with flag 451364/1807591
392.52/391.24	c cleaning 17000 clauses out of 34013 with flag 508552/1825591
396.81/395.58	c cleaning 18003 clauses out of 36014 with flag 567222/1844592
401.30/400.09	c cleaning 19000 clauses out of 38010 with flag 628090/1864591
405.90/404.65	c cleaning 19999 clauses out of 40011 with flag 694302/1885592
410.49/409.29	c cleaning 20997 clauses out of 42011 with flag 760284/1907591
415.87/414.64	c cleaning 22003 clauses out of 44015 with flag 841199/1930592
421.37/420.12	c cleaning 23002 clauses out of 46012 with flag 921507/1954592
427.05/425.82	c cleaning 23996 clauses out of 48009 with flag 1009435/1979591
432.44/431.22	c cleaning 24999 clauses out of 50013 with flag 1087368/2005591
438.13/436.94	c cleaning 25997 clauses out of 52016 with flag 1170758/2032593
444.11/442.96	c cleaning 27007 clauses out of 54017 with flag 1254420/2060591
450.60/449.43	c cleaning 28001 clauses out of 56010 with flag 1346194/2089591
456.99/455.81	c cleaning 28998 clauses out of 58009 with flag 1435485/2119591
464.17/463.07	c cleaning 30000 clauses out of 60011 with flag 1532715/2150591
471.07/469.93	c cleaning 30997 clauses out of 62012 with flag 1631801/2182592
478.87/477.72	c cleaning 32000 clauses out of 64014 with flag 1742273/2215591
486.26/485.19	c cleaning 33002 clauses out of 66014 with flag 1844867/2249591
494.03/492.94	c cleaning 34001 clauses out of 68012 with flag 1954946/2284591
502.22/501.16	c cleaning 35003 clauses out of 70014 with flag 2068114/2320594
511.50/510.49	c cleaning 35995 clauses out of 72008 with flag 2200268/2357591
520.48/519.45	c cleaning 37002 clauses out of 74013 with flag 2327401/2395591
529.07/528.06	c cleaning 37999 clauses out of 76012 with flag 2450998/2434592
538.20/537.13	c cleaning 39001 clauses out of 78012 with flag 2581868/2474591
547.77/546.75	c cleaning 39998 clauses out of 80011 with flag 2719337/2515591
557.45/556.44	c cleaning 41000 clauses out of 82014 with flag 2862326/2557592
567.04/566.01	c cleaning 42000 clauses out of 84013 with flag 3001322/2600591
577.32/576.39	c cleaning 42999 clauses out of 86014 with flag 3151206/2644592
587.80/586.89	c cleaning 43999 clauses out of 88014 with flag 3305972/2689591
598.18/597.24	c cleaning 45005 clauses out of 90016 with flag 3458980/2735592
609.66/608.73	c cleaning 45999 clauses out of 92010 with flag 3618618/2782591
620.54/619.67	c cleaning 47003 clauses out of 94011 with flag 3782995/2830591
633.11/632.23	c cleaning 47997 clauses out of 96009 with flag 3944593/2879592
644.90/644.00	c cleaning 48997 clauses out of 98011 with flag 4117346/2929591
656.17/655.34	c cleaning 49996 clauses out of 100015 with flag 4281970/2980592
668.25/667.48	c cleaning 51004 clauses out of 102018 with flag 4453299/3032591
681.27/680.45	c cleaning 51999 clauses out of 104014 with flag 4630347/3085591
694.34/693.56	c cleaning 53003 clauses out of 106016 with flag 4807063/3139592
705.83/705.09	c cleaning 54002 clauses out of 108012 with flag 4970598/3194591
720.20/719.46	c cleaning 55001 clauses out of 110010 with flag 5176167/3250592
734.56/733.81	c cleaning 55999 clauses out of 112009 with flag 5382582/3307592
750.55/749.82	c cleaning 57005 clauses out of 114011 with flag 5571365/3365593
766.32/765.67	c cleaning 57997 clauses out of 116004 with flag 5791703/3424591
782.39/781.73	c cleaning 58994 clauses out of 118007 with flag 5994459/3484591
798.56/797.97	c cleaning 60003 clauses out of 120013 with flag 6201189/3545591
813.43/812.86	c cleaning 61002 clauses out of 122011 with flag 6399602/3607592
831.14/830.53	c cleaning 61990 clauses out of 124008 with flag 6621430/3670591
849.50/848.90	c cleaning 62997 clauses out of 126018 with flag 6855384/3734591
866.95/866.43	c cleaning 64006 clauses out of 128021 with flag 7090175/3799591
885.11/884.63	c cleaning 65006 clauses out of 130016 with flag 7329119/3865592
903.07/902.62	c cleaning 66005 clauses out of 132009 with flag 7571171/3932591
921.13/920.73	c cleaning 66998 clauses out of 134004 with flag 7798130/4000591
939.41/939.10	c cleaning 67992 clauses out of 136006 with flag 8023276/4069591
958.77/958.47	c cleaning 69006 clauses out of 138017 with flag 8261076/4139594
976.34/976.07	c cleaning 69997 clauses out of 140009 with flag 8495319/4210592
992.90/992.68	c cleaning 71002 clauses out of 142011 with flag 8732693/4282591
1011.76/1011.54	c cleaning 71994 clauses out of 144010 with flag 8970839/4355592
1033.87/1033.69	c cleaning 73006 clauses out of 146017 with flag 9232068/4429593
1054.33/1054.18	c cleaning 73997 clauses out of 148009 with flag 9500060/4504591
1076.19/1076.09	c cleaning 75001 clauses out of 150012 with flag 9756104/4580591
1096.25/1096.11	c cleaning 75998 clauses out of 152012 with flag 10023181/4657592
1118.11/1118.08	c cleaning 77005 clauses out of 154014 with flag 10278880/4735592
1141.86/1141.83	c cleaning 78001 clauses out of 156009 with flag 10545525/4814592
1164.18/1164.19	c cleaning 79001 clauses out of 158008 with flag 10832095/4894592
1186.53/1186.53	c cleaning 80000 clauses out of 160006 with flag 11130420/4975591
1210.19/1210.25	c cleaning 80999 clauses out of 162006 with flag 11415565/5057591
1231.64/1231.72	c cleaning 81991 clauses out of 164008 with flag 11682240/5140592
1254.50/1254.66	c cleaning 82998 clauses out of 166017 with flag 11976991/5224592
1278.96/1279.12	c cleaning 84000 clauses out of 168018 with flag 12282256/5309591
1303.00/1303.27	c cleaning 85001 clauses out of 170019 with flag 12586115/5395592
1328.42/1328.64	c cleaning 86000 clauses out of 172017 with flag 12897787/5482591
1352.17/1352.46	c cleaning 87007 clauses out of 174018 with flag 13209853/5570592
1376.13/1376.42	c cleaning 88003 clauses out of 176010 with flag 13513108/5659591
1403.68/1404.06	c cleaning 88997 clauses out of 178007 with flag 13805628/5749591
1431.22/1431.67	c cleaning 89999 clauses out of 180011 with flag 14134082/5840592
1458.68/1459.18	c cleaning 90999 clauses out of 182011 with flag 14474893/5932591
1486.42/1486.97	c cleaning 91999 clauses out of 184013 with flag 14816245/6025592
1503.38/1504.00	c Got one! Elapsed wall clock time (in seconds):1503.88
1503.38/1504.00	o 72
1505.78/1506.30	c cleaning 76839 clauses out of 153698 with flag 17339/6087276
1507.48/1508.05	c cleaning 41424 clauses out of 82860 with flag 38282/6093277
1509.28/1509.86	c cleaning 24212 clauses out of 48435 with flag 63441/6100276
1511.17/1511.76	c cleaning 16104 clauses out of 32224 with flag 90469/6108277
1513.07/1513.66	c cleaning 12552 clauses out of 25120 with flag 118753/6117277
1515.36/1515.95	c cleaning 11274 clauses out of 22567 with flag 153120/6127276
1517.76/1518.37	c cleaning 11137 clauses out of 22294 with flag 189826/6138277
1520.35/1520.97	c cleaning 11563 clauses out of 23156 with flag 228770/6150276
1523.24/1523.89	c cleaning 12288 clauses out of 24593 with flag 272975/6163276
1526.14/1526.78	c cleaning 13148 clauses out of 26306 with flag 317219/6177277
1529.63/1530.20	c cleaning 14074 clauses out of 28158 with flag 367954/6192277
1533.03/1533.67	c cleaning 15036 clauses out of 30083 with flag 419680/6208276
1536.72/1537.30	c cleaning 16022 clauses out of 32049 with flag 473825/6225278
1540.82/1541.42	c cleaning 17008 clauses out of 34026 with flag 534142/6243277
1545.30/1545.91	c cleaning 18001 clauses out of 36017 with flag 596860/6262276
1549.69/1550.32	c cleaning 19000 clauses out of 38016 with flag 664898/6282276
1554.28/1554.94	c cleaning 20000 clauses out of 40016 with flag 736399/6303276
1558.98/1559.67	c cleaning 20998 clauses out of 42016 with flag 808296/6325276
1564.37/1565.08	c cleaning 22003 clauses out of 44018 with flag 887693/6348276
1569.85/1570.52	c cleaning 23004 clauses out of 46015 with flag 968198/6372276
1575.45/1576.13	c cleaning 24005 clauses out of 48013 with flag 1050576/6397278
1581.13/1581.83	c cleaning 25002 clauses out of 50006 with flag 1137448/6423276
1587.02/1587.75	c cleaning 25993 clauses out of 52004 with flag 1221482/6450276
1593.61/1594.30	c cleaning 26998 clauses out of 54011 with flag 1313088/6478276
1600.49/1601.26	c cleaning 28007 clauses out of 56014 with flag 1413950/6507277
1608.18/1608.90	c cleaning 28995 clauses out of 58006 with flag 1521640/6537276
1616.37/1617.17	c cleaning 29998 clauses out of 60011 with flag 1630397/6568276
1624.70/1625.49	c cleaning 31002 clauses out of 62013 with flag 1748967/6600276
1632.68/1633.40	c cleaning 32000 clauses out of 64013 with flag 1865428/6633278
1641.07/1641.87	c cleaning 32999 clauses out of 66011 with flag 1982708/6667276
1648.95/1649.71	c cleaning 34000 clauses out of 68012 with flag 2101195/6702276
1656.94/1657.75	c cleaning 34997 clauses out of 70013 with flag 2224367/6738277
1665.42/1666.25	c cleaning 36006 clauses out of 72017 with flag 2348441/6775278
1674.31/1675.14	c cleaning 36999 clauses out of 74010 with flag 2480430/6813277
1683.78/1684.70	c cleaning 38000 clauses out of 76010 with flag 2623950/6852276
1693.36/1694.27	c cleaning 38997 clauses out of 78009 with flag 2768193/6892277
1702.65/1703.58	c cleaning 39994 clauses out of 80012 with flag 2895299/6933277
1712.73/1713.62	c cleaning 41001 clauses out of 82018 with flag 3034410/6975277
1724.00/1724.96	c cleaning 42007 clauses out of 84017 with flag 3186849/7018277
1735.58/1736.56	c cleaning 42994 clauses out of 86009 with flag 3352930/7062276
1745.47/1746.48	c cleaning 44003 clauses out of 88018 with flag 3494776/7107279
1756.55/1757.51	c cleaning 44999 clauses out of 90012 with flag 3648043/7153276
1768.52/1769.54	c cleaning 45999 clauses out of 92014 with flag 3808849/7200277
1780.40/1781.45	c cleaning 47002 clauses out of 94014 with flag 3969759/7248276
1792.28/1793.37	c cleaning 47991 clauses out of 96012 with flag 4135226/7297276
1804.15/1805.28	c cleaning 49004 clauses out of 98024 with flag 4300784/7347279
1816.73/1817.85	c cleaning 50004 clauses out of 100018 with flag 4478937/7398277
1831.30/1832.45	c cleaning 51001 clauses out of 102013 with flag 4688555/7450276
1844.98/1846.10	c cleaning 52002 clauses out of 104012 with flag 4876679/7503276
1858.74/1859.93	c cleaning 53000 clauses out of 106011 with flag 5060041/7557277
1872.91/1874.14	c cleaning 54000 clauses out of 108010 with flag 5256163/7612276
1887.62/1888.81	c cleaning 54999 clauses out of 110011 with flag 5463921/7668277
1902.59/1903.82	c cleaning 56003 clauses out of 112013 with flag 5674881/7725279
1917.76/1919.01	c cleaning 56994 clauses out of 114007 with flag 5879929/7783276
1932.33/1933.64	c cleaning 58003 clauses out of 116014 with flag 6079488/7842277
1948.51/1949.86	c cleaning 58995 clauses out of 118010 with flag 6305343/7902276
1965.57/1966.98	c cleaning 59999 clauses out of 120015 with flag 6533671/7963276
1982.03/1983.44	c cleaning 61000 clauses out of 122016 with flag 6755392/8025276
1998.61/2000.06	c cleaning 62006 clauses out of 124016 with flag 6992221/8088276
2013.87/2015.32	c cleaning 63003 clauses out of 126011 with flag 7209872/8152277
2029.84/2031.30	c cleaning 63996 clauses out of 128007 with flag 7422874/8217276
2048.90/2050.46	c cleaning 65000 clauses out of 130012 with flag 7675043/8283277
2067.87/2069.47	c cleaning 66002 clauses out of 132012 with flag 7924309/8350277
2085.73/2087.38	c cleaning 66998 clauses out of 134010 with flag 8166103/8418277
2105.19/2106.89	c cleaning 68003 clauses out of 136011 with flag 8425800/8487276
2122.67/2124.33	c cleaning 68996 clauses out of 138010 with flag 8665986/8557278
2141.13/2142.89	c cleaning 69999 clauses out of 140012 with flag 8916919/8628276
2161.98/2163.70	c cleaning 71000 clauses out of 142013 with flag 9188563/8700276
2181.36/2183.14	c cleaning 71999 clauses out of 144014 with flag 9448161/8773277
2200.32/2202.18	c cleaning 73000 clauses out of 146017 with flag 9696362/8847279
2221.28/2223.14	c cleaning 74005 clauses out of 148014 with flag 9970678/8922276
2242.14/2244.03	c cleaning 74993 clauses out of 150009 with flag 10263113/8998276
2262.89/2264.85	c cleaning 76002 clauses out of 152016 with flag 10549963/9075276
2283.44/2285.45	c cleaning 77005 clauses out of 154014 with flag 10838846/9153276
2304.80/2306.89	c cleaning 77999 clauses out of 156009 with flag 11142288/9232276
2326.56/2328.60	c cleaning 79003 clauses out of 158013 with flag 11425918/9312279
2348.62/2350.79	c cleaning 79992 clauses out of 160008 with flag 11718240/9393277
2369.88/2372.10	c cleaning 80999 clauses out of 162018 with flag 12001201/9475279
2391.94/2394.15	c cleaning 82001 clauses out of 164016 with flag 12288854/9558276
2413.49/2415.72	c cleaning 82998 clauses out of 166016 with flag 12574880/9642277
2435.85/2438.18	c cleaning 84001 clauses out of 168017 with flag 12860377/9727276
2457.20/2459.53	c cleaning 85004 clauses out of 170017 with flag 13156758/9813277
2480.56/2482.99	c cleaning 85990 clauses out of 172012 with flag 13467586/9900276
2507.30/2509.71	c cleaning 87005 clauses out of 174024 with flag 13822424/9988278
2533.25/2535.74	c cleaning 87996 clauses out of 176017 with flag 14164133/10077276
2559.20/2561.76	c cleaning 89003 clauses out of 178022 with flag 14502411/10167277
2585.35/2587.91	c cleaning 90002 clauses out of 180018 with flag 14830721/10258276
2612.90/2615.52	c cleaning 90998 clauses out of 182016 with flag 15178830/10350276
2640.35/2643.08	c cleaning 92003 clauses out of 184021 with flag 15512695/10443279
2665.89/2668.62	c cleaning 93001 clauses out of 186015 with flag 15832615/10537276
2691.74/2694.59	c cleaning 94003 clauses out of 188015 with flag 16160449/10632277
2722.97/2725.86	c cleaning 95001 clauses out of 190012 with flag 16553177/10728277
2751.96/2754.71	c cleaning 96001 clauses out of 192013 with flag 16922446/10825279
2779.90/2782.71	c cleaning 97001 clauses out of 194011 with flag 17270152/10923278
2809.03/2812.00	c cleaning 97998 clauses out of 196007 with flag 17647601/11022276
2840.16/2843.17	c cleaning 99001 clauses out of 198010 with flag 18056606/11122277
2871.48/2874.58	c cleaning 99997 clauses out of 200010 with flag 18477561/11223278
2903.09/2906.23	c cleaning 101000 clauses out of 202012 with flag 18853738/11325277
2933.72/2936.92	c cleaning 101999 clauses out of 204012 with flag 19242043/11428277
2965.04/2968.30	c cleaning 103002 clauses out of 206012 with flag 19655594/11532276
2997.55/3000.96	c cleaning 104001 clauses out of 208010 with flag 20090053/11637276
3031.87/3035.30	c cleaning 105006 clauses out of 210011 with flag 20551638/11743278
3062.90/3066.41	c cleaning 105996 clauses out of 212002 with flag 20964068/11850276
3096.72/3100.32	c cleaning 106998 clauses out of 214007 with flag 21399986/11958277
3129.47/3133.07	c cleaning 107996 clauses out of 216009 with flag 21811515/12067277
3163.68/3167.35	c cleaning 109001 clauses out of 218013 with flag 22225280/12177277
3199.19/3202.95	c cleaning 110002 clauses out of 220011 with flag 22674436/12288276
3233.11/3236.91	c cleaning 110997 clauses out of 222011 with flag 23076035/12400278
3268.42/3272.31	c cleaning 112000 clauses out of 224014 with flag 23512172/12513278
3305.43/3309.48	c cleaning 113000 clauses out of 226012 with flag 23964312/12627276
3343.44/3347.57	c cleaning 114000 clauses out of 228012 with flag 24434527/12742276
3381.24/3385.46	c cleaning 115003 clauses out of 230013 with flag 24897829/12858277
3415.55/3419.86	c cleaning 115998 clauses out of 232011 with flag 25336965/12975278
3454.16/3458.53	c cleaning 117002 clauses out of 234013 with flag 25809096/13093278
3491.96/3496.49	c cleaning 117999 clauses out of 236010 with flag 26287304/13212277
3530.87/3535.48	c cleaning 119001 clauses out of 238011 with flag 26752667/13332277
3569.47/3574.18	c cleaning 120000 clauses out of 240011 with flag 27230950/13453278
3600.29/3604.98	c starts		: 13107
3600.29/3604.98	c conflicts		: 13549210
3600.29/3604.98	c decisions		: 15466588
3600.29/3604.98	c propagations		: 1012210472
3600.29/3604.98	c inspects		: 35990530766
3600.29/3604.98	c shortcuts		: 0
3600.29/3604.98	c learnt literals	: 10
3600.29/3604.98	c learnt binary clauses	: 17
3600.29/3604.98	c learnt ternary clauses	: 36
3600.29/3604.98	c learnt constraints	: 13549200
3600.29/3604.98	c ignored constraints	: 0
3600.29/3604.98	c root simplifications	: 0
3600.29/3604.98	c removed literals (reason simplification)	: 0
3600.29/3604.98	c reason swapping (by a shorter reason)	: 0
3600.29/3604.98	c Calls to reduceDB	: 331
3600.29/3604.98	c Number of update (reduction) of LBD	: 2435802
3600.29/3604.98	c Imported unit clauses	: 0
3600.29/3604.98	c No decision after first conflict	: false
3600.29/3604.98	c number of reductions to clauses (during analyze)	: 0
3600.29/3604.98	c number of learned constraints concerned by reduction	: 0
3600.29/3604.98	c number of learning phase by resolution	: 0
3600.29/3604.98	c number of learning phase by cutting planes	: 0
3600.29/3604.98	c number of rounding to 1 operations	: 0
3600.29/3604.98	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.29/3604.98	c number of reductions of the coefficients by power 2 	: 0
3600.29/3604.98	c number of right shift for reduction by power 2 	: 0
3600.29/3604.98	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.29/3604.98	c number of ending skipping 	: 0
3600.29/3604.98	c number of internal skipping 	: 0
3600.29/3604.98	c number of derivation steps 	: 0
3600.29/3604.98	c number of skipped derivation steps 	: 0
3600.29/3604.98	c number of remaining unassigned 	: 0
3600.29/3604.98	c number of remaining assigned 	: 0
3600.29/3604.98	c number of falsified literals weakened from reason	: 0
3600.29/3604.98	c number of falsified literals weakened from conflict	: 0
3600.29/3604.98	c time for arithmetic operations	: 0
3600.29/3604.98	c minimum degree of deleted constraints	: null
3600.29/3604.98	c maximum degree of deleted constraints	: null
3600.29/3604.98	c number of deleted constraints	: 0
3600.29/3605.00	c speed (assignments/second)	: 280803.2832727087
3600.29/3605.00	c non guided choices	: 10312
3600.68/3605.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 215926
3600.68/3605.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 17
3600.68/3605.14	s SATISFIABLE
3600.68/3605.14	c Found 14 solution(s)
3600.68/3605.14	v x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 x36 x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 x52 -x53 x54 -x55 -x56 x57 x58 x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 x74 x75 -x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 -x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 -x253 x254 x255 x256 x257 x258 x259 -x260 x261 x262 x263 x264 x265 x266 -x267 x268 x269 x270 x271 x272 -x273 x274 x275 x276 x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 -x306 x307 x308 x309 x310 x311 -x312 -x313 x314 x315 x316 x317 -x318 -x319 x320 x321 x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 -x343 x344 x345 x346 x347 -x348 x349 x350 x351 x352 -x353 -x354 x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 x386 x387 x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 -x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 -x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 x552 x553 x554 x555 x556 x557 x558 -x559 x560 x561 x562 x563 x564 x565 -x566 x567 x568 x569 x570 x571 x572 -x573 x574 x575 x576 x577 x578 -x579 x580 x581 x582 x583 -x584 x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 -x606 x607 x608 x609 x610 x611 -x612 -x613 x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 -x638 x639 x640 x641 x642 -x643 x644 x645 x646 x647 -x648 -x649 x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 x677 x678 x679 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 -x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 -x791 x792 x793 x794 x795 x796 x797 -x798 x799 x800 x801 x802 x803 -x804 x805 x806 x807 x808 -x809 x810 x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 x820 x821 x822 x823 x824 -x825 x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 -x838 x839 x840 x841 -x842 x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 x855 x856 -x857 x858 x859 x860 x861 -x862 -x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 -x886 x887 x888 x889 -x890 x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 -x965 x966 x967 x968 x969 x970 x971 x972 x973 -x974 x975 x976 -x977 -x978 -x979 x980 x981 x982 x983 x984 x985 -x986 x987 x988 x989 x990 x991 -x992 x993 x994 x995 x996 -x997 x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 x1011 -x1012 x1013 x1014 x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 x1033 x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 -x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 x1117 -x1118 -x1119 x1120 x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 x1203 x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 -x1245 -x1246 -x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 
3600.68/3605.16	c objective function=72
3600.68/3605.16	c Total wall clock time (in seconds): 3605.042

Verifier Data 

OK	72

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: 63968 MiB (62917 MiB free)
  memory of node 1: 64473 MiB (62980 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432254-1721106640/watcher-4432254-1721106640 -o /tmp/evaluation-result-4432254-1721106640/solver-4432254-1721106640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842438 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432254-1721106640.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=842494, runsolver pid=842489

[startup+0.100496 s]*
/proc/loadavg: 3.82 4.12 4.16 12/326 842567
/proc/meminfo: memFree=128755292/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=18975048 memory=62612 CPUtime=0.14 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 7255 0 0 0 13 1 0 0 20 0 18 0 162830210 19430449152 15653 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4743762 15653 5534 1 0 549343 0
[pid=842494/tid=842498] ppid=842489 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) S 842489 842494 842425 0 -1 1077936192 5759 0 0 0 8 1 0 0 20 0 18 0 162830211 19430449152 15653 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=18975048 memory=16952 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 15653 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162830214 19430449152 15653 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62612 KiB

[startup+0.207063 s]*
/proc/loadavg: 3.82 4.12 4.16 10/307 842570
/proc/meminfo: memFree=128750268/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=18975048 memory=88296 CPUtime=0.34 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 8811 0 0 0 32 2 0 0 20 0 18 0 162830210 19430449152 22074 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4743762 22074 5822 1 0 550378 0
[pid=842494/tid=842498] ppid=842489 vsize=18975048 memory=664970851429515383 CPUtime=0.18 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 5904 0 0 0 17 1 0 0 20 0 18 0 162830211 19430449152 22074 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=18975048 memory=215671390465 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162830213 19430449152 22140 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=18975048 memory=2745 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162830214 19430449152 22140 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88296 KiB

[startup+0.312064 s]*
/proc/loadavg: 3.82 4.12 4.16 12/308 842586
/proc/meminfo: memFree=128670704/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=114288 CPUtime=0.55 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 10289 0 0 0 52 3 0 0 20 0 19 0 162830210 19498610688 28572 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 28572 5860 1 0 551745 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=-6170700500682046914 CPUtime=0.28 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 6024 0 0 0 26 2 0 0 20 0 19 0 162830211 19498610688 28572 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 28572 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 28572 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 28572 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114288 KiB

[startup+0.700505 s]
/proc/loadavg: 3.82 4.12 4.16 11/307 842610
/proc/meminfo: memFree=128605508/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=128648 CPUtime=1.29 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 15705 0 0 0 126 3 0 0 20 0 19 0 162830210 19498610688 32162 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 32162 5860 1 0 555284 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=5468 CPUtime=0.65 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 6024 0 0 0 63 2 0 0 20 0 19 0 162830211 19498610688 32162 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 32162 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 32162 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 32162 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128648 KiB

[startup+1.50106 s]
/proc/loadavg: 3.82 4.12 4.16 8/310 842654
/proc/meminfo: memFree=128580568/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=131500 CPUtime=2.41 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 17012 0 0 0 238 3 0 0 20 0 19 0 162830210 19498610688 32875 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 32875 5875 1 0 555289 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=12420 CPUtime=1.43 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 6125 0 0 0 141 2 0 0 20 0 19 0 162830211 19498610688 32875 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 32875 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 32875 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=1092 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 32875 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131500 KiB

[startup+3.10706 s]
/proc/loadavg: 3.82 4.12 4.16 6/332 842705
/proc/meminfo: memFree=128395352/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=133880 CPUtime=4.27 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 21610 0 0 0 423 4 0 0 20 0 19 0 162830210 19498610688 33470 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 33470 5875 1 0 555333 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=0 CPUtime=3.02 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 7319 0 0 0 300 2 0 0 20 0 19 0 162830211 19498610688 33470 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 33470 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 33470 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=11664 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 33470 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133880 KiB

[startup+6.30106 s]
/proc/loadavg: 3.92 4.13 4.17 6/332 842707
/proc/meminfo: memFree=128305824/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=136048 CPUtime=7.44 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 22568 0 0 0 740 4 0 0 20 0 19 0 162830210 19498610688 34012 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 34012 5875 1 0 555350 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=12420 CPUtime=6.18 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 8042 0 0 0 616 2 0 0 20 0 19 0 162830211 19498610688 34012 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 34012 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 34012 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=8514726395715219830 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 34012 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136048 KiB

[startup+12.7011 s]
/proc/loadavg: 3.92 4.13 4.17 6/333 842708
/proc/meminfo: memFree=128143448/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=155928 CPUtime=14.74 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 37914 0 0 0 1468 6 0 0 20 0 19 0 162830210 19498610688 38982 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 38982 5875 1 0 556090 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=0 CPUtime=12.51 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 10387 0 0 0 1249 2 0 0 20 0 19 0 162830211 19498610688 38982 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=152684 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 38982 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=104 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 38982 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 38982 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 155928 KiB

[startup+25.5011 s]
/proc/loadavg: 3.94 4.12 4.16 6/333 842711
/proc/meminfo: memFree=127871836/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19041612 memory=166244 CPUtime=27.45 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 43364 0 0 0 2738 7 0 0 20 0 19 0 162830210 19498610688 41561 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4760403 41561 5875 1 0 556106 0
[pid=842494/tid=842498] ppid=842489 vsize=19041612 memory=152684 CPUtime=25.17 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 12628 0 0 0 2515 2 0 0 20 0 19 0 162830211 19498610688 41561 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19041612 memory=11664 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830213 19498610688 41561 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19041612 memory=160100 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830214 19498610688 41561 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19041612 memory=-8526834076732465852 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830238 19498610688 41561 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 27.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166244 KiB

[startup+51.1063 s]
/proc/loadavg: 4.22 4.17 4.18 6/334 842715
/proc/meminfo: memFree=127271096/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=185092 CPUtime=53.02 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 49905 0 0 0 5294 8 0 0 20 0 20 0 162830210 19566772224 46273 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 46273 5891 1 0 556395 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=185088 CPUtime=50.67 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 14345 0 0 0 5064 3 0 0 20 0 20 0 162830211 19566772224 46273 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0

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

/proc/meminfo: memFree=121138396/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3338.25 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 121328 0 0 0 333717 108 0 0 20 0 20 0 162830210 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527014 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=41552 CPUtime=3332.74 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 55757 0 0 0 333254 20 0 0 20 0 20 0 162830211 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=2108056 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4082 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3338.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.17 6/331 844904
/proc/meminfo: memFree=121137696/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3398.09 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 122632 0 0 0 339700 109 0 0 20 0 20 0 162830210 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527014 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3392.58 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 56905 0 0 0 339237 21 0 0 20 0 20 0 162830211 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=2108056 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=2108056 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4177 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=41552 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3398.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/332 844916
/proc/meminfo: memFree=121137124/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3457.96 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 123769 0 0 0 345685 111 0 0 20 0 20 0 162830210 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527014 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3452.42 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 57848 0 0 0 345221 21 0 0 20 0 20 0 162830211 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=2108056 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=41552 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4311 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=2108056 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527014 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3457.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.17 6/332 844926
/proc/meminfo: memFree=121136340/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108064 CPUtime=3517.81 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 125035 0 0 0 351669 112 0 0 20 0 20 0 162830210 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527016 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=2108056 CPUtime=3512.25 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 58959 0 0 0 351204 21 0 0 20 0 20 0 162830211 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=2108064 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4397 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=2108064 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3517.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/334 844940
/proc/meminfo: memFree=121080272/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108064 CPUtime=3577.65 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 126459 0 0 0 357653 112 0 0 20 0 20 0 162830210 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527016 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=11664 CPUtime=3572.08 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 60197 0 0 0 357187 21 0 0 20 0 20 0 162830211 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=41552 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=32192 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3577.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.8 s]
/proc/loadavg: 4.23 4.16 4.17 5/333 845013
/proc/meminfo: memFree=123486664/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19108176 memory=2108064 CPUtime=3600.09 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 126682 0 0 0 359896 113 0 0 20 0 20 0 162830210 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4777044 527016 5939 1 0 556428 0
[pid=842494/tid=842498] ppid=842489 vsize=19108176 memory=-8526834076732465852 CPUtime=3594.51 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 60408 0 0 0 359430 21 0 0 20 0 20 0 162830211 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19108176 memory=6600 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830213 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19108176 memory=8048 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 20 0 162830214 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842580] ppid=842489 vsize=19108176 memory=20616 CPUtime=0 cores=5,7
/proc/842494/task/842580/stat : 842580 (Timer-0) S 842489 842494 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830238 19566772224 527016 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2108064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.66 s, system=1.15413 s

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

[startup+3605 s]*
/proc/loadavg: 4.21 4.16 4.17 9/313 845019
/proc/meminfo: memFree=125025956/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19307868 memory=2112428 CPUtime=3600.49 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 130760 0 0 0 359935 114 0 0 20 0 21 0 162830210 19771256832 528107 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4826967 528107 5938 1 0 558277 0
[pid=842494/tid=842498] ppid=842489 vsize=19307868 memory=-8526828570584392380 CPUtime=3594.54 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 61689 0 0 0 359433 21 0 0 20 0 21 0 162830211 19771256832 528107 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19307868 memory=4892 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162830213 19771256832 528107 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19307868 memory=1561456 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 21 0 162830214 19771256832 528107 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=845015] ppid=842489 vsize=19307868 memory=2792 CPUtime=0.02 cores=5,7
/proc/842494/task/845015/stat : 845015 (Thread-0) R 842489 842494 842425 0 -1 4194368 358 0 0 0 2 0 0 0 20 0 21 0 163190691 19771256832 528107 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2112428 KiB

[startup+3605.11 s]
/proc/loadavg: 4.21 4.16 4.17 9/313 845019
/proc/meminfo: memFree=125025956/131524600 swapFree=131071996/131071996
[pid=842494] ppid=842489 vsize=19307868 memory=2120364 CPUtime=3600.68 cores=5,7
/proc/842494/stat : 842494 (java) S 842489 842494 842425 0 -1 1077936128 133048 0 0 0 359954 114 0 0 20 0 21 0 162830210 19771256832 530091 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
/proc/842494/statm: 4826967 530091 5938 1 0 559126 0
[pid=842494/tid=842498] ppid=842489 vsize=19307868 memory=11664 CPUtime=3594.58 cores=5,7
/proc/842494/task/842498/stat : 842498 (java) R 842489 842494 842425 0 -1 4194368 62539 0 0 0 359437 21 0 0 20 0 21 0 162830211 19771256832 530091 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842548] ppid=842489 vsize=19307868 memory=41552 CPUtime=0 cores=5,7
/proc/842494/task/842548/stat : 842548 (Finalizer) S 842489 842494 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162830213 19771256832 530091 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=842560] ppid=842489 vsize=19307868 memory=12420 CPUtime=0 cores=5,7
/proc/842494/task/842560/stat : 842560 (Common-Cleaner) S 842489 842494 842425 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 21 0 162830214 19771256832 530091 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
[pid=842494/tid=845015] ppid=842489 vsize=19307868 memory=2108064 CPUtime=0.06 cores=5,7
/proc/842494/task/845015/stat : 845015 (Thread-0) R 842489 842494 842425 0 -1 4194368 368 0 0 0 6 0 0 0 20 0 21 0 163190691 19771256832 530091 134679101440 93829386579968 93829386583664 140725945056256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829386591480 93829386592272 93829418659840 140725945062407 140725945062497 140725945062497 140725945069512 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2120364 KiB

Child status: 143

Real time (s): 3605.17
CPU time (s): 3600.82
CPU user time (s): 3599.66
CPU system time (s): 1.15413
CPU usage (%): 99.8791
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2120364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 1.15413
maximum resident set size= 2121464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101743
involuntary context switches= 2393


# summary of solver processes directly reported to runsolver:
#   pid: 842494
#   total CPU time (s): 3600.82
#   total CPU user time (s): 3599.66
#   total CPU system time (s): 1.15413

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41001 second user time and 18.7853 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 07:10:53
IDJOB=4432254
IDBENCH=147695
IDSOLVER=3058
FILE ID=nodeC026/4432254-1721106640
RUNJOBID= nodeC026-1721106653-842438
SLURM_JOB_ID= 7505637
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432254-1721106640/watcher-4432254-1721106640 -o /tmp/evaluation-result-4432254-1721106640/solver-4432254-1721106640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842438 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432254-1721106640.opb

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

MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=409296075

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3505.823
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3276.675
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3586.524
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3850.834
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3655.625
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3645.490
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3652.807
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3809.127
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128930140 kB
MemAvailable:   129757304 kB
Buffers:          399156 kB
Cached:          1262464 kB
SwapCached:            0 kB
Active:           688052 kB
Inactive:        1308216 kB
Active(anon):       1444 kB
Inactive(anon):   370952 kB
Active(file):     686608 kB
Inactive(file):   937264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3756 kB
Writeback:             0 kB
AnonPages:        331740 kB
Mapped:           104364 kB
Shmem:             37720 kB
KReclaimable:      86232 kB
Slab:             191440 kB
SReclaimable:      86232 kB
SUnreclaim:       105208 kB
KernelStack:        3904 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     699272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-16 08:10:58