Trace number 4440368

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)8 3600.59 3575.29

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:98.opb
MD5SUMb7b6c18a5ccb5e8755a0006a4c4ad211
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.02114
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables411
Total number of constraints477
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)90
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 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
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.13/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.18	c See www.sat4j.org for details.
0.13/0.20	c version CUSTOM.v20240707
0.13/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.23	c java.vm.version	22.0.1+8-16
0.29/0.24	c java.vm.vendor	Oracle Corporation
0.29/0.24	c sun.arch.data.model	64
0.29/0.24	c java.version		22.0.1
0.29/0.24	c os.name		Linux
0.29/0.24	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.24	c os.arch		amd64
0.29/0.24	c Free memory 		2113181440
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.47/0.35	--- Begin Solver configuration ---
0.47/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.35	Learn all clauses as in MiniSAT
0.47/0.35	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.35	Expensive reason simplification
0.47/0.35	Glucose 2.1 dynamic restart strategy
0.47/0.35	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.47/0.35	timeout=2147483s
0.47/0.35	DB Simplification allowed=false
0.47/0.35	Listener: none
0.47/0.35	--- End Solver configuration ---
0.47/0.35	c Pseudo Boolean Optimization by upper bound
0.47/0.35	c --- Begin Solver configuration ---
0.47/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.35	c Learn all clauses as in MiniSAT
0.47/0.35	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.35	c Expensive reason simplification
0.47/0.35	c Glucose 2.1 dynamic restart strategy
0.47/0.35	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.47/0.35	c timeout=2147483s
0.47/0.35	c DB Simplification allowed=false
0.47/0.35	c Listener: none
0.47/0.35	c --- End Solver configuration ---
0.47/0.35	c solving HOME/instance-4440368-1721765593.opb
0.47/0.35	c reading problem ... 
0.47/0.36	c using VERIPB proof format
0.47/0.36	c  objective function found
0.65/0.47	c ... done. Wall clock time 0.106s.
0.65/0.47	c declared #vars     411
0.65/0.47	c #constraints  478
0.65/0.47	c constraints type 
0.65/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 381
0.65/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 89
0.65/0.47	c org.sat4j.specs.Constr$1 => 1
0.65/0.47	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.65/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6
0.65/0.47	c 478 constraints processed.
0.65/0.50	c objective function length is 411 literals
0.65/0.52	c SATISFIABLE
0.65/0.52	c OPTIMIZING...
0.65/0.53	c Got one! Elapsed wall clock time (in seconds):0.171
0.65/0.53	o 8
3.49/1.98	c cleaning 2494 clauses out of 5000 with flag 10243/5000
5.07/2.78	c cleaning 4245 clauses out of 8507 with flag 22436/11001
6.46/3.49	c cleaning 5623 clauses out of 11261 with flag 36724/18000
7.49/4.08	c cleaning 6812 clauses out of 13638 with flag 53075/26000
8.84/4.93	c cleaning 7909 clauses out of 15827 with flag 71737/35001
9.83/5.83	c cleaning 8955 clauses out of 17918 with flag 92356/45001
11.07/6.66	c cleaning 9975 clauses out of 19962 with flag 114821/56000
12.07/7.62	c cleaning 10985 clauses out of 21988 with flag 139319/68001
13.10/8.61	c cleaning 11994 clauses out of 24002 with flag 165693/81000
14.88/10.40	c cleaning 12996 clauses out of 26008 with flag 194299/95000
16.42/11.95	c cleaning 13999 clauses out of 28013 with flag 225287/110001
18.08/13.50	c cleaning 15000 clauses out of 30014 with flag 258378/126001
19.60/14.96	c cleaning 15996 clauses out of 32014 with flag 293349/143001
21.18/16.35	c cleaning 16998 clauses out of 34017 with flag 330330/161000
22.90/18.04	c cleaning 18002 clauses out of 36019 with flag 369590/180000
24.48/19.69	c cleaning 19002 clauses out of 38018 with flag 410725/200001
26.37/21.51	c cleaning 20001 clauses out of 40015 with flag 453898/221000
28.29/23.43	c cleaning 20999 clauses out of 42015 with flag 499321/243001
30.23/25.31	c cleaning 21998 clauses out of 44016 with flag 546665/266001
32.12/27.20	c cleaning 23002 clauses out of 46019 with flag 595815/290002
34.43/29.55	c cleaning 23999 clauses out of 48016 with flag 646965/315001
36.68/31.71	c cleaning 25000 clauses out of 50016 with flag 700131/341000
38.88/33.96	c cleaning 25998 clauses out of 52016 with flag 755502/368000
42.91/40.01	c cleaning 27003 clauses out of 54019 with flag 816417/396001
46.92/43.90	c cleaning 28001 clauses out of 56017 with flag 876582/425002
50.58/47.58	c cleaning 29000 clauses out of 58014 with flag 939124/455000
53.97/50.84	c cleaning 29999 clauses out of 60015 with flag 1004482/486001
57.18/54.05	c cleaning 31000 clauses out of 62016 with flag 1072652/518001
60.34/57.15	c cleaning 32001 clauses out of 64015 with flag 1142074/551000
63.76/60.54	c cleaning 32996 clauses out of 66014 with flag 1213360/585000
67.31/64.04	c cleaning 34000 clauses out of 68020 with flag 1286902/620002
70.60/67.38	c cleaning 35001 clauses out of 70018 with flag 1362457/656000
75.06/72.48	c cleaning 35999 clauses out of 72018 with flag 1439959/693001
79.07/76.32	c cleaning 36999 clauses out of 74019 with flag 1519762/731001
82.88/80.15	c cleaning 38002 clauses out of 76020 with flag 1599323/770001
86.88/83.92	c cleaning 39000 clauses out of 78017 with flag 1681219/810000
91.52/88.51	c cleaning 40000 clauses out of 80017 with flag 1766867/851000
96.05/93.10	c cleaning 41001 clauses out of 82017 with flag 1856604/893000
100.69/97.64	c cleaning 41999 clauses out of 84018 with flag 1947186/936002
105.00/102.54	c cleaning 43000 clauses out of 86019 with flag 2039894/980002
109.53/107.10	c cleaning 44002 clauses out of 88018 with flag 2132693/1025001
114.35/111.82	c cleaning 45000 clauses out of 90016 with flag 2227380/1071001
118.93/116.30	c cleaning 45995 clauses out of 92016 with flag 2323582/1118001
123.62/120.95	c cleaning 47001 clauses out of 94020 with flag 2421708/1166000
128.85/126.09	c cleaning 48002 clauses out of 96020 with flag 2522515/1215001
136.23/134.29	c cleaning 49004 clauses out of 98019 with flag 2627110/1265002
144.31/142.26	c cleaning 49999 clauses out of 100013 with flag 2733959/1316000
151.83/149.62	c cleaning 51001 clauses out of 102015 with flag 2843673/1368001
158.27/155.98	c cleaning 51996 clauses out of 104014 with flag 2954393/1421001
164.38/161.19	c cleaning 53010 clauses out of 106020 with flag 3093909/1475003
168.51/168.01	c cleaning 53992 clauses out of 108008 with flag 3247469/1530001
172.04/171.49	c cleaning 54999 clauses out of 110015 with flag 3400612/1586000
175.50/174.81	c cleaning 56004 clauses out of 112016 with flag 3556153/1643000
179.18/178.44	c cleaning 56999 clauses out of 114012 with flag 3717425/1701000
182.58/181.85	c cleaning 57993 clauses out of 116013 with flag 3879041/1760000
186.13/185.35	c cleaning 59003 clauses out of 118020 with flag 4040670/1820000
189.60/188.71	c cleaning 59996 clauses out of 120017 with flag 4210302/1881000
193.54/192.66	c cleaning 61002 clauses out of 122021 with flag 4381140/1943000
198.25/201.40	c cleaning 61996 clauses out of 124019 with flag 4551531/2006000
202.07/205.24	c cleaning 63000 clauses out of 126023 with flag 4726222/2070000
205.90/209.09	c cleaning 64006 clauses out of 128024 with flag 4907132/2135001
209.93/213.07	c cleaning 65009 clauses out of 130017 with flag 5088512/2201000
214.13/217.28	c cleaning 65998 clauses out of 132008 with flag 5276934/2268000
218.44/221.53	c cleaning 67002 clauses out of 134010 with flag 5466389/2336000
222.44/225.57	c cleaning 68002 clauses out of 136008 with flag 5648539/2405000
226.73/230.13	c cleaning 69001 clauses out of 138007 with flag 5832157/2475001
230.96/234.38	c cleaning 69997 clauses out of 140005 with flag 6024990/2546000
235.47/238.82	c cleaning 70999 clauses out of 142008 with flag 6219556/2618000
240.37/243.77	c cleaning 72000 clauses out of 144010 with flag 6419685/2691001
246.27/249.65	c cleaning 73005 clauses out of 146011 with flag 6616669/2765002
252.43/255.74	c cleaning 73994 clauses out of 148004 with flag 6816117/2840000
259.82/263.62	c cleaning 74993 clauses out of 150010 with flag 7020003/2916000
266.08/269.89	c cleaning 76002 clauses out of 152017 with flag 7213639/2993000
271.93/275.78	c cleaning 77000 clauses out of 154016 with flag 7419763/3071001
278.45/282.20	c cleaning 77998 clauses out of 156015 with flag 7634346/3150000
285.26/289.06	c cleaning 79005 clauses out of 158017 with flag 7853053/3230000
292.91/298.15	c cleaning 80000 clauses out of 160012 with flag 8073217/3311000
299.76/304.93	c cleaning 80994 clauses out of 162012 with flag 8287624/3393000
306.68/311.80	c cleaning 82004 clauses out of 164019 with flag 8518657/3476001
313.64/318.75	c cleaning 83007 clauses out of 166014 with flag 8752337/3560000
322.28/329.27	c cleaning 84000 clauses out of 168007 with flag 8984435/3645000
329.74/336.68	c cleaning 85002 clauses out of 170007 with flag 9204431/3731000
337.60/344.48	c cleaning 85996 clauses out of 172006 with flag 9435347/3818001
346.75/354.69	c cleaning 86999 clauses out of 174010 with flag 9663340/3906001
356.34/364.15	c cleaning 87996 clauses out of 176010 with flag 9896552/3995000
364.09/371.76	c cleaning 89002 clauses out of 178014 with flag 10144601/4085000
371.59/379.17	c cleaning 89992 clauses out of 180012 with flag 10386373/4176000
380.45/388.73	c cleaning 90996 clauses out of 182020 with flag 10639080/4268000
388.84/397.10	c cleaning 92006 clauses out of 184024 with flag 10892955/4361000
397.12/405.28	c cleaning 93004 clauses out of 186018 with flag 11143828/4455000
405.34/413.46	c cleaning 94006 clauses out of 188015 with flag 11393641/4550001
414.72/424.13	c cleaning 94997 clauses out of 190008 with flag 11639971/4646000
423.98/433.32	c cleaning 96000 clauses out of 192013 with flag 11892788/4743002
432.83/442.08	c cleaning 97000 clauses out of 194011 with flag 12152837/4841000
443.11/455.80	c cleaning 97999 clauses out of 196011 with flag 12409736/4940000
451.81/464.41	c cleaning 98997 clauses out of 198012 with flag 12671367/5040000
461.50/474.04	c cleaning 99991 clauses out of 200015 with flag 12943408/5141000
470.64/484.88	c cleaning 101000 clauses out of 202024 with flag 13207932/5243000
481.05/495.26	c cleaning 102006 clauses out of 204025 with flag 13487721/5346001
489.55/503.68	c cleaning 103002 clauses out of 206021 with flag 13758541/5450003
499.33/513.33	c cleaning 104001 clauses out of 208016 with flag 14031449/5555000
509.25/523.31	c cleaning 105000 clauses out of 210015 with flag 14308540/5661000
519.97/533.97	c cleaning 106002 clauses out of 212015 with flag 14589808/5768000
529.92/543.80	c cleaning 107001 clauses out of 214013 with flag 14888787/5876000
538.05/552.04	c cleaning 108003 clauses out of 216013 with flag 15169853/5985001
547.57/561.47	c cleaning 108996 clauses out of 218009 with flag 15463170/6095000
558.03/571.04	c cleaning 110000 clauses out of 220013 with flag 15753418/6206000
567.34/580.55	c cleaning 110999 clauses out of 222013 with flag 16040890/6318000
577.30/590.46	c cleaning 111999 clauses out of 224014 with flag 16342685/6431000
587.34/600.44	c cleaning 112998 clauses out of 226015 with flag 16661007/6545000
597.82/611.07	c cleaning 114002 clauses out of 228017 with flag 16968658/6660000
608.42/621.54	c cleaning 114991 clauses out of 230015 with flag 17275035/6776000
619.01/632.04	c cleaning 116005 clauses out of 232024 with flag 17593511/6893000
629.70/643.09	c cleaning 117005 clauses out of 234019 with flag 17906934/7011000
641.27/654.46	c cleaning 117998 clauses out of 236014 with flag 18216880/7130000
651.04/664.11	c cleaning 118994 clauses out of 238016 with flag 18527341/7250000
661.34/674.54	c cleaning 120008 clauses out of 240022 with flag 18838875/7371000
672.47/685.60	c cleaning 121000 clauses out of 242014 with flag 19175959/7493000
684.04/697.11	c cleaning 121995 clauses out of 244015 with flag 19502961/7616001
694.81/708.08	c cleaning 123000 clauses out of 246019 with flag 19826568/7740000
706.82/720.04	c cleaning 124003 clauses out of 248019 with flag 20166110/7865000
719.70/733.61	c cleaning 124993 clauses out of 250017 with flag 20493182/7991001
731.16/744.93	c cleaning 125997 clauses out of 252024 with flag 20824192/8118001
742.17/755.99	c cleaning 127008 clauses out of 254026 with flag 21159142/8246000
754.39/768.28	c cleaning 128005 clauses out of 256018 with flag 21502262/8375000
766.96/780.73	c cleaning 128995 clauses out of 258014 with flag 21845979/8505001
778.94/792.64	c cleaning 129994 clauses out of 260021 with flag 22186916/8636003
791.42/805.22	c cleaning 131008 clauses out of 262024 with flag 22533281/8768000
806.03/819.83	c cleaning 131997 clauses out of 264017 with flag 22877209/8901001
820.26/834.12	c cleaning 133005 clauses out of 266020 with flag 23239742/9035001
834.44/848.29	c cleaning 133992 clauses out of 268014 with flag 23604878/9170000
846.64/860.54	c cleaning 134992 clauses out of 270022 with flag 23968773/9306000
860.38/874.21	c cleaning 136012 clauses out of 272030 with flag 24338572/9443000
875.85/889.79	c cleaning 137001 clauses out of 274020 with flag 24733963/9581002
890.44/904.27	c cleaning 138008 clauses out of 276017 with flag 25100384/9720000
904.75/918.56	c cleaning 138999 clauses out of 278009 with flag 25471740/9860000
918.92/932.96	c cleaning 140001 clauses out of 280010 with flag 25851425/10001000
932.80/946.69	c cleaning 141000 clauses out of 282009 with flag 26212632/10143000
948.37/962.29	c cleaning 142001 clauses out of 284010 with flag 26585020/10286001
965.99/979.79	c cleaning 143001 clauses out of 286009 with flag 26977336/10430001
981.72/995.51	c cleaning 143995 clauses out of 288008 with flag 27382702/10575001
997.17/1010.98	c cleaning 144996 clauses out of 290012 with flag 27775494/10721000
1014.88/1028.69	c cleaning 145996 clauses out of 292016 with flag 28184234/10868000
1033.19/1047.17	c cleaning 147002 clauses out of 294020 with flag 28603323/11016000
1048.23/1062.14	c cleaning 147989 clauses out of 296018 with flag 29012594/11165000
1066.35/1080.39	c cleaning 149008 clauses out of 298029 with flag 29430337/11315000
1084.12/1097.85	c cleaning 150005 clauses out of 300021 with flag 29831309/11466000
1100.70/1114.32	c cleaning 150997 clauses out of 302016 with flag 30231665/11618000
1118.35/1131.94	c cleaning 151995 clauses out of 304020 with flag 30636262/11771001
1135.99/1150.09	c cleaning 153007 clauses out of 306025 with flag 31052932/11925001
1155.17/1169.15	c cleaning 154002 clauses out of 308017 with flag 31482730/12080000
1172.18/1186.24	c cleaning 155008 clauses out of 310016 with flag 31908455/12236001
1187.88/1202.06	c cleaning 155990 clauses out of 312007 with flag 32318341/12393000
1206.67/1220.96	c cleaning 157001 clauses out of 314017 with flag 32728360/12551000
1222.73/1237.26	c cleaning 157994 clauses out of 316016 with flag 33142660/12710000
1237.84/1252.35	c cleaning 158994 clauses out of 318022 with flag 33564137/12870000
1255.62/1270.19	c cleaning 160006 clauses out of 320028 with flag 33994109/13031000
1274.28/1288.76	c cleaning 160998 clauses out of 322022 with flag 34424767/13193000
1292.53/1307.73	c cleaning 162003 clauses out of 324024 with flag 34853347/13356000
1309.79/1325.07	c cleaning 162995 clauses out of 326021 with flag 35279057/13520000
1333.45/1349.40	c cleaning 163999 clauses out of 328026 with flag 35765145/13685000
1352.83/1368.94	c cleaning 165001 clauses out of 330027 with flag 36229439/13851000
1373.17/1389.37	c cleaning 165999 clauses out of 332026 with flag 36693143/14018000
1395.12/1411.14	c cleaning 167002 clauses out of 334027 with flag 37148932/14186000
1417.02/1433.19	c cleaning 168013 clauses out of 336025 with flag 37601662/14355000
1435.93/1452.06	c cleaning 168999 clauses out of 338012 with flag 38053634/14525000
1454.65/1470.66	c cleaning 169993 clauses out of 340013 with flag 38507047/14696000
1476.89/1493.00	c cleaning 170998 clauses out of 342020 with flag 38971901/14868000
1495.91/1511.99	c cleaning 171998 clauses out of 344022 with flag 39428662/15041000
1520.08/1536.13	c cleaning 173006 clauses out of 346024 with flag 39908869/15215000
1542.91/1558.98	c cleaning 173997 clauses out of 348018 with flag 40430077/15390000
1564.11/1580.19	c cleaning 174998 clauses out of 350021 with flag 40914590/15566000
1586.61/1602.52	c cleaning 175995 clauses out of 352023 with flag 41391542/15743000
1608.74/1624.57	c cleaning 177003 clauses out of 354028 with flag 41894173/15921000
1631.89/1647.88	c cleaning 178006 clauses out of 356025 with flag 42388516/16100000
1652.90/1668.61	c cleaning 178994 clauses out of 358019 with flag 42874290/16280000
1676.12/1691.97	c cleaning 180001 clauses out of 360025 with flag 43359247/16461000
1698.76/1714.88	c cleaning 181006 clauses out of 362024 with flag 43843358/16643000
1722.45/1738.69	c cleaning 182001 clauses out of 364018 with flag 44323012/16826000
1746.12/1762.88	c cleaning 183003 clauses out of 366018 with flag 44800455/17010001
1770.99/1788.01	c cleaning 183996 clauses out of 368014 with flag 45308631/17195000
1798.40/1815.46	c cleaning 184995 clauses out of 370019 with flag 45791790/17381001
1824.88/1841.48	c cleaning 185997 clauses out of 372023 with flag 46287168/17568000
1850.23/1865.36	c cleaning 187000 clauses out of 374026 with flag 46791307/17756000
1882.05/1896.89	c cleaning 188002 clauses out of 376026 with flag 47308465/17945000
1912.88/1927.01	c cleaning 189005 clauses out of 378024 with flag 47804255/18135000
1936.78/1950.36	c cleaning 190003 clauses out of 380020 with flag 48313679/18326001
1968.19/1980.07	c cleaning 191005 clauses out of 382016 with flag 48849831/18518000
1994.79/2005.32	c cleaning 191992 clauses out of 384011 with flag 49370183/18711000
2021.70/2030.81	c cleaning 193005 clauses out of 386020 with flag 49881665/18905001
2049.88/2059.16	c cleaning 194005 clauses out of 388015 with flag 50388498/19100001
2080.24/2088.83	c cleaning 194997 clauses out of 390009 with flag 50916253/19296000
2108.39/2116.08	c cleaning 195995 clauses out of 392013 with flag 51446820/19493001
2136.64/2143.78	c cleaning 197005 clauses out of 394019 with flag 51954177/19691002
2168.09/2173.71	c cleaning 198003 clauses out of 396012 with flag 52497975/19890000
2200.67/2205.51	c cleaning 198998 clauses out of 398009 with flag 53031763/20090000
2230.04/2233.85	c cleaning 199991 clauses out of 400011 with flag 53572532/20291000
2258.01/2260.97	c cleaning 201002 clauses out of 402020 with flag 54118361/20493000
2291.24/2292.36	c cleaning 201999 clauses out of 404018 with flag 54662043/20696000
2319.45/2319.74	c cleaning 203004 clauses out of 406019 with flag 55205793/20900000
2352.55/2352.49	c cleaning 203998 clauses out of 408015 with flag 55773319/21105000
2389.68/2388.73	c cleaning 204999 clauses out of 410018 with flag 56374286/21311001
2418.40/2417.27	c cleaning 206003 clauses out of 412018 with flag 56954137/21518000
2456.02/2452.34	c cleaning 207002 clauses out of 414015 with flag 57534744/21726000
2487.35/2482.02	c cleaning 208005 clauses out of 416013 with flag 58135558/21935000
2525.01/2519.15	c cleaning 209001 clauses out of 418011 with flag 58732460/22145003
2549.48/2542.75	c cleaning 209999 clauses out of 420007 with flag 59292155/22356000
2572.18/2565.86	c cleaning 210996 clauses out of 422008 with flag 59859440/22568000
2597.93/2591.52	c cleaning 211994 clauses out of 424012 with flag 60416456/22781000
2621.89/2615.25	c cleaning 213006 clauses out of 426018 with flag 60984481/22995000
2647.86/2641.20	c cleaning 214002 clauses out of 428014 with flag 61567841/23210002
2674.42/2667.77	c cleaning 215000 clauses out of 430010 with flag 62132094/23426000
2702.00/2695.14	c cleaning 215995 clauses out of 432010 with flag 62720704/23643000
2726.72/2719.76	c cleaning 216995 clauses out of 434017 with flag 63297839/23861002
2752.81/2745.81	c cleaning 217998 clauses out of 436021 with flag 63867110/24080001
2787.89/2780.30	c cleaning 219007 clauses out of 438022 with flag 64473804/24300000
2813.93/2806.16	c cleaning 219992 clauses out of 440015 with flag 65066274/24521000
2840.54/2832.64	c cleaning 221002 clauses out of 442023 with flag 65655982/24743000
2874.51/2866.75	c cleaning 222000 clauses out of 444024 with flag 66257416/24966003
2906.84/2898.92	c cleaning 223002 clauses out of 446022 with flag 66876086/25190001
2932.41/2923.85	c cleaning 224000 clauses out of 448019 with flag 67464485/25415000
2959.74/2951.13	c cleaning 224996 clauses out of 450020 with flag 68059509/25641001
2991.79/2983.12	c cleaning 225999 clauses out of 452024 with flag 68667674/25868001
3019.65/3010.85	c cleaning 227006 clauses out of 454024 with flag 69298393/26096000
3050.14/3041.44	c cleaning 228000 clauses out of 456019 with flag 69907259/26325001
3078.92/3070.18	c cleaning 229009 clauses out of 458018 with flag 70518878/26555000
3106.92/3098.68	c cleaning 229999 clauses out of 460009 with flag 71147211/26786000
3140.29/3132.42	c cleaning 230994 clauses out of 462011 with flag 71822615/27018001
3171.78/3164.07	c cleaning 231990 clauses out of 464016 with flag 72455960/27251000
3202.30/3194.68	c cleaning 233000 clauses out of 466026 with flag 73101855/27485000
3233.22/3225.27	c cleaning 233998 clauses out of 468027 with flag 73718141/27720001
3266.34/3257.54	c cleaning 234999 clauses out of 470028 with flag 74348817/27956000
3302.67/3291.98	c cleaning 236011 clauses out of 472029 with flag 74959672/28193000
3338.95/3326.31	c cleaning 236998 clauses out of 474018 with flag 75590498/28431000
3379.93/3365.93	c cleaning 237999 clauses out of 476020 with flag 76216196/28670000
3411.92/3396.03	c cleaning 238994 clauses out of 478022 with flag 76843830/28910001
3446.01/3429.03	c cleaning 240002 clauses out of 480027 with flag 77477449/29151000
3480.12/3461.50	c cleaning 241012 clauses out of 482025 with flag 78100502/29393000
3518.14/3497.29	c cleaning 241986 clauses out of 484013 with flag 78752746/29636000
3560.66/3537.62	c cleaning 243007 clauses out of 486027 with flag 79385773/29880000
3598.92/3573.75	c cleaning 243995 clauses out of 488020 with flag 80037682/30125000
3600.02/3574.82	c starts		: 21902
3600.02/3574.85	c conflicts		: 30139126
3600.02/3574.85	c decisions		: 68939180
3600.02/3574.85	c propagations		: 754003861
3600.02/3574.85	c inspects		: 13335787745
3600.02/3574.85	c shortcuts		: 0
3600.02/3574.85	c learnt literals	: 0
3600.02/3574.85	c learnt binary clauses	: 0
3600.02/3574.85	c learnt ternary clauses	: 0
3600.02/3574.85	c learnt constraints	: 30139126
3600.02/3574.85	c ignored constraints	: 0
3600.02/3574.85	c root simplifications	: 0
3600.02/3574.85	c removed literals (reason simplification)	: 2837957843
3600.02/3574.85	c reason swapping (by a shorter reason)	: 0
3600.02/3574.85	c Calls to reduceDB	: 241
3600.02/3574.85	c Number of update (reduction) of LBD	: 6207958
3600.02/3574.85	c Imported unit clauses	: 0
3600.02/3574.85	c No decision after first conflict	: false
3600.02/3574.85	c number of reductions to clauses (during analyze)	: 0
3600.02/3574.85	c number of learned constraints concerned by reduction	: 0
3600.02/3574.85	c number of learning phase by resolution	: 0
3600.02/3574.85	c number of learning phase by cutting planes	: 0
3600.02/3574.85	c number of rounding to 1 operations	: 0
3600.02/3574.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3574.85	c number of reductions of the coefficients by power 2 	: 0
3600.02/3574.85	c number of right shift for reduction by power 2 	: 0
3600.02/3574.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3574.85	c number of ending skipping 	: 0
3600.02/3574.85	c number of internal skipping 	: 0
3600.02/3574.85	c number of derivation steps 	: 0
3600.02/3574.85	c number of skipped derivation steps 	: 0
3600.02/3574.85	c number of remaining unassigned 	: 0
3600.02/3574.85	c number of remaining assigned 	: 0
3600.02/3574.85	c number of falsified literals weakened from reason	: 0
3600.02/3574.85	c number of falsified literals weakened from conflict	: 0
3600.02/3574.85	c time for arithmetic operations	: 0
3600.02/3574.85	c minimum degree of deleted constraints	: null
3600.02/3574.85	c maximum degree of deleted constraints	: null
3600.02/3574.85	c number of deleted constraints	: 0
3600.02/3574.85	c speed (assignments/second)	: 210948.9973259414
3600.02/3574.87	c non guided choices	: 0
3600.40/3575.05	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 258151
3600.40/3575.05	s SATISFIABLE
3600.40/3575.05	c Found 1 solution(s)
3600.40/3575.05	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 
3600.40/3575.07	c objective function=8
3600.40/3575.07	c Total wall clock time (in seconds): 3574.715

