Trace number 4486294

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)176 3600.26 3597.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3586.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
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.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.43/0.36	c Pseudo Boolean Optimization by upper bound
0.43/0.36	c --- Begin Solver configuration ---
0.43/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.36	c Learn all clauses as in MiniSAT
0.43/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.36	c Expensive reason simplification
0.43/0.36	c Glucose 2.1 dynamic restart strategy
0.43/0.36	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.43/0.36	c timeout=2147483s
0.43/0.36	c DB Simplification allowed=false
0.43/0.36	c Listener: none
0.43/0.36	c --- End Solver configuration ---
0.43/0.36	c solving HOME/instance-4486294-1751314078.opb
0.43/0.36	c reading problem ... 
0.43/0.36	c  objective function found
1.54/0.91	c ... done. Wall clock time 0.545s.
1.54/0.91	c declared #vars     1344
1.54/0.91	c #constraints  16376
1.54/0.91	c constraints type 
1.54/0.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.54/0.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.54/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.54/0.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.54/0.91	c 16376 constraints processed.
1.54/0.94	c objective function length is 448 literals
2.12/1.23	c SATISFIABLE
2.12/1.23	c OPTIMIZING...
2.12/1.23	c Got one! Elapsed wall clock time (in seconds):0.876
2.12/1.23	o 176
3.31/1.80	c cleaning 2527 clauses out of 5060 with flag 12660/5060
3.62/2.08	c cleaning 4264 clauses out of 8536 with flag 25800/11063
4.16/2.40	c cleaning 5633 clauses out of 11269 with flag 41042/18060
4.56/2.75	c cleaning 6814 clauses out of 13636 with flag 58208/26060
5.29/3.33	c cleaning 7911 clauses out of 15823 with flag 78157/35061
5.96/3.99	c cleaning 8955 clauses out of 17911 with flag 100890/45060
6.56/4.54	c cleaning 9976 clauses out of 19956 with flag 125834/56060
7.17/5.13	c cleaning 10990 clauses out of 21980 with flag 153981/68060
7.76/5.77	c cleaning 11988 clauses out of 23990 with flag 184802/81060
8.37/6.38	c cleaning 12997 clauses out of 26002 with flag 218011/95060
9.08/7.03	c cleaning 14002 clauses out of 28005 with flag 254020/110060
9.77/7.75	c cleaning 15000 clauses out of 30003 with flag 293224/126060
10.65/8.52	c cleaning 15995 clauses out of 32005 with flag 335264/143062
11.81/9.61	c cleaning 17001 clauses out of 34009 with flag 378338/161061
12.91/10.71	c cleaning 17999 clauses out of 36007 with flag 426694/180060
14.01/11.86	c cleaning 19000 clauses out of 38010 with flag 479354/200062
15.21/13.10	c cleaning 19999 clauses out of 40008 with flag 534913/221060
16.60/14.46	c cleaning 20996 clauses out of 42009 with flag 596882/243060
18.31/16.16	c cleaning 22000 clauses out of 44014 with flag 662523/266061
19.79/17.64	c cleaning 23004 clauses out of 46016 with flag 725721/290063
21.20/19.09	c cleaning 23998 clauses out of 48010 with flag 796374/315061
22.79/20.61	c cleaning 25006 clauses out of 50011 with flag 872452/341060
24.48/22.31	c cleaning 26003 clauses out of 52005 with flag 942746/368060
25.88/23.70	c cleaning 26996 clauses out of 54003 with flag 1016517/396061
27.47/25.37	c cleaning 27996 clauses out of 56006 with flag 1096268/425060
29.18/27.01	c cleaning 28999 clauses out of 58012 with flag 1177741/455062
30.77/28.68	c cleaning 30005 clauses out of 60012 with flag 1267733/486061
32.97/30.85	c cleaning 30999 clauses out of 62007 with flag 1358719/518061
35.17/33.01	c cleaning 31998 clauses out of 64007 with flag 1453733/551060
37.36/35.24	c cleaning 33005 clauses out of 66013 with flag 1550330/585064
39.36/37.21	c cleaning 33996 clauses out of 68004 with flag 1646405/620060
41.45/39.36	c cleaning 34997 clauses out of 70009 with flag 1747731/656061
44.44/42.30	c cleaning 36004 clauses out of 72011 with flag 1855488/693060
46.64/44.56	c cleaning 37002 clauses out of 74007 with flag 1966786/731060
49.43/47.31	c cleaning 38003 clauses out of 76005 with flag 2080972/770060
53.16/51.09	c cleaning 38998 clauses out of 78002 with flag 2193614/810060
55.85/53.78	c cleaning 39988 clauses out of 80004 with flag 2307383/851060
59.15/57.02	c cleaning 41003 clauses out of 82016 with flag 2426032/893060
62.33/60.23	c cleaning 41993 clauses out of 84013 with flag 2552263/936060
66.02/63.97	c cleaning 42998 clauses out of 86020 with flag 2682940/980060
69.24/67.17	c cleaning 44001 clauses out of 88022 with flag 2818443/1025060
73.26/71.11	c cleaning 45007 clauses out of 90021 with flag 2951712/1071060
77.04/74.90	c cleaning 46002 clauses out of 92014 with flag 3090823/1118060
80.54/78.49	c cleaning 47004 clauses out of 94016 with flag 3237432/1166064
84.68/82.56	c cleaning 48001 clauses out of 96008 with flag 3385785/1215060
88.57/86.41	c cleaning 49002 clauses out of 98007 with flag 3537812/1265060
92.80/90.64	c cleaning 49996 clauses out of 100006 with flag 3696803/1316061
97.09/94.97	c cleaning 51001 clauses out of 102010 with flag 3857833/1368061
102.48/100.35	c cleaning 51998 clauses out of 104009 with flag 4022535/1421061
107.38/105.27	c cleaning 52997 clauses out of 106010 with flag 4192816/1475060
111.87/109.72	c cleaning 54002 clauses out of 108015 with flag 4365587/1530062
116.18/113.70	c cleaning 54996 clauses out of 110012 with flag 4531912/1586061
119.67/117.27	c cleaning 56005 clauses out of 112017 with flag 4714545/1643062
123.26/120.87	c cleaning 57001 clauses out of 114010 with flag 4935552/1701060
127.75/125.31	c cleaning 58001 clauses out of 116009 with flag 5162734/1760060
132.85/130.49	c cleaning 59000 clauses out of 118008 with flag 5387671/1820060
137.64/135.27	c cleaning 60000 clauses out of 120009 with flag 5610399/1881061
141.74/139.32	c cleaning 61001 clauses out of 122011 with flag 5845457/1943063
145.46/143.09	c cleaning 61994 clauses out of 124007 with flag 6119436/2006060
149.37/146.95	c cleaning 63006 clauses out of 126013 with flag 6310170/2070060
153.26/150.88	c cleaning 64000 clauses out of 128007 with flag 6529041/2135060
157.57/155.12	c cleaning 65002 clauses out of 130011 with flag 6757325/2201064
161.95/159.56	c cleaning 65999 clauses out of 132005 with flag 6978510/2268060
166.34/163.99	c cleaning 66997 clauses out of 134006 with flag 7199502/2336060
171.57/169.14	c cleaning 68005 clauses out of 136010 with flag 7437781/2405061
176.34/173.97	c cleaning 68992 clauses out of 138004 with flag 7691684/2475060
180.70/178.26	c cleaning 70004 clauses out of 140013 with flag 7941812/2546061
185.60/183.20	c cleaning 71000 clauses out of 142008 with flag 8199251/2618060
190.45/187.92	c cleaning 71996 clauses out of 144008 with flag 8463571/2691060
195.33/192.80	c cleaning 73001 clauses out of 146013 with flag 8732269/2765061
200.72/198.26	c cleaning 74007 clauses out of 148013 with flag 8987633/2840062
206.04/203.52	c cleaning 74990 clauses out of 150004 with flag 9249408/2916060
211.03/208.58	c cleaning 76003 clauses out of 152014 with flag 9509878/2993060
216.38/213.84	c cleaning 77000 clauses out of 154012 with flag 9792716/3071061
223.07/220.57	c cleaning 77993 clauses out of 156011 with flag 10162363/3150060
227.86/225.34	c cleaning 79001 clauses out of 158020 with flag 10453628/3230062
232.91/230.39	c cleaning 80003 clauses out of 160018 with flag 10749616/3311061
238.60/236.06	c cleaning 81007 clauses out of 162017 with flag 11043984/3393063
244.09/241.56	c cleaning 82001 clauses out of 164007 with flag 11342781/3476060
249.87/247.36	c cleaning 83001 clauses out of 166006 with flag 11656722/3560060
257.27/253.99	c cleaning 84001 clauses out of 168007 with flag 11974681/3645062
263.16/259.86	c cleaning 84995 clauses out of 170004 with flag 12274022/3731060
269.04/265.71	c cleaning 85998 clauses out of 172010 with flag 12564743/3818061
276.45/273.13	c cleaning 87001 clauses out of 174011 with flag 12846047/3906060
283.36/280.04	c cleaning 87998 clauses out of 176011 with flag 13112136/3995061
290.82/287.50	c cleaning 88998 clauses out of 178012 with flag 13398811/4085060
297.66/294.39	c cleaning 89998 clauses out of 180014 with flag 13688736/4176060
304.84/301.58	c cleaning 91001 clauses out of 182016 with flag 13981622/4268060
312.22/308.95	c cleaning 92001 clauses out of 184015 with flag 14268750/4361060
319.32/315.92	c cleaning 93003 clauses out of 186014 with flag 14567096/4455060
326.91/323.50	c cleaning 94003 clauses out of 188012 with flag 14881541/4550061
335.08/331.79	c cleaning 95002 clauses out of 190009 with flag 15153782/4646061
344.10/340.71	c cleaning 95999 clauses out of 192006 with flag 15475341/4743060
351.68/348.33	c cleaning 97000 clauses out of 194007 with flag 15796525/4841060
359.90/356.53	c cleaning 97996 clauses out of 196007 with flag 16141489/4940060
367.78/364.42	c cleaning 99002 clauses out of 198011 with flag 16549631/5040060
376.17/372.89	c cleaning 99998 clauses out of 200009 with flag 16910020/5141060
385.90/382.54	c cleaning 100997 clauses out of 202012 with flag 17232987/5243061
395.97/392.60	c cleaning 102005 clauses out of 204014 with flag 17582379/5346060
406.16/402.89	c cleaning 102996 clauses out of 206009 with flag 17958862/5450060
417.20/413.84	c cleaning 103999 clauses out of 208013 with flag 18294196/5555060
427.28/423.92	c cleaning 105004 clauses out of 210015 with flag 18609328/5661061
437.55/434.25	c cleaning 105997 clauses out of 212010 with flag 18943773/5768060
446.92/443.63	c cleaning 107002 clauses out of 214015 with flag 19276035/5876062
457.87/454.51	c cleaning 107999 clauses out of 216011 with flag 19641194/5985060
467.56/464.29	c cleaning 109002 clauses out of 218012 with flag 20042142/6095060
477.82/474.49	c cleaning 110002 clauses out of 220011 with flag 20444269/6206061
487.42/484.09	c cleaning 111000 clauses out of 222008 with flag 20893519/6318060
497.65/494.21	c cleaning 112002 clauses out of 224010 with flag 21347219/6431062
509.33/505.97	c cleaning 112993 clauses out of 226006 with flag 21752709/6545060
518.42/515.08	c cleaning 114004 clauses out of 228013 with flag 22097912/6660060
527.55/523.37	c cleaning 115000 clauses out of 230010 with flag 22433067/6776061
535.83/531.60	c cleaning 116000 clauses out of 232009 with flag 22794060/6893060
546.72/542.51	c cleaning 116999 clauses out of 234009 with flag 23150432/7011060
556.00/551.84	c cleaning 117999 clauses out of 236012 with flag 23486504/7130062
567.28/563.17	c cleaning 119002 clauses out of 238012 with flag 23870096/7250061
579.94/575.85	c cleaning 119998 clauses out of 240009 with flag 24289832/7371060
590.82/586.76	c cleaning 120995 clauses out of 242012 with flag 24678198/7493061
601.30/597.22	c cleaning 121996 clauses out of 244016 with flag 25081387/7616060
611.17/607.03	c cleaning 123001 clauses out of 246020 with flag 25457473/7740060
623.43/619.38	c cleaning 124005 clauses out of 248022 with flag 25880969/7865063
635.61/631.57	c cleaning 124998 clauses out of 250014 with flag 26347559/7991060
648.10/643.96	c cleaning 125991 clauses out of 252016 with flag 26805409/8118060
659.77/655.65	c cleaning 127006 clauses out of 254028 with flag 27223464/8246063
674.25/670.19	c cleaning 128004 clauses out of 256020 with flag 27722569/8375061
686.91/682.71	c cleaning 128999 clauses out of 258016 with flag 28176819/8505061
701.47/697.31	c cleaning 130003 clauses out of 260017 with flag 28726642/8636061
714.14/710.11	c cleaning 131001 clauses out of 262014 with flag 29188959/8768061
728.94/724.73	c cleaning 132002 clauses out of 264012 with flag 29665003/8901060
740.31/736.17	c cleaning 133004 clauses out of 266011 with flag 30139314/9035061
755.97/751.86	c cleaning 133996 clauses out of 268006 with flag 30668281/9170060
770.34/766.13	c cleaning 135000 clauses out of 270010 with flag 31160972/9306060
787.39/783.29	c cleaning 135999 clauses out of 272010 with flag 31720877/9443060
802.16/797.69	c cleaning 136997 clauses out of 274011 with flag 32219667/9581060
819.31/814.76	c cleaning 138004 clauses out of 276014 with flag 32727323/9720060
835.87/831.36	c cleaning 139001 clauses out of 278010 with flag 33282619/9860060
849.04/844.53	c cleaning 139998 clauses out of 280009 with flag 33790870/10001060
863.10/858.66	c cleaning 141005 clauses out of 282013 with flag 34282659/10143062
876.97/872.57	c cleaning 141993 clauses out of 284007 with flag 34809162/10286061
892.62/888.16	c cleaning 143004 clauses out of 286014 with flag 35398770/10430061
906.68/902.29	c cleaning 144002 clauses out of 288009 with flag 35953300/10575060
923.95/919.58	c cleaning 145000 clauses out of 290009 with flag 36500253/10721062
936.43/932.06	c cleaning 145996 clauses out of 292007 with flag 36993467/10868060
951.79/947.47	c cleaning 147002 clauses out of 294011 with flag 37502280/11016060
967.81/963.36	c cleaning 148000 clauses out of 296009 with flag 38042686/11165060
984.87/980.45	c cleaning 149000 clauses out of 298010 with flag 38590591/11315061
1003.33/998.94	c cleaning 150003 clauses out of 300010 with flag 39176386/11466061
1019.50/1015.11	c cleaning 150998 clauses out of 302006 with flag 39710479/11618060
1038.57/1034.18	c cleaning 152000 clauses out of 304008 with flag 40256467/11771060
1057.49/1053.06	c cleaning 153002 clauses out of 306009 with flag 40820574/11925061
1074.65/1070.26	c cleaning 154003 clauses out of 308007 with flag 41362437/12080061
1091.11/1086.78	c cleaning 154997 clauses out of 310003 with flag 41895734/12236060
1110.20/1105.81	c cleaning 155994 clauses out of 312006 with flag 42465393/12393060
1126.96/1122.62	c cleaning 157002 clauses out of 314014 with flag 43011718/12551062
1145.02/1140.78	c cleaning 157994 clauses out of 316010 with flag 43573532/12710060
1160.79/1156.54	c cleaning 158999 clauses out of 318016 with flag 44132216/12870060
1177.09/1172.80	c cleaning 160002 clauses out of 320018 with flag 44665915/13031061
1197.94/1193.70	c cleaning 161004 clauses out of 322017 with flag 45253444/13193062
1217.17/1212.84	c cleaning 162001 clauses out of 324013 with flag 45861803/13356062
1235.53/1231.29	c cleaning 163000 clauses out of 326010 with flag 46431846/13520060
1254.09/1249.86	c cleaning 164001 clauses out of 328011 with flag 47014237/13685061
1273.99/1269.75	c cleaning 165003 clauses out of 330011 with flag 47612330/13851062
1292.74/1288.58	c cleaning 165999 clauses out of 332007 with flag 48179550/14018061
1311.49/1307.30	c cleaning 166992 clauses out of 334007 with flag 48739681/14186060
1335.83/1331.66	c cleaning 168003 clauses out of 336017 with flag 49333688/14355062
1354.99/1350.82	c cleaning 169002 clauses out of 338012 with flag 49909772/14525060
1376.25/1372.14	c cleaning 170003 clauses out of 340011 with flag 50507861/14696061
1401.44/1397.24	c cleaning 171003 clauses out of 342010 with flag 51131832/14868063
1423.59/1419.42	c cleaning 171996 clauses out of 344004 with flag 51755304/15041060
1448.03/1443.94	c cleaning 172999 clauses out of 346009 with flag 52412920/15215061
1473.35/1469.27	c cleaning 174002 clauses out of 348011 with flag 53089526/15390062
1493.81/1489.70	c cleaning 174999 clauses out of 350007 with flag 53718743/15566060
1516.56/1512.50	c cleaning 176003 clauses out of 352012 with flag 54381955/15743064
1538.05/1534.00	c cleaning 176996 clauses out of 354005 with flag 55090595/15921060
1560.89/1556.86	c cleaning 177997 clauses out of 356010 with flag 55811281/16100061
1584.04/1580.10	c cleaning 179006 clauses out of 358013 with flag 56488228/16280061
1605.47/1601.02	c cleaning 179993 clauses out of 360007 with flag 57106098/16461061
1628.12/1623.76	c cleaning 181000 clauses out of 362014 with flag 57770427/16643061
1648.01/1643.64	c cleaning 182002 clauses out of 364013 with flag 58417900/16826060
1677.36/1673.07	c cleaning 183001 clauses out of 366011 with flag 59160546/17010060
1699.20/1694.94	c cleaning 183998 clauses out of 368011 with flag 59821616/17195061
1720.35/1716.02	c cleaning 184998 clauses out of 370012 with flag 60496269/17381060
1740.20/1735.93	c cleaning 185998 clauses out of 372014 with flag 61176985/17568060
1759.77/1755.54	c cleaning 187008 clauses out of 374016 with flag 61844007/17756060
1784.14/1779.87	c cleaning 188002 clauses out of 376009 with flag 62551242/17945061
1805.89/1801.69	c cleaning 188997 clauses out of 378006 with flag 63291240/18135060
1823.75/1819.51	c cleaning 190000 clauses out of 380009 with flag 63994484/18326060
1845.85/1841.61	c cleaning 190998 clauses out of 382010 with flag 64716636/18518061
1869.10/1864.90	c cleaning 191998 clauses out of 384013 with flag 65436758/18711062
1895.26/1891.17	c cleaning 193003 clauses out of 386013 with flag 66190465/18905060
1914.43/1910.27	c cleaning 193995 clauses out of 388010 with flag 66939156/19100060
1934.98/1930.80	c cleaning 195003 clauses out of 390016 with flag 67684614/19296061
1964.31/1960.20	c cleaning 196002 clauses out of 392014 with flag 68511820/19493062
1987.71/1983.59	c cleaning 196997 clauses out of 394011 with flag 69292363/19691061
2012.77/2008.69	c cleaning 198004 clauses out of 396014 with flag 70029384/19890061
2040.51/2036.46	c cleaning 198998 clauses out of 398009 with flag 70789593/20090060
2072.34/2068.16	c cleaning 200002 clauses out of 400011 with flag 71559298/20291060
2102.76/2098.55	c cleaning 200999 clauses out of 402009 with flag 72327165/20493060
2127.40/2123.28	c cleaning 202000 clauses out of 404010 with flag 73080010/20696060
2150.75/2146.50	c cleaning 202999 clauses out of 406010 with flag 73811378/20900060
2173.01/2168.84	c cleaning 204001 clauses out of 408012 with flag 74600060/21105061
2192.71/2188.57	c cleaning 205004 clauses out of 410011 with flag 75353738/21311061
2220.45/2216.36	c cleaning 205998 clauses out of 412006 with flag 76123501/21518060
2247.47/2243.37	c cleaning 206998 clauses out of 414009 with flag 76875316/21726061
2276.81/2272.75	c cleaning 208004 clauses out of 416012 with flag 77657475/21935062
2301.46/2296.87	c cleaning 208998 clauses out of 418008 with flag 78438708/22145062
2324.40/2319.88	c cleaning 209998 clauses out of 420009 with flag 79265626/22356061
2346.69/2342.14	c cleaning 211003 clauses out of 422011 with flag 80057064/22568061
2378.40/2373.90	c cleaning 211990 clauses out of 424007 with flag 80943760/22781060
2415.43/2411.05	c cleaning 213004 clauses out of 426017 with flag 81866967/22995060
2439.25/2434.84	c cleaning 214003 clauses out of 428013 with flag 82757694/23210060
2464.60/2460.20	c cleaning 214999 clauses out of 430010 with flag 83665399/23426060
2494.04/2489.74	c cleaning 216000 clauses out of 432011 with flag 84483605/23643060
2519.98/2515.75	c cleaning 217000 clauses out of 434012 with flag 85342159/23861061
2549.23/2544.93	c cleaning 218002 clauses out of 436011 with flag 86225060/24080060
2580.77/2576.53	c cleaning 219002 clauses out of 438009 with flag 87080495/24300060
2606.01/2601.82	c cleaning 219994 clauses out of 440007 with flag 87888305/24521060
2636.15/2632.06	c cleaning 221003 clauses out of 442013 with flag 88663463/24743060
2665.54/2661.45	c cleaning 222001 clauses out of 444012 with flag 89454781/24966062
2700.55/2696.59	c cleaning 223000 clauses out of 446010 with flag 90300015/25190061
2727.28/2723.39	c cleaning 223998 clauses out of 448009 with flag 91189897/25415060
2758.21/2754.32	c cleaning 225001 clauses out of 450011 with flag 92071392/25641060
2785.05/2781.20	c cleaning 226003 clauses out of 452010 with flag 92870816/25868060
2819.37/2815.63	c cleaning 226996 clauses out of 454007 with flag 93715796/26096060
2852.54/2848.74	c cleaning 227996 clauses out of 456012 with flag 94634896/26325061
2887.35/2883.45	c cleaning 229000 clauses out of 458016 with flag 95553040/26555061
2921.38/2917.59	c cleaning 230000 clauses out of 460015 with flag 96437558/26786060
2958.61/2954.87	c cleaning 231004 clauses out of 462015 with flag 97396651/27018060
2986.44/2982.75	c cleaning 232004 clauses out of 464012 with flag 98273333/27251061
3011.55/3007.85	c cleaning 233001 clauses out of 466007 with flag 99109193/27485060
3052.86/3049.29	c cleaning 234003 clauses out of 468007 with flag 100090257/27720061
3087.63/3084.02	c cleaning 234994 clauses out of 470004 with flag 100951436/27956061
3128.43/3124.97	c cleaning 235998 clauses out of 472009 with flag 101930073/28193060
3168.39/3164.94	c cleaning 237000 clauses out of 474011 with flag 102865691/28431060
3213.78/3210.40	c cleaning 237995 clauses out of 476013 with flag 103851257/28670062
3251.20/3247.88	c cleaning 239001 clauses out of 478018 with flag 104762283/28910062
3289.81/3286.58	c cleaning 240004 clauses out of 480017 with flag 105686546/29151062
3331.83/3328.53	c cleaning 241003 clauses out of 482012 with flag 106664020/29393061
3376.03/3372.85	c cleaning 241996 clauses out of 484009 with flag 107640281/29636061
3421.34/3418.18	c cleaning 243001 clauses out of 486012 with flag 108641708/29880060
3468.15/3465.03	c cleaning 244000 clauses out of 488011 with flag 109606388/30125060
3510.44/3507.46	c cleaning 244996 clauses out of 490012 with flag 110586633/30371061
3547.60/3544.62	c cleaning 246004 clauses out of 492015 with flag 111531876/30618060
3589.21/3586.36	c cleaning 247003 clauses out of 494011 with flag 112398812/30866060
3600.00/3597.13	c starts		: 118
3600.00/3597.14	c conflicts		: 30963225
3600.00/3597.14	c decisions		: 34402599
3600.00/3597.14	c propagations		: 459959518
3600.00/3597.14	c inspects		: 23871672840
3600.00/3597.14	c shortcuts		: 0
3600.00/3597.14	c learnt literals	: 0
3600.00/3597.14	c learnt binary clauses	: 0
3600.00/3597.14	c learnt ternary clauses	: 0
3600.00/3597.14	c learnt constraints	: 30963225
3600.00/3597.14	c ignored constraints	: 0
3600.00/3597.14	c root simplifications	: 0
3600.00/3597.14	c removed literals (reason simplification)	: 697825993
3600.00/3597.14	c reason swapping (by a shorter reason)	: 0
3600.00/3597.14	c Calls to reduceDB	: 244
3600.00/3597.14	c Number of update (reduction) of LBD	: 1786892
3600.00/3597.14	c Imported unit clauses	: 0
3600.00/3597.14	c No decision after first conflict	: false
3600.00/3597.15	c number of reductions to clauses (during analyze)	: 0
3600.00/3597.15	c number of learned constraints concerned by reduction	: 0
3600.00/3597.15	c number of learning phase by resolution	: 0
3600.00/3597.15	c number of learning phase by cutting planes	: 0
3600.00/3597.15	c number of rounding to 1 operations	: 0
3600.00/3597.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3597.15	c number of reductions of the coefficients by power 2 	: 0
3600.00/3597.15	c number of right shift for reduction by power 2 	: 0
3600.00/3597.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3597.15	c number of ending skipping 	: 0
3600.00/3597.15	c number of internal skipping 	: 0
3600.00/3597.15	c number of derivation steps 	: 0
3600.00/3597.15	c number of skipped derivation steps 	: 0
3600.00/3597.15	c number of remaining unassigned 	: 0
3600.00/3597.15	c number of remaining assigned 	: 0
3600.00/3597.15	c number of falsified literals weakened from reason	: 0
3600.00/3597.15	c number of falsified literals weakened from conflict	: 0
3600.00/3597.15	c time for arithmetic operations	: 0
3600.00/3597.16	c minimum degree of deleted constraints	: null
3600.00/3597.16	c maximum degree of deleted constraints	: null
3600.00/3597.16	c number of deleted constraints	: 0
3600.00/3597.17	c speed (assignments/second)	: 127901.18430236276
3600.00/3597.17	c non guided choices	: 2014
3600.16/3597.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 344173
3600.16/3597.23	s SATISFIABLE
3600.16/3597.23	c Found 1 solution(s)
3600.16/3597.24	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 x899 -x900 -x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 x1340 x1341 x1342 -x1343 x1344 
3600.16/3597.24	c objective function=176
3600.16/3597.24	c Total wall clock time (in seconds): 3596.882

