Trace number 4440314

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)72 3600.24 3618.72

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.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440314-1721772848.opb
0.13/0.13	c reading problem ... 
0.19/0.40	c using VERIPB proof format
0.19/0.40	c  objective function found
0.38/0.56	c ... done. Wall clock time 0.419s.
0.38/0.56	c declared #vars     1288
0.38/0.56	c #constraints  2431
0.38/0.56	c constraints type 
0.38/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
0.38/0.56	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.38/0.56	c 2431 constraints processed.
0.38/0.56	c objective function length is 8 literals
3.65/2.32	c cleaning 2495 clauses out of 5000 with flag 13513/5000
5.51/3.66	c cleaning 4249 clauses out of 8505 with flag 29765/11000
6.33/4.32	c SATISFIABLE
6.33/4.32	c OPTIMIZING...
6.33/4.32	c Got one! Elapsed wall clock time (in seconds):4.188
6.33/4.32	o 120
6.76/4.77	c cleaning 4631 clauses out of 9275 with flag 5699/16019
8.28/6.09	c cleaning 5315 clauses out of 10644 with flag 22795/22019
9.79/7.59	c cleaning 6155 clauses out of 12329 with flag 43626/29019
11.50/9.22	c cleaning 7081 clauses out of 14174 with flag 67380/37019
13.22/10.99	c cleaning 8044 clauses out of 16093 with flag 93872/46019
15.44/13.08	c cleaning 9019 clauses out of 18050 with flag 124522/56020
17.83/15.46	c cleaning 10010 clauses out of 20032 with flag 158413/67021
20.42/18.05	c cleaning 11001 clauses out of 22020 with flag 195555/79019
23.20/20.88	c cleaning 12004 clauses out of 24019 with flag 235299/92019
24.60/22.23	c Got one! Elapsed wall clock time (in seconds):22.1
24.60/22.23	o 117
26.10/23.48	c cleaning 12122 clauses out of 24257 with flag 16021/104261
27.50/24.81	c cleaning 9064 clauses out of 18136 with flag 35086/110262
28.90/26.26	c cleaning 8027 clauses out of 16071 with flag 56009/117261
30.65/27.94	c cleaning 8017 clauses out of 16046 with flag 79951/125263
32.59/29.84	c cleaning 8508 clauses out of 17027 with flag 107888/134261
34.69/31.95	c cleaning 9253 clauses out of 18519 with flag 139945/144261
37.10/34.36	c cleaning 10127 clauses out of 20266 with flag 174725/155261
39.50/38.07	c cleaning 11061 clauses out of 22139 with flag 212671/167261
42.18/40.77	c cleaning 12037 clauses out of 24078 with flag 252676/180261
42.58/41.16	c Got one! Elapsed wall clock time (in seconds):41.028
42.58/41.16	o 101
43.08/41.67	c Got one! Elapsed wall clock time (in seconds):41.533
43.08/41.67	o 100
43.38/41.93	c cleaning 8569 clauses out of 17152 with flag 3385/185372
44.77/43.34	c cleaning 7287 clauses out of 14583 with flag 23908/191372
45.17/43.79	c Got one! Elapsed wall clock time (in seconds):43.657
45.17/43.79	o 99
45.98/44.51	c cleaning 6383 clauses out of 12790 with flag 10218/196866
47.37/45.99	c cleaning 6195 clauses out of 12406 with flag 29864/202865
49.19/47.63	c cleaning 6595 clauses out of 13212 with flag 52190/209866
51.09/49.56	c cleaning 7302 clauses out of 14616 with flag 79677/217865
53.18/51.61	c cleaning 8150 clauses out of 16314 with flag 109564/226865
54.77/53.20	c Got one! Elapsed wall clock time (in seconds):53.066
54.77/53.20	o 98
56.17/54.62	c cleaning 10270 clauses out of 20550 with flag 17517/239251
56.57/55.09	c Got one! Elapsed wall clock time (in seconds):54.954
56.57/55.09	o 93
57.48/55.99	c cleaning 7730 clauses out of 15477 with flag 11371/244448
58.98/57.46	c cleaning 6864 clauses out of 13746 with flag 31503/250447
60.48/58.91	c cleaning 6938 clauses out of 13882 with flag 54154/257447
61.97/60.47	c cleaning 7463 clauses out of 14944 with flag 77625/265447
63.42/61.80	c Got one! Elapsed wall clock time (in seconds):61.671
63.42/61.81	o 89
64.82/62.91	c cleaning 9328 clauses out of 18668 with flag 14187/276635
66.08/64.07	c cleaning 7662 clauses out of 15339 with flag 30145/282634
66.18/64.18	c Got one! Elapsed wall clock time (in seconds):64.045
66.18/64.18	o 83
67.57/65.51	c cleaning 6660 clauses out of 13341 with flag 17531/288298
68.96/66.92	c cleaning 6335 clauses out of 12682 with flag 36528/294299
70.46/68.47	c cleaning 6662 clauses out of 13346 with flag 58906/301298
72.25/70.26	c cleaning 7333 clauses out of 14684 with flag 84833/309298
74.34/72.43	c cleaning 8170 clauses out of 16353 with flag 115552/318300
76.74/74.83	c cleaning 9081 clauses out of 18181 with flag 150675/328298
78.93/77.05	c cleaning 10048 clauses out of 20101 with flag 182964/339299
81.31/79.33	c cleaning 11020 clauses out of 22051 with flag 216278/351298
84.12/82.18	c cleaning 12007 clauses out of 24031 with flag 260759/364298
87.01/85.04	c cleaning 13003 clauses out of 26025 with flag 300969/378299
89.90/87.92	c cleaning 14006 clauses out of 28021 with flag 345016/393298
92.59/90.68	c Got one! Elapsed wall clock time (in seconds):90.551
92.59/90.68	o 82
93.88/91.97	c cleaning 16420 clauses out of 32850 with flag 17569/412133
95.38/93.41	c cleaning 11209 clauses out of 22430 with flag 38683/418133
96.87/94.98	c cleaning 9109 clauses out of 18221 with flag 62358/425133
98.68/96.73	c cleaning 8549 clauses out of 17111 with flag 89458/433132
100.66/98.75	c cleaning 8776 clauses out of 17562 with flag 118502/442132
102.66/100.74	c cleaning 9391 clauses out of 18787 with flag 148242/452133
104.97/103.17	c cleaning 10192 clauses out of 20396 with flag 183391/463133
107.75/105.98	c cleaning 11096 clauses out of 22203 with flag 225535/475132
110.45/108.61	c cleaning 12045 clauses out of 24108 with flag 264932/488133
113.34/111.58	c cleaning 13025 clauses out of 26063 with flag 308790/502133
116.63/114.85	c cleaning 14010 clauses out of 28038 with flag 356344/517133
120.12/118.33	c cleaning 15008 clauses out of 30028 with flag 410994/533133
123.71/121.91	c cleaning 16006 clauses out of 32020 with flag 466498/550133
127.00/125.24	c cleaning 17006 clauses out of 34013 with flag 519398/568132
130.49/128.75	c cleaning 18004 clauses out of 36008 with flag 574577/587133
135.03/133.32	c cleaning 18996 clauses out of 38003 with flag 639277/607132
139.92/138.21	c cleaning 20000 clauses out of 40009 with flag 709568/628134
144.75/142.92	c cleaning 20999 clauses out of 42007 with flag 772101/650132
149.34/147.54	c cleaning 21997 clauses out of 44009 with flag 839318/673133
154.53/152.77	c cleaning 22999 clauses out of 46012 with flag 910509/697133
159.41/157.65	c Got one! Elapsed wall clock time (in seconds):157.515
159.41/157.65	o 80
160.91/159.18	c cleaning 25279 clauses out of 50578 with flag 18510/724698
162.42/160.66	c cleaning 15643 clauses out of 31300 with flag 38352/730699
164.21/162.41	c cleaning 11324 clauses out of 22656 with flag 63891/737698
165.94/164.23	c cleaning 9658 clauses out of 19333 with flag 91685/745699
167.84/166.12	c cleaning 9327 clauses out of 18674 with flag 121635/754698
170.13/168.41	c cleaning 9674 clauses out of 19347 with flag 156046/764698
172.41/170.78	c cleaning 10333 clauses out of 20672 with flag 191076/775697
174.91/173.20	c cleaning 11166 clauses out of 22340 with flag 229905/787698
177.29/175.69	c cleaning 12081 clauses out of 24176 with flag 268794/800700
180.09/178.45	c cleaning 13037 clauses out of 26093 with flag 311176/814698
183.08/181.46	c cleaning 14026 clauses out of 28056 with flag 356459/829698
186.17/184.50	c cleaning 15008 clauses out of 30029 with flag 402245/845697
189.17/187.56	c cleaning 16010 clauses out of 32022 with flag 449804/862698
192.46/190.81	c cleaning 16996 clauses out of 34012 with flag 500337/880698
196.01/194.42	c cleaning 18006 clauses out of 36017 with flag 554132/899699
199.79/198.22	c cleaning 19003 clauses out of 38010 with flag 610678/919698
204.47/203.00	c cleaning 20001 clauses out of 40006 with flag 676609/940697
209.45/207.93	c cleaning 20994 clauses out of 42005 with flag 747747/962697
214.44/212.95	c cleaning 22002 clauses out of 44012 with flag 820878/985698
219.91/218.44	c cleaning 23005 clauses out of 46012 with flag 891864/1009700
226.10/224.64	c cleaning 23995 clauses out of 48005 with flag 973746/1034698
227.65/226.28	c Got one! Elapsed wall clock time (in seconds):226.147
227.65/226.28	o 79
229.05/227.63	c cleaning 17650 clauses out of 35306 with flag 17070/1045994
230.45/229.07	c cleaning 11821 clauses out of 23658 with flag 36836/1051996
232.14/230.71	c cleaning 9410 clauses out of 18835 with flag 61741/1058994
233.83/232.46	c cleaning 8705 clauses out of 17424 with flag 86951/1066993
235.92/234.50	c cleaning 8857 clauses out of 17719 with flag 115732/1075993
238.02/236.65	c cleaning 9430 clauses out of 18864 with flag 147812/1085995
240.61/239.21	c cleaning 10214 clauses out of 20432 with flag 185491/1096993
243.41/242.03	c cleaning 11104 clauses out of 22218 with flag 227176/1108993
246.59/245.20	c cleaning 12048 clauses out of 24115 with flag 273984/1121994
249.68/248.38	c cleaning 13025 clauses out of 26066 with flag 320423/1135993
252.97/251.68	c cleaning 14015 clauses out of 28043 with flag 368478/1150995
257.11/255.80	c cleaning 15008 clauses out of 30026 with flag 430148/1166993
261.11/259.80	c cleaning 16002 clauses out of 32018 with flag 489209/1183993
265.49/264.29	c cleaning 17008 clauses out of 34017 with flag 557962/1201994
269.97/268.76	c cleaning 18002 clauses out of 36008 with flag 628641/1220993
274.36/273.18	c cleaning 18992 clauses out of 38006 with flag 698657/1240993
279.04/277.90	c cleaning 20002 clauses out of 40014 with flag 762512/1261993
283.84/282.69	c cleaning 21006 clauses out of 42013 with flag 825891/1283994
288.97/287.81	c cleaning 22000 clauses out of 44006 with flag 889411/1306993
294.17/293.02	c cleaning 22994 clauses out of 46006 with flag 960159/1330993
300.14/299.02	c cleaning 24000 clauses out of 48012 with flag 1039783/1355993
306.03/304.94	c cleaning 25003 clauses out of 50012 with flag 1119135/1381993
308.72/307.66	c Got one! Elapsed wall clock time (in seconds):307.526
308.72/307.66	o 78
310.12/309.07	c cleaning 20981 clauses out of 41978 with flag 17031/1398962
311.61/310.51	c cleaning 13493 clauses out of 26998 with flag 37955/1404963
313.11/312.05	c cleaning 10239 clauses out of 20504 with flag 59704/1411962
315.00/313.95	c cleaning 9126 clauses out of 18265 with flag 85730/1419962
317.09/316.02	c cleaning 9058 clauses out of 18139 with flag 114713/1428962
319.54/318.54	c cleaning 9530 clauses out of 19082 with flag 148188/1438963
322.23/321.25	c cleaning 10271 clauses out of 20553 with flag 186340/1449964
325.03/324.06	c cleaning 11134 clauses out of 22281 with flag 229570/1461963
328.12/327.12	c cleaning 12063 clauses out of 24147 with flag 274350/1474963
331.40/330.48	c cleaning 13038 clauses out of 26083 with flag 323371/1488962
335.10/334.14	c cleaning 14015 clauses out of 28045 with flag 377690/1503962
338.78/337.89	c cleaning 15009 clauses out of 30033 with flag 435581/1519965
342.87/341.91	c cleaning 16006 clauses out of 32022 with flag 497087/1536963
346.86/345.93	c cleaning 16997 clauses out of 34014 with flag 558097/1554962
351.00/350.11	c cleaning 18000 clauses out of 36018 with flag 618846/1573963
355.89/355.05	c cleaning 18998 clauses out of 38017 with flag 690883/1593962
360.67/359.86	c cleaning 20001 clauses out of 40019 with flag 758956/1614962
365.46/364.68	c cleaning 21002 clauses out of 42019 with flag 827986/1636963
370.85/370.07	c cleaning 22001 clauses out of 44016 with flag 910164/1659962
376.83/376.05	c cleaning 22998 clauses out of 46015 with flag 1002028/1683962
382.77/382.05	c cleaning 24004 clauses out of 48018 with flag 1081653/1708963
388.46/387.79	c cleaning 24996 clauses out of 50013 with flag 1158789/1734962
394.44/393.71	c cleaning 26002 clauses out of 52018 with flag 1242270/1761963
400.73/400.07	c cleaning 27006 clauses out of 54015 with flag 1336385/1789962
407.20/406.55	c cleaning 27999 clauses out of 56009 with flag 1435816/1818962
414.04/413.42	c cleaning 28999 clauses out of 58010 with flag 1539940/1848962
421.33/420.71	c cleaning 30000 clauses out of 60012 with flag 1643129/1879963
428.50/427.99	c cleaning 30995 clauses out of 62012 with flag 1750668/1911963
433.89/433.32	c Got one! Elapsed wall clock time (in seconds):433.191
433.89/433.32	o 77
435.28/434.74	c cleaning 29503 clauses out of 59022 with flag 17421/1939968
436.69/436.17	c cleaning 17749 clauses out of 35520 with flag 37729/1945969
438.28/437.76	c cleaning 12365 clauses out of 24770 with flag 61276/1952968
440.18/439.64	c cleaning 10194 clauses out of 20407 with flag 89354/1960970
442.20/441.72	c cleaning 9594 clauses out of 19212 with flag 119298/1969969
444.39/443.93	c cleaning 9800 clauses out of 19618 with flag 154085/1979969
446.79/446.35	c cleaning 10403 clauses out of 20817 with flag 192645/1990968
449.28/448.84	c cleaning 11203 clauses out of 22417 with flag 232509/2002971
452.17/451.77	c cleaning 12106 clauses out of 24212 with flag 278694/2015969
455.37/454.96	c cleaning 13050 clauses out of 26106 with flag 330954/2029969
459.05/458.60	c cleaning 14027 clauses out of 28055 with flag 387364/2044968
462.55/462.12	c cleaning 15005 clauses out of 30028 with flag 444714/2060968
466.23/465.83	c cleaning 16006 clauses out of 32023 with flag 504622/2077968
469.92/469.57	c cleaning 17004 clauses out of 34018 with flag 563051/2095969
474.22/474.00	c cleaning 18005 clauses out of 36015 with flag 626232/2114970
478.81/478.58	c cleaning 19003 clauses out of 38008 with flag 692623/2134968
483.90/483.61	c cleaning 20000 clauses out of 40006 with flag 771448/2155969
488.88/488.69	c cleaning 20995 clauses out of 42004 with flag 843339/2177968
494.67/494.40	c cleaning 21996 clauses out of 44009 with flag 930397/2200968
500.06/499.86	c cleaning 23001 clauses out of 46013 with flag 1013276/2224968
505.36/505.29	c cleaning 24000 clauses out of 48012 with flag 1088299/2249968
510.95/510.85	c cleaning 24991 clauses out of 50012 with flag 1168815/2275968
517.23/517.16	c cleaning 26002 clauses out of 52023 with flag 1254485/2302970
523.91/523.85	c cleaning 27006 clauses out of 54020 with flag 1344104/2330969
530.60/530.54	c cleaning 28000 clauses out of 56013 with flag 1440419/2359968
537.28/537.34	c cleaning 29003 clauses out of 58014 with flag 1542662/2389969
544.07/544.17	c cleaning 30001 clauses out of 60010 with flag 1650265/2420968
551.54/551.65	c cleaning 30997 clauses out of 62010 with flag 1766915/2452969
559.54/559.67	c cleaning 32001 clauses out of 64013 with flag 1871334/2485969
567.73/567.96	c cleaning 32999 clauses out of 66012 with flag 1978461/2519969
576.01/576.29	c cleaning 33999 clauses out of 68013 with flag 2097468/2554970
584.69/585.00	c cleaning 34997 clauses out of 70012 with flag 2210499/2590968
594.03/594.40	c cleaning 36007 clauses out of 72015 with flag 2330488/2627968
602.51/602.98	c cleaning 36991 clauses out of 74010 with flag 2449200/2665970
611.38/611.80	c cleaning 38005 clauses out of 76018 with flag 2577148/2704969
620.45/620.90	c cleaning 38998 clauses out of 78013 with flag 2711522/2744969
630.29/630.96	c cleaning 40002 clauses out of 80014 with flag 2849138/2785968
640.26/640.99	c cleaning 41003 clauses out of 82013 with flag 2992562/2827969
650.43/651.12	c cleaning 42003 clauses out of 84010 with flag 3140362/2870969
660.66/661.54	c cleaning 42996 clauses out of 86006 with flag 3286315/2914968
670.34/671.22	c cleaning 43999 clauses out of 88011 with flag 3426808/2959969
680.12/681.00	c cleaning 45001 clauses out of 90012 with flag 3572346/3005969
689.77/691.00	c cleaning 46004 clauses out of 92011 with flag 3723589/3052969
699.84/701.01	c cleaning 46994 clauses out of 94006 with flag 3882857/3100969
712.10/713.32	c cleaning 47997 clauses out of 96012 with flag 4046456/3149969
717.41/718.94	c Got one! Elapsed wall clock time (in seconds):718.805
717.41/718.94	o 75
718.84/720.37	c cleaning 37475 clauses out of 74955 with flag 16595/3176909
720.33/721.81	c cleaning 21728 clauses out of 43481 with flag 36517/3182910
721.83/723.36	c cleaning 14369 clauses out of 28753 with flag 58904/3189910
723.63/725.18	c cleaning 11186 clauses out of 22383 with flag 84865/3197909
725.53/727.04	c cleaning 10092 clauses out of 20198 with flag 112576/3206910
727.72/729.28	c cleaning 10043 clauses out of 20105 with flag 141906/3216909
730.11/731.67	c cleaning 10531 clauses out of 21063 with flag 176346/3227910
732.50/734.06	c cleaning 11259 clauses out of 22531 with flag 213367/3239909
735.29/736.81	c cleaning 12128 clauses out of 24272 with flag 257517/3252909
738.38/739.97	c cleaning 13066 clauses out of 26145 with flag 302517/3266910
741.87/743.42	c cleaning 14034 clauses out of 28078 with flag 352977/3281909
745.26/746.82	c cleaning 15020 clauses out of 30046 with flag 405209/3297911
748.83/750.82	c cleaning 16008 clauses out of 32026 with flag 459378/3314911
752.61/754.70	c cleaning 17001 clauses out of 34016 with flag 517510/3332909
756.80/758.85	c cleaning 18004 clauses out of 36015 with flag 580442/3351909
761.19/763.28	c cleaning 19001 clauses out of 38012 with flag 648469/3371910
765.98/768.03	c cleaning 20005 clauses out of 40013 with flag 719004/3392912
770.86/772.99	c cleaning 20998 clauses out of 42006 with flag 794411/3414910
776.19/778.74	c cleaning 21992 clauses out of 44009 with flag 873924/3437911
781.80/784.36	c cleaning 23002 clauses out of 46016 with flag 958617/3461910
787.29/789.84	c cleaning 24004 clauses out of 48013 with flag 1037371/3486909
792.47/795.04	c cleaning 24997 clauses out of 50009 with flag 1114984/3512909
798.15/800.78	c cleaning 25999 clauses out of 52012 with flag 1200511/3539909
804.33/806.92	c cleaning 27003 clauses out of 54014 with flag 1293196/3567910
811.18/814.22	c cleaning 27999 clauses out of 56010 with flag 1387614/3596909
818.15/821.20	c cleaning 28993 clauses out of 58011 with flag 1488981/3626909
825.23/828.33	c cleaning 30005 clauses out of 60019 with flag 1596567/3657910
832.21/835.37	c cleaning 31002 clauses out of 62014 with flag 1700211/3689910
840.03/843.43	c cleaning 32006 clauses out of 64013 with flag 1811659/3722911
847.92/851.37	c cleaning 32999 clauses out of 66007 with flag 1924437/3756911
856.89/860.35	c cleaning 33995 clauses out of 68006 with flag 2053297/3791909
865.27/868.71	c cleaning 35003 clauses out of 70014 with flag 2174451/3827912
873.26/877.04	c cleaning 36002 clauses out of 72009 with flag 2291376/3864910
881.77/885.52	c cleaning 36998 clauses out of 74006 with flag 2409998/3902909
890.44/894.25	c cleaning 38001 clauses out of 76008 with flag 2534926/3941909
899.41/903.48	c cleaning 39004 clauses out of 78007 with flag 2661980/3981909
908.91/912.98	c cleaning 39994 clauses out of 80004 with flag 2789989/4022910
918.99/923.07	c cleaning 40998 clauses out of 82010 with flag 2926560/4064910
929.50/933.72	c cleaning 41992 clauses out of 84012 with flag 3075799/4107910
940.71/944.99	c cleaning 43006 clauses out of 86019 with flag 3236803/4151909
950.98/955.24	c cleaning 44003 clauses out of 88014 with flag 3374717/4196910
961.72/966.22	c cleaning 44997 clauses out of 90010 with flag 3522249/4242909
973.43/977.91	c cleaning 46003 clauses out of 92013 with flag 3676828/4289909
985.79/990.30	c cleaning 46999 clauses out of 94012 with flag 3846191/4337911
997.07/1001.88	c cleaning 48002 clauses out of 96012 with flag 4009110/4386910
1008.47/1013.20	c cleaning 48998 clauses out of 98009 with flag 4170543/4436909
1021.28/1026.25	c cleaning 49997 clauses out of 100013 with flag 4337180/4487911
1034.33/1039.39	c cleaning 51006 clauses out of 102016 with flag 4507551/4539911
1047.74/1052.78	c cleaning 51998 clauses out of 104009 with flag 4691662/4592910
1060.44/1065.65	c cleaning 53002 clauses out of 106012 with flag 4869129/4646911
1072.74/1077.90	c Got one! Elapsed wall clock time (in seconds):1077.764
1072.74/1077.90	o 74
1074.43/1079.69	c cleaning 54001 clauses out of 108021 with flag 17860/4701922
1075.93/1081.18	c cleaning 30003 clauses out of 60021 with flag 38569/4707923
1077.42/1082.69	c cleaning 18501 clauses out of 37018 with flag 61463/4714923
1079.12/1084.39	c cleaning 13253 clauses out of 26517 with flag 87974/4722923
1081.06/1086.44	c cleaning 11118 clauses out of 22264 with flag 118325/4731923
1083.25/1088.69	c cleaning 10565 clauses out of 21146 with flag 153528/4741923
1085.55/1091.00	c cleaning 10786 clauses out of 21582 with flag 189188/4752924
1088.34/1093.74	c cleaning 11396 clauses out of 22795 with flag 231331/4764923
1091.13/1096.59	c cleaning 12189 clauses out of 24398 with flag 276493/4777922
1094.42/1099.81	c cleaning 13099 clauses out of 26210 with flag 327798/4791923
1097.71/1103.13	c cleaning 14053 clauses out of 28111 with flag 378913/4806923
1101.40/1106.86	c cleaning 15024 clauses out of 30058 with flag 436868/4822923
1105.33/1110.78	c cleaning 16008 clauses out of 32034 with flag 497939/4839923
1109.42/1114.89	c cleaning 17008 clauses out of 34028 with flag 562233/4857925
1113.65/1119.27	c cleaning 18007 clauses out of 36017 with flag 622177/4876922
1118.14/1123.70	c cleaning 19003 clauses out of 38011 with flag 688677/4896923
1122.72/1128.34	c cleaning 19998 clauses out of 40009 with flag 756571/4917924
1127.51/1133.18	c cleaning 21003 clauses out of 42009 with flag 829026/4939922
1132.29/1137.90	c cleaning 21996 clauses out of 44006 with flag 900295/4962922
1137.70/1143.32	c cleaning 23000 clauses out of 46010 with flag 984741/4986922
1143.37/1149.21	c cleaning 24004 clauses out of 48010 with flag 1068993/5011922
1148.95/1154.89	c cleaning 24995 clauses out of 50006 with flag 1156565/5037922
1155.32/1161.25	c cleaning 26005 clauses out of 52012 with flag 1244361/5064923
1162.21/1168.13	c cleaning 27001 clauses out of 54006 with flag 1331380/5092922
1169.03/1174.94	c cleaning 27997 clauses out of 56007 with flag 1427245/5121924
1176.55/1182.65	c cleaning 29000 clauses out of 58009 with flag 1531023/5151923
1184.12/1190.27	c cleaning 30000 clauses out of 60010 with flag 1632452/5182924
1191.60/1197.74	c cleaning 30998 clauses out of 62010 with flag 1742563/5214924
1200.43/1206.54	c cleaning 32002 clauses out of 64011 with flag 1872774/5247923
1208.92/1215.24	c cleaning 33000 clauses out of 66008 with flag 1995111/5281922
1217.09/1223.43	c cleaning 34000 clauses out of 68008 with flag 2112444/5316922
1226.46/1232.83	c cleaning 34997 clauses out of 70009 with flag 2245506/5352923
1234.79/1241.39	c cleaning 36003 clauses out of 72011 with flag 2363705/5389922
1244.60/1251.23	c cleaning 37002 clauses out of 74007 with flag 2502324/5427922
1255.31/1262.03	c cleaning 37995 clauses out of 76005 with flag 2652255/5466922
1266.25/1273.22	c cleaning 38997 clauses out of 78011 with flag 2810216/5506923
1275.50/1282.55	c Got one! Elapsed wall clock time (in seconds):1282.42
1275.50/1282.55	o 72
1276.99/1284.03	c cleaning 38952 clauses out of 77923 with flag 17457/5545832
1278.27/1285.32	c cleaning 22472 clauses out of 44969 with flag 36064/5551830
1279.66/1286.77	c cleaning 14737 clauses out of 29497 with flag 57303/5558830
1281.44/1288.57	c cleaning 11377 clauses out of 22761 with flag 82310/5566831
1283.32/1290.49	c cleaning 10187 clauses out of 20383 with flag 110919/5575830
1285.70/1292.87	c cleaning 10082 clauses out of 20196 with flag 146113/5585830
1288.17/1295.32	c cleaning 10557 clauses out of 21115 with flag 183654/5596831
1290.65/1297.85	c cleaning 11274 clauses out of 22557 with flag 219834/5608830
1293.44/1300.86	c cleaning 12139 clauses out of 24283 with flag 260287/5621830
1296.44/1303.81	c cleaning 13071 clauses out of 26144 with flag 304504/5635830
1299.64/1307.06	c cleaning 14035 clauses out of 28073 with flag 351816/5650830
1303.43/1310.86	c cleaning 15019 clauses out of 30038 with flag 410665/5666830
1307.81/1315.25	c cleaning 16007 clauses out of 32020 with flag 479008/5683831
1311.61/1319.05	c cleaning 16999 clauses out of 34011 with flag 536788/5701830
1315.49/1322.93	c cleaning 17999 clauses out of 36012 with flag 594861/5720830
1320.07/1327.58	c cleaning 18996 clauses out of 38013 with flag 665458/5740830
1324.79/1332.50	c cleaning 20002 clauses out of 40017 with flag 731918/5761830
1329.78/1337.42	c cleaning 20998 clauses out of 42015 with flag 805517/5783830
1335.59/1343.20	c cleaning 22004 clauses out of 44017 with flag 888081/5806830
1341.58/1349.22	c cleaning 23001 clauses out of 46013 with flag 977347/5830830
1347.55/1355.27	c cleaning 23999 clauses out of 48013 with flag 1067276/5855831
1353.54/1361.22	c cleaning 25004 clauses out of 50014 with flag 1154043/5881831
1359.55/1367.49	c cleaning 26001 clauses out of 52009 with flag 1247638/5908830
1365.63/1373.50	c cleaning 27005 clauses out of 54009 with flag 1341485/5936831
1372.55/1380.46	c cleaning 27999 clauses out of 56005 with flag 1449003/5965832
1379.43/1387.34	c cleaning 28995 clauses out of 58004 with flag 1553595/5995830
1387.02/1395.05	c cleaning 29999 clauses out of 60010 with flag 1672713/6026831
1393.69/1401.72	c cleaning 31001 clauses out of 62010 with flag 1779596/6058830
1401.57/1409.66	c cleaning 32001 clauses out of 64009 with flag 1899959/6091830
1409.70/1417.76	c cleaning 32993 clauses out of 66008 with flag 2017988/6125830
1418.05/1426.28	c cleaning 34004 clauses out of 68017 with flag 2138467/6160832
1427.22/1435.41	c cleaning 34995 clauses out of 70011 with flag 2261866/6196830
1436.09/1444.37	c cleaning 36001 clauses out of 72016 with flag 2389570/6233830
1445.91/1454.30	c cleaning 37006 clauses out of 74016 with flag 2516048/6271831
1455.58/1464.02	c cleaning 37996 clauses out of 76009 with flag 2651478/6310830
1465.25/1473.78	c cleaning 39002 clauses out of 78014 with flag 2784964/6350831
1476.06/1484.62	c cleaning 40000 clauses out of 80012 with flag 2937309/6391831
1487.27/1495.86	c cleaning 41003 clauses out of 82011 with flag 3098559/6433830
1498.54/1507.19	c cleaning 41996 clauses out of 84008 with flag 3262280/6476830
1509.95/1518.65	c cleaning 43001 clauses out of 86013 with flag 3427283/6520831
1522.36/1531.03	c cleaning 43999 clauses out of 88012 with flag 3606456/6565831
1534.02/1542.74	c cleaning 45001 clauses out of 90013 with flag 3776307/6611831
1545.43/1554.26	c cleaning 45999 clauses out of 92012 with flag 3943237/6658831
1557.44/1566.21	c cleaning 47002 clauses out of 94013 with flag 4113848/6706831
1570.63/1579.53	c cleaning 48002 clauses out of 96012 with flag 4300058/6755832
1583.88/1592.88	c cleaning 48994 clauses out of 98007 with flag 4484108/6805830
1597.29/1606.27	c cleaning 50002 clauses out of 100013 with flag 4658538/6856830
1611.30/1620.38	c cleaning 51000 clauses out of 102012 with flag 4842315/6908831
1625.35/1634.40	c cleaning 51998 clauses out of 104012 with flag 5030559/6961831
1639.10/1648.28	c cleaning 53006 clauses out of 106015 with flag 5213226/7015832
1653.27/1662.41	c cleaning 53997 clauses out of 108007 with flag 5409888/7070830
1666.66/1675.97	c cleaning 55003 clauses out of 110011 with flag 5596559/7126831
1680.26/1689.50	c cleaning 55998 clauses out of 112008 with flag 5789822/7183831
1694.64/1704.01	c cleaning 56999 clauses out of 114011 with flag 5995273/7241832
1709.14/1718.53	c cleaning 58004 clauses out of 116012 with flag 6194624/7300832
1722.75/1732.32	c cleaning 58994 clauses out of 118006 with flag 6386623/7360830
1737.42/1747.12	c cleaning 60004 clauses out of 120014 with flag 6598350/7421832
1754.17/1764.05	c cleaning 60994 clauses out of 122009 with flag 6835570/7483831
1769.81/1779.82	c cleaning 62005 clauses out of 124015 with flag 7058885/7546831
1787.30/1797.54	c cleaning 62999 clauses out of 126009 with flag 7289205/7610830
1803.90/1814.23	c cleaning 63998 clauses out of 128010 with flag 7515578/7675830
1820.88/1831.49	c cleaning 65003 clauses out of 130014 with flag 7734111/7741832
1838.94/1849.50	c cleaning 65996 clauses out of 132010 with flag 7968617/7808831
1856.54/1867.32	c cleaning 66998 clauses out of 134013 with flag 8209320/7876830
1876.06/1887.02	c cleaning 68002 clauses out of 136016 with flag 8458061/7945831
1893.69/1904.83	c cleaning 69000 clauses out of 138013 with flag 8683877/8015831
1912.36/1923.69	c cleaning 70000 clauses out of 140013 with flag 8929202/8086831
1931.90/1943.22	c cleaning 70998 clauses out of 142013 with flag 9177949/8158831
1953.24/1964.67	c cleaning 71998 clauses out of 144014 with flag 9445303/8231830
1976.42/1987.96	c cleaning 73002 clauses out of 146016 with flag 9731020/8305830
1996.14/2007.94	c cleaning 73995 clauses out of 148014 with flag 9995940/8380830
2018.88/2030.72	c cleaning 75004 clauses out of 150021 with flag 10281540/8456832
2038.82/2050.70	c cleaning 76003 clauses out of 152015 with flag 10533174/8533830
2059.48/2071.54	c cleaning 77002 clauses out of 154014 with flag 10805641/8611832
2080.88/2092.90	c cleaning 78001 clauses out of 156010 with flag 11079990/8690830
2101.95/2114.16	c cleaning 78998 clauses out of 158009 with flag 11348799/8770830
2126.36/2138.67	c cleaning 79997 clauses out of 160012 with flag 11647343/8851831
2152.33/2164.71	c cleaning 81001 clauses out of 162014 with flag 11983080/8933830
2179.14/2191.67	c cleaning 81999 clauses out of 164013 with flag 12307204/9016830
2204.59/2217.17	c cleaning 82998 clauses out of 166014 with flag 12625264/9100830
2229.50/2242.14	c cleaning 84006 clauses out of 168016 with flag 12948139/9185830
2253.96/2266.75	c cleaning 84997 clauses out of 170011 with flag 13248985/9271832
2280.80/2293.69	c cleaning 85994 clauses out of 172013 with flag 13566009/9358831
2308.34/2321.21	c cleaning 87006 clauses out of 174018 with flag 13910280/9446830
2336.80/2349.89	c cleaning 87997 clauses out of 176012 with flag 14262653/9535830
2360.39/2373.48	c cleaning 89002 clauses out of 178017 with flag 14569368/9625832
2382.82/2396.02	c cleaning 90004 clauses out of 180014 with flag 14861962/9716831
2404.26/2417.55	c cleaning 90995 clauses out of 182010 with flag 15164828/9808831
2429.21/2442.63	c cleaning 92000 clauses out of 184014 with flag 15474399/9901830
2457.87/2471.45	c cleaning 92998 clauses out of 186015 with flag 15816340/9995831
2484.87/2498.51	c cleaning 94000 clauses out of 188016 with flag 16163502/10090830
2515.08/2528.83	c cleaning 95003 clauses out of 190019 with flag 16533529/10186833
2546.69/2560.61	c cleaning 96001 clauses out of 192013 with flag 16904430/10283830
2577.80/2591.88	c cleaning 96997 clauses out of 194013 with flag 17270481/10381831
2606.81/2620.90	c cleaning 97998 clauses out of 196015 with flag 17625853/10480830
2637.92/2652.25	c cleaning 99003 clauses out of 198018 with flag 17988965/10580831
2667.30/2681.65	c cleaning 100005 clauses out of 200017 with flag 18363804/10681833
2701.17/2715.61	c cleaning 100993 clauses out of 202012 with flag 18758987/10783833
2733.63/2748.21	c cleaning 102007 clauses out of 204020 with flag 19154458/10886834
2765.84/2780.55	c cleaning 102994 clauses out of 206010 with flag 19559764/10990831
2794.63/2809.44	c cleaning 104004 clauses out of 208016 with flag 19921417/11095831
2825.74/2840.75	c cleaning 104998 clauses out of 210012 with flag 20288752/11201831
2857.24/2872.33	c cleaning 106000 clauses out of 212013 with flag 20661782/11308830
2886.74/2901.95	c cleaning 107002 clauses out of 214014 with flag 21032403/11416831
2918.30/2933.61	c cleaning 107997 clauses out of 216013 with flag 21412880/11525832
2946.45/2962.04	c cleaning 108999 clauses out of 218014 with flag 21766542/11635830
2980.65/2996.51	c cleaning 110007 clauses out of 220015 with flag 22165344/11746830
3012.81/3028.84	c cleaning 111004 clauses out of 222009 with flag 22551938/11858831
3046.92/3063.12	c cleaning 111993 clauses out of 224004 with flag 22942083/11971831
3085.62/3101.90	c cleaning 112993 clauses out of 226010 with flag 23389804/12085830
3125.31/3141.76	c cleaning 113997 clauses out of 228019 with flag 23817969/12200832
3167.79/3184.40	c cleaning 115002 clauses out of 230020 with flag 24262267/12316830
3209.25/3226.13	c cleaning 116002 clauses out of 232018 with flag 24693938/12433830
3247.35/3264.30	c cleaning 117003 clauses out of 234017 with flag 25132794/12551831
3287.81/3304.91	c cleaning 118006 clauses out of 236013 with flag 25578075/12670830
3328.46/3345.79	c cleaning 118999 clauses out of 238006 with flag 26024578/12790830
3372.66/3390.13	c cleaning 119997 clauses out of 240007 with flag 26514507/12911830
3415.12/3432.78	c cleaning 120999 clauses out of 242010 with flag 26974591/13033830
3462.72/3480.55	c cleaning 121998 clauses out of 244011 with flag 27471717/13156830
3508.29/3526.57	c cleaning 122997 clauses out of 246014 with flag 27975363/13280831
3550.78/3569.20	c cleaning 124002 clauses out of 248017 with flag 28474615/13405831
3590.77/3609.38	c cleaning 125005 clauses out of 250015 with flag 28963179/13531831
3600.05/3618.61	c starts		: 9971
3600.05/3618.62	c conflicts		: 13564956
3600.05/3618.62	c decisions		: 15328895
3600.05/3618.62	c propagations		: 1145978661
3600.05/3618.62	c inspects		: 36571770004
3600.05/3618.62	c shortcuts		: 0
3600.05/3618.62	c learnt literals	: 13
3600.05/3618.62	c learnt binary clauses	: 32
3600.05/3618.62	c learnt ternary clauses	: 82
3600.05/3618.62	c learnt constraints	: 13564943
3600.05/3618.62	c ignored constraints	: 0
3600.05/3618.62	c root simplifications	: 0
3600.05/3618.62	c removed literals (reason simplification)	: 57887948
3600.05/3618.62	c reason swapping (by a shorter reason)	: 0
3600.05/3618.62	c Calls to reduceDB	: 389
3600.05/3618.62	c Number of update (reduction) of LBD	: 2486793
3600.05/3618.62	c Imported unit clauses	: 0
3600.05/3618.62	c No decision after first conflict	: false
3600.05/3618.62	c number of reductions to clauses (during analyze)	: 0
3600.05/3618.62	c number of learned constraints concerned by reduction	: 0
3600.05/3618.62	c number of learning phase by resolution	: 0
3600.05/3618.62	c number of learning phase by cutting planes	: 0
3600.05/3618.62	c number of rounding to 1 operations	: 0
3600.05/3618.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3618.62	c number of reductions of the coefficients by power 2 	: 0
3600.05/3618.62	c number of right shift for reduction by power 2 	: 0
3600.05/3618.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3618.62	c number of ending skipping 	: 0
3600.05/3618.62	c number of internal skipping 	: 0
3600.05/3618.62	c number of derivation steps 	: 0
3600.05/3618.62	c number of skipped derivation steps 	: 0
3600.05/3618.62	c number of remaining unassigned 	: 0
3600.05/3618.62	c number of remaining assigned 	: 0
3600.05/3618.62	c number of falsified literals weakened from reason	: 0
3600.05/3618.62	c number of falsified literals weakened from conflict	: 0
3600.05/3618.62	c time for arithmetic operations	: 0
3600.05/3618.62	c minimum degree of deleted constraints	: null
3600.05/3618.62	c maximum degree of deleted constraints	: null
3600.05/3618.62	c number of deleted constraints	: 0
3600.05/3618.62	c speed (assignments/second)	: 316739.31012562016
3600.05/3618.62	c non guided choices	: 8277
3600.05/3618.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 158103
3600.05/3618.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 32
3600.05/3618.68	s SATISFIABLE
3600.05/3618.68	c Found 17 solution(s)
3600.05/3618.68	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.05/3618.68	c objective function=72
3600.05/3618.68	c Total wall clock time (in seconds): 3618.552

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10008 s]*
/proc/loadavg: 4.30 4.23 4.22 5/338 139610
/proc/meminfo: memFree=84923268/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=18975048 memory=68772 CPUtime=0.13 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 7065 0 0 0 12 1 0 0 20 0 18 0 13808816 19430449152 17193 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4743762 17193 5694 1 0 549322 0
[pid=139592/tid=139594] ppid=139589 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) S 139589 139592 134651 0 -1 1077936192 5637 0 0 0 7 1 0 0 20 0 18 0 13808816 19430449152 17193 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808819 19430449152 17193 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=18975048 memory=13565998624176213 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13808820 19430449152 17193 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68772 KiB