Verifier Data 

OK	8

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: 64059 MiB (60900 MiB free)
  memory of node 1: 64510 MiB (61527 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.102229 s]*
/proc/loadavg: 1.94 2.05 2.08 13/317 126498
/proc/meminfo: memFree=125224336/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=18993908 memory=56224 CPUtime=0.13 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 6457 0 0 0 9 4 0 0 20 0 18 0 12548751 19449761792 14056 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4748477 14056 5787 1 0 550784 0
[pid=126422/tid=126429] ppid=126412 vsize=18993908 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) D 126412 126422 126356 0 -1 4194368 5413 0 0 0 6 3 0 0 20 0 18 0 12548752 19449761792 14056 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=18993908 memory=1646 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548759 19449761792 14056 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548760 19449761792 14056 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56224 KiB

[startup+0.217896 s]*
/proc/loadavg: 1.94 2.05 2.08 14/317 126498
/proc/meminfo: memFree=125202484/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=18993908 memory=62856 CPUtime=0.29 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 6874 0 0 0 25 4 0 0 20 0 18 0 12548751 19449761792 15714 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4748477 15714 5956 1 0 551098 0
[pid=126422/tid=126429] ppid=126412 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 5740 0 0 0 16 3 0 0 20 0 18 0 12548752 19449761792 15714 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=18993908 memory=1646 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548759 19449761792 15714 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548760 19449761792 15714 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 62856 KiB

