Trace number 4432307

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)5 3600.27 3552.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM7fa9d6bae1eb6fc87d1fc158a8928861
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.078994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 		2106806208
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@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f 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	No 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@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4432307-1721056022.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.033s.
0.13/0.17	c declared #vars     435
0.13/0.17	c #constraints  502
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 402
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
0.13/0.17	c org.sat4j.specs.Constr$1 => 1
0.13/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
0.13/0.17	c 502 constraints processed.
0.13/0.18	c objective function length is 435 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.054
0.13/0.18	o 5
1.09/0.67	c cleaning 2496 clauses out of 5001 with flag 10704/5001
1.86/1.01	c cleaning 4248 clauses out of 8505 with flag 23333/11001
2.27/1.35	c cleaning 5622 clauses out of 11256 with flag 37885/18000
2.74/1.71	c cleaning 6808 clauses out of 13634 with flag 54786/26000
3.12/2.06	c cleaning 7900 clauses out of 15826 with flag 73579/35000
3.61/2.51	c cleaning 8953 clauses out of 17927 with flag 94579/45001
4.22/3.05	c cleaning 9979 clauses out of 19973 with flag 117492/56000
4.71/3.57	c cleaning 10993 clauses out of 21996 with flag 142640/68002
5.35/4.18	c cleaning 11991 clauses out of 24001 with flag 169653/81000
6.05/4.86	c cleaning 12991 clauses out of 26010 with flag 205474/95000
6.91/5.59	c cleaning 14009 clauses out of 28020 with flag 247577/110001
7.65/6.29	c cleaning 15006 clauses out of 30011 with flag 294603/126001
8.37/6.95	c cleaning 16002 clauses out of 32004 with flag 344028/143000
9.25/7.71	c cleaning 16992 clauses out of 34002 with flag 394713/161000
9.95/8.46	c cleaning 17996 clauses out of 36012 with flag 447328/180002
10.90/9.32	c cleaning 19008 clauses out of 38015 with flag 500380/200001
11.71/10.19	c cleaning 19997 clauses out of 40006 with flag 558281/221000
12.76/11.17	c cleaning 20995 clauses out of 42011 with flag 619095/243002
13.76/12.13	c cleaning 22006 clauses out of 44014 with flag 681717/266000
14.95/13.21	c cleaning 23000 clauses out of 46009 with flag 747721/290001
16.15/14.40	c cleaning 24003 clauses out of 48009 with flag 817434/315001
17.41/15.60	c cleaning 24996 clauses out of 50006 with flag 889426/341001
18.71/16.82	c cleaning 25994 clauses out of 52009 with flag 961030/368000
19.80/17.99	c cleaning 27001 clauses out of 54015 with flag 1034783/396000
21.17/19.25	c cleaning 27995 clauses out of 56014 with flag 1113558/425000
22.64/20.63	c cleaning 28996 clauses out of 58019 with flag 1192177/455000
24.15/22.11	c cleaning 30006 clauses out of 60023 with flag 1272877/486000
25.73/23.63	c cleaning 31003 clauses out of 62018 with flag 1358808/518001
27.32/25.23	c cleaning 31999 clauses out of 64014 with flag 1446176/551000
29.08/26.95	c cleaning 32996 clauses out of 66015 with flag 1537687/585000
30.74/28.55	c cleaning 34010 clauses out of 68019 with flag 1633843/620000
32.35/30.17	c cleaning 34999 clauses out of 70009 with flag 1729983/656000
34.20/31.92	c cleaning 36004 clauses out of 72010 with flag 1824326/693000
36.19/33.88	c cleaning 37001 clauses out of 74007 with flag 1921560/731001
38.27/35.80	c cleaning 37994 clauses out of 76005 with flag 2022934/770000
40.27/37.81	c cleaning 39000 clauses out of 78013 with flag 2132362/810002
42.33/39.88	c cleaning 40002 clauses out of 80012 with flag 2240526/851001
44.41/41.89	c cleaning 41003 clauses out of 82009 with flag 2353620/893000
46.71/44.11	c cleaning 41993 clauses out of 84006 with flag 2471973/936000
49.44/46.43	c cleaning 43006 clauses out of 86014 with flag 2583724/980001
51.91/48.80	c cleaning 44002 clauses out of 88009 with flag 2696578/1025002
54.60/51.56	c cleaning 45000 clauses out of 90007 with flag 2819004/1071002
57.36/54.27	c cleaning 45994 clauses out of 92005 with flag 2942843/1118000
60.27/57.09	c cleaning 47003 clauses out of 94011 with flag 3065916/1166000
63.24/60.07	c cleaning 47995 clauses out of 96008 with flag 3189030/1215000
66.46/63.13	c cleaning 49002 clauses out of 98015 with flag 3317323/1265002
69.35/66.02	c cleaning 49992 clauses out of 100011 with flag 3445082/1316000
72.66/69.28	c cleaning 51009 clauses out of 102019 with flag 3583723/1368000
76.06/72.52	c cleaning 51996 clauses out of 104011 with flag 3722577/1421001
79.43/75.95	c cleaning 52994 clauses out of 106014 with flag 3869514/1475000
82.77/79.29	c cleaning 54003 clauses out of 108020 with flag 4013464/1530000
86.40/82.71	c cleaning 55004 clauses out of 110017 with flag 4161878/1586000
90.09/86.48	c cleaning 56002 clauses out of 112014 with flag 4316429/1643001
94.06/90.31	c cleaning 57000 clauses out of 114011 with flag 4467518/1701000
97.55/93.89	c cleaning 58001 clauses out of 116015 with flag 4622222/1760004
101.65/97.87	c cleaning 59001 clauses out of 118010 with flag 4777618/1820000
105.55/101.71	c cleaning 59995 clauses out of 120010 with flag 4942566/1881001
109.86/105.94	c cleaning 60992 clauses out of 122014 with flag 5117218/1943000
113.45/109.56	c cleaning 62003 clauses out of 124022 with flag 5282675/2006000
117.89/113.30	c cleaning 63006 clauses out of 126019 with flag 5444114/2070000
122.72/118.01	c cleaning 64000 clauses out of 128013 with flag 5616112/2135000
127.31/122.69	c cleaning 65006 clauses out of 130013 with flag 5792489/2201000
131.21/126.55	c cleaning 66002 clauses out of 132008 with flag 5967286/2268001
135.72/130.92	c cleaning 66993 clauses out of 134006 with flag 6143973/2336001
139.87/134.98	c cleaning 68005 clauses out of 136012 with flag 6324163/2405000
144.52/139.66	c cleaning 68999 clauses out of 138007 with flag 6500809/2475000
149.47/144.49	c cleaning 70003 clauses out of 140010 with flag 6685772/2546002
153.45/148.48	c cleaning 70990 clauses out of 142005 with flag 6876729/2618000
158.19/153.10	c cleaning 72001 clauses out of 144015 with flag 7068514/2691000
163.46/158.13	c cleaning 72998 clauses out of 146014 with flag 7258666/2765000
167.84/162.54	c cleaning 74002 clauses out of 148016 with flag 7454873/2840000
172.98/167.54	c cleaning 74996 clauses out of 150017 with flag 7655497/2916003
179.15/172.98	c cleaning 76004 clauses out of 152018 with flag 7855334/2993000
184.56/178.28	c cleaning 77002 clauses out of 154014 with flag 8057432/3071000
190.25/183.90	c cleaning 77994 clauses out of 156013 with flag 8263863/3150001
196.12/189.63	c cleaning 79004 clauses out of 158018 with flag 8476306/3230000
201.87/195.25	c cleaning 80000 clauses out of 160014 with flag 8694381/3311000
207.67/201.06	c cleaning 81004 clauses out of 162014 with flag 8908959/3393000
213.21/206.59	c cleaning 81999 clauses out of 164010 with flag 9132639/3476000
219.96/213.14	c cleaning 83000 clauses out of 166012 with flag 9358212/3560001
225.64/218.84	c cleaning 83999 clauses out of 168011 with flag 9586185/3645000
231.77/224.88	c cleaning 85002 clauses out of 170013 with flag 9811123/3731001
237.85/230.99	c cleaning 85995 clauses out of 172010 with flag 10042882/3818000
244.98/238.07	c cleaning 87000 clauses out of 174015 with flag 10270388/3906000
251.27/244.35	c cleaning 87995 clauses out of 176015 with flag 10500604/3995000
257.40/250.58	c cleaning 88999 clauses out of 178020 with flag 10738502/4085000
264.18/257.31	c cleaning 89993 clauses out of 180021 with flag 10970010/4176000
271.88/265.01	c cleaning 91014 clauses out of 182028 with flag 11213509/4268000
280.06/273.25	c cleaning 92004 clauses out of 184015 with flag 11475142/4361001
286.45/279.67	c cleaning 92992 clauses out of 186010 with flag 11726980/4455000
293.50/286.37	c cleaning 94001 clauses out of 188018 with flag 11974771/4550000
300.49/293.37	c cleaning 94995 clauses out of 190017 with flag 12230178/4646000
308.01/300.63	c cleaning 95995 clauses out of 192022 with flag 12486237/4743000
315.85/308.35	c cleaning 97004 clauses out of 194027 with flag 12747576/4841000
322.54/315.04	c cleaning 98002 clauses out of 196023 with flag 13009125/4940000
329.73/322.03	c cleaning 99000 clauses out of 198022 with flag 13263502/5040001
337.76/329.86	c cleaning 99998 clauses out of 200022 with flag 13523389/5141001
345.64/337.60	c cleaning 101003 clauses out of 202023 with flag 13787293/5243000
354.14/345.39	c cleaning 102002 clauses out of 204020 with flag 14059516/5346000
362.36/353.51	c cleaning 103009 clauses out of 206018 with flag 14341184/5450000
369.29/360.55	c cleaning 103992 clauses out of 208009 with flag 14617462/5555000
377.11/368.38	c cleaning 105007 clauses out of 210017 with flag 14898742/5661000
386.19/377.32	c cleaning 105997 clauses out of 212011 with flag 15178442/5768001
393.43/384.68	c cleaning 106999 clauses out of 214014 with flag 15459251/5876001
402.37/393.54	c cleaning 108002 clauses out of 216016 with flag 15745374/5985002
409.86/400.80	c cleaning 108989 clauses out of 218012 with flag 16041465/6095000
419.24/410.09	c cleaning 109991 clauses out of 220023 with flag 16340114/6206000
428.06/418.79	c cleaning 111004 clauses out of 222033 with flag 16632489/6318001
436.88/427.48	c cleaning 112006 clauses out of 224028 with flag 16931902/6431000
446.61/437.09	c cleaning 112998 clauses out of 226022 with flag 17230491/6545000
456.68/447.00	c cleaning 114005 clauses out of 228024 with flag 17529069/6660000
466.08/456.15	c cleaning 115006 clauses out of 230019 with flag 17836521/6776000
476.15/466.08	c cleaning 115998 clauses out of 232014 with flag 18145661/6893001
486.00/475.75	c cleaning 117000 clauses out of 234015 with flag 18452688/7011000
496.31/485.92	c cleaning 117994 clauses out of 236015 with flag 18765895/7130000
506.73/495.37	c cleaning 118995 clauses out of 238022 with flag 19087907/7250001
518.94/507.53	c cleaning 120001 clauses out of 240026 with flag 19425750/7371000
528.59/517.07	c cleaning 121005 clauses out of 242025 with flag 19748074/7493000
538.56/526.92	c cleaning 122006 clauses out of 244020 with flag 20073347/7616000
551.04/539.37	c cleaning 123002 clauses out of 246014 with flag 20407983/7740000
562.27/550.46	c cleaning 124001 clauses out of 248012 with flag 20742745/7865000
573.91/562.08	c cleaning 124993 clauses out of 250011 with flag 21072145/7991000
587.56/575.60	c cleaning 126003 clauses out of 252018 with flag 21401421/8118000
600.85/588.89	c cleaning 127008 clauses out of 254016 with flag 21740567/8246001
611.57/599.42	c cleaning 128000 clauses out of 256008 with flag 22082891/8375001
622.80/610.52	c cleaning 129000 clauses out of 258007 with flag 22431683/8505000
632.13/619.78	c cleaning 129993 clauses out of 260007 with flag 22790736/8636000
645.04/632.59	c cleaning 130995 clauses out of 262014 with flag 23145289/8768000
657.41/644.77	c cleaning 131997 clauses out of 264019 with flag 23503332/8901000
669.63/656.88	c cleaning 133006 clauses out of 266022 with flag 23848879/9035000
681.90/669.09	c cleaning 133999 clauses out of 268016 with flag 24202922/9170000
694.76/681.87	c cleaning 135007 clauses out of 270018 with flag 24562122/9306001
706.82/693.85	c cleaning 135997 clauses out of 272011 with flag 24923250/9443001
719.63/705.54	c cleaning 136993 clauses out of 274013 with flag 25287359/9581000
730.31/716.12	c cleaning 138002 clauses out of 276020 with flag 25655503/9720000
741.35/727.14	c cleaning 139009 clauses out of 278019 with flag 26025526/9860001
752.53/738.14	c cleaning 139998 clauses out of 280010 with flag 26402873/10001001
766.12/751.62	c cleaning 141000 clauses out of 282012 with flag 26781928/10143001
780.07/765.46	c cleaning 142004 clauses out of 284011 with flag 27158322/10286000
795.39/780.64	c cleaning 143000 clauses out of 286007 with flag 27532735/10430000
812.17/797.03	c cleaning 143993 clauses out of 288007 with flag 27934204/10575000
828.59/813.39	c cleaning 145005 clauses out of 290015 with flag 28315980/10721001
844.12/828.58	c cleaning 145994 clauses out of 292009 with flag 28710782/10868000
861.69/845.97	c cleaning 147006 clauses out of 294015 with flag 29106131/11016000
876.49/860.41	c cleaning 147998 clauses out of 296013 with flag 29499525/11165004
890.83/874.64	c cleaning 148995 clauses out of 298011 with flag 29894434/11315000
906.93/890.44	c cleaning 149993 clauses out of 300016 with flag 30304047/11466000
922.39/905.76	c cleaning 150994 clauses out of 302023 with flag 30697604/11618000
937.84/920.99	c cleaning 152003 clauses out of 304029 with flag 31099918/11771000
952.66/935.62	c cleaning 153004 clauses out of 306027 with flag 31504374/11925001
968.58/951.23	c cleaning 154001 clauses out of 308022 with flag 31919296/12080000
988.54/969.90	c cleaning 155008 clauses out of 310021 with flag 32336193/12236000
1002.99/984.34	c cleaning 156001 clauses out of 312015 with flag 32753088/12393002
1024.27/1005.37	c cleaning 157001 clauses out of 314013 with flag 33191927/12551001
1040.37/1021.26	c cleaning 157997 clauses out of 316013 with flag 33610250/12710002
1054.99/1035.70	c cleaning 159001 clauses out of 318015 with flag 34040848/12870001
1071.32/1051.73	c cleaning 159997 clauses out of 320014 with flag 34480035/13031001
1087.60/1067.89	c cleaning 161003 clauses out of 322016 with flag 34900273/13193000
1107.99/1088.17	c cleaning 162003 clauses out of 324013 with flag 35355072/13356000
1127.31/1107.17	c cleaning 163006 clauses out of 326011 with flag 35798516/13520001
1144.53/1124.31	c cleaning 163994 clauses out of 328004 with flag 36234015/13685000
1160.29/1139.96	c cleaning 164990 clauses out of 330010 with flag 36679971/13851000
1175.21/1154.73	c cleaning 165997 clauses out of 332020 with flag 37142779/14018000
1191.58/1171.02	c cleaning 166998 clauses out of 334023 with flag 37595292/14186000
1208.52/1187.75	c cleaning 168005 clauses out of 336025 with flag 38052781/14355000
1225.43/1204.52	c cleaning 169001 clauses out of 338020 with flag 38510327/14525000
1242.34/1221.11	c cleaning 169994 clauses out of 340019 with flag 38974739/14696000
1258.00/1236.60	c cleaning 171005 clauses out of 342025 with flag 39445835/14868000
1276.69/1255.04	c cleaning 172000 clauses out of 344021 with flag 39896605/15041001
1297.12/1275.41	c cleaning 173004 clauses out of 346020 with flag 40340146/15215000
1314.86/1293.02	c cleaning 173992 clauses out of 348016 with flag 40791947/15390000
1333.71/1311.68	c cleaning 175005 clauses out of 350024 with flag 41246368/15566000
1354.40/1330.83	c cleaning 175997 clauses out of 352022 with flag 41705702/15743003
1377.19/1353.77	c cleaning 177009 clauses out of 354023 with flag 42166761/15921001
1395.53/1371.81	c cleaning 177990 clauses out of 356013 with flag 42632791/16100000
1415.05/1391.14	c cleaning 178992 clauses out of 358023 with flag 43114358/16280000
1436.53/1412.53	c cleaning 180003 clauses out of 360031 with flag 43599241/16461000
1458.39/1434.39	c cleaning 180996 clauses out of 362030 with flag 44093453/16643002
1480.00/1455.91	c cleaning 182012 clauses out of 364035 with flag 44592154/16826003
1498.04/1473.55	c cleaning 182998 clauses out of 366021 with flag 45088881/17010001
1517.39/1492.79	c cleaning 184006 clauses out of 368022 with flag 45599048/17195000
1536.60/1511.73	c cleaning 184998 clauses out of 370017 with flag 46100619/17381001
1556.51/1531.53	c cleaning 185994 clauses out of 372019 with flag 46620761/17568001
1575.56/1550.23	c cleaning 187001 clauses out of 374024 with flag 47132237/17756000
1593.62/1568.27	c cleaning 188001 clauses out of 376023 with flag 47656460/17945000
1612.14/1586.77	c cleaning 189002 clauses out of 378022 with flag 48168479/18135000
1629.39/1603.98	c cleaning 189998 clauses out of 380020 with flag 48674772/18326000
1646.21/1620.40	c cleaning 191007 clauses out of 382025 with flag 49178409/18518003
1667.19/1641.26	c cleaning 191998 clauses out of 384015 with flag 49691761/18711000
1692.19/1666.15	c cleaning 192998 clauses out of 386017 with flag 50194830/18905000
1720.05/1693.61	c cleaning 194002 clauses out of 388019 with flag 50713877/19100000
1748.47/1721.86	c cleaning 195005 clauses out of 390018 with flag 51245300/19296001
1771.18/1744.33	c cleaning 195987 clauses out of 392012 with flag 51778045/19493000
1800.35/1773.43	c cleaning 197006 clauses out of 394025 with flag 52333838/19691000
1826.48/1798.98	c cleaning 198000 clauses out of 396019 with flag 52867402/19890000
1859.86/1830.45	c cleaning 199008 clauses out of 398020 with flag 53386311/20090001
1884.47/1854.80	c cleaning 200000 clauses out of 400011 with flag 53921642/20291000
1909.46/1879.77	c cleaning 201001 clauses out of 402012 with flag 54467191/20493001
1933.30/1903.19	c cleaning 201996 clauses out of 404011 with flag 55012205/20696001
1961.65/1931.25	c cleaning 203003 clauses out of 406014 with flag 55556864/20900000
1991.85/1961.22	c cleaning 203999 clauses out of 408011 with flag 56092389/21105000
2020.23/1989.66	c cleaning 204995 clauses out of 410014 with flag 56644033/21311002
2044.96/2014.26	c cleaning 205989 clauses out of 412017 with flag 57216262/21518000
2070.57/2039.48	c cleaning 207002 clauses out of 414028 with flag 57801415/21726000
2094.02/2062.60	c cleaning 207996 clauses out of 416026 with flag 58376321/21935000
2117.09/2085.53	c cleaning 209004 clauses out of 418030 with flag 58955580/22145000
2136.95/2105.22	c cleaning 209998 clauses out of 420026 with flag 59511090/22356000
2159.71/2127.97	c cleaning 210999 clauses out of 422030 with flag 60078675/22568002
2184.11/2152.09	c cleaning 212007 clauses out of 424032 with flag 60643017/22781003
2210.43/2178.19	c cleaning 213003 clauses out of 426025 with flag 61222550/22995003
2234.49/2202.04	c cleaning 214007 clauses out of 428019 with flag 61811721/23210000
2260.68/2228.19	c cleaning 214990 clauses out of 430012 with flag 62396079/23426000
2287.53/2254.68	c cleaning 216006 clauses out of 432022 with flag 62976043/23643000
2314.45/2281.33	c cleaning 216991 clauses out of 434016 with flag 63553861/23861000
2340.49/2307.20	c cleaning 217999 clauses out of 436025 with flag 64134862/24080000
2364.92/2331.65	c cleaning 219008 clauses out of 438026 with flag 64728309/24300000
2394.64/2361.18	c cleaning 220004 clauses out of 440018 with flag 65315993/24521000
2422.84/2389.11	c cleaning 221003 clauses out of 442015 with flag 65917658/24743001
2448.77/2415.00	c cleaning 222001 clauses out of 444011 with flag 66499057/24966000
2469.68/2435.49	c cleaning 222994 clauses out of 446010 with flag 67102061/25190000
2496.92/2460.63	c cleaning 223996 clauses out of 448016 with flag 67702348/25415000
2519.73/2483.39	c cleaning 224998 clauses out of 450021 with flag 68305447/25641001
2544.77/2508.23	c cleaning 226009 clauses out of 452024 with flag 68919586/25868002
2574.48/2538.08	c cleaning 227000 clauses out of 454013 with flag 69534850/26096000
2601.00/2564.50	c cleaning 227995 clauses out of 456015 with flag 70157321/26325002
2627.95/2590.98	c cleaning 229002 clauses out of 458018 with flag 70773662/26555000
2655.04/2617.80	c cleaning 229994 clauses out of 460016 with flag 71401976/26786000
2680.53/2643.24	c cleaning 231003 clauses out of 462025 with flag 72026319/27018003
2707.68/2670.24	c cleaning 232001 clauses out of 464019 with flag 72694046/27251000
2732.15/2694.52	c cleaning 232999 clauses out of 466019 with flag 73319684/27485001
2759.01/2721.02	c cleaning 233994 clauses out of 468019 with flag 73962267/27720000
2787.47/2749.24	c cleaning 234998 clauses out of 470025 with flag 74606201/27956000
2814.84/2776.37	c cleaning 236000 clauses out of 472027 with flag 75250112/28193000
2839.79/2801.03	c cleaning 236997 clauses out of 474027 with flag 75889590/28431000
2868.74/2829.91	c cleaning 238000 clauses out of 476030 with flag 76515260/28670000
2898.71/2859.50	c cleaning 239006 clauses out of 478032 with flag 77173180/28910002
2926.54/2887.13	c cleaning 240004 clauses out of 480024 with flag 77825098/29151000
2950.36/2910.89	c cleaning 240992 clauses out of 482022 with flag 78483948/29393002
2979.14/2939.47	c cleaning 242005 clauses out of 484028 with flag 79131951/29636000
3011.33/2971.39	c cleaning 243000 clauses out of 486023 with flag 79797946/29880000
3041.50/3001.28	c cleaning 243993 clauses out of 488023 with flag 80473493/30125000
3068.05/3027.67	c cleaning 245008 clauses out of 490032 with flag 81134219/30371002
3093.51/3052.61	c cleaning 246000 clauses out of 492024 with flag 81806379/30618002
3115.83/3074.66	c cleaning 247002 clauses out of 494022 with flag 82475610/30866000
3140.93/3099.59	c cleaning 247992 clauses out of 496021 with flag 83153512/31115001
3167.25/3125.75	c cleaning 248996 clauses out of 498028 with flag 83821981/31365000
3194.85/3152.83	c cleaning 250006 clauses out of 500033 with flag 84493115/31616001
3226.17/3181.91	c cleaning 251000 clauses out of 502026 with flag 85159236/31868000
3254.46/3210.04	c cleaning 252005 clauses out of 504026 with flag 85842042/32121000
3289.89/3245.35	c cleaning 253000 clauses out of 506021 with flag 86523999/32375000
3317.57/3272.46	c cleaning 253993 clauses out of 508021 with flag 87200619/32630000
3346.59/3301.21	c cleaning 255003 clauses out of 510029 with flag 87874963/32886001
3375.91/3330.38	c cleaning 256002 clauses out of 512027 with flag 88557054/33143002
3405.49/3359.73	c cleaning 257003 clauses out of 514024 with flag 89261465/33401001
3438.04/3391.73	c cleaning 258007 clauses out of 516022 with flag 89995527/33660002
3464.94/3418.39	c cleaning 258990 clauses out of 518013 with flag 90685826/33920000
3495.47/3448.63	c cleaning 260001 clauses out of 520023 with flag 91378211/34181000
3527.25/3480.20	c cleaning 260989 clauses out of 522022 with flag 92072247/34443000
3558.38/3510.99	c cleaning 262001 clauses out of 524034 with flag 92775527/34706001
3587.55/3539.83	c cleaning 263015 clauses out of 526032 with flag 93474393/34970000
3600.05/3552.02	c starts		: 1596
3600.05/3552.03	c conflicts		: 35153745
3600.05/3552.03	c decisions		: 86634352
3600.05/3552.03	c propagations		: 953818014
3600.05/3552.03	c inspects		: 15726468653
3600.05/3552.03	c shortcuts		: 0
3600.05/3552.03	c learnt literals	: 0
3600.05/3552.03	c learnt binary clauses	: 0
3600.05/3552.03	c learnt ternary clauses	: 0
3600.05/3552.03	c learnt constraints	: 35153745
3600.05/3552.03	c ignored constraints	: 0
3600.05/3552.03	c root simplifications	: 0
3600.05/3552.03	c removed literals (reason simplification)	: 0
3600.05/3552.03	c reason swapping (by a shorter reason)	: 0
3600.05/3552.03	c Calls to reduceDB	: 260
3600.05/3552.03	c Number of update (reduction) of LBD	: 8186028
3600.05/3552.03	c Imported unit clauses	: 0
3600.05/3552.03	c No decision after first conflict	: false
3600.05/3552.03	c number of reductions to clauses (during analyze)	: 0
3600.05/3552.03	c number of learned constraints concerned by reduction	: 0
3600.05/3552.03	c number of learning phase by resolution	: 0
3600.05/3552.03	c number of learning phase by cutting planes	: 0
3600.05/3552.03	c number of rounding to 1 operations	: 0
3600.05/3552.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3552.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3552.03	c number of right shift for reduction by power 2 	: 0
3600.05/3552.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3552.03	c number of ending skipping 	: 0
3600.05/3552.03	c number of internal skipping 	: 0
3600.05/3552.03	c number of derivation steps 	: 0
3600.05/3552.03	c number of skipped derivation steps 	: 0
3600.05/3552.03	c number of remaining unassigned 	: 0
3600.05/3552.03	c number of remaining assigned 	: 0
3600.05/3552.03	c number of falsified literals weakened from reason	: 0
3600.05/3552.03	c number of falsified literals weakened from conflict	: 0
3600.05/3552.03	c time for arithmetic operations	: 0
3600.05/3552.03	c minimum degree of deleted constraints	: null
3600.05/3552.03	c maximum degree of deleted constraints	: null
3600.05/3552.03	c number of deleted constraints	: 0
3600.05/3552.03	c speed (assignments/second)	: 268541.4135237244
3600.05/3552.03	c non guided choices	: 0
3600.05/3552.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 446762
3600.05/3552.09	s SATISFIABLE
3600.05/3552.09	c Found 1 solution(s)
3600.05/3552.09	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 
3600.05/3552.09	c objective function=5
3600.05/3552.09	c Total wall clock time (in seconds): 3551.965

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432307-1721056022/watcher-4432307-1721056022 -o /tmp/evaluation-result-4432307-1721056022/solver-4432307-1721056022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721056035-807405 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432307-1721056022.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=807464, runsolver pid=807451
Current StackSize limit: 8192 KiB