[startup+0.205795 s]*
/proc/loadavg: 4.30 4.23 4.22 4/338 139610
/proc/meminfo: memFree=84918992/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=18975048 memory=69560 CPUtime=0.19 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 7280 0 0 0 17 2 0 0 20 0 18 0 13808816 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4743762 17390 5710 1 0 549477 0
[pid=139592/tid=139594] ppid=139589 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) D 139589 139592 134651 0 -1 1078198336 5755 0 0 0 9 1 0 0 20 0 18 0 13808816 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=18975048 memory=5719 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808819 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13808820 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69560 KiB

[startup+0.305885 s]*
/proc/loadavg: 4.30 4.23 4.22 4/338 139610
/proc/meminfo: memFree=84916164/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=18975048 memory=69560 CPUtime=0.19 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 7280 0 0 0 17 2 0 0 20 0 18 0 13808816 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4743762 17390 5710 1 0 549477 0
[pid=139592/tid=139594] ppid=139589 vsize=18975048 memory=-8526832947173302972 CPUtime=0.1 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) D 139589 139592 134651 0 -1 1078198336 5755 0 0 0 9 1 0 0 20 0 18 0 13808816 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808819 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13808820 19430449152 17390 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69560 KiB

[startup+0.700235 s]
/proc/loadavg: 4.30 4.23 4.22 7/338 139610
/proc/meminfo: memFree=84886248/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19041612 memory=124580 CPUtime=0.72 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 11315 0 0 0 68 4 0 0 20 0 19 0 13808816 19498610688 31145 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4760403 31145 5872 1 0 552391 0
[pid=139592/tid=139594] ppid=139589 vsize=19041612 memory=5508 CPUtime=0.36 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 5964 0 0 0 34 2 0 0 20 0 19 0 13808816 19498610688 31145 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19041612 memory=12992 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13808819 19498610688 31145 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13808820 19498610688 31145 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124580 KiB