[startup+0.317599 s]*
/proc/loadavg: 1.94 2.05 2.08 14/317 126498
/proc/meminfo: memFree=125178544/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=18993908 memory=68840 CPUtime=0.47 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 7376 0 0 0 42 5 0 0 20 0 18 0 12548751 19449761792 17210 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4748477 17210 5965 1 0 551571 0
[pid=126422/tid=126429] ppid=126412 vsize=18993908 memory=-8744695691560657596 CPUtime=0.29 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 5945 0 0 0 26 3 0 0 20 0 18 0 12548752 19449761792 17210 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548759 19449761792 17210 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548760 19449761792 17210 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68840 KiB

[startup+0.716593 s]
/proc/loadavg: 1.94 2.05 2.08 12/318 126499
/proc/meminfo: memFree=125154536/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19060472 memory=79304 CPUtime=1.16 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 7788 0 0 0 110 6 0 0 20 0 19 0 12548751 19517923328 19826 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4765118 19826 6130 1 0 552161 0
[pid=126422/tid=126429] ppid=126412 vsize=19060472 memory=5640 CPUtime=0.6 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 6197 0 0 0 56 4 0 0 20 0 19 0 12548752 19517923328 19826 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12548759 19517923328 19826 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19060472 memory=2241 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12548760 19517923328 19826 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19060472 memory=2244 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12548802 19517923328 19826 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 79304 KiB