Verifier Data 

OK	176

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: 63794 MiB (63140 MiB free)
  memory of node 1: 64507 MiB (63451 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486294-1751314078/watcher-4486294-1751314078 -o /tmp/evaluation-result-4486294-1751314078/solver-4486294-1751314078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42348 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4486294-1751314078.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100074 s]*
/proc/loadavg: 2.24 3.51 3.88 8/321 42607
/proc/meminfo: memFree=129540416/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=18930384 memory=47836 CPUtime=0.11 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 5711 0 0 0 8 3 0 0 20 0 18 0 47086664 19384713216 11959 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4732596 11959 5267 1 0 546948 0
[pid=42568/tid=42574] ppid=42564 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 4613 0 0 0 5 2 0 0 20 0 18 0 47086667 19384713216 11959 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47086672 19384713216 11959 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47086673 19384713216 11959 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47836 KiB

[startup+0.213927 s]*
/proc/loadavg: 2.24 3.51 3.88 7/321 42607
/proc/meminfo: memFree=129534328/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=18930384 memory=52992 CPUtime=0.27 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 6427 0 0 0 24 3 0 0 20 0 18 0 47086664 19384713216 13248 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4732596 13248 5331 1 0 547512 0
[pid=42568/tid=42574] ppid=42564 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 4961 0 0 0 15 2 0 0 20 0 18 0 47086667 19384713216 13248 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47086672 19384713216 13248 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47086673 19384713216 13248 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52992 KiB