[startup+0.100384 s]*
/proc/loadavg: 3.71 4.03 4.06 11/324 807536
/proc/meminfo: memFree=128051028/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=18975048 memory=62504 CPUtime=0.13 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 7222 0 0 0 11 2 0 0 20 0 18 0 157765684 19430449152 15626 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4743762 15626 5547 1 0 549318 0
[pid=807464/tid=807469] ppid=807451 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 1077936192 5751 0 0 0 7 1 0 0 20 0 18 0 157765684 19430449152 15626 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157765687 19430449152 15626 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 157765688 19430449152 15626 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62504 KiB

[startup+0.21469 s]*
/proc/loadavg: 3.71 4.03 4.06 15/326 807538
/proc/meminfo: memFree=127992256/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19041612 memory=70440 CPUtime=0.33 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 7906 0 0 0 31 2 0 0 20 0 19 0 157765684 19498610688 17610 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4760403 17610 5873 1 0 550000 0
[pid=807464/tid=807469] ppid=807451 vsize=19041612 memory=664970851429515395 CPUtime=0.18 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 6047 0 0 0 16 2 0 0 20 0 19 0 157765684 19498610688 17610 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19041612 memory=1623 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 17610 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19041612 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 17610 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765702 19498610688 17610 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70440 KiB

[startup+0.305691 s]*
/proc/loadavg: 3.71 4.03 4.06 13/327 807539
/proc/meminfo: memFree=127888632/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19041612 memory=76948 CPUtime=0.51 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 10067 0 0 0 48 3 0 0 20 0 19 0 157765684 19498610688 19237 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4760403 19237 5873 1 0 551092 0
[pid=807464/tid=807469] ppid=807451 vsize=19041612 memory=-9104139232558293692 CPUtime=0.26 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 6074 0 0 0 24 2 0 0 20 0 19 0 157765684 19498610688 19237 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 19237 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 19237 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765702 19498610688 19237 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76948 KiB