[startup+1.50616 s]
/proc/loadavg: 1.94 2.05 2.08 14/322 126503
/proc/meminfo: memFree=124935928/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=178428 CPUtime=2.72 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 17307 0 0 0 260 12 0 0 20 0 20 0 12548751 19586084864 44607 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 44607 6161 1 0 556059 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=12240 CPUtime=1.27 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 6626 0 0 0 120 7 0 0 20 0 20 0 12548752 19586084864 44607 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 44607 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=62905014026297 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 44607 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 44607 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 178428 KiB

[startup+3.11058 s]
/proc/loadavg: 2.74 2.22 2.13 12/325 126506
/proc/meminfo: memFree=124047548/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=330072 CPUtime=5.88 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 21801 0 0 0 570 18 0 0 20 0 20 0 12548751 19586084864 82518 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 82518 6194 1 0 557903 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=0 CPUtime=2.81 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 7539 0 0 0 268 13 0 0 20 0 20 0 12548752 19586084864 82518 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12548756 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 82518 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 82518 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 82518 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 330072 KiB

[startup+6.30058 s]
/proc/loadavg: 2.74 2.22 2.13 11/328 126509
/proc/meminfo: memFree=121429092/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=642616 CPUtime=10.78 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 22466 0 0 0 1047 31 0 0 20 0 20 0 12548751 19586084864 160654 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 160654 6194 1 0 557913 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=0 CPUtime=5.8 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 7817 0 0 0 558 22 0 0 20 0 20 0 12548752 19586084864 160654 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12548763 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=-6655046759732264895 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 160654 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 160654 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=-9033207542689079996 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 160654 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 10.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 642616 KiB