[startup+0.313677 s]*
/proc/loadavg: 2.24 3.51 3.88 6/321 42607
/proc/meminfo: memFree=129518008/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=18930384 memory=58128 CPUtime=0.43 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 6669 0 0 0 39 4 0 0 20 0 18 0 47086664 19384713216 14532 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4732596 14532 5331 1 0 547697 0
[pid=42568/tid=42574] ppid=42564 vsize=18930384 memory=-6000919485574638187 CPUtime=0.25 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 5115 0 0 0 23 2 0 0 20 0 18 0 47086667 19384713216 14532 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47086672 19384713216 14532 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47086673 19384713216 14532 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58128 KiB

[startup+0.700365 s]
/proc/loadavg: 2.24 3.51 3.88 9/322 42608
/proc/meminfo: memFree=129480388/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=18930384 memory=92676 CPUtime=1.14 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 8500 0 0 0 107 7 0 0 20 0 18 0 47086664 19384713216 23169 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4732596 23169 5427 1 0 548897 0
[pid=42568/tid=42574] ppid=42564 vsize=18930384 memory=17664 CPUtime=0.55 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 5301 0 0 0 51 4 0 0 20 0 18 0 47086667 19384713216 23169 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47086672 19384713216 23169 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47086673 19384713216 23169 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92676 KiB