[startup+0.700693 s]
/proc/loadavg: 3.71 4.03 4.06 10/329 807541
/proc/meminfo: memFree=127823976/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19041612 memory=100924 CPUtime=1.27 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 12986 0 0 0 124 3 0 0 20 0 19 0 157765684 19498610688 25231 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4760403 25231 5889 1 0 553004 0
[pid=807464/tid=807469] ppid=807451 vsize=19041612 memory=40752 CPUtime=0.64 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 6145 0 0 0 62 2 0 0 20 0 19 0 157765684 19498610688 25231 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 25231 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 25231 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765702 19498610688 25231 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100924 KiB

[startup+1.50069 s]
/proc/loadavg: 3.71 4.03 4.06 11/330 807542
/proc/meminfo: memFree=127702248/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19041612 memory=160664 CPUtime=2.52 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 17050 0 0 0 248 4 0 0 20 0 19 0 157765684 19498610688 40166 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4760403 40166 5889 1 0 553394 0
[pid=807464/tid=807469] ppid=807451 vsize=19041612 memory=0 CPUtime=1.43 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 6648 0 0 0 140 3 0 0 20 0 19 0 157765684 19498610688 40166 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 40166 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 40166 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765702 19498610688 40166 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160664 KiB

[startup+3.10671 s]
/proc/loadavg: 3.71 4.03 4.06 8/331 807543
/proc/meminfo: memFree=126774324/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=270208 CPUtime=4.32 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 19464 0 0 0 425 7 0 0 20 0 20 0 157765684 19566772224 67552 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 67552 5921 1 0 553685 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=12292 CPUtime=2.91 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 6943 0 0 0 288 3 0 0 20 0 20 0 157765684 19566772224 67552 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 67552 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=-9104139232558293692 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 67552 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=106396 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 67552 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270208 KiB