[startup+12.7005 s]
/proc/loadavg: 3.25 2.33 2.17 7/328 126511
/proc/meminfo: memFree=116701504/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1210828 CPUtime=17.22 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 23419 0 0 0 1671 51 0 0 20 0 20 0 12548751 19586084864 302707 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 302707 6194 1 0 664452 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=-9033207542689079996 CPUtime=11.83 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 8436 0 0 0 1142 41 0 0 20 0 20 0 12548752 19586084864 302707 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548763 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 302707 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=1208780 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 302707 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 302707 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1210828 KiB

[startup+25.5005 s]
/proc/loadavg: 3.62 2.46 2.22 8/327 126512
/proc/meminfo: memFree=109761068/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=2362940 CPUtime=30.42 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 30262 0 0 0 2955 87 0 0 20 0 20 0 12548751 19586084864 590735 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 590735 6194 1 0 942284 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=1208780 CPUtime=24.03 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 9959 0 0 0 2328 75 0 0 20 0 20 0 12548752 19586084864 590735 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548763 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 590735 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=7726329345555388740 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 590735 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 590735 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 30.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2362940 KiB

[startup+51.1149 s]
/proc/loadavg: 3.95 2.63 2.28 7/328 126518
/proc/meminfo: memFree=103148708/131655788 swapFree=131071996/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=2543912 CPUtime=54.29 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 34878 0 0 0 5307 122 0 0 20 0 20 0 12548751 19586084864 635978 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 635978 6210 1 0 942285 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=2451520 CPUtime=46.86 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 12046 0 0 0 4582 104 0 0 20 0 20 0 12548752 19586084864 635978 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548961 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 635978 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0

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