[startup+1.50025 s]
/proc/loadavg: 2.24 3.51 3.88 11/324 42610
/proc/meminfo: memFree=129030840/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=18996948 memory=148440 CPUtime=2.71 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 12667 0 0 0 261 10 0 0 20 0 19 0 47086664 19452874752 37110 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4749237 37110 5459 1 0 550094 0
[pid=42568/tid=42574] ppid=42564 vsize=18996948 memory=3200 CPUtime=1.24 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 5660 0 0 0 118 6 0 0 20 0 19 0 47086667 19452874752 37110 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47086672 19452874752 37110 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47086673 19452874752 37110 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47086760 19452874752 37110 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148440 KiB

[startup+3.10524 s]
/proc/loadavg: 2.38 3.52 3.88 5/326 42612
/proc/meminfo: memFree=128873004/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=170964 CPUtime=5.09 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 15704 0 0 0 497 12 0 0 20 0 20 0 47086664 19521036288 42741 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 42741 5523 1 0 551080 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=11264 CPUtime=2.81 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 6748 0 0 0 275 6 0 0 20 0 20 0 47086667 19521036288 42741 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 42741 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 42741 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 42741 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170964 KiB

[startup+6.30034 s]
/proc/loadavg: 2.38 3.52 3.88 6/325 42676
/proc/meminfo: memFree=129655700/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=165584 CPUtime=8.37 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 15926 0 0 0 825 12 0 0 20 0 20 0 47086664 19521036288 41396 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 41396 5523 1 0 551080 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 6851 0 0 0 594 6 0 0 20 0 20 0 47086667 19521036288 41396 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 41396 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 41396 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=150744 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 41396 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165584 KiB