[startup+1.50119 s]
/proc/loadavg: 4.30 4.23 4.22 6/339 139611
/proc/meminfo: memFree=84824168/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19041612 memory=165572 CPUtime=2.31 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 18008 0 0 0 226 5 0 0 20 0 19 0 13808816 19498610688 41393 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4760403 41393 5904 1 0 555134 0
[pid=139592/tid=139594] ppid=139589 vsize=19041612 memory=12992 CPUtime=1.13 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 6218 0 0 0 110 3 0 0 20 0 19 0 13808816 19498610688 41393 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13808819 19498610688 41393 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13808820 19498610688 41393 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13808873 19498610688 41393 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165572 KiB

[startup+3.10579 s]
/proc/loadavg: 4.30 4.23 4.22 5/340 139612
/proc/meminfo: memFree=84695056/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=190228 CPUtime=4.79 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 23487 0 0 0 472 7 0 0 20 0 20 0 13808816 19566772224 47557 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 47557 5920 1 0 555702 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=0 CPUtime=2.72 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 7118 0 0 0 268 4 0 0 20 0 20 0 13808816 19566772224 47557 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 47557 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 47557 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 47557 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190228 KiB

[startup+6.30027 s]
/proc/loadavg: 4.27 4.23 4.22 5/315 139641
/proc/meminfo: memFree=93441720/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=192780 CPUtime=8.6 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 24894 0 0 0 851 9 0 0 20 0 20 0 13808816 19566772224 48195 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 48195 5936 1 0 555708 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=0 CPUtime=5.89 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 7551 0 0 0 584 5 0 0 20 0 20 0 13808816 19566772224 48195 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 48195 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 48195 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=50952 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 48195 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192780 KiB