Current children cumulated CPU time: 3230.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3069780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.48 4.58 4.61 5/338 128503
/proc/meminfo: memFree=43502112/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1870296 CPUtime=3293.01 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2136351 0 0 0 326461 2840 0 0 20 0 20 0 12548751 19586084864 467574 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 467574 6109 1 0 480620 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=6568 CPUtime=3163.01 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1746655 0 0 0 313784 2517 0 0 20 0 20 0 12548752 19586084864 467574 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553879 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=7324 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 467574 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=-9033207542689079996 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2685 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 467574 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=2232 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 467574 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3293.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1870296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.71 4.62 4.62 5/338 128513
/proc/meminfo: memFree=40552468/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1837216 CPUtime=3355.76 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2137565 0 0 0 332687 2889 0 0 20 0 20 0 12548751 19586084864 459304 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 459304 6109 1 0 472346 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=-9033207542689079996 CPUtime=3221.37 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1747167 0 0 0 319580 2557 0 0 20 0 20 0 12548752 19586084864 459304 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553919 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=5016 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 459304 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=5120 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2717 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 459304 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=16313464 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 459304 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3355.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1837216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.55 4.60 9/338 128523
/proc/meminfo: memFree=38441660/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1811024 CPUtime=3418.7 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2190445 0 0 0 338932 2938 0 0 20 0 20 0 12548751 19586084864 452756 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 452756 6109 1 0 466082 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=881114 CPUtime=3279.23 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1799772 0 0 0 325327 2596 0 0 20 0 20 0 12548752 19586084864 452756 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12553969 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=883579 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 452756 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=882647 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2717 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 452756 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=26716 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 452756 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3418.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1811024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.51 4.58 7/338 128539
/proc/meminfo: memFree=37003920/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1884420 CPUtime=3481.09 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2210459 0 0 0 345123 2986 0 0 20 0 20 0 12548751 19586084864 471105 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 471105 6109 1 0 537074 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=881114 CPUtime=3337.38 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1810002 0 0 0 331102 2636 0 0 20 0 20 0 12548752 19586084864 471105 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12554004 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=883579 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 471105 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=882648 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2717 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 471105 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=26716 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 471105 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3481.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1884420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.55 4.52 4.58 5/331 128550
/proc/meminfo: memFree=35814348/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1645496 CPUtime=3544.55 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2211634 0 0 0 351426 3029 0 0 20 0 20 0 12548751 19586084864 411374 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 411374 6109 1 0 424322 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=6568 CPUtime=3395.48 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1810420 0 0 0 336879 2669 0 0 20 0 20 0 12548752 19586084864 411374 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12554051 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=7324 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 411374 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=27860 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2749 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 411374 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=20268 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 411374 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3544.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1645496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.8 s]
/proc/loadavg: 4.60 4.54 4.58 5/330 128765
/proc/meminfo: memFree=70088736/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19127036 memory=1892180 CPUtime=3600.02 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2218142 0 0 0 356932 3070 0 0 20 0 20 0 12548751 19586084864 473045 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4781759 473045 6109 1 0 486143 0
[pid=126422/tid=126429] ppid=126412 vsize=19127036 memory=1870468 CPUtime=3446.5 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1816472 0 0 0 341947 2703 0 0 20 0 20 0 12548752 19586084864 473045 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12554074 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19127036 memory=1870468 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548759 19586084864 473045 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2750 0 0 0 0 0 0 0 20 0 20 0 12548760 19586084864 473045 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126499] ppid=126412 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/126422/task/126499/stat : 126499 (Timer-0) S 126412 126422 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548802 19586084864 473045 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1892180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3569.84 s, system=30.7432 s

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