[startup+12.7003 s]
/proc/loadavg: 2.59 3.54 3.89 5/327 42678
/proc/meminfo: memFree=129462360/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=174048 CPUtime=14.9 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 19648 0 0 0 1478 12 0 0 20 0 20 0 47086664 19521036288 43512 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 43512 5555 1 0 551080 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=11264 CPUtime=12.33 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 7573 0 0 0 1227 6 0 0 20 0 20 0 47086667 19521036288 43512 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=150744 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 43512 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 43512 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 43512 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174048 KiB

[startup+25.5004 s]
/proc/loadavg: 3.05 3.60 3.90 5/327 42678
/proc/meminfo: memFree=129124472/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=213100 CPUtime=27.67 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 21829 0 0 0 2753 14 0 0 20 0 20 0 47086664 19521036288 53275 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 53275 5555 1 0 551080 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=3200 CPUtime=24.94 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 8462 0 0 0 2488 6 0 0 20 0 20 0 47086667 19521036288 53275 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=-6000919489869605483 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 53275 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=186404 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 53275 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 53275 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 213100 KiB

[startup+51.1131 s]
/proc/loadavg: 3.37 3.63 3.90 5/327 42679
/proc/meminfo: memFree=128656772/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=305592 CPUtime=53.26 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 21961 0 0 0 5308 18 0 0 20 0 20 0 47086664 19521036288 76398 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 76398 5555 1 0 551080 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=270540 CPUtime=50.21 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 8465 0 0 0 5015 6 0 0 20 0 20 0 47086667 19521036288 76398 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 76398 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=270540 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 76398 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0

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