[startup+6.30024 s]
/proc/loadavg: 3.81 4.05 4.07 9/332 807546
/proc/meminfo: memFree=125428492/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=452596 CPUtime=7.76 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 20565 0 0 0 766 10 0 0 20 0 20 0 157765684 19566772224 113149 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 113149 5921 1 0 704066 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=0 CPUtime=5.91 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 7043 0 0 0 588 3 0 0 20 0 20 0 157765684 19566772224 113149 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=7661305137497860205 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 113149 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 113149 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=6944656592455360608 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 113149 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 452596 KiB

[startup+12.7003 s]
/proc/loadavg: 3.83 4.04 4.07 8/332 807547
/proc/meminfo: memFree=122657032/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=907292 CPUtime=14.46 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 24617 0 0 0 1425 21 0 0 20 0 20 0 157765684 19566772224 226823 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 226823 5921 1 0 852378 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=805424 CPUtime=12.01 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 7812 0 0 0 1195 6 0 0 20 0 20 0 157765684 19566772224 226823 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 226823 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 226823 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 226823 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 907292 KiB

[startup+25.5003 s]
/proc/loadavg: 3.94 4.06 4.07 8/332 807548
/proc/meminfo: memFree=117394352/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=1820400 CPUtime=27.68 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 25756 0 0 0 2728 40 0 0 20 0 20 0 157765684 19566772224 455100 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 455100 5921 1 0 981901 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=1286500 CPUtime=24.27 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 8115 0 0 0 2416 11 0 0 20 0 20 0 157765684 19566772224 455100 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765685 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=1478328 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 455100 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 455100 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 455100 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 27.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1820400 KiB