[startup+12.7003 s]
/proc/loadavg: 4.33 4.24 4.22 5/340 139748
/proc/meminfo: memFree=98038292/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=335580 CPUtime=15.13 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 32142 0 0 0 1500 13 0 0 20 0 20 0 13808816 19566772224 83895 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 83895 5936 1 0 555708 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=296656 CPUtime=12.25 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 9027 0 0 0 1217 8 0 0 20 0 20 0 13808816 19566772224 83895 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=-8526832947173302972 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 83895 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 83895 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 83895 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 335580 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.23 4.22 5/341 139751
/proc/meminfo: memFree=94671240/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=733592 CPUtime=28.2 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 39878 0 0 0 2796 24 0 0 20 0 20 0 13808816 19566772224 183398 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 183398 5936 1 0 555708 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=296656 CPUtime=24.99 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 11139 0 0 0 2481 18 0 0 20 0 20 0 13808816 19566772224 183398 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=-8526832947173302972 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 183398 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=335604 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 183398 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=642444 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 183398 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 733592 KiB

[startup+51.1061 s]
/proc/loadavg: 4.29 4.24 4.22 4/341 139755
/proc/meminfo: memFree=93417864/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=1047132 CPUtime=52.69 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 47358 0 0 0 5234 35 0 0 20 0 20 0 13808816 19566772224 261783 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 261783 5951 1 0 555708 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=967260 CPUtime=49.2 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 13183 0 0 0 4892 28 0 0 20 0 20 0 13808816 19566772224 261783 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 129 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=40428 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 261783 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=351988 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 261783 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0

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