[startup+3282.3 s]
/proc/loadavg: 4.33 4.23 4.19 5/326 42844
/proc/meminfo: memFree=116754756/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2164080 CPUtime=3285.61 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 83739 0 0 0 328336 225 0 0 20 0 20 0 47086664 19521036288 541020 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541020 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2164080 CPUtime=3263.88 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 35518 0 0 0 326373 15 0 0 20 0 20 0 47086667 19521036288 541020 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541020 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2164080 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1105 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541020 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541020 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3285.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/326 42846
/proc/meminfo: memFree=116754520/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2164208 CPUtime=3345.6 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 85126 0 0 0 334332 228 0 0 20 0 20 0 47086664 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541052 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2164208 CPUtime=3323.58 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 36252 0 0 0 332343 15 0 0 20 0 20 0 47086667 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1180 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3345.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/326 42848
/proc/meminfo: memFree=116582252/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2164208 CPUtime=3405.47 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 85558 0 0 0 340315 232 0 0 20 0 20 0 47086664 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541052 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2164208 CPUtime=3383.41 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 36553 0 0 0 338326 15 0 0 20 0 20 0 47086667 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541052 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3405.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/326 42850
/proc/meminfo: memFree=116531484/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2164848 CPUtime=3465.44 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 86084 0 0 0 346309 235 0 0 20 0 20 0 47086664 19521036288 541212 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541212 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2164208 CPUtime=3443.12 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 36586 0 0 0 344297 15 0 0 20 0 20 0 47086667 19521036288 541212 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541212 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541212 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541212 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3465.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/326 42852
/proc/meminfo: memFree=116518524/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2165232 CPUtime=3525.35 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 87083 0 0 0 352297 238 0 0 20 0 20 0 47086664 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541308 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2165232 CPUtime=3502.92 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 37410 0 0 0 350277 15 0 0 20 0 20 0 47086667 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=2164208 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3525.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165232 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/326 42921
/proc/meminfo: memFree=122730696/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2165232 CPUtime=3585.22 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 87690 0 0 0 358281 241 0 0 20 0 20 0 47086664 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541308 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=23532 CPUtime=3562.76 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 37912 0 0 0 356261 15 0 0 20 0 20 0 47086667 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.11 s]
/proc/loadavg: 4.17 4.18 4.18 4/303 42932
/proc/meminfo: memFree=125492468/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19063512 memory=2165232 CPUtime=3600 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 87879 0 0 0 359758 242 0 0 20 0 20 0 47086664 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4765878 541308 5555 1 0 554219 0
[pid=42568/tid=42574] ppid=42564 vsize=19063512 memory=2165232 CPUtime=3577.53 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 38098 0 0 0 357738 15 0 0 20 0 20 0 47086667 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47086672 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 47086673 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42609] ppid=42564 vsize=19063512 memory=2165232 CPUtime=0 cores=0,2
/proc/42568/task/42609/stat : 42609 (Timer-0) S 42564 42568 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47086760 19521036288 541308 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.43868 s

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