[startup+51.1065 s]
/proc/loadavg: 4.03 4.07 4.08 8/332 807553
/proc/meminfo: memFree=111135076/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=2611084 CPUtime=54.2 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 39448 0 0 0 5362 58 0 0 20 0 20 0 157765684 19566772224 652771 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 652771 5921 1 0 982590 0

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

/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3275581 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=13102324 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1345 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3275581 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=13102324 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3275581 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3204.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13102324 KiB

[startup+3222.3 s]
/proc/loadavg: 2.38 3.62 4.22 4/284 809367
/proc/meminfo: memFree=111854144/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202708 CPUtime=3266.91 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 323992 0 0 0 326265 426 0 0 20 0 20 0 157765684 19566772224 3550677 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550677 5953 1 0 3696676 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=12623092 CPUtime=3165.05 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 88280 0 0 0 316407 98 0 0 20 0 20 0 157765684 19566772224 3550677 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765694 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550677 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=14112596 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1347 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550677 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=14112596 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550677 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3266.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202708 KiB

[startup+3282.3 s]
/proc/loadavg: 2.25 3.35 4.09 4/282 809388
/proc/meminfo: memFree=111853848/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202716 CPUtime=3327.41 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 329831 0 0 0 332313 428 0 0 20 0 20 0 157765684 19566772224 3550679 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550679 5953 1 0 3696677 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=14202716 CPUtime=3224.1 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 90188 0 0 0 322312 98 0 0 20 0 20 0 157765684 19566772224 3550679 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=14202716 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550679 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=14202716 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1479 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550679 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=14202708 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550679 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3327.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202716 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 3.12 3.96 4/282 809399
/proc/meminfo: memFree=111853456/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202720 CPUtime=3388.12 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 331724 0 0 0 338382 430 0 0 20 0 20 0 157765684 19566772224 3550680 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550680 5953 1 0 3696678 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=14202720 CPUtime=3283.1 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 90487 0 0 0 328212 98 0 0 20 0 20 0 157765684 19566772224 3550680 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550680 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=14202720 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1480 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550680 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550680 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3388.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202720 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.93 3.84 4/282 809410
/proc/meminfo: memFree=111853116/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202728 CPUtime=3448.62 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 337875 0 0 0 344430 432 0 0 20 0 20 0 157765684 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550682 5953 1 0 3696678 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=1976 CPUtime=3342.36 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 92085 0 0 0 334137 99 0 0 20 0 20 0 157765684 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=40752 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1480 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=14202728 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3448.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202728 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.79 3.73 4/280 809424
/proc/meminfo: memFree=111852920/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202728 CPUtime=3509.38 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 339471 0 0 0 350503 435 0 0 20 0 20 0 157765684 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550682 5953 1 0 3696678 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=40752 CPUtime=3401.34 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 93034 0 0 0 340035 99 0 0 20 0 20 0 157765684 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=32412 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=14202728 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1516 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=-4421386500492649063 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550682 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3509.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202728 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 2.64 3.62 4/280 809435
/proc/meminfo: memFree=111852584/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202732 CPUtime=3569.76 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 340974 0 0 0 356539 437 0 0 20 0 20 0 157765684 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550683 5953 1 0 3696678 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=40752 CPUtime=3460.67 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 93786 0 0 0 345968 99 0 0 20 0 20 0 157765684 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=14202732 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1516 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3569.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552 s]*
/proc/loadavg: 2.10 2.60 3.57 4/278 809441
/proc/meminfo: memFree=111852400/131524600 swapFree=131071996/131071996
[pid=807464] ppid=807451 vsize=19108176 memory=14202732 CPUtime=3600.05 cores=4,6
/proc/807464/stat : 807464 (java) S 807451 807464 803022 0 -1 1077936128 345596 0 0 0 359567 438 0 0 20 0 20 0 157765684 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
/proc/807464/statm: 4777044 3550683 5953 1 0 3696678 0
[pid=807464/tid=807469] ppid=807451 vsize=19108176 memory=-9104139232558293692 CPUtime=3489.64 cores=4,6
/proc/807464/task/807469/stat : 807469 (java) R 807451 807464 803022 0 -1 4194368 94702 0 0 0 348865 99 0 0 20 0 20 0 157765684 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 157765696 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807509] ppid=807451 vsize=19108176 memory=-4421386500492649063 CPUtime=0 cores=4,6
/proc/807464/task/807509/stat : 807509 (Finalizer) S 807451 807464 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807534] ppid=807451 vsize=19108176 memory=2728 CPUtime=0 cores=4,6
/proc/807464/task/807534/stat : 807534 (Common-Cleaner) S 807451 807464 803022 0 -1 1077936192 1569 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
[pid=807464/tid=807538] ppid=807451 vsize=19108176 memory=2728 CPUtime=0 cores=4,6
/proc/807464/task/807538/stat : 807538 (Timer-0) S 807451 807464 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765702 19566772224 3550683 134679101440 93942309814272 93942309817968 140735929984624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93942309825784 93942309826576 93942316630016 140735929988103 140735929988193 140735929988193 140735929995208 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14202732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.85 s, system=4.41987 s

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