/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 505591 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 2962 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 505591 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 505591 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3205.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2022364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/335 141807
/proc/meminfo: memFree=58326452/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2022392 CPUtime=3265.24 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 171888 0 0 0 326056 468 0 0 20 0 20 0 13808816 19566772224 505598 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 505598 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=-8526832947173302972 CPUtime=3252.62 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 67457 0 0 0 324905 357 0 0 20 0 20 0 13808816 19566772224 505598 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1233 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=2022364 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 505598 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=50952 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3063 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 505598 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=2022392 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 505598 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3265.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2022392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.20 6/335 141818
/proc/meminfo: memFree=57812176/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2063364 CPUtime=3325.06 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 174251 0 0 0 332032 474 0 0 20 0 20 0 13808816 19566772224 515841 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 515841 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=2063364 CPUtime=3312.26 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 68448 0 0 0 330866 360 0 0 20 0 20 0 13808816 19566772224 515841 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1242 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=2022392 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 515841 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3173 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 515841 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 515841 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3325.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.15 4.19 5/336 141832
/proc/meminfo: memFree=57375932/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2081836 CPUtime=3384.81 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 176079 0 0 0 338001 480 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 520459 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=11624 CPUtime=3371.89 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 69394 0 0 0 336824 365 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1253 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3276 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3384.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2081836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.19 6/336 141844
/proc/meminfo: memFree=56949880/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2081836 CPUtime=3444.57 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 178205 0 0 0 343970 487 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 520459 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=11624 CPUtime=3431.51 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 70350 0 0 0 342781 370 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1266 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3392 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=-8526832947173302972 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3444.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2081836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.19 4.19 5/336 141857
/proc/meminfo: memFree=56495672/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2081836 CPUtime=3504.13 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 180342 0 0 0 349919 494 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 520459 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=2081836 CPUtime=3490.93 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 71347 0 0 0 348719 374 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1271 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3456 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3504.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2081836 KiB