[startup+3574.9 s]
/proc/loadavg: 4.60 4.54 4.58 5/330 128765
/proc/meminfo: memFree=70088736/131655788 swapFree=131070448/131071996
[pid=126422] ppid=126412 vsize=19326728 memory=1892908 CPUtime=3600.21 cores=1,3
/proc/126422/stat : 126422 (java) S 126412 126422 126356 0 -1 1077936128 2220111 0 0 0 356951 3070 0 0 20 0 21 0 12548751 19790569472 473227 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
/proc/126422/statm: 4831682 473227 6108 1 0 487082 0
[pid=126422/tid=126429] ppid=126412 vsize=19326728 memory=1896 CPUtime=3446.58 cores=1,3
/proc/126422/task/126429/stat : 126429 (java) R 126412 126422 126356 0 -1 4194368 1816535 0 0 0 341955 2703 0 0 20 0 21 0 12548752 19790569472 473227 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12554074 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126474] ppid=126412 vsize=19326728 memory=19856 CPUtime=0 cores=1,3
/proc/126422/task/126474/stat : 126474 (Finalizer) S 126412 126422 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12548759 19790569472 473227 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
[pid=126422/tid=126495] ppid=126412 vsize=19326728 memory=25788 CPUtime=0 cores=1,3
/proc/126422/task/126495/stat : 126495 (Common-Cleaner) S 126412 126422 126356 0 -1 1077936192 2750 0 0 0 0 0 0 0 20 0 21 0 12548760 19790569472 473227 134679101440 93925538426880 93925538430576 140734825027776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925538438392 93925538439184 93925563355136 140734825030575 140734825030757 140734825030757 140734825037768 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 1892908 KiB