[startup+3597.2 s]
/proc/loadavg: 4.17 4.18 4.18 4/303 42932
/proc/meminfo: memFree=125492468/131382112 swapFree=33010160/33010684
[pid=42568] ppid=42564 vsize=19263204 memory=2165872 CPUtime=3600.16 cores=0,2
/proc/42568/stat : 42568 (java) S 42564 42568 42338 0 -1 4194304 89840 0 0 0 359774 242 0 0 20 0 21 0 47086664 19725520896 541468 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
/proc/42568/statm: 4815801 541468 5555 1 0 555189 0
[pid=42568/tid=42574] ppid=42564 vsize=19263204 memory=-6000919489869605483 CPUtime=3577.6 cores=0,2
/proc/42568/task/42574/stat : 42574 (java) R 42564 42568 42338 0 -1 4194368 38325 0 0 0 357745 15 0 0 20 0 21 0 47086667 19725520896 541468 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42590] ppid=42564 vsize=19263204 memory=26140 CPUtime=0 cores=0,2
/proc/42568/task/42590/stat : 42590 (Finalizer) S 42564 42568 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47086672 19725520896 541468 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
[pid=42568/tid=42598] ppid=42564 vsize=19263204 memory=9088 CPUtime=0 cores=0,2
/proc/42568/task/42598/stat : 42598 (Common-Cleaner) S 42564 42568 42338 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 21 0 47086673 19725520896 541468 18446744073709551615 94358257025024 94358257028720 140722065837280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94358257036536 94358257037328 94358257143808 140722065840513 140722065840614 140722065840614 140722065846216 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2165872 KiB