[startup+3582.3 s]
/proc/loadavg: 3.33 3.96 4.11 3/284 141935
/proc/meminfo: memFree=87624200/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2081836 CPUtime=3563.78 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 181912 0 0 0 355879 499 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 520459 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=0 CPUtime=3550.44 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 72577 0 0 0 354665 379 0 0 20 0 20 0 13808816 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1281 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=50952 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3485 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=2081836 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 520459 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3563.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2081836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.6 s]
/proc/loadavg: 2.74 3.74 4.03 4/284 141941
/proc/meminfo: memFree=87484448/131524600 swapFree=131071996/131071996
[pid=139592] ppid=139589 vsize=19108176 memory=2112556 CPUtime=3600.05 cores=0,2
/proc/139592/stat : 139592 (java) S 139589 139592 134651 0 -1 1077936128 183537 0 0 0 359502 503 0 0 20 0 20 0 13808816 19566772224 528139 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
/proc/139592/statm: 4777044 528139 5998 1 0 556819 0
[pid=139592/tid=139594] ppid=139589 vsize=19108176 memory=20852 CPUtime=3586.55 cores=0,2
/proc/139592/task/139594/stat : 139594 (java) R 139589 139592 134651 0 -1 4194368 73293 0 0 0 358274 381 0 0 20 0 20 0 13808816 19566772224 528139 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1282 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139603] ppid=139589 vsize=19108176 memory=-8526832947173302972 CPUtime=0 cores=0,2
/proc/139592/task/139603/stat : 139603 (Finalizer) S 139589 139592 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808819 19566772224 528139 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139610] ppid=139589 vsize=19108176 memory=21020 CPUtime=0 cores=0,2
/proc/139592/task/139610/stat : 139610 (Common-Cleaner) S 139589 139592 134651 0 -1 1077936192 3552 0 0 0 0 0 0 0 20 0 20 0 13808820 19566772224 528139 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
[pid=139592/tid=139611] ppid=139589 vsize=19108176 memory=39168 CPUtime=0 cores=0,2
/proc/139592/task/139611/stat : 139611 (Timer-0) S 139589 139592 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808873 19566772224 528139 134679101440 94656208080896 94656208084592 140736883903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656208092408 94656208093200 94656234315776 140736883905451 140736883905633 140736883905633 140736883912648 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2112556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.19 s, system=5.05249 s

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