[startup+3575.1 s]*
/proc/loadavg: 4.60 4.54 4.58 5/310 128834
/proc/meminfo: memFree=72078720/131655788 swapFree=131070448/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3575.21 s]
/proc/loadavg: 4.60 4.54 4.58 5/310 128834
/proc/meminfo: memFree=72078720/131655788 swapFree=131070448/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): 3575.29
CPU time (s): 3600.59
CPU user time (s): 3569.84
CPU system time (s): 30.7432
CPU usage (%): 100.707
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 3725032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.84
system time used= 30.7432
maximum resident set size= 3725036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2220491
page faults= 0
swaps= 0
block input operations= 40
block output operations= 42779552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140580
involuntary context switches= 19926


# summary of solver processes directly reported to runsolver:
#   pid: 126422
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3569.84
#   total CPU system time (s): 30.7432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9435 second user time and 39.4201 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-23 22:13:13
IDJOB=4440368
IDBENCH=146661
IDSOLVER=3079
FILE ID=nodeC005/4440368-1721765593
RUNJOBID= nodeC005-1721765593-126368
SLURM_JOB_ID= 7770667
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 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:98.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440368-1721765593/watcher-4440368-1721765593 -o /tmp/evaluation-result-4440368-1721765593/solver-4440368-1721765593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126368 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440368-1721765593 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440368-1721765593.opb

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

MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=1240282112

nodeC005.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	: 0xb00001f
cpu MHz		: 1220.790
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1199.967
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1218.677
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1287.517
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1246.840
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1205.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1217.469
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1274.995
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125369636 kB
MemAvailable:   129995600 kB
Buffers:          189072 kB
Cached:          5230040 kB
SwapCached:            0 kB
Active:          1244516 kB
Inactive:        4438456 kB
Active(anon):       1304 kB
Inactive(anon):   308760 kB
Active(file):    1243212 kB
Inactive(file):  4129696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2388 kB
Writeback:             0 kB
AnonPages:        264240 kB
Mapped:           107272 kB
Shmem:             45888 kB
KReclaimable:     186176 kB
Slab:             287560 kB
SReclaimable:     186176 kB
SUnreclaim:       101384 kB
KernelStack:        3812 kB
PageTables:        10004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     569204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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:      275272 kB
DirectMap2M:    22697984 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-23 23:12:49