[startup+3552.13 s]*
/proc/loadavg: 2.10 2.60 3.57 3/260 809444
/proc/meminfo: memFree=125724660/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): 3552.14
CPU time (s): 3600.27
CPU user time (s): 3595.85
CPU system time (s): 4.41987
CPU usage (%): 101.355
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14202732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.85
system time used= 4.41987
maximum resident set size= 14204304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117039
involuntary context switches= 14154


# summary of solver processes directly reported to runsolver:
#   pid: 807464
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3595.85
#   total CPU system time (s): 4.41987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03031 second user time and 20.4874 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 17:07:15
IDJOB=4432307
IDBENCH=146653
IDSOLVER=3058
FILE ID=nodeC020/4432307-1721056022
RUNJOBID= nodeC020-1721056035-807405
SLURM_JOB_ID= 7505471
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432307-1721056022/watcher-4432307-1721056022 -o /tmp/evaluation-result-4432307-1721056022/solver-4432307-1721056022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721056035-807405 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432307-1721056022.opb

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

MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=495375312

nodeC020.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		: 3378.274
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	: 7000.05
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		: 3381.298
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.84
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		: 3416.691
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	: 7000.05
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		: 3390.641
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.84
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		: 3295.926
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	: 7000.05
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		: 3583.645
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.84
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		: 3321.997
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	: 7000.05
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		: 3193.371
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128225660 kB
MemAvailable:   129728768 kB
Buffers:          366836 kB
Cached:          1961880 kB
SwapCached:            0 kB
Active:           590104 kB
Inactive:        2094128 kB
Active(anon):       1496 kB
Inactive(anon):   391748 kB
Active(file):     588608 kB
Inactive(file):  1702380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3444 kB
Writeback:             0 kB
AnonPages:        354896 kB
Mapped:           102952 kB
Shmem:             37720 kB
KReclaimable:     103888 kB
Slab:             210028 kB
SReclaimable:     103888 kB
SUnreclaim:       106140 kB
KernelStack:        3872 kB
PageTables:         9728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     720612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58816 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-15 18:06:27