Child status: 143

Real time (s): 3597.25
CPU time (s): 3600.26
CPU user time (s): 3597.82
CPU system time (s): 2.43868
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2165872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.43868
maximum resident set size= 2166128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108094
involuntary context switches= 9952


# summary of solver processes directly reported to runsolver:
#   pid: 42568
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.43868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9124 second user time and 36.7323 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-06-30 22:07:58
IDJOB=4486294
IDBENCH=147017
IDSOLVER=3363
FILE ID=nodeC001/4486294-1751314078
RUNJOBID= nodeC001-1751314075-42348
SLURM_JOB_ID= 9594322
Free space on /tmp= 432992 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486294-1751314078/watcher-4486294-1751314078 -o /tmp/evaluation-result-4486294-1751314078/solver-4486294-1751314078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42348 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4486294-1751314078.opb

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=830651819

nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.380
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3591.507
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 1197.168
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3515.077
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 1197.141
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3491.746
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 1197.145
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
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		: 3491.794
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129634848 kB
MemAvailable:   129446240 kB
Buffers:            2128 kB
Cached:           616176 kB
SwapCached:           28 kB
Active:           872196 kB
Inactive:         317316 kB
Active(anon):     578760 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   306936 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69804 kB
Writeback:            88 kB
AnonPages:        574328 kB
Mapped:           122448 kB
Shmem:             17932 kB
KReclaimable:     100912 kB
Slab:             183744 kB
SReclaimable:     100912 kB
SUnreclaim:        82832 kB
KernelStack:        4592 kB
PageTables:         4396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6134528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149896 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    405504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC001 at 2025-06-30 23:07:55