[startup+3618.7 s]*
/proc/loadavg: 2.74 3.74 4.03 2/266 141945
/proc/meminfo: memFree=89572448/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3618.72
CPU time (s): 3600.24
CPU user time (s): 3595.19
CPU system time (s): 5.05249
CPU usage (%): 99.4895
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2112556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.19
system time used= 5.05249
maximum resident set size= 2113940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5546024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107755
involuntary context switches= 28275


# summary of solver processes directly reported to runsolver:
#   pid: 139592
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3595.19
#   total CPU system time (s): 5.05249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38584 second user time and 17.9511 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-24 00:14:09
IDJOB=4440314
IDBENCH=147695
IDSOLVER=3079
FILE ID=nodeC030/4440314-1721772848
RUNJOBID= nodeC030-1721765586-134661
SLURM_JOB_ID= 7770658
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440314-1721772848/watcher-4440314-1721772848 -o /tmp/evaluation-result-4440314-1721772848/solver-4440314-1721772848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134661 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440314-1721772848 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440314-1721772848.opb

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

MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1157486014

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        84973816 kB
MemAvailable:   123785536 kB
Buffers:          198704 kB
Cached:         39326596 kB
SwapCached:            0 kB
Active:          1359948 kB
Inactive:       44347700 kB
Active(anon):       1552 kB
Inactive(anon):  6226812 kB
Active(file):    1358396 kB
Inactive(file): 38120888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            253772 kB
Writeback:             0 kB
AnonPages:       6179096 kB
Mapped:           128760 kB
Shmem:             45912 kB
KReclaimable:     344516 kB
Slab:             469424 kB
SReclaimable:     344516 kB
SUnreclaim:       124908 kB
KernelStack:        5200 kB
PageTables:        22016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11706852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21312 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5890048 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:      285396 kB
DirectMap2M:    27799552 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-24 01:14:27